254 search results - page 40 / 51 » Binary amiable Words |
85
Voted
ICISC
2008
15 years 11 days ago
2008
This paper proposes a novel technique, called instruction set limitation, to strengthen the resilience of software diversification against collusion attacks. Such attacks require a...
82
Voted
METMBS
2004
15 years 9 days ago
2004
In this thesis we compare several machine learning techniques for evaluating external skeletal fixation proposals. We experimented in the context of dog bone fractures but the pot...
87
Voted
PDPTA
2003
15 years 9 days ago
2003
In this paper, we study the coloring problem for the undirected binary de Bruijn interconnection network. The coloring scheme is simple and fast. We propose the coloring algorithm...
85
Voted
INTERACT
1997
15 years 8 days ago
1997
The current solutions to disclosing privacy in computer-mediated communication are two-fold: either the connection is permitted and an audio-video link is opened providing a full-b...
71
Voted
ENTCS
2006
14 years 11 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...