80 search results - page 5 / 16 » Calculi for Network Aware Programming |
CSE
2009
IEEE
13 years 12 months ago
2009
IEEE
Software development teams face challenges communicating with each other. This paper presents the design of a social real-time collaborative IDE called SCI that unifies the concep...
CCS
2004
ACM
14 years 1 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
COMSWARE
2007
IEEE
14 years 2 months ago
2007
IEEE
—Sensor networks represent a new frontier in technology that holds the promise of unprecedented levels of autonomy in the execution of complex dynamic missions by harnessing the ...
COCOON
2007
Springer
14 years 2 months ago
2007
Springer
We propose new algorithms and improved bounds for interference-aware routing in wireless networks. First, we prove that n arbitrarily matched source-destinations pairs with average...
POPL
2003
ACM
14 years 8 months ago
2003
ACM
Multimedia and network processing applications make extensive use of subword data. Since registers are capable of holding a full data word, when a subword variable is assigned a r...