Sciweavers

2513 search results - page 46 / 503
» Tamper-Tolerant Software: Modeling and Implementation
Sort
View
PROCEDIA
2010
58views more  PROCEDIA 2010»
15 years 4 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»
15 years 6 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
15 years 9 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»
15 years 11 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
15 years 8 months 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