422 search results - page 27 / 85 » On Modal Refinement and Consistency |
144
click to vote
IGIS
1994
15 years 8 months ago
1994
The basic concept for processing spatial joins consists of two steps: First, the spatial join is performed on the minimum bounding rectangles of the objects by using a spatial acce...
169
click to vote
PR
2006
15 years 4 months ago
2006
Fusing the scores of several biometric systems is a very promising approach to improve the overall system's accuracy. Despite many works in the literature, it is surprising t...
146
click to vote
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
136
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
131
click to vote
BNCOD
2009
15 years 5 months ago
2009
The vision of dataspaces has been articulated as providing various of the benefits of classical data integration, but with reduced upfront costs, combined with opportunities for in...