Sciweavers

2496 search results - page 239 / 500
» Error-detecting properties of languages
Sort
View
BPM
2006
Springer
149views Business» more  BPM 2006»
15 years 8 months ago
Verifying BPEL Workflows Under Authorisation Constraints
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
Zhao Xiangpeng, Antonio Cerone, Padmanabhan Krishn...
DOLAP
2005
ACM
15 years 8 months ago
Modeling, querying and reasoning about OLAP databases: a functional approach
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...
Ken Q. Pu
ESOP
2008
Springer
15 years 8 months ago
Semi-persistent Data Structures
A data structure is said to be persistent when any update operation returns a new structure without altering the old version. This paper introduces a new notion of persistence, cal...
Sylvain Conchon, Jean-Christophe Filliâtre
ACL
2007
15 years 8 months ago
Generalizing Tree Transformations for Inductive Dependency Parsing
Previous studies in data-driven dependency parsing have shown that tree transformations can improve parsing accuracy for specific parsers and data sets. We investigate to what ex...
Jens Nilsson, Joakim Nivre, Johan Hall
EACL
2010
ACL Anthology
15 years 8 months ago
Attribute-Centric Referring Expression Generation
The premise of the work presented in this chapter is that much of the existing work on the generation of referring expressions has focused on aspects of the problem that appear to ...
Robert Dale, Jette Viethen