371 search results - page 46 / 75 » Pushdown Automata Simulator |
113
click to vote
IEEECIT
2010
IEEE
15 years 12 days ago
2010
IEEE
The quality of the numeric simulation of hybrid systems highly depends on the capability of the simulator to detect discrete events during continuous evolutions. Due to the intera...
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
There is a growing concern on anonymity and privacy on the Internet, resulting in lots of work on formalization and verification of anonymity. Especially, importance of probabilis...
116
click to vote
TASE
2009
IEEE
15 years 8 months ago
2009
IEEE
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...
133
Voted
CEEMAS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...
113
click to vote
MSV
2004
15 years 3 months ago
2004
- We present a model describing the electrical behavior of the heart tissue. Previous research in this field have studied this problem using PDEs (Partial Differential Equations) a...