3885 search results - page 110 / 777 » Clarifying Goal Models |
117
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
Natural prosody is produced by an articulatory system to convey communicative meanings. It is therefore desirable for prosody modeling to represent both articulatory mechanisms an...
119
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a new LP (Linear Programming) model to solve a tactical wood procurement and harvesting problem. This optimization problem occurs in several wood supply chains...
151
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Though there is a multitude of software modeling tools available, the handling of diagrams, which are an essential way of representation, is still difficult. To overcome these pr...
137
click to vote
QEST
2005
IEEE
15 years 9 months ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
118
click to vote
ER
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Current UML Profiles for Business Process Modelling realise a narrow focus of the process, and capture the process flow on a low level of detail. They do not provide a co...