238 search results - page 36 / 48 » Covering Codes for Hats-on-a-line |
POPL
1994
ACM
15 years 1 months ago
1994
ACM
In this paper we present techniques to nd subsets of nodes of a owgraph that satisfy the followingproperty: A test set that exercises all nodes in a subset exercises allnodes in t...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Recently we had proposed two untraceability protocols for mobile agents and began investigating their quality. We believe that quality evaluation of security protocols should exte...
DSN
2004
IEEE
15 years 1 months ago
2004
IEEE
If we limit the contact rate of worm traffic, can we alleviate and ultimately contain Internet worms? This paper sets out to answer this question. Specifically, we are interested ...
VAMOS
2010
Springer
14 years 11 months ago
2010
Springer
Feature models are a common way to represent variability in software product line engineering. For this purpose, most authors use a graphical notation based on FODA. The main drawb...
66
Voted
LREC
2008
14 years 11 months ago
2008
West African languages are written with alphabets that comprize non classical Latin characters. It is possible to design virtual keyboards which allow the writing of such special ...