ECOOPW
2000
Springer
14 years 2 months ago
2000
Springer
Previous workshops on reflection both in ECOOP and in OOPSLA have pointed out the growing interest and importance of Reflection and Metalevel Architectures in the fields of program...
ECOOPW
2000
Springer
14 years 2 months ago
2000
Springer
ECOOPW
1998
Springer
14 years 2 months ago
1998
Springer
In method-based software development, software engineers create artifacts based on the heuristic rules of the adopted method. Most CASE tools, however, do not actively assist soft...
COORDINATION
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
COORDINATION
2000
Springer
14 years 2 months ago
2000
Springer
COORDINATION
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. Tuple spaces have turned out to be one of the most fundamental abstractions for coordinating communicating agents. At the same time, researchers continue to propose new v...
CONCUR
2000
Springer
14 years 2 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...
CONCUR
2000
Springer
14 years 2 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
CONCUR
2000
Springer
14 years 2 months ago
2000
Springer
CLUSTER
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper introduces MadeleineII, a new adaptive and portable multi-protocol implementation of the Madeleine communication library. MadeleineII has the ability to control multipl...