6775 search results - page 1239 / 1355 » Diagnosis of Active Systems |
178
click to vote
SAC
2005
ACM
15 years 12 months ago
2005
ACM
Many biological information systems rely on relational database management systems (RDBMS) to manage high-throughput biological data. While keeping these data well archived, organ...
156
click to vote
SENSYS
2005
ACM
15 years 12 months ago
2005
ACM
Being embedded in the physical world, sensor networks present a wide range of bugs and misbehavior qualitatively different from those in most distributed systems. Unfortunately, d...
183
click to vote
SIGIR
2005
ACM
15 years 12 months ago
2005
ACM
This paper describes an application of IR and text categorization methods to a highly practical problem in biomedicine, specifically, Gene Ontology (GO) annotation. GO annotation...
180
click to vote
CIKM
2005
Springer
15 years 12 months ago
2005
Springer
Can we use social networks to combat spam? This paper investigates the feasibility of MailRank, a new email ranking and classification scheme exploiting the social communication ...
169
click to vote
ESORICS
2005
Springer
15 years 12 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...