166 search results - page 18 / 34 » An Intermediate Expressions' Generator System in the MPEG-4 ... |
IDEAS
2010
IEEE
13 years 5 months ago
2010
IEEE
Even though an effective cost-based query optimizer is of utmost importance for the efficient evaluation of XQuery expressions in native XML database systems, such a component is...
ADVIS
2006
Springer
14 years 1 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
IJCAI
2001
13 years 8 months ago
2001
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
SECURWARE
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
JCS
2008
13 years 7 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...