1481 search results - page 149 / 297 » Enriching the Software Development Process by Formal Methods |
152
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Modern embedded systems for image processing involve increasingly complex levels of functionality under real-time and resourcerelated constraints. As this complexity increases, th...
137
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Gene duplication events have played a significant role in genome evolution, particularly in plants. Exhaustive searches for all members of a known gene family as well ...
118
click to vote
IEEECIT
2006
IEEE
15 years 9 months ago
2006
IEEE
Currently Configuration Management (CM) tool and Process Management (PM) tool are both largely applied in software organizations. However, neither of them can effectively support ...
130
Voted
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
159
click to vote
KDD
2008
ACM
16 years 4 months ago
2008
ACM
Document classification presents difficult challenges due to the sparsity and the high dimensionality of text data, and to the complex semantics of the natural language. The tradi...