2878 search results - page 362 / 576 » Analyzing the Uses of a Software Modeling Tool |
187
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Mass spectrometry based peptide mass fingerprints (PMFs) offer a fast, efficient, and robust method for protein identification. A protein is digested (usually by tryps...
165
click to vote
EMSOFT
2005
Springer
16 years 4 days ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
167
click to vote
PDC
2004
ACM
16 years 1 days ago
2004
ACM
To compare the outcomes of participatory and user-centered contextual design, case study methods and the Activity Checklist derived from Activity Theory are used to analyze two sy...
186
click to vote
FASE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
186
click to vote
WSC
2000
15 years 8 months ago
2000
Discrete Event Simulation (DES) has been used as a design and validation tool in various production and business applications. DES can also be utilized for analyzing the product-m...