511 search results - page 42 / 103 » Synchronous Structures |
CAEPIA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper presents some enhancements in the temporal reasoning of a Hierarchical Task Network (HTN) planner, named SIADEX, that, up to authors knowledge, no other HTN pl...
CSR
2006
Springer
14 years 1 months ago
2006
Springer
Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes provided with some distributed control structure...
TACAS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
FSTTCS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
COMPSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
The jGRASP lightweight IDE provides object viewers that automatically generate dynamic, statebased visualizations of objects and primitive variables in Java. Multiple synchronized...