5922 search results - page 918 / 1185 » Navigability of Complex Networks |
186
click to vote
FORMATS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
181
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
219
click to vote
IPPS
2010
IEEE
15 years 5 months ago
2010
IEEE
We develop a widely applicable algorithm to solve the fault diagnosis problem in certain distributed-memory multiprocessor systems in which there are a limited number of faulty pr...
214
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Rapidly changing business requirements necessitate the adhoc composition of expert teams to handle complex business cases. Expertcentric properties such as skills, howeve...
193
click to vote
TMA
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents a novel traffic classification approach which classifies TCP connections with help of observable Markov models. As traffic properties, payload length, direction...