3323 search results - page 455 / 665 » Computational Semantics with Functional Programming |
163
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...
167
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...
183
click to vote
JFPLC
2001
15 years 8 months ago
2001
We propose an environment for musical constraint solving, in the visual programming language OpenMusic. We describe an implementation of a local search algorithm, called adaptive s...
175
click to vote
WSC
2004
15 years 8 months ago
2004
This paper demonstrates the utilization of immersive virtual reality environments in the investigation of operations simulation results. The authors outline the benefits offered b...
165
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
In this paper, we consider a deterministic timed continuous Petri net model where conflicts at places are solved by using stationary routing parameters. We show how to compute the...