2979 search results - page 215 / 596 » Modelling secure multiagent systems |
183
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
186
click to vote
FLAIRS
2003
15 years 7 months ago
2003
This paper presents a way of improving computerbased with lifelike presence in learning environment. The approach combines Intelligent Tutoring Systems with research on human emot...
150
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
Tuple spaces and the associated Linda language are a popular model for distributed computation, and Law-Governed Linda (LGL) is a variant allowing processes to have differential ...
196
Voted
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
186
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
We are interested in this problem: a verifier, with a small and reliable storage, wants to periodically check whether a remote server is keeping a large file x. A dishonest server,...