288 search results - page 41 / 58 » Model Checking the World Wide Web |
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
Common Language Infrastructure, or CLI, is a standardized virtual machine, which increasingly becomes popular on a wide range of platforms. In this paper we developed three I/O-in...
ECWEB
2001
Springer
14 years 1 months ago
2001
Springer
As XML has become an emerging standard for information exchange on the World Wide Web, it has gained attention in database communities to extract information from XML seen as a dat...
HT
2000
ACM
14 years 29 days ago
2000
ACM
Many techniques exist for analyzing information domains in preparation for systems design. No systematic technique exists, however, for analyzing a system or domain in terms of it...
NAR
1998
13 years 8 months ago
1998
Pfam contains multiple alignments and hidden Markov model based profiles (HMM-profiles) of complete protein domains. The definition of domain boundaries, family members and alignm...
NAR
1998
13 years 8 months ago
1998
The RNA editing process in protozoan parasites is controlled by small RNA molecules known as guide RNAs (gRNAs). The gRNA database is a comprehensive compilation of published guid...