9387 search results - page 1241 / 1878 » An Optimal Process Model for a Real Time Process |
205
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
—An analytical framework for modeling the performance of a single TCP session in the presence of random packet loss is presented. A Markovian approach is developed that allows us...
233
click to vote
ATVA
2006
Springer
15 years 11 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
197
click to vote
AAAI
2007
15 years 9 months ago
2007
The importance of the efforts towards integrating the symbolic and connectionist paradigms of artificial intelligence has been widely recognised. Integration may lead to more e...
187
click to vote
IDA
2002
Springer
15 years 7 months ago
2002
Springer
Short, high-dimensional, Multivariate Time Series (MTS) data are common in many fields such as medicine, finance and science, and any advance in modelling this kind of data would b...
200
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...