4962 search results - page 480 / 993 » Stochastic Model Checking |
156
click to vote
EVOW
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We analyze the convergence properties of our force based genetic algorithm(fga) as a decentralized topology control mechanism distributed among software agents. fga guide...
138
click to vote
MASCOTS
2003
15 years 5 months ago
2003
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...
141
click to vote
ACL
1997
15 years 5 months ago
1997
In data-oriented language processing, an annotated language corpus is used as a stochastic grammar. The most probable analysis of a new sentence is constructed by combining fragme...
112
click to vote
OOIS
2001
Springer
15 years 8 months ago
2001
Springer
: This paper presents Reconciliation+, a tool-supported method which identifies overlaps between models of different object interactions expressed as UML sequence and/or collaborat...
154
click to vote
TACAS
2000
Springer
15 years 8 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...