8689 search results - page 1596 / 1738 » Software: hard data |
EMSOFT
2003
Springer
14 years 2 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
ERSHOV
2003
Springer
14 years 2 months ago
2003
Springer
By obfuscation we mean any efficient semantic-preserving transformation of computer programs aimed at bringing a program into such a form, which impedes the understanding of its al...
FATES
2003
Springer
14 years 2 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
ICSOC
2003
Springer
14 years 2 months ago
2003
Springer
The web-services stack of standards is designed to support the reuse and interoperation of software components on the web. A critical step in the process of developing applications...
IEAAIE
2003
Springer
14 years 2 months ago
2003
Springer
Integration of heterogeneous statistics is essential for political decision making on all levels. Like in intelligent information integration in general, the problem is to combine ...