373 search results - page 32 / 75 » Synthesis of Trigger Properties |
VC
2008
13 years 9 months ago
2008
In real-time animation systems, motion interpolation techniques are widely used for their controllability and efficiency. The techniques sample the parameter space using example mo...
SCN
2011
Springer
13 years 4 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
FPGA
2004
ACM
14 years 3 months ago
2004
ACM
The cost functions used to evaluate logic synthesis transformations for FPGAs are far removed from the final speed and routability determined after placement, routing and timing a...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The quality of a simulator equipped with a haptic interface is given by the dynamical properties of its components: haptic interface, simulator and control system. Some applicatio...
BPM
2008
Springer
13 years 12 months ago
2008
Springer
The paper presents a new method for the synthesis of Petri nets from event logs in the area of Process Mining. The method derives a bounded Petri net that over-approximates the beh...