1614 search results - page 178 / 323 » Planning as Temporal Reasoning |
171
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
This paper describes SHAD, a novel architecture for security in pervasive computing environments, and a prototype implementation. SHAD is a Peer-to-Peer and humancentered security...
164
click to vote
IPPS
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract— The use of many distributed, heterogeneous resources as a large collective platform offers great potential. A key issue for these grid platforms is middleware scalabili...
146
click to vote
GLOBECOM
2007
IEEE
16 years 26 days ago
2007
IEEE
— Rapid-deployment mobile ad-hoc networks (MANETs) are frequently characterized by common overarching mission objectives which make it reasonable to expect some degree of coopera...
163
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes TEMPEST, a planner that enables a solar-powered rover to reason about path selection and event placement in terms of available solar energy and anticipated po...
159
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...