5326 search results - page 35 / 1066 » On what we can ensure |
107
Voted
TCS
2008
15 years 13 days 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...
105
Voted
INFOCOM
2008
IEEE
15 years 7 months 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...
95
Voted
BRAIN
2009
Springer
15 years 7 months 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...
117
Voted
KBSE
2000
IEEE
15 years 5 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...
112
Voted
CIDR
2003
15 years 1 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 ...