Sciweavers

4052 search results - page 523 / 811
» Using RDF to describe networks
Sort
View
ICCS
2003
Springer
15 years 12 months ago
JDOS: A Jini Based Distributed Operating System
J-DOS provides and integrated JAVA environment for the execution of a program across an interconnected network of heterogeneous computers. The system provides a file system, shar...
M. Saywell, J. S. Reeve
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
15 years 11 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
193
Voted
HASE
1996
IEEE
15 years 11 months ago
Adaptive recovery for mobile environments
Mobile computing allows ubiquitous and continuousaccess to computing resources while the users travel or work at a client's site. The flexibility introduced by mobile computi...
Nuno Neves, W. Kent Fuchs
CLUSTER
2004
IEEE
15 years 10 months ago
Simplifying administration through dynamic reconfiguration. in a cooperative cluster storage system
Cluster Storage Systems where storage devices are distributed across a large number of nodes are able to reduce the I/O bottleneck problems present in most centralized storage sys...
Renaud Lachaize, Jorgen S. Hansen
AAAI
2008
15 years 9 months ago
Generating Application-Specific Benchmark Models for Complex Systems
Automated generators for synthetic models and data can play a crucial role in designing new algorithms/modelframeworks, given the sparsity of benchmark models for empirical analys...
Jun Wang, Gregory M. Provan