1753 search results - page 209 / 351 » State Machines |
121
Voted
FDL
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
129
click to vote
DAIS
2010
15 years 6 months ago
2010
Distributed applications are often built from sets of distributed components that must be co-ordinated in order to achieve some global behaviour. The common approach is to use a c...
132
click to vote
IJCAI
2007
15 years 6 months ago
2007
Motivated by applications such as the spread of epidemics and the propagation of influence in social networks, we propose a formal model for analyzing the dynamics of such networ...
105
click to vote
ESANN
2003
15 years 6 months ago
2003
We propose an event-driven framework dedicated to the design and the simulation of networks of spiking neurons. It consists stract model of spiking neurons and an efficient event-d...
135
Voted
INTERACT
2003
15 years 6 months ago
2003
Abstract: Designing and implementing multimodal applications that take advantage of several recognitionbased interaction techniques (e.g. speech and gesture recognition) is a diffi...