815 search results - page 75 / 163 » Algebraic Recognizability of Languages |
141
click to vote
IFIP
2009
Springer
16 years 20 days ago
2009
Springer
We firstly describe an algebraic structure which serves as solid basis to quantitatively reason about information flows. We demonstrate how programs in form of partition of state...
145
click to vote
ADBIS
2005
Springer
15 years 11 months ago
2005
Springer
We present a query language called MDatalog, which is an extension of Datalog for multimodal deductive databases. We define modal relational algebras and give the seminaive evalua...
151
click to vote
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
176
click to vote
ADBIS
2004
Springer
15 years 11 months ago
2004
Springer
: The purpose of the current work is to explore and improve the analysis of event data stored in event repositories, enabling the application of specialized event algebra operators...
173
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...