1054 search results - page 31 / 211 » Guarded Expressions in Practice |
ICDT
2001
ACM
14 years 3 months ago
2001
ACM
A number of efficient methods for evaluating first-order and monadic-second order queries on finite relational structures are based on tree-decompositions of structures or quer...
ARTS
1997
Springer
14 years 3 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
SP
1990
IEEE
14 years 3 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
DIS
2006
Springer
14 years 2 months ago
2006
Springer
Parametric Embedding (PE) has recently been proposed as a general-purpose algorithm for class visualisation. It takes class posteriors produced by a mixture-based clustering algori...
JOT
2007
2007
A Framework to Specify Declarative Rules on Objects, Attributes and Associations in the Object Model
13 years 10 months ago
There are various mechanisms for creating an application object model. These mechanisms are used for modeling the application Meta model and the user models. Some of the mechanism...