4865 search results - page 589 / 973 » The Complexity of Graph Connectivity |
150
click to vote
PODC
2009
ACM
16 years 1 months ago
2009
ACM
The (M, W)-controller, originally studied by Afek, Awerbuch, Plotkin, and Saks, is a basic distributed tool that an abstraction for managing the consumption of a global resource i...
186
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...
165
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Highly sophisticated animals consist of a set of heterogenous modules decided by nature so that they can survive in a complex environment. In this paper we present a new modula...
160
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— We present a novel algorithm for motion planning of multiple robots amongst dynamic obstacles. Our approach is based on a new roadmap representation that uses deformable links ...
159
click to vote
FDL
2005
IEEE
16 years 13 days ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...