5451 search results - page 771 / 1091 » Typed Operational Semantics |
147
click to vote
OOPSLA
2007
Springer
16 years 12 days ago
2007
Springer
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...
175
click to vote
TARK
2007
Springer
16 years 12 days ago
2007
Springer
In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of so...
160
click to vote
WEBDB
2007
Springer
16 years 12 days ago
2007
Springer
Publish/subscribe (or pub/sub) systems perform asynchronous message transmission, from publishers to subscribers, without any of the parties having knowledge of the other. The pub...
193
click to vote
SMI
2006
IEEE
16 years 9 days ago
2006
IEEE
One of the challenges in geometry processing is to automatically reconstruct a higher-level representation from raw geometric data. For instance, computing a parameterization of a...
144
click to vote
TRIDENTCOM
2006
IEEE
16 years 9 days ago
2006
IEEE
: The lack of a unified control plane does not allow current optical networks to dynamically provision new optical paths. The IETF standardization body has proposed the Generalized...