Sciweavers

8413 search results - page 1448 / 1683
» Ordering Problem Subgoals
Sort
View
PIMRC
2010
IEEE
15 years 2 months ago
Connectivity in wireless networks with dynamic key compromise and recovery
Abstract--This paper considers the problem of key management in wireless networks. In particular, we investigate the effect of dynamic key compromise and recovery on connectivity i...
Satashu Goel, Aylin Yener
QEST
2010
IEEE
15 years 2 months ago
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
Ralf Wimmer, Bettina Braitling, Bernd Becker, Erns...
SIGSOFT
2010
ACM
15 years 2 months ago
Basset: a tool for systematic testing of actor programs
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
Steven Lauterburg, Rajesh K. Karmani, Darko Marino...
WEBI
2010
Springer
15 years 1 months ago
Image Set Classification Using Multi-layer Multiple Instance Learning with Application to Cannabis Website Classification
We propose using multi-layer multiple instance learning (MMIL) for image set classification and applying it to the task of cannabis website classification. We treat each image as a...
Nianhua Xie, Haibin Ling, Weiming Hu
WICON
2010
15 years 1 months ago
Optimized Content Caching and Request Capture in CNF Networks
In order to meet the overwhelming demands of content retrieval for mobile end users, a novel architecture for the next-generation Internet called Cache-and-Forward (CNF) has been p...
Lijun Dong, Dan Zhang, Yanyong Zhang, Dipankar Ray...
« Prev « First page 1448 / 1683 Last » Next »