3 papers
math.CT2018
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…
math.CT2018
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…
cs.HC2018
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…