4476 search results - page 871 / 896 » A flexible framework for engineering |
PPDP
2009
Springer
15 years 5 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
EICS
2009
ACM
15 years 5 months ago
2009
ACM
The Open Interface Development Environment (OIDE) was developed as part of the OpenInterface (OI) platform, an open source framework for the rapid development of multimodal intera...
84
Voted
SACMAT
2009
ACM
15 years 5 months ago
2009
ACM
While many role mining algorithms have been proposed in recent years, there lacks a comprehensive study to compare these algorithms. These role mining algorithms have been evaluat...
71
Voted
SIGIR
2009
ACM
15 years 5 months ago
2009
ACM
Crawl selection policy has a direct influence on Web search effectiveness, because a useful page that is not selected for crawling will also be absent from search results. Yet th...
95
Voted
MICRO
2008
IEEE
15 years 5 months ago
2008
IEEE
—Efficient sharing of system resources is critical to obtaining high utilization and enforcing system-level performance objectives on chip multiprocessors (CMPs). Although sever...