8398 search results - page 1096 / 1680 » Optimal Software Testing |
214
click to vote
WCRE
2002
IEEE
16 years 5 days ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
220
click to vote
SACMAT
2010
ACM
16 years 2 days ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
297
click to vote
DAS
2010
Springer
16 years 2 days ago
2010
Springer
In this paper we present a new database of online handwritten documents with different contents such as text, drawings, diagrams, formulas, tables, lists, and markings. It was de...
171
click to vote
DESRIST
2010
Springer
16 years 2 days ago
2010
Springer
Maturity models are a well-known instrument to support the improvement of functional domains in IS, like software development or testing. While maturity models may share a common s...
180
click to vote
SEKE
2009
Springer
15 years 11 months ago
2009
Springer
In a decision-making process, a systematic method to manage and measure negotiation aspects provides crucial information to negotiators and has emerged as a key factor to determin...