500 search results - page 21 / 100 » Quantified Conditionals and Compositionality |
ICSOC
2007
Springer
14 years 1 months ago
2007
Springer
Services enable the transformation of the World Wide Web as distributed interoperable systems interacting beyond organizational boundaries. Service licensing enables broader usage ...
CRYPTO
2003
Springer
14 years 17 days ago
2003
Springer
Abstract. Cryptographic systems often involve running multiple concurrent instances of some protocol, where the instances have some amount of joint state and randomness. (Examples ...
ICWS
2007
IEEE
13 years 8 months ago
2007
IEEE
The semantic web promises to bring automation to the areas of web service discovery, composition and invocation. In order to realize these benefits, rich semantic descriptions of...
VSTTE
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
ICUMT
2009
13 years 5 months ago
2009
Web services are ubiquitous technologies which are used for integrating business processes and services. As is the case in many other applications, the information processed in we...