Sciweavers

2477 search results - page 153 / 496
» Object list controlled process data system
Sort
View
ICDT
2009
ACM
248views Database» more  ICDT 2009»
16 years 3 months ago
Automatic verification of data-centric business processes
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
Alin Deutsch, Richard Hull, Fabio Patrizi, Victor ...
ICLP
2010
Springer
15 years 7 months ago
Structured Interactive Musical Scores
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
Mauricio Toro-Bermudez
BMCBI
2006
99views more  BMCBI 2006»
15 years 3 months ago
MAGIC-SPP: a database-driven DNA sequence processing package with associated management tools
Background: Processing raw DNA sequence data is an especially challenging task for relatively small laboratories and core facilities that produce as many as 5000 or more DNA seque...
Chun Liang, Feng Sun, Haiming Wang, Junfeng Qu, Ro...
XSYM
2004
Springer
161views Database» more  XSYM 2004»
15 years 8 months ago
Adjustable Transaction Isolation in XML Database Management Systems
Processing XML documents in multi-user database management environments requires a suitable storage model of XML data, support of typical XML document processing (XDP) interfaces, ...
Michael Peter Haustein, Theo Härder
IJCAI
2007
15 years 4 months ago
Coordination to Avoid Starvation of Bottleneck Agents in a Large Network System
In this paper, we present a multi-agent control method for a large-scale network system. We propose an extension of a token-based coordination technique to improve the tradeoff be...
Rajesh Gautam, Kazuo Miyashita