1064 search results - page 8 / 213 » Disjoint Systems (Extended Abstract) |
MCU
2001
13 years 8 months ago
2001
Abstract. A direct universal extended H system receives as input the coding of an extended H system with double splicing and simulates it. It is the first time that a direct constr...
CONCUR
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less exp...
SBIA
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...
GEOINFO
2004
13 years 8 months ago
2004
Abstract Emergency management, leakage handling and maintenance of distribution networks are among the most essential tasks a public utility faces. Geo information systems are freq...
SAMOS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper, we present a particularly lightweight, integrative approach to programming and executing applications targeting heterogeneous, dynamically reconfigurable ...