819 search results - page 131 / 164 » Using Assumptions to Distribute CTL Model Checking |
84
Voted
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
This paper presents an online feature selection and classification algorithm. The algorithm is implemented for impact acoustics signals to sort hazelnut kernels. The classifier, w...
99
Voted
PERCOM
2011
ACM
14 years 1 months ago
2011
ACM
—In this work we study the problem of query privacy in large scale sensor networks. Motivated by a novel trust model in which clients query networks owned by trusted entities but...
90
Voted
WIMOB
2007
IEEE
15 years 4 months ago
2007
IEEE
Service discovery in mobile ad hoc networks (MANETs) is an integral part for collective application interoperability. The discovery process must cope not only with transient commun...
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
79
Voted
WINE
2005
Springer
15 years 3 months ago
2005
Springer
We consider a class of networks where n agents need to send their traffic from a given source to a given destination over m identical, non-intersecting, and parallel links. For suc...