Sciweavers

167 search results - page 9 / 34
» Comparing Two Notions of Simulatability
Sort
View
DKE
2008
88views more  DKE 2008»
13 years 7 months ago
Quantifying process equivalence based on observed behavior
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service matc...
Ana Karla Alves de Medeiros, Wil M. P. van der Aal...
SACRYPT
2004
Springer
143views Cryptology» more  SACRYPT 2004»
14 years 1 months ago
Blockwise Adversarial Model for On-line Ciphers and Symmetric Encryption Schemes
Abstract. This paper formalizes the security adversarial games for online symmetric cryptosystems in a unified framework for deterministic and probabilistic encryption schemes. On...
Pierre-Alain Fouque, Antoine Joux, Guillaume Poupa...
CORR
2002
Springer
95views Education» more  CORR 2002»
13 years 7 months ago
Value Based Argumentation Frameworks
In many cases of disagreement it is impossible to demonstrate that either party is wrong. The role of argument in such cases is to persuade rather than refute. Following Perelman, ...
Trevor J. M. Bench-Capon
TSE
2002
119views more  TSE 2002»
13 years 7 months ago
Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology
Although there has been recent research into ways to design environments that enable end users to create their own programs, little attention has been given to helping these end u...
Margaret M. Burnett, Andrei Sheretov, Bing Ren, Gr...
AINA
2008
IEEE
14 years 2 months ago
Protein Structure Comparison and Alignment Using Residue Contexts
We introduce a method for comparing protein structures using the notion of residue contexts based on protein Cα-atom backbones. The residue context is derived from the set of vec...
Tobias Sayre, Rahul Singh