Sciweavers

23098 search results - page 131 / 4620
» Component Based Development
Sort
View
ATVA
2008
Springer
139views Hardware» more  ATVA 2008»
14 years 5 days ago
Compositional Verification for Component-Based Systems and Application
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
Saddek Bensalem, Marius Bozga, Joseph Sifakis, Tha...
CD
2005
Springer
14 years 3 months ago
Cooperative Component-Based Software Deployment in Wireless Ad Hoc Networks
Abstract. This paper presents a middleware platform we designed in order to allow the deployment of component-based software applications on mobile devices (such as laptops or pers...
Hervé Roussain, Frédéric Guid...
IADIS
2003
13 years 11 months ago
Educational Component Model for Adaptive Web-Based Courses
The primary business problem that a Learning Content Management System faces is to create just enough content, just in time, meeting the needs of different types of learners. A po...
Freddy Duitama, Bruno Defude, Amel Bouzeghoub, Cla...
CSDA
2008
65views more  CSDA 2008»
13 years 10 months ago
On the number of principal components: A test of dimensionality based on measurements of similarity between matrices
An important problem in principal component analysis (PCA) is the estimation of the correct number of components to retain. PCA is most often used to reduce a set of observed vari...
Stéphane Dray