449 search results - page 90 / 90 » Case Studies in Using a Meta-Method for Formal Method Integr... |
BMCBI
2010
13 years 5 months ago
2010
Background: Drug-drug interactions are frequently reported in the increasing amount of biomedical literature. Information Extraction (IE) techniques have been devised as a useful ...
DAC
2007
ACM
14 years 5 months ago
2007
ACM
Due to shrinking technology, increasing functional frequency and density, and reduced noise margins with supply voltage scaling, the sensitivity of designs to supply voltage noise...
AOSD
2006
ACM
13 years 10 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
EICS
2009
ACM
13 years 9 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...