Sciweavers

3429 search results - page 211 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
PODC
2010
ACM
15 years 8 months ago
Transactional predication: high-performance concurrent sets and maps for STM
Concurrent collection classes are widely used in multi-threaded programming, but they provide atomicity only for a fixed set of operations. Software transactional memory (STM) pr...
Nathan Grasso Bronson, Jared Casper, Hassan Chafi,...
142
Voted
EPK
2006
107views Management» more  EPK 2006»
15 years 5 months ago
Towards EPC Semantics based on State and Context
: The semantics of the OR-join have been discussed for some time, in the context of EPCs, but also in the context of other business process modeling languages like YAWL. In this pa...
Jan Mendling, Wil M. P. van der Aalst
DATESO
2007
107views Database» more  DATESO 2007»
15 years 5 months ago
Updating Typed XML Documents Using a Functional Data Model
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
Pavel Loupal
FMCO
2004
Springer
120views Formal Methods» more  FMCO 2004»
15 years 9 months ago
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
Einar Broch Johnsen, Olaf Owe
111
Voted
ACL
2010
15 years 2 months ago
Syntactic and Semantic Factors in Processing Difficulty: An Integrated Measure
The analysis of reading times can provide insights into the processes that underlie language comprehension, with longer reading times indicating greater cognitive load. There is e...
Jeff Mitchell, Mirella Lapata, Vera Demberg, Frank...