809 search results - page 127 / 162 » Formal Semantics for the Java Modeling Language |
111
Voted
MOMPES
2008
IEEE
15 years 9 months ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
135
click to vote
AC
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
120
click to vote
ENTCS
2008
15 years 2 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
149
click to vote
DSVIS
2005
Springer
15 years 8 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
115
Voted
SEFM
2007
IEEE
15 years 8 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...