Search results for "Device"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
177	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF
90	Matthew Canton	The presence table: a reactive surface for ambient connection.	TEI	2011	DBLP DOI BibTeX RDF
58	M. Molla-Hosseini, Roger M. Kerr, Robert B. Randall, R. B. Platfoot	An Inspection Model with Minimal and Major Maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Notation n state of device, n 0: state following a Poisson failure, n 1: operating state, n 2: minimal maintenance state, k number of stages of deterioration before deterioration failure, s at maintenance event s after s-1 minimalmaintenance the maintenance must be a major maintenance, P(i,j,n) steady-state probability that the device is in state (i,j,n), i=deterioration-stage index, j=minimal maintenance number, Pd steady-state probability that the device is being overhauled after a deteriorating failure, P0 steady-state probability that the device is out of service due to major maintenance, minimal maintenance, minimal repair respectively, 1/ d mean time between as good as new and deterioration failure if no maintenance is initiated, 1/ 0 mean time to Poisson failure, 1/ m mean time to the next maintenance event, 1/ d mean duration of overhauling the device following a deterioration failure, 1/ m mean duration of minimal maintenance, 1/ M mean duration of major maintenance, 1/ 0 mean duration of repair after Poisson failure, U steady-state unavailability of the device, PM, Pm
56	Yun-kyung Lee, Deok-Gyu Lee, Jong Wook Han, Kyo-Il Chung	Home Network Device Authentication: Device Authentication Framework and Device Certificate Profile.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF	home network security, home device authentication, home device certificate
50	Deok-Gyu Lee, Yun-kyung Lee, Jong Wook Han, Jong Hyuk Park, Im-Yeong Lee	Intelligent Home Network Authentication: Home Device Authentication Using Device Certification.	OTM Conferences (2)	2007	DBLP DOI BibTeX RDF	home device authentication, home device certificate
50	Seungchul Shin, Do-Yoon Kim, Sungyoung Yoon	A Framework for Service Convergence via Device Cooperation.	HCI (6)	2009	DBLP DOI BibTeX RDF	service convergence, device cooperation, device convergence, mobile computing
49	Katsunori Miyahara, Yoshihiro Okada	A Cloth Design System by Intuitive Operations Supporting Mouse Device besides Phantom Device and Its User Evaluation.	CGIV	2007	DBLP DOI BibTeX RDF	HCI, Virtual reality, Haptic device, Mass-spring model, Cloth design
46	Haksoo Choi, Chanmin Yoon, Hojung Cha	Device Driver Abstraction for Multithreaded Sensor Network Operating Systems.	EWSN	2008	DBLP DOI BibTeX RDF	Multithreaded sensor network operating systems, device driver abstraction
43	Tetsuro Katayama, Keizo Saisho, Akira Fukuda	Proposal of a Support System for Device Driver Generation.	APSEC	1999	DBLP DOI BibTeX RDF	network, operating systems, ethernet, device drivers, automatic generation
41	Qiao Li, Sung-Mo Kang	Technology independent arbitrary device extractor.	ACM Great Lakes Symposium on VLSI	2000	DBLP DOI BibTeX RDF	arbitrary device extraction, device model specification, technology independent layout extraction
40	Ching-Tien Shih, Ching-Hsiang Shih, Ching-Hsing Luo	Using Coding Technology to Improve the Communication Efficiency of a Person with Multiple Disabilities.	RSKT	2009	DBLP DOI BibTeX RDF	Assistive communication device, Coding technology, Special switch, Multiple disabilities
40	Keiji Ozaki, Ailixier Aikebaier, Tomoya Enokido, Makoto Takizawa 0001	Actuator-Device Coordination in a Reliable Sensor, Actuator, and Device Network (SADN).	CISIS	2008	DBLP DOI BibTeX RDF
39	Dong-Hwan Park, Soon-Ju Kang	IEEE1394 OHCI device driver architecture for guarantee real-time requirement.	RTCSA	2000	DBLP DOI BibTeX RDF	IEEE1394 OHCI device driver architecture, guaranteed real time requirement, priority based packet queueing, interrupt latency time, ISR, Interrupt Service Routine, device driver level support, real time characteristics, high priority applications, digital multimedia services, hard real time instrumentation, control applications, real-time systems, queueing theory, packet switching, interrupts, client-server systems, home networks, device drivers, QoS guarantees, real time requirements, real time middleware
39	Jin-Hwan Jeong, Hag-Young Kim, Eunah Kim	Portable Device-Centric Streaming Service.	FMN	2009	DBLP DOI BibTeX RDF	Device-centric, Streaming, Pairing, Portable device
39	Takafumi Aoki, Hironori Mitake, Danial Keoki, Shoichi Hasegawa, Makoto Sato	Wearable haptic device to present contact sensation based on cutaneous sensation using thin wire.	Advances in Computer Entertainment Technology	2009	DBLP DOI BibTeX RDF	contact sensation, cutaneous sensation, mixed reality, haptic device, wearable device
39	R. Brian Anderson, Mike Borowczak, Philip A. Wilsey	The Use of Device Simulation in Development of USB Storage Devices.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	Device simulation, USB Mass Storage, Device Simulation Framework, USB
38	Arjen van Rhijn, Jurriaan D. Mulder	Spatial input device structure and bimanual object manipulation in virtual environments.	VRST	2006	DBLP DOI BibTeX RDF	configurable input device, multi-dimensional control, virtual reality, direct manipulation
37	Robert G. Lupu, Andrei Stan, Florina Ungureanu	Patient Monitoring: Wearable Device for Patient Monitoring.	World Congress on Engineering (Selected Papers)	2008	DBLP DOI BibTeX RDF	wearable medical Device, monitoring device, Wearable Device, Patient Monitoring
36	Emi Tamaki, Takashi Miyaki, Jun Rekimoto	Brainy hand: an ear-worn hand gesture interaction device.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	input device, wearable, hand gesture, laser, projector, interaction device, audio feedback
35	Zhongjie Liang	Dealing with device-dependency of color for device-independent color reproduction.	Device-Independent Color Imaging and Imaging Systems Integration	1993	DBLP DOI BibTeX RDF
35	Jaeyoung Shin, Youngwoo Chung, Kwangsun Ko, Young Ik Eom	Design and implementation of the management agent for mobile devices based on OMA DM.	ICUIMC	2008	DBLP DOI BibTeX RDF	OMA DM, mobile device, device management
35	Thomas Heinz 0001, Reinhard Wilhelm	Towards device emulation code generation.	LCTES	2009	DBLP DOI BibTeX RDF	bit vector arithmetic, device emulation, code generation, binary translation, satisfiability modulo theories
35	Domenico Rosaci, Giuseppe M. L. Sarnè	MASHA: A multi-agent system handling user and device adaptivity of Web sites.	User Model. User Adapt. Interact.	2006	DBLP DOI BibTeX RDF	Web adaptivity, Device adaptivity, Recommender systems, Information agents
35	Sheikh Iqbal Ahamed, Mohammad Zulkernine, Suresh Anamanamuri	A Dependable Device Discovery Approach for Pervasive Computing Middleware.	ARES	2006	DBLP DOI BibTeX RDF	Dependability and Availability, Pervasive computing, Middleware services, Device discovery
34	Tadayoshi Kohno, Andre Broido, Kimberly C. Claffy	Remote Physical Device Fingerprintin.	IEEE Trans. Dependable Secur. Comput.	2005	DBLP DOI BibTeX RDF	privacy, Network-level security and protection
34	Seong-Joo Kim, Jong-Soo Kim, Sung-Hyun Kim, Yongmin Kim	Evolvable Recommendation System in the Portable Device Based on the Emotion Awareness.	KES (2)	2005	DBLP DOI BibTeX RDF
34	Tadayoshi Kohno, Andre Broido, Kimberly C. Claffy	Remote Physical Device Fingerprinting.	S&P	2005	DBLP DOI BibTeX RDF
33	Daniel P. Mapes	The human device abstraction.	Designing Augmented Reality Environments	2000	DBLP DOI BibTeX RDF	device abstraction, enhanced reality, human device, vodget, human computer interaction, virtual reality, sensors, widget, CAVE
32	Jakob E. Bardram, Christina Fuglsang, Simon C. Pedersen	CompUTE: a runtime infrastructure for device composition.	AVI	2010	DBLP DOI BibTeX RDF	application view re-direction, co-located cooperation, composite device, control re-direction, distributed clipboard
32	Jong Kyu Choi, Han Joon Kim, Beom Suk Jin, Yong Gu Ji	Web-Based System Development for Usability Evaluation of Ubiquitous Computing Device.	HCI (1)	2009	DBLP DOI BibTeX RDF	Ubiquitous computing device, usability, system development, web-based system
32	Vu Van Tan, Dae-Seung Yoo, Myeong-Jae Yi	Device Integration Approach to OPC UA-Based Process Automation Systems with FDT/DTM and EDDL.	ICIC (2)	2009	DBLP DOI BibTeX RDF	Device integration, EDDL, FDT/DTM, OPC, Process automation, Automation system, Unified architecture
32	Chunyi Peng 0001, Guobin Shen, Yongguang Zhang, Songwu Lu	Point&Connect: intention-based device pairing for mobile phone users.	MobiSys	2009	DBLP DOI BibTeX RDF	acoustic position sensing, gesture-based intention, identification, mobile system, point, device pairing
32	Michael M. Swift, Muthukaruppan Annamalai, Brian N. Bershad, Henry M. Levy	Recovering device drivers.	ACM Trans. Comput. Syst.	2006	DBLP DOI BibTeX RDF	Recovery, device drivers, I/O
32	Vishnu Swaminathan, Krishnendu Chakrabarty	Pruning-based, energy-optimal, deterministic I/O device scheduling for hard real-time systems.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	device scheduling, Schedulability analysis, hard real-time systems, I/O devices
32	Jun Sun 0002, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam	HAIL: a language for easy and correct device access.	EMSOFT	2005	DBLP DOI BibTeX RDF	invariant specification and verification, register access, embedded systems, system-on-chip, software reuse, domain-specific languages, automatic code generation, device drivers
32	Shaojie Wang, Sharad Malik	Synthesizing operating system based device drivers in embedded systems.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	embedded system software, operating system based software synthesis, device driver, correct-by-construction
32	Shinya Honda, Hiroaki Takada	Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device.	DATE	2003	DBLP DOI BibTeX RDF
32	Philip B. M. Wolbert, Gerhard K. M. Wachutka, Benno H. Krabbenborg, Ton J. Mouthaan	Nonisothermal device simulation using the 2D numerical process/device simulator TRENDY and application to SOI-devices.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
31	Yasushi Ikeuchi, Jun Ashihara, Yutaka Hiki, Hiroshi Kudoh, Tatsuya Noda	Walking assist device with bodyweight support system.	IROS	2009	DBLP DOI BibTeX RDF
31	Xin Ma, Zhong Fan, Chee-Kong Chui, Yiyu Cai, James H. Anderson, Wieslaw Lucjan Nowinski	Digital Angioplasty Balloon Inflation Device for Interventional Cardiovascular Procedures.	MICCAI	2001	DBLP DOI BibTeX RDF
31	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
31	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
31	Chunyuan Liao, Qiong Liu 0003, Don Kimber, Patrick Chiu, Jonathan Foote, Lynn Wilcox	Shared interactive video for teleconferencing.	ACM Multimedia	2003	DBLP DOI BibTeX RDF	collaborative device control, gesture based device control, video enabled device control, distance learning, video conferencing, video communication, panoramic video
30	Rainer Simon, Florian Wegscheider, Konrad Tolar	Tool-supported single authoring for device independence and multimodality.	Mobile HCI	2005	DBLP DOI BibTeX RDF	modality independence, single authoring, user interfaces, mobile device, multimodal interaction, universal access, device independence, web authoring
30	B. Chandrasekaran 0001, John R. Josephson	Function in Device Representation.	Eng. Comput.	2000	DBLP DOI BibTeX RDF	Device ontology, Device simulation, Functional reasoning, Compositional modeling, Functional representation, Causal reasoning
30	Xiaowei Deng, Takahiro Hanyu, Michitaka Kameyama	Quantum Device Model-Based Super Pass Gate for Multiple-Valued Digital Systems.	ISMVL	1995	DBLP DOI BibTeX RDF	quantum interference devices, MOS logic circuits, quantum device model, super pass gate, multiple-valued digital systems, VLSI devices, super pass transistor, multiple-valued VLSI systems, multiple-signal-level detection, multiple-valued universal logic module, multiple-valued image processing system, NMOS circuit, VLSI, multivalued logic circuits, semiconductor device models
30	Anirudh Devgan	Accurate device modeling techniques for efficient timing simulation of integrated circuits.	ICCD	1995	DBLP DOI BibTeX RDF	device modeling techniques, Fast-to-evaluate and Accurate Simplified Transistor, aggressive MOS technologies, FAST models, timing, AGES, circuit analysis computing, integrated circuits, circuit simulators, transient analysis, transistors, transistor, transient simulator, timing simulation, timing simulator, electronic engineering computing, semiconductor device models
30	Fong-Gong Wu, Chun-Yu Chen, Chien-Hsu Chen	Improvements of Chord Input Devices for Mobile Computer Users.	HCI (6)	2007	DBLP DOI BibTeX RDF	touch pen, chord input, mobile device, input device
29	Arved C. Hübler, Fouad Guessous, Susanne Reuter	New approach for a spectral image capture device based on a micromirror system.	Color Imaging: Device-Independent Color, Color Hardcopy, and Graphic Arts	2001	DBLP DOI BibTeX RDF
29	Rudi Bartels	Device-dependent screen optimization using evolutionary computing.	Color Imaging: Device-Independent Color, Color Hardcopy, and Graphic Arts	2001	DBLP DOI BibTeX RDF
29	David L. Lee, Gabriel G. Marcu	Performance of media-specific and device-specific output profiles.	Color Imaging: Device-Independent Color, Color Hardcopy, and Graphic Arts	2000	DBLP DOI BibTeX RDF
29	Nathan Moroney	Using VRML to communicate device gamuts.	Color Imaging: Device-Independent Color, Color Hardcopy, and Graphic Arts	1999	DBLP DOI BibTeX RDF
29	Peter A. Torpey	Multipass printing in an ink-jet device.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
29	Gary K. Starkweather	Color volume as a device characteristic.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
29	Raja Balasubramanian, Edul N. Dalal	Method for quantifying the color gamut of an output device.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1997	DBLP DOI BibTeX RDF
29	Michael C. Mongeon	Image transformation into device-dependent color printer description using 4th-order polynomial regression and object-oriented programming development of image processing modules.	Color Imaging: Device-Independent Color, Color Hard Copy, and Graphic Arts	1996	DBLP DOI BibTeX RDF
29	Yoshifumi Arai, Yasuo Miyamoto, Yoshiki Nakano, Tetsuo Iga, Shiro Usui	Device- and illuminant-independent color reproduction using principal component analysis and neural networks.	Device-Independent Color Imaging	1995	DBLP DOI BibTeX RDF
29	Roger D. Brandt, Kris S. Capraro	Pragmatic approach to device-independent color.	Device-Independent Color Imaging	1995	DBLP DOI BibTeX RDF
29	David R. Spencer, Peter J. Haller	Color device-independence in PostScript Level 2: hard copy test results.	Device-Independent Color Imaging	1995	DBLP DOI BibTeX RDF
29	Eddie Jennings, R. D. Holland, C. C. Lee	Error analysis of look-up-table implementations in device-independent color imaging systems.	Device-Independent Color Imaging	1994	DBLP DOI BibTeX RDF
29	William F. Schreiber	Today's challenges in device-independent color.	Device-Independent Color Imaging	1994	DBLP DOI BibTeX RDF
29	David L. Spooner	Can device-independent color be achieved using instrument-specific color measurements?	Device-Independent Color Imaging	1994	DBLP DOI BibTeX RDF
29	Edward M. Granger	Achieving device independence in color through appearance modeling.	Device-Independent Color Imaging and Imaging Systems Integration	1993	DBLP DOI BibTeX RDF
29	Michael J. Vrhel, H. Joel Trussell	Physical device illumination color correction.	Device-Independent Color Imaging and Imaging Systems Integration	1993	DBLP DOI BibTeX RDF
29	Rudolph E. Burger	Device-independent color scanning.	Device-Independent Color Imaging and Imaging Systems Integration	1993	DBLP DOI BibTeX RDF
29	Sung-Soo Hong, Ju Il Eom	Point and Control: The Intuitive Method to Control Multi-device with Single Remote Control.	HCI (3)	2009	DBLP DOI BibTeX RDF	IR LED, IR Image Sensor, Point and Control, PAC, Multi device Control, Concurrent Control, Remote control, Universal Remote control
29	Asim Kadav, Matthew J. Renzelmann, Michael M. Swift	Tolerating hardware device failures in software.	SOSP	2009	DBLP DOI BibTeX RDF	reliability, debugging, code generation, recovery, device drivers
29	Sven G. Kratz, Michael Rohs	HoverFlow: expanding the design space of around-device interaction.	Mobile HCI	2009	DBLP DOI BibTeX RDF	around-device interaction, proximity sensors, mobile devices, gestures, wearable devices
29	Srihathai Prammanee, Klaus Moessner	Mobile Multimodality: A Theoretical Approach to Facilitate Virtual Device Environments.	Mob. Networks Appl.	2008	DBLP DOI BibTeX RDF	ambient aware user interfaces, interface and modality binding, Modality Service Tree, mobile, multimodal interaction, ubiquitous, virtual device
29	Yu Sudo, Masa Inakage	YS-3: multi-layered interactive animation device.	SIGGRAPH Posters	2008	DBLP DOI BibTeX RDF	interactive, animation, display, device
29	David Monniaux	Verification of device drivers and intelligent controllers: a case study.	EMSOFT	2007	DBLP DOI BibTeX RDF	OHCI, direct memory access, verification, parallelism, asynchronous, device driver, linked lists, USB
29	Kuan Jen Lin, Shih Hao Huang, Shih Wen Chen	Optimal Allocation of I/O Device Parameters in Hardware and Software Codesign Methodology.	EUC	2007	DBLP DOI BibTeX RDF	I/O interface, Hardware/Software Codesign, Device Driver, Programmable controller
29	Christopher L. Conway, Stephen A. Edwards	NDL: a domain-specific language for device drivers.	LCTES	2004	DBLP DOI BibTeX RDF	domain-specific languages, device drivers, systems programming
29	Reinhold Behringer, Steven Chen, Venkataraman Sundareswaran, Kenneth Wang 0001, Marius S. Vassiliou	A Novel Interface for Device Diagnostics Using Speech Recognition, Augmented Reality Visualization, and 3D Audio Auralization.	ICMCS, Vol. 1	1999	DBLP DOI BibTeX RDF	device diagnostics, distributed system, augmented reality, speech recognition, visual servoing, 3D audio
29	Hamed Ketabdar, Kamer Ali Yüksel, Mehran Roshandel	MagiTact: interaction with mobile devices based on compass (magnetic) sensor.	IUI	2010	DBLP DOI BibTeX RDF	around device interaction, compass (magnetic) sensor, movement-based gestures, mobile devices, magnet
29	Kannan Krishna, Stephen W. Director	A novel methodology for statistical parameter extraction.	ICCAD	1995	DBLP DOI BibTeX RDF	statistical parameter extraction, manufacturing fluctuations, device modelling
29	Manabu Hirano, Takeshi Okuda, Suguru Yamaguchi	Application for a Simple Device Authentication Framework: Device Authentication Middleware Using Novel Smart Card Software.	SAINT Workshops	2007	DBLP DOI BibTeX RDF
28	Yun-kyung Lee, Deok-Gyu Lee, Jong Wook Han, Jeong-Nyeo Kim	The home device authentication system construction for pervasive home network.	MobiQuitous	2008	DBLP DOI BibTeX RDF
28	Ravishankar Rao, Sarma B. K. Vrudhula	Energy optimal speed control of a producer-consumer device pair.	ACM Trans. Embed. Comput. Syst.	2007	DBLP DOI BibTeX RDF	joint optimization, processor, Energy optimization, disk drive, speed control
28	Yun-kyung Lee, Deok-Gyu Lee, Jong Wook Han	Home Device Authentication Method Based on PKI.	FGCN (2)	2007	DBLP DOI BibTeX RDF
28	Mark Lewandowski, Mark J. Stanovich, Theodore P. Baker, Kartik Gopalan, An-I Andy Wang	Modeling Device Driver Effects in Real-Time Schedulability Analysis: Study of a Network Driver.	IEEE Real-Time and Embedded Technology and Applications Symposium	2007	DBLP DOI BibTeX RDF
28	Harinder Seera, Seng Wai Loke, Torab Torabi	Towards Device-Blending: Model and Challenges.	AINA Workshops (2)	2007	DBLP DOI BibTeX RDF
28	Sung-Uk Lee, Seungho Kim	Analysis and Optimal Design of a New 6 DOF Parallel Type Haptic Device.	IROS	2006	DBLP DOI BibTeX RDF
28	Vishnu Swaminathan, Krishnendu Chakrabarty	Energy-conscious, deterministic I/O device scheduling in hard real-time systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
28	K. S. V. Gopalarao, Purnendu K. Mozumder, Duane S. Boning	An integrated technology CAD system for process and device designers.	IEEE Trans. Very Large Scale Integr. Syst.	1993	DBLP DOI BibTeX RDF
28	Tomohito Takubo, Kenji Inoue, Tatsuo Arai, Kazutoshi Nishii	Wholebody Teleoperation for Humanoid Robot by Marionette System.	IROS	2006	DBLP DOI BibTeX RDF
28	Jeong-Han Yun, Gunwoo Kim, Choonho Son, Taisook Han	Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools.	EUC	2006	DBLP DOI BibTeX RDF
28	Philip D. MacKenzie, Michael K. Reiter	Networked Cryptographic Devices Resilient to Capture.	S&P	2001	DBLP DOI BibTeX RDF
28	Terry Winograd	What can we teach about human-computer interaction? (plenary address).	CHI	1990	DBLP DOI BibTeX RDF
28	Hans Brunner	A snapshot of natural language interfaces (panel).	CHI	1990	DBLP DOI BibTeX RDF
28	Jakob Nielsen	Designing for international use (panel).	CHI	1990	DBLP DOI BibTeX RDF
28	S. Joy Mountford	Designers: meet your users (panel).	CHI	1990	DBLP DOI BibTeX RDF	Apple Computer, HyperCard, Inc
28	Marcy Telles	Updating an older interface.	CHI	1990	DBLP DOI BibTeX RDF	WordStar
27	Jia-Lin Tsai, Der-Baau Perng	An intuitive and device-independent method of generating color atlases for electronic displays.	Vis. Comput.	1998	DBLP DOI BibTeX RDF	CIE UCS, CIE Luv*, 3D Color gamut, Color atlas, Color scheme, Device-independent color description, device colorimetric characterization, Displays, CRT
27	Ramin Mojdehbakhsh, Wei-Tek Tsai, Shekhar H. Kirani, Lynn Elliott	Retrofitting Software Safety in an Implantable Medical Device.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	retrofitting, cardiac rhythm management device, regulatory agencies, rigorous software safety analysis technique, safety faults, software modification, software reliability, safety, legislation, medical computing, prosthetics, safety verification, implantable medical device, pacemakers
27	Philipp Urban, Rolf-Rainer Grigat	Metamer density estimated color correction.	Signal Image Video Process.	2009	DBLP DOI BibTeX RDF	Color image acquisition, Device metamerism, Device characterization, Color correction
26	Mitsuhiro Mabuchi, Yasushi Shinjo, Koji Hasebe, Akira Sato, Kazuhiko Kato	CapaCon: access control mechanism for inter-device communications through TCP connections.	SAC	2010	DBLP DOI BibTeX RDF	inter-device communications, access control, network security, capabilities
26	Moustafa Seifeldin, Moustafa Youssef 0001	A deterministic large-scale device-free passive localization system for wireless environments.	PETRA	2010	DBLP DOI BibTeX RDF	device-free localization, passive radio map
26	Vitaly Chipounov, George Candea	Reverse engineering of binary device drivers with RevNIC.	EuroSys	2010	DBLP DOI BibTeX RDF	closed-source, proprietary software, reverse engineering, device drivers, binary
26	Patrick Baudisch, Gerry Chu	Back-of-device interaction allows creating very small touch devices.	CHI	2009	DBLP DOI BibTeX RDF	back-of-device interaction, lucidtouch, nanotouch, mobile devices, input devices, pointing, touch