4757 search results - page 573 / 952 » Monads for Functional Programming |
200
Voted
AUSAI
2004
Springer
16 years 4 days ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
157
click to vote
CSL
2004
Springer
16 years 4 days ago
2004
Springer
Set constraints are a useful formalism for verifying properties of programs. Usually, they are interpreted over the universe of finite terms. However, some logic languages allow i...
173
click to vote
ICALP
2004
Springer
16 years 4 days 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...
175
click to vote
ERLANG
2003
ACM
16 years 5 hour ago
2003
ACM
We present a user-oriented description of features and characteristics of the High Performance Erlang (HiPE) native code compiler, which nowadays is part of Erlang/OTP. In particu...
176
click to vote
FCT
2003
Springer
15 years 12 months ago
2003
Springer
: In this paper a comparison is provided between the membrane computing systems and the graphical interfaces of operating systems. A membrane computing system is a computing model ...