979 search results - page 158 / 196 » Footprints in Local Reasoning |
RAS
2008
13 years 7 months ago
2008
In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...
RAS
2008
13 years 7 months ago
2008
Task planning for mobile robots usually relies solely on spatial information and on shallow domain knowledge, like labels attached to objects and places. Although spatial informat...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
Open MASs can be extremely dynamic due to heterogeneous agents that migrate among them to obtain resources or services not found locally. In order to prevent malicious actions and...
GG
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
IFIPTM
2010
13 years 6 months ago
2010
Abstract. The open and dynamic nature of modern distributed systems and pervasive environments presents significant challenges to security management. One solution may be trust ma...