Search results for "toolkit"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Jan Trowitzsch, D. Jerzynek, Armin Zimmermann	A toolkit for performability evaluation based on stochastic UML state machines.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	stochastic UML state machines, performance evaluation, petri nets, software tool, model transformation
16	Rene Mayrhofer	Towards an Open Source Toolkit for Ubiquitous Device Authentication.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
16	Vincent Leclerc, Amanda J. Parkes, Hiroshi Ishii 0001	Senspectra: a computationally augmented physical modeling toolkit for sensing and visualization of structural strain.	CHI	2007	DBLP DOI BibTeX RDF	tangible user interface, 3D visualization, structural analysis, materiality
16	Alexander P. Afanasiev, Oleg V. Sukhoroslov, Mikhail Posypkin	A High-Level Toolkit for Development of Distributed Scientific Applications.	PaCT	2007	DBLP DOI BibTeX RDF	integration of software resources, middleware, Grid, distributed computing, information service, discrete optimization, distributed workflow
16	Asif Qumer, Brian Henderson-Sellers	An Agile Toolkit to Support Agent-Oriented and Service-Oriented Computing Mechanisms.	PROFES	2007	DBLP DOI BibTeX RDF	M-abstraction, Agile methods, Service-Oriented, Method Engineering, Agent-oriented
16	Xiaohua Zhou, Xiaodan Zhang, Xiaohua Hu 0001	Dragon Toolkit: Incorporating Auto-Learned Semantic Knowledge into Large-Scale Text Retrieval and Mining.	ICTAI (2)	2007	DBLP DOI BibTeX RDF
16	Olena Borzenko, Yves Lespérance, Michael Jenkin	INVICON: A Toolkit for Knowledge-Based Control of Vision Systems.	CRV	2007	DBLP DOI BibTeX RDF
16	Michael Russell, Piotr Dziubecki, Piotr Grabowski, Michal Krysinski, Tomasz Kuczynski, Dawid Szejnfeld, Dominik Tarnawczyk, Gosia Wolniewicz, Jaroslaw Nabrzyski	The Vine Toolkit: A Java Framework for Developing Grid Applications.	PPAM	2007	DBLP DOI BibTeX RDF	Java, Grid, web, framework, application, service, portal
16	Robert Baxter 0001, Stephen Booth, Mark Bull, Geoff Cawood, James Perry, Mark Parsons 0001, Alan Simpson, Arthur S. Trew, Andrew McCormick, Graham Smart, Ronnie Smart, Allan Cantle, Richard Chamberlain, Gildas Genest	The FPGA High-Performance Computing Alliance Parallel Toolkit.	AHS	2007	DBLP DOI BibTeX RDF
16	Thiago Bruno Melo de Sales, Ivo Augusto A. R. Calado, Manoel Teixeira de Abreu Netto, Evandro de Barros Costa, Henrique Pacca Loureiro Luna, Leandro Melo de Sales, Marcello Alves de Sales Junior	An Open-Source Component-Based Toolkit to Support E-learning Multimedia Environments.	ICSNC	2007	DBLP DOI BibTeX RDF
16	William E. Hart, Jonathan W. Berry, Robert T. Heaphy, Cynthia A. Phillips	EXACT: the experimental algorithmics computational toolkit.	Experimental Computer Science	2007	DBLP DOI BibTeX RDF	software testing, experimental design, experimental analysis
16	Adrian Colesa, Teodor Pop, Iosif Ignat, Cosmin Ardelean	Automatic and Reliable Distribution of Data in Grids over Globus Toolkit.	SYNASC	2007	DBLP DOI BibTeX RDF
16	Yansong (Jennifer) Ren, Fangzhe Chang	ATTEST: A Testing Toolkit for Validating Software Properties.	ICSM	2007	DBLP DOI BibTeX RDF
16	Ian T. Foster	Globus Toolkit Version 4: Software for Service-Oriented Systems.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	distributed systems, middleware, open source, distributed applications, Internet applications
16	Kevin Gary, Luis Ibáñez, Stephen R. Aylward, David Gobbi, M. Brian Blake, Kevin Cleary	IGSTK: An Open Source Software Toolkit for Image-Guided Surgery.	Computer	2006	DBLP DOI BibTeX RDF	IGSTK, Open source software, Healthcare technology, Medical software, Clinical software engineering
16	Peter A. Dinda	Design, Implementation, and Performance of an Extensible Toolkit for Resource Prediction in Distributed Systems.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	Distributed systems, performance of systems
16	Michael J. North, Nicholson T. Collier, Jerry R. Vos	Experiences creating three implementations of the repast agent modeling toolkit.	ACM Trans. Model. Comput. Simul.	2006	DBLP DOI BibTeX RDF	Java, Python, Microsoft .NET, Agent-based Modeling and Simulation
16	Michael Engel, Bernd Freisleben	TOSKANA: A Toolkit for Operating System Kernel Aspects.	T. Aspect-Oriented Software Development	2006	DBLP DOI BibTeX RDF
16	Christoph Reich, Bettina Scharpf	Continuous Software Test Distributed Execution and Integrated into the Globus Toolkit.	ISPDC	2006	DBLP DOI BibTeX RDF
16	Kameswari Kotapati, Peng Liu 0005, Thomas F. La Porta	CAT - A Practical Graph & SDL Based Toolkit for Vulnerability Assessment of 3G Networks.	SEC	2006	DBLP DOI BibTeX RDF
16	Huajun Chen, Yimin Wang, Heng Wang, Yuxin Mao, Jinmin Tang, Chunying Zhou, Aining Yin, Zhaohui Wu 0001	Towards a Semantic Web of Relational Databases: A Practical Semantic Toolkit and an In-Use Case from Traditional Chinese Medicine.	ISWC	2006	DBLP DOI BibTeX RDF
16	Valerio Schiavoni, Vivien Quéma	A posteriori defensive programming: an annotation toolkit for DoS-resistant component-based architectures.	SAC	2006	DBLP DOI BibTeX RDF	components, aspect-oriented programming, annotations, DoS attacks
16	Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli	Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3.	CSMR	2006	DBLP DOI BibTeX RDF
16	Emanuele Ruffaldi, Antonio Frisoli, Massimo Bergamasco, C. Gottlieb, Franco Tecchia	A haptic toolkit for the development of immersive and web-enabled games.	VRST	2006	DBLP DOI BibTeX RDF	virtual enviroments, game, web, haptics
16	Camil Demetrescu, Irene Finocchi	A data-driven graphical toolkit for software visualization.	SOFTVIS	2006	DBLP DOI BibTeX RDF	data flow execution model, graphical libraries, multi-paradigm programming languages, reactive environments, software visualization
16	Jonathan May, Kevin Knight	Tiburon: A Weighted Tree Automata Toolkit.	CIAA	2006	DBLP DOI BibTeX RDF
16	Andrew C. Rice, Alastair R. Beresford, Robert K. Harle	Cantag: an open source software toolkit for designing and deploying marker-based vision systems.	PerCom	2006	DBLP DOI BibTeX RDF
16	Vijay Sahota, Maozhen Li 0001, Wenming Guo	Resource Monitoring with Globus Toolkit 4.	SKG	2006	DBLP DOI BibTeX RDF
16	Amitava Biswas, Tom Donaldson, Jagmit Singh, Sara Diamond, David Gauthier, Michael Longford	Assessment of mobile experience engine, the development toolkit for context aware mobile applications.	Advances in Computer Entertainment Technology	2006	DBLP DOI BibTeX RDF	design collaboration, software engineering, context-aware, games, new media, rapid application development
16	Zhou Lei, Dayong Huang, Archit Kulshrestha, Santiago Peña, Gabrielle Allen, Xin Li, Christopher D. White, Richard Duff, John R. Smith, Subhash Kalla	ResGrid: A Grid-aware Toolkit for Reservoir Uncertainty Analysis.	CCGRID	2006	DBLP DOI BibTeX RDF
16	Jean-François Condotta, Mahmoud Saade, Gerard Ligozat	A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi.	TIME	2006	DBLP DOI BibTeX RDF
16	Dongpyo Hong, Youngjung Suh, Ahyoung Choi, Umar Rashid, Woontack Woo	wear-UCAM: A Toolkit for Mobile User Interactions in Smart Environments.	EUC	2006	DBLP DOI BibTeX RDF
16	Xiaolin Li 0003, Wenlong Huang, Bo Yan	Vega Information Grid: A Suite of Toolkit for Building Information Sharing Scenario.	GCC Workshops	2006	DBLP DOI BibTeX RDF
16	Lihua Yuan, Jianning Mai, Zhendong Su 0001, Hao Chen 0003, Chen-Nee Chuah, Prasant Mohapatra	FIREMAN: A Toolkit for FIREwall Modeling and ANalysis.	S&P	2006	DBLP DOI BibTeX RDF
16	Timothy Sohn, William G. Griswold, James Scott, Anthony LaMarca, Yatin Chawathe, Ian E. Smith, Mike Y. Chen	Experiences with place lab: an open source toolkit for location-aware computing.	ICSE	2006	DBLP DOI BibTeX RDF	ubiquitous computing, software architecture, pervasive computing, location-based computing
16	Gaya Buddhinath Jayatilleke, Lin Padgham, Michael Winikoff	Evaluating a Model Driven Development Toolkit for Domain Experts to Modify Agent Based Systems.	AOSE	2006	DBLP DOI BibTeX RDF
16	Gaya Buddhinath Jayatilleke, John Thangarajah, Lin Padgham, Michael Winikoff	Component Agent Framework for domain-Experts (CAFnE) toolkit.	AAMAS	2006	DBLP DOI BibTeX RDF	agent software engineering, methodologies, tool support
16	Blair MacIntyre, Maribeth Gandy, Steven Dow, Jay David Bolter	DART: a toolkit for rapid design exploration of augmented reality experiences.	ACM Trans. Graph.	2005	DBLP DOI BibTeX RDF	animatics, augmented reality, mixed reality, storyboards, design environments, capture/replay
16	Domenico Talia, Paolo Trunfio, Oreste Verta	Weka4WS: A WSRF-Enabled Weka Toolkit for Distributed Data Mining on Grids.	PKDD	2005	DBLP DOI BibTeX RDF
16	Ian T. Foster	Globus Toolkit Version 4: Software for Service-Oriented Systems.	NPC	2005	DBLP DOI BibTeX RDF
16	Shiding Lin, Aimin Pan, Rui Guo, Zheng Zhang 0001	Simulating Large-Scale P2P Systems with the WiDS Toolkit.	MASCOTS	2005	DBLP DOI BibTeX RDF
16	Alan Esenther, Kent Wittenburg	Multi-user Multi-touch Games on DiamondTouch with the DTFlash Toolkit.	INTETAIN	2005	DBLP DOI BibTeX RDF
16	Carmela Comito, Carlo Mastroianni, Domenico Talia	A Metadata Model and Information System for the Management of Resources in a Grid-Based PSE Toolkit.	HPCC	2005	DBLP DOI BibTeX RDF
16	Michel Wermelinger, Artur Miguel Dias	A prolog toolkit for formal languages and automata.	ITiCSE	2005	DBLP DOI BibTeX RDF
16	Michael Maibaum, Lucas Zamboulis, Galia Rimon, Christine A. Orengo, Nigel J. Martin 0001, Alexandra Poulovassilis	Cluster Based Integration of Heterogeneous Biological Databases Using the AutoMed Toolkit.	DILS	2005	DBLP DOI BibTeX RDF
16	John Kodumal, Alexander Aiken	Banshee: A Scalable Constraint-Based Analysis Toolkit.	SAS	2005	DBLP DOI BibTeX RDF
16	Praveen Bhaniramka, Philippe C. D. Robert, Stefan Eilemann	OpenGL Multipipe SDK: A Toolkit for Scalable Parallel Rendering.	IEEE Visualization	2005	DBLP DOI BibTeX RDF	Scalable Rendering, Scalable Graphics Hardware, Parallel Rendering, Immersive Environments
16	Brandon Itkowitz, Josh Handley, Weihang Zhu	The OpenHaptics(TM) Toolkit: A Library for Adding 3D Touch^(TM) Navigation and Haptics to Graphics Applications.	WHC	2005	DBLP DOI BibTeX RDF
16	Salvatore J. Stolfo, Shlomo Hershkop	Email mining toolkit supporting law enforcement forensic analyses.	DG.O	2005	DBLP BibTeX RDF	email forensics, data mining, analysis
16	Emmanuel Pietriga	A Toolkit for Addressing HCI Issues in Visual Language Environments.	VL/HCC	2005	DBLP DOI BibTeX RDF
16	Xiaohui Liang, Chuanpeng Wang, Yinghui Che, Yu Jiangying, Qu Na	A Toolkit for Automatically Modeling and Simulating 3D Multi-articulation Entity in Distributed Virtual Environment.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
16	Zhijie Guan, Vijay Velusamy	GridDeploy: A Toolkit for Deploying Applications as Grid Services.	ITCC (2)	2005	DBLP DOI BibTeX RDF
16	Peter Braun 0002, Duc Trinh, Ryszard Kowalczyk	Integrating a New Mobility Service into the Jade Agent Toolkit.	MATA	2005	DBLP DOI BibTeX RDF
16	Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou	A Flexible Communication Toolkit for Synchronous Groupware.	Systems Communications	2005	DBLP DOI BibTeX RDF
16	Javed A. Aslam, Sergey Bratus, David Kotz, Ronald A. Peterson, Brett Tofel, Daniela Rus	The Kerf Toolkit for Intrusion Analysis.	IEEE Secur. Priv.	2004	DBLP DOI BibTeX RDF	log alerts, attack forensics, remote logging, Intrusion analysis
16	James Fogarty, Scott E. Hudson	GADGET: a toolkit for optimization-based approaches to interface and display generation.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF
16	Anthony R. Jansen, Kim Marriott, Bernd Meyer 0001	Cider: A Component-Based Toolkit for Creating Smart Diagram Environments.	Diagrams	2004	DBLP DOI BibTeX RDF
16	Bruno De Bus, Dominique Chanet, Bjorn De Sutter, Ludo Van Put, Koen De Bosschere	The design and implementation of FIT: a flexible instrumentation toolkit.	PASTE	2004	DBLP DOI BibTeX RDF	performance code abstraction, code compaction
16	Susanne M. Balle, John L. Bishop, David LaFrance-Linden, Howard Rifkin	Ygdrasil: Aggregator Network Toolkit for Large Scale Systems and the Grid.	PARA	2004	DBLP DOI BibTeX RDF
16	Radu State, Olivier Festor, Benjamin Zores	An extensible agent toolkit for device management.	NOMS (1)	2004	DBLP DOI BibTeX RDF
16	Andreas Pilz	"Policy-Maker": a toolkit for policy-based security management.	NOMS (1)	2004	DBLP DOI BibTeX RDF
16	Sébastien Lacour, Christian Pérez, Thierry Priol	Deploying CORBA Components on a Computational Grid: General Principles and Early Experiments Using the Globus Toolkit.	Component Deployment	2004	DBLP DOI BibTeX RDF
16	Song Zhou, Chuanxi Xu, Hui Wu, Jing Zhang 0003, Yuehua Lin, Juanqin Wang, Jeff Gray 0001, Barrett R. Bryant	E-R modeler: a database modeling toolkit for Eclipse.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	E-R diagram, design patterns, data modeling, eclipse, Plug-In
16	Alcides Calsavara, Agnaldo K. Noda, Juarez da Costa Cesar Filho	An Overview of the Virtuosi Toolkit.	ISSADS	2004	DBLP DOI BibTeX RDF
16	Donald J. Johann, Michael D. McGuigan, Stanimire Tomov, Eric Blum, Gordon R. Whiteley, Emanuel F. Petricoin, Lance A. Liotta	Toward a Systems Biology Software Toolkit.	CBMS	2004	DBLP DOI BibTeX RDF
16	H. B. Yin, Peng-Li Shao	Dynamic Performance Simulation of a Tracked Vehicle with ADAMS Tracked Vehicle Toolkit Software.	AsiaSim	2004	DBLP DOI BibTeX RDF
16	Jan Kratt, Florian Metze, Rainer Stiefelhagen, Alex Waibel	Large Vocabulary Audio-Visual Speech Recognition Using the Janus Speech Recognition Toolkit.	DAGM-Symposium	2004	DBLP DOI BibTeX RDF
16	Martin Naef, Oliver G. Staadt, Markus H. Gross	blue-c API: a multimedia and 3D video enhanced toolkit for collaborative VR and telepresence.	VRCAI	2004	DBLP DOI BibTeX RDF	virtual reality software system, multimedia, collaborative virtual environments, telepresence, 3D video
16	Blair MacIntyre, Maribeth Gandy, Steven Dow, Jay David Bolter	DART: a toolkit for rapid design exploration of augmented reality experiences.	UIST	2004	DBLP DOI BibTeX RDF	animatics, augmented reality, mixed reality, storyboards, design environments, capture/replay
16	Robert M. Lapp, Maria Lorenzo-Valdés, Daniel Rueckert	3D/4D Cardiac Segmentation Using Active Appearance Models, Non-rigid Registration, and the Insight Toolkit.	MICCAI (1)	2004	DBLP DOI BibTeX RDF
16	Maytal Dahan, Mary P. Thomas, Eric Roberts, Akhil Seth, Tomislav Urban, David Walling, John R. Boisseau	Grid Portal Toolkit 3.0 (GridPort).	HPDC	2004	DBLP DOI BibTeX RDF
16	Daniel Grosu, Umesh Kant	Mercatus: A Toolkit for the Simulation of Market-Based Resource Allocation Protocols in Grids.	SAG	2004	DBLP DOI BibTeX RDF
16	Jinmin Yang, Dafang Zhang, Zheng Qin 0001, Xue Dong Yang	WINDAR: A Multithreaded Rollback-Recovery Toolkit on Windows.	PRDC	2004	DBLP DOI BibTeX RDF
16	Kejing He, Shoubin Dong, Ling Zhang 0005, Binglin Song	Building Grid Monitoring System Based on Globus Toolkit: Architecture and Implementation.	CIS	2004	DBLP DOI BibTeX RDF
16	Jean Carletta, Jonathan Kilgour	The NITE XML Toolkit Meets the ICSI Meeting Corpus: Import, Annotation, and Browsing.	MLMI	2004	DBLP DOI BibTeX RDF
16	Quoc-Thuan Ho, Yew-Soon Ong, Wentong Cai 0001, Hee-Khiang Ng, Bu-Sung Lee	GAD Kit - A Toolkit for "Gridifying" Applications.	PDCAT	2004	DBLP DOI BibTeX RDF	Grid programming tools, Grid computing, GridRPC
16	Shinyoung Lim, Youjin Song	Secure Online Internet Reservation of e-Government Service (ORGS) Using Java Card Applications Toolkit (J-CAT).	EGOV	2003	DBLP DOI BibTeX RDF
16	Matt Coatney, Srinivasan Parthasarathy 0001	MotifMiner: A General Toolkit for Efficiently Identifying Common Substructures in Molecules.	BIBE	2003	DBLP DOI BibTeX RDF
16	Zdenek Zdráhal, Paul Mulholland, Michael Valásek, Phil Sainter, Matt Koss, Lukas Trejtnar	A Toolkit and Methodology to Support the Collaborative Development and Reuse of Engineering Models.	DEXA	2003	DBLP DOI BibTeX RDF
16	Lydia Ng, Luis Ibáñez	Narrow Band to Image Registration in the Insight Toolkit.	WBIR	2003	DBLP DOI BibTeX RDF
16	Thierry Bodhuin, Maria Tortorella	A Toolkit for Developing Web-based Information Systems: Case Studies.	COMPSAC	2003	DBLP DOI BibTeX RDF
16	Maozhen Li 0001, P. van Santen, David W. Walker, Omer F. Rana, Mark A. Baker	PortalLab: A Web Services Toolkit for Building Semantic Grid Portals.	CCGRID	2003	DBLP DOI BibTeX RDF	Web Services, Software Agents, Peer-to-Peer Computing, Semantic Grid, Grid Portal
16	Susana Montero, Paloma Díaz 0001, Ignacio Aedo	A Design Toolkit for Hypermedia Applications.	ICWE	2003	DBLP DOI BibTeX RDF
16	James Fogarty, Scott E. Hudson	GADGET: a toolkit for optimization-based approaches to interface and display generation.	UIST	2003	DBLP DOI BibTeX RDF	display generation, perceptually optimized displays, toolkits, numerical optimization, layout algorithms
16	Li Xiao, Oleg Shats, Simon Sherman	Grid-Layout Visualization Method in the Microarray Data Analysis Interactive Graphics Toolkit.	HICSS	2003	DBLP DOI BibTeX RDF
16	Heidi Häkkinen, Pekka Turunen, Ton A. M. Spil	Information in Health Care Process - Evaluation Toolkit Development.	HICSS	2003	DBLP DOI BibTeX RDF
16	Burkhard Wünsche	A toolkit for visualizing biomedical data sets.	GRAPHITE	2003	DBLP DOI BibTeX RDF	visualization, user interfaces, biomedicine, tensor fields
16	Murthy V. Devarakonda, Alla Segal, David M. Chess	A Toolkit-Based Approach to Policy-Managed Storage.	POLICY	2003	DBLP DOI BibTeX RDF
16	Daniel Pacey, Euan W. Dempster, M. Howard Williams, Alison Cawsey, David H. Marwick, Lachlan M. MacKinnon	A Toolkit for Creating Personalized Presentations.	Web Intelligence	2003	DBLP DOI BibTeX RDF
16	William Stephens, Brian A. Coan, Sanjai Narain, Vikram Kaul, Kirthika Parmeswaran, Thanh Cheng	A Toolkit For Building Secure, Fault-Tolerant Virtual Private Networks Technology Description.	DISCEX (2)	2003	DBLP DOI BibTeX RDF
16	Brian McBride	Jena: A Semantic Web Toolkit.	IEEE Internet Comput.	2002	DBLP DOI BibTeX RDF
16	Éric Malouin, Julien Dompierre, François Guibault, Robert Roy	R-OO RT: A Parallel Remeshing Toolkit.	PVM/MPI	2002	DBLP DOI BibTeX RDF
16	Paolo Naggar, Luigi Pontieri, Mariella Pupo, Giorgio Terracina, Emanuela Virardi	A Model and a Toolkit for Supporting Incremental Data Warehouse Construction.	DEXA	2002	DBLP DOI BibTeX RDF
16	Steve DiPaola	FaceSpace: A Facial Spatial-Domain Toolkit.	IV	2002	DBLP DOI BibTeX RDF
16	Alexandru C. Telea, Alessandro Maccari, Claudio Riva	An Open Visualization Toolkit for Reverse Architecting.	IWPC	2002	DBLP DOI BibTeX RDF	Software Visualization and RE tools, Reverse Engineering, Architecture Reconstruction
16	Perakath C. Benjamin, Mike Graul, Madhav Erraguntla	Methods and tools for aerospace operations modeling and simulation: Toolkit for Enabling Adaptive Modeling and Simulation (TEAMS).	WSC	2002	DBLP DOI BibTeX RDF
16	Everest T. Ong, Jay Walter Larson, Robert L. Jacob	A Real Application of the Model Coupling Toolkit.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
16	Dawid Kurzyniec, Vaidy S. Sunderam	The MICROBE Benchmarking Toolkit for Java: A Component-Based Approach.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
16	Wai-Ming Ho, Jean-Marc Jézéquel, François Pennaneac'h, Noël Plouzeau	A toolkit for weaving aspect oriented UML designs.	AOSD	2002	DBLP DOI BibTeX RDF	UML
16	Konstantinos Karnezis, Konstantinos Ergazakis, Kostas S. Metaxiotis, Dimitris Askounis, John E. Psarras	Knowledge Management Case-Toolkit for the Support of ERP Modelling and Optimal Adaptation Procedure.	PAKM	2002	DBLP DOI BibTeX RDF