2786 search results - page 153 / 558 » A Practical Technique for Process Abstraction |
109
click to vote
INFOCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— This paper investigates the reliability of applicationlevel multicast based on a distributed hash table (DHT) in a highly dynamic network. Using a node residual lifetim...
PCM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Next generation information appliances are required to handle realtime audio/video playback and in the mean time should be able to handle text based requests such as data...
154
Voted
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
120
Voted
DLOG
2006
15 years 3 months ago
2006
Abstract Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the onto...
103
click to vote
IDA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Microarrays allow biologists to determine the gene expressions for tens of thousands of genes simultaneously, however due to biological processes, the resulting microarra...