3228 search results - page 278 / 646 » Computationally Sound Proofs |
149
click to vote
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem pro...
128
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
We present an interactive system, Mixxx, for live DJ'ing using digital sound files. The design of the system is approached from two directions: Through Contextual Design usin...
109
Voted
IUI
2004
ACM
15 years 10 months ago
2004
ACM
Complex systems abound in nature and are becoming increasingly important in artificial systems. The understanding and controlling of such systems is a major challenge. This paper ...
166
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
134
Voted
EUROSEC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we propose a sound methodology to perform the forensic analysis of hard disks protected with whole-disk encryption software, supposing to be in possession of the app...