1816 search results - page 286 / 364 » Case study in modeling and simulation validation methodology |
SOPR
1998
14 years 9 months ago
1998
Many organizations provide information technology services, either to external or internal customers. They maintain software, operate information systems, manage and maintain work...
TCAD
2002
14 years 9 months ago
2002
The design of programmable logic architectures and supporting computer-aided design tools fundamentally requires both a good understanding of the combinatorial nature of netlist gr...
BMCBI
2010
14 years 10 months ago
2010
Background: In a time-course microarray experiment, the expression level for each gene is observed across a number of time-points in order to characterize the temporal trajectorie...
GIS
2007
ACM
15 years 3 months ago
2007
ACM
In this paper, we present a technique that generalizes 3D building groups of virtual 3D city models according to a cell structure that is derived from infrastructure networks. In ...
JCS
2006
14 years 9 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...