Automatic Inference and Effective Application of Temporal Specifications

Mining Software Specifications - Chapman & Hall/CRC Data Mining and Knowledge Discovery Series ◽

10.1201/b10928-9 ◽

2011 ◽

pp. 241-307

Author(s):

Jinlin Yang ◽

David Evans

Keyword(s):

Effective Application ◽

Automatic Inference ◽

Temporal Specifications

Download Full-text

A Study on the Effective Application of Non-verbal Codes in Christian Cultural Missionary Work: With a Focus on the Background Music in the Skit Drama Bus in My Heart

10.33645/cnc.2020.11.42.11.83 ◽

2020 ◽

Vol 42 (11) ◽

pp. 83-118

Author(s):

Ha Eun Park

Keyword(s):

Background Music ◽

Missionary Work ◽

Effective Application

Download Full-text

National Judges and Supranational Laws on the Effective Application of the EC Law and the ECHR: The Case of Cyprus

SSRN Electronic Journal ◽

10.2139/ssrn.1623560 ◽

2010 ◽

Author(s):

Nikolas Kyriakou

Keyword(s):

Effective Application ◽

Download Full-text

An Analysis on the Prose Part in the Existing Classical Chinese textbooks for Effective Application of 2015 Revised Classical Chinese National Curriculum : Focusing on Biographically Historic Writings and Practical Writings

Daedong Hanmun Association ◽

10.21794/ddhm.2017.52.123 ◽

2017 ◽

Vol 52 ◽

pp. 123-163

Author(s):

Sung-joong Kim ◽

Keyword(s):

National Curriculum ◽

Effective Application ◽

Classical Chinese

Download Full-text

Effective application of systems assurance techniques on complex railway development projects

IET International Conference on Railway Engineering 2008 (ICRE 2008) ◽

10.1049/ic:20080017 ◽

2008 ◽

Author(s):

C. Ho

Keyword(s):

Development Projects ◽

Effective Application

Download Full-text

Automatic inference of movements from contact histories

ACM SIGCOMM Computer Communication Review ◽

10.1145/2043164.2018481 ◽

2011 ◽

Vol 41 (4) ◽

pp. 386-387 ◽

Author(s):

Pengcheng Wang ◽

Zhaoyu Gao ◽

Xinhui Xu ◽

Yujiao Zhou ◽

Haojin Zhu ◽

...

Keyword(s):

Automatic Inference

Download Full-text

Interactive synthesis of temporal specifications from examples and natural language

Proceedings of the ACM on Programming Languages ◽

10.1145/3428269 ◽

2020 ◽

Vol 4 (OOPSLA) ◽

pp. 1-26

Author(s):

Ivan Gavran ◽

Eva Darulova ◽

Rupak Majumdar

Keyword(s):

Natural Language ◽

Temporal Specifications

Download Full-text

Traffic Models as an Effective Application in a Converged Network

2021 IEEE International Conference on Power Electronics, Computer Applications (ICPECA) ◽

10.1109/icpeca51329.2021.9362546 ◽

2021 ◽

Author(s):

Zhao Yize

Keyword(s):

Traffic Models ◽

Effective Application ◽

Converged Network

Download Full-text

AutoMO: automatic inference of memory order parameters for C/C++11

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015 ◽

10.1145/2814270.2814286 ◽

2015 ◽

Author(s):

Peizhao Ou ◽

Brian Demsky

Keyword(s):

Order Parameters ◽

Automatic Inference

Download Full-text

Synthesis of coordination programs from linear temporal specifications

Proceedings of the ACM on Programming Languages ◽

10.1145/3371122 ◽

2020 ◽

Vol 4 (POPL) ◽

pp. 1-27

Author(s):

Suguman Bansal ◽

Kedar S. Namjoshi ◽

Yaniv Sa'ar

Keyword(s):

Temporal Specifications

Download Full-text

Automatic Inference of High-Level Network Intents by Mining Forwarding Patterns

Proceedings of the Symposium on SDN Research ◽

10.1145/3373360.3380831 ◽

2020 ◽

Author(s):

Ali Kheradmand

Keyword(s):

Automatic Inference ◽

Download Full-text