3172 search results - page 28 / 635 » Combining Specification Techniques for Processes, Data and T... |
258
click to vote
VCIP
2003
15 years 7 months ago
2003
International recommendations for subjective video quality assessment (e.g., ITU-R BT.500-11) include specifications for how to perform many different types of subjective tests. I...
150
click to vote
ISMB
1997
15 years 7 months ago
1997
We are building a knowledge base (KB) of published structural data on the 30s ribosomal subunit in prokaryotes. Our KB is distinguished by a standardized representation of biologi...
170
click to vote
IWSOC
2003
IEEE
15 years 11 months ago
2003
IEEE
The new technology of reconfigurable System-on-Chip is shown to be a good match to the requirements of realtime embedded systems. In particular, the judicious use of specialised d...
187
click to vote
BMCBI
2004
15 years 5 months ago
2004
Background: Microarray experiments are becoming a powerful tool for clinical diagnosis, as they have the potential to discover gene expression patterns that are characteristic for...
177
click to vote
IFM
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...