2863 search results - page 516 / 573 » Constructing minimum-interference networks |
106
click to vote
DAS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper presents a study of 25 structural features extracted from samples of grapheme `th' that correspond to features commonly used by forensic document examiner...
158
click to vote
DCOSS
2008
Springer
15 years 3 months ago
2008
Springer
We present the first local approximation schemes for maximum independent set and minimum vertex cover in unit disk graphs. In the graph model we assume that each node knows its geo...
125
click to vote
FMICS
2008
Springer
15 years 2 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
133
click to vote
FORMATS
2008
Springer
15 years 2 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
132
click to vote
ICISC
2008
15 years 2 months ago
2008
We propose a number of techniques for securing finite state machines (FSMs) against fault injection attacks. The proposed security mechanisms are based on physically unclonable fun...