Sciweavers

5066 search results - page 804 / 1014
» Spectra of structures and relations
Sort
View
93
Voted
CORR
2010
Springer
166views Education» more  CORR 2010»
15 years 26 days ago
Bandwidth Modeling and Estimation in Peer to Peer Networks
Recent studies have shown that the majority of today's internet traffic is related to Peer to Peer (P2P) traffic. The study of bandwidth in P2P networks is very important. Bec...
Kiarash Mizanian, Mehdi Vasef, Morteza Analoui
105
Voted
CORR
2010
Springer
180views Education» more  CORR 2010»
15 years 26 days ago
A Meta-Programming Approach to Realizing Dependently Typed Logic Programming
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
Zachary Snow, David Baelde, Gopalan Nadathur
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 26 days ago
Detecting Coordination Problems in Collaborative Software Development Environments
Software development is rarely an individual effort and generally involves teams of developers collaborating to generate good reliable code. Among the software code there exist te...
Chintan Amrit, Jos van Hillegersberg
98
Voted
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 26 days ago
Link creation and profile alignment in the aNobii social network
The present work investigates the structural and dynamical properties of aNobii1 , a social bookmarking system designed for readers and book lovers. Users of aNobii provide informa...
Luca Maria Aiello, Alain Barrat, Ciro Cattuto, Gia...
CORR
2010
Springer
130views Education» more  CORR 2010»
15 years 26 days ago
Dichotomy for tree-structured trigraph list homomorphism problems
Trigraph list homomorphism problems (also known as list matrix partition problems) have generated recent interest, partly because there are concrete problems that are not known to...
Tomás Feder, Pavol Hell, David G. Schell, J...