371 search results - page 49 / 75 » Pushdown Automata Simulator |
103
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...
108
Voted
SCP
2010
15 years 8 days ago
2010
Several scienti c bottlenecks have been identi ed in existing component-based approaches. em, we focus on the identi cation of a relevant abstraction for the component expression ...
104
click to vote
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— This paper proposes a multiple robot control algorithm to approach the problem of patrolling an open or closed line. The algorithm is fully decentralized, i.e., no comm...
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Local spatial interaction (i.e. neighborhood interaction) between land-use types is an important component in Cellular Automata -based urban geosimulation models. Herein a new meth...
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
— In this paper, we present a test generation framework for testing of quantum cellular automata (QCA) circuits. QCA is a nanotechnology that has attracted significant recent at...