Search results for "CEPS"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
123	Il-Gon Kim, Young-Joo Moon, Inhye Kang, Ji-Yeon Lee, Keun-Hee Han, Jin-Young Choi	Model-Based Analysis of Money Accountability in Electronic Purses.	WINE	2005	DBLP DOI BibTeX RDF	e-commerce protocol, money accountability, security, model checking, FDR, Formal specification and verification, CEPS, Casper
65	Kuu-young Young, Jin-Jou Chen	Implementation of a Variable D-H Parameter Model for Robot Calibration Using an FCMAC Learning Algorithm.	J. Intell. Robotic Syst.	1999	DBLP DOI BibTeX RDF	robot calibration, variable D-H parameter model, FCMAC learning algorithm
58	Satish Devane, Deepak B. Phatak	Secure Transaction Protocol for CEPS Compliant EPS in Limited Connectivity Environment.	EC-Web	2009	DBLP DOI BibTeX RDF	E-commerce, Electronic Payment system, Payment Protocol
44	Il-Gon Kim, Hyun Seok Kim, Ji-Yeon Lee, Jin-Young Choi, Inhye Kang	Secrecy Analysis of Purchase Transaction in Electronic Purses.	AINA (1)	2006	DBLP DOI BibTeX RDF
36	David Mayor, Tony Steffert, George Datseris, Andrea Firth, Deepak Panday, Harikala Kandel, Duncan Banks	Complexity and Entropy in Physiological Signals (CEPS): Resonance Breathing Rate Assessed Using Measures of Fractal Dimension, Heart Rate Asymmetry and Permutation Entropy.	Entropy	2023	DBLP DOI BibTeX RDF
36	David Mayor, Deepak Panday, Hari Kala Kandel, Tony Steffert, Duncan Banks	CEPS: An Open Access MATLAB Graphical User Interface (GUI) for the Analysis of Complexity and Entropy in Physiological Signals.	Entropy	2021	DBLP DOI BibTeX RDF
36	Sheng Cao, Jing Wang, Xiaojiang Du, Xiaosong Zhang 0001, Xiaolin Qin	CEPS: A Cross-Blockchain based Electronic Health Records Privacy-Preserving Scheme.	ICC	2020	DBLP DOI BibTeX RDF
36	Peter Landrock	CEPS Standard.	Encyclopedia of Cryptography and Security	2005	DBLP DOI BibTeX RDF
36	Mike Ward	Security in electronic payment systems EMV and CEPs.	IICIS	2001	DBLP BibTeX RDF
22	Christos Faloutsos	Graph Mining: Patterns, Generators and Tools.	CPM	2009	DBLP DOI BibTeX RDF
22	Christos Faloutsos	Graph Mining: Laws, Generators and Tools.	PAKDD	2008	DBLP DOI BibTeX RDF
22	Christos Faloutsos	Graph mining: laws, generators and tools.	Internet Measurement Conference	2008	DBLP DOI BibTeX RDF
22	Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova	Data Abstraction and Constraint Solving for Conformance Testing.	APSEC	2005	DBLP DOI BibTeX RDF
22	Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva	STG: A Symbolic Test Generation Tool.	TACAS	2002	DBLP DOI BibTeX RDF
22	Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva	Automated Test and Oracle Generation for Smart-Card Applications.	E-smart	2001	DBLP DOI BibTeX RDF
22	Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva	STG: a tool for generating symbolic test programs and oracles from operational specifications.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF
22	Jan Jürjens, Guido Wimmel	Formally Testing Fail-Safety of Electronic Purse Protocols.	ASE	2001	DBLP DOI BibTeX RDF