430 search results - page 47 / 86 » Statistical Certification of Software Systems |
116
Voted
LREC
2008
15 years 5 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...
174
Voted
ICFEM
2009
Springer
15 years 10 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...
137
Voted
IUI
2009
ACM
16 years 12 days 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...
121
click to vote
CODES
2005
IEEE
15 years 9 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...
128
Voted
SAC
2005
ACM
15 years 9 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, ...