5090 search results - page 594 / 1018 » Constructing Strategies for Programming |
176
click to vote
ACSAC
2000
IEEE
15 years 11 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...
157
click to vote
IEEEPACT
2000
IEEE
15 years 11 months ago
2000
IEEE
ÐThis paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a powerful framework to reason about fine-grained parall...
171
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
While Game Semantics has been remarkably successful at g, often in a fully abstract manner, a wide range of features of programming languages, there has to date been no attempt at...
151
click to vote
MM
2000
ACM
15 years 11 months ago
2000
ACM
We have been handling video with supplementary documents, such as cooking programs, and are working on integration of such media. Through the integration, many applications will b...
207
click to vote
ACMMPC
2000
Springer
15 years 11 months ago
2000
Springer
Fixed point calculus is about the solution of recursive equations de˛ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ˛xed ...