4418 search results - page 204 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
185
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
195
click to vote
GSN
2009
Springer
15 years 11 months ago
2009
Springer
The understanding of complex environmental phenomena, such as deforestation and epidemics, requires observations at multiple scales. This scale dependency is not handled well by to...
179
click to vote
RTCSA
2008
IEEE
16 years 26 days ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
166
click to vote
CHI
1999
ACM
15 years 10 months ago
1999
ACM
In this paper, we discuss why, in designing multiparty mediated systems, we should focus first on providing non-verbal cues which are less redundantly coded in speech than those n...
182
click to vote
DSN
2008
IEEE
15 years 8 months ago
2008
IEEE
We describe a specific application of assurance cases to the problem of ensuring that a transition from a legacy system to its replacement will not compromise mission assurance ob...