1358 search results - page 72 / 272 » Proceedings |
ISSE
2010
13 years 8 months ago
2010
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
JMLR
2010
13 years 8 months ago
2010
Bagging is a simple way to combine estimates in order to improve their performance. This method, suggested by Breiman in 1996, proceeds by resampling from the original data set, c...
JNCA
2010
13 years 8 months ago
2010
This paper describes a novel approach for managing service-centric communications networks called distributed autonomic management (DAM). Current approaches to network management ...
RV
2010
Springer
13 years 8 months ago
2010
Springer
To avoid large overheads induced by runtime monitoring, the use of asynchronous log-based monitoring is sometimes adopted — even though this implies that the system may proceed f...
SPIN
2010
Springer
13 years 8 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...