2632 search results - page 371 / 527 » Alternating Timed Automata |
134
Voted
CCGRID
2008
IEEE
15 years 10 months ago
2008
IEEE
—Large scale production grids are a major case for autonomic computing. Following the classical definition of Kephart, an autonomic computing system should optimize its own beha...
100
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Many decision systems rely on a precisely known Markov Chain model to guarantee optimal performance, and this paper considers the online estimation of unknown, nonstationary Ma...
124
Voted
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
106
Voted
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—In mobile ad hoc networks (MANETs), conventional packet forwarding schemes that pre-select the next-hop receivers for a packet may fail if the channel coherence time is on the o...
154
Voted
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—A joint network coding and superposition coding (JNSC) scheme is proposed for information exchange between more than two users in a wireless relaying network. In this paper we c...