ICDT 2009 - PDF Preprint Papers

ICDT 2009 International Conference on Digital Telecommunications

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ICDT-2009 Paper

100

click to vote

ICDT
2009
ACM

248views Database» more ICDT 2009»

Automatic verification of data-centric business processes

15 years 1 months ago

Download db.ucsd.edu

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 ...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	248	Automatic verification of data-centric business processes	claim
2	198	Consistent query answering under primary keys: a characterization of tractable queries	claim
3	175	Structural characterizations of schema-mapping languages	claim
4	173	Containment of conjunctive queries on annotated relations	claim
5	166	A compositional framework for complex queries over uncertain data	claim
6	150	Optimizing user views for workflows	claim
7	149	Query languages for data exchange: beyond unions of conjunctive queries	claim
8	148	Tight results for clustering and summarizing data streams	claim
9	147	The average-case complexity of counting distinct elements	claim
10	143	Automatic construction of simple artifact-based business processes	claim
11	135	Repair checking in inconsistent databases: algorithms and complexity	claim
12	135	On approximating optimum repairs for functional dependency violations	claim
13	130	Towards a theory of search queries	claim
14	129	Faster join-projects and sparse matrix multiplications	claim
15	128	Efficient asymmetric inclusion between regular expression types	claim
16	127	A logical account of uncertain databases based on linear logic	claim
17	125	How big must complete XML query languages be?	claim
18	121	Optimal splitters for database partitioning with size bounds	claim
19	121	Automatic verification of database-driven systems: a new frontier	claim
20	119	Analysis of sampling techniques for association rule mining	claim
21	119	Querying data sources that export infinite sets of views	claim
22	119	Incremental XPath evaluation	claim
23	109	TOP-K projection queries for probabilistic business processes	claim
24	108	A compositional query algebra for second-order logic and uncertain databases	claim
25	105	Efficient data structures for range-aggregate queries on trees	claim
26	85	Reconcilable differences	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers