2296 search results - page 150 / 460 » The Expressive Power of Synchronizations |
176
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...
173
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
In ebXML the choreography of a business process should be modeled by UMM (UN/CEFACT Modeling Methodology) and is finally expressed in BPSS (Business Process Specification Schema). ...
160
click to vote
GCSE
2000
Springer
15 years 10 months ago
2000
Springer
Combinations of C++ features, like inheritance, templates, and class nesting, allow for the expression of powerful component patterns. In particular, research has demonstrated that...
168
click to vote
IFL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The paper presents several analyses to detect non-deterministic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and t...
126
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Control of networks like those for transportation, power distribution, communication to name a few, provides challenges to planning and scheduling. Many problems can be defined in ...