4067 search results - page 432 / 814 » Programs for Applying Symmetries |
162
click to vote
JAVA
1999
Springer
15 years 11 months ago
1999
Springer
As Java technology matures, an increasing number of applications that have traditionally been the domain of languages such as C++ are implemented in Java. Many of these applicatio...
159
click to vote
ISSTA
1996
ACM
15 years 11 months ago
1996
ACM
In assessing the quality of software, we would like to make engineering judgements similar to those based on statistical quality control. Ideally, we want to support statements li...
187
click to vote
IFIP
1989
Springer
15 years 10 months ago
1989
Springer
The designation “fault tolerant software” has been used for techniques ranging from roll-back and retry to N-version programming, from data mirroring to functional redundancy....
146
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Current implementations for aspect-oriented programming languages map the aspect-oriented concepts of source programs to object-oriented bytecode. This hinders execution environme...
193
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
We describe the formalization of a correctness proof for a conflict detection algorithm for firewalls in the Coq Proof Assistant. First, we give formal definitions in Coq of a fir...