512 search results - page 64 / 103 » Automata as Abstractions |
158
click to vote
ICFEM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
172
click to vote
VMCAI
2012
Springer
14 years 1 months ago
2012
Springer
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...
171
click to vote
ROBOCUP
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
181
click to vote
LICS
2007
IEEE
16 years 3 days ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
131
click to vote
DNA
2007
Springer
16 years 2 hour ago
2007
Springer
Abstract. A major challenge in nanoscience is the design of synthetic molecular devices that run autonomously and are programmable. DNA-based synthetic molecular devices have the a...