5754 search results - page 799 / 1151 » Multi-class Model M |
157
click to vote
CHES
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. It has recently been shown that logic circuits in the implementation of cryptographic algorithms, although protected by “secure” random masking schemes, leak side-cha...
160
click to vote
FOSSACS
2005
Springer
16 years 10 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
215
click to vote
KNINVI
2005
Springer
16 years 9 days ago
2005
Springer
Information visualization has been a research topic for many years, leading to a mature field where guidelines and practices are well established. Knowledge visualization, in contr...
184
click to vote
NOSSDAV
2005
Springer
16 years 8 days ago
2005
Springer
Packet loss can severely impact streaming video quality. Repair techniques protect streaming video from packet loss but at the price of a reduced effective transmission rate when...
193
Voted
TACAS
2005
Springer
16 years 8 days ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...