Search results for "OTS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
171	Jingyue Li, Marco Torchiano, Reidar Conradi, Odd Petter N. Slyngstad, Christian Bunse	A State-of-the-Practice Survey of Off-the-Shelf Component-Based Development Processes.	ICSR	2006	DBLP DOI BibTeX RDF
156	Mohsen Sharifi, S. F. Noorani, F. Orooji	A New Technique for Participation of Non-CORBA Independent Persistent Objects in OTS Transactions.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF	Object Transaction Service (OTS), Recoverable Object, Shadow Object, CORBA, Distributed Transaction, Persistent Object
156	Lawrence Chung, Xavier Franch, Neil A. M. Maiden	Second international workshop on models and processes for the evaluation of off-the-shelf components (MPEC'05).	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	OTS products, OTS-based systems
124	Reidar Conradi, Jingyue Li	Observations on versioning of off-the-shelf components in industrial projects (short paper).	SCM	2005	DBLP DOI BibTeX RDF
109	Jingyue Li, Reidar Conradi, Odd Petter N. Slyngstad, Marco Torchiano, Maurizio Morisio, Christian Bunse	A State-of-the-Practice Survey of Risk Management in Development with Off-the-Shelf Software Components.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Software Engineering/Reusable Software, Software Engineering/Management, Software Engineering/Software Engineering Process
102	Weimin Ma, Kendra M. L. Cooper, Lawrence Chung	Matching Effectiveness and OTS Model Richness.	SNPD	2005	DBLP DOI BibTeX RDF
101	Claudia P. Ayala, Carl-Fredrik Sørensen, Reidar Conradi, Xavier Franch, Jingyue Li	Open Source Collaboration for Fostering Off-The-Shelf Components Selection. (PDF / PS)	OSS	2007	DBLP DOI BibTeX RDF	Off-the-Shelf components (OTS), Open Source Software (OSS), open source collaboration, reuse, Commercial-Off-The-Shelf (COTS), component selection
94	Claudia P. Ayala, Xavier Franch	Assessing What Information Quality Means in OTS Selection Processes.	ICCBSS	2008	DBLP DOI BibTeX RDF	Off-The-Shelf (OTS) components, Information Quality
93	Yan Li 0067, Minghui Zhou 0001, Donggang Cao, Lu Zhang 0023	Constructing Flexible Application Servers with Off-the-Shelf Middleware Services Integration Framework.	ICSR	2008	DBLP DOI BibTeX RDF
93	Sanghyun Park, Eugene Earlie, Aviral Shrivastava, Alex Nicolau, Nikil D. Dutt, Yunheung Paek	Automatic generation of operation tables for fast exploration of bypasses in embedded processors.	DATE	2006	DBLP DOI BibTeX RDF
93	Jingyue Li, Reidar Conradi, Odd Petter N. Slyngstad, Christian Bunse, Muhammad Umair Ahmed Khan, Marco Torchiano, Maurizio Morisio	Validation of New Theses on Off-the-Shelf Component Based Development.	IEEE METRICS	2005	DBLP DOI BibTeX RDF
86	Kendra M. L. Cooper, Lawrence Chung	Managing change in an OTS-aware requirements engineering approach.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
86	Peter T. Popov, Lorenzo Strigini, Steve Riddle, Alexander B. Romanovsky	On Systematic Design of Protectors for Employing OTS Items.	EUROMICRO	2001	DBLP DOI BibTeX RDF	error detection and recovery, dependability, traceability, COTS, System integration, wrapping
78	Jian Liang, Simone Sédillot, Bruno Traverson	OMG Object Transaction Service based on an X/Open and ISO OSI TP Kernel.	HICSS (1)	1997	DBLP DOI BibTeX RDF
70	Kazuhiro Ogata 0001, Kokichi Futatsugi	Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
70	Deron Liang, Win-Tsung Lo, Yu-Ming Kao, Shyan-Ming Yuan, Yue-Shan Chang	A fault tolerant object transaction service in CORBA.	COMPSAC	1997	DBLP DOI BibTeX RDF	fault tolerant object transaction service, robust software, mission critical applications, Object Transaction Service, CORBA 2 specification, transactional applications, OTS implementation, node crashes, software system failures, process hangs, Orbix, object-oriented methods, database applications, Sun workstations, ACID properties
62	Weiqiang Kong, Kazuhiro Ogata 0001, Kokichi Futatsugi	Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System.	IFM	2007	DBLP DOI BibTeX RDF
62	Aviral Shrivastava, Eugene Earlie, Nikil D. Dutt, Alexandru Nicolau	Retargetable pipeline hazard detection for partially bypassed processors.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
62	Jingyue Li, Reidar Conradi, Odd Petter N. Slyngstad, Marco Torchiano, Maurizio Morisio, Christian Bunse	Preliminary Results from a State-of-the-Practice Survey on Risk Management in Off-the-Shelf Component-Based Development.	ICCBSS	2005	DBLP DOI BibTeX RDF
62	Peter T. Popov	Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components.	SAFECOMP	2002	DBLP DOI BibTeX RDF
62	Prabhu Ram, Lyman Do, Pamela Drew, Tong Zhou	Object Transaction Service: Experiences and Open Issues.	DOA	1999	DBLP DOI BibTeX RDF
62	Ennio Grasso	Implementing interposition in CORBA Object Transaction Service.	EDOC	1997	DBLP DOI BibTeX RDF	CORBA object model, Object Transaction Service, implementation design, Orbix, transaction objects interposition, object-oriented methods, distributed transactions, object request broker
56	Kazuhiro Ogata 0001, Kokichi Futatsugi	Formal Analysis of the NetBill Electronic Commerce Protocol.	ISSS	2003	DBLP DOI BibTeX RDF	NetBill, OTS, verification, electronic commerce, security protocol, algebraic specification, CafeOBJ
55	Tom Anderson 0001, Mei Feng, Steve Riddle, Alexander B. Romanovsky	Error Recovery for a Boiler System with OTS PID Controller.	WORDS	2005	DBLP DOI BibTeX RDF
55	Ivan Silva Neto, Francisco Reverbel	On the Performance of Transactional Remote Invocations over Commonly Used Transports.	COMPSAC	2008	DBLP DOI BibTeX RDF	transactional invocations, CORBA OTS, WS-AtomicTransaction, performance, transactions
47	Juan Pablo Carvallo 0001, Xavier Franch	On the Use of Requirements for Driving Call-for-Tender Processes for Procuring Coarse-grained OTS Components.	RE	2009	DBLP DOI BibTeX RDF	OTS componentes, call-for-tender processes, requirements engineering
47	Kaoru Inoue, Kazuyoshi Wada, Yuko Ito	Effective Application of Paro: Seal Type Robots for Disabled People in According to Ideas of Occupational Therapists.	ICCHP	2008	DBLP DOI BibTeX RDF	Mental Commit Robot, Robot Therapy, Seal type Robot, Human-Robot Interaction, disabled people, Occupational Therapy
47	Jingyue Li, Reidar Conradi, Odd Petter N. Slyngstad, Christian Bunse, Muhammad Umair Ahmed Khan, Marco Torchiano, Maurizio Morisio	An Empirical Study on Off-the-Shelf Component Usage in Industrial Projects.	PROFES	2005	DBLP DOI BibTeX RDF
47	Eduardo Romero 0002, Gabriela Peretti, Carlos A. Marqués	Oscillation Test Strategy: A Case Study.	J. Electron. Test.	2004	DBLP DOI BibTeX RDF	oscillation test strategy, testing, design for test, operational amplifier
47	Weiqiang Kong, Kazuhiro Ogata 0001, Jianwen Xiang, Kokichi Futatsugi	Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol.	CIT	2004	DBLP DOI BibTeX RDF
47	Fan Ye 0005, Tim Kelly	Component Failure Mitigation According to Failure Type.	COMPSAC	2004	DBLP DOI BibTeX RDF
41	Henri Ots, Innar Liiv, Diana Tur	Mobile Phone Usage Data for Credit Scoring.	CoRR	2020	DBLP BibTeX RDF
41	Henri Ots, Innar Liiv, Diana Tur	Mobile Phone Usage Data for Credit Scoring.	DB&IS	2020	DBLP DOI BibTeX RDF
41	Nele Ots	On the phrase-level function of f0 in Estonian.	J. Phonetics	2017	DBLP DOI BibTeX RDF
41	Kärt Ots, Fernando Loizides, Sónia Sousa 0001	Information Seeking Behaviour of Scholars Using Resource Discovery Systems.	ECIL	2015	DBLP DOI BibTeX RDF
41	Anssi Tarkiainen, Hanna-Kaisa Ellonen, Mart Ots, Lara Stocchi	Creating Loyalty Towards Magazine Websites: Insights from the Double Jeopardy Phenomenon.	Int. J. E Bus. Res.	2014	DBLP DOI BibTeX RDF
41	Heikki Laaki, Karel Kaurila, Karl Ots, Vik Nuckchady, Petros Belimpasakis	Augmenting virtual worlds with real-life data from mobile devices.	VR	2010	DBLP DOI BibTeX RDF
39	Jianwen Xiang, Dines Bjørner, Kokichi Futatsugi	Formal digital license language with OTS/CafeOBJ method.	AICCSA	2008	DBLP DOI BibTeX RDF
39	Charles Santoni, Jean-Marc Mercantini, Maria de F. Q. V. Turnell, Alexandre Scaico, José A. do N. Neto	A real-time interface simulator for operator's training: a proposed architecture.	SCSC	2007	DBLP BibTeX RDF	operator training systems (OTS), simulation engine architecture, virtual reality, petri nets, human interfaces, industrial automation
39	Kazuhiro Ogata 0001, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi	Induction-Guided Falsification.	ICFEM	2006	DBLP DOI BibTeX RDF	observational transition system (OTS), invariant, induction, counterexample, Maude, CafeOBJ
31	Danny Harnik, Yuval Ishai, Eyal Kushilevitz, Jesper Buus Nielsen	OT-Combiners via Secure Computation.	TCC	2008	DBLP DOI BibTeX RDF
31	David de Andrés, Juan-Carlos Ruiz-Garcia, Daniel Gil, Pedro J. Gil	Dependability Assessment for the Selection of Embedded Cores.	EDCC	2008	DBLP DOI BibTeX RDF
31	Danny Harnik, Yuval Ishai, Eyal Kushilevitz	How Many Oblivious Transfers Are Needed for Secure Multiparty Computation?	CRYPTO	2007	DBLP DOI BibTeX RDF
31	Qianhong Wu, Bo Qin, Changjie Wang, Xiaofeng Chen 0001, Yumin Wang	t-Out-of-n String/Bit Oblivious Transfers Revisited.	ISPEC	2005	DBLP DOI BibTeX RDF
31	Kazuhiro Ogata 0001, Masahiro Nakano, Masaki Nakamura 0001, Kokichi Futatsugi	Chocolat/SMV: A Translator from CafeOBJ into SMV.	PDCAT	2005	DBLP DOI BibTeX RDF
31	Tiago R. Balen, Antonio Andrade Jr., Florence Azaïs, Michel Renovell, Marcelo Lubaszewski	Testing the Configurable Analog Blocks of Field Programmable Analog Arrays.	ITC	2004	DBLP DOI BibTeX RDF
31	Tom Anderson 0001, Mei Feng, Steve Riddle, Alexander B. Romanovsky	Protective Wrapper Development: A Case Study.	ICCBSS	2003	DBLP DOI BibTeX RDF
31	B. Ramakrishna Rau, Michael S. Schlansker	Embedded Computer Architecture and Automation.	Computer	2001	DBLP DOI BibTeX RDF
31	Aykut Kutlusan, Nadir Altmidort, Tufan Oruk, Alpay Duman	A Combat Management System Middleware Based on CORBA.	DOA	2000	DBLP DOI BibTeX RDF
31	Juliano Iyoda, Augusto Sampaio, Leila Silva	ParTS: A Partitioning Transformation System.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
31	Sherif M. Yacoub, Bojan Cukic, Hany H. Ammar	A Component-based Approach to Reliability Analysis of Distributed Systems.	SRDS	1999	DBLP DOI BibTeX RDF	Component-Dependency Graphs and Scenario-based Reliability Analysis, Reliability Analysis
31	Bjørn W. Bjanger, Anders Solhaug	ATM Network Management with Distributed Transactional Agents.	IS&N	1998	DBLP DOI BibTeX RDF
24	Hartmut Vogler, Thomas Kunkelmann, Marie-Luise Moschgath	An Approach for Mobile Agent Security and Fault Tolerance using Distributed Transactions.	ICPADS	1997	DBLP DOI BibTeX RDF	OTS, security, fault tolerance, mobile agents, electronic commerce, CORBA, distributed transactions
24	Tianhao Chen, Pengbo Xu, Haibiao Zheng	Bootstrapping OTS-Funcimg Pre-training Model (Botfip) - A Comprehensive Symbolic Regression Framework.	CoRR	2024	DBLP DOI BibTeX RDF
24	Muthakshi S, Mahesh K	Long-Term Container Allocation via Optimized Task Scheduling Through Deep Learning (OTS-DL) And High-Level Security.	KSII Trans. Internet Inf. Syst.	2023	DBLP DOI BibTeX RDF
24	Wenbo Hu, Hongjian Zhan, Cong Liu, Bing Yin, Yue Lu 0001	OTS: A One-shot Learning Approach for Text Spotting in Historical Manuscripts.	CoRR	2023	DBLP DOI BibTeX RDF
24	Yifan Wang, Masaki Nakamura 0001, Kazutoshi Sakakibara, Yuki Okura	Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S).	SEKE	2023	DBLP DOI BibTeX RDF
24	P. C. Chang, P. J. Liao, C. H. Wu, Y. C. Chang, D. H. Hou, Elia Ambrosi, H. Y. Lee, J. H. Lee, X. Y. Bao	A New Ramp Stress Reliability Assessment on Pulse Energy Based OTS Switching Operation.	IRPS	2023	DBLP DOI BibTeX RDF
24	Motonari Honda, Yuichi Kaji	Improvement of Winternitz OTS with a Novel Fingerprinting Function.	SECRYPT	2023	DBLP DOI BibTeX RDF
24	Sanghyun Ban, Jangseop Lee, Taehoon Kim, Hyunsang Hwang	Simple Binary In-Te OTS with Sub-nm HfOₓ Buffer Layer for 3D Vertical X-point Memory Applications.	VLSI Technology and Circuits	2023	DBLP DOI BibTeX RDF
24	Wei-Chih Chien, E. K. Lai, L. Buzi, C. W. Cheng, C. W. Yeh, A. Ray, Lynne M. Gignac, N. Gong, H. Y. Cheng, A. Grun, D. Y. Lee, W. Kim, A. Majumdar, Douglas M. Bishop, Robert L. Bruce, D. Daudelin, H. Y. Ho, M. J. BrightSky, H. L. Lung	A Comprehensive Study on the Pillar Size of OTS-PCM Memory with an Optimized Process and Scaling Trends Down to Sub-10 nm for SCM Applications.	IMW	2023	DBLP DOI BibTeX RDF
24	Tommi Jauhiainen, Heidi Jauhiainen, Krister Lindén	Tuning HeLI-OTS for Guarani-Spanish Code Switching Analysis.	IberLEF@SEPLN	2023	DBLP BibTeX RDF
24	Taeung No, Seonjun Choi, Gaeryun Sung, Seong-Beom Kim, Jaeduk Han, Yun Heub Song	A Discharge-Path-Based Sensing Circuit With OTS Snapback Current Protection for Phase Change Memories.	IEEE Access	2022	DBLP DOI BibTeX RDF
24	Masaki Nakamura 0001, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata 0001	Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2022	DBLP DOI BibTeX RDF
24	Camille Laguna, Mathieu Bernard, Julien Garrione, Niccolo Castellani, Valentina Meli, S. Martin, François Aussenac, D. Rouchon, N. Rochat, Emmanuel Nolot, Guillaume Bourgeois, Marie Claire Cyrille, Liviu Militaru, A. Souifi, François Andrieu, Gabriele Navarro	Multilayer Structure in SeAsGeSi-based OTS for High Thermal Stability and Reliability Enhancement.	ESSDERC	2022	DBLP DOI BibTeX RDF
24	Tatsuya Igarashi, Masaki Nakamura 0001, Kazutoshi Sakakibara	Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control Protocol using the OTS/CafeOBJ Method.	SEKE	2022	DBLP DOI BibTeX RDF
24	Wei-Chih Chien, Lynne M. Gignac, Y. C. Chou, C. H. Yang, N. Gong, H. Y. Ho, C. W. Yeh, H. Y. Cheng, W. Kim, I. T. Kuo, E. K. Lai, C. W. Cheng, L. Buzi, A. Ray, C. S. Hsu, Robert L. Bruce, Matthew BrightSky, H. L. Lung	Endurance Evaluation on OTS-PCM Device using Constant Current Stress Scheme.	IRPS	2022	DBLP DOI BibTeX RDF
24	Wen Ma, Tung Thanh Hoang, Brian Hoskins, Matthew W. Daniels, Jabez J. McClelland, Yutong Gao, Gina C. Adam, Martin Lueker-Boden	Effect of OTS Selector Reliabilities on NVM Crossbar-based Neuromorphic Training.	IRPS	2022	DBLP DOI BibTeX RDF
24	Jangseop Lee, Seonghun Kim, Sangmin Lee, Sanghyun Ban, Seongjae Heo, Donghwa Lee, Oleksandr Mosendz, Hyunsang Hwang	Improving the SiGeAsTe Ovonic Threshold Switching (OTS) Characteristics by Microwave Annealing for Excellent Endurance (> 1011) and Low Drift Characteristics.	VLSI Technology and Circuits	2022	DBLP DOI BibTeX RDF
24	Tommi Jauhiainen, Heidi Jauhiainen, Krister Lindén	HeLI-OTS, Off-the-shelf Language Identifier for Text.	LREC	2022	DBLP BibTeX RDF
24	Duong Dinh Tran, Dang Duy Bui, Kazuhiro Ogata 0001	Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method.	IEEE Access	2021	DBLP DOI BibTeX RDF
24	Kwang Woo Lee, Hyun Kook Park, Seong-Ook Jung	Adaptive Sensing Voltage Modulation Technique in Cross-Point OTS-PRAM.	IEEE Trans. Very Large Scale Integr. Syst.	2021	DBLP DOI BibTeX RDF
24	Amos Zheng, Marcos A. Simplício Jr.	z-OTS: a one-time hash-based digital signaturescheme with fast verification.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
24	David Chaum, Mario Larangeira, Mario Yaksetig, William Carter	W-OTS(+) up my Sleeve! A Hidden Secure Fallback for Cryptocurrency Wallets.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
24	Masaki Nakamura 0001, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata 0001	Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method.	Int. J. Softw. Eng. Knowl. Eng.	2021	DBLP DOI BibTeX RDF
24	Masaki Nakamura 0001, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata 0001	Formal verification of multitask hybrid systems by the OTS/CafeOBJ method.	SEKE	2021	DBLP DOI BibTeX RDF
24	J. Gasquez, Bastien Giraud, P. Boivin, Y. Moustapha-Rabault, Vincenzo Della Marca, Jean-Michel Walder, Jean-Michel Portal	A Regulated Sensing Solution Based on a Self-reference Principle for PCM + OTS Memory Array.	VLSI-SoC (Selected Papers)	2021	DBLP DOI BibTeX RDF
24	J. Gasquez, Bastien Giraud, P. Boivin, Y. Moustapha-Rabault, Vincenzo Della Marca, Jean-Pierre Walder, Jean-Michel Portal	A Self-referenced and regulated sensing solution for PCM with OTS selector.	VLSI-SoC	2021	DBLP DOI BibTeX RDF
24	Zhong Ma, Hongqi Yu, Shiqing Zhang, Yi Sun, Jietao Diao, David Day-Uei Li	Random time delay analysis of Nb2O5 and OTS memristors.	ICISCAE (IEEE)	2021	DBLP DOI BibTeX RDF
24	David Chaum, Mario Larangeira, Mario Yaksetig, William Carter	W-OTS+ Up My Sleeve! A Hidden Secure Fallback for Cryptocurrency Wallets.	ACNS (1)	2021	DBLP DOI BibTeX RDF
24	Joel Minguet Lopez, Niccolo Castellani, Laurent Grenouillet, Lucas Reganaz, Gabriele Navarro, Mathieu Bernard, Catherine Carabasse, Thomas Magis, Damien Deleruyelle, Marc Bocquet, Jean-Michel Portal, E. Nowak, Gabriel Molas	Ge-Se-Sb-N-based OTS scaling perspectives for high-density 1 S1R crossbar arrays.	IMW	2021	DBLP DOI BibTeX RDF
24	Camille Laguna, Mathieu Bernard, Nicolas Bernier, D. Rouchon, N. Rochat, Julien Garrione, A. Jannaud, Emmanuel Nolot, Valentina Meli, Niccolo Castellani, C. Sabbione, Guillaume Bourgeois, Marie Claire Cyrille, Liviu Militaru, A. Souifi, Gabriele Navarro, Etienne Nowak	Multilayer OTS Selectors Engineering for High Temperature Stability, Scalability and High Endurance.	IMW	2021	DBLP DOI BibTeX RDF
24	Hualin Cai, Rui Ding, Weizhuo Huang, Yinwei Zhan, Rongqian Yang	Fast Calibration with OTS for AR-based Surgical Navigation.	M2VIP	2021	DBLP DOI BibTeX RDF
24	Seong-il Im, Hyejin Lee, Jaesang Lee 0004, Jae-Seung Jeong, Joon Young Kwak, Keunsu Kim, Jeong Ho Cho, Hyunsu Ju, Suyoun Lee	Highly-scalable stochastic neuron based on Ovonic Threshold Switch (OTS) and its applications in Restricted Boltzmann Machine (RBM).	CoRR	2020	DBLP BibTeX RDF
24	Masaki Nakamura 0001, Kazutoshi Sakakibara, Kazuhiro Ogata 0001	Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method.	CoRR	2020	DBLP BibTeX RDF
24	Mikhail A. Kudinov, Evgeniy O. Kiktenko, Aleksey K. Fedorov	Security analysis of the W-OTS+ signature scheme: Updating security bounds.	CoRR	2020	DBLP BibTeX RDF
24	Kwang Woo Lee, Hyun Kook Park, Seong-Ook Jung	A Read Voltage Modulation Technique for Leakage Current Compensation in Cross-Point OTS-PRAM.	ISCAS	2020	DBLP DOI BibTeX RDF
24	Masaki Nakamura 0001, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata 0001	Formal verification of Fischer's real-time mutual exclusion protocol by the OTS/CafeOBJ method.	SICE	2020	DBLP BibTeX RDF
24	Jonathan Baxter	Some observations concerning Off Training Set (OTS) error.	CoRR	2019	DBLP BibTeX RDF
24	V. Balamurugan, R. Saravanan 0005	Enhanced intrusion detection and prevention system on cloud environment using hybrid classification and OTS generation.	Clust. Comput.	2019	DBLP DOI BibTeX RDF
24	Jiyong Woo, Shimeng Yu	Design Space Exploration of Ovonic Threshold Switch (OTS) for Sub-Threshold Read Operation in Cross-Point Memory Arrays.	ISCAS	2019	DBLP DOI BibTeX RDF
24	Nikolaos Triantafyllou	Software engineering applications of the OTS/CafeOBJ algebraic specification method		2019	RDF
24	Milim Lee, Youngjo Kim, Seong Won Cho, Joon Young Kwak, Hyunsu Ju, Yeonjin Yi, Byung-ki Cheong, Suyoun Lee	A highly scalable and energy-efficient artificial neuron using an Ovonic Threshold Switch (OTS) featuring the spike-frequency adaptation and chaotic activity.	CoRR	2018	DBLP BibTeX RDF
24	Dominik Klein 0001	Key-Secrecy of PACE with OTS/CafeOBJ.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
24	Anthonin Verdy, Gabriele Navarro, Mathieu Bernard, Sophie Chevalliez, Niccolo Castellani, Emmanuel Nolot, Julien Garrione, Pierre Noe, Guillaume Bourgeois, Veronique Sousa, Marie Claire Cyrille, Etienne Nowak	Carbon electrode for Ge-Se-Sb based OTS selector for ultra low leakage current and outstanding endurance.	IRPS	2018	DBLP DOI BibTeX RDF
24	Solomon Amsalu Chekol, Jongmyung Yoo, Hyunsang Hwang	Thermally Stable Te-based Binary OTS Device for Selector Application.	NVMTS	2018	DBLP DOI BibTeX RDF
24	Marie Claire Cyrille, Anthonin Verdy, Gabriele Navarro, Guillaume Bourgeois, Julien Garrione, Mathieu Bernard, C. Sabbione, Pierre Noe, Etienne Nowak	OTS selector devices: Material engineering for switching performance.	ICICDT	2018	DBLP DOI BibTeX RDF
24	Saumya Solanki, Gautam Krishnan, Varshini Sampath, Jason Polakis	In (Cyber)Space Bots Can Hear You Speak: Breaking Audio CAPTCHAs Using OTS Speech Recognition.	AISec@CCS	2017	DBLP DOI BibTeX RDF
24	Ryusei Mori, Masaki Nakamura 0001	Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation.	ICST Workshops	2017	DBLP DOI BibTeX RDF
24	Iakovos Ouranos, Kazuhiro Ogata 0001, Petros S. Stefaneas	TESLA Source Authentication Protocol Verification Experiment in the Timed OTS/CafeOBJ Method: Experiences and Lessons Learned.	IEICE Trans. Inf. Syst.	2014	DBLP DOI BibTeX RDF