2679 search results - page 154 / 536 » Experimental Models for Validating Technology |
113
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: High-throughput technologies have led to a new era of proteomics. Although protein microarray experiments are becoming more common place there are a variety of experim...
163
click to vote
IJES
2006
15 years 3 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
118
click to vote
CAD
2011
Springer
14 years 10 months ago
2011
Springer
Limitations of current 3D acquisition technology often lead to polygonal meshes exhibiting a number of geometrical and topological defects which prevent them from widespread use. ...
ICIW
2009
IEEE
15 years 10 months ago
2009
IEEE
Security of web servers has become a sensitive subject today. Prediction of normal and abnormal request is problematic due to large number of false alarms in many anomaly based In...
146
Voted
SEKE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...