4609 search results - page 457 / 922 » Automatic Generation of Sigma-Protocols |
200
click to vote
EUROMICRO
2007
IEEE
15 years 8 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
145
click to vote
LREC
2008
15 years 8 months ago
2008
We report on an on-going research project aimed at increasing the range of translation equivalents which can be automatically discovered by MT systems. The methodology is based on...
158
click to vote
PDPTA
2007
15 years 8 months ago
2007
- In this paper we experiment with two optimization techniques we are considering implementing in a parallelizing compiler that generates parallel code for a distributed-memory sys...
147
click to vote
ACL
2004
15 years 8 months ago
2004
This paper describes an empirical study of the "Information Synthesis" task, defined as the process of (given a complex information need) extracting, organizing and inte...
241
click to vote
BXML
2004
15 years 8 months ago
2004
Abstract: Engineering personalized ubiquitous Web applications requires to develop adaptable Web content as well as to automatically adjust it to varying client devices and dynamic...