15253 search results - page 251 / 3051 » Integer-Programming Software Systems |
161
Voted
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
152
Voted
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a dependency constraint language that allows software architects to restrict the spectrum of dependencies that can be presented in a given software system. The ...
186
Voted
EUROMICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
177
click to vote
AAAI
1997
15 years 8 months ago
1997
This paper argues that complex, embedded software agent systems are best constructed with parallel, layered architectures. These systems resemble Minskian Societies of Mind and Br...
156
Voted
TSE
2002
15 years 6 months ago
2002