2861 search results - page 155 / 573 » The multi-layered network design problem |
152
click to vote
TACAS
1998
Springer
15 years 8 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
171
click to vote
SIGCOMM
2004
ACM
15 years 10 months ago
2004
ACM
Name services are critical for mapping logical resource names to physical resources in large-scale distributed systems. The Domain Name System (DNS) used on the Internet, however,...
257
click to vote
ADHOC
2008
15 years 4 months ago
2008
Energy efficiency and positional accuracy are often contradictive goals. We propose to decrease power consumption without sacrificing significant accuracy by developing an energy-...
156
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...
147
click to vote
EUROCAST
2001
Springer
15 years 9 months ago
2001
Springer
CAST.FSM denotes a CAST tool which has been developed at the Institute of Systems Science at the University of Linz during the years 1986-1993. The first version of CAST.FSM was i...