Sciweavers

1324 search results - page 20 / 265
» Process Coordination with Fetch-and-Increment
Sort
View
COORDINATION
2008
Springer
15 years 7 months ago
Formal Analysis of BPMN Via a Translation into COWS
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
Davide Prandi, Paola Quaglia, Nicola Zannone
EACL
2009
ACL Anthology
16 years 6 months ago
A Comparison of Clausal Coordinate Ellipsis in Estonian and German: Remarkably Similar Elision Rules Allow a Language-Independen
We compare the phenomena of clausal coordinate ellipsis in Estonian, a Finno-Ugric language, and German, an Indo-European language. The rules underlying these phenomena appear to ...
Karin Harbusch, Mare Koit, Haldur Oim
ECOWS
2007
Springer
15 years 10 months ago
A Dynamic Reconfigurable Web Service Composition Framework Using Reo Coordination Language
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
Soheil Saifipoor, Behrouz Tork Ladani, Naser Nemat...
WETICE
2007
IEEE
16 years 7 days ago
Data-Driven Design of Engineering Processes with COREPROModeler
Enterprises increasingly demand IT support for the coordination of their engineering processes, which often consist of hundreds up to thousands of sub-processes. From a technical ...
Dominic Müller, Manfred Reichert, Joachim Her...
COORDINATION
2009
Springer
16 years 6 months ago
High-Performance Transactional Event Processing
This paper presents a transactional framework for low-latency, high-performance, concurrent event processing in Java. At the heart of our framework lies Reflexes, a restricted prog...
Antonio Cunei, Rachid Guerraoui, Jesper Honig Spri...