Sciweavers

13140 search results - page 256 / 2628
» Coupling Component Systems towards Systems of Systems
Sort
View
FLAIRS
2000
15 years 8 months ago
Towards Validation of Rule-Based Systems - The Loop is Closed
Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez,...
WEBNET
1997
15 years 8 months ago
Towards a Web Operating System (WOS)
Peter G. Kropf, John Plaice, Herwig Unger
DLOG
1996
15 years 8 months ago
Towards a Legal Reasoning System based on Description Logics: A Position Paper
fe. Althoughthose legal concepts are abstract in the sense that there always exist possibilities to interpret them in various ways, lawyers seem to understand themas real things at...
Makoto Haraguchi
FTCS
1996
132views more  FTCS 1996»
15 years 8 months ago
An Approach towards Benchmarking of Fault-Tolerant Commercial Systems
This paper presents a benchmark for dependablesystems. The benchmark consists of two metrics, number of catastrophic incidents and performance degradation, which are obtained by a...
Timothy K. Tsai, Ravishankar K. Iyer, Doug Jewitt
PDS
1996
15 years 8 months ago
Towards a theory of shared data in distributed systems
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
Simon A. Dobson, Christopher P. Wadsworth