Sciweavers

2960 search results - page 107 / 592
» The Culture Based Model: Constructing a Model of Culture
Sort
View
HICSS
2003
IEEE
179views Biometrics» more  HICSS 2003»
15 years 11 months ago
JUMBL: A Tool for Model-Based Statistical Testing
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
Stacy J. Prowell
DNA
2006
Springer
143views Bioinformatics» more  DNA 2006»
15 years 8 months ago
A Framework for Modeling DNA Based Molecular Systems
Recent successes in building large scale DNA nanostructures and in constructing DNA nanomechanical devices have inspired scientists to design more complex nanoscale systems. The de...
Sudheer Sahu, Bei Wang, John H. Reif
MODELS
2007
Springer
16 years 11 days ago
A Metamodel-Based Approach for Analyzing Security-Design Models
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
David A. Basin, Manuel Clavel, Jürgen Doser, ...
ISORC
2006
IEEE
16 years 7 days ago
Interaction-Based Behavior Modeling of Embedded Software using UML 2.0
Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of...
Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae
WSC
2008
15 years 8 months ago
PLCStudio: Simulation based PLC code verification
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
Sang C. Park, Chang Mok Park, Gi-Nam Wang, Jonggeu...