Search Sciweavers | Sciweavers

1005 search results - page 8 / 201

» Patterns for Refinement Automation

click to vote

SAC
2004
ACM

124views Applied Computing» more SAC 2004»

Guiding motif discovery by iterative pattern refinement

14 years 27 days ago

Download bio.informatics.indiana.edu

In this paper, we demonstrate that the performance of a motif discovery algorithm can be significantly improved by embedding it into a novel framework that effectively guides the ...

Zhiping Wang, Mehmet M. Dalkilic, Sun Kim

claim paper

Read More »

click to vote

CCS
2008
ACM

138views Security Privacy» more CCS 2008»

Unbounded verification, falsification, and characterization of security protocols by pattern refinement

13 years 9 months ago

Download people.inf.ethz.ch

We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...

Cas J. F. Cremers

claim paper

Read More »

click to vote

EUROPAR
2004
Springer

81views Distributed And Parallel Com...» more EUROPAR 2004»

Efficient Pattern Search in Large Traces Through Successive Refinement

14 years 26 days ago

Download www.cs.utk.edu

Felix Wolf, Bernd Mohr, Jack Dongarra, Shirley Moo...

claim paper

Read More »

click to vote

ESSOS
2009
Springer

112views Software Engineering» more ESSOS 2009»

Pattern-Based Confidentiality-Preserving Refinement

13 years 11 months ago

Download swe.uni-duisburg-essen.de

Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...

Holger Schmidt

claim paper

Read More »

click to vote

DAGSTUHL
2007

92views Software Engineering» more DAGSTUHL 2007»

Complete Characterization of Security Protocols by Pattern Refinement

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers