5423 search results - page 743 / 1085 » Denial-of-service in automation systems |
166
click to vote
LICS
2006
IEEE
16 years 26 days ago
2006
IEEE
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
151
click to vote
LICS
2006
IEEE
16 years 26 days ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
160
click to vote
IPPS
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper describes an overview of Environment for Memory Performance Studies (EMPS). EMPS is a framework to allow different data gathering and simulation tools to be composed to...
200
click to vote
QEST
2005
IEEE
16 years 13 days ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
191
Voted
TIME
2005
IEEE
16 years 13 days ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...