963 search results - page 58 / 193 » Formal Analysis of BPMN Models Using Event-B |
138
click to vote
ISAMI
2010
14 years 11 months ago
2010
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
112
click to vote
ROOM
2000
15 years 2 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
113
click to vote
ICECCS
2005
IEEE
15 years 7 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
130
click to vote
MODELS
2010
Springer
14 years 11 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Considering the available body of literature on continuous EDAs, one must state that many important questions are still unanswered, e.g.: How do continuous EDAs really work, and h...