Sciweavers

4286 search results - page 363 / 858
» Formalizing Service Interactions
Sort
View
EUSAI
2003
Springer
15 years 12 months ago
Lino, the User-Interface Robot
Abstract. This paper reports on the development of a domestic userinterface robot that is able to have natural human interaction by speech and emotional feedback. Natural interacti...
Ben J. A. Kröse, Josep M. Porta, Albert J. N....
EEE
2005
IEEE
16 years 8 days ago
SLA Representation, Management and Enforcement
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
Adrian Paschke, Martin Bichler
ISSTA
2004
ACM
16 years 2 days ago
Model checking XML manipulating software
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
Xiang Fu, Tevfik Bultan, Jianwen Su
SAC
2003
ACM
15 years 12 months ago
Semantic Matchmaking in a P-2-P Electronic Marketplace
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
TKDE
2012
215views Formal Methods» more  TKDE 2012»
13 years 9 months ago
Outsourced Similarity Search on Metric Data Assets
—This paper considers a cloud computing setting in which similarity querying of metric data is outsourced to a service provider. The data is to be revealed only to trusted users,...
Man Lung Yiu, Ira Assent, Christian S. Jensen, Pan...