3605 search results - page 534 / 721 » Securing Security Policies in Autonomic Computing Systems |
218
Voted
ATC
2006
Springer
15 years 8 months ago
2006
Springer
In recent years, a variety of new computing paradigms have been proposed for various purposes. It is true that many of them intend to and really can gratify some of the people some...
153
Voted
NOMS
2008
IEEE
15 years 11 months ago
2008
IEEE
—Automatic service and application deployment and management is becoming possible through the use of service and infrastructure discovery and policy systems. But using the infras...
174
click to vote
STOC
2012
ACM
13 years 7 months ago
2012
ACM
We propose a new notion of secure multiparty computation aided by a computationally-powerful but untrusted “cloud” server. In this notion that we call on-the-fly multiparty c...
144
Voted
IJISEC
2007
15 years 4 months ago
2007
The vision of ubiquitous computing is becoming a reality thanks to the advent of portable devices and the advances in wireless networking technologies. It aims to facilitate user ...
145
Voted
PLDI
2010
ACM
16 years 2 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...