4341 search results - page 614 / 869 » Quantitative Model checking |
142
click to vote
INFOCOM
2005
IEEE
16 years 5 days ago
2005
IEEE
Trust negotiation is a process that establishes mutual trust by the exchange of digital credentials and/or guiding policies among entities who may have no pre-existing knowledge a...
180
click to vote
IPPS
2005
IEEE
16 years 5 days ago
2005
IEEE
Scalability refers to the extent of configuration modifications over which a system continues to be economically deployable. Until now, scalability of resource management system...
175
click to vote
MSWIM
2005
ACM
16 years 4 days ago
2005
ACM
There have been various secure routing protocols proposed for mobile ad hoc networks. Most of these protocols are analyzed by two standard techniques: simulation and security anal...
161
click to vote
COORDINATION
2005
Springer
16 years 3 days ago
2005
Springer
With its decoupling of processes in space and time, the shared data space model has proven to be a well-suited solution for developing distributed component-based systems. However,...
151
click to vote
ICANN
2005
Springer
16 years 3 days ago
2005
Springer
Image superresolution involves the processing of an image sequence to generate a still image with higher resolution. Classical approaches, such as bayesian MAP methods, require ite...