2701 search results - page 141 / 541 » On the form of witness terms |
156
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
Although the diversity of platforms for network experimentation is a boon to the development of protocols and distributed systems, it is challenging to exploit its benefits. Impl...
166
click to vote
HICSS
2008
IEEE
16 years 28 days ago
2008
IEEE
Blogs have become an increasingly popular form of displaying online content for general Internet users. Attracting new bloggers and retaining existing bloggers are crucial to blog...
141
click to vote
HICSS
2008
IEEE
16 years 28 days ago
2008
IEEE
The resource-based theory of the firm attributes superior firm performance to organizational resources that are valuable, rare, irreplaceable, and not readily reproduced. Aligned ...
189
click to vote
ICNSC
2008
IEEE
16 years 28 days ago
2008
IEEE
In this paper, a variance constrained filtering problem is considered for systems with both non-Gaussian noises and polytopic uncertainty. A novel filter is developed to estimate t...
180
click to vote
LICS
2008
IEEE
16 years 27 days ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...