3108 search results - page 395 / 622 » The Elements of Computer Credibility |
182
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
172
click to vote
ATVA
2007
Springer
16 years 22 days ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
172
click to vote
EUROCRYPT
2007
Springer
16 years 21 days ago
2007
Springer
We consider the standard secure multi-party multiplication protocol due to M. Rabin. This protocol is based on Shamir’s secret sharing scheme and it can be viewed as a practical ...
182
click to vote
MEMOCODE
2006
IEEE
16 years 17 days ago
2006
IEEE
The theory of latency-insensitive design (LID) was recently invented to cope with the time closure problem in otherwise synchronous circuits and programs. The idea is to allow the...
168
click to vote
ICALT
2005
IEEE
16 years 4 days ago
2005
IEEE
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...