2781 search results - page 200 / 557 » System Modules |
153
Voted
PDP
2002
IEEE
15 years 11 months ago
2002
IEEE
We present the Ka-admin project that addresses the problem of collecting, visualizing and feeding back any grid information, trace or snapshot, compliant to an XML-like model. Rea...
158
click to vote
ISSRE
2008
IEEE
16 years 22 days ago
2008
IEEE
Prediction of fault prone software components is one of the most researched problems in software engineering. Many statistical techniques have been proposed but there is no consen...
164
click to vote
VTS
2000
IEEE
15 years 10 months ago
2000
IEEE
Hardware duplication techniques are widely used for concurrent error detection in dependable systems to ensure high availability and data integrity. These techniques are vulnerabl...
133
click to vote
TROB
2002
15 years 6 months ago
2002
Abstract-- The problem addressed is the distributed reconfiguration of a metamorphic robotic system composed of an arbitrary number of two dimensional hexagonal robots (modules) fr...
126
Voted
WADT
1998
Springer
15 years 10 months ago
1998
Springer
We propose a definition of hierarchical heterogeneous formal specifications, where each module is specified according to its own homogeneous logic. We focus on the specification st...