Sciweavers

2269 search results - page 189 / 454
» Behavioral Intrusion Detection
Sort
View
ICSE
2009
IEEE-ACM
16 years 5 months ago
Analyzing critical process models through behavior model synthesis
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
Christophe Damas, Bernard Lambeau, Francois Roucou...
IWINAC
2005
Springer
15 years 10 months ago
Simulation of Orientation Contrast Sensitive Cell Behavior in TiViPE
Many cells in the primary visual cortex respond differently when a stimulus is placed outside their classical receptive field (CRF) compared to the stimulus within the CRF alone,...
Tino Lourens, Emilia I. Barakova
156
Voted
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
15 years 8 months ago
A Behavioral Type Inference System for Compositional System-on-Chip Design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
Jean-Pierre Talpin, David Berner, Sandeep K. Shukl...
EAAI
2008
131views more  EAAI 2008»
15 years 5 months ago
A behavioral multi-agent model for road traffic simulation
Multi-agent systems allow the simulation of complex phenomena that cannot easily be described analytically. Multi-agent approaches are often based on coordinating agents whose act...
Arnaud Doniec, René Mandiau, Sylvain Piecho...
SIGOPS
2010
105views more  SIGOPS 2010»
14 years 11 months ago
SelfTalk for Dena: query language and runtime support for evaluating system behavior
We introduce SelfTalk, a novel declarative language that allows users to query and understand the status of a large scale system. SelfTalk is sufficiently expressive to encode an ...
Saeed Ghanbari, Gokul Soundararajan, Cristiana Amz...