5961 search results - page 917 / 1193 » Design Science and Software Engineering |
168
click to vote
ASE
2004
15 years 3 months ago
2004
The construction of interactive server-side Web applications differs substantially from the construction of traditional interactive programs. In contrast, existing Web programming...
136
click to vote
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
Continuously running systems require kernel software updates applied to them without downtime. Facilitating fast reboots, or delaying an update may not be a suitable solution in m...
124
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
138
click to vote
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
GEGICK, MICHAEL CHARLES. Predicting Attack-prone Components with Source Code Static Analyzers. (Under the direction of Laurie Williams). No single vulnerability detection techniqu...
139
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
It is difficult to write device drivers. One factor is that writing low-level code for accessing devices and manipulating their registers is tedious and error-prone. For many syst...