500 search results - page 31 / 100 » Quantified Conditionals and Compositionality |
IEEESCC
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract--In a web service composition, an electronic contract (e-contract) regulates how the services participating in the composition should behave, including the restrictions th...
PODS
2005
ACM
14 years 7 months ago
2005
ACM
Composition of mappings between schemas is essential to support schema evolution, data exchange, data integration, and other data management tasks. In many applications, mappings ...
DAC
2009
ACM
14 years 8 months ago
2009
ACM
Efficient system-level design is increasingly relying on hierarchical design-space exploration, as well as compositional methods, to shorten time-to-market, leverage design re-use...
CONEXT
2008
ACM
13 years 9 months ago
2008
ACM
Overlay networks create new networking services across nodes that communicate using pre-existing networks. MOSAIC is a unified declarative platform for constructing new overlay ne...
ACSC
2008
IEEE
14 years 1 months ago
2008
IEEE
In this paper, we examine the composition of firstclass protocols for multi-agent systems. First-class protocols are protocols that exist as executable specifications that agent...