683 search results - page 75 / 137 » Exploiting Logical Mobility in Mobile Computing Middleware |
ISCAS
2002
IEEE
15 years 2 months ago
2002
IEEE
Bluetooth technology offers the potential for low-cost, broadband wireless access for a range of mobile and portable devices. It can thus provide for ubiquitous computing across a...
CSL
2005
Springer
15 years 3 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
119
click to vote
ISCC
2005
IEEE
15 years 3 months ago
2005
IEEE
The availability of powerful personal computers and high bandwidth home connectivity is changing the way users cooperate and exchange information on the network. Peer to peer comp...
ICALP
2003
Springer
15 years 3 months ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
IWIA
2005
IEEE
15 years 3 months ago
2005
IEEE
Malware defenses have primarily relied upon intrusion fingerprints to detect suspicious network behavior. While effective for discovering computers that are already compromised,...