2694 search results - page 236 / 539 » Frege's New Science |
162
click to vote
TCS
2010
15 years 5 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
165
click to vote
COGSCI
2010
15 years 5 months ago
2010
Network science provides a new way to look at old questions in cognitive science by examining the structure of a complex system, and how that structure might influence processing....
220
click to vote
ACMSE
2010
ACM
15 years 4 months ago
2010
ACM
This paper presents the framework of a mobile air quality monitoring network, with an in-depth discussion of several new innovative techniques for web-based visualization. These t...
188
click to vote
DIS
2010
Springer
15 years 4 months ago
2010
Springer
Identifying the characteristics of biological systems through physical experimentation, is restricted by the resources available, which are limited in comparison to the size of the...
183
click to vote
FOCS
2010
IEEE
15 years 4 months ago
2010
IEEE
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...