Sciweavers

4286 search results - page 199 / 858
» Formalizing Service Interactions
Sort
View
NCA
2003
IEEE
15 years 11 months ago
Group Communication based on Standard Interfaces
While group communication system have been proposed for some time, they are still not used much in actual systems. We believe that one reason for this is the lack of standardisati...
Matthias Wiesmann, Xavier Défago, Andr&eacu...
ISCIS
2003
Springer
15 years 11 months ago
Virtual Interval Caching Scheme for Interactive Multimedia Streaming Workload
Abstract. We carefully believe that server workload for interactive multimedia service exhibits different characteristics from legacy application, e.g. ftp server, web server, ASP...
Kyoungwoon Cho, Yeonseung Ryu, Youjip Won, Kern Ko...
CONCUR
2010
Springer
15 years 7 months ago
A Theory of Design-by-Contract for Distributed Multiparty Interactions
Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols, scientific computing infrastructure, and software ...
Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Y...
AROBOTS
2000
179views more  AROBOTS 2000»
15 years 6 months ago
A Gesture Based Interface for Human-Robot Interaction
Service robotics is currently a pivotal research area in robotics, with enormous societal potential. Since service robots directly interact with people, nding natural" and ea...
Stefan Waldherr, Roseli Romero, Sebastian Thrun
FIW
1994
15 years 7 months ago
Towards automated detection of feature interactions
The feature interaction problem occurs when the addition of a new feature to a system disrupts the existing services and features. This paper describes a tabular notation for spec...
Kenneth H. Braithwaite, Joanne M. Atlee