227 search results - page 22 / 46 » Quantitative verification: models techniques and tools |
120
click to vote
FM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
130
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Given the dizzying pace of change in computer science, trying to look too far into the future of software engineering is hard. However, it might be possible to predict the future ...
116
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Metabolomics, or metabonomics, refers to the quantitative analysis of all metabolites present within a biological sample and is generally carried out using NMR spectro...
116
click to vote
DEBU
2008
15 years 1 months ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
118
click to vote
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...