MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Benchmark Semantics." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 26 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Translations between Modal Logics of Reactive Systems  
  • by Laroussinie Pinchinat And, F. Laroussinie, S. Pinchinat, Ph. Schnoebelen — 1995 — Special Issue on AMAST'93, TCS
  • … applications, logics like the Hennessy-Milner Logic (shortly, HML) have been used as a benchmark for semantic
  • Add To MetaCart
  • A Benchmarking Technique for DBMS`s with Advanced Data Models  
  • by Naphtali Rishe, Alexander Vaschillo, Er Vaschillo, Dmitry Vasilevsky, Artyom Shaposhnikov, Shu-ching Chen — 2000 — ACM SIGMOD ADBISDASFAA Symposium on Advances in Databases and Information Systems
  • … to the semantic databases. A new semantic benchmark is proposed which allows evaluation of the performance…
  • Cited by 4 (4 self)Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB