63 search results - page 4 / 13 » MapShaper.org: A Map Generalization Web Service |
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
PPPJ
2006
ACM
14 years 1 months ago
2006
ACM
This paper is about business process management (BPM) and business activity monitoring (BAM) using event processing. We will show why the management of business processes is impor...
WER
2007
Springer
14 years 1 months ago
2007
Springer
Since 1996, the core Use Case Map (UCM) notation has remained remarkably stable. As the structure and intent of workflow and scenario languages are very similar, UCMs have been ap...
APWEB
2007
Springer
14 years 1 months ago
2007
Springer
We present in this paper a system for the management of geographic databases from mobile devices. The architecture of the system is extensible in the sense that it can be adapted t...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
Major research challenges in discovering Web services include, provisioning of services across multiple or heterogeneous registries, differentiating between services that share si...