搜索页_Log+messages

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

中国地质文献-英文(1)	SpringerLink电子期刊(568)	NATURE电子期刊(3)
Wiley电子期刊(4)	ProQuest学位论文(83)	Elsevier电子期刊(388)

在“SpringerLink电子期刊”中，命中：568条，耗时：0.0169859 秒

在所有数据库中总计命中：1,047条

1. Characterizing logging practices in Java-based open source software projects – a replication study in Apache Software Foundation

作者： Boyuan Chen ; Zhen Ming (Jack) Jiang

关键词：Empirical study ; Replication ; Log messages ; Logging code ; Mining software engineering data ; MSR

刊名：Empirical Software Engineering

出版年：2017

2. Robust Anti-Collective Noise Quantum Secure Direct Dialogue Using Logical Bell States

作者： Di Wu ; Hong-Jun Lv ; Guang-Jun Xie

关键词：QSDC ; QSDD ; Collective noise ; Logical Bell states

刊名：International Journal of Theoretical Physics

出版年：2016

3. Deterministic Leader Election in \(O(D+\log n)\) Time with Messages of Size O(1)

刊名：Lecture Notes in Computer Science

出版年：2016

4. Automated Proofs of Block Cipher Modes of Operation

作者： Martin Gagné ; Pascal Lafourcade ; Yassine Lakhnech…

关键词：Automated verification ; Hoare logic ; Provable cryptography ; Symmetric encryption ; Block cipher

刊名：Journal of Automated Reasoning

出版年：2016

5. Selected Results and Related Issues of Confidentiality-Preserving Controlled Interaction Execution

关键词：A priori knowledge ; Belief ; Censor ; Client state ; Completeness ; Confidentiality ; Constraint satisfaction ; Distortion ; Evaluated secrecy ; First ; order logic ; Guarded commands ; Inference control ; Information system ; Information flow control ; Interaction history ; Knowledge ; Lying ; Model theory ; Monitoring ; Non ; monotonic reasoning ; Policy ; Possibilistic secrecy ; Proof theory ; Program execution ; Query answering ; Rational reasoning ; Refusal ; Relational database ; Security automaton ; Security invariant

刊名：Lecture Notes in Computer Science

出版年：2016

6. A Simple Method to Record Keystrokes on Mobile Phones and Other Devices for Usability Evaluations

关键词：Keystroke ; logging ; Usability testing ; Mobile devices ; Virtual network computing (VNC)

刊名：Lecture Notes in Computer Science

出版年：2016

7. Applications of Multi-Channel Safety Authentication Protocols in Wireless Networks

作者： Young-Long Chen ; Ren-Hau Liau ; Liang-Yu Chang

关键词：Authentication protocol ; XOR ; Android ; Mobile device ; SSL

刊名：Journal of Medical Systems

出版年：2016

8. Family Structure, Maternal Dating, and Sexual Debut: Extending the Conceptualization of Instability

作者： Rena Cornell Zito ; Stacy De Coster

关键词：Family structure ; Sexual behavior ; Sexual attitudes ; Gender

刊名：Journal of Youth and Adolescence

出版年：2016

9. Chat with illustration

作者： Yu Jiang ; Jing Liu ; Hanqing Lu

关键词：Instant messaging service ; Text ; to ; picture ; Layout

刊名：Multimedia Systems

出版年：2016

10. Robust quantum dialogue based on the entanglement swapping between any two logical Bell states and the shared auxiliary logical Bell state

作者： Tian-Yu Ye

关键词：Quantum dialogue (QD) ; Entanglement swapping ; Logical Bell state ; Collective ; dephasing noise ; Collective ; rotation noise ; Information leakage

刊名：Quantum Information Processing

出版年：2015

按检索点细分(568)

题名(4)

关键词(2)

文摘(549)

按出版年细分(568)

2017年(1)

2016年(30)

2015年(42)

2014年(49)

2013年(56)

2012年(48)

2011年(16)

2010年(19)

2009年(32)

2008年(51)

2007年(57)

2006年(56)

2005年(44)

2004年(23)

2003年(8)

2002年(18)

2001年(1)

2000年(5)

2000年及以前(12)