2261 search results - page 297 / 453 » Relationships Between Models of Concurrency |
135
Voted
ISSTA
2006
ACM
16 years 20 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...
162
click to vote
DATE
2005
IEEE
16 years 10 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...
165
click to vote
ICAC
2005
IEEE
16 years 10 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...
164
click to vote
SRDS
2005
IEEE
16 years 9 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...
145
Voted
CHARME
2005
Springer
16 years 8 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 ...