Sciweavers

682 search results - page 38 / 137
» Environment Matting and Compositing
Sort
View
IEEESCC
2006
IEEE
14 years 1 months ago
Business Process Adaptations via Protocols
Business process management in service-oriented computing (SOC) environments poses special challenges. In particular, SOC environments are dynamic, thereby requiring frequent chan...
Nirmit Desai, Amit K. Chopra, Munindar P. Singh
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
13 years 11 months ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur
ISCC
2007
IEEE
14 years 1 months ago
Composition for Enhanced SIP Presence
Presence has taken shape as a way to present a comprehensive view of the communications capabilities of a user or resource. Standardized protocols allow for receiving presence dat...
Ron Shacham, Wolfgang Kellerer, Henning Schulzrinn...
CONEXT
2006
ACM
14 years 1 months ago
Dynamic service discovery and composition for ubiquitous networks applications
The realization of ubiquitous networks brings new challenges to application development. In this kind of network, services and, more specifically web services, have been used to p...
Luiz Olavo Bonino da Silva Santos, Marten van Sind...
DAIS
2003
13 years 9 months ago
Towards an Intuitive Interface for Tailored Service Compositions
Abstract. Novel modes of interaction and tailored application delivery are a key challenge in ubiquitous computing. This paper proposes a method of adaptively delivering lightweigh...
Steffen Higel, Tony O'Donnell, David Lewis, Vincen...