1456 search results - page 48 / 292 » An Overview of the SODA System |
CEEMAS
2003
Springer
14 years 25 days ago
2003
Springer
This paper presents a system for dynamic network reconfiguration based on intelligent agents and market–oriented methods. Reconfiguration encompasses routing changes as well as b...
POPL
1989
ACM
13 years 11 months ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
ISCAPDCS
2004
13 years 9 months ago
2004
This paper presents a new protocol for ensuring sequential consistency in a distributed objects system. The protocol is efficient and simple. In addition to providing a high-level...
ESSLLI
2009
Springer
13 years 5 months ago
2009
Springer
This paper describes cdiprover3 a tool for proving termination of term rewrite systems by polynomial interpretations and context dependent interpretations. The methods used by cdip...
CAI
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we present an overview of algebraic graph transformation in the double pushout approach. Basic results concerning independence, parallelism, concurrency, embedding, ...