12301 search results - page 2141 / 2461 » Distributed Computation in Dynamic Networks |
154
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
141
click to vote
BIOID
2008
15 years 6 months ago
2008
Abstract. This paper proposes a novel method for speaker identification based on both speech utterances and their transcribed text. The transcribed text of each speaker's utte...
159
click to vote
ERSA
2010
15 years 2 months ago
2010
Cache-based, general purpose CPUs perform at a small fraction of their maximum floating point performance when executing memory-intensive simulations, such as those required for sp...
300
Voted
PE
2011
Springer
14 years 11 months ago
2011
Springer
This paper studies the optimal resource allocation in time-reservation systems. Customers arrive at a service facility and receive service in two steps; in the first step informa...
145
Voted
MOBIHOC
2006
ACM
16 years 4 months ago
2006
ACM
Traditionally, ad hoc networks have been viewed as a connected graph over which end-to-end routing paths had to be established. Mobility was considered a necessary evil that inval...