846 search results - page 70 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
CORR
2002
Springer
15 years 15 days ago
2002
Springer
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previous...
150
click to vote
FROCOS
2011
Springer
14 years 11 days ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...
EURODAC
1994
IEEE
15 years 4 months ago
1994
IEEE
Due to the complexity of today's systems, prototyping by simulation must be based on simulation-engine-like performance. It is proved by implementations that compiler-driven ...
126
click to vote
LOPSTR
2005
Springer
15 years 6 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
DAC
2003
ACM
16 years 1 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...