Sciweavers

11066 search results - page 1777 / 2214
» Linearity in Process Languages
Sort
View
171
Voted
EMISA
2004
Springer
16 years 6 days ago
On the Modeling of Correct Service Flows with BPEL4WS
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
Manfred Reichert, Stefanie Rinderle, Peter Dadam
FQAS
2004
Springer
91views Database» more  FQAS 2004»
16 years 6 days ago
On the Discovery of the Semantic Context of Queries by Game-Playing
In: Proceedings of the Sixth International Conference On Flexible Query Answering Systems (FQAS-04), Springer-Verlag LNAI 3055, pp. 203-216. c 2004 by Springer-Verlag. To model qu...
Alessandro Agostini, Paolo Avesani
220
Voted
ICCS
2004
Springer
16 years 5 days ago
Data Driven Design Optimization Methodology Development and Application
The Data Driven Design Optimization Methodology (DDDOM) is a Dynamic Data Driven Application System (DDDAS) developed for engineering design optimization. The DDDOM synergizes expe...
H. Zhao, D. Knight, E. Taskinoglu, V. Jovanovic
186
Voted
ICLP
2004
Springer
16 years 5 days ago
Multi-agent Coordination as Distributed Logic Programming
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
David Robertson
IFIP
2004
Springer
16 years 5 days ago
ATV: An Efficient Method for Constructing a Certification Path
: Constructing a certification path is the mainly method of validating a certificate at given time. The established path will consist of all the valid certificates that reside betw...
Omar Batarfi
« Prev « First page 1777 / 2214 Last » Next »