5255 search results - page 843 / 1051 » Formal Methods for Privacy |
147
click to vote
CAV
2007
Springer
16 years 21 days ago
2007
Springer
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...
149
click to vote
CAV
2007
Springer
16 years 21 days ago
2007
Springer
lued Abstraction for Continuous-Time Markov Chains⋆ Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 RWTH Aachen University1 , TU Munich2 , University of...
171
click to vote
ECOOP
2007
Springer
16 years 21 days ago
2007
Springer
Object-oriented languages define the identity of an object to be an address-based object identifier. The programmer may customize the notion of object identity by overriding the ...
177
click to vote
ICWE
2007
Springer
16 years 20 days ago
2007
Springer
In recent years, innovation in technologies such as web services, business process automation, etc., have motivated a new paradigm in the application development field to appear, k...
175
click to vote
IPMI
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We propose a novel algorithm called graph-shifts for performing image segmentation and labeling. This algorithm makes use of a dynamic hierarchical representation of the ...