3082 search results - page 257 / 617 » Deviation Analysis: A New Use of Model Checking |
153
click to vote
QEST
2006
IEEE
16 years 17 days ago
2006
IEEE
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...
196
click to vote
ICMI
2010
Springer
15 years 4 months ago
2010
Springer
Social network analysis became a common technique used to model and quantify the properties of social interactions. In this paper, we propose an integrated framework to explore th...
187
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Given a large group of cooperative agents, selecting the right coordination or conflict resolution strategy can have a significant impact on their performance (e.g., speed of co...
217
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Chow and Liu showed that the maximum likelihood tree for multivariate discrete distributions may be found using a maximum weight spanning tree algorithm, for example K...
164
click to vote
GIS
1999
ACM
15 years 10 months ago
1999
ACM
Frameworks and Patterns are important instruments that enable the reuse of successful software solutions in recurrent problems. Geographic information systems, on the other hand, ...