Sciweavers

96 search results - page 5 / 20
» Analysing interactive voice services
Sort
View
CHI
2007
ACM
14 years 11 months ago
EMI: a system to improve and promote the use of public transportation
This paper presents a project to improve the public transportation in the city of Huajuapan de Le?n, Oaxaca, M?xico. Interactive Multimedia Stations (EMI, for its Spanish acronym)...
Tonatzin Yutzin Baños, Emmanuel Aquino, Fer...
FM
2006
Springer
142views Formal Methods» more  FM 2006»
14 years 2 months ago
Feature Specification and Static Analysis for Interaction Resolution
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...
Marc Aiguier, Karim Berkani, Pascale Le Gall
ICC
2007
IEEE
112views Communications» more  ICC 2007»
14 years 2 months ago
Admission Control in Ethernet Passive Optical Networks (EPONs)
Abstract--Ethernet passive optical networks (EPONs) are designed to deliver services for numerous applications such as voice over Internet protocol, standard and high-definition vi...
Ahmad R. Dhaini, Chadi M. Assi, Martin Maier, Abda...
IBERAMIA
2010
Springer
13 years 9 months ago
Robotic Orientation towards Speaker for Human-Robot Interaction
Abstract. The orientation of conversational robots to face their interlocutors is essential for natural and efficient Human-Robot Interaction (HRI). In this paper, progress towards...
Caleb Rascón, Héctor H. Avilé...
ICSOC
2007
Springer
14 years 5 months ago
Verifying Temporal and Epistemic Properties of Web Service Compositions
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Mo...