Sciweavers

1164 search results - page 83 / 233
» Type based service composition
Sort
View
120
Voted
WETICE
2006
IEEE
15 years 9 months ago
A Model-Driven Framework for Managing the QoS of Collaborative P2P Service-Based Applications
1 Distributed and collaborative applications are rapidly converging towards the adoption of a computing paradigm based on service-oriented architectures, according to which an appl...
Michele Angelaccio, Andrea D'Ambrogio
111
Voted
ICWS
2007
IEEE
15 years 5 months ago
Probabilistic QoS and soft contracts for transaction based Web services
— Web services orchestrations and choreographies require establishing Quality of Service (QoS) contracts with the user. This is achieved by performing QoS composition, based on c...
Sidney Rosario, Albert Benveniste, Stefan Haar, Cl...
124
Voted
HT
1997
ACM
15 years 8 months ago
Designing Dexter-Based Hypermedia Services for the World Wide Web
This paper discusses how to augment the WWW with a Dexter-based hypermedia service that provides anchors, links and composites as objects stored external to the Web pages. The hyp...
Kaj Grønbæk, Niels Olof Bouvin, Lenne...
152
Voted
RTSS
1995
IEEE
15 years 7 months ago
Compositional and Symbolic Model-Checking of Real-Time Systems
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
98
Voted
ER
2007
Springer
89views Database» more  ER 2007»
15 years 10 months ago
On Order Dependencies for the Semantic Web
We consider the problem of adding both equality and order generating dependencies to Web ontology languages such as OWL DL that are based on description logics. Such dependencies u...
David Toman, Grant E. Weddell