690 search results - page 133 / 138 » Testing Temporal Logic Properties in Distributed Systems |
103
click to vote
CORR
2007
Springer
15 years 10 days ago
2007
Springer
Sequential change diagnosis is the joint problem of detection and identification of a sudden and unobservable change in the distribution of a random sequence. In this problem, the...
98
Voted
SIAMSC
2008
15 years 8 days ago
2008
We propose a new numerical scheme for linear transport equations. It is based on a decomposition of the distribution function into equilibrium and non-equilibrium parts. We also us...
123
Voted
KDD
2007
ACM
16 years 23 days ago
2007
ACM
Frequent episode discovery is a popular framework for mining data available as a long sequence of events. An episode is essentially a short ordered sequence of event types and the...
123
click to vote
FMCO
2003
Springer
15 years 5 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
118
click to vote
IWCMC
2009
ACM
15 years 5 months ago
2009
ACM
Autoconfiguration of the radio parameters is a key feature for next generation mobile networks. Especially for LTE the NGMN Forum has brought it up as a major requirement. It is ...