MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Shiyong Lu" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

27 documents found, showing 1 through 10. Next 10 →

ATOM

AutoFlow: A framework of workflow planning, business rule incorporation and execution
by Shiyong Lu
…AutoFlow: A framework of work ow planning, business rule incorporation and execution Shiyong Lu…
Add To MetaCart

Semantic Correctness of Transactions and Workflows
by Shiyong Lu, Shiyong Lu — 2002
…Semantic Correctness of Transactions and Work ows a dissertation presented by Shiyong Lu…
Cited by 8 (0 self) – Add To MetaCart

Filling a Penny Album
by Shiyong Lu, Steven Skiena — 1999 — in Proc. CHANCE
…Filling a Penny Album Shiyong Lu Steven Skiena Department of Computer Science State University…
Cited by 1 (0 self) – Add To MetaCart

A Formal Framework for Agent Itinerary Specification, Security Reasoning and Logic Analysis
by Shiyong Lu, Cheng-zhong Xu — in Dist. Computing Systems Workshops
… Shiyong Lu Department of Computer Science Wayne State University, Detroit, MI 48202 shiyong…
Cited by 1 (0 self) – Add To MetaCart

Formal Transformation of EER and EXPRESS-G Models
by Z. M. Ma, Shiyong Lu, Farshad Fotouhi
… and Engineering, Oakland University Rochester, MI 48309, USA E-mail: ma@(email omitted); Phone: 248-656 3435 Shiyong Lu…
Add To MetaCart

ERDraw: An XML-based ER-diagram Drawing and Translation Tool
by Shuyun Xu, Yu Li, Shiyong Lu
…@(email omitted); Shiyong Lu Wayne State University Detroit, MI 48202 shiyong@(email omitted); The ER model was introduced as a…
Add To MetaCart

Semantic Conditions for Correctness at Different Isolation Levels
by Arthur Bernstein, Philip Lewis, Shiyong Lu — 2000 — In Proceedings of IEEE International Conference on Data Engineering
…. Lewis, Shiyong Lu Department of Computer Science State University of New York at Stony Brook Stony…
Cited by 9 (1 self) – Add To MetaCart

A Model for Abstract Process Specification, Verification and Composition
by Ziyang Duan, Arthur Bernstein, Philip Lewis, Shiyong Lu — 2004 — In Proceedings of the Second International Conference on Service Oriented Computing (ICSOC’04
…-58113-871-7/04/0011 ...$5.00. Shiyong Lu Department of Computer Science Wayne State University Detroit, Michigan 48202…
Cited by 5 (0 self) – Add To MetaCart

Model Checking the Secure Electronic Transaction (SET) Protocol
by Shiyong Lu, Scott A. Smolka — 1999 — In Proceedings of 7 th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems
…Model Checking the Secure Electronic Transaction (SET) Protocol Shiyong Lu Department of Computer…
Cited by 7 (1 self) – Add To MetaCart

A New Inlining Algorithm for Mapping XML DTDs to Relational Schemas
by Shiyong Lu, Yezhou Sun, Mustafa Atay, Farshad Fotouhi — 2003 — in: Proceedings of the First International Workshop on XML Schema and Data Management, in conjunction with the 22nd ACM International Conference on Conceptual Modeling (ER2003
…A New Inlining Algorithm for Mapping XML DTDs to Relational Schemas Shiyong Lu, Yezhou Sun…
Cited by 10 (7 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB