950 search results - page 119 / 190 » Process Algebra in PVS |
172
click to vote
ICWS
2008
IEEE
15 years 7 months ago
2008
IEEE
BPEL (Business Process Execution Language) has become the standard for specifying and executing workflow specifications for web service composition invocation. A major weakness of ...
164
click to vote
FAC
2002
15 years 6 months ago
2002
Action calculi, which generalise process calculi such as Petri nets, -calculus and ambient calculus, have been presented in terms of action graphs. We here offer linear action grap...
282
click to vote
VLDB
2006
ACM
16 years 6 months ago
2006
ACM
While the information published in the form of XML-compliant documents keeps fast mounting up, efficient and effective query processing and optimization for XML have now become mor...
254
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
The Pathfinder XQuery compiler has been enhanced by a new code generator that can target any SQL:1999-compliant relational database system (RDBMS). This code generator marks an im...
163
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
Until recently, issues in image retrieval have been handled in DBMSs and in computer vision as separate research works. Nowadays, the trend is towards integrating the two approach...