Sciweavers

4507 search results - page 275 / 902
» Generalized Binet dynamics
Sort
View
SOCIALCOM
2010
15 years 4 months ago
Traffic in Social Media II: Modeling Bursty Popularity
Online popularity has enormous impact on opinions, culture, policy, and profits, especially with the advent of the social Web and Web advertising. Yet the processes that drive popu...
Jacob Ratkiewicz, Filippo Menczer, Santo Fortunato...
DLS
2009
196views Languages» more  DLS 2009»
15 years 4 months ago
Contracts for first-class modules
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
T. Stephen Strickland, Matthias Felleisen
GLVLSI
2009
IEEE
323views VLSI» more  GLVLSI 2009»
15 years 4 months ago
MYGEN: automata-based on-line test generator for assertion-based verification
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
Yann Oddos, Katell Morin-Allory, Dominique Borrion...
IJHCR
2010
155views more  IJHCR 2010»
15 years 3 months ago
A Collaborative Replication Approach for Mobile-P2P Networks
This paper proposes CADRE (Collaborative Allocation and Deallocation of Replicas with Efficiency), which is a dynamic replication scheme for improving the typically low data avail...
Anirban Mondal, Sanjay Kumar Madria, Masaru Kitsur...
CDC
2010
IEEE
15 years 1 months ago
Trajectory generation using sum-of-norms regularization
Abstract-- Many tracking problems are split into two subproblems, first a smooth reference trajectory is generated that meet the control design objectives, and then a closed loop c...
Henrik Ohlsson, Fredrik Gustafsson, Lennart Ljung,...