1304 search results - page 157 / 261 » Model-Driven Engineering for Requirements Analysis |
118
click to vote
CIKM
2005
Springer
15 years 9 months ago
2005
Springer
Summarization of text documents is increasingly important with the amount of data available on the Internet. The large majority of current approaches view documents as linear sequ...
131
click to vote
EUROSPI
2005
Springer
15 years 9 months ago
2005
Springer
Even if the application developers produce software in accordance with the customer requirements, they cannot guarantee that the software will behave in a safe way during the lifet...
127
click to vote
PASTE
2004
ACM
15 years 9 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
118
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
While operating a crane for maximum productivity, the time of operation and the required energy are two important conflicting factors faced by a crane operator. In such a case, tr...
117
click to vote
DEXA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...