Sciweavers

5904 search results - page 289 / 1181
» Requirements for a Composition Language
Sort
View
SAC
2010
ACM
15 years 11 months ago
CNL4DSA: a controlled natural language for data sharing agreements
A Data Sharing Agreement (DSA) is an agreement among contracting parties regulating how they share data. A DSA represents a flexible mean to assure privacy of data exchanged on t...
Ilaria Matteucci, Marinella Petrocchi, Marco Luca ...
COORDINATION
2007
Springer
15 years 10 months ago
A Prolog-Based Language for Workflow Programming
Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow syste...
Steve Gregory, Martha Paschali
143
Voted
APLAS
2006
ACM
15 years 10 months ago
Proof Abstraction for Imperative Languages
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
William L. Harrison
CIVR
2004
Springer
161views Image Analysis» more  CIVR 2004»
15 years 10 months ago
The CLEF Cross Language Image Retrieval Track (ImageCLEF) 2004
Abstract. In this paper we describe ImageCLEF1, the cross language image retrieval track of the Cross Language Evaluation Forum (CLEF3). We instigated and ran a pilot experiment in...
Paul Clough, Mark Sanderson, Henning Müller
127
Voted
ICFP
1999
ACM
15 years 9 months ago
Principals in Programming Languages: A Syntactic Proof Technique
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
Steve Zdancewic, Dan Grossman, J. Gregory Morriset...