2488 search results - page 421 / 498 » An improvement in formal verification |
117
click to vote
SAS
2000
Springer
15 years 5 months ago
2000
Springer
As compilers increasingly rely on optimizations to achieve high performance, the effectiveness of source level debuggers for optimized code continues to falter. Even if values of s...
138
click to vote
FM
2008
Springer
15 years 2 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
115
click to vote
FORMATS
2008
Springer
15 years 2 months ago
2008
Springer
We consider two-player games played in real time on game structures with clocks and parity objectives. The games are concurrent in that at each turn, both players independently pro...
138
click to vote
CONSTRAINTS
2010
15 years 1 months ago
2010
Abstract. We describe a simple CSP formalism for handling multi-attribute preference problems with hard constraints, one that combines hard constraints and preferences so the two a...
141
click to vote
AAMAS
2005
Springer
15 years 1 months ago
2005
Springer
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...