1102 search results - page 189 / 221 » Distributed Key Generation for the Internet |
122
click to vote
ERLANG
2007
ACM
15 years 5 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
111
click to vote
SUTC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—A prominent application of Wireless Sensor Networks is the monitoring of physical phenomena. The value of the monitored attributes naturally depends on the accuracy of t...
122
click to vote
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
143
click to vote
CC
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. A key scalability challenge for interprocedural dataflow analysis comes from large libraries. Our work addresses this challenge for the general category of interprocedura...
110
click to vote
IQ
2007
15 years 3 months ago
2007
: Integrated access to distributed data is an important problem faced in many scientific and commercial applications. A data integration system provides a unified view for users to...