Sciweavers

329 search results - page 61 / 66
» Communications Semantics for WSBPEL Processes
Sort
View
VLDB
2004
ACM
103views Database» more  VLDB 2004»
14 years 24 days ago
Distributed Set Expression Cardinality Estimation
We consider the problem of estimating set-expression cardinality in a distributed streaming environment where rapid update streams originating at remote sites are continually tran...
Abhinandan Das, Sumit Ganguly, Minos N. Garofalaki...
WMCSA
2003
IEEE
14 years 22 days ago
Application Management Techniques for the Bifrost System
This paper describes the adaptive component migration facility in the Bifrost Location-Independent Computing System. We present a facility that allows mobile clients to selectivel...
Avneesh Bhatnagar, Evan Speight, Dan Crawl, Joseph...
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
14 years 20 days ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
HICSS
2002
IEEE
130views Biometrics» more  HICSS 2002»
14 years 12 days ago
Using the XML-Based Clinical Document Architecture for Exchange of Structured Discharge Summaries
The XML-based Clinical Document Architecture (CDA) for document exchange defines a three-level document architecture with each higher level adding more specificity to the markup o...
Grace I. Paterson, Michael A. Shepherd, Xiaoli Wan...
ICEIS
2000
IEEE
13 years 12 months ago
Syntax-Directed Translation Schemes for Multi-Agent Systems Conversation Modelling
: In modern organisations the monolithic information systems of the past are being gradually replaced by networked systems, enabling distributed computing often based on multi-agen...
Ana L. N. Fred, Joaquim Filipe