1237 search results - page 55 / 248 » Strictness and Totality Analysis |
173
click to vote
ICSEA
2008
IEEE
16 years 21 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...
170
click to vote
IROS
2008
IEEE
16 years 21 days ago
2008
IEEE
— KNTU CDRPM is a cable driven redundant parallel manipulator, which is under investigation for possible high speed and large workspace applications. This newly developed mechani...
190
click to vote
ACSAC
2007
IEEE
16 years 19 days ago
2007
IEEE
Usability is the weakest link in the security chain of many prominent applications. A set of security usability principles should therefore be considered when designing and engine...
154
click to vote
GLOBECOM
2007
IEEE
16 years 19 days ago
2007
IEEE
— We analyze the performance of a wireless system that allows opportunistic spectrum sharing. The system consists of a set of primary users sharing a set of channels over a cover...
161
click to vote
CSR
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. How could one estimate the total number of clicks a new advertisement could potentially receive in the current market? This question, called the click volume estimation p...