238 search results - page 47 / 48 » Compositional Proof Methods for Concurrency: A Semantic Appr... |
ICSE
2010
IEEE-ACM
13 years 5 months ago
2010
IEEE-ACM
The development of video games comprises engineering teams within various disciplines, e.g., software engineering, game production, and creative arts. Game jams are a promising ap...
PR
2008
13 years 7 months ago
2008
This paper tackles the problem of surveillance video content modelling. Given a set of surveillance videos, the aims of our work are twofold: firstly a continuous video is segment...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
AISS
2010
13 years 4 months ago
2010
The boom of Service oriented architecture is on substantial rise. SOA developers orchestrate individual SOA objects into web services. It has been a dream of software engineers to...