280 search results - page 31 / 56 » Problems and Deficiencies of UML as a Requirements Specifica... |
166
click to vote
AIPS
2009
15 years 7 months ago
2009
When modeling real-world decision-theoretic planning problems in the Markov decision process (MDP) framework, it is often impossible to obtain a completely accurate estimate of tr...
161
click to vote
HASE
2008
IEEE
16 years 9 days ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
179
click to vote
EMNLP
2009
15 years 3 months ago
2009
Many algorithms extract terms from text together with some kind of taxonomic classification (is-a) link. However, the general approaches used today, and specifically the methods o...
188
click to vote
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
177
click to vote
ERLANG
2007
ACM
15 years 9 months ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...