3555 search results - page 326 / 711 » Security-Critical System Development with Extended Use Cases |
201
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Classes issued of evolving systems are dynamic and their characteristics vary over the time. Assigning a pattern to a class is achieved using a classifier. Therefore, the classifie...
180
click to vote
JMLR
2006
15 years 6 months ago
2006
We propose a novel approach to optimize Partially Observable Markov Decisions Processes (POMDPs) defined on continuous spaces. To date, most algorithms for model-based POMDPs are ...
162
click to vote
DL
1997
Springer
15 years 10 months ago
1997
Springer
We describe the use of ethnomethodologically-informed ethnography as a means of informing the requirements elicitation, design, development and evaluation of digital libraries. We...
171
click to vote
NLE
2008
15 years 6 months ago
2008
This paper describes clime, a web-based legal advisory system with a multilingual natural language interface. clime is a `proof-of-concept' system which answers queries relat...
191
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...