Sciweavers

2671 search results - page 337 / 535
» Role-based systems are autonomic
Sort
View
AIPS
1996
15 years 8 months ago
A Procedural Knowledge Approach to Task-Level Control
Effective task-level control is critical for robots that are to engage in purposeful activity in realworld environments. This paper describes PRSLite, a task-level controller grou...
Karen L. Myers
CAV
2010
Springer
185views Hardware» more  CAV 2010»
15 years 6 months ago
Achieving Distributed Control through Model Checking
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
Susanne Graf, Doron Peled, Sophie Quinton
158
Voted
ALIFE
2010
15 years 6 months ago
Living Technology: Exploiting Life's Principles in Technology
The concept of living technology--that is, technology that is based on the powerful core features of life--is explained and illustrated with examples from artificial life software,...
Mark A. Bedau, John S. McCaskill, Norman H. Packar...
AUTOMATICA
2006
122views more  AUTOMATICA 2006»
15 years 6 months ago
A feedback stabilization and collision avoidance scheme for multiple independent non-point agents,
A navigation functions' based methodology, established in our previous work for centralized multiple robot navigation, is extended to address the problem of decentralized nav...
Dimos V. Dimarogonas, Savvas G. Loizou, Kostas J. ...
CI
2002
112views more  CI 2002»
15 years 6 months ago
Negotiating the Semantics of Agent Communication Languages
This paper presents a formal framework and outlines a method that autonomous agents can use to negotiate the semantics of their communication language at run-time. Such an ability...
Chris Reed, Timothy J. Norman, Nicholas R. Jenning...