4962 search results - page 301 / 993 » Stochastic Model Checking |
141
click to vote
ENTCS
2006
15 years 3 months ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
129
click to vote
TWC
2008
15 years 3 months ago
2008
This paper presents a new approach to provide stochastic delay guarantees via fully distributed model-based call admission control for IEEE 802.11 single-hop ad hoc networks. We pr...
113
click to vote
WSC
2004
15 years 4 months ago
2004
We examine properties of overlapped versions of the standardized time series area and Cram
133
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
Protocols which solve agreement problems are essential building blocks for fault tolerant distributed applications. While many protocols have been published, little has been done ...
115
Voted
ICDAR
2003
IEEE
15 years 8 months ago
2003
IEEE
In structural character recognition, a character is usually viewed as a set of strokes and the spatial relationships between them. In this paper, we propose a stochastic modeling ...