4609 search results - page 367 / 922 » Automatic Generation of Sigma-Protocols |
164
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
This demo presents an extension of a declarative language for specifying data-intensive Web applications. We demonstrate a scenario extracted from a real-life application, the Web...
144
click to vote
ICIDS
2009
Springer
16 years 1 months ago
2009
Springer
We report on the progress we have achieved in development of Emohawk, a 3D virtual reality application with an emergent narrative for teaching high-school students and undergraduat...
132
click to vote
ICMCS
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper details the design of an algorithm for automatically manipulating the important aesthetic element of video, visual tempo. Automatic injection, detection and repair of s...
152
click to vote
EUROPAR
2004
Springer
16 years 4 days ago
2004
Springer
The APART working group is developing the APART Test Suite (ATS) for evaluating (automatic) performance analysis tools with respect to their correctness – that is, their ability...
194
click to vote
METAINFORMATICS
2004
Springer
16 years 3 days ago
2004
Springer
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...