5015 search results - page 688 / 1003 » Model Checking a Path |
201
click to vote
ALGOSENSORS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Delay (or disruption) tolerant sensor networks may be modeled as Markovian evolving graphs [1]. We present experimental evidence showing that considering multiple (possib...
150
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
This paper considers the problem of Multi-Geography Route Planning (MGRP) where the geographical information may be spread over multiple heterogeneous interconnected maps. We firs...
171
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
— As microprocessor technology continues to scale into the nanometer regime, recent studies show that interconnect delay will be a limiting factor for performance, and multiple c...
178
click to vote
AINA
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— We propose a unified cross layer routing protocol with multiple constraints for CDMA multihop cellular networks (MCN). Multiple constraints are imposed on intermediate...
167
click to vote
STAIRS
2008
15 years 8 months ago
2008
Robots are complex entities that can be modeled as multi-agent systems. The multi-agent paradigm provides an integrated intelligence framework such as a path planning agent that us...