3713 search results - page 496 / 743 » Constructing a Calculus of Programs |
138
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...
114
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
Many processes can be seen as transformations of tree-like data structures. In compiler construction, for example, we continuously manipulate trees and perform tree transformations...
138
click to vote
IEEEPACT
2002
IEEE
15 years 9 months ago
2002
IEEE
Optimizations performed at link time or directly applied to final program executables have received increased attention in recent years. Such low-level optimizations can benefit...
131
click to vote
CIE
2010
Springer
15 years 8 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
129
click to vote
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes two recently developed intrusion detection algorithms, and gives experimental results on their performance. The algorithms detect anomalies in execution audit...