Sciweavers

1392 search results - page 34 / 279
» A Calculus for Dynamic Linking
Sort
View
VTC
2006
IEEE
14 years 2 months ago
Feasible Link Statistics for Adaptive Ad Hoc Networks
— The dynamic nature of ad hoc networks advocates the use of adaptive schemes to optimize network performance. Such adaptive schemes require local observations of prevailing netw...
Senan J. Doyle, Timothy K. Forde, Linda Doyle
TMC
2002
177views more  TMC 2002»
13 years 8 months ago
Goodput Analysis and Link Adaptation for IEEE 802.11a Wireless LANs
Abstract--Link adaptation to dynamically select the data transmission rate at a given time has been recognized as an effective way to improve the goodput performance of the IEEE 80...
Daji Qiao, Sunghyun Choi, Kang G. Shin
FMSB
2008
138views Formal Methods» more  FMSB 2008»
13 years 10 months ago
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
Abstract. This paper reports on the multi-scale modelling of an intestinal crypt cellular structure coupled with Wnt signalling. Using formal modelling techniques based on the stoc...
Oksana Tymchyshyn, Marta Z. Kwiatkowska
MAGS
2008
169views more  MAGS 2008»
13 years 8 months ago
ACVisualizer: A visualization tool for APi-calculus
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
Raheel Ahmad, Shahram Rahimi
ICRA
2006
IEEE
93views Robotics» more  ICRA 2006»
14 years 2 months ago
Hierarchical Control for Self-assembling Mobile Trusses with Passive and Active Links
— This paper explores the space of active modular trusses, ranging from a passive truss with one independent active climbing module to fully self-reconfiguring dynamically contr...
Carrick Detweiler, Marsette Vona, Keith Kotay, Dan...