22 search results - page 1 / 5 » Engineering Judgement |
SCS
2004
13 years 6 months ago
2004
Engineers who develop safety-related systems are required to work to remarkably high standards: SIL 1, the lowest classification recognised by the international standard IEC 61508...
FOSSACS
2011
Springer
12 years 8 months ago
2011
Springer
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
COMPUTE
2011
ACM
12 years 8 months ago
2011
ACM
In this paper, we have made an effort to propose approaches to find similar legal judgements by extending the popular techniques used in information retrieval and search engines...
RE
2006
Springer
13 years 4 months ago
2006
Springer
We present a novel technique that automatically alerts authors of requirements to the presence of potentially dangerous ambiguities. We first establish the notion of nocuous ambig...
WWW
2006
ACM
14 years 5 months ago
2006
ACM
This paper presents a simple and intuitive method for mining search engine query logs to get fast query recommendations on a large scale industrial-strength search engine. In orde...