Sciweavers

7080 search results - page 1045 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
KI
2002
Springer
15 years 4 months ago
Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
Bernhard Nebel, Alexander Scivos
ICDCS
1997
IEEE
15 years 9 months ago
Predictable Network Computing
Clusters of networked, off-the-shelf workstations are currently used for computationintensive, parallel applications. However, it is hardly possible to predict the timing behaviou...
Andreas Polze, Gerhard Fohler, Matthias Werner
SEMWEB
2004
Springer
15 years 10 months ago
Metadata-Driven Personal Knowledge Publishing
We propose a personal knowledge publishing system called Semblog is realized with integration of Semantic Web techniques and Weblog tools. Semblog suite provides an integrated envi...
Ikki Ohmukai, Hideaki Takeda, Masahiro Hamasaki, K...
ARCS
2008
Springer
15 years 6 months ago
How Efficient are Creatures with Time-shuffled Behaviors?
: The task of the creatures in the "creatures' exploration problem" is to visit all empty cells in an environment with a minimum number of steps. We have analyzed th...
Patrick Ediger, Rolf Hoffmann, Mathias Halbach
FAST
2009
15 years 2 months ago
Smoke and Mirrors: Reflecting Files at a Geographically Remote Location Without Loss of Performance
The Smoke and Mirrors File System (SMFS) mirrors files at geographically remote datacenter locations with negligible impact on file system performance at the primary site, and min...
Hakim Weatherspoon, Lakshmi Ganesh, Tudor Marian, ...
« Prev « First page 1045 / 1416 Last » Next »