3719 search results - page 616 / 744 » RACER System Description |
192
click to vote
ISI
2004
Springer
15 years 12 months ago
2004
Springer
Dynamic criminal network analysis is important for national security but also very challenging. However, little research has been done in this area. In this paper we propose to use...
163
click to vote
KI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
182
click to vote
MIDDLEWARE
2004
Springer
15 years 12 months ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...
162
click to vote
SCOPES
2004
Springer
15 years 11 months ago
2004
Springer
New embedded signal processing architectures are emerging that are composed of loosely coupled heterogeneous components like CPUs or DSPs, specialized IP cores, reconfigurable uni...
219
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...