2558 search results - page 480 / 512 » Model Composition Contracts |
105
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
112
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
153
click to vote
SMI
2010
IEEE
14 years 11 months ago
2010
IEEE
Panoramic projections are often defined by the geometric surfaces used to derive the projections' equations (e.g., spherical and cylindrical panoramas). The parameterization o...
156
click to vote
CVPR
2010
IEEE
14 years 11 months ago
2010
IEEE
Watching a reflection in a glass window, one can often observe a multi-layered image consisting of a frontsurface reflection from the glass and a rear-surface reflection through t...
128
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...