1392 search results - page 41 / 279 » A Calculus for Dynamic Linking |
PERCOM
2006
ACM
14 years 8 months ago
2006
ACM
The irregularity in quality of wireless communication links poses significant research challenges in wireless sensor network design. Dynamic network conditions and environmental f...
CCR
2004
13 years 8 months ago
2004
Wireless links have intrinsic characteristics that affect the performance of transport protocols; these include variable bandwidth, corruption, channel allocation delays, and asym...
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— This paper presents three effective manipulation strategies for wheeled, dynamically balancing robots with articulated links. By comparing these strategies through analysis, si...