Sciweavers

5799 search results - page 348 / 1160
» Health-OS: : a position paper
Sort
View
ICSE
2009
IEEE-ACM
15 years 4 months ago
Towards an assume-guarantee theory for adaptable systems
Modern software systems should be more and more designed with adaptation and run-time evolution in mind. But even with good reactions to changes, the triggered adaptation should b...
Paola Inverardi, Patrizio Pelliccione, Massimo Tiv...
ICSEA
2009
IEEE
15 years 4 months ago
Integrating Formal Methods with Model-Driven Engineering
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
CJ
2010
132views more  CJ 2010»
15 years 4 months ago
Internet Failures: an Emergent Sea of Complex Systems and Critical Design Errors?
Complex systems researchers have looked to the Internet as a possible source of interesting emergent behaviour. Indeed, some high profile failures, and some low level phenomena, m...
Jon Crowcroft
CLEIEJ
2010
15 years 4 months ago
Evaluation of a Fault-tolerant Model for Tactic Operations of Mobile Robotic Groups Using Genetic Algorithms
This paper addresses the evaluation of a fault-tolerant model for tactic operations of mobile robotic groups. The coordinated action of the group is planned with Genetic Algorithm...
Gustavo Pessin, Fernando Santos Osório
COMPUTING
2010
15 years 4 months ago
Modified HSS iteration methods for a class of complex symmetric linear systems
In this paper, we introduce and analyze a modification of the Hermitian and skewHermitian splitting iteration method for solving a broad class of complex symmetric linear systems....
Zhong-Zhi Bai, Michele Benzi, Fang Chen