4047 search results - page 325 / 810 » Algebraic Model Checking |
146
click to vote
DSVIS
2005
Springer
16 years 7 days ago
2005
Springer
We introduce a formal model of inconsistency-related mode confusion. This forms the basis of a heuristic methodology for critiquing user interfaces, using a matrix algebra approach...
176
click to vote
AMAI
2006
Springer
2006
Springer
Functional and multivalued dependencies in nested databases generated by record and list constructor
15 years 6 months ago
tor. In order to capture different data models at a time, an abstract algebraic approach based on nested attributes is taken. The presence of the list constructor calls for a new i...
200
click to vote
IJCGA
2006
15 years 6 months ago
2006
We obtain lower bounds in the algebraic computation tree model for deciding the separability of two disjoint point sets. In particular, we show (n log n) time lower bounds for sep...
171
click to vote
IPL
2006
15 years 6 months ago
2006
We present complexity results for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebr...
165
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we propose a formalization of access control policies based on term rewriting. The state of the system to which policies are enforced is represented as an algebraic ...