Search results for "CRL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
115	Jim Dowling, Raymond Cunningham, Anthony Harrington, Eoin Curran, Vinny Cahill	Emergent Consensus in Decentralised Systems Using Collaborative Reinforcement Learning.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
108	Qiang Guo 0001, John Derrick	Verification of timed Erlang/OTP components using the process algebra mucrl.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	OTP, process algebra ?CRL, timeout events, verification, erlang
96	H. W. Go, P. Y. Chan 0001, Y. Dong, Ai Fen Sui, Siu-Ming Yiu, Lucas Chi Kwong Hui, Victor O. K. Li	Performance evaluation on CRL distribution using flooding in mobile ad hoc networks (MANETs).	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF	performance evaluation, mobile ad hoc network (MANET), flooding, public-key infrastructure, certificate revocation
90	Qiang Guo 0001	Verifying Erlang/OTP Components in mu CRL.	FORTE	2007	DBLP DOI BibTeX RDF	OTP, ?CRL, Verification, process algebra, Erlang
86	Gregory Neven	Privacy-enhanced access control in primelife.	Digital Identity Management	2010	DBLP DOI BibTeX RDF
82	Baowen Xu	CRL/Pascal: A Pascal-oriented Cross Reference Language And Its Applications.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	Pascal
79	Qiang Guo 0001, John Derrick, Csaba Hoch	Verifying Erlang Telecommunication Systems with the Process Algebra µCRL.	FORTE	2008	DBLP DOI BibTeX RDF	Telecoms case study, ?CRL, Verification, Process Algebras, Translation, Erlang
72	Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol	µCRL: A Toolset for Analysing Algebraic Specifications.	CAV	2001	DBLP DOI BibTeX RDF
67	Xia Zhanguo, Guan Hongjie, Wang Ke	Research on Refining the Distributed Supply Chain Procurement Plans Based on CRL.	ISIP	2008	DBLP DOI BibTeX RDF
66	Stefan Blom, Natalia Ioustinova, Natalia Sidorova	Timed Verification with µCRL.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	modelling, model checking, verification, discrete time, CRL
63	Jim Cowie	CRL/NMSU: description of the CRL/NMSU systems used for MUC-6.	MUC	1995	DBLP DOI BibTeX RDF
57	Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas	Translating Erlang to µCRL.	ACSD	2004	DBLP DOI BibTeX RDF
57	Beng-Hong Lim, Chi-Chao Chang, Grzegorz Czajkowski, Thorsten von Eicken	Performance Implications of Communication Mechanisms in All-Software Global Address Space Systems.	PPoPP	1997	DBLP DOI BibTeX RDF
57	Philip W. Hall IV	Parsing with C++ Constructors.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	C++
53	Tom Chothia, Simona Orzan, Jun Pang 0001, Muhammad Torabi Dashti	A Framework for Automatically Checking Anonymity with mu CRL.	TGC	2006	DBLP DOI BibTeX RDF
52	David A. Cooper	A Model of Certificate Revocation.	ACSAC	1999	DBLP DOI BibTeX RDF	certificate revocation, certification authority, CRL, certificate revocation list
49	Alexey O. Shigarov, Viacheslav V. Paramonov	CRL: язык правил анализа и интерпретации произвольных таблиц (CRL: A Rule Language for Analysis and Interpretation of Arbitrary Tables).	DAMDID/RCDL	2015	DBLP BibTeX RDF
49	Satoshi Sekine, Kiyoshi Sudo, Yusuke Shinyama, Chikashi Nobata, Kiyotaka Uchimoto, Hitoshi Isahara	NYU/CRL QA System, QAC Question Analysis and CRL QA Data.	NTCIR	2002	DBLP BibTeX RDF
48	Zhao Qiu, Mingrui Chen, Jun Huang	A Study on CRL Issue by P2P Network.	IITSI	2010	DBLP DOI BibTeX RDF	P2P, PKI, CRL
45	David A. Cooper	A More Efficient Use of Delta-CRLs.	S&P	2000	DBLP DOI BibTeX RDF	delta-CRL, certificate revocation, CRL, certificate revocation list
43	As'ad Salkham, Raymond Cunningham, Anurag Garg, Vinny Cahill	A Collaborative Reinforcement Learning Approach to Urban Traffic Control Optimization.	IAT	2008	DBLP DOI BibTeX RDF
43	Anantharaman Lakshminarayanan, Tong-Lee Lim	Augmented Certificate Revocation Lists.	ACISP	2006	DBLP DOI BibTeX RDF
43	Anton Wijs, Wan J. Fokkink	From chi-t to µCRL: Combining Performance and Functional Analysis.	ICECCS	2005	DBLP DOI BibTeX RDF
43	Jim Dowling, Raymond Cunningham, Eoin Curran, Vinny Cahill	Collaborative Reinforcement Learning of Autonomic Behaviour.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
39	Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang 0001, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs	Distributed Analysis with mu CRL: A Compendium of Case Studies.	TACAS	2007	DBLP DOI BibTeX RDF
39	Alvin T. S. Chan, Peter Y. H. Wong, Siu Nam Chuang	CRL: A Context-Aware Request Language for Mobile Computing.	ISPA	2004	DBLP DOI BibTeX RDF
39	Jose L. Muñoz, Jordi Forné, Juan C. Castro	Evaluation of Certificate Revocation Policies: OCSP vs. Overissued-CRL.	DEXA Workshops	2002	DBLP DOI BibTeX RDF
39	James R. Cowie, Louise Guthrie, Wang Jin, Rong Wang, Takahiro Wakao, James Pustejovsky, Scott Waterman	CRL/Brandeis: description of the Diderot system as used for MUC-5.	MUC	1993	DBLP DOI BibTeX RDF
37	Jan Friso Groote, Tim A. C. Willemse	A Checker for Modal Formulae for Processes with Data.	FMCO	2003	DBLP DOI BibTeX RDF	First Order Modal -Calculus, First Order Boolean Equation Systems, Data-Dependent Systems, Model Checking, Infinite State Systems, CRL
37	Dae Hyun Yum, Jae Eun Kang, Pil Joong Lee	Advanced Certificate Status Protocol.	MMM-ACNS	2003	DBLP DOI BibTeX RDF	ACSP, PKI, certificate revocation, CRL, OCSP
37	Ninghui Li, Joan Feigenbaum	Nonmonotonicity, User Interfaces, and Risk Assessment in Certificate Revocation.	Financial Cryptography	2001	DBLP BibTeX RDF	Certificates, PKI, Revocation, CRL
37	Diana Berbecaru, Antonio Lioy, Marius Marian	On the Complexity of Public-Key Certificate Validation.	ISC	2001	DBLP DOI BibTeX RDF	certificate validation, DPD, DPV, PKI, certificate revocation, CRL, OCSP
37	Petra Wohlmacher	Digital certificates: a survey of revocation methods.	ACM Multimedia Workshops	2000	DBLP DOI BibTeX RDF	CRS, CRT, revocation, digital certificate, CRL, public-key certificate, X.509, attribute certificate, OCSP
37	Alexander D. Stoyen, Thomas J. Marlowe, Mohamed F. Younis, Plamen V. Petrov	A Development Environment for Complex Distributed Real-Time Applications.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Engineering of complex distributed real-time systems, integrated tool suites, user-transparent handling of complexity, runtime kernels, code transformers and optimizers, schedulability analyzers, compilation, C++, monitoring, debugging, allocation, CRL
36	Jun Pang 0001, Wan J. Fokkink, Rutger F. H. Hofman, Ronald Veldema	Model Checking a Cache Coherence Protocol for a Java DSM Implementation.	IPDPS	2003	DBLP DOI BibTeX RDF	µCRL, Java, model checking, distributed shared memory, cache coherence protocols
36	Carlisle Adams, Steve Lloyd	Profiles and protocols for the Internet Public-Key Infrastructure.	FTDCS	1997	DBLP DOI BibTeX RDF	Internet Public-Key Infrastructure, X.509 authentication framework, IETF PKIX working group, CRL profile, operational protocols, certificate management protocols, certificate policy, time stamp protocols, notrary protocols, Internet, protocols, standardization, certification, X.509 certificate
29	Keita Emura, Atsuko Miyaji, Kazumasa Omote	A Certificate Revocable Anonymous Authentication Scheme with Designated Verifier.	ARES	2009	DBLP DOI BibTeX RDF
29	Gustavo Carneiro 0001, Bogdan Georgescu, Sara Good, Dorin Comaniciu	Detection and Measurement of Fetal Anatomies from Ultrasound Images using a Constrained Probabilistic Boosting Tree.	IEEE Trans. Medical Imaging	2008	DBLP DOI BibTeX RDF
29	Dov M. Gabbay, George Metcalfe	Fuzzy logics based on [0, 1)-continuous uninorms.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B50, 03B47, 03B52
29	Maithili Narasimha, Gene Tsudik	Privacy-Preserving Revocation Checking with Modified CRLs.	EuroPKI	2007	DBLP DOI BibTeX RDF	Anonymity and Privacy, Certificate Revocation
29	Bas Ploeger, Lou J. Somers	Analysis and verification of an automatic document feeder.	SAC	2007	DBLP DOI BibTeX RDF	copier, mCRL, process algebra, document systems
29	Tomasz Jurdzinski	The Boolean Closure of Growing Context-Sensitive Languages.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
29	Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko	Time abstraction in timed μCRL a la regions.	IPDPS	2006	DBLP DOI BibTeX RDF
29	Ying Wang, Huiyu Jin, Shunzhi Zhu, Maoqing Li	Scheduling of Re-entrant Lines with Neuro-Dynamic Programming Based on a New Evaluating Criterion.	ISNN (2)	2006	DBLP DOI BibTeX RDF
29	Peter Rigole, Yolande Berbers	Resource-Driven Collaborative Component Deployment in Mobile Environments.	ICAS	2006	DBLP DOI BibTeX RDF
29	Anantharaman Lakshminarayanan, Aditya Liviandi, Tong-Lee Lim, William Chui	Can CRLs Provide Bandwidth-Efficient Online Certificate Status?	LCN	2006	DBLP DOI BibTeX RDF
29	Jim Dowling, Eoin Curran, Raymond Cunningham, Vinny Cahill	Using feedback in collaborative reinforcement learning to adaptively optimize MANET routing.	IEEE Trans. Syst. Man Cybern. Part A	2005	DBLP DOI BibTeX RDF
29	Michel A. Reniers, Yaroslav S. Usenko	Analysis of Timed Processes with Data Using Algebraic Transformations.	TIME	2005	DBLP DOI BibTeX RDF
29	Aradee Rojanapasakorn, Chanboon Sathitwiriyawong	A Performance Study of Over-Issuing Delta-CRLs with Distribution Points.	AINA (2)	2004	DBLP DOI BibTeX RDF
29	Jaco van de Pol, Miguel Valero Espada	Verification of JavaSpacesTM Parallel Programs.	ACSD	2003	DBLP DOI BibTeX RDF	software architecture (JavaSpaces), Formal analysis and verification, Distributed termination problem, Parallel computing
29	Jun Pang 0001	Analysis of a Security Protocol in µCRL.	ICFEM	2002	DBLP DOI BibTeX RDF
29	Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen	On the Logical Characterisation of Performability Properties.	ICALP	2000	DBLP DOI BibTeX RDF
29	Hiroaki Kikuchi, Kensuke Abe, Shohachiro Nakanishi	Performance Evaluation of Certificate Revocation Using k-Valued Hash Tree.	ISW	1999	DBLP DOI BibTeX RDF
29	Henri E. Bal, Raoul Bhoedjang, Rutger F. H. Hofman, Ceriel J. H. Jacobs, Koen Langendoen, Tim Rühl	Performance Evaluation of the Orca Shared-Object System.	ACM Trans. Comput. Syst.	1998	DBLP DOI BibTeX RDF	parallel processing, distributed shared memory, portability
29	Jan Friso Groote, Radu Mateescu 0001	Verification of Temporal Properties of Processes in a Setting with Data.	AMAST	1998	DBLP DOI BibTeX RDF
25	Amir Namavar Jahromi, Ebrahim Pourjafari, Hadis Karimipour, Amit Satpathy, Lovell Hodge	CRL+: A Novel Semi-Supervised Deep Active Contrastive Representation Learning-Based Text Classification Model for Insurance Data.	CoRR	2023	DBLP DOI BibTeX RDF
25	Junwei Liang 0004, Muhammad Sadiq, Geng Yang, Dongsheng Cheng	BAC-CRL: Blockchain-Assisted Coded Caching Certificate Revocation List for Authentication in VANETs.	J. Netw. Comput. Appl.	2023	DBLP DOI BibTeX RDF
25	Dinesh Singh, Ashish Kumar Maurya, Ranvijay, Rama Shankar Yadav	CRLMDA: CRL minimisation and distribution algorithm in cluster-based VANETs.	Int. J. Commun. Networks Distributed Syst.	2023	DBLP DOI BibTeX RDF
25	Mourad Gridach, Robail Yasrab, Lior Drukker, Aris T. Papageorghiou, J. Alison Noble	D2ANET: Densely Attentional-Aware Network for First Trimester Ultrasound CRL and NT Segmentation.	ISBI	2023	DBLP DOI BibTeX RDF
25	Md. Mostafa Kamal Sarker, Robail Yasrab, Mohammad Alsharid, Aris T. Papageorghiou, J. Alison Noble	CNSeg-GAN: A Lightweight Generative Adversarial Network For Segmentation of CRL and NT From First-Trimester Fetal Ultrasound.	ISBI	2023	DBLP DOI BibTeX RDF
25	Weihuai Chen, Quzhen Baima, Qi Zhao, Binhui Wang	DGC-CRL: Dependency Graph Convolution based Contrastive Representation Learning for Chinese Medical Question Matching.	INNS DLIA@IJCNN	2023	DBLP DOI BibTeX RDF
25	Junwei Liang 0004, Maode Ma, Geng Yang	Efficient-Lightweight CRL Distribution in VANETs: A Multilayer Coded Caching Methodology.	WCNC	2023	DBLP DOI BibTeX RDF
25	Qianpeng Wang, Deyun Gao, Chuan Heng Foh, Hongke Zhang, Victor C. M. Leung	Decentralized CRL Management for Vehicular Networks With Permissioned Blockchain.	IEEE Trans. Veh. Technol.	2022	DBLP DOI BibTeX RDF
25	Junyang Chen, Zhiguo Gong, Wei Wang 0077, Weiwen Liu, Xiao Dong	CRL: Collaborative Representation Learning by Coordinating Topic Modeling and Network Embeddings.	IEEE Trans. Neural Networks Learn. Syst.	2022	DBLP DOI BibTeX RDF
25	Amal Elgammal, Oktay Türetken	CRL and the Design-Time Compliance Management Framework.	Process Querying Methods	2022	DBLP DOI BibTeX RDF
25	Robail Yasrab, Zeyu Fu, Lior Drukker, Lok Hin Lee, He Zhao 0002, Aris T. Papageorghiou, J. Alison Noble	End-to-End First Trimester Fetal Ultrasound Video Automated CRL And NT Segmentation.	ISBI	2022	DBLP DOI BibTeX RDF
25	Meng Li 0007, Pan Pei, F. Richard Yu, Pengbo Si, Ruizhe Yang, Zhuwei Wang	Energy-Efficient Resource Allocation for MEC and Blockchain-Enabled IoT via CRL Approach.	GLOBECOM	2022	DBLP DOI BibTeX RDF
25	Yves-Christian Adja Elloh, Ahmed Serhrouchni	Improved CRL Distribution point for Cooperative Intelligent Transportation Systems.	IM	2021	DBLP BibTeX RDF
25	Mayanka Chandrashekar, Yugyung Lee	CRL: Class Representative Learning for Image Classification.	CoRR	2020	DBLP BibTeX RDF
25	Michael Jenkins, Lydia Zieglar	Commercial National Security Algorithm (CNSA) Suite Certificate and Certificate Revocation List (CRL) Profile.	RFC	2019	DBLP DOI BibTeX RDF
25	Kazushige Ashimori, Hiroshi Igarashi	Development of an Individual Joint Controllable Haptic Glove (CRL-Glove) and Apply for CLASS.	IHSI	2019	DBLP DOI BibTeX RDF
25	Quanqing Xu, Weiya Xi, Khai Leong Yong, Chao Jin	CRL: Efficient Concurrent Regeneration Codes with Local Reconstruction in Geo-Distributed Storage Systems.	J. Comput. Sci. Technol.	2018	DBLP DOI BibTeX RDF
25	Paul C. Brown	A Concept Representation Language (CRL).	ICSC	2018	DBLP DOI BibTeX RDF
25	Yoshiaki Shiraishi, Masanori Hirotomo, Masami Mohri, Taisuke Yamamoto	Delivering CRL with Low Bit Rate Network Coded Communication for ITS.	IEICE Trans. Inf. Syst.	2017	DBLP DOI BibTeX RDF
25	Jie Zhang 0001, Nan Hu, M. K. Raja	Digital certificate management: Optimal pricing and CRL releasing strategies.	Decis. Support Syst.	2014	DBLP DOI BibTeX RDF
25	Manuel Koschuch, Ronald Wagner	Trust Revoked - Practical Evaluation of OCSP- and CRL-Checking Implementations.	ICETE (Selected Papers)	2014	DBLP DOI BibTeX RDF
25	Peter E. Yee	Updates to the Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile.	RFC	2013	DBLP DOI BibTeX RDF
25	Himanshu Thapliyal, Apeksha Bhatt, Nagarajan Ranganathan	A new CRL gate as super class of Fredkin gate to design reversible quantum circuits.	MWSCAS	2013	DBLP DOI BibTeX RDF
25	HyunGon Kim, Minsoo Kim, SeokWon Jung, JaeHyun Seo	Regional CRL Distribution Based on the LBS for Vehicular Networks.	MUE	2013	DBLP DOI BibTeX RDF
25	Ondrej Kridlo, Manuel Ojeda-Aciego	CRL-Chu Correspondences.	CLA	2013	DBLP BibTeX RDF
25	HyunGon Kim, Tae Hwan Oh, Young B. Choi	Nomadic Device Based CRL Acquisition Method for Vehicular Networks.	ICHIT (2)	2012	DBLP DOI BibTeX RDF
25	Ahmet Onur Durahim, Ismail Fatih Yildirim, Erkay Savas, Albert Levi	Performance Evaluation of Different CRL Distribution Schemes Embedded in WMN Authentication.	ISCIS	2012	DBLP DOI BibTeX RDF
25	HyunGon Kim	CRL Distribution using an Alternative Communication Media for Vehicular Networks.	ICEIS (1)	2011	DBLP BibTeX RDF
25	Jerome A. Solinas, Lydia Zieglar	Suite B Certificate and Certificate Revocation List (CRL) Profile.	RFC	2010	DBLP DOI BibTeX RDF
25	Cédric Pruski	e-CRL: A Rule-Based Language for Expressing Patient Electronic Consent.	eTELEMED	2010	DBLP DOI BibTeX RDF	electronic consent, rule language, data privacy, eHealth, legal aspects
25	Giovanni Di Crescenzo, Tao Zhang 0005	Efficient CRL search in vehicular network PKIS.	Digital Identity Management	2010	DBLP DOI BibTeX RDF
25	Azeem Irshad, Wajahat Noshairwan, Muhammad Shafiq 0002, Shahzada Khurram, Ehtsham Irshad, Muhammad Usman 0001	Security Enhancement for Authentication of Nodes in MANET by Checking the CRL Status of Servers.	SUComS	2010	DBLP DOI BibTeX RDF
25	Diana Berbecaru, Amarkumar Desai, Antonio Lioy	A unified and flexible solution for integrating CRL and OCSP into PKI applications.	Softw. Pract. Exp.	2009	DBLP DOI BibTeX RDF
25	Amit Agarkhed, Sharvil Patil, Anu Gupta	Improved Implementation of CRL and SCRL Gates for Ultra Low Power.	ARTCom	2009	DBLP DOI BibTeX RDF
25	David Cooper, Stefan Santesson, Stephen Farrell, Sharon Boeyen, Russell Housley, W. Timothy Polk	Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile.	RFC	2008	DBLP DOI BibTeX RDF
25	Russell Housley, Stefan Santesson	Update to DirectoryString Processing in the Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile.	RFC	2006	DBLP DOI BibTeX RDF
25	Serguei Leontiev, Dennis Shefanovski	Using the GOST R 34.10-94, GOST R 34.10-2001, and GOST R 34.11-94 Algorithms with the Internet X.509 Public Key Infrastructure Certificate and CRL Profile.	RFC	2006	DBLP DOI BibTeX RDF
25	Chengyu Ma, Nan Hu, Yingjiu Li	Optimal CRL Releasing Strategy in Public Key Infrastructure.	AMCIS	2006	DBLP BibTeX RDF
25	Stefan Santesson, Russell Housley	Internet X.509 Public Key Infrastructure Authority Information Access Certificate Revocation List (CRL) Extension.	RFC	2005	DBLP DOI BibTeX RDF
25	Jim Schaad, Burt Kaliski, Russ Housley	Additional Algorithms and Identifiers for RSA Cryptography for use in the Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile.	RFC	2005	DBLP DOI BibTeX RDF
25	A. Lakshminarayanan	Augmented CRL Scheme.	IWAP	2005	DBLP BibTeX RDF
25	Sung-Ock Hong, Kyoung-Ja Kim, Tae-Mu Chang	A Study on CRL Distribution for Response Time Reduction in Distributed OCSP.	Security and Management	2004	DBLP BibTeX RDF
25	Satoshi Sekine, Kiyoshi Sudo, Yusuke Shinyama, Chikashi Nobata, Kiyotaka Uchimoto, Hitoshi Isahara	NYU/CRL QA System for QAC-2.	NTCIR	2004	DBLP BibTeX RDF
25	C. H. Sim	Combined X-bar and CRL Charts for the Gamma Process.	Comput. Stat.	2003	DBLP DOI BibTeX RDF
25	Hiroshi Harada, Masayuki Fujise	Research on Mobile Communications in Microwave and Millimeter-Wave Frequency Ranges at CRL.	Wirel. Pers. Commun.	2003	DBLP DOI BibTeX RDF