Sciweavers

4343 search results - page 666 / 869
» Replication Techniques for Availability
Sort
View
DAGSTUHL
2004
15 years 8 months ago
Removing Cycles in Esterel Programs
Abstract. Synchronous programs may contain cyclic signal interdependencies. This prohibits a static scheduling, which limits the choice of available compilation techniques for such...
Jan Lukoschus, Reinhard von Hanxleden
CORIA
2006
15 years 8 months ago
On Combining Text and MeSH Searches to Improve the Retrieval of MEDLINE documents
The MEDLINE database is the world largest repository of bio-medical abstracts. It is a central information entry point for most biologists despite the growing availability of full-...
Fabrice Camous, Stephen Blott, Alan F. Smeaton
CSREAEEE
2006
148views Business» more  CSREAEEE 2006»
15 years 8 months ago
Realising RosettaNet PIP Compositions as Web Service Orchestrations - A Case Study
A world of ever growing competition not only forces enterprises to continuously optimise their private business processes but also to integrate their business processes with their ...
Andreas Schönberger, Guido Wirtz
DAGSTUHL
2006
15 years 8 months ago
Choreography Conformance Checking: An Approach based on BPEL and Petri Nets
Abstract Recently, languages such as BPEL and CDL have been proposed to describe the way services can interact from a behavioral perspective. The emergence of these languages heral...
Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang...
EPK
2006
114views Management» more  EPK 2006»
15 years 8 months ago
Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
Stefan Denne