2137 search results - page 417 / 428 » Proving Abstract Non-interference |
106
click to vote
ICECCS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—Complex networks consisting of humans and software services, such as Web-based social and collaborative environments, typically require flexible and context-based inter...
ICECCS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...
113
click to vote
GLOBECOM
2008
IEEE
14 years 10 months ago
2008
IEEE
Abstract--Current implementations of BitTorrent-like P2P applications ignore the underlying Internet topology hence incur a large amount of traffic both inside an Internet Service ...
105
click to vote
AAMAS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract The advent of large-scale distributed systems poses unique engineering challenges. In open systems such as the internet it is not possible to prescribe the behaviour of al...
107
click to vote
ADHOC
2007
14 years 10 months ago
2007
Abstract. Many ad hoc routing algorithms rely on broadcast flooding for location discovery or, more generally, for secure routing applications. Flooding is a robust algorithm but ...