1299 search results - page 208 / 260 » On the Correctness of Operating System Kernels |
168
click to vote
IPPS
2007
IEEE
15 years 12 months ago
2007
IEEE
Heterogeneous distributed computing systems often must operate in an environment where system parameters are subject to uncertainty. Robustness can be defined as the degree to wh...
144
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
Modern internet and telephone switches consist of numerous VLSI-circuits operating at high frequencies to handle high bandwidths. It is beyond question that such systems must cont...
191
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
182
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
RDF is an increasingly important paradigm for the representation of information on the Web. As RDF databases increase in size to approach tens of millions of triples, and as sophis...
179
click to vote
WCRE
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper discusses the requirements and a generic framework for the integration of architectural and codebased reengineering tools. This framework is needed because there is a l...