948 search results - page 123 / 190 » Integrating Trust into Grid Resource Management Systems |
211
click to vote
CADE
1998
Springer
15 years 10 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 ...
200
Voted
HPDC
2003
IEEE
15 years 11 months ago
2003
IEEE
Increasingly, scalable distributed applications are being constructed by integrating reusable components spanning multiple administrative domains. Dynamic composition and deployme...
184
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...
178
click to vote
LCTRTS
2007
Springer
16 years 6 days ago
2007
Springer
Embedded systems serve an emerging and diverse set of applications. As a result, more computational and storage capabilities are added to accommodate ever more demanding applicati...
153
Voted
ICCS
2009
Springer
15 years 10 months ago
2009
Springer
This article introduces the Interactive Network concept and describes the design and implementation of the first prototype. In an Interactive Network humans become an integral par...