Sciweavers

3268 search results - page 439 / 654
» Structured Service Composition
Sort
View
DL
2000
Springer
161views Digital Library» more  DL 2000»
15 years 11 months ago
Patron-augmented digital libraries
Digital library research is mostly focused on the generation of large collections of multimedia resources and state-ofthe-art tools for their indexing and retrieval. However, digi...
Dion Hoe-Lian Goh, John J. Leggett
RTSS
1999
IEEE
15 years 10 months ago
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
Purnendu Sinha, Neeraj Suri
TOOLS
1999
IEEE
15 years 10 months ago
Bounding Component Behavior via Protocols
In this paper we enhance the SOFA Component Description Language with a semantic description of a component's functionality. There are two key requirements this description a...
Frantisek Plasil, Milos Besta, Stanislav Visnovsky
ICAS
2009
IEEE
103views Robotics» more  ICAS 2009»
15 years 10 months ago
A Sensor-Based Approach to Symptom Recognition for Autonomic Systems
The increased complexity of today's distributed, composite, Web-based systems presents difficult and unique systems management problems. The way these systems interact, and th...
Jeffery Li, Patrick Martin, Wendy Powley, Kirk Wil...
CONEXT
2005
ACM
15 years 8 months ago
Janus: an architecture for flexible access to sensor networks
We present the design and implementation of the Janus1 architecture for providing flexible and lightweight access to sensor network resources from Internet-type networks. Janus p...
Richard Gold