Sciweavers

6018 search results - page 328 / 1204
» Factored Translation Models
Sort
View
IDEAS
2003
IEEE
100views Database» more  IDEAS 2003»
16 years 1 days ago
Querying XML Data by the Nested Relational Sequence Database System
In this concise paper, we present the Nested Relational Sequence Model (NRSM), which is an extension of the Nested Relational Data Model in order to handle XML data. We also intro...
Ho Lam Lau, Wilfred Ng
IPPS
1999
IEEE
15 years 11 months ago
Optimally Scaling Permutation Routing on Reconfigurable Linear Arrays with Optical Buses
We present an optimal and scalable permutation routing algorithm for three reconfigurable models based on linear arrays that allow pipelining of information through an optical bus...
Jerry L. Trahan, Anu G. Bourgeois, Ramachandran Va...
EDOC
2006
IEEE
15 years 10 months ago
An Event-Driven Workflow Engine for Service-based Business Systems
This paper discusses a novel implementation of a workflow engine that supports service-based applications. The applications are defined according to the GAT model, which is an eve...
Julian Jang, Alan Fekete, Paul Greenfield, Surya N...
JSW
2007
126views more  JSW 2007»
15 years 6 months ago
Supporting UML Sequence Diagrams with a Processor Net Approach
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
Tony Spiteri Staines
BSL
1999
103views more  BSL 1999»
15 years 6 months ago
The logic of bunched implications
We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...
Peter W. O'Hearn, David J. Pym