Sciweavers

1776 search results - page 119 / 356
» A Visual Modeling Environment for Embedded Component Systems
Sort
View
RTAS
1998
IEEE
15 years 6 months ago
FARA - A Framework for Adaptive Resource Allocation in Complex Real-Time Systems
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
Daniela Rosu, Karsten Schwan, Sudhakar Yalamanchil...
138
Voted
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 7 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
ICRA
1998
IEEE
155views Robotics» more  ICRA 1998»
15 years 6 months ago
Reactive Visual Control of Multiple Non-Holonomic Robotic Agents
We have developed a multiagent robotic system including perception, cognition, and action components to function in a dynamicenvironment. The system involves the integration and c...
Kwun Han, Manuela M. Veloso
MODELS
2009
Springer
15 years 7 months ago
SLIM - A Lightweight Environment for Synchronous Collaborative Modeling
Abstract. UML diagrams have become the de-facto standard for the visual modeling of software systems. The creation and discussion of these diagrams is a critical factor impacting t...
Christian Thum, Michael Schwind, Martin Schader
115
Voted
ICDCS
1990
IEEE
15 years 6 months ago
A Constructive Approach to the Design of Distributed Systems
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...
Jeff Kramer, Jeff Magee, Anthony Finkelstein