1124 search results - page 25 / 225 » Refined quorum systems |
107
click to vote
JLP
2006
15 years 1 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
113
click to vote
HCSE
2010
14 years 12 months ago
2010
Personas are useful for obtaining an empirically grounded understanding of a secure system's user population, its contexts of use, and possible vulnerabilities and threats end...
116
click to vote
CORR
2010
Springer
15 years 6 days ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
110
click to vote
FASE
2000
Springer
15 years 5 months ago
2000
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f...
107
click to vote
FLAIRS
2008
15 years 4 months ago
2008
This paper presents a methodological approach for the semiautomatic refinement and assessment of subgroup patterns using summarization and clustering techniques in the context of ...