6583 search results - page 370 / 1317 » Semantic Analysis Patterns |
139
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
197
click to vote
ECMDAFA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
129
click to vote
IPM
2008
15 years 4 months ago
2008
ct 9 In this paper, a new novelty detection approach based on the identification of sentence level information patterns is 10 proposed. First, ``novelty'' is redefined ba...
226
Voted
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a method for embedding and detection of visual watermark patterns in printed images that use clustered-dot halftones in the printing process. The method allows two inde...
126
click to vote
ASIAN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...