Sciweavers

2790 search results - page 11 / 558
» The Human-Provided Services Framework
Sort
View
TELSYS
2002
126views more  TELSYS 2002»
13 years 7 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
ISF
2007
105views more  ISF 2007»
13 years 7 months ago
COSMO: A conceptual framework for service modelling and refinement
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
Dick A. C. Quartel, Maarten W. A. Steen, Stanislav...
ECOWS
2007
Springer
14 years 1 months ago
A Framework for Dynamic Web Services Composition
Dynamic composition of web services is a promising approach and at the same time a challenging research area for the dissemination of serviceoriented applications. It is widely rec...
Freddy Lécué, Eduardo Silva, Lu&iacu...
PUC
2010
121views more  PUC 2010»
13 years 6 months ago
The BehaviorScope framework for enabling ambient assisted living
Abstract The in-house monitoring of elders using intelligent sensors is a very desirable service that has the potential of increasing autonomy and independence while minimizing the...
Athanasios Bamis, Dimitrios Lymberopoulos, Thiago ...
CSUR
2000
136views more  CSUR 2000»
13 years 7 months ago
Pattern density and role modeling of an object transport service
Many object-oriented frameworks exhibit a high density of design pattern applications. Usually, there are more instances in a framework than there are abstract classes. Yet, only ...
Dirk Riehle, Roger Brudermann, Thomas R. Gross, Ka...