273 search results - page 41 / 55 » A Compositional Semantics for Conditional Term Rewriting Sys... |
CCS
2004
ACM
15 years 5 months 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...
70
Voted
JANCL
2008
14 years 11 months ago
2008
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
The use of statically compiled search networks for ASR systems using huge vocabularies and complex language models often becomes challenging in terms of memory requirements. Dynam...
107
click to vote
FASE
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...
VLDB
1993
ACM
15 years 3 months ago
1993
ACM
Mb describe the design and implementation of a constraint management facility for our active object-oriented database system called Jasmine/A. The facility includes integrity cons...