2002 search results - page 240 / 401 » Interactive technical illustration |
136
click to vote
DSN
2008
IEEE
16 years 8 days ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
144
Voted
FGR
2008
IEEE
16 years 8 days ago
2008
IEEE
This paper summarizes a study carried out on data from the Face Recognition Vendor Test 2006 (FRVT 2006). The finding of greatest practical importance is the discovery of a stron...
152
click to vote
HICSS
2008
IEEE
16 years 8 days ago
2008
IEEE
Weblogs are becoming increasingly popular and bloggers desire traffic. This study seeks to give an overall view of weblog systems including factors that affect weblog traffic. Key...
165
click to vote
ICSEA
2008
IEEE
16 years 7 days ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
132
Voted
CEC
2007
IEEE
16 years 5 days ago
2007
IEEE
Abstract— The next generation of embedded computing systems will have to meet new challenges. The systems are expected to act mainly autonomously, to dynamically adapt to changin...