15792 search results - page 234 / 3159 » Computational Abstraction Steps |
216
click to vote
ESORICS
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
242
click to vote
VLSM
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Given an image, digital matting consists in extracting a foreground element from the background. Standard methods are initialized with a trimap, a partition of the image ...
177
click to vote
EDOC
2002
IEEE
16 years 4 days ago
2002
IEEE
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. To this end, we advoc...
200
click to vote
SSDBM
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract. As scientists continue to migrate their work to computational methods, it is important to track not only the steps involved in the computation but also the data consumed ...
171
click to vote
GROUP
1999
ACM
15 years 11 months ago
1999
ACM
Process descriptions are used in workflow and related systems to describe the flow of work and organisational responsibility in business processes, and to aid in coordination. How...