3819 search results - page 582 / 764 » Simple Easy Terms |
205
click to vote
IFIPTCS
2010
15 years 4 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
145
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
The Border Gateway Protocol (BGP) maintains inter-domain routing information by announcing and withdrawing IP prefixes, possibly resulting in temporary prefix unreachability. Prefi...
188
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Traditional architecture design approaches hide hardware uncertainties from the software stack through overdesign, which is often expensive in terms of power consumption. The recen...
172
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
The proliferation of linked data on the Web paves the way to a new generation of applications that exploit heterogeneous data from different sources. However, because this Web of d...
159
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
Twitter streams are on overload: active users receive hundreds of items per day, and existing interfaces force us to march through a chronologically-ordered morass to find tweets ...