2935 search results - page 464 / 587 » An Integrated Approach to High Integrity Software Verificati... |
247
Voted
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
The increasing complexity of enterprise databases and the prevalent lack of documentation incur significant cost in both understanding and integrating the databases. Existing solu...
157
Voted
KI
2007
Springer
16 years 4 days ago
2007
Springer
This paper presents a mobile service robot that assists users in biological and pharmaceutical laboratories by carrying out routine jobs such as filling and transportation of micr...
196
click to vote
AICT
2006
IEEE
15 years 8 months ago
2006
IEEE
Fourth Generation (4G) is the next generation of wireless networks that will replace third Generation (3G) networks sometimes in future. 4G is intended to provide high speed, high...
177
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Identifying genes and pathways associated with diseases such as cancer has been a subject of considerable research in recent years in the area of bioinformatics and co...
154
Voted
DATE
2006
IEEE
16 years 1 days ago
2006
IEEE
Ever-increasing integrated circuit (IC) power densities and peak temperatures threaten reliability, performance, and economical cooling. To address these challenges, thermal analy...