3091 search results - page 528 / 619 » The Color Between Two Others |
135
click to vote
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
133
Voted
ACMICEC
2007
ACM
15 years 7 months ago
2007
ACM
We investigate two challenges advance of e-commerce creates for traditional practice of travel distribution. First, we explore whether travel providers benefit from strategically ...
112
click to vote
CHES
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper we describe two differential fault attack techniques against Advanced Encryption Standard (AES). We propose two models for fault occurrence; we could find a...
138
Voted
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...
165
click to vote
ECCV
2008
Springer
15 years 5 months ago
2008
Springer
3D surface matching is fundamental for shape registration, deformable 3D non-rigid tracking, recognition and classification. In this paper we describe a novel approach for generati...