495 search results - page 89 / 99 » Signed quorum systems |
CHI
2005
ACM
15 years 10 months ago
2005
ACM
In current mobile navigation systems users receive the navigational instructions on a visual display or by descriptive audio. The mapping between the provided navigation informati...
174
click to vote
POPL
2008
ACM
15 years 9 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
IM
1997
14 years 10 months ago
1997
Policies are a means of influencing management behaviour within a distributed system, without coding the behaviour into the managers. Authorisation policies specify what activitie...
85
Voted
TISSEC
2010
14 years 4 months ago
2010
Storage-based intrusion detection allows storage systems to transparently watch for suspicious activity. Storage systems are well-positioned to spot several common intruder action...
108
click to vote
WOLLIC
2009
Springer
15 years 4 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...