284 search results - page 2 / 57 » Modularity of Completeness Revisited |
CONCUR
1993
Springer
14 years 1 months ago
1993
Springer
The Communication Closed Layers law is shown to be modular complete for a model related to that of Mazurkiewicz. It is shown that in a modular style of program development the CCL...
IJSI
2008
13 years 9 months ago
2008
In [19], Toyama proved that the union of two confluent term-rewriting systems that share absolutely no function symbols or constants is likewise confluent, a property called modula...
IALP
2009
13 years 7 months ago
2009
In this paper, we propose a modular cascaded approach to data driven dependency parsing. Each module or layer leading to the complete parse produces a linguistically valid partial...
ACSD
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
We present a complete, local, and parallel reconfiguration algorithm for metamorphic robots made up of Telecubes, six degree of freedom cube shaped modules currently being develop...