Sciweavers

11484 search results - page 544 / 2297
» Modeling in the Large and Modeling in the Small
Sort
View
ISMVL
2003
IEEE
111views Hardware» more  ISMVL 2003»
16 years 13 days ago
Modeling Multi-Valued Circuits in SystemC
The complexity of todays hardware systems steadily increases. Due to this fact new ways of efficiently describing systems are investigated. A very promising approach in this area...
Daniel Große, Görschwin Fey, Rolf Drech...
ATAL
2003
Springer
16 years 12 days ago
Modeling coping behavior in virtual humans: don't worry, be happy
This article builds on insights into how humans cope with emotion to guide the design of virtual humans. Although coping is increasingly viewed in the psychological literature as ...
Stacy Marsella, Jonathan Gratch
ESORICS
2003
Springer
16 years 11 days ago
An Improved Reference Flow Control Model for Policy-Based Intrusion Detection
In this paper, we describe a novel approach to policy-based intrusion detection. The model we propose checks legality of information flows between objects in the system, according...
Jacob Zimmermann, Ludovic Mé, Christophe Bi...
CDC
2009
IEEE
129views Control Systems» more  CDC 2009»
15 years 12 months ago
An algorithm for estimating time-varying commodity price models
— Given the current financial crisis, there is renewed interest in modelling how the price of commodities change in the market. Traditionally, such models have assumed constant ...
Boris I. Godoy, Graham C. Goodwin, Juan C. Agü...
APN
2000
Springer
15 years 11 months ago
Pre- and Post-agglomerations for LTL Model Checking
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
Denis Poitrenaud, Jean-François Pradat-Peyr...