Search results for "IMDs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
90	Yanfang Ye 0001, Dingding Wang 0001, Tao Li 0001, Dongyi Ye	IMDS: intelligent malware detection system.	KDD	2007	DBLP DOI BibTeX RDF	OOA mining, PE file, windows API sequence, malware
79	Pedro Valente, Paulo Nazareno Maia Sampaio	Goals: Interactive Multimedia Documents Modeling.	TAMODIA	2006	DBLP DOI BibTeX RDF	Interactive Multimedia Documents, Modeling, Software Engineering, UML, Goals, Multimedia Authoring
79	Touby Drew, Maria L. Gini	Implantable medical devices as agents and part of multiagent systems.	AAMAS	2006	DBLP DOI BibTeX RDF	implant, implantable agent, agent, multiagent system, medical device, medical monitoring
59	Tamara Denning, Alan Borning, Batya Friedman, Brian T. Gill, Tadayoshi Kohno, William H. Maisel	Patients, pacemakers, and implantable defibrillators: human values and security for wireless implantable medical devices.	CHI	2010	DBLP DOI BibTeX RDF	defibrillators, embodied technologies, medical device security, value dams and flows, security, safety, implantable medical devices
59	Yanfang Ye 0001, Dingding Wang 0001, Tao Li 0001, Dongyi Ye, Qingshan Jiang	An intelligent PE-malware detection system based on association mining.	J. Comput. Virol.	2008	DBLP DOI BibTeX RDF
59	Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat	A formal approach for the presentation of interactive multimedia documents.	ACM Multimedia	2000	DBLP DOI BibTeX RDF	multimedia and hypermedia documents, formal methods, LOTOS, Lotos, RT-LOTOS
40	Kasper Bonne Rasmussen, Claude Castelluccia, Thomas S. Heydt-Benjamin, Srdjan Capkun	Proximity-based access control for implantable medical devices.	CCS	2009	DBLP DOI BibTeX RDF	secure pairing, ultrasonic communication, access control, medical devices, distance bounding
40	Daniel Halperin, Thomas S. Heydt-Benjamin, Kevin Fu, Tadayoshi Kohno, William H. Maisel	Security and Privacy for Implantable Medical Devices.	IEEE Pervasive Comput.	2008	DBLP DOI BibTeX RDF	security, privacy, pervasive computing, implantable medical devices, medical safety
40	Daniel Halperin, Thomas S. Heydt-Benjamin, Benjamin Ransford, Shane S. Clark, Benessa Defend, Will Morgan, Kevin Fu, Tadayoshi Kohno, William H. Maisel	Pacemakers and Implantable Cardiac Defibrillators: Software Radio Attacks and Zero-Power Defenses.	SP	2008	DBLP DOI BibTeX RDF	security, privacy, pervasive computing, implantable medical devices, medical safety
40	Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat	Designing Consistent Multimedia Documents: The RT-LOTOS Methodology.	FORMATS	2007	DBLP DOI BibTeX RDF
40	Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat	Scheduling and Presenting Interactive Multimedia Documents.	ICME	2001	DBLP DOI BibTeX RDF
40	Karsten Strehl, Lothar Thiele	Interval diagrams for efficient symbolic verification of processnetworks.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
40	Karsten Strehl, Lothar Thiele	Interval Diagram Techniques for Symbolic Model Checking of Petri Nets.	DATE	1999	DBLP DOI BibTeX RDF
40	D. Tsirikos, Th. Markousis, I. Mouroulis, Michael Hatzopoulos, Michalis Vazirgiannis, Yannis Stavrakas	A Client-Server Design for Interactive Multimedia Documents Based on Java.	IDMS	1998	DBLP DOI BibTeX RDF
36	Neal Leavitt	Researchers Fight to Keep Implanted Medical Devices Safe from Hackers.	Computer	2010	DBLP DOI BibTeX RDF	IMDs, insulin pumps, cardiac pacemakers, cardiac defibrillators, security, wireless communications, Implantable medical devices
31	Andrea Ballo, Alfio Dario Grasso, Marco Privitera	A High Efficiency and High Power Density Active AC/DC Converter for Battery-Less US-Powered IMDs in a 28-nm CMOS Technology.	IEEE Access	2024	DBLP DOI BibTeX RDF
31	Wiktor B. Daszczuk, Jakub Jalowiec	Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS).	FedCSIS (Communication Papers)	2023	DBLP DOI BibTeX RDF
31	Neji Mensi, Hassan El Alami, Danda B. Rawat	Energy-Aware Lightweight PLKG in IMDs: A Deep Dive into the Effects of Channel Fading Models.	GLOBECOM	2023	DBLP DOI BibTeX RDF
31	Marco Privitera, Andrea Ballo, Alfio Dario Grasso	A 0.63 pJ/bit Fully-Digital BPSK Demodulator for US-powered IMDs downlink in a 28-nm bulk CMOS technology.	PRIME	2022	DBLP DOI BibTeX RDF
31	Ying He 0004, Ruben Suxo Camacho, Hasan Soygazi, Cunjin Luo	Attacking and defence pathways for Intelligent Medical Diagnosis System (IMDS).	Int. J. Medical Informatics	2021	DBLP DOI BibTeX RDF
31	Muhammad Ali Siddiqi, Wouter A. Serdijn, Christos Strydis	Zero-Power Defense Done Right: Shielding IMDs from Battery-Depletion Attacks.	J. Signal Process. Syst.	2021	DBLP DOI BibTeX RDF
31	Cunjin Luo, Hasan Soygazi, Helge Janicke, Ying He 0004	Security Defense Strategy for Intelligent Medical Diagnosis Systems (IMDS).	EMBC	2019	DBLP DOI BibTeX RDF
31	Wiktor B. Daszczuk	Specification and Verification in Integrated Model of Distributed Systems (IMDS).	Comput.	2018	DBLP DOI BibTeX RDF
31	Wiktor B. Daszczuk	Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS).	FedCSIS	2018	DBLP DOI BibTeX RDF
31	Wiktor B. Daszczuk	Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3.	CoRR	2017	DBLP BibTeX RDF
31	Wiktor B. Daszczuk	Deadlock and Termination Detection using IMDS Formalism and Model Checking. Version 2.	CoRR	2017	DBLP BibTeX RDF
31	Wiktor B. Daszczuk	Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking.	Comput. J.	2017	DBLP DOI BibTeX RDF
31	Wiktor B. Daszczuk	Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3.	FedCSIS (Communication Papers)	2017	DBLP DOI BibTeX RDF
31	Wiktor B. Daszczuk, Wlodek M. Zuberek	Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets.	DepCoS-RELCOMEX	2017	DBLP DOI BibTeX RDF
31	Monika Darji, Bhushan H. Trivedi	Detection of Active Attacks on Wireless IMDs Using Proxy Device and Localization Information.	SSCC	2014	DBLP DOI BibTeX RDF
31	Monika Darji, Bhushan Trivedi	Emergency Aware, Non-invasive, Personalized Access Control Framework for IMDs.	SNDS	2014	DBLP DOI BibTeX RDF
31	Francesco Mazzilli, Prakash E. Thoppay, Vincent Praplan, Catherine Dehollain	Ultrasound energy harvesting system for deep implanted-medical-devices (IMDs).	ISCAS	2012	DBLP DOI BibTeX RDF
20	Yanfang Ye 0001, Lifei Chen, Dingding Wang 0001, Tao Li 0001, Qingshan Jiang, Min Zhao	SBMDS: an interpretable string based malware detection system using SVM ensemble with bagging.	J. Comput. Virol.	2009	DBLP DOI BibTeX RDF
20	Vladimir S. Lerner	Information Systems Theory and Informational Macrodynamics: Review of the Main Results.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
20	Reetta Pitkänen, Michalis Vazirgiannis, George C. Polyzos	The role of streaming in Interactive Multimedia Documents dissemination.	ICME	2001	DBLP DOI BibTeX RDF
20	Paulo Nazareno Maia Sampaio, Christophe Lohr, Jean-Pierre Courtiat	An integrated environment for the presentation of consistent SMIL 2.0 documents.	ACM Symposium on Document Engineering	2001	DBLP DOI BibTeX RDF	SMIL 2.0, interactive multimedia documents, formal methods, LOTOS, temporal consistency, RT-LOTOS
20	Raziq Yaqub	IMD Compensation for CDMA through FEC Coding and Nonlinearity Recovery Technique for Optical Fiber Feeder System.	ISCC	1999	DBLP DOI BibTeX RDF
20	Karsten Strehl	Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification.	RTCSA	1999	DBLP DOI BibTeX RDF	timed reachability analysis, real-time symbolic model checking, Formal verification, timed automata, binary decision diagrams