3192 search results - page 407 / 639 » Translating Model Simulators to Analysis Models |
162
click to vote
ATVA
2007
Springer
15 years 10 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...
123
click to vote
AP2PC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The newscast model is a general approach for communication in large agent-based distributed systems. The two basic services— membership management and information disse...
135
click to vote
ISER
2000
Springer
15 years 8 months ago
2000
Springer
: Scout II, an autonomous four-legged robot with only one actuator per compliant leg is described. We demonstrate the need to model the actuators and the power source of the robot ...
143
click to vote
IACR
2011
14 years 4 months ago
2011
—This paper proposes a novel fault-propagation pattern based differential fault analysis method - FPP-DFA, and proves its feasibility on SPN structure block ciphers using bitwise...
149
click to vote
MOBIHOC
2008
ACM
16 years 4 months ago
2008
ACM
A key challenge of routing in delay tolerant networks (DTNs) is to find routes that have high delivery rates and low endto-end delays. When oracles are not available for future co...