Sciweavers

1369 search results - page 223 / 274
» Software Architecture with Visual Frameworks
Sort
View
ROBOCUP
2004
Springer
103views Robotics» more  ROBOCUP 2004»
15 years 10 months ago
Sharing Belief in Teams of Heterogeneous Robots
This paper describes the joint approach of three research groups to enable a heterogeneous team of robots to exchange belief. The communication framework presented imposes little r...
Hans Utz, Freek Stulp, Arndt Mühlenfeld
EUROPAR
2003
Springer
15 years 10 months ago
Modeling Context-Aware Behavior by Interpreted ECA Rules
The software architecture of distributed systems is about to change due to new requirements of modern mobile devices. New network techniques, like ad-hoc radio communication or pee...
Wolfgang Beer, Volker Christian, Alois Ferscha, La...
ISORC
2002
IEEE
15 years 10 months ago
ARTISST: An Extensible and Modular Simulation Tool for Real-Time Systems
ARTISST (ARTISST is a Real-Time System Simulation Tool) is a modular event-driven simulation framework for real-time systems. It is targeted towards the performance evaluation of ...
David Decotigny, Isabelle Puaut
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
15 years 9 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
ICCL
1998
IEEE
15 years 9 months ago
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
Christopher Colby, Lalita Jategaonkar Jagadeesan, ...