887 search results - page 113 / 178 » Representing Systems with Hidden State |
151
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...
155
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
We apply the multi-agent system (MAS) platform to the task of biological network simulation. In this paper, we describe the simulation of signal transduction (ST) networks using t...
144
click to vote
MBEES
2010
15 years 5 months ago
2010
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
103
click to vote
ICCAD
2005
IEEE
16 years 29 days ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
137
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we describe a nature-inspired optimization algorithm based on bee foraging behavior. This algorithm combines the high performance of bee path-integration navigation...