443 search results - page 56 / 89 » Automatic generation of bus functional models from transacti... |
AFRIGRAPH
2004
ACM
14 years 1 months ago
2004
ACM
In the real world, the human eye is confronted with a wide range of luminances from bright sunshine to low night light. Our eyes cope with this vast range of intensities by adapta...
BMCBI
2007
13 years 8 months ago
2007
Background: Many protein sequences are still poorly annotated. Functional characterization of a protein is often improved by the identification of its interaction partners. Here, ...
JSA
2008
13 years 8 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
BMCBI
2011
13 years 2 days ago
2011
Background: Protein secondary structure prediction provides insight into protein function and is a valuable preliminary step for predicting the 3D structure of a protein. Dynamic ...
FM
2005
Springer
14 years 2 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...