2979 search results - page 192 / 596 » Modelling secure multiagent systems |
205
click to vote
CSFW
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
158
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We present an agent-based system for modeling, analyzing and reasoning in the maritime domain with the emphasis on detecting, anticipating and preventing illegitimate activities, ...
176
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Process–aware information systems (PAIS) must provide sufficient flexibility to their users to support a broad spectrum of application scenarios. As a response to thi...
198
click to vote
SP
1999
IEEE
15 years 10 months ago
1999
IEEE
Intrusion detection systems rely on a wide variety of observable data to distinguish between legitimate and illegitimate activities. In this paper we study one such observable-seq...
172
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
This paper describes a case study and design flow of a secure embedded system called ThumbPod, which uses cryptographic and biometric signal processing acceleration. It presents t...