Sciweavers

2086 search results - page 139 / 418
» Mathematical Theory Exploration
Sort
View
94
Voted
HICSS
2002
IEEE
95views Biometrics» more  HICSS 2002»
15 years 8 months ago
Simulation Spectrum and Stability Models
In this paper, we define a continuum of modeling styles, ranging from collections of very simple agents on one end to collections of very complex agents at the other end, and a s...
Christopher Landauer
126
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
Steffen Knapp, Wolfgang J. Paul
108
Voted
ECAI
2008
Springer
15 years 5 months ago
Modeling the Dynamics of Mood and Depression
Both for developing human-like virtual agents and for developing intelligent systems that make use of knowledge about the emotional state of the user, it is important to model the ...
Fiemke Both, Mark Hoogendoorn, Michel C. A. Klein,...
143
Voted
DBSEC
2007
106views Database» more  DBSEC 2007»
15 years 5 months ago
Enforcing Honesty in Assured Information Sharing Within a Distributed System
The growing number of distributed information systems such as the internet has created a need for security in data sharing. When several autonomous parties attempt to share data, t...
Ryan Layfield, Murat Kantarcioglu, Bhavani M. Thur...
124
Voted
SEC
2008
15 years 5 months ago
A Fuzzy Model for the Composition of Intrusion Detectors
The performance of an intrusion detector depends on several factors, like its internal architecture and the algorithms it uses. Thus, distinct detectors can behave distinctly when ...
Inez Raguenet, Carlos Maziero