Sciweavers

5414 search results - page 227 / 1083
» Exploratory Model Building
Sort
View
HASE
2007
IEEE
15 years 10 months ago
Model Validation using Automatically Generated Requirements-Based Tests
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
Ajitha Rajan, Michael W. Whalen, Mats Per Erik Hei...
ACSD
2001
IEEE
74views Hardware» more  ACSD 2001»
15 years 10 months ago
From Code to Models
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
Gerard J. Holzmann
ER
2000
Springer
116views Database» more  ER 2000»
15 years 10 months ago
On Business Process Model Transformations
A business process model represents the basic building block for a workflow-enabled enterprise information system. Generally, a process model evolves through numerous changes durin...
Wasim Sadiq, Maria E. Orlowska
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
ACL
2006
15 years 8 months ago
Discriminative Pruning of Language Models for Chinese Word Segmentation
This paper presents a discriminative pruning method of n-gram language model for Chinese word segmentation. To reduce the size of the language model that is used in a Chinese word...
Jianfeng Li, Haifeng Wang, Dengjun Ren, Guohua Li