Sciweavers

2701 search results - page 141 / 541
» On the form of witness terms
Sort
View
SIGCOMM
2009
ACM
16 years 1 months ago
A virtual platform for network experimentation
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...
Olaf Landsiedel, Georg Kunz, Stefan Götz, Kla...
HICSS
2008
IEEE
109views Biometrics» more  HICSS 2008»
16 years 28 days ago
Understanding the Blog Service Switching in Hong Kong: An Empirical Investigation
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...
Kem Z. K. Zhang, Christy M. K. Cheung, Matthew K. ...
HICSS
2008
IEEE
107views Biometrics» more  HICSS 2008»
16 years 28 days ago
Does Knowledge Management Pay Off?
The resource-based theory of the firm attributes superior firm performance to organizational resources that are valuable, rare, irreplaceable, and not readily reproduced. Aligned ...
Clyde W. Holsapple, Jiming Wu
ICNSC
2008
IEEE
16 years 28 days ago
Robust Variance Constrained Filter Design for Systems with Non-Gaussian Noises
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...
Fuwen Yang, Yongmin Li, Xiaohui Liu
LICS
2008
IEEE
16 years 27 days ago
Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule
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...
François Pottier