5084 search results - page 323 / 1017 » Proving Possibility Properties |
158
click to vote
CONCUR
1997
Springer
15 years 11 months ago
1997
Springer
We study properties of asynchronous communication independently of any concrete concurrent process paradigm. We give a general-purpose, mathematically rigorous definition of sever...
169
Voted
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
The notion of a bilattice was rst proposed by Ginsberg as a general framework for many applications. This notion was further investigated and applied for various goals by Fitting....
173
click to vote
SI3D
1992
ACM
15 years 10 months ago
1992
ACM
In this paper, we present techniques for integratingconstraint and direct manipulation approaches to geometric modeling. Direct manipulation positioning techniques are augmented t...
192
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Current algorithms cannot be used optimally in (semi)automatic ontology matching tasks as envisioned by the Semantic Web community, mainly because of the inherent dependency betwee...
136
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
This thesis addresses the problem of source quality changes in Data Integration Systems. Its main goal is to propose techniques for maintaining as much as possible the satisfaction...