1302 search results - page 222 / 261 » Soundness in the Public-Key Model |
ICCSA
2007
Springer
15 years 6 months ago
2007
Springer
Information aggregation is an important operation in wireless sensor networks executed for the purpose of monitoring and reporting of the environmental data. Due to the performance...
116
click to vote
ICDT
2007
ACM
15 years 6 months ago
2007
ACM
With the rise of XML as a standard model of data exchange, XML functional dependencies (XFDs) have become important to areas such as key analysis, document normalization, and data ...
ICTCS
2007
Springer
15 years 6 months ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
101
click to vote
PEPM
2007
ACM
15 years 6 months ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
TLCA
2007
Springer
15 years 6 months ago
2007
Springer
e type system for the lmdElulus enrihed with reurE sive nd oreursive funtions over equiEindutive nd Eoindutive types is presented in whih ll wel...