SQRL
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
- 2014 23rd International Conference on Parallel…
- 2014
Software data structures are a critical aspect of emerging data-centric applications which makes it imperative to improve the… (More)
Is this relevant?
2012
2012
- ArXiv
- 2012
Over the last several years the tools used for model checking have become more efficient and usable. This has enabled users to… (More)
Is this relevant?
2007
2007
- 2007
In recent years deontic logics (see [12] for an historical introduction) have generated great interest among computer scientists… (More)
Is this relevant?
2006
2006
- 2006
Ben Flood is a research fellow in the Centre for Telecommunications Value-Chain Research (CTVR) based in Trinity College Dublin… (More)
Is this relevant?
Review
2001
Review
2001
- Electr. Notes Theor. Comput. Sci.
- 2001
The basic mathematical laws of relations can be presented and verified using compact abstract notation. However, descriptions of… (More)
Is this relevant?
1999
1999
- USENIX Annual Technical Conference, FREENIX Track
- 1999
Transactional database management systems (DBMS’s) have special data integrity requirements that standard filesystems such as the… (More)
Is this relevant?