Sciweavers

2272 search results - page 330 / 455
» Capture Complexity by Partition
Sort
View
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
15 years 9 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
ICRA
2005
IEEE
121views Robotics» more  ICRA 2005»
15 years 9 months ago
Modeling and Analysis of Beaconless and Beacon-Based Policies for a Swarm-Intelligent Inspection System
Abstract— We are developing a swarm-intelligent inspection system based on a swarm of autonomous, miniature robots, using only on-board, local sensors. To estimate intrinsic adva...
Nikolaus Correll, Alcherio Martinoli
IPPS
2005
IEEE
15 years 9 months ago
Virtual Gateways in the DECOS Integrated Architecture
— The DECOS architecture aims at combining the advantages of federated and integrated systems. The DECOS architecture divides the overall system into a set of nearly-independent ...
Roman Obermaisser, Philipp Peti, Hermann Kopetz
ISMAR
2005
IEEE
15 years 9 months ago
Synchronizing 3D Movements for Quantitative Comparison and Simultaneous Visualization of Actions
In our poster presentation at ISMAR’04 [11], we proposed the idea of an AR training solution including capture and 3D replays of subtle movements. The crucial part missing for r...
Tobias Sielhorst, Tobias Blum, Nassir Navab
RTCSA
2005
IEEE
15 years 8 months ago
Quasi-Static Scheduling for Multiprocessor Real-Time Systems with Hard and Soft Tasks
We address in this paper the problem of scheduling for multiprocessor real-time systems with hard and soft tasks. Utility functions are associated to soft tasks to capture their r...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...