Sciweavers

1369 search results - page 223 / 274
» Software Architecture with Visual Frameworks
Sort
View
ROBOCUP
2004
Springer
103views Robotics» more  ROBOCUP 2004»
14 years 2 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
14 years 2 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
14 years 1 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»
14 years 1 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
14 years 1 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, ...