3801 search results - page 298 / 761 » An Approach to Modeling Software Safety |
163
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Microorganisms display vast diversity, and each one has its own set of genes, cell components and metabolic reactions. To assess their huge unexploited metabolic poten...
197
click to vote
JSW
2007
15 years 6 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
172
click to vote
SAC
2006
ACM
16 years 17 days ago
2006
ACM
This paper describes and evaluates various general stemming approaches for the French, Portuguese (Brazilian), German and Hungarian languages. Based on the CLEF test-collections, ...
183
click to vote
ICCD
2005
IEEE
16 years 7 days ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
167
Voted
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...