Search results for "DSL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Kenjiro Cho, Kensuke Fukuda, Hiroshi Esaki, Akira Kato	The impact and implications of the growth in residential user-to-user traffic.	SIGCOMM	2006	DBLP DOI BibTeX RDF	ISP backbone traffic, residential broadband, traffic growth
22	Troy A. Johnson, Rudolf Eigenmann	Context-sensitive domain-independent algorithm composition and selection.	PLDI	2006	DBLP DOI BibTeX RDF	bioinformatics, domain-specific languages, automated planning, algorithm selection, algorithm composition
22	Xun Chen, Peng Han, Qiu-Sheng He, Shi-liang Tu	A Viable Localization Scheme for Dynamic Wireless Sensor Networks.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF	sensor network, localization, dynamic
22	Ping Wu, Caijie Zhang, Ying Feng, Ben Y. Zhao, Divyakant Agrawal, Amr El Abbadi	Parallelizing Skyline Queries for Scalable Distribution.	EDBT	2006	DBLP DOI BibTeX RDF
22	Hiroshi Wada, Jun Suzuki	Modeling Turnpike: A Model-Driven Framework for Domain-Specific Software Development.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
22	Hui Wu, Jeffrey G. Gray, Suman Roychoudhury, Marjan Mernik	Weaving a debugging aspect into domain-specific language grammars.	SAC	2005	DBLP DOI BibTeX RDF	debugging, AOSD, DSLs, grammarware
22	Christophe Alias, Denis Barthou	On Domain-Specific Languages Reengineering.	GPCE	2005	DBLP DOI BibTeX RDF
22	Abdesselam Redouane	Towards a New Method for the Development of Web-Based Applications.	IEEE ICCI	2004	DBLP DOI BibTeX RDF	first order predicate calculus, formal methods, web-based applications
22	Uirá Kulesza, Alessandro F. Garcia 0001, Carlos José Pereira de Lucena	An aspect-oriented generative approach.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	multi-agent systems, generative programming, aspect-oriented software development
22	Thomas Cleenewerck, Krzysztof Czarnecki 0001, Jörg Striegnitz, Markus Völter	Evolution and Reuse of Language Specifications for DSLs (ERLS).	ECOOP Workshops	2004	DBLP DOI BibTeX RDF
22	Shiro Uesugi	E-Business for Depopulated Areas: Why not "Re-Bundle" Local Loops?	SAINT Workshops	2004	DBLP DOI BibTeX RDF
22	Moshiur Rahman, Fotios C. Harmantzis	IEEE 802.11 Inter-WLAN Mobility Control with Broadband Supported Distribution System Integrating WLAN and WAN.	ICT	2004	DBLP DOI BibTeX RDF
22	Rajeev C. Nongpiur, Dale J. Shpak, Andreas Antoniou	Tracking performance of an FDLMS near-end crosstalk canceller for xDSL systems.	ISCAS (3)	2004	DBLP DOI BibTeX RDF
22	Abdesselam Redouane	A New Definitional Specification Language.	ICCSA (1)	2003	DBLP DOI BibTeX RDF
22	Don S. Batory, Clay Johnson, Bob MacDonald, Dale von Heeder	Achieving extensibility through product-lines and domain-specific languages: a case study.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	simulation, refinements, domain-specific languages, aspects, GenVoca
22	Ted J. Biggerstaff	Control Localization in Domain Specific Translation.	ICSR	2002	DBLP DOI BibTeX RDF
22	Marjan Mernik, Viljem Zumer	Domain-Specific Languages for Software Engineering - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
22	Henry Samueli	The Broadband Revolution.	IEEE Micro	2000	DBLP DOI BibTeX RDF
22	Arthur Alexander Reyes, Debra J. Richardson	Siddhartha: A Method for Developing Domain-Specific Test Driver Generators.	ASE	1999	DBLP DOI BibTeX RDF	unit under test, low testability, unit test driver, driver generator, formal test specification, formal specification, domain-specific language, specification-based testing
20	Danilo Douradinho Fernandes, Felipe Rafael Motta Cardoso, Denis Ávila Montini, Francisco Supino Marcondes, Paulo Marcelo Tasinaffo, Luiz Alberto Vieira Dias	An Algorithm Model to Mapping Mealy Machines for a Software Manufacture Cell Petri Net.	ITNG	2010	DBLP DOI BibTeX RDF	Formal Methods, Petri Nets, State Machines, Domain Analysis, DSL
20	Vicente García-Díaz, José Barranquero Tolosa, B. Cristina Pelayo García-Bustelo, Elías Palacios-González, Oscar Sanjuán Martínez, Rubén González Crespo	TALISMAN MDE Framework: An Architecture for Intelligent Model-Driven Engineering.	IWANN (2)	2009	DBLP DOI BibTeX RDF	TALISMAN, Model, MDA, MDD, MDE, DSL, Software Factory
20	Damien Cassou, Benjamin Bertran, Nicolas Loriant, Charles Consel	A generative programming approach to developing pervasive computing systems.	GPCE	2009	DBLP DOI BibTeX RDF	pervasive computing, generative programming, DSL
20	Gerhard Stürmer, Jürgen Mangler, Erich Schikuta	A Domain Specific Language and Workflow Execution Engine to Enable Dynamic Workflows.	ISPA	2009	DBLP DOI BibTeX RDF	Workflow Execution Engine, Modularization, DSL, Dynamic Workflows
20	Benoît Combemale, Laurent Broto, Alain Tchana, Daniel Hagimont	Metamodeling Autonomic System Management Policies - Ongoing Works.	COMPSAC	2008	DBLP DOI BibTeX RDF	Management policies, Autonomic computing, metamodeling, DSL
20	Paulo F. Silva 0001, José Nuno Oliveira	'Galculator': functional prototype of a Galois-connection based proof assistant.	PPDP	2008	DBLP DOI BibTeX RDF	point-free notation, haskell, DSL, Galois connections, proof assistant, GADT
20	Morteza Haddadzadeh	Appropriate Templates for Broadband Access in Non-developed and Developing Countries.	AccessNets	2008	DBLP DOI BibTeX RDF	NGN, DSL, Broadband access
20	Steffen Bartsch, Karsten Sohr, Carsten Bormann	Supporting Agile Development of Authorization Rules for SME Applications.	CollaborateCom	2008	DBLP DOI BibTeX RDF	Agile Security Engineering, SME Applications, End-User Development, DSL, Authorization Policy
20	E. Michael Maximilien, Ajith Ranabahu, Stefan Tai	Swashup: situational web applications mashups.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	web services, web 2.0, domain-specific languages, mashups, DSL, ruby, ruby on rails, web APIs
20	Sergei Kojarski, David H. Lorenz	Awesome: an aspect co-weaving system for composing multiple aspect-oriented extensions.	OOPSLA	2007	DBLP DOI BibTeX RDF	aspect extension, aspect mechanism, aspect weaver, pluggability, framework, AOP, composition, DSL
20	Ville T. Oikarinen	Extracting a domain specific language from an example: a bottom-up method using the ngrease metalanguage.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	code generation, refactoring, method, DSL, metaprogramming
20	Greg Goth	Net Neutrality's Unpublicized Achilles' Heel.	IEEE Internet Comput.	2006	DBLP DOI BibTeX RDF	telecommunications, broadband, DSL, Net neutrality
20	Luiz A. Ricci, Daniel Schwabe	An authoring environment for model-driven web applications.	WebMedia	2006	DBLP DOI BibTeX RDF	OOHDM, SHDM, model-driven development, DSL
20	Björn Landfeldt, Jahan Hassan, Albert Y. Zomaya, Suparerk Manitpornsut, Riky Subrata	Titan: a new paradigm in wireless internet access based on community collaboration.	IWCMC	2006	DBLP DOI BibTeX RDF	wireless networks, WLAN, DSL, access network, wireless internet
20	Martin Nussbaumer, Patrick Freudenstein, Martin Gaedke	Stakeholder collaboration: from conversation to contribution.	ICWE	2006	DBLP DOI BibTeX RDF	workflow, conceptual modeling, web engineering, dsl
19	Nuno Oliveira 0001, Maria João Varanda Pereira, Daniela Carneiro da Cruz, Mario Marcelo Berón	Influence of Synchronized Domain Visualizations on Program Comprehension.	ICPC	2010	DBLP DOI BibTeX RDF	DSL comprehension, Program comprehension experiments, Program comprehension tools, Synchronized program visualizations
19	Andy Gill	Type-safe observable sharing in Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	DSL compilation, observable sharing
19	Fabiano Cruz, Raimundo S. Barreto, Lucas C. Cordeiro	Towards a model-driven engineering approach for developing embedded hard real-time software.	SAC	2008	DBLP DOI BibTeX RDF	DSL engineering, embedded hard real-time systems, tool-based approaches, petri nets, model-driven engineering, software synthesis
19	Carine Neus, Wim Foubert, Leo Van Biesen	Loop Identification and Capacity Estimation of Digital Subscriber Lines with Single Ended Line Testing.	AccessNets	2008	DBLP DOI BibTeX RDF	Digital Subscriber Line (DSL), Single Ended Line Testing (SELT), transfer function estimation, loop qualification, channel capacity
19	Guillaume Marceau, Gregory H. Cooper, Jonathan P. Spiro, Shriram Krishnamurthi, Steven P. Reiss	The design and implementation of a dataflow language for scriptable debugging.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Script automation, Dataflow dsl scheme, Java, Debugging
19	Pavel Silhavy	Time Domain Equalization in Modern Communication Systems Based on Discrete Multitone Modulation.	ICN	2007	DBLP DOI BibTeX RDF	Time domain EQualization (TEQ), Discrete MultiTone (DMT), Asymmetric Digital Subscriber Line (ADSL), Very high speed DSL (VDSL)
19	Jean Bézivin, Jean-Marie Favre, Bernhard Rumpe	First international workshop on global integrated model management.	ICSE	2006	DBLP DOI BibTeX RDF	DSL engineering, megamodeling, modeling-in-the-large, MDA, model-driven engineering
19	Murali Kaundinya, Ali Syed	Modeling event driven applications with a specification language (MEDASL).	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	DASL/OQL, application usage specification (AUS), business object specification (BOS), domain-specific-languages (DSL), model driven development, enterprise application integration (EAI)
19	Murali Kaundinya, Ali Syed	Modeling event driven applications with a specification language (MEDASL).	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	DASL/OQL, application usage specification (AUS), business object specification (BOS), domain-specific- languages (DSL), model driven development, enterprise application integration (EAI)
15	Xin Fan 0004, Yue Wang 0019, Yan Huo, Zhi Tian	CB-DSL: Communication-Efficient and Byzantine-Robust Distributed Swarm Learning on Non-i.i.d. Data.	IEEE Trans. Cogn. Commun. Netw.	2024	DBLP DOI BibTeX RDF
15	Reshabh K. Sharma, Vinayak Gupta, Dan Grossman	SPML: A DSL for Defending Language Models Against Prompt Attacks.	CoRR	2024	DBLP DOI BibTeX RDF
15	Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh	ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses.	CoRR	2024	DBLP DOI BibTeX RDF
15	Mootez Saad, Tushar Sharma 0001	CONCORD: Towards a DSL for Configurable Graph Code Representation.	CoRR	2024	DBLP DOI BibTeX RDF
15	Ashwina Kumar, M. Venkata Krishna, Prasanna Bartakke, Rahul Kumar, Rajesh Pandian Muniasamy, Nibedita Behera, Rupesh Nasre	Code Generation for a Variety of Accelerators for a Graph DSL.	CoRR	2024	DBLP DOI BibTeX RDF
15	Niklas Rentz, Reinhard von Hanxleden	SPViz: A DSL-Driven Approach for Software Project Visualization Tooling.	CoRR	2024	DBLP DOI BibTeX RDF
15	Manuel Cerqueira da Silva, Luís Miguel Sousa, Nuno Paulino 0001, João Bispo	A DSL and MLIR Dialect for Streaming and Vectorisation.	ARC	2024	DBLP DOI BibTeX RDF
15	Huanqi Cao, Shizhi Tang, Qianchao Zhu, Bowen Yu 0003, Wenguang Chen	Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
15	Lisa Rennels, Sarah E. Chasins	How Domain Experts Use an Embedded DSL.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
15	Dan Cascaval, Rastislav Bodík, Adriana Schulz	A Lineage-Based Referencing DSL for Computer-Aided Design.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
15	Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker 0001	Saggitarius: A DSL for Specifying Grammatical Domains.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
15	Antonio Bucchiarone, Claudiu-Bogdan Ciumedean, Kemal Soysal, Nicola Dragoni, Václav Pech	MaGiC: a DSL Framework for Implementing Language Agnostic Microservice-based Web Applications.	J. Object Technol.	2023	DBLP DOI BibTeX RDF
15	Mohit Sharma, Marc Moonen, Yannick Lefevre, Paschalis Tsiaflakis	Resource Sharing Strategies for Point-to-Multipoint Distribution in Next-Generation DSL Networks.	IEEE Open J. Commun. Soc.	2023	DBLP DOI BibTeX RDF
15	Tiago Carvalho, João Bispo, Pedro Pinto 0002, João M. P. Cardoso	A DSL-based runtime adaptivity framework for Java.	SoftwareX	2023	DBLP DOI BibTeX RDF
15	Benjamin Jahic, Nicolas Guelfi, Benoît Ries	SEMKIS-DSL: A Domain-Specific Language to Support Requirements Engineering of Datasets and Neural Network Recognition.	Inf.	2023	DBLP DOI BibTeX RDF
15	Surachoke Thanapitak, Wanlop Surakampontorn, Chutham Sawigun	A Micropower Chopper CBIA Using DSL-Embedded Input Stage With 0.4 V EO Tolerance for Dry-Electrode Biopotential Recording.	IEEE Trans. Biomed. Circuits Syst.	2023	DBLP DOI BibTeX RDF
15	Bruno Steffen	DSL-driven Integration of HTTP Services in DIME.	CoRR	2023	DBLP DOI BibTeX RDF
15	Aryan Roy, Jim Pivarski	Using a DSL to read ROOT TTrees faster in Uproot.	CoRR	2023	DBLP DOI BibTeX RDF
15	Yi Liu	DSL-Assembly: A Robust and Safe Assembly Strategy.	CoRR	2023	DBLP DOI BibTeX RDF
15	Zachary Flores, Angelo Taranto, Eric Bond	A Formal Algebraic Framework for DSL Composition.	CoRR	2023	DBLP DOI BibTeX RDF
15	Nibedita Behera, Ashwina Kumar, Ebenezer Rajadurai T, Sai Nitish, Rajesh Pandian Muniasamy, Rupesh Nasre	StarPlat: A Versatile DSL for Graph Analytics.	CoRR	2023	DBLP DOI BibTeX RDF
15	Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker 0001	Saggitarius: A DSL for Specifying Grammatical Domains.	CoRR	2023	DBLP DOI BibTeX RDF
15	Yotam Gafni, Moshe Tennenholtz	Optimal Mechanism Design for Agents with DSL Strategies: The Case of Sybil Attacks in Combinatorial Auctions.	TARK	2023	DBLP DOI BibTeX RDF
15	J. Christian Attiogbé, Jérôme Rocheteau	Correctness of IoT-based systems: From a DSL to a mechanised analysis.	J. Comput. Lang.	2023	DBLP DOI BibTeX RDF
15	Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Rédouane Benaini	A transformation methodology for Capella to Event-B models with DSL verification.	J. Comput. Lang.	2023	DBLP DOI BibTeX RDF
15	Sandra Macià, Pedro J. Martínez-Ferrer, Eduard Ayguadé, Vicenç Beltran 0001	Assessing Saiph, a task-based DSL for high-performance computational fluid dynamics.	Future Gener. Comput. Syst.	2023	DBLP DOI BibTeX RDF
15	Jasper Denkers, Marvin Brunner, Louis van Gool, Jurgen J. Vinju, Andy Zaidman, Eelco Visser	Taming complexity of industrial printing systems using a constraint-based DSL: An industrial experience report.	Softw. Pract. Exp.	2023	DBLP DOI BibTeX RDF
15	Yanhan Zeng, Yongsen Chen, Yuchen Bao, Weijian Chen 0003	A 2-$\mu\mathrm{W}$, 0.64-$\mu\text{Vrms}$ ECG Recording Chopper Amplifier with Digital-Current DSL.	MWSCAS	2023	DBLP DOI BibTeX RDF
15	Seng Joe Watt, Oliver R. Goodenough, Meng Weng Wong	Deontics and Time in Contracts: An Executable Semantics for the L4 DSL.	JURIX	2023	DBLP DOI BibTeX RDF
15	André Rauber Du Bois, Gerson G. H. Cavalheiro	GPotion: An embedded DSL for GPU programming in Elixir.	SBLP	2023	DBLP DOI BibTeX RDF
15	Nataniel Siebeneichler, Felipe Grando, Giancarlo Salton, Samuel da Silva Feitosa	Uma DSL para gerar APIs RESTFul em Haskell.	SBLP	2023	DBLP DOI BibTeX RDF
15	George Mitenkov, Ioannis Magkanaris, Omar Awile, Pramod S. Kumbhar, Felix Schürmann, Alastair F. Donaldson	MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL.	CC	2023	DBLP DOI BibTeX RDF
15	Fábio Basso, Jaqueline de Souza Moura, Carlos Eduardo Xavier Correia, Karina Casola, Leandro Buss Becker	Graphical DSL Devoted to Ease the Application of Model-Driven Engineering in Petrochemical Industry Automation.	WER	2023	DBLP DOI BibTeX RDF
15	Chukri Soueidi, Yliès Falcone	Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM.	RV	2023	DBLP DOI BibTeX RDF
15	Camilo Correa-Restrepo, Jacques Robin, Raúl Mazo	Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach.	GPCE	2023	DBLP DOI BibTeX RDF
15	Prashant Kumar, Martin Erwig	MatchMaker: A DSL for Game-Theoretic Matching.	TFP	2023	DBLP DOI BibTeX RDF
15	James Dameris, Rosaura Hernandez Roman, Max Kreminski	Praxish: A Rational Reconstruction of a Logic-Based DSL for Modeling Social Practices.	AIIDE	2023	DBLP DOI BibTeX RDF
15	Cecilia Manzino, Gonzalo de Latorre	A Haskell-Embedded DSL for Secure Information-Flow.	SBMF	2023	DBLP DOI BibTeX RDF
15	Zihan Wang, Pengbo Nie, Xinyuan Miao, Yuting Chen, Chengcheng Wan, Lei Bu, Jianjun Zhao 0001	GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing.	ISSTA	2023	DBLP DOI BibTeX RDF
15	Aleandro Mifsud, Georgia Samaritaki, Ulyana Tikhonova, Jouke Stoel	Transforming an Internal Textual DSL into a Blended Modelling Environment.	PAINT@SPLASH	2023	DBLP DOI BibTeX RDF
15	Salim Chehida, Akram Idani, Mario Cortes Cornax, Germán Vega	A Formal MDE Framework for Inter-DSL Collaboration.	COORDINATION	2023	DBLP DOI BibTeX RDF
15	Alfred Åkesson, Görel Hedin, Niklas Fors	ComPOS: A DSL for Composing IoT Systems with Weak Connectivity.	REBLS@SPLASH	2023	DBLP DOI BibTeX RDF
15	Clement Julia, Riemer van Rozen	ScriptButler serves an Empirical Study of PuzzleScript: Analyzing the Expressive Power of a Game DSL through Source Code Analysis.	FDG	2023	DBLP DOI BibTeX RDF
15	Romain Béguet, Raphaël Amiard	Application of SMT in a Meta-Compiler: A Logic DSL for Specifying Type Systems.	SMT	2023	DBLP BibTeX RDF
15	M. Devi Sri Nandhini, Pradeep Gurunathan 0001	Efficacy improvement of aspect-based sentiment analysis using enhanced rule -based approach and domain-specific lexicon (ERBA-DSL).	J. Intell. Fuzzy Syst.	2022	DBLP DOI BibTeX RDF
15	Roberto Casadei, Mirko Viroli, Gianluca Aguzzi, Danilo Pianini	ScaFi: A Scala DSL and Toolkit for Aggregate Programming.	SoftwareX	2022	DBLP DOI BibTeX RDF
15	Yun Cao, Yuebin Wang, Junhuan Peng, Liqiang Zhang 0001	DSL-BC: Deep Subspace Learning With Boundary Consistency for Hyperspectral Image Classification.	IEEE Trans. Geosci. Remote. Sens.	2022	DBLP DOI BibTeX RDF
15	Tengfei Zhang, Yani Li, Chenglong Su, Xiao Zhang, Yintang Yang	A 1V 3.5 μW Bio-AFE With Chopper-Capacitor-Chopper Integrator-Based DSL and Low Power GM-C Filter.	IEEE Trans. Circuits Syst. II Express Briefs	2022	DBLP DOI BibTeX RDF
15	Rajan Walia, Chung-chieh Shan, Sam Tobin-Hochstadt	Sham: A DSL for Fast DSLs.	Art Sci. Eng. Program.	2022	DBLP DOI BibTeX RDF
15	Bruno Steffen	DSL-driven Integration of OpenAPI based Web Services into DIME.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2022	DBLP DOI BibTeX RDF
15	Nick Brown 0002, Brandon Echols, Justs Zarins, Tobias Grosser	TensorFlow as a DSL for stencil-based computation on the Cerebras Wafer Scale Engine.	CoRR	2022	DBLP DOI BibTeX RDF
15	Philipp Haindl, Reinhold Plösch	A DSL for Defining Feature-Level Quality Constraints and the Aggregation of Evaluation Results in DevOps.	CoRR	2022	DBLP DOI BibTeX RDF
15	Jon M. Kerridge	Cluster Builder - A DSL to Deploy a Parallel Application Over a Workstation Cluster.	CoRR	2022	DBLP DOI BibTeX RDF
15	Eldair F. Dornelles, Fernando Parahyba, Rafael Z. Frantz, Fabricia Roos-Frantz, Antonia M. Reina Quintero, Carlos Molina-Jiménez, José Bocanegra, Sandro Sawicki	Advances in a DSL to Specify Smart Contracts for Application Integration Processes.	CIBSE	2022	DBLP DOI BibTeX RDF
15	Joonwon Choi, Adam Chlipala, Arvind	Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols.	CAV (2)	2022	DBLP DOI BibTeX RDF
15	Houda Boukham, Guido Wachsmuth, Martijn Dwars, Dalila Chiadmi	A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing.	SLE	2022	DBLP DOI BibTeX RDF
15	Matteo Cimini	Lang-n-Prove: A DSL for Language Proofs.	SLE	2022	DBLP DOI BibTeX RDF