7080 search results - page 1256 / 1416 » Designing High Integrity Systems Using Aspects |
164
Voted
DAC
2010
ACM
15 years 6 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
200
click to vote
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
Uncertain data arises in a number of domains, including data integration and sensor networks. Top-k queries that rank results according to some user-defined score are an important...
133
Voted
ISCA
2010
IEEE
15 years 8 months ago
2010
IEEE
Continued device scaling enables microprocessors and other systems-on-chip (SoCs) to increase their performance, functionality, and hence, complexity. Simultaneously, relentless s...
131
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
We demonstrate an intelligent personal assistant agent that has been developed to aid a busy knowledge worker in managing time commitments and performing tasks. The PExA agent dra...
94
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Immunoglobulin (IG or antibody) and the T-cell receptor (TR) are pivotal proteins in the immune system of higher organisms. In cancer immunotherapy, the immune respons...