512 search results - page 43 / 103 » Automata as Abstractions |
CAV
2011
Springer
13 years 7 days ago
2011
Springer
Abstract. The underground malware-based economy is flourishing and it is evident that the classical ad-hoc signature detection methods are becoming insufficient. Malware authors ...
FOSSACS
2006
Springer
14 years 9 days ago
2006
Springer
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...
LATA
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. This paper contributes to the study of Freely Rewriting Restarting Automata (FRR-automata) and Parallel Communicating Grammar Systems (PCGS) as formalizations of the ling...
AUSAI
2006
Springer
14 years 12 days ago
2006
Springer
Abstract. In this paper we report preliminary findings of using cellular automata (CA) as an underlying architecture in controlling the motion of a fivelegged brittle star typed ro...
ESOP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We introduce an approach to designing filtering algorithms by derivation from finite automata operating on constraint signatures. We illustrate this approach in two cas...