1950 search results - page 132 / 390 » Two Abstractions for Distributed Systems of Mobile Nodes |
166
click to vote
CONCUR
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
150
click to vote
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
Today, distributed object-based computing is closely linked with Java. The Java virtual machine is ported to most current operating systems and provides many services which help d...
173
click to vote
JSAC
2006
15 years 6 months ago
2006
Abstract-- The performance of ad hoc networks depends on cooperation and trust among distributed nodes. To enhance security in ad hoc networks, it is important to evaluate trustwor...
185
click to vote
HT
1991
ACM
15 years 9 months ago
1991
ACM
Hypertext systems are being used in many applications because of their flexible structure and the great browsing freedom they give to diverse communities of users. However, this s...
178
click to vote
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...