3864 search results - page 337 / 773 » time 2005 |
196
click to vote
BERTINORO
2005
Springer
16 years 9 days ago
2005
Springer
Current computing environments are becoming increasingly complex in nature and exhibit unpredictable workloads. These environments create challenges to the design of systems that c...
197
click to vote
BIRTHDAY
2005
Springer
16 years 9 days ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
165
click to vote
CAISE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Dynamic Aspect-Oriented Programming (d-AOP) is an important tool to implement adaptation in a wide variety of applications. In particular, large distributed infrastructur...
161
click to vote
CAV
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
165
click to vote
CAV
2005
Springer
16 years 8 days ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...