1302 search results - page 222 / 261 » Soundness in the Public-Key Model |
148
click to vote
ICCSA
2007
Springer
16 years 13 days 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...
190
click to vote
ICDT
2007
ACM
16 years 13 days 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 ...
158
click to vote
ICTCS
2007
Springer
16 years 13 days 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,...
181
click to vote
PEPM
2007
ACM
16 years 12 days 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...
137
click to vote
TLCA
2007
Springer
16 years 11 days 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...