9842 search results - page 36 / 1969 » Compositional timing analysis |
SOCA
2010
IEEE
13 years 5 months ago
2010
IEEE
The availability of Web services with similar functionality but different QoS values creates new challenges for Web services composition: not only functional properties of the comp...
ADBIS
2008
Springer
14 years 2 months ago
2008
Springer
The event-condition-action paradigm (also known as triggers or ECA rules) gives a database “active” capabilities – the ability to react automatically to changes in the databa...
IACR
2011
12 years 7 months ago
2011
We put forward a framework for the modular design and analysis of multi-party protocols. Our framework is called “GNUC” (with the recursive meaning “GNUC’s Not UC”), alr...
AICT
2006
IEEE
14 years 1 months ago
2006
IEEE
The Web services technology allows for easy creation of complex applications consisting of smaller components - Web services. This article performs an in-depth analysis of a Web s...
ICIW
2008
IEEE
14 years 2 months ago
2008
IEEE
—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. ...