2407 search results - page 333 / 482 » A Tool for Abstraction in Model Checking |
186
click to vote
ICDS
2010
IEEE
16 years 9 days ago
2010
IEEE
Abstract—Recently, two complementary approaches are proposed to represent, model and analyze laws: the Nomos and VLPM approaches. Nomos is a goal-oriented approach to effectively...
211
click to vote
CODES
2003
IEEE
16 years 8 days ago
2003
IEEE
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...
173
click to vote
EDOC
2002
IEEE
15 years 12 months ago
2002
IEEE
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. To this end, we advoc...
191
click to vote
ER
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In this paper, we present the complete classification of recursive relationships and the criteria that contribute to the structural validity of modeling recursive relatio...
180
click to vote
BIB
2006
15 years 7 months ago
2006
This article is a critical review of computational techniques used to model, analyse and simulate signalling networks. We propose a conceptual framework, and discuss the role of s...