Sciweavers

2024 search results - page 208 / 405
» A Logic Based Approach for Dynamic Access Control
Sort
View
AAAI
2008
15 years 6 months ago
Adaptive Control for Autonomous Underwater Vehicles
We describe a novel integration of Planning with Probabilistic State Estimation and Execution resulting in a unified representational and computational framework based on declarat...
Conor McGann, Frederic Py, Kanna Rajan, John Ryan,...
DFMA
2005
IEEE
151views Multimedia» more  DFMA 2005»
15 years 9 months ago
MUMOC: An Active Infrastructure for Open Video Caching
Advances in networking and content delivery systems are enabling new challenging provisioning scenarios where a growing number of users access Video on Demand (VoD), possibly whil...
Paolo Bellavista, Antonio Corradi, Luca Foschini
IJCAI
1993
15 years 5 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
AINA
2007
IEEE
15 years 10 months ago
How to Study Wireless Mesh Networks: A hybrid Testbed Approach
— Simulation is the most famous way to study wireless an mobile networks since they offer a convenient combination of flexibility and controllability. However, their largest dis...
Alexander Zimmermann, Mesut Günes, Martin Wen...
FASE
2003
Springer
15 years 9 months ago
Model-Based Development of Web Applications Using Graphical Reaction Rules
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
Reiko Heckel, Marc Lohmann