Sciweavers

3239 search results - page 372 / 648
» A Logical Process Calculus
Sort
View
CCGRID
2006
IEEE
15 years 10 months ago
Calder Query Grid Service: Insights and Experimental Evaluation
We have architected and evaluated a new kind of data resource, one that is composed of a logical collection of ephemeral data streams that could be viewed as a collection of publi...
Nithya N. Vijayakumar, Ying Liu, Beth Plale
ECAI
2000
Springer
15 years 8 months ago
Turning High-Level Plans into Robot Programs in Uncertain Domains
The actions of a robot like lifting an object are often best thought of as low-level processes with uncertain outcome. A highlevel robot plan can be seen as a description of a task...
Henrik Grosskreutz, Gerhard Lakemeyer
WCRE
1995
IEEE
15 years 7 months ago
Observed Idiosyncracies of Relational Database Designs
Several processes have been advanced in the literature for reverse engineering of relational databases. The inputs to these processes are relational tables and available contextua...
Michael R. Blaha, William J. Premerlani
BPM
2006
Springer
149views Business» more  BPM 2006»
15 years 6 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...
AAAI
1998
15 years 5 months ago
Natural Language Multiprocessing: A Case Study
This paper presents two case studies of parallelization of large Natural Language Processing (NLP) applications using a parallel logic programmingsystem (called "ACE")th...
Enrico Pontelli, Gopal Gupta, Janyce Wiebe, David ...