533 search results - page 57 / 107 » Automated Management of Inter-Organisational Applications |
CADE
2005
Springer
14 years 9 months ago
2005
Springer
We present the theory and implementation of a theorem prover for first-order intuitionistic linear logic based on the inverse method. The central proof-theoretic insights underlyin...
BPM
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Service Oriented Architecture (SOA) forms an ideal infrastructure for Business Process Management as applications are invoked using standard interfaces and protocols. Aut...
SIGUCCS
2003
ACM
14 years 2 months ago
2003
ACM
The University of Delaware has a powerful legacy SIS system. The University plans to replace this system in 2004-05. In the meantime, we have populated WebCT rosters using custom ...
WETICE
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper describes the architecture and concept of operation of a Framework for Adaptive Process Modeling and Execution (FAME). The research addresses the absence of robust meth...
GIS
2002
ACM
13 years 9 months ago
2002
ACM
In mobile field data collection, data gatherer requires to get geospatial information service to support in navigating to the right locations, describing context of observed objec...