|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 88 occurrences of 65 keywords
|
|
|
Results
Found 179 publication records. Showing 174 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Reuse of Off-the-Shelf Components, 9th International Conference on Software Reuse, ICSR 2006, Turin, Italy, June 12-15, 2006, Proceedings, pp. 16-28, 2006, Springer, 3-540-34606-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EurAsia-ICT ![In: EurAsia-ICT 2002: Information and Communication Technology, First EurAsian Conference, Shiraz, Iran, October 29-31, 2002, Proceedings, pp. 281-288, 2002, Springer, 3-540-00028-3. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(5), pp. 1-3, 2005. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCM ![In: Proceedings of the 12th International Workshop on Software Configuration Management, SCM 2005, Lisbon, Portugal, September 5-6, 2005, pp. 33-42, 2005, ACM, 1-59593-310-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 34(2), pp. 271-286, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Proceedings of the 6th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2005), May 23-25, 2005, Towson, Maryland, USA, pp. 26-31, 2005, IEEE Computer Society, 0-7695-2294-7. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSS ![In: Open Source Development, Adoption and Innovation, IFIP Working Group 2.13 on Open Source Software, June 11-14, 2007, Limerick, Ireland, pp. 17-30, 2007, Springer, 978-0-387-72485-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBSS ![In: Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), February, 25-29, 2008, Madrid, Spain, Proceedings, pp. 242, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: High Confidence Software Reuse in Large Systems, 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008, Proceedings, pp. 343-346, 2008, Springer, 978-3-540-68062-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 1197-1202, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-1-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 11th IEEE International Symposium on Software Metrics (METRICS 2005), 19-22 September 2005, Como Italy, pp. 26, 2005, IEEE Computer Society, 0-7695-2371-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
86 | Kendra M. L. Cooper, Lawrence Chung |
Managing change in an OTS-aware requirements engineering approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-4, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 27th EUROMICRO Conference 2001: A Net Odyssey, 4-6 September 2001, Warsaw, Poland, pp. 22-29, 2001, IEEE Computer Society, 0-7695-1236-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 110-119, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
70 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays Dedicated to Joseph A. Goguen ![In: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, pp. 596-615, 2006, Springer, 3-540-35462-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 115-120, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, pp. 393-412, 2007, Springer, 978-3-540-73209-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
62 | Aviral Shrivastava, Eugene Earlie, Nikil D. Dutt, Alexandru Nicolau |
Retargetable pipeline hazard detection for partially bypassed processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 14(8), pp. 791-801, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBSS ![In: COTS-Based Software Systems, 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings, pp. 278-288, 2005, Springer, 3-540-24548-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
62 | Peter T. Popov |
Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002, Proceedings, pp. 139-150, 2002, Springer, 3-540-44157-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
62 | Prabhu Ram, Lyman Do, Pamela Drew, Tong Zhou |
Object Transaction Service: Experiences and Open Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOA ![In: International Symposium on Distributed Objects and Applications, DOA 1999, Edinburgh, United Kingdom, September 5-7, 1999, pp. 296-304, 1999, IEEE Computer Society, 0-7695-0182-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
62 | Ennio Grasso |
Implementing interposition in CORBA Object Transaction Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 1st International Enterprise Distributed Object Computing Conference (EDOC '97), 24-26 October 1997, Gold Coast, Australia, Proceedings, pp. 184-189, 1997, IEEE Computer Society, 0-8186-8031-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers, pp. 45-64, 2003, Springer, 3-540-23635-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA, pp. 113-120, 2005, IEEE Computer Society, 0-7695-2347-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Ivan Silva Neto, Francisco Reverbel |
On the Performance of Transactional Remote Invocations over Commonly Used Transports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 377-384, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009, pp. 287-292, 2009, IEEE Computer Society, 978-0-7695-3761-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings, pp. 1321-1324, 2008, Springer, 978-3-540-70539-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product Focused Software Process Improvement, 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005, Proceedings, pp. 54-68, 2005, Springer, 3-540-26200-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Eduardo Romero 0002, Gabriela Peretti, Carlos A. Marqués |
Oscillation Test Strategy: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 20(4), pp. 389-396, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China, pp. 1100-1107, 2004, IEEE Computer Society, 0-7695-2216-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Fan Ye 0005, Tim Kelly |
Component Failure Mitigation According to Failure Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings, pp. 258-264, 2004, IEEE Computer Society, 0-7695-2209-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Henri Ots, Innar Liiv, Diana Tur |
Mobile Phone Usage Data for Credit Scoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.12616, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
41 | Henri Ots, Innar Liiv, Diana Tur |
Mobile Phone Usage Data for Credit Scoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DB&IS ![In: Databases and Information Systems - 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020, Proceedings, pp. 82-95, 2020, Springer, 978-3-030-57671-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
41 | Nele Ots |
On the phrase-level function of f0 in Estonian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Phonetics ![In: J. Phonetics 65, pp. 77-93, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
41 | Kärt Ots, Fernando Loizides, Sónia Sousa 0001 |
Information Seeking Behaviour of Scholars Using Resource Discovery Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIL ![In: Information Literacy: Moving Toward Sustainability - Third European Conference, ECIL 2015, Tallinn, Estonia, October 19-22, 2015, Revised Selected Papers, pp. 405-414, 2015, Springer, 978-3-319-28196-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. E Bus. Res. ![In: Int. J. E Bus. Res. 10(1), pp. 1-14, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: IEEE Virtual Reality Conference, VR 2010, Waltham, Massachusetts, USA, March 20-24, 2010, pp. 281-282, 2010, IEEE Computer Society, 978-1-4244-6258-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
39 | Jianwen Xiang, Dines Bjørner, Kokichi Futatsugi |
Formal digital license language with OTS/CafeOBJ method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: The 6th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2008, Doha, Qatar, March 31 - April 4, 2008, pp. 652-660, 2008, IEEE Computer Society, 978-1-4244-1967-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 460-467, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 114-131, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008., pp. 393-411, 2008, Springer, 978-3-540-78523-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Seventh European Dependable Computing Conference, EDCC-7 2008, Kaunas, Lithuania, 7-9 May 2008, pp. 79-84, 2008, IEEE Computer Society, 978-0-7695-3138-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Danny Harnik, Yuval Ishai, Eyal Kushilevitz |
How Many Oblivious Transfers Are Needed for Secure Multiparty Computation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2007, 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007, Proceedings, pp. 284-302, 2007, Springer, 978-3-540-74142-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPEC ![In: Information Security Practice and Experience, First International Conference, ISPEC 2005, Singapore, April 11-14, 2005, Proceedings, pp. 410-421, 2005, Springer, 3-540-25584-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Kazuhiro Ogata 0001, Masahiro Nakano, Masaki Nakamura 0001, Kokichi Futatsugi |
Chocolat/SMV: A Translator from CafeOBJ into SMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), 5-8 December 2005, Dalian, China, pp. 416-420, 2005, IEEE Computer Society, 0-7695-2405-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings 2004 International Test Conference (ITC 2004), October 26-28, 2004, Charlotte, NC, USA, pp. 893-902, 2004, IEEE Computer Society, 0-7803-8581-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Tom Anderson 0001, Mei Feng, Steve Riddle, Alexander B. Romanovsky |
Protective Wrapper Development: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBSS ![In: COTS-Based Software Systems, Second International Conference, ICCBSS 2003, Ottawa, Canada, February 10-13, 2003, Proceedings, pp. 1-14, 2003, Springer, 3-540-00562-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | B. Ramakrishna Rau, Michael S. Schlansker |
Embedded Computer Architecture and Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 34(4), pp. 75-83, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Aykut Kutlusan, Nadir Altmidort, Tufan Oruk, Alpay Duman |
A Combat Management System Middleware Based on CORBA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOA ![In: International Symposium on Distributed Objects and Applications, DOA 2000, Antwerp, Belgium, September 21-23, 2000, pp. 345-, 2000, IEEE Computer Society, 0-7695-0819-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Juliano Iyoda, Augusto Sampaio, Leila Silva |
ParTS: A Partitioning Transformation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1400-1419, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Sherif M. Yacoub, Bojan Cukic, Hany H. Ammar |
A Component-based Approach to Reliability Analysis of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: The Eighteenth Symposium on Reliable Distributed Systems, SRDS 1999, Lausanne, Switzerland, October 19-22, 1999, Proceedings, pp. 158-167, 1999, IEEE Computer Society, 0-7695-0290-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IS&N ![In: Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services, 5th International Conference on Intelligence and Services in Networks, IS&N'98, Antwerp, Belgium, May 25-28, 1998, Proceedings, pp. 139-150, 1998, Springer, 3-540-64598-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 11-13 December 1997, Seoul, Korea, Proceedings, pp. 268-274, 1997, IEEE Computer Society, 0-8186-8227-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.09748, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSII Trans. Internet Inf. Syst. ![In: KSII Trans. Internet Inf. Syst. 17(4), pp. 1258-1275, April 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.00746, 2023. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 35th International Conference on Software Engineering and Knowledge Engineering, SEKE 2023, KSIR Virtual Conference Center, USA, July 1-10, 2023., pp. 363-366, 2023, KSI Research Inc., 1-891706-56-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRPS ![In: IEEE International Reliability Physics Symposium, IRPS 2023, Monterey, CA, USA, March 26-30, 2023, pp. 1-5, 2023, IEEE, 978-1-6654-5672-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Motonari Honda, Yuichi Kaji |
Improvement of Winternitz OTS with a Novel Fingerprinting Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECRYPT ![In: Proceedings of the 20th International Conference on Security and Cryptography, SECRYPT 2023, Rome, Italy, July 10-12, 2023., pp. 303-311, 2023, SCITEPRESS, 978-989-758-666-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Technology and Circuits ![In: 2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits), Kyoto, Japan, June 11-16, 2023, pp. 1-2, 2023, IEEE, 978-4-86348-806-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMW ![In: IEEE International Memory Workshop, IMW 2023, Monterey, CA, USA, May 21-24, 2023, pp. 1-4, 2023, IEEE, 978-1-6654-7459-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Tommi Jauhiainen, Heidi Jauhiainen, Krister Lindén |
Tuning HeLI-OTS for Guarani-Spanish Code Switching Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IberLEF@SEPLN ![In: Proceedings of the Iberian Languages Evaluation Forum (IberLEF 2023) co-located with the Conference of the Spanish Society for Natural Language Processing (SEPLN 2023), Jaén, Spain, September 26, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 53513-53521, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 105-A(5), pp. 823-832, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSDERC ![In: 52nd IEEE European Solid-State Device Research Conference, ESSDERC 2022, Milan, Italy, September 19-22, 2022, pp. 225-228, 2022, IEEE, 978-1-6654-8497-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 34th International Conference on Software Engineering and Knowledge Engineering, SEKE 2022, KSIR Virtual Conference Center, USA, July 1 - July 10, 2022., pp. 574-579, 2022, KSI Research Inc., 1-891706-54-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRPS ![In: IEEE International Reliability Physics Symposium, IRPS 2022, Dallas, TX, USA, March 27-31, 2022, pp. 7-1, 2022, IEEE, 978-1-6654-7950-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRPS ![In: IEEE International Reliability Physics Symposium, IRPS 2022, Dallas, TX, USA, March 27-31, 2022, pp. 35-1, 2022, IEEE, 978-1-6654-7950-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Technology and Circuits ![In: IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits 2022), Honolulu, HI, USA, June 12-17, 2022, pp. 320-321, 2022, IEEE, 978-1-6654-9772-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Tommi Jauhiainen, Heidi Jauhiainen, Krister Lindén |
HeLI-OTS, Off-the-shelf Language Identifier for Text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the Thirteenth Language Resources and Evaluation Conference, LREC 2022, Marseille, France, 20-25 June 2022, pp. 3912-3922, 2022, European Language Resources Association. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
24 | Duong Dinh Tran, Dang Duy Bui, Kazuhiro Ogata 0001 |
Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 93847-93870, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 29(4), pp. 631-642, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 1506, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 872, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 31(11&12), pp. 1541-1559, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 33rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2021, KSIR Virtual Conference Center, USA, July 1 - July 10, 2021., pp. 114-119, 2021, KSI Research Inc., 1-891706-52-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC (Selected Papers) ![In: VLSI-SoC: Technology Advancement on SoC Design - 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Singapore, October 4-8, 2021, Revised and Extended Selected Papers, pp. 225-243, 2021, Springer, 978-3-031-16817-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: 29th IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Singapore, Singapore, October 4-7, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-2614-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISCAE (IEEE) ![In: 4th International Conference on Information Systems and Computer Aided Education, ICISCAE 2021, Dalian, China, September 24-26, 2021, pp. 27-29, 2021, IEEE, 978-1-6654-4124-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS (1) ![In: Applied Cryptography and Network Security - 19th International Conference, ACNS 2021, Kamakura, Japan, June 21-24, 2021, Proceedings, Part I, pp. 195-219, 2021, Springer, 978-3-030-78371-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMW ![In: IEEE International Memory Workshop, IMW 2021, Dresden, Germany, May 16-19, 2021, pp. 1-4, 2021, IEEE, 978-1-7281-8517-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMW ![In: IEEE International Memory Workshop, IMW 2021, Dresden, Germany, May 16-19, 2021, pp. 1-4, 2021, IEEE, 978-1-7281-8517-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M2VIP ![In: 27th International Conference on Mechatronics and Machine Vision in Practice, M2VIP 2021, Shanghai, China, November 26-28, 2021, pp. 738-743, 2021, IEEE, 978-1-6654-3153-8. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.10986, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.15280, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.07419, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2020, Sevilla, Spain, October 10-21, 2020, pp. 1-5, 2020, IEEE, 978-1-7281-3320-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SICE ![In: 59th Annual Conference of the Society of Instrument and Control Engineers of Japan, SICE 2020, Chiang Mai, Thailand, September 23-26, 2020, pp. 1210-1215, 2020, IEEE, 978-1-7281-1089-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Jonathan Baxter |
Some observations concerning Off Training Set (OTS) error. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.05915, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 22(6), pp. 13027-13039, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2019, Sapporo, Japan, May 26-29, 2019, pp. 1-5, 2019, IEEE, 978-1-7281-0397-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Nikolaos Triantafyllou |
Software engineering applications of the OTS/CafeOBJ algebraic specification method ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.08381, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Dominik Klein 0001 |
Key-Secrecy of PACE with OTS/CafeOBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2018, pp. 510, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRPS ![In: IEEE International Reliability Physics Symposium, IRPS 2018, Burlingame, CA, USA, March 11-15, 2018, pp. 6, 2018, IEEE, 978-1-5386-5479-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Solomon Amsalu Chekol, Jongmyung Yoo, Hyunsang Hwang |
Thermally Stable Te-based Binary OTS Device for Selector Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NVMTS ![In: Non-Volatile Memory Technology Symposium, NVMTS 2018, Sendai, Japan, October 22-24, 2018, pp. 1-4, 2018, IEEE, 978-1-5386-7783-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICDT ![In: 2018 International Conference on IC Design & Technology, ICICDT 2018, Otranto, Italy, June 4-6, 2018, pp. 113-116, 2018, IEEE, 978-1-5386-2550-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISec@CCS ![In: Proceedings of the 10th ACM Workshop on Artificial Intelligence and Security, AISec@CCS 2017, Dallas, TX, USA, November 3, 2017, pp. 69-80, 2017, ACM, 978-1-4503-5202-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Ryusei Mori, Masaki Nakamura 0001 |
Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017, pp. 403-404, 2017, IEEE Computer Society, 978-1-5090-6676-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 97-D(5), pp. 1160-1170, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 174 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|