491 search results - page 22 / 99 » Implementation of a Generic Autonomic Framework |
RTA
2009
Springer
15 years 6 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
GECCO
2004
Springer
15 years 5 months ago
2004
Springer
This paper proposes an evolutionary framework where a network service is created from a group of autonomous agents that interact and evolve. Agents in our framework are capable of ...
CHINZ
2005
ACM
15 years 1 months ago
2005
ACM
In this paper, we describe the design philosophy, implementation and evaluation of InkKit, an informal design platform that uses pen input on a tablet PC to imitate the informalit...
ICRA
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents a navigation framework which enables multiple mobile robots to attain individual goals, coordinate their actions and work safely and reliably in a highly dynam...
102
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be...