Sciweavers

5457 search results - page 320 / 1092
» Software Component Independence
Sort
View
FASE
2007
Springer
15 years 8 months ago
Finding Environment Guarantees
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel
AIPR
2002
IEEE
15 years 10 months ago
ICA Mixture Model based Unsupervised Classification of Hyperspectral Imagery
Conventional remote sensing classification techniques that model the data in each class with a multivariate Gaussian distribution are inefficient, as this assumption is generally ...
Chintan A. Shah, Manoj K. Arora, Stefan A. Robila,...
ICSE
2009
IEEE-ACM
15 years 11 months ago
Deployment automation with BLITZ
Minimizing the computing infrastructure (such as processors) in a distributed real-time embedded (DRE) system deployment helps reduce system size, weight, power consumption, and c...
Brian Dougherty, Jules White, Jaiganesh Balasubram...
ICSE
2009
IEEE-ACM
15 years 9 months ago
License integration patterns: Addressing license mismatches in component-based development
In this paper we address the problem of combining software components with different and possibly incompatible legal licenses to create a software application that does not viola...
Daniel M. Germán, Ahmed E. Hassan
SRDS
1999
IEEE
15 years 9 months ago
Logging and Recovery in Adaptive Software Distributed Shared Memory Systems
Software distributed shared memory (DSM) improves the programmability of message-passing machines and workclusters by providing a shared memory abstract (i.e., a coherent global a...
Angkul Kongmunvattana, Nian-Feng Tzeng