4142 search results - page 683 / 829 » Trusting an Information Agent |
204
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
192
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Advances in sequencing and genotyping technologies are leading to the widespread availability of multi-species variation data, dense genotype data and large-scale rese...
185
click to vote
AIS
2006
Springer
15 years 6 months ago
2006
Springer
Today's computer network technologies are sociologically founded on hunter-gatherer principles; common users may be possible subjects of surveillance and sophisticated Interne...
158
click to vote
IJNSEC
2008
15 years 6 months ago
2008
The nature of the RSA public modulus N as a composite of at least two secret large primes was always considered as a major obstacle facing the RSA function sharing without the hel...
163
click to vote
JITECH
2007
15 years 6 months ago
2007
This case describes the implementation and subsequent failure of an innovative system installed in the bars of Alvalade XXI, the recently built football stadium in Lisbon, Portuga...