4962 search results - page 320 / 993 » Stochastic Model Checking |
120
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Recently, there is an increasing interest in the deployment of femto access points (FAPs), which are short-range low-power home basestations, over a macro cellular network to impr...
129
click to vote
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
We are interested in this problem: a verifier, with a small and reliable storage, wants to periodically check whether a remote server is keeping a large file x. A dishonest server,...
134
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Modern distributed industrial control systems need improvements in their dependability. In this paper we study the dependability of a fault tolerant distributed industrial control ...
110
click to vote
COR
2007
15 years 3 months ago
2007
This work is concerned with the efficient design of a reverse logistics network using an extended version of models currently found in the literature. Those traditional, basic mo...
124
click to vote
CAV
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...