2935 search results - page 265 / 587 » An Integrated Approach to High Integrity Software Verificati... |
173
click to vote
ICDCSW
2005
IEEE
16 years 7 days ago
2005
IEEE
Alerting for Digital Libraries (DL) is an important and useful feature for the library users. To date, two independent services and a few publisher-hosted proprietary services hav...
184
click to vote
ICDCS
1996
IEEE
15 years 10 months ago
1996
IEEE
: Software capabilities are a very convenient means to protect co-operating applications. They allow access rights to be dynamically exchanged between mutually suspicious interacti...
180
click to vote
USS
2010
15 years 4 months ago
2010
Software Fault Isolation (SFI) is an effective approach to sandboxing binary code of questionable provenance, an interesting use case for native plugins in a Web browser. We prese...
163
click to vote
HICSS
2006
IEEE
16 years 20 days ago
2006
IEEE
— System software strongly relies on the availability of static as well as dynamic adaptation techniques. With AspectOriented Programming (AOP) it is now possible to adapt even p...
171
click to vote
GCC
2004
Springer
16 years 11 hour ago
2004
Springer
Services are usually developed and deployed independently; and systems can be formed by composing relevant services to achieve set goals. In such an open and dynamic environment, s...