12774 search results - page 304 / 2555 » A Framework for Proof Systems |
156
click to vote
ESOP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
178
click to vote
LPAR
2007
Springer
16 years 26 days ago
2007
Springer
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
183
click to vote
CACM
2010
15 years 4 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
155
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
The paper presents a method to integrate parallelism in the DIPLIB sequential image processing library. The library contains several framework functions for di erent types of opera...
196
click to vote
EPIA
2001
Springer
15 years 11 months ago
2001
Springer
Organisations can be defined as a set of entities regulated by mechanisms of social order and created by more or less autonomous actors to achieve common goals. Multi-agent systems...