2796 search results - page 510 / 560 » A time structure based software reliability model |
157
click to vote
BTW
2009
Springer
15 years 12 months ago
2009
Springer
: Many model management tasks, e.g., schema matching or merging, require the manual handling of metadata. Given the diversity of metadata, its many different representations and mo...
155
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
168
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: Normal mode analysis (NMA) has become the method of choice to investigate the slowest motions in macromolecular systems. NMA is especially useful for large biomolecula...
255
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...
140
click to vote
SCAM
2008
IEEE
15 years 11 months ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...