2935 search results - page 532 / 587 » An Integrated Approach to High Integrity Software Verificati... |
198
click to vote
ICSE
2012
IEEE-ACM
13 years 6 months ago
2012
IEEE-ACM
—Integrated Development Environments (IDEs) have come to perform a wide variety of tasks on behalf of the programmer, refactoring being a classic example. These operations have u...
125
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
A computationally enhanced message contains some embedded programmatic components that are interpreted and executed automatically upon receipt. Unlike ordinary text email or insta...
143
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
The number and the importance of web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
158
click to vote
PPPJ
2006
ACM
15 years 10 months ago
2006
ACM
The JavaTM programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platfo...
143
click to vote
ARCS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Vehicle handling and control is an essential aspect of intelligent driver assistance systems, a building block of the upcoming generation of "smart cars". A car...