1756 search results - page 157 / 352 » Current Directions in Hyper-Programming |
128
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...
148
click to vote
SASN
2005
ACM
15 years 9 months ago
2005
ACM
Many emerging applications in both wired and wireless networks, such as information dissemination and distributed collaboration in an adversarial environment, need support of secu...
177
Voted
CADE
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
121
click to vote
RECSYS
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we aim to analyse the current level of usability on ten popular online websites utilising some kind of reputation system. The conducted heuristic and expert evaluat...
158
click to vote
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— A clear deficiency in most of todays Anomaly Intrusion Detection Systems (AIDS) is their inability to distinguish between a new form of legitimate normal behavior and ...