Sciweavers

4666 search results - page 534 / 934
» Equations on Timed Languages
Sort
View
PPPJ
2006
ACM
16 years 1 months ago
Mapping clouds of SOA- and business-related events for an enterprise cockpit in a Java-based environment
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...
Daniel Jobst, Gerald Preissler
DASFAA
2005
IEEE
177views Database» more  DASFAA 2005»
16 years 1 months ago
SemEQUAL: Multilingual Semantic Matching in Relational Systems
In an increasingly multilingual world, it is critical that information management tools organically support the simultaneous use of multiple natural languages. A pre-requisite for ...
A. Kumaran, Jayant R. Haritsa
HICSS
2005
IEEE
111views Biometrics» more  HICSS 2005»
16 years 1 months ago
Specifying Web Service Recovery Support with Conversations
Web services offer a number of valuable features towards supporting the development of open distributed systems, built out of the composition of autonomous services. Nonetheless, ...
Ferda Tartanoglu, Valérie Issarny
SAC
2005
ACM
16 years 1 months ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
ATAL
2005
Springer
16 years 1 months ago
OWL-P: OWL for protocol and processes
We describe OWL-P (OWL for Processes and Protocols), a methodology and software tool for specifying and enacting interaction protocols among autonomous agents. We use the Web Onto...
Ashok U. Mallya, Nirmit Desai, Amit K. Chopra, Mun...