950 search results - page 87 / 190 » Software model checking with SPIN |
CBSE
2008
Springer
13 years 9 months ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...
ACISICIS
2010
IEEE
13 years 9 months ago
2010
IEEE
Recently, software size becomes larger, and consequently, not only a software developer but also a software purchaser suffers considerable losses by software project failure. So av...
WICSA
2008
13 years 9 months ago
2008
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
ICPP
2002
IEEE
14 years 20 days ago
2002
IEEE
A software cache implements instruction and data caching entirely in software. Dynamic binary rewriting offers a means to specialize the software cache miss checks at cache miss t...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...