1321 search results - page 111 / 265 » Logic Simulation Using Networks of State Machines |
IJCAI
2007
14 years 11 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...
ICDT
1990
ACM
15 years 2 months ago
1990
ACM
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...
MSN
2005
Springer
15 years 3 months ago
2005
Springer
In mobile wireless sensor networks, sensors move in the monitored area at any direction and at any speed. Unlike many other networking hosts, sensor nodes do not have global addres...
102
click to vote
ATVA
2007
Springer
15 years 4 months ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
ERSHOV
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The token flow semantics of UML 2 activity diagrams is formally defined using Abstract State Machines. Interruptible activity regions and multiplicity bounds for pins are...