1213 search results - page 101 / 243 » Traceability for System Families |
112
Voted
ITP
2010
15 years 4 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
65
Voted
HCI
2007
15 years 2 months ago
2007
We discuss the privacy issues related to the design of systems that disclose information about emotions to remote acquaintances, without simultaneous communication: users do not ch...
USENIX
2000
15 years 2 months ago
2000
JEmacs is a re-implementation of the Emacs programmable text editor. It is written in Java, and uses the Swing GUI toolkit. Emacs is based on the extension language Emacs Lisp (El...
89
Voted
INDOCRYPT
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. From several decades, non-adjacent form (NAF) representations for integers have been extensively studied as an alternative to the usual binary number system where digits ...
138
click to vote
FDTC
2010
Springer
14 years 10 months ago
2010
Springer
Fault injections constitute a major threat to the security of embedded systems. The errors in the cryptographic algorithms have been shown to be extremely dangerous, since powerful...