430 search results - page 47 / 86 » Statistical Certification of Software Systems |
LREC
2008
15 years 3 months ago
2008
This paper focuses on automatically improving the readability of documents. We explore mechanisms relating to content control that could be used (i) by authors to improve the qual...
151
click to vote
ICFEM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
118
click to vote
IUI
2009
ACM
15 years 10 months ago
2009
ACM
Written opinion on products and other entities can be important to consumers and researchers, but expensive and difficult to analyze. We present a multimedia interface designed t...
99
Voted
CODES
2005
IEEE
15 years 7 months ago
2005
IEEE
For embedded system development, several companies provide cross-platform development tools to aid in debugging, prototyping and optimization of programs. These are full system em...
110
click to vote
SAC
2005
ACM
15 years 7 months ago
2005
ACM
The server side of business software systems is commonly implemented today by an ensemble of Java classes distributed over several hosts. In this scenario, it is often necessary, ...