2152 search results - page 267 / 431 » An Abstract Account of Composition |
193
click to vote
TASE
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
178
click to vote
TOOLS
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
184
click to vote
IPPS
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract— A key enabler of the recently popularized, assemblycentric development approach for distributed real-time software systems is QoS-enabled middleware, which provides reu...
169
click to vote
SASO
2007
IEEE
16 years 22 days ago
2007
IEEE
Management in pervasive systems cannot rely on human intervention or centralised decision-making functions. It must be devolved, based on local decision-making and feedback contro...
142
click to vote
ASIACRYPT
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In the standard general-adversary model for multi-party protocols, a global adversary structure is given, and every party must trust in this particular structure. We intr...