5015 search results - page 967 / 1003 » Model Checking a Path |
SECON
2007
IEEE
14 years 1 months ago
2007
IEEE
—Mobile ad hoc networks (MANETs) are a critical technology in filling the gap where the network infrastructure is insufficient or does not exist at all. The dynamic topology of...
ECTEL
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The goal of the APOSDLE (Advanced Process-Oriented SelfDirected Learning environment) project is to support work-integrated learning of knowledge workers. We argue that w...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— In autonomous mobile ad hoc networks (MANET) where each user is its own authority, fully cooperative behaviors, such as unconditionally forwarding packets for each other or, ho...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— To operate outdoors or on non-flat surfaces, mobile robots need appropriate data structures that provide a compact representation of the environment and at the same time suppo...
SAC
2006
ACM
14 years 1 months ago
2006
ACM
Nowadays the concept of trust in computer communications starts to get more and more popular. While the idea of trust in human interaction seems to be obvious and understandable i...