4814 search results - page 662 / 963 » Combining abstract interpreters |
190
Voted
ASM
2008
ASM
15 years 7 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
200
Voted
DSOM
2008
Springer
15 years 7 months ago
2008
Springer
Abstract overlay networks have been considered enablers of efficient management for decentralized, large scale service deployments. A Content Delivery Network (CDN) is an example o...
147
click to vote
ECOOP
2008
Springer
15 years 7 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
154
click to vote
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
145
click to vote
CRITIS
2007
15 years 6 months ago
2007
Abstract. Virtual Interacting Network CommunIty (Vinci) is an abstract architecture to share in a secure way an ICT infrastructure among several user communities, each with its own...