Sciweavers

1598 search results - page 68 / 320
» High-Assurance Distributed, Adaptive Software for Dynamic Sy...
Sort
View
FORMATS
2007
Springer
14 years 27 days ago
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
IPPS
1999
IEEE
14 years 1 months ago
An Object-Oriented Environment for Sparse Parallel Computation on Adaptive Grids
Many numerical solutions of large scale simulation models require finer discretizations in some regions of the computational grid. When this region is not known in advance, adapti...
Salvatore Filippone, Michele Colajanni, Dario Pasc...
TKDE
2002
91views more  TKDE 2002»
13 years 8 months ago
The EVE Approach: View Synchronization in Dynamic Distributed Environments
The construction and maintenance of data warehouses (views) in large-scale environments composed of numerous distributed and evolving information sources (ISs) such as the WWW has ...
Amy J. Lee, Anisoara Nica, Elke A. Rundensteiner
EDO
2006
Springer
14 years 21 days ago
Ubiquitous RATs: how resource-aware run-time tests can improve ubiquitous software systems
In this paper we describe a new approach for increasing the reliability of ubiquitous software systems. This is achieved by executing tests at run-time. The individual software co...
Matthias Merdes, Rainer Malaka, Dima Suliman, Barb...
ICEIS
2003
IEEE
14 years 2 months ago
Code Generation for Distributed Systems
d graphically, interest in code generators which create applications based on abstract system descriptions, is high. An indicator for this are the many commercial products. This pa...
Markus Aleksy, Ralf Gitzel