14190 search results - page 2637 / 2838 » Abstractions for hybrid systems |
206
click to vote
SACMAT
2005
ACM
16 years 24 days ago
2005
ACM
As a major component of any host, or network operating system, access control mechanisms come in a wide variety of forms, each with their individual attributes, functions, methods...
209
click to vote
SIGIR
2005
ACM
16 years 24 days 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...
269
click to vote
AVBPA
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Ensuring the security of medical records is becoming an increasingly important problem as modern technology is integrated into existing medical services. As a consequence...
219
click to vote
CD
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
183
click to vote
CHARME
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...