10038 search results - page 1914 / 2008 » Model Checking for Managers |
127
Voted
KDD
2009
ACM
15 years 5 months ago
2009
ACM
This paper aims at discovering community structure in rich media social networks, through analysis of time-varying, multi-relational data. Community structure represents the laten...
109
click to vote
KDD
2009
ACM
15 years 5 months ago
2009
ACM
Graphs or networks can be used to model complex systems. Detecting community structures from large network data is a classic and challenging task. In this paper, we propose a nove...
124
click to vote
WEBI
2001
Springer
15 years 5 months ago
2001
Springer
As meta-data become of ever more importance to the Web, we will need to start managing such meta-data. We argue that there is a strong need for meta-data validation and aggregation...
126
Voted
CLUSTER
2000
IEEE
15 years 5 months ago
2000
IEEE
Multithreaded parallel system with software Distributed Shared Memory (DSM) is an attractive direction in cluster computing. In these systems, distributing workloads and keeping t...
102
Voted
INFOCOM
2000
IEEE
15 years 5 months ago
2000
IEEE
— End-to-end congestion control mechanisms such as those in TCP are not enough to prevent congestion collapse in the Internet (for starters, not all applications might be willing...