7580 search results - page 1164 / 1516 » Prometheus design tool |
217
click to vote
ECBS
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
202
click to vote
JCDL
2005
ACM
16 years 6 days ago
2005
ACM
Movable books provide interesting challenges for digitization and user interfaces design. We report in this paper some preliminary results in the building of a 3D visualization wo...
170
Voted
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
There has been a growing interest in designing multi-agent based interactive dramas. A key research challenge faced in the design of these systems is to support open-ended user in...
185
click to vote
NOSSDAV
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we propose a fully distributed peer-to-peer (P2P) infrastructure supporting Networked Virtual Environment (NVE) applications, such as massively multiplayer online ga...
205
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...