262 search results - page 44 / 53 » An integrated CAD and simulation model for concrete operatio... |
WONS
2005
IEEE
14 years 29 days ago
2005
IEEE
Developing and evaluating protocols and applications for mobile ad-hoc networks requires significant organisational effort when real mobile ad-hoc networks with several mobile te...
ECAI
2000
Springer
13 years 11 months ago
2000
Springer
The purpose of this paper is to provide a broad overview of the WITAS Unmanned Aerial Vehicle Project. The WITAS UAV project is an ambitious, long-term basic research project with ...
AC
2005
Springer
13 years 7 months ago
2005
Springer
Reducing power consumption has become a major challenge in the design and operation of today's computer systems. This chapter describes different techniques addressing this c...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we present a high fidelity and efficient emulation framework called TWINE, which combines the accuracy and realism of emulated and physical networks and the scala...
HYBRID
2010
Springer
14 years 1 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...