Sciweavers

4190 search results - page 377 / 838
» Implementing commitment-based interactions
Sort
View
ICOST
2009
Springer
15 years 4 months ago
Service Reconfiguration in the DANAH Assistive System
Smart Homes are pervasive systems that interact with the user using a service offer paradigm to provide fully automated daily repetitive tasks. When services are augmented with sem...
Saïd Lankri, Pascal Berruet, Jean Luc Philipp...
WWW
2009
ACM
16 years 7 months ago
Co-browsing dynamic web pages
Collaborative browsing, or co-browsing, is the co-navigation of the web with other people at-a-distance, supported by software that takes care of synchronizing the browsers. Curre...
Dietwig Lowet, Daniel Goergen
WWW
2005
ACM
16 years 7 months ago
Design for verification for asynchronously communicating Web services
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
Aysu Betin-Can, Tevfik Bultan, Xiang Fu
STORYTELLING
2005
Springer
16 years 8 days ago
Formal Encoding of Drama Ontology
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo
ICLP
2010
Springer
15 years 10 months ago
Models for Trustworthy Service and Process Oriented Systems
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
Hugo A. López