5128 search results - page 85 / 1026 » When Abstraction Fails |
ACSC
2004
IEEE
15 years 1 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
BPM
2006
Springer
15 years 1 months ago
2006
Springer
Dynamic assembly of complex software is possible through automated composition of web services. Coordination scripts identify and orchestrate a number of services to fulfil a user ...
IFIPTCS
2000
15 years 1 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...
CONCUR
2005
Springer
14 years 12 months ago
2005
Springer
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...
ESAW
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Electronic markets, dispute resolution and negotiation protocols are three types of application domain that can be viewed as open agent systems. Members of such systems a...