815 search results - page 97 / 163 » Algebraic Recognizability of Languages |
147
click to vote
FM
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
235
click to vote
FOSAD
2009
Springer
16 years 22 days ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
197
click to vote
EDBTW
2006
Springer
15 years 9 months ago
2006
Springer
Several query languages have been proposed for managing data streams in modern monitoring applications. Continuous queries expressed in these languages usually employ windowing con...
152
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
We consider formulas which, in addition to the symbols in the vocabulary, may use two designated symbols ≺ and + that must be interpreted as a linear order and its associated ad...
228
click to vote
CIDR
2009
15 years 7 months ago
2009
Recent excitement in the database community surrounding new applications--analytic, scientific, graph, geospatial, etc.--has led to an explosion in research on database storage sy...