244 search results - page 19 / 49 » Generative Operational Semantics for Relaxed Memory Models |
128
click to vote
MMM
2005
Springer
15 years 8 months ago
2005
Springer
Users of multimedia applications today are equipped with a variety of different (mobile) devices that each come with different operating systems, memory and CPU capabilities, netw...
125
click to vote
JSW
2007
15 years 2 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
126
Voted
FAC
2010
15 years 1 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
ENTCS
2007
15 years 2 months ago
2007
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
123
click to vote
FLAIRS
2006
15 years 3 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...