2878 search results - page 232 / 576 » Analyzing the Uses of a Software Modeling Tool |
160
click to vote
ECSCW
2001
15 years 8 months ago
2001
The field of molecular biology is in a remarkably rapid period of change, as the genome sequencing projects and new experimental technologies have generated an explosion of data To...
234
Voted
CAV
2004
Springer
16 years 15 hour ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
199
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By de...
168
click to vote
WSC
2001
15 years 8 months ago
2001
This document talks about the usage of Simulation Data Exchange (SDX) (Moorthy 1999) in order to enable a consistent digital model of automotive factories. The scope of the digita...
163
click to vote
BIBM
2007
IEEE
16 years 29 days ago
2007
IEEE
Thousands of biochemical interactions are available for download from curated databases such as Reactome, Pathway Interaction Database and other sources in the Biological Pathways...