Sciweavers

2024 search results - page 307 / 405
» A Formal Model of Multi-agent Computations
Sort
View
MATES
2007
Springer
15 years 5 months ago
Diagnosis of Plan Structure Violations
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to ...
Nico Roos, Cees Witteveen
TRUSTBUS
2007
Springer
15 years 5 months ago
The Meaning of Logs
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
Sandro Etalle, Fabio Massacci, Artsiom Yautsiukhin
IROS
2006
IEEE
93views Robotics» more  IROS 2006»
15 years 5 months ago
Jacobian Learning Methods for Tasks Sequencing in Visual Servoing
Abstract— In this paper, the coupling between Jacobian learning and task sequencing through the redundancy approach is studied. It is well known that visual servoing is robust to...
Nicolas Mansard, Manuel Lopes, José Santos-...
ISPDC
2006
IEEE
15 years 5 months ago
Distributed, Real-Time Programming on Commodity POSIX Systems: A Preliminary Report
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
Stefan D. Bruda, Petter Haggholm, Scott Stoddard
ISPDC
2006
IEEE
15 years 5 months ago
Managing Information and Time Flow in an Agent-Based E-Commerce System
Recently, we have proposed a comprehensive agent-based e-commerce system. While UML formalized, it lacked details how basic functions – e.g. user request to purchase a given pro...
Maciej Gawinecki, Maria Ganzha, Pawel Kobzdej, Mar...