4341 search results - page 291 / 869 » Quantitative Model checking |
179
click to vote
COLING
2008
15 years 8 months ago
2008
As Chinese text is written without word boundaries, effectively recognizing Chinese words is like recognizing collocations in English, substituting characters for words and words ...
195
click to vote
ICSEA
2009
IEEE
15 years 4 months ago
2009
IEEE
Due to the large number of possible variants in typical Software Product Lines (SPLs), the modeling of, explicit knowledge of, and predictability of the quality tradeoffs inherent ...
158
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
198
click to vote
WSC
1998
15 years 8 months ago
1998
Taylor II is a menu-driven simulation package mainly used in manufacturing, warehousing, and material handling. It is developed for the analysis and quantitative evaluation of com...
161
click to vote
WSC
1997
15 years 8 months ago
1997
Techniques to visualize quantitative discrete event simulation input and output data are presented. General concepts connected with graphical excellence are discussed in a simulat...