6149 search results - page 461 / 1230 » Revealing the programming process |
177
click to vote
ECOOP
2004
Springer
16 years 10 days ago
2004
Springer
Mechanisms in AOP (aspect-oriented programming) can be characterized by a JPM (join point model). AOP is effective in unanticipated software evolution because crosscutting concer...
146
click to vote
ICCSA
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. A number of individual bioinformatics applications (particularly BLAST and other sequence searching methods) have recently been implemented over clusters of workstations ...
142
click to vote
APSEC
2002
IEEE
15 years 12 months ago
2002
IEEE
Many automated programming environments construct software by integrating predefined components from a software library. A fundamental challenge in this process is to match the p...
159
click to vote
ICECCS
2000
IEEE
15 years 11 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...
198
click to vote
POPL
2000
ACM
15 years 11 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...