4286 search results - page 29 / 858 » Formalizing Service Interactions |
ESORICS
2002
Springer
14 years 8 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
ICCCI
2009
Springer
14 years 3 months ago
2009
Springer
The conceptual world of AI is inhabited by a number of epistemic puzzles whose role is to provide a test harness environment for various methods and algorithms. In our paper we foc...
ESORICS
2006
Springer
14 years 4 days ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...