Sciweavers

1209 search results - page 239 / 242
» On the Resilience of Classes to Change
Sort
View
GLOBECOM
2010
IEEE
13 years 6 months ago
Trust Management for Encounter-Based Routing in Delay Tolerant Networks
: We propose and analyze a class of trust management protocols for encounter-based routing in delay tolerant networks (DTNs). The underlying idea is to incorporate trust evaluation...
Ing-Ray Chen, Fenye Bao, Moonjeong Chang, Jin-Hee ...
SAB
2010
Springer
212views Optimization» more  SAB 2010»
13 years 6 months ago
A Study of Adaptive Locomotive Behaviors of a Biped Robot: Patterns Generation and Classification
Abstract. Neurobiological studies showed the important role of Centeral Pattern Generators for spinal cord in the control and sensory feedback of animals' locomotion. In this ...
John Nassour, Patrick Henaff, Fathi Ben Ouezdou, G...
SIGSOFT
2010
ACM
13 years 6 months ago
An effective dynamic analysis for detecting generalized deadlocks
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay
CORR
2010
Springer
143views Education» more  CORR 2010»
13 years 6 months ago
Cause Clue Clauses: Error Localization using Maximum Satisfiability
Much effort is spent everyday by programmers in trying to reduce long, failing execution traces to the cause of the error. We present a new algorithm for error cause localization ...
Manu Jose, Rupak Majumdar
CORR
2010
Springer
174views Education» more  CORR 2010»
13 years 6 months ago
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
Mads Dam, Andreas Lundblad