2437 search results - page 267 / 488 » Model-Driven Software Adaptation |
137
click to vote
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
123
click to vote
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper describes an extension to abuse-casebased security requirements analysis that provides a lightweight means of increasing assurance in security relevant software. The ap...
139
click to vote
AVI
2004
15 years 5 months ago
2004
In this paper, we present the first results of a research aiming at developing an intelligent agent able to interact with users in public spaces through a touch screen or a person...
114
click to vote
CSREAESA
2006
15 years 5 months ago
2006
Nowadays embedded system, hardware/software technology has progressed prosperously. In many field of industrial manufacture and people life, embedded system is indispensable. Rece...
123
click to vote
WICSA
2001
15 years 5 months ago
2001
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) ...