Sciweavers

4286 search results - page 136 / 858
» Formalizing Service Interactions
Sort
View
ICPR
2008
IEEE
16 years 22 days ago
Toward an interactive device for quick news story browsing
In this paper, we present a new design for an Interactive Information service based on on-line recognition of the handwriting and quick news stories browsing. A person communicate...
Monji Kherallah, Hichem Karray, Mehdi Ellouze, Ade...
WWW
2004
ACM
16 years 7 months ago
A framework for the server-side management of conversations with web services
The emerging standards for the publication of Web Services are focused on the specification of the static interfaces of the operations to be invoked, or on the service composition...
Liliana Ardissono, Davide Cardinio, Giovanna Petro...
CSCWD
2009
Springer
16 years 26 days ago
Using Petri Nets to specify collaborative three dimensional interaction
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
Rafael Rieder, Marcio Sarroglia Pinho, Alberto Bar...
UAIS
2002
100views more  UAIS 2002»
15 years 5 months ago
Toward overcoming culture, skill and situation hurdles in Human-Computer Interaction
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...
Paola Carrara, Daniela Fogli, Giuseppe Fresta, Pie...
AAI
2006
89views more  AAI 2006»
15 years 6 months ago
Compliance verification of agent interaction: a logic-based software tool
In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply to interaction protocols. Thu...
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fed...