4382 search results - page 651 / 877 » Query by Semantic Example |
194
Voted
CCS
2004
ACM
16 years 14 days ago
2004
ACM
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...
179
click to vote
FOSSACS
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
173
click to vote
ICCS
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. The unpredictable run-time configurations of dynamic, datadriven application systems require flexible simulation components that can adapt to changes in the number of i...
210
Voted
JELIA
2004
Springer
16 years 13 days ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
168
Voted
MLMI
2004
Springer
16 years 13 days ago
2004
Springer
As the amount of multimodal meetings data being recorded increases, so does the need for sophisticated mechanisms for accessing this data. This process is complicated by the diffe...