440 search results - page 69 / 88 » Local reasoning for abstraction and sharing |
111
click to vote
WCNC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Performance and reliability of content access in mobile networks is conditioned jointly by the number and location of content replicas deployed at the network nodes. The...
113
click to vote
ESORICS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
102
click to vote
EDBTW
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In recent times, the proliferation of spatial data on the Internet is beginning to allow a much larger audience to access and share data currently available in various Ge...
JSAC
2006
15 years 1 months ago
2006
Abstract-- Node compromise is a serious threat to wireless sensor networks deployed in unattended and hostile environments. To mitigate the impact of compromised nodes, we propose ...
137
click to vote
INFOCOM
2010
IEEE
15 years 11 days ago
2010
IEEE
Abstract—We consider the power control problem in a timeslotted wireless channel, shared by a finite number of mobiles that transmit to a common base station. The channel betwee...