2922 search results - page 382 / 585 » On Relationships Between Query Models |
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
DATE
2005
IEEE
14 years 4 months ago
2005
IEEE
- The problem of determining lower bounds for the energy cost of a given nanoscale design is addressed via a complexity theory-based approach. This paper provides a theoretical fra...
ICAC
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper presents a component-based architecture for autonomous repair management in distributed systems, and a prototype implementation of this architecture, called JADE, which...
SRDS
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper presents a component-based architecture for autonomous repair management in distributed systems, and a prototype implementation of this architecture, called JADE, which...
CHARME
2005
Springer
14 years 4 months ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...