4609 search results - page 489 / 922 » Automatic Generation of Sigma-Protocols |
161
click to vote
CAISE
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a peer-to-peer approach to execution of BPEL processes. It does not pre-allocate resources as in existing decentralized approaches. Nor does it involve global c...
177
click to vote
CMMR
2007
Springer
16 years 1 months ago
2007
Springer
This paper discusses musical form from a cognitive and a computational viewpoint. While several time-windows exist in the brain, we here put emphasis on the superchunks of up to mo...
216
click to vote
ICADL
2007
Springer
16 years 1 months ago
2007
Springer
Digital libraries have untapped potential for supporting language teaching and learning. This paper describes a new scheme for automating topicspecific language learning using a sp...
134
Voted
COMPSAC
2006
IEEE
16 years 28 days ago
2006
IEEE
The jGRASP lightweight IDE provides object viewers that automatically generate dynamic, statebased visualizations of objects and primitive variables in Java. Multiple synchronized...
155
click to vote
ICMCS
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper, we introduce the design of a Personalized Education (PE) search approach that employs multiple ontologies to automatically generate queries for educational resource...