24554 search results - page 186 / 4911 » Dependable distributed systems |
162
click to vote
DC
2010
15 years 6 months ago
2010
It is considered good distributed computing practice to devise object implementations that tolerate contention, periods of asynchrony and a large number of failures, but perform f...
153
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
Developing automatable methods for proving termination of term rewrite systems that resist traditional techniques based on simplification orders has become an active research area ...
168
click to vote
MKM
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...
171
click to vote
EUROMICRO
2011
IEEE
14 years 6 months ago
2011
IEEE
Sensornets are being widely proposed as a solution technology in a wide number of applications, e.g. health care. As part of this work some key challenges for the safety and senso...
187
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Randomness is inherent to biochemistry: at each instant, the sequence of reactions that fires is a matter of chance. Some biological systems exploit such randomness, choosing betw...