2407 search results - page 231 / 482 » A Tool for Abstraction in Model Checking |
202
click to vote
CPE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models...
243
click to vote
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
195
click to vote
ESORICS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
210
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
171
click to vote
SIGIR
1996
ACM
15 years 11 months ago
1996
ACM
We present a deductive data model for concept-based query expansion. It is based abstraction levels: the conceptual, the expression and the occurrence level. Concepts and their re...