3868 search results - page 141 / 774 » A Distributed Parallel Programming Framework |
134
click to vote
ECOOPW
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents a reflective architecture and an implemented prototype that supports aspect oriented programming in Smalltalk. The aspects are metaobjects which are weaved dyn...
101
click to vote
ECOOPW
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...
93
Voted
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
In the theoretical framework of graph embedding and network emulations, we show that the index-shuffle graph (a bounded-degreehypercube-like interconnection network, recently intr...
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...
106
Voted
SP
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...