Sciweavers

6059 search results - page 966 / 1212
» A Technique for Verifying Measurements
Sort
View
ICSE
2010
IEEE-ACM
15 years 11 months ago
LSdiff: a program differencing tool to identify systematic structural differences
Program differencing tools such as GNU diff identify individual differences but do not determine how those differences are related to each other. For example, an extract super...
Alex Loh, Miryung Kim
ITS
2010
Springer
152views Multimedia» more  ITS 2010»
15 years 11 months ago
A Network Analysis of Student Groups in Threaded Discussions
As online discussion boards become a popular medium for collaborative problem solving, we would like to understand patterns of group interactions that lead to collaborative learnin...
Jeon-Hyung Kang, Jihie Kim, Erin Shaw
CDC
2009
IEEE
130views Control Systems» more  CDC 2009»
15 years 11 months ago
Modal and transition dwell time computation in switching systems: a set-theoretic approach
We consider a plant the dynamics of which switch among a family of systems. Each of these systems has a single stable equilibrium point. We assume that a constraint region for the...
Franco Blanchini, Daniele Casagrande, Stefano Mian...
141
Voted
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
15 years 11 months ago
On the security of linear consensus networks
Abstract—This work considers the problem of reaching consensus in an unreliable linear consensus network. A solution to this problem is relevant for several tasks in multi-agent ...
Fabio Pasqualetti, Antonio Bicchi, Francesco Bullo
SAC
2009
ACM
15 years 11 months ago
A taxonomy and adversarial model for attacks against network log anonymization
In recent years, it has become important for researchers, security incident responders and educators to share network logs, and many log anonymization tools and techniques have be...
Justin King, Kiran Lakkaraju, Adam J. Slagell