Sciweavers

7340 search results - page 291 / 1468
» The Behavior of Tutoring Systems
Sort
View
ASPLOS
2006
ACM
16 years 17 days ago
A: an assertion language for distributed systems
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...
Andrew Tjang, Fábio Oliveira, Richard P. Ma...
172
Voted
ROBOCUP
2001
Springer
116views Robotics» more  ROBOCUP 2001»
15 years 11 months ago
Biter: A Platform for the Teaching and Research of Multiagent Systems' Design Using RoboCup
We introduce Biter, a platform for the teaching and research of multiagent systems’ design. Biter implements a client for the RoboCup simulator. It provides users with the basic ...
Paul A. Buhler, José M. Vidal
ICRA
2000
IEEE
73views Robotics» more  ICRA 2000»
15 years 11 months ago
Environment Delay in Haptic Systems
This paper will investigate the influence environment delay has on haptic systems. Work presented in [9]and [ll]demonstrated that it is possible to account for environment delay (...
Brian E. Miller, J. Edward Colgate, Randy Freeman
VLSID
2000
IEEE
121views VLSI» more  VLSID 2000»
15 years 11 months ago
Design of Synchronous Action Systems
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchr...
Juha Plosila, Tiberiu Seceleanu
AADEBUG
1997
Springer
15 years 10 months ago
Modeling Intelligent System Execution as State Transition Diagrams to Support Debugging
Currently, few tools are available for assisting developers with debugging intelligent systems. Because these systems rely heavily on context dependent knowledge and sometimes sto...
Adele E. Howe, Gabriel Somlo