2700 search results - page 272 / 540 » The role of abstraction in software engineering |
191
click to vote
FOSSACS
2004
Springer
16 years 10 hour ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
164
click to vote
ICFEM
2004
Springer
16 years 1 hour ago
2004
Springer
Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and dischar...
166
click to vote
ICFEM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
166
click to vote
ENTCS
2010
15 years 4 months ago
2010
We present the derivation of a CTMC with levels model of diffusion in cylindrical coordinates partial differential equation for Fick's law. The resulting model abstracts both...
193
click to vote
ENTCS
2010
15 years 4 months ago
2010
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensur...