4609 search results - page 247 / 922 » Automatic Generation of Sigma-Protocols |
178
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
161
click to vote
IROS
2008
IEEE
16 years 29 days ago
2008
IEEE
— This paper proposes an optimal gait generation framework using virtual constraint and learning optimal control. In this method, firstly, we add a constraint by a virtual poten...
159
click to vote
ICMCS
2006
IEEE
16 years 18 days ago
2006
IEEE
Streaming a lecture video via the Internet is important for Elearning. We have developed a system that generates a lecture video using virtual camerawork based on shooting techniq...
141
click to vote
ACSAC
2005
IEEE
16 years 6 days ago
2005
IEEE
Honeyd [14] is a popular tool developed by Niels Provos that offers a simple way to emulate services offered by several machines on a single PC. It is a so called low interaction ...
161
click to vote
EDO
2005
Springer
16 years 3 days ago
2005
Springer
re connector is an abstraction capturing interactions among components. Apart from middleware independence, connectors provide additional services (e.g., adaptation, synchronizati...