2278 search results - page 258 / 456 » Specification Techniques for Automatic Performance Analysis ... |
154
click to vote
JCB
2000
15 years 6 months ago
2000
Large scale gene duplication is a major force driving the evolution of genetic functional innovation. Whole genome duplications are widely believed to have played an important rol...
137
Voted
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...
167
click to vote
ICPR
2008
IEEE
16 years 18 days ago
2008
IEEE
A mainstay in cancer diagnostics is the classification or grading of cell nuclei based on their appearance. While the analysis of cytological samples has been automated successful...
181
Voted
EDOC
2008
IEEE
15 years 8 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
177
click to vote
PLDI
2009
ACM
16 years 29 days ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...