10263 search results - page 359 / 2053 » From Use Cases to System Operation Specifications |
237
click to vote
PDCN
2004
15 years 9 months ago
2004
We present a family of methods for speeding up distributed locks by exploiting the uneven distribution of both temporal and spatial locality of access behaviour of many applicatio...
208
click to vote
ADS
2004
Springer
16 years 29 days ago
2004
Springer
In this paper we describe how to generate affective dialogs for multiple virtual characters based on a combination of both automatically generated and pre-scripted scenes. This is ...
210
click to vote
RE
2006
Springer
15 years 7 months ago
2006
Springer
Assumptions are frequently made during requirements analysis of a system about the trustworthiness of its various components (including human components). These trust assumptions, ...
226
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
213
click to vote
RECOMB
2007
Springer
16 years 7 months ago
2007
Springer
Multi-break rearrangements break a genome into multiple fragments and further glue them together in a new order. While 2break rearrangements represent standard reversals, fusions, ...