Sciweavers

9888 search results - page 171 / 1978
» compute 2009
Sort
View
RTSS
2009
IEEE
16 years 25 days ago
Verifying Tolerant Systems Using Polynomial Approximations
Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh ...
TRUST
2009
Springer
16 years 21 days ago
Measuring Semantic Integrity for Remote Attestation
Fabrizio Baiardi, Diego Cilea, Daniele Sgandurra, ...
WOLLIC
2009
Springer
16 years 21 days ago
The Arrow Calculus as a Quantum Programming Language
Juliana Kaizer Vizzotto, André Rauber Du Bo...
120
Voted
IICS
2009
Springer
16 years 20 days ago
Enabling Social Media Content Quality Assurance using SNA
Maria-Amparo Sanmateu, Matthias Trier, Andreas Red...
SOCASE
2009
Springer
16 years 19 days ago
Mechanism Design for Task Procurement with Flexible Quality of Service
Enrico H. Gerding, Kate Larson, Alex Rogers, Nicho...