Sciweavers

27913 search results - page 219 / 5583
» Simulation
Sort
View
BPM
2007
Springer
142views Business» more  BPM 2007»
15 years 8 months ago
The PiVizTool: Simulating Choreographies with Dynamic Binding
Abstract. This paper presents a tool, the PiVizTool, for the interactive simulation of choreographies. Different participant instances can be added, deleted, and dynamically bound...
Anja Bog, Frank Puhlmann, Mathias Weske
GECCO
2007
Springer
172views Optimization» more  GECCO 2007»
15 years 8 months ago
A simulation of evolved autotrophic reproduction
In this experiment we evolve reproductive behaviors for a simulated vehicle. Future work will employ the resulting behaviors to populate a simulated ecosystem. Categories and Subj...
Correy Allen Kowall, Brian J. Krent
DATE
2006
IEEE
88views Hardware» more  DATE 2006»
15 years 8 months ago
Using conjugate symmetries to enhance gate-level simulations
State machine based simulation of Boolean functions is substantially faster if the function being simulated is symmetric. Unfortunately function symmetries are comparatively rare....
Peter M. Maurer
129
Voted
TCC
2005
Springer
102views Cryptology» more  TCC 2005»
15 years 7 months ago
Handling Expected Polynomial-Time Strategies in Simulation-Based Security Proofs
The standard class of adversaries considered in cryptography is that of strict polynomial-time probabilistic machines. However, expected polynomial-time machines are often also co...
Jonathan Katz, Yehuda Lindell
DELTA
2002
IEEE
15 years 7 months ago
Multi-Level Fault Simulation of Digital Systems on Decision Diagrams
A new method for hierarchical fault simulation based on multi-level Decision Diagrams (DD) is proposed. We suppose that a register transfer (RT) level information along with gate-...
Raimund Ubar, Jaan Raik, Eero Ivask, Marina Brik