3812 search results - page 360 / 763 » Combinations of TRAP Based Systems |
157
click to vote
IPPS
2006
IEEE
16 years 23 days ago
2006
IEEE
We present a SAT-based approach to the task and message allocation problem of distributed real-time systems with hierarchical architectures. In contrast to the heuristic approache...
174
click to vote
DIGITALCITIES
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we present the evacuation simulation system that is the combination of a virtual city and a crisis management simulation. The system allows users to become virtual e...
159
click to vote
PARELEC
2000
IEEE
15 years 11 months ago
2000
IEEE
The purpose of this paper is to demonstrate the implementation of an adaptable parallel architecture capable of system to task adaptation. The system implementation was based on X...
172
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
178
click to vote
AMTA
2004
Springer
15 years 10 months ago
2004
Springer
The Keyword Translator is a part of the Question Analyzer module in the JAVELIN Question-Answering system; it translates the keywords that are used to query documents and extract a...