3844 search results - page 424 / 769 » Modular interpreted systems |
156
click to vote
CONCUR
2001
Springer
15 years 10 months ago
2001
Springer
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of th...
140
click to vote
CSL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
133
click to vote
ICAIL
1999
ACM
15 years 10 months ago
1999
ACM
In this paper, we describe an evaluation framework for legal information systems. The framework is based on knowledge criteria. We distinguish four belief types, viz. perceptual b...
167
click to vote
KES
1999
Springer
15 years 10 months ago
1999
Springer
A shape specification system based on fuzzy logic is proposed, which aims to facilitate designers in conceptual design stage by allowing them to specify and work with rough models...
349
click to vote
CRW
1998
Springer
15 years 10 months ago
1998
Springer
In most multiagent systems with communicating agents, the agents have the luxury of using reliable, multi-step negotiation protocols. They can do so primarily when communication i...