3931 search results - page 442 / 787 » Separation logic and abstraction |
177
click to vote
CCS
2005
ACM
16 years 18 days ago
2005
ACM
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices prior to user connectivity. The protocol consists of s...
174
click to vote
ICN
2005
Springer
16 years 17 days ago
2005
Springer
In this paper, we propose an architecture to regulate the bandwidth usage of multimedia streams in networked virtual environments. In this architecture, intelligent proxies are pla...
184
Voted
ISPA
2005
Springer
16 years 17 days ago
2005
Springer
Grid technologies are becoming more and more mature in recent years. In contrast to this trend, the resource measurement landscape in Grids looks rather dismal. As part of ChinaGri...
165
click to vote
ITRUST
2005
Springer
16 years 17 days ago
2005
Springer
Business Processes for Web Services are the new paradigm for lightweight enterprise integration. They cross organizational boundaries, are provided by entities that see each other ...
172
Voted
PPDP
2005
Springer
16 years 17 days ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...