10870 search results - page 1759 / 2174 » Model Checking Programs |
165
Voted
KDD
2007
ACM
16 years 7 months ago
2007
ACM
We propose frameworks and algorithms for identifying communities in social networks that change over time. Communities are intuitively characterized as "unusually densely kni...
199
click to vote
HPCA
2003
IEEE
16 years 7 months ago
2003
IEEE
We consider the impact of different communication architectures on the performability (performance + availability) of cluster-based servers. In particular, we use a combination of ...
172
click to vote
RECOMB
2005
Springer
16 years 7 months ago
2005
Springer
We introduce a new scoring method for calculation of alignments of optical maps. Missing cuts, false cuts, and sizing errors present in optical maps are addressed by our alignment...
211
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
A commodity I/O device has no support for virtualization. A VMM can assign such a device to a single guest with direct, fast, but insecure access by the guest's native device...
179
Voted
EDBTW
2010
Springer
16 years 1 months ago
2010
Springer
There are some software applications especially in privacy protection domain which they need anonymity support. Therefore lots of methods and protocols have been presented so far ...