216 search results - page 34 / 44 » Modeling and Automated Containment of Worms |
DAC
2002
ACM
14 years 8 months ago
2002
ACM
Since software is playing an increasingly important role in systemon-chip, retargetable compilation has been an active research area in the last few years. However, the retargetti...
TOOLS
2009
IEEE
14 years 2 months ago
2009
IEEE
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
SIGIR
2005
ACM
14 years 1 months ago
2005
ACM
We consider classification of email messages as to whether or not they contain certain “email acts”, such as a request or a commitment. We show that exploiting the sequential ...
SEMWEB
2005
Springer
2005
Springer
Definitions Management: A Semantics-Based Approach for Clinical Documentation in Healthcare Delivery
14 years 1 months ago
Structured Clinical Documentation is a fundamental component of the healthcare enterprise, linking both clinical (e.g., electronic health record, clinical decision support) and adm...