Sciweavers

682 search results - page 38 / 137
» Environment Matting and Compositing
Sort
View
110
Voted
IEEESCC
2006
IEEE
15 years 9 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
161
Voted
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
15 years 7 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
130
Voted
ISCC
2007
IEEE
15 years 10 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...
150
Voted
CONEXT
2006
ACM
15 years 9 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...
134
Voted
DAIS
2003
15 years 5 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...