Search results for "checkability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
153	Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova	An axiomatic approach to algebrization.	STOC	2009	DBLP DOI BibTeX RDF	algebrization, independence, relativization
54	Atif Alvi, David J. Greaves	Checkable Domain Management with Ontology and Rules.	ICIW	2008	DBLP DOI BibTeX RDF	checkability, rehydration, ontology, pervasive computing, rules, semantic interoperability
54	Stephen J. Garland, John V. Guttag, James J. Horning	Debugging Larch Shared Language Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Larch shared language specifications, checkability, Larch power, theory containment, design, formal specification, parallel programming, debugging, consistency, development, inference mechanisms, program debugging, static semantics, concurrent algorithms
28	Oleksandr Drozd, Illya Baskov, Oleksandr Martynyuk, Kostiantyn Zashcholkin, Myroslav Drozd	Augmented Checkability of LUT-oriented Circuits in FPGA-based Components of Safety-Related Systems.	IntelITSIS	2022	DBLP BibTeX RDF
28	Oleksandr Drozd, Anatoliy Sachenko, Kostiantyn Zashcholkin, Yulian Sulima, Julia Drozd, Maciej Dobrowolski, Mykola Kuznietsov, Liliia Ivanova, Igor Kovalev	Recovering From a Failure and Improving the Checkability of Iterative Array Dividers.	CSIT	2022	DBLP DOI BibTeX RDF
28	Shimin Li, Bei Liang, Aikaterini Mitrokotsa, Rui Xue 0001	Homomorphic signcryption with public plaintext-result checkability.	IET Inf. Secur.	2021	DBLP DOI BibTeX RDF
28	Oleksandr Drozd, Olena Ivanova, Kostiantyn Zashcholkin, Vitaliy A. Romankevich, Julia Drozd	Checkability Important for Fail-Safety of FPGA-based Components in Critical Systems.	IntelITSIS	2021	DBLP BibTeX RDF
28	Oleksandr Drozd, Kostiantyn Zashcholkin, Maciej Dobrowolski, Anatoliy Sachenko, Oleksandr Martynyuk, Olena Ivanova, Julia Drozd	Evaluating Real Checkability for FPGA-Based Components of Safety-Related Systems.	COLINS	2021	DBLP BibTeX RDF
28	Oleksandr Drozd, Anatoliy Sachenko, Volodymyr Kochan, Myroslav Drozd, Maciej Dobrowolski, Jun Su	Concept of Active Wireless Sensor Network in Checkability Aspect.	IDAACS	2021	DBLP DOI BibTeX RDF
28	Oleksandr Drozd, Kostiantyn Zashcholkin, Oleksandr Martynyuk, Olena Ivanova, Julia Drozd	Development of Checkability in FPGA Components of Safety-Related Systems.	ICTES	2020	DBLP BibTeX RDF
28	Oleksandr Drozd, Oleksandr Martynyuk, Kostiantyn Zashcholkin, Mykola Kuznietsov, Julia Drozd, Anastasiya Troynina	A Method to Improve FPGA Project Checkability for Safety-Related Applications.	ICST	2020	DBLP BibTeX RDF
28	Oleksandr Drozd, Viktor Antoniuk, Miroslav Drozd, Hanna Stepova	Power-Oriented Checkability of Matrix and Pipeline Circuits in FPGA-Based Digital Components of Safety-Related Systems.	ICTERI Workshops	2019	DBLP BibTeX RDF
28	Klaus-Tycho Foerster, Thomas Luedi, Jochen Seidel, Roger Wattenhofer	Local checkability, no strings attached: (A)cyclicity, reachability, loop free updates in SDNs.	Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
28	Anmin Fu, Shuai Li, Shui Yu 0001, Yuqing Zhang 0001, Yinxia Sun	Privacy-preserving composite modular exponentiation outsourcing with optimal checkability in single untrusted cloud server.	J. Netw. Comput. Appl.	2018	DBLP DOI BibTeX RDF
28	Anmin Fu, Yiming Zhu, Guomin Yang, Shui Yu 0001, Yan Yu	Secure outsourcing algorithms of modular exponentiations with optimal checkability based on a single untrusted cloud server.	Clust. Comput.	2018	DBLP DOI BibTeX RDF
28	Yiming Zhu, Anmin Fu, Shui Yu 0001, Yan Yu, Shuai Li, Zhenzhu Chen	New Algorithm for Secure Outsourcing of Modular Exponentiation with Optimal Checkability Based on Single Untrusted Server.	ICC	2018	DBLP DOI BibTeX RDF
28	Yanli Ren, Min Dong 0007, Zhihua Niu, Xiaoni Du	Noninteractive Verifiable Outsourcing Algorithm for Bilinear Pairing with Improved Checkability.	Secur. Commun. Networks	2017	DBLP DOI BibTeX RDF
28	Klaus-Tycho Foerster, Oliver Richter, Jochen Seidel, Roger Wattenhofer	Local Checkability in Dynamic Networks.	ICDCN	2017	DBLP BibTeX RDF
28	Oleksandr Drozd, Miroslav Drozd, Oleksandr Martynyuk, Mykola Kuznietsov	Improving of a Circuit Checkability and Trustworthiness of Data Processing Results in LUT-based FPGA Components of Safety-Related Systems.	ICTERI	2017	DBLP BibTeX RDF
28	Yu-Feng Ma, Haibo Tian, Baodian Wei	Secure Modular Exponentiation Outsource With Two Untrusted Programs and Improved Checkability.	J. Inf. Sci. Eng.	2016	DBLP BibTeX RDF
28	Jun Ye, Xiaofeng Chen 0001, Jianfeng Ma 0001	Improved algorithm for secure outsourcing of modular exponentiations with high checkability.	Int. J. Ad Hoc Ubiquitous Comput.	2016	DBLP DOI BibTeX RDF
28	Yanli Ren, Ning Ding 0001, Xinpeng Zhang 0001, Haining Lu, Dawu Gu	Verifiable Outsourcing Algorithms for Modular Exponentiations with Improved Checkability.	AsiaCCS	2016	DBLP DOI BibTeX RDF
28	Klaus-Tycho Förster, Thomas Luedi, Jochen Seidel, Roger Wattenhofer	Local checkability, no strings attached.	ICDCN	2016	DBLP DOI BibTeX RDF
28	Can Xiang, Chunming Tang 0001	Efficient outsourcing schemes of modular exponentiations with checkability for untrusted cloud server.	J. Ambient Intell. Humaniz. Comput.	2015	DBLP DOI BibTeX RDF
28	Jochen Seidel	Anonymous distributed computing: computability, randomization and checkability.		2015	RDF
28	Jin Li 0002, Xinyi Huang 0001, Jingwei Li 0001, Xiaofeng Chen 0001, Yang Xiang 0001	Securely Outsourcing Attribute-Based Encryption with Checkability.	IEEE Trans. Parallel Distributed Syst.	2014	DBLP DOI BibTeX RDF
28	Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers	Locality and checkability in wait-free computing.	Distributed Comput.	2013	DBLP DOI BibTeX RDF
28	Alexander V. Drozd, Vyacheslav S. Kharchenko, Svetlana Antoshchuk, J. V. Drozd, M. V. Lobachev, Yulian Sulima	The use of natural resources for increasing a checkability of the digital components in safety-critical systems.	EWDTS	2013	DBLP DOI BibTeX RDF
28	Alexander V. Drozd, Vyacheslav S. Kharchenko, Svetlana Antoshchuk, Yulian Sulima, Miroslav Drozd	Checkability of the digital components in safety-critical systems: Problems and solutions.	EWDTS	2011	DBLP DOI BibTeX RDF
28	Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers	Locality and Checkability in Wait-Free Computing.	DISC	2011	DBLP DOI BibTeX RDF
28	Mohammad Mahmoody, David Xiao	On the Power of Randomized Reductions and the Checkability of SAT.	CCC	2010	DBLP DOI BibTeX RDF	Colusure, Instance Checkers, Complexity, Randomization
28	Mohammad Mahmoody, David Xiao	On the Power of Randomized Reductions and the Checkability of SAT.	Electron. Colloquium Comput. Complex.	2009	DBLP BibTeX RDF
28	Stephen Baum, Leslie E. Trotter Jr.	Finite checkability for integer rounding properties in combinatorial programming problems.	Math. Program.	1982	DBLP DOI BibTeX RDF
22	Daniel V. Bailey, Dan Boneh, Eu-Jin Goh, Ari Juels	Covert channels in privacy-preserving identification systems.	CCS	2007	DBLP DOI BibTeX RDF	privacy, mobile, identification, covert channels, rfid
22	Shengli Liu 0001, Kefei Chen, Weidong Qiu	Identity-Based Threshold Decryption Revisited.	ISPEC	2007	DBLP DOI BibTeX RDF
22	Swaroop Sridhar, Jonathan S. Shapiro	Type inference for unboxed types and first class mutability.	PLOS	2006	DBLP DOI BibTeX RDF	BitC, polymorphism, type inference, mutability
22	Daniel Yamins	The emergence of global properties from local interactions: static properties and one-dimensional patterns.	AAMAS	2006	DBLP DOI BibTeX RDF
22	Susan Hohenberger, Anna Lysyanskaya	How to Securely Outsource Cryptographic Computations.	TCC	2005	DBLP DOI BibTeX RDF
22	Valery A. Vardanian, Liana B. Mirzoyan	Improving the Error Detection Ability of Concurrent Checkers by Observation Point Insertion in the Circuit Under Check.	DATE	2000	DBLP DOI BibTeX RDF
22	Thomas A. Henzinger, Sriram K. Rajamani	Fair Bisimulation.	TACAS	2000	DBLP DOI BibTeX RDF
22	Görel Hedin, Lennart Ohlsson, John McKenna	Product Configuration Using Object Oriented Grammars.	SCM	1998	DBLP DOI BibTeX RDF
22	Marian Boykan Pour-El	Computer Science And Recursion Theory.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF