Sciweavers

3938 search results - page 491 / 788
» Interactive Protocols on the Reals
Sort
View
AAMAS
2007
Springer
15 years 7 months ago
Conversational semantics sustained by commitments
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...
Roberto A. Flores, Philippe Pasquier, Brahim Chaib...
COMCOM
2008
148views more  COMCOM 2008»
15 years 7 months ago
TCP fairness issues in IEEE 802.11 wireless LANs
In this paper, we study several TCP fairness issues in wireless local networks, both experimentally and via simulation. We illustrate the unfairness problems caused by the 802.11 ...
Qian Wu, Mingwei Gong, Carey L. Williamson
ENTCS
2008
64views more  ENTCS 2008»
15 years 6 months ago
Service Discovery and Negotiation With COWS
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
ENTCS
2006
146views more  ENTCS 2006»
15 years 6 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
KES
2006
Springer
15 years 6 months ago
Toward a Universal Platform for Integrating Embodied Conversational Agent Components
Embodied Conversational Agents (ECAs) are computer generated life-like characters that interact with human users in face-to-face conversations. To achieve natural multi-modal conve...
Hung-Hsuan Huang, Tsuyoshi Masuda, Aleksandra Cere...