27756 search results - page 5205 / 5552 » Process Query Systems |
146
Voted
JNW
2006
15 years 4 months ago
2006
In this study, we propose a novel mobile tracking method based on Multi-Criteria Decision Making (MCDM), in which uncertain parameters such as Pilot Signal Strength (PSS), the dist...
121
Voted
ENTCS
2007
15 years 4 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
180
click to vote
JPDC
2006
15 years 4 months ago
2006
Quality of service (QoS) assurance is a major concern in media-on-demand (MoD) systems. Admission control is one of the most important issues that need to be addressed for QoS ass...
116
click to vote
ENTCS
2007
15 years 4 months ago
2007
We present a powerful and flexible method for automatically checking the secrecy of values inside components. In our framework an attacker may monitor the external communication ...
112
click to vote
ENVSOFT
2007
15 years 4 months ago
2007
A toolkit for distributed hydrologic modeling at multiple scales using two independent models within a geographic information system is presented. This open-source, freely availab...