7421 search results - page 1309 / 1485 » In search of dependable design |
133
click to vote
MEMOCODE
2005
IEEE
16 years 5 days ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
177
click to vote
SAINT
2005
IEEE
16 years 5 days ago
2005
IEEE
The Mobile Internet scenario encourages the design and development of context-aware applications that provide results depending on context information, such as the relative positi...
169
click to vote
VISUALIZATION
2005
IEEE
16 years 5 days ago
2005
IEEE
The evacuation of buildings in the event of a fire requires careful planning of ventilation and evacuation routes during early architectural design stages. Different designs are ...
171
click to vote
AOSE
2005
Springer
16 years 4 days ago
2005
Springer
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...
224
click to vote
DIGRA
2005
Springer
16 years 4 days ago
2005
Springer
Building on the work of games theorists and virtual world designers, this paper proposes a framework for understanding the real-virtual dichotomy in terms of a series of five fram...