13 citations · 13 across the 4 of their papers we have counts for
4 papers
Sierpinski object for affine systems
Jeffrey T. Denniston, Austin Melton, Stephen E. Rodabaugh +1
Motivated by the concept of Sierpinski object for topological systems of S.~Vickers, presented recently by R.~Noor and A.~K.~Srivastava, this paper introduces the Sierpinski object…
Topological systems as a framework for institutions
Jeffrey T. Denniston, Austin Melton, Stephen E. Rodabaugh +1
Recently, J.~T.~Denniston, A.~Melton, and S.~E.~Rodabaugh introduced a lattice-valued analogue of the concept of institution of J.~A.~Goguen and R.~M.~Burstall, comparing it, moreo…
Security Mental Model: Cognitive map approach
Tahani Albalawi, Kambiz Ghazinour, Austin Melton
Security models have been designed to ensure data is accessed and used in proper manner according to the security policies. Unfortunately, human role in designing security models h…
Formal Contexts, Formal Concept Analysis, and Galois Connections
Jeffrey T. Denniston, Austin Melton, Stephen E. Rodabaugh
Formal concept analysis (FCA) is built on a special type of Galois connections called polarities. We present new results in formal concept analysis and in Galois connections by pre…