12981 search results - page 2266 / 2597 » Model Checking (Abstract) |
127
click to vote
ICPADS
2005
IEEE
16 years 8 days ago
2005
IEEE
Point-to-point transmissions represent a fundamental primitive in any communication network. Despite many proave appeared in the literature, providing an efficient implementation ...
203
Voted
ICPPW
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract— In the sporadic task model, a task is characterized by three parameters — an execution requirement, a relative deadline, and a period parameter — and has the interp...
144
click to vote
ICRA
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract— In this paper, we explore the problem of threedimensional motion planning in highly cluttered and unstructured outdoor environments. Because accurate sensing and modeli...
175
Voted
ICRA
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract— Recent research trends and technology developments are bringing us closer to the realization of autonomous multirobot systems performing increasingly complex missions. ...
339
click to vote
INFOCOM
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract— We present a model for the joint design of congestion control and media access control (MAC) for ad hoc wireless networks. Using contention graph and contention matrix,...