2922 search results - page 382 / 585 » On Relationships Between Query Models |
144
click to vote
ISSTA
2006
ACM
16 years 29 days 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...
172
click to vote
DATE
2005
IEEE
16 years 19 days 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...
172
Voted
ICAC
2005
IEEE
16 years 19 days 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...
169
click to vote
SRDS
2005
IEEE
16 years 18 days 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...
157
click to vote
CHARME
2005
Springer
16 years 16 days 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 ...