Sciweavers

358 search results - page 9 / 72
» A Study of Execution Environments for Software Components
Sort
View
137
Voted
SOCO
2008
Springer
15 years 3 months ago
Component-Based Access Control: Secure Software Composition through Static Analysis
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
Pierre Parrend, Stéphane Frénot
QOSA
2010
Springer
15 years 6 months ago
Parameterized Reliability Prediction for Component-Based Software Architectures
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ral...
134
Voted
CBSE
2008
Springer
15 years 5 months ago
Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems
Efficiency with respect to energy consumption has increasingly been recognized as an important quality attribute for distributed software systems in embedded and pervasive environm...
Chiyoung Seo, Sam Malek, Nenad Medvidovic
110
Voted
FASE
2007
Springer
15 years 7 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
122
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
Feature Oriented Model Driven Development: A Case Study for Portlets
Model Driven Development (MDD) is an emerging paradigm for software construction that uses models to specify programs, and model transformations to synthesize executables. Feature...
Don S. Batory, Oscar Díaz, Salvador Trujill...