4564 search results - page 538 / 913 » Data Integration Using ID-Logic |
153
click to vote
SP
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we propose BIND (Binding Instructions aNd Data),1 a fine-grained attestation service for securing distributed systems. Code attestation has recently received consi...
122
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Formal policies allow the non-ambiguous definition of situations in which usage of certain entities are allowed, and enable the automatic evaluation whether a situation i...
166
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
The problem of business-IT alignment is of widespread economic concern. As one way of addressing the problem, this paper describes an online system that functions as a kind of Wik...
125
Voted
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
Photometric stereo is a method of recovering surface normals (needle map) from images. The surface integral of surface normals is used to reconstruct a depth map; however, the dep...
111
Voted
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...