4286 search results - page 390 / 858 » Formalizing Service Interactions |
210
click to vote
CL
2007
Springer
15 years 6 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
185
click to vote
DGO
2007
15 years 8 months ago
2007
Significant efforts are currently being pursued by several countries and IT providers to deploy SOA (Service Oriented Architecture) designs of digital government systems that inte...
189
click to vote
INTERACT
2003
15 years 8 months ago
2003
: Handing over objects is a common event during collaboration in face-to-face interaction. We investigate how such an event can be supported when the interaction takes place in vir...
176
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
It is known that emotions are experienced by both body and mind. Oftentimes, emotions are evoked by sub-symbolic stimuli, such as colors, shapes, gestures, or music. We have built...
172
click to vote
ESWS
2007
Springer
16 years 26 days ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...