Search results for "mobile computers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Stephen A. Brewster	Overcoming the Lack of Screen Space on Mobile Computers.	Personal and Ubiquitous Computing	2002	DBLP DOI BibTeX RDF	Sonically-enhanced widgets, Evaluation, Mobile computers, PDAs, Earcons, Non-speech sounds, Buttons
3	Yolanda Villate, Evaggelia Pitoura, Arantza Illarramendi, Ahmed K. Elmagarmid	Extending the Data Services of Mobile Computers by External Data Lockers. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	external data lockers, dedicated disk space, fixed network, battery power savings, mobile computer capabilities, mobile computing, mobile computers, mobile devices, mobile agents, wireless communications, data protection, communication optimizations, mobile users, data services, storage capacity, middleware architecture
2	Yaohua Yu, Zhengjie Liu	Improving the performance and usability for visual menu interface on mobile computers.	AVI	2010	DBLP DOI BibTeX RDF	sonically-enhanced menu, mobile computer, PDA, non-speech sound
2	Fumihisa Shibata, Takashi Hashimoto, Koki Furuno, Asako Kimura, Hideyuki Tamura	Scalable Architecture and Content Description Language for Mobile Mixed Reality Systems.	ICAT	2006	DBLP DOI BibTeX RDF	Content Description Language, Mobile Computers, Augmented Reality, Mixed Reality, Scalable Architecture
2	Sayaka Harada, Hiroaki Higaki	Sporadic Communication Protocol between Clusters of Mobile Computers.	ICPADS	2004	DBLP DOI BibTeX RDF
2	Yunsi Fei, Lin Zhong, Niraj K. Jha	An Energy-Aware Framework for Coordinated Dynamic Software Management in Mobile Computers.	MASCOTS	2004	DBLP DOI BibTeX RDF
2	Vassilios Vlahakis, John Karigiannis, Manolis Tsotros, Nikolaos Ioannidis, Didier Stricker	Personalized Augmented Reality Touring of Archaeological Sites with Wearable and Mobile Computers.	ISWC	2002	DBLP DOI BibTeX RDF	Image Tracking, Personalized Tours, Augmented Reality, Wearable
2	Shigeaki Tagashira, Keizo Saisho, Akira Fukuda	Design and Implementation of an Information Announcement Toolkit for Mobile Computers.	Mobile Data Management	2001	DBLP DOI BibTeX RDF
2	Shigeaki Tagashira, Akira Fukuda, Keizo Saisho	Efficiently Announcing Multimedia Information from Mobile Computers with the WOR Toolkit. (PDF / PS)	ISADS	2001	DBLP DOI BibTeX RDF
2	Michael L. W. Jones, Robert Rieger, Paul Treadwell, Geri Gay	Live from the stacks: user feedback on mobile computers and wireless tools for library patrons.	ACM DL	2000	DBLP DOI BibTeX RDF	DL case studies, evaluation, human-computer interaction, mobile and ubiquitous computing
2	Maria A. Butrico, Norman H. Cohen, John S. Givler, Ajay Mohindra, Apratim Purakayastha, Dennis G. Shea, Josephine M. Cheng, Don Clare, Gerry Fisher, Rob Scott, Yudong Sun, May Wone, Quinton Zondervan	Enterprise Data Access from Mobile Computers: An End-to-end Story. (PDF / PS)	RIDE	2000	DBLP DOI BibTeX RDF
2	Jongkuk Lee, Myungchul Kim, Hee Yong Youn, Yusik Hahm, Dongman Lee	Class-Based Proxy Server for Mobile Computers. (PDF / PS)	ICPP Workshops	2000	DBLP DOI BibTeX RDF
2	Paul J. M. Havinga, Gerard J. M. Smit, Martinus Bos	Energy-Efficient Adaptive Wireless Network Design.	ISCC	2000	DBLP DOI BibTeX RDF	Quality of Service, mobile computers, adaptive, wireless network, energy-efficient
2	Steinar Kristoffersen, Fredrik Ljungberg	Designing Interaction Styles for a Mobile Use Context.	HUC	1999	DBLP DOI BibTeX RDF	Mobile computers, interface design, interaction style
2	Charles E. Perkins	Handling Multimedia Data for Mobile Computers. (PDF / PS)	COMPSAC	1996	DBLP DOI BibTeX RDF	multimedia data handling, client/server paradigm, variable network conditions, cost structures, mobile computers, bandwidth, multimedia communication, mobile communication, proxies, client-server systems, multimedia computing, portable computers, wireless links, mobile clients, intermittent connectivity
2	Azer Bestavros	AIDA-based real-time fault-tolerant broadcast disks. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	telesoftware, AIDA-based real-time fault-tolerant broadcast disks, Adaptive Information Dispersal Algorithm, distributed real-time applications, downstream communication capacity, upstream communication capacity, server storage capacity, client storage capacity, scalable mechanism, broadcast disks protocol, prioritized data multiplexing control, real-time systems, mobile computers, wireless networks, distributed algorithms, wireless LAN, fault tolerant computing, broadcasting, transport protocols, adaptive systems, multiplexing, timeliness
2	Yixiu Huang, A. Prasad Sistla, Ouri Wolfson	Data Replication for Mobile Computers.	SIGMOD Conference	1994	DBLP DOI BibTeX RDF
1	Daniel Ferreira, Sara Rocha, João Santos 0003, Susan Hauser, Henrique M. G. Martins	From Mobile Computers to Mobile Information? A Case Study of Physicians' Mobile Information Use.	ICC	2011	DBLP DOI BibTeX RDF
1	Soo-Hyeon Yang, Yeonseung Ryu	An Efficient Mapping Table Management in NAND Flash-Based Mobile Computers.	ICCSA	2011	DBLP DOI BibTeX RDF
1	Markus Ruchter, Bernhard Klar, Werner Geiger	Comparing the effects of mobile computers and traditional approaches in environmental education.	Computers & Education	2010	DBLP DOI BibTeX RDF
1	Gamel O. Wiredu	Historical perception as a complementary framework for understanding the usability of mobile computers.	Cognition, Technology & Work	2010	DBLP DOI BibTeX RDF
1	Shu Liu, Xu Cheng, Xuetao Guan, Dong Tong	Energy efficient management scheme for heterogeneous secondary storage system in mobile computers.	SAC	2010	DBLP DOI BibTeX RDF	heterogeneous secondary storage, flash memory, energy saving, hard disk
1	Konstantinos Chorianopoulos, Francisco Javier Burón Fernández, Enrique García Salcines, Carlos de-Castro-Lozano	Delegating the visual interface between a tablet and a TV.	AVI	2010	DBLP DOI BibTeX RDF	evaluation, design, interaction, TV, tablet
1	Olufisayo Omojokun, Prasun Dewan	History-based device graphical user-interfaces.	EICS	2010	DBLP DOI BibTeX RDF	model-based user-interface generation, uims, mobile computing, personalization, logging, devices, screen space
1	Qing Zhang, John McCullough, Justin Ma, Nabil Schear, Michael Vrable, Amin Vahdat, Alex C. Snoeren, Geoffrey M. Voelker, Stefan Savage	Neon: system support for derived data management.	VEE	2010	DBLP DOI BibTeX RDF	difc, memory tainting, qemu, virtualization, xen
1	Nicolás Macia, Paula Venosa, Luis Marrone	Requirements for troubleshooting wi-fi network security through location technologies.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	signalprint, network security, monitoring, location, wifi
1	Michael Decker	An UML profile for the modelling of mobile business processes and workflows.	MobiMedia	2009	DBLP DOI BibTeX RDF	mobile business processes/workflows, usecase diagrams, modelling, UML, location-based services, activity diagrams
1	Nicholas Palmer, Roelof Kemp, Thilo Kielmann, Henri E. Bal	Ibis for mobility: solving challenges of mobile computing using grid techniques.	HotMobile	2009	DBLP DOI BibTeX RDF	elastic computing, fault tolerance, mobile computing, mobility, grid computing, distributed computing, high performance computing, smartphone, malleability, Ibis
1	Luca Simoncini	Resilient computing: An engineering discipline.	IPDPS	2009	DBLP DOI BibTeX RDF
1	Efe Karasabun, Dogus Ertemur, Rüstü Seyhun Sariyildiz, Metin Tekkalmaz, Ibrahim Korpeoglu	A path-quality-aware peer-to-peer file sharing protocol for mobile ad-hoc networks: Wi-share.	ISCIS	2009	DBLP DOI BibTeX RDF
1	Kent Lyons, Trevor Pering, Barbara Rosario, Shivani Sud, Roy Want	Multi-display Composition: Supporting Display Sharing for Collocated Mobile Devices.	INTERACT	2009	DBLP DOI BibTeX RDF
1	Gamel O. Wiredu	An Historical Epistemology of Perception in the Use of Mobile Computers.	ECIS	2008	DBLP BibTeX RDF
1	Chris Baber, James Cross, Tariq Khaleel, Russell Beale	Location-based photography as sense-making.	BCS HCI	2008	DBLP DOI BibTeX RDF	mobile computers, digital imaging, photography, sense-making
1	Tetsuo Yamabe, Kiyotaka Takahashi, Tatsuo Nakajima	Design issues and an empirical study in mobility oriented service development.	Mobile Middleware	2008	DBLP DOI BibTeX RDF	mobile computers, interface design, interaction style, pedestrian navigation
1	Tetsuo Yamabe, Kiyotaka Takahashi, Tatsuo Nakajima	Towards mobility oriented interaction design: experiments in pedestrian navigation on mobile devices.	MobiQuitous	2008	DBLP DOI BibTeX RDF	mobile computers, interface design, interaction style, pedestrian navigation
1	Tetsuo Yamabe, Kiyotaka Takahashi, Tatsuo Nakajima	Demonstration of a mobility-enhanced pedestrian navigation on mobile devices.	MobiQuitous	2008	DBLP DOI BibTeX RDF	mobile computers, interface design, interaction style
1	Mwaffaq Otoom, JoAnn M. Paul	Holistic design and caching in mobile computing.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	application-level caching, single chip heterogeneous multiprocessing, mobile computing, webpages
1	Roy Want	Life, the universe, and the future of mobile computing.	MobiSys	2008	DBLP DOI BibTeX RDF
1	Yunsi Fei, Lin Zhong, Niraj K. Jha	An energy-aware framework for dynamic software management in mobile computing systems.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	energy macromodel, runtime coordination, Software adaptation
1	Zahid Hussain, Martin Lechner, Harald Milchrahm, Sara Shahzad, Wolfgang Slany, Martin Umgeher, Thomas Vlk, Peter Wolkerstorfer	User Interface Design for a Mobile Multimedia Application: An Iterative Approach.	ACHI	2008	DBLP DOI BibTeX RDF	Iterative User Interface Design, Usability, Multimedia, Extreme Programming, Mobile Application
1	Timothy Buennemeyer, Theresa M. Nelson, Lee M. Clagett, John Paul Dunning, Randy C. Marchany, Joseph G. Tront	Mobile Device Profiling and Intrusion Detection Using Smart Batteries.	HICSS	2008	DBLP DOI BibTeX RDF
1	Olufisayo Omojokun, Prasun Dewan	Efficient Retargeting of Generated Device User-Interfaces.	PerCom	2008	DBLP DOI BibTeX RDF	performance, user-interfaces, devices, retargeting
1	Keqin Li	Performance Analysis of Power-Aware Task Scheduling Algorithms on Multiprocessor Computers with Dynamic Voltage and Speed.	IEEE Trans. Parallel Distrib. Syst.	2008	DBLP DOI BibTeX RDF
1	Tuomas Aura, Janne Lindqvist, Michael Roe, Anish Mohammed	Chattering Laptops.	Privacy Enhancing Technologies	2008	DBLP DOI BibTeX RDF	network location awareness, Privacy, mobile computing, wireless networks, anonymity
1	Gerald Bieber	Generic Personal Assistance Architecture for Mobile Environments.	Advances in Semantic Media Adaptation and Personalization	2008	DBLP DOI BibTeX RDF
1	Valery Sklyarov, Iouliia Skliarova, Manuel Almeida, Bruno Figueiredo Pimentel	A prototyping system for mobile devices.	IWCMC	2007	DBLP DOI BibTeX RDF	prototyping board, remote reconfiguration, mobile devices, reconfigurable systems
1	Timothy Buennemeyer, Faiz Munshi, Randy C. Marchany, Joseph G. Tront	Battery-Sensing Intrusion Protection for Wireless Handheld Computers Using a Dynamic Threshold Calculation Algorithm for Attack Detection.	HICSS	2007	DBLP DOI BibTeX RDF
1	Sigal Elnekave, Mark Last, Oded Maimon	Incremental Clustering of Mobile Objects.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
1	Shu-Ching Wang, Shyi-Ching Liang, Kuo-Qin Yan, Guang-Yan Zheng	Efficient Malicious Agreement in a Virtual Subnet Network.	ARES	2007	DBLP DOI BibTeX RDF
1	Xu Lei, Yong-Soo Kim, Richard Lai	Modelling and Simulating IPv6 Mobility.	CIT	2007	DBLP DOI BibTeX RDF
1	Mika Watanabe, Hiroaki Higaki	No-Beacon GEDIR: Location-Based Ad-Hoc Routing with Less Communication Overhead.	ITNG	2007	DBLP DOI BibTeX RDF
1	Olufisayo Omojokun, Prasun Dewan	Automatic Generation of Device User-Interfaces?	PerCom	2007	DBLP DOI BibTeX RDF
1	Siddhartha Chattopadhyay, Suchendra M. Bhandarkar, Kang Li	Model-Based Power Aware Compression Algorithms for MPEG-4 Virtual Human Animation in Mobile Environments.	IEEE Transactions on Multimedia	2007	DBLP DOI BibTeX RDF
1	Andreas Holzinger, Maximilian Errath	Mobile computer Web-application design in medicine: some research based guidelines.	Universal Access in the Information Society	2007	DBLP DOI BibTeX RDF	Mobile computing, Interface design, Internet applications, Life and medical sciences, Information interfaces and representation
1	David A. Bennett, Marc P. Armstrong, Jerry Mount	MoGeo: A location-based educational service.	Location Based Services and TeleCartography	2007	DBLP DOI BibTeX RDF
1	Feng Chen, Song Jiang, Xiaodong Zhang	SmartSaver: turning flash drive into a disk energy saver for mobile computers.	ISLPED	2006	DBLP DOI BibTeX RDF	flash drive, mobile computer, energy saving, hard disk
1	Dynal Patel, Gary Marsden, Matt Jones, Steve Jones	Improving photo searching interfaces for small-screen mobile computers.	Mobile HCI	2006	DBLP DOI BibTeX RDF	interface techniques, photo searching, PDAs
1	Eoin McLoughlin, Dympna O'Sullivan, Michela Bertolotto, David C. Wilson	MEDIC: MobilE Diagnosis for Improved Care.	SAC	2006	DBLP DOI BibTeX RDF
1	Hiroshi Dozono, Masanori Nakakuni, Hiroaki Sanada, Yoshio Noguchi	The Analysis of Pen Inputs of Handwritten Symbols using Self Organizing Maps and its Application to User Authentication.	IJCNN	2006	DBLP DOI BibTeX RDF
1	Minami Narasawa, Masakazu Ono, Hiroaki Higaki	NB-FACE: No-Beacon FACE Ad-hoc Routing Protocol for Reduction of Location Acquisition Overhead.	MDM	2006	DBLP DOI BibTeX RDF
1	Yuya Numata, Hiroaki Higaki	Power Controlled Routing inWireless Multihop Communication for Higher End-to-End Bandwidth.	MDM	2006	DBLP DOI BibTeX RDF
1	Ouri Wolfson	A New Ph.D. Program in Computational Transportation Science.	MDM	2006	DBLP DOI BibTeX RDF
1	Darlan Vivian, Eduardo Adílio Pelinson Alchieri, Carlos Becker Westphall	Evaluation of QoS Metrics in Ad Hoc Networks with the use of Secure Routing Protocols.	NOMS	2006	DBLP DOI BibTeX RDF
1	Kai-Ten Feng, Kuan-Hung Chou	Intelligent Router-Assisted Power Saving Medium Access Control for Mobile Ad Hoc Networks.	VTC Spring	2006	DBLP DOI BibTeX RDF
1	Arnold Baca, Philipp Kornfeind	Rapid Feedback Systems for Elite Sports Training.	IEEE Pervasive Computing	2006	DBLP DOI BibTeX RDF	training, coaching, skill acquisition, Feedback systems
1	Keith S. Vallerio, Lin Zhong, Niraj K. Jha	Energy-Efficient Graphical User Interface Design.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	low power, Graphical user interfaces, handheld computers
1	Jianpei Zhang, Yan Chu, Jing Yang	A Category on the Cache Invalidation for Wireless Mobile Environments.	APWeb Workshops	2006	DBLP DOI BibTeX RDF
1	Seongah Chin, Youngmee Choi, Moonwon Choo	A Real-Time PDA Based Communication Appliance for Multi-users.	CDVE	2006	DBLP DOI BibTeX RDF
1	Kui Wu, Janelle J. Harms	Performance Study of Proactive Flow Handoff for Mobile Ad Hoc Networks.	Wireless Networks	2006	DBLP DOI BibTeX RDF	proactive flow handoff, performance, routing, Mobile Ad Hoc Networks
1	Alfonso Fuggetta	The power of software.	ASE	2005	DBLP DOI BibTeX RDF
1	James Larkby-Lahet, Ganesh Santhanakrishnan, Ahmed Amer, Panos K. Chrysanthis	STEP: Self-Tuning Energy-safe Predictors.	Mobile Data Management	2005	DBLP DOI BibTeX RDF	simulation, mobile computing, prediction, power management, prefetching, adaptive caching
1	Mike Hazas, Christian Kray, Hans-Werner Gellersen, Henoc Agbota, Gerd Kortuem, Albert Krohn	A relative positioning system for co-located mobile devices.	MobiSys	2005	DBLP DOI BibTeX RDF
1	Angelo Brayner, Frank Stefan Alencar	A Semantic-Serializability Based Fully-Distributed Concurrency Control Mechanism for Mobile Multi-Database Systems.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
1	Ryota Ozaki, Soichiro Hidaka, Kazuya Kodama, Katsumi Maruyama	Accessing Remote Devices Using Conventional Interfaces in Mobile Computing Environment.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
1	Isabelle M. Demeure, Claudie Faure, Eric Lecolinet, Jean-Claude Moissinac, Stuart Pook	Mobile Computing to Facilitate Interaction in Lectures and Meetings.	DFMA	2005	DBLP DOI BibTeX RDF
1	Gary R. King, Wayne Piekarski, Bruce H. Thomas	ARVino - Outdoor Augmented Reality Visualisation of Viticulture GIS Data.	ISMAR	2005	DBLP DOI BibTeX RDF
1	Andreas Rasche, Marco Puhlmann, Andreas Polze	Heterogeneous Adaptive Component-Based Applications with Adaptive.Net.	ISORC	2005	DBLP DOI BibTeX RDF	Heterogeneous Distributed Systems Architecture, Java, CORBA, Adaptive Computing, .NET
1	Daniel C. Nash, Thomas L. Martin, Dong S. Ha, Michael S. Hsiao	Towards an Intrusion Detection System for Battery Exhaustion Attacks on Mobile Computing Devices.	PerCom Workshops	2005	DBLP DOI BibTeX RDF
1	Wen-Chih Peng, Ming-Syan Chen	Query Processing in a Mobile Computing Environment: Exploiting the Features of Asymmetry.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF
1	Paul Lukowicz	Human Computer Interaction in Context Aware Wearable Systems.	AIME	2005	DBLP DOI BibTeX RDF
1	Miquel Mascaró, B. Estrany, J. Laredo, Eric Sidaner, Yuhua Luo	Design of a Cooperative Working Environment for Mobile Devices.	CDVE	2005	DBLP DOI BibTeX RDF
1	María Ester Lagos, Miguel Nussbaum, Francisca Capponi	A Mediation Model for Large Group Collaborative Teaching.	CRIWG	2005	DBLP DOI BibTeX RDF
1	Iain Darroch, Joy Goodman, Stephen A. Brewster, Philip D. Gray	The Effect of Age and Font Size on Reading Text on Handheld Computers.	INTERACT	2005	DBLP DOI BibTeX RDF
1	Haidong Xia, Jayashree Kanchana, José Carlos Brustoloni	Using Secure Coprocessors to Protect Access to Enterprise Networks.	NETWORKING	2005	DBLP DOI BibTeX RDF
1	Miguel Casas-Sanchez, Jose Rizo-Morente, Chris J. Bleakley	Power Consumption Characterisation of the Texas Instruments TMS320VC5510 DSP.	PATMOS	2005	DBLP DOI BibTeX RDF
1	Yih-Chun Hu, Adrian Perrig, David B. Johnson	Ariadne: A Secure On-Demand Routing Protocol for Ad Hoc Networks.	Wireless Networks	2005	DBLP DOI BibTeX RDF	ad hoc network routing, secure ad hoc network routing, Ariadne, mobile ad hoc network, secure routing
1	Kyle Lutes	Software Development for Mobile Computers.	IEEE Pervasive Computing	2004	DBLP DOI BibTeX RDF	Mobile Computing, Education, Training
1	Andreas Holzinger, Maximilian Errath	Designing Web-Applications for Mobile Computers: Experiences with Applications to Medicine.	User Interfaces for All	2004	DBLP DOI BibTeX RDF	Mobile Computing, Internet Applications, Life and Medical Sciences, Information Interfaces and Representation
1	Thomas L. Martin, Michael S. Hsiao, Dong S. Ha, Jayan Krishnaswami	Denial-of-Service Attacks on Battery-powered Mobile Computers.	PerCom	2004	DBLP DOI BibTeX RDF
1	Kristian Kvilekval, Ambuj K. Singh	SPREE: Object Prefetching for Mobile Computers.	CoopIS/DOA/ODBASE	2004	DBLP DOI BibTeX RDF
1	Tomonori Asano, Hiroyuki Unoki, Hiroaki Higaki	LBSR: Routing Protocol for MANETs with Unidirectional Links.	AINA	2004	DBLP DOI BibTeX RDF
1	Masakazu Ono, Chikashi Kato, Sayaka Harada, Hiroaki Higaki	Wireless Sporadic Communication Protocol for Supporting Cluster-to-Base Station Communication.	AINA	2004	DBLP DOI BibTeX RDF
1	Michael Gundlach, Sarah Doster, Haijin Yan, David K. Lowenthal, Scott A. Watterson, Surendar Chandra	Dynamic, Power-Aware Scheduling for Mobile Clients Using a Transparent Proxy.	ICPP	2004	DBLP DOI BibTeX RDF
1	Masakazu Ono, Hiroaki Higaki	Hybrid Checkpoint Protocol for Cell-Dependent Infrastructured Networks.	IPDPS	2004	DBLP DOI BibTeX RDF
1	Hiroyuki Unoki, Hiroaki Higaki	Loop-Based Source Routing Protocol for Mobile Ad hoc Networks.	IPDPS	2004	DBLP DOI BibTeX RDF
1	Sayaka Harada, Hiroaki Higaki	Wireless sporadic communication protocol for supporting cluster-to-base station communication.	ISCC	2004	DBLP DOI BibTeX RDF
1	Masakazu Ono, T. Hirakawa, Hiroaki Higaki	Hybrid checkpoint protocol for cell-dependent infrastructured networks.	ISCC	2004	DBLP DOI BibTeX RDF
1	Zhinan Zhou, Philip K. McKinley, Seyed Masoud Sadjadi	On quality-of-service and energy consumption tradeoffs in FEC-encoded audio streaming.	IWQoS	2004	DBLP DOI BibTeX RDF
1	Edwin Hernandez, Abdelsalam Helal	Predictive Mobile IP for Rapid Mobility.	LCN	2004	DBLP DOI BibTeX RDF	mobile networking protocols, handoff, network emulation, predictive algorithms
1	Ichiro Satoh	Linking Physical Worlds to Logical Worlds with Mobile Agents.	Mobile Data Management	2004	DBLP DOI BibTeX RDF