13 search results - page 3 / 3 » Partial-Order Validation for Multi-Process Protocols Modeled... |
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
DAC
2009
ACM
14 years 5 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
JUCS
2008
13 years 4 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...