1742 search results - page 144 / 349 » An Applicative Module Calculus |
107
Voted
CCS
2006
ACM
15 years 4 months ago
2006
ACM
A trusted monotonic counter is a valuable primitive that enables a wide variety of highly scalable offline and decentralized applications that would otherwise be prone to replay a...
94
Voted
ISER
2000
Springer
15 years 4 months ago
2000
Springer
: In the future, we propose that there will be largely self-sufficient robot colonies operating on distant planets and in harsh environments here on earth. A highly desirable quali...
95
Voted
DELOS
2007
15 years 2 months ago
2007
The similarity search has become a fundamental computational task in many applications. One of the mathematical models of the similarity – the metric space – has drawn attenti...
113
Voted
ICWN
2004
15 years 2 months ago
2004
This paper presents a Java service platform and hardware design for a handheld healthcare system that enables remote health monitoring using CDMA public wireless networks. Special...
115
Voted
WISES
2003
15 years 2 months ago
2003
— With the increasing number of embedded computer systems being used in safety critical applications the testing and assessment of a system’s fault tolerance properties become ...