6328 search results - page 128 / 1266 » From Quantity to Quality |
148
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
By using an example from a robot navigating domain, we argue that to specify declaratively the behavior of an agent, we need to have a formal and explicit notion of \quality plans...
153
click to vote
ACSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...
162
click to vote
SERP
2008
15 years 7 months ago
2008
Abstract. This paper presents common weaknesses of requirements documents from commercial software projects that frequently cause problems in practice. Many documents contain exten...
142
click to vote
BIOCOMP
2006
15 years 7 months ago
2006
The application of genome scale RNA interference (RNAi) relies on the development of high quality RNAi high throughput screening (HTS) assays. An important quality control (QC) ch...
176
click to vote
IADIS
2004
15 years 7 months ago
2004
This paper addresses two questions. Firstly, how is it possible for an application to become aware of network conditions and secondly, given this awareness, how can a system be de...