1523 search results - page 54 / 305 » Partially ordered secretaries |
64
Voted
USS
2008
15 years 2 months ago
2008
Implementation-level vulnerabilities are a persistent threat to the security of computing systems. We propose using the results of partially-successful verification attempts to pl...
98
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract— In recent years, classical discrete event fault diagnosis techniques have been extended to Petri Net system models under partial order semantics [8], [9], [13]. In [14]...
93
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
84
Voted
ICDAR
2009
IEEE
15 years 7 months ago
2009
IEEE
The partial copy is a kind of copy produced by cropping parts of original materials. Illegal users often use this technique for plagiarizing copyrighted materials. In addition, or...
89
Voted
PEPM
1993
ACM
15 years 4 months ago
1993
ACM
Applications of partial evaluation have so far mainly focused on generation of compilers from interpreters for programming languages. We partially evaluate a simple general LR(k) ...