Sciweavers

2513 search results - page 46 / 503
» Tamper-Tolerant Software: Modeling and Implementation
Sort
View
PROCEDIA
2010
58views more  PROCEDIA 2010»
13 years 8 months ago
A software environment for a human-aware ambient agent supporting attention-demanding tasks
This paper presents a software environment for a human-aware ambient agent providing support for a human performing an attention-demanding task. The agent obtains human attention-...
Zulfiqar A. Memon, Rogier Oorburg, Jan Treur, Muha...
NJC
2006
119views more  NJC 2006»
13 years 9 months ago
A Model-Driven Approach to Variability Management in Product-Line Engineering
Object-oriented frameworks play an essential role in the implementation of product-line architectures (PLAs) for product families. However, recent case studies reveal that deriving...
André L. Santos, Kai Koskimies, Antó...
EWSA
2006
Springer
14 years 1 months ago
Automating the Building of Software Component Architectures
Assembling software components into an architecture is a difficult task because of its combinatorial complexity. There is thus a need for automating this building process, either t...
Nicolas Desnos, Sylvain Vauttier, Christelle Urtad...
DATE
2003
IEEE
118views Hardware» more  DATE 2003»
14 years 3 months ago
Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
Sharath Kodase, Shige Wang, Kang G. Shin
WSC
2007
14 years 7 days ago
Controlled sequential bifurcation for software reliability study
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
Jun Xu, Feng Yang, Hong Wan