3082 search results - page 348 / 617 » Deviation Analysis: A New Use of Model Checking |
170
click to vote
AINA
2007
IEEE
16 years 27 days ago
2007
IEEE
The evolution and existence of stable trust relations have been studied extensively in the context of social theory. However, reputation systems or trust schemes have only been re...
198
click to vote
LCN
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract—Mobile Ad Hoc Networks present several new challenges, mainly due to mobility. Publish/Subscribe is a communication paradigm that fits this network model well since the...
153
click to vote
WECWIS
2005
IEEE
16 years 4 days ago
2005
IEEE
Singular Value Decomposition (SVD), together with the Expectation-Maximization (EM) procedure, can be used to find a low-dimension model that maximizes the loglikelihood of obser...
151
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a case study concerning the challenges and requirements posed by next generation language resources, realized as an overall model of open, distributed and coll...
230
click to vote
CTRSA
2012
Springer
14 years 2 months ago
2012
Springer
We study the problem of searching on encrypted data, where the search is performed using a plaintext message or a keyword, rather than a message-specific trapdoor as done by state...