Sciweavers

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