6722 search results - page 108 / 1345 » Reuse-Conducive Development Environments |
IFM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
GI
2007
Springer
14 years 3 months ago
2007
Springer
: Bremen, Federal State of Germany, is planning to set up a headquarter for GMES - Global Monitoring of Environment and Security. One goal of the Institute of Shipping Economics an...
MUM
2005
ACM
14 years 2 months ago
2005
ACM
Location information is becoming increasingly important in many pervasive computing applications. Reliance on accurate local knowledge of location is often critical to providing e...
ROBOCUP
1998
Springer
14 years 1 months ago
1998
Springer
Developing agents for simulation environments is usually the responsibility of computer experts. However, as domain experts have superior knowledge of the intended agent behavior, ...
HASE
2007
IEEE
14 years 22 days ago
2007
IEEE
Recently, many routing protocols and applications for mobile ad hoc networks have been proposed. However, most of them are tested through the simulation experiments, but are not d...