Sciweavers

4688 search results - page 283 / 938
» Dynamics of Control
Sort
View
POPL
1999
ACM
15 years 9 months ago
JFlow: Practical Mostly-Static Information Flow Control
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
Andrew C. Myers
IJBC
2010
80views more  IJBC 2010»
15 years 2 months ago
Symbolic Dynamical Model of Average Queue Size of Random Early Detection Algorithm
In this paper, a symbolic dynamical model of the average queue size of the random early detection (RED) algorithm is proposed. The conditions on both the system parameters and the...
Charlotte Yuk-Fan Ho, Bingo Wing-Kuen Ling, Herber...
GECCO
2009
Springer
130views Optimization» more  GECCO 2009»
15 years 11 months ago
The impact of jointly evolving robot morphology and control on adaptation rate
Embodied cognition emphasizes that intelligent behavior results from the coupled dynamics between an agent’s body, brain and environment. In response to this, several projects h...
Josh C. Bongard
ICISS
2009
Springer
15 years 2 months ago
BARTER: Behavior Profile Exchange for Behavior-Based Admission and Access Control in MANETs
Abstract. Mobile Ad-hoc Networks (MANETs) are very dynamic networks with devices continuously entering and leaving the group. The highly dynamic nature of MANETs renders the manual...
Vanessa Frías-Martínez, Salvatore J....
IASTEDSEA
2004
15 years 6 months ago
Java bytecode verification with dynamic structures
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
Cinzia Bernardeschi, Luca Martini, Paolo Masci