4609 search results - page 511 / 922 » Automatic Generation of Sigma-Protocols |
186
click to vote
AMOST
2005
ACM
16 years 12 days ago
2005
ACM
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
176
click to vote
GRAPHITE
2004
ACM
16 years 8 days ago
2004
ACM
This paper presents a novel technique for the generation of ‘video textures’ to display human emotion. This is achieved by a method which uses existing video footage to synthe...
196
click to vote
SAC
2004
ACM
16 years 8 days ago
2004
ACM
Web applications have become complex and crucial for many firms, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reen...
151
click to vote
ER
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Deploying process-driven information systems is a time-consuming and error-prone task. Process mining attempts to improve this by automatically generating a process model...
135
click to vote
ISVLSI
2003
IEEE
16 years 3 days ago
2003
IEEE
Abstract— Dissipation in the clock tree and state elements of ASIC designs is often a significant fraction of total energy consumption. We propose a methodology for recovering m...