Sciweavers

2513 search results - page 10 / 503
» Tamper-Tolerant Software: Modeling and Implementation
Sort
View
SSR
2001
146views more  SSR 2001»
15 years 1 months ago
Implementing product line variabilities
Software product lines have numerous members. Thus, a product line infrastructure must cover various systems. This is the significant difference to usual software systems and the ...
Cristina Gacek, Michalis Anastasopoules
ISOLA
2010
Springer
14 years 9 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
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...
Reiner Hähnle
COMPSAC
2010
IEEE
14 years 9 months ago
Design and Implementation of a Middleware for Development and Provision of Stream-Based Services
This paper proposes MISSA, a novel middleware to facilitate the development and provision of stream-based services in emerging pervasive environments. The streambased services util...
Seungwoo Kang, Youngki Lee, Sunghwan Ihm, Souneil ...
SAC
2008
ACM
14 years 11 months ago
Collaborative software engineering on large-scale models: requirements and experience in ModelBus
This work presents an approach for realizing Model-Driven software engineering in the distributed and multi-developers context. It particularly focuses on the scalability problems...
Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gerv...
IFIP
1993
Springer
15 years 3 months ago
Repositories for Software Reuse: The Software Information Base
Repositories play a pivotal role in an integrated reuse- based application development environment. Reusing software components implies their persistent storage and maintenance, a...
Panos Constantopoulos, Martin Doerr, Yannis Vassil...