Sciweavers

33356 search results - page 289 / 6672
» Models of Continual Computation
Sort
View
CN
2007
179views more  CN 2007»
15 years 6 months ago
Protecting host-based intrusion detectors through virtual machines
: Intrusion detection systems continuously watch the activity of a network or computer, looking for attack or intrusion evidences. However, hostbased intrusion detectors are partic...
Marcos Laureano, Carlos Maziero, Edgard Jamhour
SIAMSC
2008
133views more  SIAMSC 2008»
15 years 6 months ago
Numerical Variational Methods Applied to Cylinder Buckling
We review and compare different computational variational methods applied to a system of fourth order equations that arises as a model of cylinder buckling. We describe both the di...
Jirí Horák, Gabriel J. Lord, Mark A....
SAC
2002
ACM
15 years 6 months ago
Simulating evolutionary agent communities with OOCSMP
This paper describes some extensions added to the continuous simulation language OOCSMP to perform agent-oriented simulation. The extensions are tested by simulating the evolution...
Manuel Alfonseca, Juan de Lara
QEST
2005
IEEE
16 years 6 days ago
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
YoungMin Kwon, Gul A. Agha
LREC
2010
186views Education» more  LREC 2010»
15 years 8 months ago
WITcHCRafT: A Workbench for Intelligent exploraTion of Human ComputeR conversaTions
We present Witchcraft, an open-source framework for the evaluation of prediction models for spoken dialogue systems based on interaction logs and audio recordings. The use of Witc...
Alexander Schmitt, Gregor Bertrand, Tobias Heinrot...