1301 search results - page 136 / 261 » Specifications via Realizability |
100
Voted
EDO
2000
Springer
15 years 7 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
128
Voted
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
We present the tool Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance). In Sycraft, a distributed fault-intolerant program is specified in terms of a set of processes and ...
113
Voted
CONEXT
2008
ACM
15 years 5 months ago
2008
ACM
A foundational issue underlying many overlay network applications ranging from routing to peer-to-peer file sharing is that of connectivity management, i.e., folding new arrivals ...
109
Voted
ECTEL
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Educational researchers need to exchange and compare their learnerinteraction data in order to benefit the learning science community as a whole. In order to support this...
126
Voted
ESANN
2004
15 years 5 months ago
2004
The role of dendritic spines in neuronal information processing is still not completely clear. However, it is known that spines can change shape rapidly during development and duri...