7049 search results - page 1260 / 1410 » Data Abstraction for CSP-OZ |
193
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Dependent grammars extend context-free grammars by allowing semantic values to be bound to variables and used to constrain parsing. Dependent grammars can cleanly specify...
195
click to vote
ESSOS
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. The security requirements of complex multi-tier web applications have shifted from simple localized needs, such as authentication or authorization, to physically distribu...
199
click to vote
FAST
2011
14 years 10 months ago
2011
This work analyzes the stochastic behavior of writing to embedded flash memory at voltages lower than recommended by a microcontroller’s specifications to reduce energy consum...
187
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract – There is a growing interest in physical layer security. Recent work has demonstrated that wireless devices can generate a shared secret key by exploiting variations in...
189
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—We study the challenging problem of strategic content placement in a dynamic MANET. Existing content placement techniques cannot cope with such network dynamics since th...