Sciweavers

7049 search results - page 1202 / 1410
» Data Abstraction for CSP-OZ
Sort
View
CORR
2008
Springer
158views Education» more  CORR 2008»
15 years 6 months ago
Community Detection using a Measure of Global Influence
Abstract. The growing popularity of online social networks gave researchers access to large amount of network data and renewed interest in methods for automatic community detection...
Rumi Ghosh, Kristina Lerman
CORR
2008
Springer
121views Education» more  CORR 2008»
15 years 6 months ago
Separability in the Ambient Logic
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
Daniel Hirschkoff, Étienne Lozes, Davide Sa...
CORR
2008
Springer
153views Education» more  CORR 2008»
15 years 6 months ago
Efficient and Robust Secure Aggregation for Sensor Networks
Abstract-- Wireless Sensor Networks (WSNs) rely on innetwork aggregation for efficiency, however, this comes at a price: A single adversary can severely influence the outcome by co...
Parisa Haghani, Panagiotis Papadimitratos, Marcin ...
DM
2008
81views more  DM 2008»
15 years 6 months ago
The diameter of protean graphs
Abstract. The web graph is a real-world self-organizing network whose vertices correspond to web pages, and whose edges correspond to links between pages. Many stochastic models fo...
Pawel Pralat
ENTCS
2008
122views more  ENTCS 2008»
15 years 6 months ago
Concurrency in Biological Modeling: Behavior, Execution and Visualization
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
David Harel, Yaki Setty, Sol Efroni, Naamah Swerdl...
« Prev « First page 1202 / 1410 Last » Next »