Sciweavers

18090 search results - page 35 / 3618
» Computing by Only Observing
Sort
View
SAC
2005
ACM
14 years 2 months ago
Real-time task scheduling anomaly: observations and prevention
Ya-Shu Chen, Li-Pin Chang, Tei-Wei Kuo, Aloysius K...
ECCC
2010
98views more  ECCC 2010»
13 years 7 months ago
Verifying Computations with Streaming Interactive Proofs
Applications based on outsourcing computation require guarantees to the data owner that the desired computation has been performed correctly by the service provider. Methods based...
Graham Cormode, Justin Thaler, Ke Yi
BIRTHDAY
2008
Springer
13 years 10 months ago
Observability Concepts in Abstract Data Type Specification, 30 Years Later
ility concepts in abstract data type specification, 30 years later Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburg...
Donald Sannella, Andrzej Tarlecki