127
Voted
ICFP
16 years 21 days ago
2005 ACM 
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
114
Voted
GPCE
15 years 6 months ago
2005 Springer 
Abstract. This paper presents AOP++, a generic aspect-oriented programming framework in C++. It successfully incorporates AOP with object-oriented programming as well as generic pr...
129
click to vote
SIGADA
15 years 6 months ago
2005 Springer 
Concerns for concurrent systems are not always easy to modularize within single units using traditional programming languages. The concept of aspect orientation can be applied to ...
125
Voted
UM
15 years 6 months ago
2005 Springer
We develop a novel user-centric modeling technology, which can dynamically describe and update a person's expertise profile. In an enterprise environment, the technology can e...
162
Voted
CD
15 years 6 months ago
2005 Springer
Recent studies showed potential for using component frameworks for building flexible adaptible applications for deployment in distributed environments. However this approach is h...
|
Programming Languages