2607 search results - page 22 / 522 » On the Architecture of System Verification Environments |
ICSE
1999
IEEE-ACM
13 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
CIIA
2009
13 years 5 months ago
2009
The workflow process is often executed in a dynamic environment. This dynamic is classified in several aspects. For this reason, several researches try to give workflow architectur...
DSN
2004
IEEE
13 years 11 months ago
2004
IEEE
Voice over IP (VoIP) systems are gaining in popularity as the technology for transmitting voice traffic over IP networks. As the popularity of VoIP systems increases, they are bei...
FDL
2003
IEEE
14 years 20 days ago
2003
IEEE
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
CODES
1998
IEEE
13 years 11 months ago
1998
IEEE
Next generation embedded systems place new demands on an efficient methodology for their design and verification. These systems have to support interaction over a network, multipl...