4511 search results - page 616 / 903 » Observation Based System Security |
134
Voted
PKC
2010
Springer
15 years 8 months ago
2010
Springer
Network coding is a method for achieving channel capacity in networks. The key idea is to allow network routers to linearly mix packets as they traverse the network so that recipi...
144
click to vote
HOTOS
2009
IEEE
15 years 8 months ago
2009
IEEE
Cloud computing environments allow customers to execute arbitrary code on hardware owned by a cloud provider. While cloud providers use virtualization to ensure isolation between ...
127
click to vote
ASIAN
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
137
click to vote
ECSCW
2001
15 years 5 months ago
2001
Abstract. Team automata provide a framework for capturing notions like coordination, colon, and cooperation in distributed systems. They consist of an abstract specification of com...
117
click to vote
IADIS
2003
15 years 5 months ago
2003
The potential software market for client-side mobile applications is strongly dependent upon the ability to rapidly migrate existing in-house software solutions, while maintaining...