5599 search results - page 110 / 1120 » Abstract State Services |
129
click to vote
LFCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
104
click to vote
RAID
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this work we present a NIDS cluster as a scalable solution for realizing high-performance, stateful network intrusion detection on commodity hardware. The design addre...
KES
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present an autoadaptive algorithm for in-use parameter estimation of MEMS inertial accelerometers and gyros1 using multilevel quasi-static states for greater accuracy ...
119
Voted
GI
2009
Springer
15 years 6 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
128
Voted
UML
2001
Springer
15 years 6 months ago
2001
Springer
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Java, or the Abstract Mac...