188 search results - page 35 / 38 » Error Modeling in Dependable Component-Based Systems |
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of...
ATAL
2007
Springer
13 years 12 months ago
2007
Springer
Integrating contributions received from other agents is an essential activity in multi-agent systems (MASs). Not only must related contributions be integrated together, but the co...
SCP
2010
13 years 6 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
ESANN
2007
13 years 9 months ago
2007
Uncertainty is a popular phenomenon in machine learning and a variety of methods to model uncertainty at different levels has been developed. The aim of this paper is to motivate ...
USENIX
2007
13 years 10 months ago
2007
Monitoring and mining real-time network data streams is crucial for managing and operating data networks. The information that network operators desire to extract from the network...