554 search results - page 107 / 111 » Verifying Security Protocols Modelled by Networks of Automat... |
152
click to vote
IWAN
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
129
click to vote
SIGUCCS
2003
ACM
15 years 7 months ago
2003
ACM
It has been our effort at Ringling school to provide our campus community with the capability to uniformly access resources across multiple platforms. Empowering the user with a s...
140
Voted
HIPC
2007
Springer
15 years 5 months ago
2007
Springer
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
136
Voted
CCS
2010
ACM
14 years 12 months ago
2010
ACM
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...
100
Voted
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Cognitive radio technologies have become a promising approach to increase the efficiency of spectrum utilization. Although cognitive radio has been intensively studied ...