Sciweavers

1522 search results - page 80 / 305
» Practical Exception Specifications
Sort
View
CPM
1998
Springer
209views Combinatorics» more  CPM 1998»
15 years 6 months ago
A Fast Bit-Vector Algorithm for Approximate String Matching Based on Dynamic Programming
The approximate string matching problem is to find all locations at which a query of length m matches a substring of a text of length n with k-or-fewer differences. Simple and prac...
Gene Myers
135
Voted
SP
2010
IEEE
190views Security Privacy» more  SP 2010»
14 years 11 months ago
Noninterference through Secure Multi-execution
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
Dominique Devriese, Frank Piessens
BMCBI
2004
146views more  BMCBI 2004»
15 years 1 months ago
The InDeVal insertion/deletion evaluation tool: a program for finding target regions in DNA sequences and for aiding in sequence
Background: The program InDeVal was originally developed to help researchers find known regions of insertion/deletion activity (with the exception of isolated single-base indels) ...
Sierra D. Stoneberg Holt, Jason A. Holt
DPPI
2007
ACM
15 years 5 months ago
Shared moments: opportunities for mobile phones in religious participation
The near ubiquity of mobile phones in the world and in people's lives, have created new opportunities for reinterpretation of what these devices are and what they do. One area...
Rhiannon Sterling, John Zimmerman
ACST
2006
15 years 3 months ago
Experimental study of hybrid-type distributed maximal constraint satisfaction algorithm
A constraint satisfaction problem (CSP) is a general framework that can formalize various application problems in artificial intelligence. However, practical real-world problems t...
Masato Noto, Masahito Kurihara