1438 search results - page 57 / 288 » An Expressive Extension of TLC |
APSEC
2004
IEEE
14 years 2 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
JSYML
2007
13 years 11 months ago
2007
Abstract. A new axiom is proposed, the Ground Axiom, asserting that the universe is not a nontrivial set forcing extension of any inner model. The Ground Axiom is first-order expr...
PODS
2000
ACM
14 years 3 months ago
2000
ACM
We consider spatial databases in the plane that can be defined by polynomial constraint formulas. Motivated by applications in geographic information systems, we investigate line...
LATA
2010
Springer
13 years 9 months ago
2010
Springer
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
IAT
2006
IEEE
14 years 5 months ago
2006
IEEE
Across various domains, the relational model for databases is employed extensively for the purpose of storing, managing and retrieving data. The translation, however, of data mode...