2632 search results - page 112 / 527 » Alternating Timed Automata |
134
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
We use History Dependent Automata (HD-automata) as a syntax-indepentend formalism to check compatibility of services at binding time in Service-Oriented Computing. Informally speak...
130
click to vote
CEC
2005
IEEE
15 years 5 months ago
2005
IEEE
The dynamics of neural and other automata networks are defined to a large extent by their topologies. Artificial evolution constitutes a practical means by which an optimal topolog...
246
click to vote
ACRI
2010
Springer
15 years 4 months ago
2010
Springer
A method of constructing asynchronous cellular automata (ACA model) as a parallel composition of two interacting ACA is presented. The resulting ACA is intended to simulate a proce...
131
click to vote
DAM
2007
15 years 3 months ago
2007
It is shown that the set of hybrid one-dimensional reversible cellular automata (CA) with the periodic boundary condition is a regular set. This has several important consequences...
140
click to vote
BIOCOMP
2009
15 years 1 months ago
2009
Abstract-- Spatial partial differential equations are commonly used to describe systems of biological entities, such as patterns created by desert vegetation and biovermiculation g...