3473 search results - page 436 / 695 » Aspect-Oriented Programming with C |
165
Voted
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
193
click to vote
ISPA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This article presents the C++ library vShark which reduces the intranode communication overhead of parallel programs on clusters of SMPs. The library is built on top of m...
182
click to vote
MIDDLEWARE
2005
Springer
16 years 4 days ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
145
click to vote
WEA
2005
Springer
16 years 4 days ago
2005
Springer
Recent techniques for inferring business relationships between ASs [3, 8] have yielded maps that have extremely few invalid BGP paths in the terminology of Gao [9]. However, some ...
160
click to vote
WRAC
2005
Springer
16 years 4 days ago
2005
Springer
A classic autonomous robot is an autonomous agent for open, unpredictable environments. Such an agent is inherently autonomous but not independent. Independence implies unpredictab...