4897 search results - page 76 / 980 » Trust Modeling for Peer-to-Peer Based Computing Systems |
MEMOCODE
2003
IEEE
14 years 2 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
ECBS
2007
IEEE
13 years 11 months ago
2007
IEEE
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
—This paper addresses context issues in pervasive mobile computing and presents a semantic context model to support location based cooperative mobile applications. In this paper,...
SCL
2008
13 years 9 months ago
2008
In this paper a computational algorithm for nonlinear balanced realization and model reduction based on Taylor series expansion is proposed. This algorithm requires recursive comp...
GG
2008
Springer
13 years 10 months ago
2008
Springer
