5326 search results - page 35 / 1066 » On what we can ensure |
173
click to vote
TCS
2008
15 years 6 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
173
click to vote
INFOCOM
2008
IEEE
16 years 15 days ago
2008
IEEE
—Localization in the presence of malicious beacon nodes is an important problem in wireless networks. Although significant progress has been made on this problem, some fundament...
145
Voted
BRAIN
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. In this paper, we want to farther advance the parallelism between models of the brain and computing machines. We want to apply the same idea underlying neuroimaging techn...
172
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
When a lack of data inhibits decision making, large scale what-if queries can be conducted over the uncertain parameter ranges. Such what-if queries can generate an overwhelming a...
177
click to vote
CIDR
2003
15 years 7 months ago
2003
Peer-to-peer sharing systems are becoming increasingly popular and an exciting new class of innovative, internet-based data management systems. In these systems, users contribute ...