15614 search results - page 143 / 3123 » The State of State |
95
Voted
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
— Trotting and galloping allow a quadruped to rapidly traverse rough terrain. Modeling this motion, which is only dynamically stable, is of importance for legged robot operation ...
122
Voted
LFCS
2007
Springer
15 years 7 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...
98
Voted
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...
106
Voted
SAFECOMP
2007
Springer
15 years 7 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
ACSD
2006
IEEE
15 years 7 months ago
2006
IEEE
Signal Transition Graphs (STGs) are a popular formalism for the specification of asynchronous circuits. A necessary condition for the implementability of an STG is the existence ...