2525 search results - page 327 / 505 » A Framework for Semantic Gossiping |
173
click to vote
ESORICS
2000
Springer
15 years 9 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
171
Voted
REX
1991
15 years 9 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
162
click to vote
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
We present an online framework to capture and recover from program failures and prevent them from occurring in the future through safe execution perturbations. The perturbations a...
192
Voted
ACL
2006
15 years 7 months ago
2006
Spoken Language Understanding (SLU) addresses the problem of extracting semantic meaning conveyed in an utterance. The traditional knowledge-based approach to this problem is very...
145
click to vote
IWFM
2003
15 years 7 months ago
2003
Meadows recently proposed a formal cost-based framework for analysis of denial of service. It was showed how some principles that have already been used to make cryptographic prot...