422 search results - page 23 / 85 » On Modal Refinement and Consistency |
152
Voted
ECOOP
1995
Springer
15 years 7 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
145
Voted
ITSSA
2006
15 years 4 months ago
2006
: This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements. The main contribution consists in providing a set of methodological prin...
137
click to vote
HYBRID
2010
Springer
15 years 2 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
157
click to vote
SYNTHESE
2008
15 years 4 months ago
2008
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...
125
click to vote
UIST
2006
ACM
15 years 10 months ago
2006
ACM
The continuous growth of media databases necessitates development of novel visualization and interaction techniques to support management of these collections. We present Videotat...