4350 search results - page 678 / 870 » Case studies for contract-based systems |
123
Voted
AOSD
2010
ACM
15 years 10 months ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...
151
Voted
CCS
2010
ACM
15 years 10 months ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
143
Voted
MUM
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we introduce WiMo, a location-based social networking tool that enables users to share and store their emotional feelings about places. WiMo creates a mobile social ...
165
click to vote
EVOW
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The advancement of network induces great demands on a series of applications such as the multicast routing. This paper firstly makes a brief review on the algorithms in ...
146
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Autonomic computing is a paradigm that aims at reducing administrative overhead by providing autonomic managers to make applications self-managing. In order to better deal with ...