Sciweavers

3384 search results - page 271 / 677
» More Testable Properties
Sort
View
AO
2007
77views more  AO 2007»
15 years 6 months ago
A precise model for contextual roles: The programming language ObjectTeams/Java
A number of proposals exist how to support the concept of roles at the level of programming languages. While some of these proposals indeed exhibit very promising properties, the c...
Stephan Herrmann
AUTOMATICA
2008
92views more  AUTOMATICA 2008»
15 years 6 months ago
Generic uniform observability analysis for bilinear systems
In this paper, we study the property of generic uniform observability for structured bilinear systems. More precisely, to check whether or not a structured bilinear system generic...
T. Boukhobza
BIB
2007
82views more  BIB 2007»
15 years 6 months ago
High-throughput modeling and analysis of protein structural dynamics
Protein function is a dynamic property closely related to the conformational mechanisms of protein structure in its physiological environment. To understand and control the functi...
Xiong Liu, Hassan A. Karimi
CGF
2010
115views more  CGF 2010»
15 years 6 months ago
Visualization and Analysis-Oriented Reconstruction of Material Interfaces
Reconstructing boundaries along material interfaces from volume fractions is a difficult problem, especially because the under-resolved nature of the input data allows for many co...
Jeremy S. Meredith, Hank Childs
CCR
2008
86views more  CCR 2008»
15 years 6 months ago
An Integrated Model of Traffic, Geography and Economy in the Internet
Modeling Internet growth is important both for understanding the current network and to predict and improve its future. To date, Internet models have typically attempted to explai...
Petter Holme, Josh Karlin, Stephanie Forrest