5604 search results - page 599 / 1121 » Becoming Increasingly Reliable |
215
click to vote
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
As the useful life expectancy of software continues to increase, the task of maintaining the source code has become the dominant phase of the software life-cycle. In order to impr...
187
Voted
IPCCC
2006
IEEE
16 years 1 months ago
2006
IEEE
In recent years, malicious software (malware) has become one of the most insidious threats in computer security. However, this is arguably not the result of increased sophisticati...
203
Voted
ISPD
2005
ACM
16 years 24 days ago
2005
ACM
In the nanometer VLSI technology, the variation effects like manufacturing variation, power supply noise, temperature etc. become very significant. As one of the most vital nets...
212
Voted
IFL
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
210
click to vote
KR
2004
Springer
16 years 18 days ago
2004
Springer
Abstract The emerging area of intelligent unmanned aerial vehicle (UAV) research has shown rapid development in recent years and offers a great number of research challenges for ar...