1163 search results - page 67 / 233 » Case Studies of Model Checking for Embedded System Designs |
137
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
117
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
125
click to vote
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
193
click to vote
JCDL
2011
ACM
14 years 7 months ago
2011
ACM
A pattern is a model or a template used to summarize and describe the behavior (or the trend) of a data having generally some recurrent events. Patterns have received a considerab...
130
click to vote
TRIDENTCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
—In this paper, we investigate the applicability of simulation and emulation for denial of service (DoS) attack experimentation. As a case study, we consider low-rate TCP-targete...