2835 search results - page 194 / 567 » Common Semantics for Use Cases and Task Models |
182
click to vote
ICFEM
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
157
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
211
click to vote
EMSOFT
2005
Springer
16 years 14 days ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
216
click to vote
RTSS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
184
click to vote
ECMDAFA
2008
Springer
15 years 8 months ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...