Sciweavers

1663 search results - page 207 / 333
» Compositional Service Trees
Sort
View
ATVA
2009
Springer
99views Hardware» more  ATVA 2009»
15 years 10 months ago
CLAN: A Tool for Contract Analysis and Conflict Discovery
Abstract. As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functiona...
Stephen Fenech, Gordon J. Pace, Gerardo Schneider
204
Voted
IC
2004
15 years 8 months ago
TOP: A Transport Overlay Protocol for Peer-to-Peer Applications
In the next generation Internet, the network should not only be considered as a communication medium but also as a large source of services which use entails performance, reliabil...
Thierry Rakotoarivelo, Patrick Sénac, Sebas...
ICSE
2010
IEEE-ACM
15 years 10 months ago
Collaborative reliability prediction of service-oriented systems
Service-oriented architecture (SOA) is becoming a major software framework for building complex distributed systems. Reliability of the service-oriented systems heavily depends on...
Zibin Zheng, Michael R. Lyu
EDBT
2006
ACM
130views Database» more  EDBT 2006»
16 years 6 months ago
Querying and Updating Probabilistic Information in XML
Abstract. We present in this paper a new model for representing probabilistic information in a semi-structured (XML) database, based on the use of probabilistic event variables. Th...
Serge Abiteboul, Pierre Senellart
KBSE
2008
IEEE
16 years 1 months ago
The Consistency of Web Conversations
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
Jeffrey Fischer, Rupak Majumdar, Francesco Sorrent...