Sciweavers

3199 search results - page 391 / 640
» Variability in Automation System Models
Sort
View
208
Voted
LOPSTR
2007
Springer
16 years 26 days ago
Snapshot Generation in a Constructive Object-Oriented Modeling Language
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
Mauro Ferrari, Camillo Fiorentini, Alberto Momigli...
ASPDAC
2007
ACM
123views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Creating Explicit Communication in SoC Models Using Interactive Re-Coding
Communication exploration has become a critical step during SoC design. Researchers in the CAD community have proposed fast and efficient techniques for comprehensive design space ...
Pramod Chandraiah, Junyu Peng, Rainer Dömer
JCS
2002
103views more  JCS 2002»
15 years 6 months ago
Toward Cost-Sensitive Modeling for Intrusion Detection and Response
Intrusion detection systems (IDSs) must maximize the realization of security goals while minimizing costs. In this paper, we study the problem of building cost-sensitive intrusion...
Wenke Lee, Wei Fan, Matthew Miller, Salvatore J. S...
GIS
2009
ACM
16 years 1 months ago
A salience-based approach for the modeling of landscape descriptions
While conventional GIS maps have long been a privileged way for the integration and diffusion of geographical information, novel forms of representation and description of urban ...
Jean-Marie Le Yaouanc, Eric Saux, Christophe Clara...
VR
2009
IEEE
228views Virtual Reality» more  VR 2009»
16 years 1 months ago
Natural Eye Motion Synthesis by Modeling Gaze-Head Coupling
Due to the intrinsic subtlety and dynamics of eye movements, automated generation of natural and engaging eye motion has been a challenging task for decades. In this paper we pres...
Xiaohan Ma, Zhigang Deng