Sciweavers

1126 search results - page 7 / 226
» Modularity and the Rule of Adaptation
Sort
View
123
Voted
ASIAN
2006
Springer
116views Algorithms» more  ASIAN 2006»
15 years 7 months ago
Secrecy Analysis in Protocol Composition Logic
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitch...
128
Voted
CEC
2009
IEEE
15 years 10 months ago
Gene regulation in a particle metabolome
Abstract— The bacterial genome is well understood by biologists. Although its efficiency and adaptability should make it a good model for evolutionary algorithms, the bacterial ...
Simon J. Hickinbotham, Edward Clark, Susan Stepney...
ICSE
2008
IEEE-ACM
16 years 4 months ago
Automatic modularity conformance checking
According to Parnas's information hiding principle and Baldwin and Clark's design rule theory, the key step to decomposing a system into modules is to determine the desi...
Sunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin J....
144
Voted
ICCS
2009
Springer
15 years 10 months ago
Modular, Fine-Grained Adaptation of Parallel Programs
We present a modular approach to realizing fine-grained adaptation of program behavior in a parallel environment. Using a compositional framework based on function call intercepti...
Pilsung Kang 0002, Naresh K. C. Selvarasu, Naren R...
132
Voted
ICRA
2009
IEEE
109views Robotics» more  ICRA 2009»
15 years 10 months ago
Self-adapting modular robotics: A generalized distributed consensus framework
Abstract— Biological systems achieve amazing adaptive behavior with local agents performing simple sensing and actions. Modular robots with similar properties can potentially ach...
Chih-Han Yu, Radhika Nagpal