656 search results - page 51 / 132 » A Formalization of Transition P Systems |
141
Voted
CAV
2009
Springer
15 years 4 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
109
click to vote
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
We show how Embedded Graph Grammars (EGGs) are used to specify local interaction rules between mobile robots in a natural manner. This formalism allows us to treat local network to...
112
Voted
ESORICS
2008
Springer
15 years 2 months ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
91
Voted
EICS
2009
ACM
15 years 7 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
135
click to vote
CSFW
2012
IEEE
13 years 3 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...