Reconfiguration and self-adaptation are vital capabilities of sensor networks and networked embedded systems that are required to operate in dynamic environments. This paper prese...
Sachin Kogekar, Sandeep Neema, Xenofon D. Koutsouk...
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
The mixmod (mixture modeling) program fits mixture models to a given data set for the purposes of density estimation, clustering or discriminant analysis. A large variety of algor...
This article discusses Nokia’s experiences of using open source in commercial product development. It presents the development model used in the creation of mobile consumer devic...