Sciweavers

1126 search results - page 7 / 226
» Modularity and the Rule of Adaptation
Sort
View
ASIAN
2006
Springer
116views Algorithms» more  ASIAN 2006»
14 years 5 days 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...
CEC
2009
IEEE
14 years 3 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
14 years 9 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....
ICCS
2009
Springer
14 years 3 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...
ICRA
2009
IEEE
109views Robotics» more  ICRA 2009»
14 years 3 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