Handbook of theoretical computer science (vol. B)
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Relational transducers for electronic commerce
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
On the automatic generation of workflow processes based on product structures
Computers in Industry
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
XL: an XML programming language for web service specification and composition
Proceedings of the 11th international conference on World Wide Web
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
IEEE Intelligent Systems
Realizable and Unrealizable Specifications of Reactive Systems
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
Semantical Considerations on Workflows: An Algebra for Intertask Dependencies
DBLP-5 Proceedings of the Fifth International Workshop on Database Programming Languages
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Synthesizing Distributed Systems
LICS '01 Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science
Dynamic XML documents with distribution and replication
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Semantic correctness of transactions and workflows
Semantic correctness of transactions and workflows
Proceedings of the 13th international conference on World Wide Web
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Yoo-Hoo!: building a presence service with XQuery and WSDL
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Specification and verification of data-driven web services
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
A verifier for interactive, data-driven web applications
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Rule-based workflow management for bioinformatics
The VLDB Journal — The International Journal on Very Large Data Bases
Trust but verify: authorization for web services
SWS '04 Proceedings of the 2004 workshop on Secure web service
Verification of communicating data-driven web services
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
BPEL4WS-based coordination of Grid Services in design
Computers in Industry - Special issue: Collaborative environments for concurrent engineering
Deterministic Simulation of a NFA with k---Symbol Lookahead
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Minimum-cost delegation in service composition
Theoretical Computer Science
Discovering semantic associations among Web services based on the qualitative probabilistic network
Expert Systems with Applications: An International Journal
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
Implementing rigorous web services with process algebra: navigation plan for web services
Proceedings of the 2009 ACM symposium on Applied Computing
Static analysis of active XML systems
ACM Transactions on Database Systems (TODS)
Towards web services composition based on the mining and reasoning of their causal relationships
APWeb/WAIM'07 Proceedings of the joint 9th Asia-Pacific web and 8th international conference on web-age information management conference on Advances in data and web management
A framework towards enhancing trust and authorisation for e-commerce service
International Journal of Internet Technology and Secured Transactions
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Failure analysis for composition of web services represented as labeled transition systems
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Journal of Automata, Languages and Combinatorics
Modeling web services based on the bayesian network
ASIAN'05 Proceedings of the 10th Asian Computing Science conference on Advances in computer science: data management on the web
Data and application integration in learning content management systems: a web services approach
EC-TEL'06 Proceedings of the First European conference on Technology Enhanced Learning: innovative Approaches for Learning and Knowledge Sharing
Web service composition using markov decision processes
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Composition of services with nondeterministic observable behavior
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
QoS-Driven web service composition with inter service conflicts
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Hi-index | 0.00 |