4286 search results - page 60 / 858 » Formalizing Service Interactions |
159
Voted
ENTCS
2008
15 years 5 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...
148
Voted
ICAT
2003
IEEE
15 years 10 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 ...
105
click to vote
ICC
2008
IEEE
15 years 11 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...
138
click to vote
APSEC
2005
IEEE
15 years 10 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...
144
click to vote
ATAL
2005
Springer
15 years 10 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...