1128 search results - page 105 / 226 » Little Engines of Proof |
84
Voted
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
101
click to vote
TEAA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Todays data stream management systems (DSMSs) lack security functionality. Based on adversary scenarios we show how a DSMS architecture can be protected. We sketch a gene...
93
Voted
ARCS
2004
Springer
15 years 6 months ago
2004
Springer
: We introduce the concept of an operating system for platforms that consist beside memory and peripheral devices of FPGAs as the only computational resource. Applications can be d...
105
click to vote
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
Extreme Programming (XP) is an agile software development methodology composed of several practices that purportedly yield high quality and high customer satisfaction. However, th...
103
Voted
SEKE
2004
Springer
15 years 6 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...