434 search results - page 31 / 87 » Structural Operational Semantics for Weighted Transition Sys... |
166
click to vote
CC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
FSEN
2009
Springer
15 years 4 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
USENIX
2001
14 years 11 months ago
2001
A conventional file system provides the user with generic structure and semantics for accessing files. The default scheme is sufficient for many applications. However, many applic...
110
click to vote
TII
2008
14 years 9 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
SAC
2009
ACM
15 years 4 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...