4962 search results - page 484 / 993 » Stochastic Model Checking |
132
click to vote
INFOCOM
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract—A challenging aspect of mobile communications consists in exploring ways in which the available run time of terminals can be maximized. In this paper, we present a detai...
157
click to vote
ACNS
2009
Springer
15 years 8 months ago
2009
Springer
Side-channel attacks are an important class of attacks against cryptographic devices and profiled side-channel attacks are the most powerful type of side-channel attacks. In this s...
141
click to vote
ARC
2007
Springer
15 years 4 months ago
2007
Springer
: The parity space approach to fault detection and isolation (FDI) has been developed during the last twenty years, and the focus here is to describe its application to stochastic ...
157
click to vote
TON
2008
15 years 4 months ago
2008
We study the problem of load balancing the traffic from a set of unicast and multicast sessions. The problem is formulated as an optimization problem. However, we assume that the g...
155
click to vote
RTCSA
1999
IEEE
15 years 8 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...