1057 search results - page 98 / 212 » Testing from Formal Specifications, a Generic Approach |
131
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Protein sumoylation is an essential dynamic, reversible post translational modification that plays a role in dozens of cellular activities, especially the regulation o...
228
click to vote
DAS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Automatic identification of a script in a given document image facilitates many important applications such as automatic archiving of multilingual documents, searching on...
110
click to vote
SEW
2005
IEEE
15 years 8 months ago
2005
IEEE
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by softwar...
110
click to vote
DSL
2009
15 years 21 days ago
2009
Traversals of heterogeneous object structures are the most common operations in schema-first applications where the three key issues are (1) separation of traversal specifications ...
139
click to vote
TCAD
2002
15 years 2 months ago
2002
The paper presents a novel strategy aimed at modelling instruction energy consumption of 32-bits microprocessors. Differently from former approaches, the proposed instruction-level...