Sciweavers

532 search results - page 41 / 107
» Distributed, Modular HTL
Sort
View
CADE
2007
Springer
14 years 8 months ago
A History-based Verification of Distributed Applications
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
Bruno Langenstein, Andreas Nonnengart, Georg Rock,...
ISVC
2009
Springer
14 years 2 months ago
DRONE: A Flexible Framework for Distributed Rendering and Display
The available rendering performance on current computers increases constantly, primarily by employing parallel algorithms using the newest many-core hardware, as for example multi-...
Michael Repplinger, Alexander Löffler, Dmitri...
IEEESCC
2007
IEEE
14 years 2 months ago
A Distributed e-Healthcare System Based on the Service Oriented Architecture
Large-scale distributed systems, such as e-healthcare systems, are difficult to develop due to their complex and decentralized nature. The Service Oriented Architecture facilitat...
Firat Kart, Gengxin Miao, Louise E. Moser, P. M. M...
DAGSTUHL
1994
13 years 9 months ago
A Distributed Control Architecture for Autonomous Robot Systems
The main advantage of distributed controlled robots and subsystems is the decentralized task execution by the system components. This way, properties for the design of flexible co...
Thomas Laengle, Tim Lüth, Ulrich Rembold
COMCOM
2004
95views more  COMCOM 2004»
13 years 7 months ago
A distributed middleware infrastructure for personalized services
In this paper, we present an overview of extensible Retrieval, Annotation and Caching Engine (eRACE), a modular and distributed intermediary infrastructure that collects informati...
Marios D. Dikaiakos, Demetrios Zeinalipour-Yazti