5639 search results - page 1001 / 1128 » Timed Abstract Non-interference |
120
Voted
PREMI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Technological advances in experimental and computational molecular biology have revolutionized the whole fields of biology and medicine. Large-scale sequencing, expressio...
121
Voted
SSS
2005
Springer
15 years 7 months ago
2005
Springer
We present simple algorithms for achieving self-stabilizing location management and routing in mobile ad-hoc networks. While mobile clients may be susceptible to corruption and sto...
131
click to vote
SPAA
2004
ACM
15 years 7 months ago
2004
ACM
Page migration is one of the fundamental subproblems in the framework of data management in networks. It occurs in a distributed network of processors sharing one indivisible memo...
102
click to vote
DEXA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The ever-increasing popularity of peer-to-peer (P2P) systems provides a strong motivation for designing a dependable P2P system. Dependability in P2P systems can be viewe...
133
click to vote
FLOPS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This article is a brief and subjective survey of quantum programming language research. 1 Quantum Computation Quantum computing is a relatively young subject. It has its ...