2148 search results - page 288 / 430 » Responsiveness in Process Calculi |
SOSP
2003
ACM
15 years 7 months ago
2003
ACM
Recently, there has been considerable interest in providing “trusted computing platforms” using hardware — TCPA and Palladium being the most publicly visible examples. In th...
99
Voted
SOSP
2007
ACM
15 years 7 months ago
2007
ACM
We present Zyzzyva, a protocol that uses speculation to reduce the cost and simplify the design of Byzantine fault tolerant state machine replication. In Zyzzyva, replicas respond...
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
Many successful models for scene or object recognition transform low-level descriptors (such as Gabor filter responses, or SIFT descriptors) into richer representations of interme...
108
click to vote
IUI
2010
ACM
15 years 5 months ago
2010
ACM
We describe a code reuse tool for use in the Looking Glass IDE, the successor to Storytelling Alice [17], which enables middle school students with little to no programming experi...
FASE
2010
Springer
15 years 5 months ago
2010
Springer
Good resource scheduling plays a pivotal role in successful software development projects. However, effective resource scheduling is complicated by such disruptions as requirements...