26071 search results - page 398 / 5215 » Making |
179
Voted
ASM
2005
ASM
16 years 12 days ago
2005
ASM
In this paper we introduce a new research effort in making state machines executable. The aim is to specify and implement an execution engine for a language that is as close as po...
152
click to vote
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
In this demo, we present our two fault-tolerant systems to overcome stop failure and Byzantine failure, respectively, for agent execution platforms such as JADE and Aglets. For bo...
218
Voted
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
199
Voted
BIRTHDAY
2005
Springer
16 years 12 days ago
2005
Springer
We propose two transformations on term rewrite systems (TRSs) based on reducing right hand sides: one related to the transformation order and a variant of dummy elimination. Under ...
130
click to vote
BVAI
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We discuss problems of signal– and symbol based representations in terms of three dilemmas which are faced in the design of each vision system. Signal- and symbol-based...