7452 search results - page 311 / 1491 » A Semantics for Multiprocessor Systems |
156
click to vote
WECWIS
2006
IEEE
16 years 21 days ago
2006
IEEE
Product data integration is an essential issue for many e-commerce interoperable business systems. Core to this issue is how to maintain semantic consistency between heterogeneous...
156
click to vote
FROCOS
2005
Springer
16 years 7 days ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
174
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
Data integration is one of the older research fields in the database area and has emerged shortly after database systems were first introduced into the business world. In this pa...
182
click to vote
ICWSM
2008
15 years 8 months ago
2008
The research described here is part of a larger project with the objective of determining if a writer believes a proposition to be true or false. This task requires a deep underst...
152
click to vote
JOLLI
2006
15 years 6 months ago
2006
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...