4286 search results - page 60 / 858 » Formalizing Service Interactions |
136
click to vote
ENTCS
2008
15 years 2 months ago
2008
We do not interact with systems without first performing some physical action on a physical device. This paper shows how formal notations and formal models can be developed to acc...
122
click to vote
ICAT
2003
IEEE
15 years 7 months ago
2003
IEEE
Any VR scenario should offer a certain degree of nonlinearity or openness regarding the story progress as a consequence of the interaction with the user. In this paper we propose ...
74
Voted
ICC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—A person usually carries multiple authentication tokens in the form of various cards to access services electronically. Often the service outlets are equipped with a str...
109
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
122
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
Multiparty agreements often arise in a multiagent system where autonomous agents interact with each other to achieve a global goal. Multiparty agreements are traditionally represe...