Sciweavers

15614 search results - page 80 / 3123
» The State of State
Sort
View
ENTCS
2010
99views more  ENTCS 2010»
15 years 23 days ago
State Based Robustness Testing for Components
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...
Bin Lei, Zhiming Liu, Charles Morisset, Xuandong L...
86
Voted
DSN
2009
IEEE
15 years 7 months ago
Fast memory state synchronization for virtualization-based fault tolerance
Virtualization provides the possibility of whole machine migration and thus enables a new form of fault tolerance that is completely transparent to applications and operating syst...
Maohua Lu, Tzi-cker Chiueh
DOCENG
2008
ACM
15 years 2 months ago
Enabling adaptive time-based web applications with SMIL state
In this paper we examine adaptive time-based web applications (or presentations). These are interactive presentations where time dictates the major structure, and that require int...
Jack Jansen, Dick C. A. Bulterman
112
Voted
TCC
2004
Springer
147views Cryptology» more  TCC 2004»
15 years 6 months ago
Computational Collapse of Quantum State with Application to Oblivious Transfer
Quantum 2-party cryptography differs from its classical counterpart in at least one important way: Given blak-box access to a perfect commitment scheme there exists a secure 1−2...
Claude Crépeau, Paul Dumais, Dominic Mayers...
79
Voted
ORDER
2000
82views more  ORDER 2000»
15 years 14 days ago
Embeddings into Orthomodular Lattices with Given Centers, State Spaces and Automorphism Groups
We prove that, given a nontrivial Boolean algebra B, a compact convex set S and a group G, there is an orthomodular lattice L with the center isomorphic to B, the automorphism grou...
John Harding, Mirko Navara