1817 search results - page 133 / 364 » Extensive Games as Process Models |
165
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
104
click to vote
SPIN
1999
Springer
15 years 7 months ago
1999
Springer
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...
124
Voted
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
Annotation of large multilingual corpora remains a challenge to the data-driven approach to speech research, especially for under-resourced languages. This paper presents crosslan...
125
click to vote
NLDB
2007
Springer
15 years 9 months ago
2007
Springer
Various methodologies for structuring the process of domain modeling have been proposed, but there are few software tools that provide automatic support for the process of construc...
137
click to vote
CMSB
2009
Springer
15 years 9 months ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...