5630 search results - page 84 / 1126 » Computability in Specification |
103
click to vote
ICCS
2004
Springer
15 years 8 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
125
Voted
DAGSTUHL
2010
15 years 4 months ago
2010
The segmentation of the myocardium based on the 17-segment model as recommended by the American Heart Association is widely used in medical practice. The patient-specific coronary...
116
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Peptide Mass Fingerprinting (PMF) is a widely used mass spectrometry (MS) method of analysis of proteins and peptides. It relies on the comparison between experimental...
131
Voted
TMI
2010
14 years 9 months ago
2010
Fluorescence molecular tomography (FMT) allows in vivo localization and quantification of fluorescence biodistributions in whole animals. The ill-posed nature of the tomographic re...
159
Voted
TVLSI
2010
14 years 9 months ago
2010
Program code in a computer system can be altered either by malicious security attacks or by various faults in microprocessors. At the instruction level, all code modifications are ...