Sciweavers

2518 search results - page 231 / 504
» Using Communication Objects During Requirements Analysis
Sort
View
P2P
2009
IEEE
126views Communications» more  P2P 2009»
16 years 1 months ago
Robust Lifetime Measurement in Large-Scale P2P Systems with Non-Stationary Arrivals
—Characterizing user churn has become an important topic in studying P2P networks, both in theoretical analysis and system design. Recent work [26] has shown that direct sampling...
Xiaoming Wang, Zhongmei Yao, Yueping Zhang, Dmitri...
GLOBECOM
2006
IEEE
16 years 17 days ago
A Lightweight Secure Solution for RFID
— Radio Frequency Identification (RFID) systems have provided promising solutions to effective identification of a large number of tagged objects. However, RFID systems suffer ...
Bo Sun, Chung-Chih Li, Yang Xiao
WSCG
2003
149views more  WSCG 2003»
15 years 7 months ago
Boolean Operations on Feature-based Models
Boolean operations and feature-based modeling are closely linked domains. For example, several, sometimes many Boolean operations are involved during a feature instantiation or mo...
Yvon Gardan, Christian Minich, Estelle Perrin
CAV
2010
Springer
206views Hardware» more  CAV 2010»
15 years 9 months ago
Dynamic Cutoff Detection in Parameterized Concurrent Programs
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
Alexander Kaiser, Daniel Kroening, Thomas Wahl
MM
2006
ACM
125views Multimedia» more  MM 2006»
16 years 14 days ago
Scalable streaming for heterogeneous clients
Periodic broadcast protocols enable the efficient streaming of highly popular media files to large numbers of concurrent clients. Most previous periodic broadcast protocols, howe...
Liqi Shi, Phillipa Sessini, Anirban Mahanti, Zongp...