2253 search results - page 217 / 451 » An Approach to Specifying Software Frameworks |
149
Voted
ESORICS
2000
Springer
15 years 8 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
146
click to vote
SIGSOFT
2006
ACM
16 years 5 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
124
click to vote
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
Web-services are supported by a complex software infrastructure that must provide a robust service to the client applications. This practical experience report presents a practica...
132
Voted
WCRE
2007
IEEE
15 years 11 months ago
2007
IEEE
Legacy applications can be difficult and time-consuming to understand and update due to the lack of modern abstraction mechanisms in legacy languages, as well as the gradual dete...
137
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
The critical functionality of many software applications relies on code that performs mathematically complex computations. However, such code is often difficult to test owing to t...