366 search results - page 14 / 74 » Combining Agent-Oriented Conceptual Modelling with Formal Me... |
136
click to vote
FM
2003
Springer
15 years 5 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
123
Voted
DBSEC
2010
15 years 17 days ago
2010
Abstract. We consider the problem of developing an abstract metamodel of access control in terms of which policies for protecting a principal's private information may be spec...
102
Voted
ICTAC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
JUCS
2010
14 years 10 months ago
2010
: The situational method engineering (SME) literature is surveyed and a synoptic evaluation presented in the context of formalizing and regularizing the conceptual framework and un...
CPAIOR
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...