7890 search results - page 406 / 1578 » The MathSAT 3 System |
180
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
: Visual Cryptography is a secret sharing scheme that uses the human visual system to perform computations. This paper presents a recursive hiding scheme for 3 out of 5 secret shar...
160
click to vote
DM
2008
15 years 6 months ago
2008
Let G be the set that contains precisely the graphs on n vertices with maximum degree 3 for which there exists a 4-cycle system of their complement in Kn. In this paper G is compl...
171
click to vote
CACM
1998
15 years 6 months ago
1998
rigorous, and abstract— clearly defined and generally agreed—type inheritance model. To quote an article by Taivalsaari: “The basic idea of inheritance is quite simple ... [a...
120
click to vote
SE
2007
15 years 8 months ago
2007
: Die konventionelle, benutzungsorientierte Prüfung der Qualität von Software konzentriert sich aufs Testen des Systemverhaltens unter regulären Bedingungen. Der vorliegende Bei...
182
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a CPU scheduling algorithm, called Energy-efficient Utility Accrual Algorithm (or EUA), for battery-powered, embedded real-time systems. We consider an embedded softwar...