Sciweavers

7587 search results - page 1233 / 1518
» Network Analysis and Visualisation
Sort
View
ICPP
2009
IEEE
15 years 4 months ago
A Parallel Algorithm for Computing Betweenness Centrality
In this paper we present a multi-grained parallel algorithm for computing betweenness centrality, which is extensively used in large-scale network analysis. Our method is based on ...
Guangming Tan, Dengbiao Tu, Ninghui Sun
ANOR
2010
97views more  ANOR 2010»
15 years 4 months ago
Quality competition for screening and treatment services
This paper examines how quality for one type of preventive health care services, screening services are determined under competition and explores its links with the treatment servi...
Evrim D. Günes, Stephen E. Chick, Luk N. Van ...
CJ
2010
105views more  CJ 2010»
15 years 4 months ago
Efficient Semantic Information Exchange for Ambient Intelligence
This paper studies semantic efficiency measures for ambient intelligence. We follow an agent-based approach and investigate how large quantities of information can be efficiently ...
Jurriaan van Diggelen, Robbert-Jan Beun, Rogier M....
CORR
2011
Springer
339views Education» more  CORR 2011»
15 years 1 months ago
Context Capture in Software Development
The context of a software developer is something hard to define and capture, as it represents a complex network of elements across different dimensions that are not limited to th...
Bruno Antunes, Francisco Correia, Paulo Gomes
NFM
2011
223views Formal Methods» more  NFM 2011»
15 years 1 months ago
opaal: A Lattice Model Checker
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
Andreas Engelbredt Dalsgaard, René Rydhof H...
« Prev « First page 1233 / 1518 Last » Next »