5672 search results - page 1008 / 1135 » Design techniques for low-power systems |
183
click to vote
PADS
2005
ACM
15 years 12 months ago
2005
ACM
This study presents an analysis of the impact of mitigation on computer worm propagation in Mobile Ad-hoc Networks (MANETS). According to the recent DARPA BAA Defense Against Cybe...
144
click to vote
SAC
2005
ACM
15 years 12 months ago
2005
ACM
In this paper, two of the currently available Web Engineering solutions (UWE and OO-H) are analysed with regard to the question whether websites created with them and their tools ...
146
click to vote
SMA
2005
ACM
15 years 12 months ago
2005
ACM
In an industry project with a German car manufacturer we are faced with the challenge of placing a maximum number of uniform rigid rectangular boxes in the interior of a car trunk...
155
click to vote
ADAEUROPE
2005
Springer
15 years 12 months ago
2005
Springer
Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations in particular. In contrast, explicit support...
158
click to vote
ATVA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...