2172 search results - page 382 / 435 » Building Modern Distributed Systems |
ASE
2008
13 years 9 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
SIGIR
2002
ACM
13 years 8 months ago
2002
ACM
Previews and overviews of large, heterogeneous information resources help users comprehend the scope of collections and focus on particular subsets of interest. For narrative docu...
ICDE
2003
IEEE
14 years 10 months ago
2003
IEEE
In this paper, we describe a system called XomatiQ to address the problem of integration, querying and correlation of biological data. XomatiQ is an integral part of the genomics ...
CHI
2002
ACM
14 years 9 months ago
2002
ACM
There have been many attempts to support awareness and lightweight interactions using video and audio, but few have been built on widely available infrastructure. Text-based syste...
PERCOM
2003
ACM
14 years 8 months ago
2003
ACM
Abstract. We present our results of the conceptual design and the implementation of ubiquitous computing applications using smart identification technologies. First, we describe su...