5838 search results - page 115 / 1168 » A File System for System Programming in Ubiquitous Computing |
132
click to vote
ENTCS
2010
15 years 3 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
136
Voted
SUTC
2008
IEEE
15 years 9 months ago
2008
IEEE
: The report of the President's Council of Advisors on Science and Technology (PCAST) has placed CPS on the top of the priority list for federal research investment [6]. This ...
181
Voted
SIGOPSE
2004
ACM
15 years 8 months ago
2004
ACM
Anonymity is increasingly important for networked applications amidst concerns over censorship and privacy. This paper outlines the design of HerbivoreFS, a scalable and efficien...
138
click to vote
BMCBI
2002
15 years 3 months ago
2002
Background: Functional genomics involves the parallel experimentation with large sets of proteins. This requires management of large sets of open reading frames as a prerequisite ...
122
click to vote
PDCAT
2005
Springer
15 years 8 months ago
2005
Springer
This paper examines technique of media access that flexible media service, provided user interaction, and guaranteeing QoS. Currently, there are various streaming services, but th...