298 search results - page 24 / 60 » UPPAAL - Now, Next, and Future |
AINA
2007
IEEE
13 years 11 months ago
2007
IEEE
The emergence of short-range wireless communications hold the promise of realizing the grand vision of the next generation communication networks in which devices follow a always ...
FDL
2007
IEEE
13 years 11 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
EGICE
2006
13 years 11 months ago
2006
This paper describes an initial application of Multi-Attribute Collective Decision Analysis for a Design Initiative (MACDADI) on the feasibility study of a mixed-use facility. Firs...
ESAW
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
VISUALIZATION
1995
IEEE
13 years 11 months ago
1995
IEEE
Navigation in computer generated information spaces may be difficult, resulting in users getting “lost in hyperspace.” This work aims to build on research from the area of ci...