2106 search results - page 50 / 422 » Operational Semantics for MSC'96 |
FSTTCS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Conventional semantics for shared-variable concurrency suffers from the “grain of time” problem, i.e., the necessity of specifying a default level of atomicity. We pr...
CIBSE
2009
ACM
15 years 4 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
COLCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
—During collaborative writing each author works on a copy of the shared document. These copies are then merged to produce the final document. This asynchronous work is supported...
POPL
2012
ACM
13 years 5 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
SRDS
2000
IEEE
15 years 2 months ago
2000
IEEE
Reliable multicast protocols can strongly simplify the design of distributed applications. However, it is hard to sustain a high multicast throughput when groups are large and het...