1788 search results - page 259 / 358 » Model Theory for Process Algebra |
245
click to vote
TDSC
2011
14 years 11 months ago
2011
—In this paper, we study leader election in the presence of selfish nodes for intrusion detection in mobile ad hoc networks (MANETs). To balance the resource consumption among a...
173
click to vote
CORR
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
115
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper we use partially ordered sets (posets) to study decentralized control problems arising in different settings. We show that time delayed systems with certain dela...
134
click to vote
SIGMETRICS
2010
ACM
15 years 2 months ago
2010
ACM
We introduce and analyze a deterministic fluid model that serves as an approximation for the Gt/GI/st + GI manyserver queueing model, which has a general time-varying arrival pro...
135
click to vote
PODS
2007
ACM
16 years 4 months ago
2007
ACM
Many applications today need to manage large data sets with uncertainties. In this paper we describe the foundations of managing data where the uncertainties are quantified as pro...