4418 search results - page 356 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
177
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
174
Voted
PRDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
149
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
Many women find it difficult to maintain beautiful skin since different skincare approaches require different amounts of effort, time, and special knowledge. Women often ask exper...
196
click to vote
CIKM
1994
Springer
15 years 11 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...
178
click to vote
ICPADS
2005
IEEE
16 years 11 days ago
2005
IEEE
The evaluation of QoS requirements is one of the critical functions that span both the design and the run-time phases of QoS management. This paper presents an architecture for Qo...