Search results for "lightweight"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati	Enforcing Confidentiality Constraints on Sensitive Databases with Lightweight Trusted Clients. (PDF / PS)	DBSec	2009	DBLP DOI BibTeX RDF
13	Keith M. Martin, Maura B. Paterson	Ultra-Lightweight Key Predistribution in Wireless Sensor Networks for Monitoring Linear Infrastructure.	WISTP	2009	DBLP DOI BibTeX RDF	one-dimensional networks, wireless sensor networks, key management
13	Lars Kulseng, Zhen Yu, Yawen Wei, Yong Guan	Lightweight Secure Search Protocols for Low-cost RFID Systems.	ICDCS	2009	DBLP DOI BibTeX RDF
13	Ryouji Nonaka, Takayuki Yumoto, Manabu Nii, Yutaka Takahashi 0002	How-to information search by lightweight analysis of web pages.	IUCS	2009	DBLP DOI BibTeX RDF
13	Christian Thum, Michael Schwind, Martin Schader	SLIM - A Lightweight Environment for Synchronous Collaborative Modeling.	MoDELS	2009	DBLP DOI BibTeX RDF	Real-Time Editor, Web 2.0, Collaborative Modeling
13	Tzu-Rung Lee, Kwo-Cheng Chiu, Da-Wei Chang	A Lightweight Buffer Overflow Protection Mechanism with Failure-Oblivious Capability.	ICA3PP	2009	DBLP DOI BibTeX RDF	Failure-Oblivious Computing, Guard Pages, Network Security, Self Reconfiguration, Buffer Overflow Attacks
13	Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes	Multicore Scheduling for Lightweight Communicating Processes.	COORDINATION	2009	DBLP DOI BibTeX RDF
13	Gicheol Wang, Deokjai Choi, Daewook Kang	A lightweight key renewal scheme for clustered sensor networks.	ICUIMC	2009	DBLP DOI BibTeX RDF	security, wireless sensor networks, key management
13	Pentti Tarvainen, Mikko Ala-Louko, Marko Jaakola, Ilkka Uusitalo, Spyros Lalis, Tomasz Paczesny, Markus Taumberger, Pekka Savolainen	Towards a Lightweight Security Solution for User-Friendly Management of Distributed Sensor Networks.	NEW2AN	2009	DBLP DOI BibTeX RDF	wireless network, information security, network management, distributed sensor network
13	Dmitrij Lagutin, Sasu Tarkoma	Public Key Signatures and Lightweight Security Solutions in a Wireless Environment.	NEW2AN	2009	DBLP DOI BibTeX RDF	wireless networks, Network security, public key cryptography, hash chains
13	Natalia A. Romero, Laurens Boer, Panos Markopoulos 0001	Interactive and Lightweight Mechanisms to Coordinate Interpersonal Privacy in Mediated Communication.	INTERACT (2)	2009	DBLP DOI BibTeX RDF	Interpersonal Privacy, Coordination, Computer Mediated Communication, Common Ground, Social Communication
13	Yossi Gilad, Amir Herzberg	Lightweight Opportunistic Tunneling (LOT).	ESORICS	2009	DBLP DOI BibTeX RDF
13	Raúl A. Santelices, James A. Jones, Yanbing Yu, Mary Jean Harrold	Lightweight fault-localization using multiple coverage types.	ICSE	2009	DBLP DOI BibTeX RDF
13	Jiang Lin, Qingda Lu, Xiaoning Ding, Zhao Zhang 0010, Xiaodong Zhang 0001, P. Sadayappan	Enabling software management for multicore caches with a lightweight hardware support.	SC	2009	DBLP DOI BibTeX RDF	multicore, shared cache, cache management
13	Lang Lin, Markus Kasper, Tim Güneysu, Christof Paar, Wayne P. Burleson	Trojan Side-Channels: Lightweight Hardware Trojans through Side-Channel Engineering.	CHES	2009	DBLP DOI BibTeX RDF	Trojan Hardware, Trojan Side-Channel, Hardware Trojan Detection, Covert Channel, Side-Channel Analysis
13	Qixin Wang, Rong Zheng 0001, Ajay Tirumala, Xue Liu 0001, Lui Sha	Lightning: A Hard Real-Time, Fast, and Lightweight Low-End Wireless Sensor Election Protocol for Acoustic Event Localization.	IEEE Trans. Mob. Comput.	2008	DBLP DOI BibTeX RDF	Wireless sensor networks, Real time, Pervasive computing, Location-dependent and sensitive
13	Gábor Fehér, István Oláh	Enhancing wireless video streaming using lightweight approximate authentication.	Multim. Syst.	2008	DBLP DOI BibTeX RDF	Approximate authentication, Security, QoS, Wireless video streaming, Error resilient video coding
13	Hussein Suleman, Christopher Parker, Muammar Omar	Lightweight component-based scalability.	Int. J. Digit. Libr.	2008	DBLP DOI BibTeX RDF	Cluster, Scalability, Component, Service
13	Ziv Bar-Yossef, Roy Friedman, Gabriel Kliot	RaWMS - Random Walk Based Lightweight Membership Service for Wireless Ad Hoc Networks.	ACM Trans. Comput. Syst.	2008	DBLP DOI BibTeX RDF	Ad hoc networks, random walk, membership service
13	Dominik Engel, Elias Pschernig, Andreas Uhl	An Analysis of Lightweight Encryption Schemes for Fingerprint Images.	IEEE Trans. Inf. Forensics Secur.	2008	DBLP DOI BibTeX RDF
13	Owen Funkhouser, Letha H. Etzkorn, William E. Hughes Jr.	A lightweight approach to software validation by comparing UML use cases with internal program documentation selected via call graphs.	Softw. Qual. J.	2008	DBLP DOI BibTeX RDF	UML use cases, Software engineering, Program understanding, Software validation
13	Michael J. Quinn, Thomas Kuo, B. S. Manjunath	A lightweight multiview tracked person descriptor for camera sensor networks.	ICIP	2008	DBLP DOI BibTeX RDF
13	Raul Barbosa, Johan Karlsson	On the Integrity of Lightweight Checkpoints.	HASE	2008	DBLP DOI BibTeX RDF
13	Michihiro Koibuchi, Hiroki Matsutani, Hideharu Amano, Timothy Mark Pinkston	A Lightweight Fault-Tolerant Mechanism for Network-on-Chip.	NOCS	2008	DBLP DOI BibTeX RDF	fault tolerance, reliability, Network-on-Chip, routing algorithm, deadlock avoidance, on-chip network
13	John K. Debenham, Ante Prodan	A Self-organising Network Based on Lightweight Agents.	NBiS	2008	DBLP DOI BibTeX RDF
13	Jeff King, Jennifer Stoll, Michael T. Hunter, Mustaque Ahamad	ALPACA: a lightweight platform for analyzing claim acceptability.	WICOW	2008	DBLP DOI BibTeX RDF	internet, trust, validity, data visualization, credibility
13	Takis Zourntos, Nebu John Mathai, Sebastian Magierowski, Deepa Kundur	A bio-inspired analog scheme for navigational control of lightweight autonomous agents.	ICRA	2008	DBLP DOI BibTeX RDF
13	Holger Gast	Lightweight Separation.	TPHOLs	2008	DBLP DOI BibTeX RDF
13	Dino Martin López-Pacheco, Laurent Lefèvre, CongDuc Pham	Lightweight Fairness Solutions for XCP and TCP Cohabitation.	Networking	2008	DBLP DOI BibTeX RDF	ERN protocols, inter-protocol fairness, inter-operability, TCP, End-to-End protocols, XCP
13	David M. Nichols, Chu-Hsiang Chan, David Bainbridge 0001, Dana McKay, Michael B. Twidale	A lightweight metadata quality tool.	JCDL	2008	DBLP DOI BibTeX RDF	metadata quality, visualization, prototyping, oai, dublin core
13	Serhan Dagtas, Yuri Natchetoi, Huaigu Wu, Louenas Hamdi	An Integrated Lightweight Software Architecture for Mobile Business Applications.	WICSA	2008	DBLP DOI BibTeX RDF	Software Architecture, Measurement, Management, Experimentation, Business Applications, Mobile Access
13	Fulvio Risso, Mario Baldi, Olivier Morandi, Andrea Baldini, Pere Monclus	Lightweight, Payload-Based Traffic Classification: An Experimental Evaluation.	ICC	2008	DBLP DOI BibTeX RDF
13	Davide Pozza, Riccardo Sisto	A Lightweight Security Analyzer inside GCC.	ARES	2008	DBLP DOI BibTeX RDF	Defensive Programming, Static Analysis, Software Security, Bug Finding
13	Ming-Chin Chuang, Jeng Farn Lee	LMAM: A Lightweight Mutual Authentication Mechanism for Network Mobility in Vehicular Networks.	APSCC	2008	DBLP DOI BibTeX RDF
13	Céline Van Damme, Tanguy Coenen, Eddy Vandijck	Turning a Corporate Folksonomy into a Lightweight Corporate Ontology.	BIS	2008	DBLP DOI BibTeX RDF	company, added value, ontology, folksonomy
13	Kaoru Sezaki, Izumi Kamiya, Kohei Miyagawa, Shin'ichi Konomi	Rolling Out RFIDs: A Lightweight Positioning Environment for Ad Hoc Applications.	SECON	2008	DBLP DOI BibTeX RDF
13	Xiaoqiang Zhang, Lin Peng, Lunguo Xie	A Lightweight Snapshot-based Algorithm for Software Transactional Memory.	ICYCS	2008	DBLP DOI BibTeX RDF
13	Hakim Belhaouari, Frédéric Peschanski	A Lightweight Container Architecture for Runtime Verification.	RV	2008	DBLP DOI BibTeX RDF
13	Christopher Parker, Hussein Suleman	A lightweight web interface to grid scheduling systems.	SAICSIT	2008	DBLP DOI BibTeX RDF	grid computing usability, scheduling, usability, grid computing, AJAX
13	Sheng Li 0007, Shannon K. Kuntz, Peter M. Kogge, Jay B. Brockman	Memory model effects on application performance for a lightweight multithreaded architecture.	IPDPS	2008	DBLP DOI BibTeX RDF
13	Shujia Zhou, Bruce H. Van Aartser, Tom Clune	A lightweight scalable I/O utility for optimizing High-End Computing applications.	IPDPS	2008	DBLP DOI BibTeX RDF
13	Fenghua Yuan, Wen-Zhan Song 0001, Nina M. Peterson, Yang Peng, Lei Wang, Behrooz A. Shirazi, Richard LaHusen	A Lightweight Sensor Network Management System Design.	PerCom	2008	DBLP DOI BibTeX RDF
13	Azzedine Boukerche, Horacio A. B. F. de Oliveira, Eduardo Freire Nakamura, Antonio Alfredo Ferreira Loureiro	Enlightness: An enhanced and lightweight algorithm for time-space localization in Wireless Sensor Networks.	ISCC	2008	DBLP DOI BibTeX RDF
13	Tobias Heer, Stefan Götz 0001, Oscar García Morchon, Klaus Wehrle	ALPHA: an adaptive and lightweight protocol for hop-by-hop authentication.	CoNEXT	2008	DBLP DOI BibTeX RDF	integrity protection, authentication, hash chains
13	Pierre Bomel, Guy Gogniat, Jean-Philippe Diguet	A Networked, Lightweight and Partially Reconfigurable Platform.	ARC	2008	DBLP DOI BibTeX RDF	bitstream server, FPGA, partial reconfiguration, link layer
13	Kyoungmoon Sun, Seungjae Baek, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh, Sang Lyul Min	LTFTL: lightweight time-shift flash translation layer for flash memory based embedded storage.	EMSOFT	2008	DBLP DOI BibTeX RDF	fault tolerance, reliability, file system, flash memory, ftl (flash translation layer), time-shift
13	Lei Sun, Tatsuo Nakajima	A Lightweight Kernel Objects Monitoring Infrastructure for Embedded Systems.	RTCSA	2008	DBLP DOI BibTeX RDF
13	Roland Kwitt, Peter Meerwald, Andreas Uhl	A lightweight rao-cauchy detector for additive watermarking in the dwt-domain.	MM&Sec	2008	DBLP DOI BibTeX RDF	statistical signal detection, wavelet, watermarking
13	Till Steiner, Yaochu Jin, Bernhard Sendhoff	A cellular model for the evolutionary development of lightweight material with an inner structure.	GECCO	2008	DBLP DOI BibTeX RDF	cell growth, finite element stress analysis, inner structure, multi-objective optimization, structure optimization, structural stability, artificial development
13	Paolo Missier, Khalid Belhajjame, Jun Zhao 0003, Marco Roos, Carole A. Goble	Data Lineage Model for Taverna Workflows with Lightweight Annotation Requirements.	IPAW	2008	DBLP DOI BibTeX RDF
13	Wensheng Zhang 0001, Nalin Subramanian, Guiling Wang 0001	Lightweight and Compromise-Resilient Message Authentication in Sensor Networks.	INFOCOM	2008	DBLP DOI BibTeX RDF
13	Lifeng Sang, Anish Arora	Spatial Signatures for Lightweight Security in Wireless Sensor Networks.	INFOCOM	2008	DBLP DOI BibTeX RDF
13	He Yuan Huang, Huafang Tan, Jun Zhu, Wei Zhao 0003	A Lightweight Approach to Partially Reuse Existing Component-Based System in Service-Oriented Environment.	ICSR	2008	DBLP DOI BibTeX RDF	service-oriented environment, service-oriented architecture, Software reuse, component-based system
13	Ma. Auxilio Medina, J. Alfredo Sánchez 0001	OntOAIr: A Method to Construct Lightweight Ontologies from Document Collections.	ENC	2008	DBLP DOI BibTeX RDF
13	Naoyasu Ubayashi, Yuki Sato, Akihiro Sakai, Tetsuo Tamai	Alloy-Based Lightweight Verification for Aspect-Oriented Architecture.	SERA	2008	DBLP DOI BibTeX RDF	Component-and-connector architecture, Verification, AOP, Alloy
13	Christian Meilicke, Johanna Völker, Heiner Stuckenschmidt	Learning Disjointness for Debugging Mappings between Lightweight Ontologies.	EKAW	2008	DBLP DOI BibTeX RDF
13	Ryan M. Golbeck, Samuel Davis, Immad Naseer, Igor Ostrovsky, Gregor Kiczales	Lightweight virtual machine support for AspectJ.	AOSD	2008	DBLP DOI BibTeX RDF	aspect-oriented programming, AspectJ
13	Igor T. Hawryszkiewycz	Supporting Complex Adaptive Processes with Lightweight Platforms.	Virtual Enterprises and Collaborative Networks	2008	DBLP DOI BibTeX RDF
13	Huanyu Zhao, Xiaolin Li 0001	H-Trust: A Robust and Lightweight Group Reputation System for Peer-to-Peer Desktop Grid.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
13	Javier G. Recuenco, Noelia Rojo, David Bueno	A New Approach for a Lightweight Multidimensional TV Content Taxonomy: TV Content Fingerprinting.	EuroITV	2008	DBLP DOI BibTeX RDF
13	Frank Allan Hansen, Kaj Grønbæk	Social web applications in the city: a lightweight infrastructure for urban computing.	Hypertext	2008	DBLP DOI BibTeX RDF	geo-spatial hypermedia, multimedia blogging, ubiquitous link anchors, visual 2d barcodes, location-awareness, urban computing, mobile web, physical hypermedia
13	Paolo D'Arco, Alfredo De Santis	Weaknesses in a Recent Ultra-Lightweight RFID Authentication Protocol.	AFRICACRYPT	2008	DBLP DOI BibTeX RDF
13	Mehran Mozaffari Kermani, Arash Reyhani-Masoleh	A Lightweight Concurrent Fault Detection Scheme for the AES S-Boxes Using Normal Basis.	CHES	2008	DBLP DOI BibTeX RDF	fault detection, Advanced encryption standard, S-box, normal basis
13	Min Song 0001, Michael Bieber	IntegraL: Lightweight Link-Based Integration of Heterogeneous Digital Library Collections and Services in the Deep Web.	CEC/EEE	2008	DBLP DOI BibTeX RDF
13	Holger Schmidt 0002, Andreas Köhrer, Franz J. Hauck	SoapME: a lightweight Java ME web service container.	MW4SOC	2008	DBLP DOI BibTeX RDF	web services, SOAP, Java ME
13	Jason D. Bakos, Donald M. Chiarulli, Steven P. Levitan	Lightweight Error Correction Coding for System-Level Interconnects.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Interconnections (subsystems), coding and information theory, error control codes, interconnection architectures, code design, coding tools and techniques
13	Fausto Giunchiglia, Maurizio Marchese, Ilya Zaihrayeu	Encoding Classifications into Lightweight Ontologies.	J. Data Semantics	2007	DBLP DOI BibTeX RDF
13	Dimitris Geneiatakis, Costas Lambrinoudakis	A lightweight protection mechanism against signaling attacks in a SIP-based VoIP environment.	Telecommun. Syst.	2007	DBLP DOI BibTeX RDF	Signaling attacks, Security, Session Initiation Protocol (SIP), Voice over IP (VoIP)
13	Ning Wang 0001, David Griffin 0001, Jason Spencer, Jonas Griem, Jorge Rodriguez Sanchez, Mohamed Boucadair, Eleni Mykoniati, Bruno Quoitin, Michael P. Howarth, George Pavlou, A. J. Elizondo, María L. García Osma, Panos Georgatsos	A Framework for Lightweight QoS Provisioning: Network Planes and Parallel Internets.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
13	Michael Rogers, Saleem Bhatti	A Lightweight Mechanism for Dependable Communication in Untrusted Networks.	DSN	2007	DBLP DOI BibTeX RDF
13	Benoît Garbinato, Rachid Guerraoui, Jarle Hulaas, Alexei Kounine, Maxime Monod, Jesper Honig Spring	The Weight-Watcher Service and its Lightweight Implementation.	ICSAMOS	2007	DBLP DOI BibTeX RDF
13	Daniele Quercia, Stephen Hailes, Licia Capra	Lightweight Distributed Trust Propagation.	ICDM	2007	DBLP DOI BibTeX RDF
13	Masaki Tai, Shingo Ata, Ikuo Oka	Fast, Accurate, and Lightweight Real-Time Traffic Identification Method Based on Flow Statistics.	PAM	2007	DBLP DOI BibTeX RDF
13	Yiannis Georgiou, Olivier Richard, Nicolas Capit	Evaluations of the Lightweight Grid CIGRI upon the Grid5000 Platform.	eScience	2007	DBLP DOI BibTeX RDF
13	Tieyan Li, Guilin Wang	Security Analysis of Two Ultra-Lightweight RFID Authentication Protocols.	SEC	2007	DBLP DOI BibTeX RDF
13	Paula Savolainen, Hanna-Miina Sihvonen, Jarmo J. Ahonen	SPI with Lightweight Software Process Modeling in a Small Software Company.	EuroSPI	2007	DBLP DOI BibTeX RDF
13	Shaoke Zhang, Chen Zhao, Paul Moody, Qinying Liao, Qiang Zhang	Lightweight Collaborative Activity Patterns in Project Management.	HCI (13)	2007	DBLP DOI BibTeX RDF	Fragmented activity, activity threads, project management
13	Yufei Ma 0007, Hong Xia Li, Pei Sun	A Lightweight Agent Fabric for Service Autonomy.	SOCASE	2007	DBLP DOI BibTeX RDF	Autonomous Service Agent, Agent Fabric, Service Composition
13	Viet Nguyen, Ahad Harati, Roland Siegwart	A lightweight SLAM algorithm using Orthogonal planes for indoor mobile robotics.	IROS	2007	DBLP DOI BibTeX RDF
13	Petri Honkamaa, Jani Jäppinen, Charles Woodward	A lightweight approach for augmented reality on camera phones using 2D images to simulate 3D.	MUM	2007	DBLP DOI BibTeX RDF	computer vision, mobile computing, augmented reality, 3D, camera phone, optical tracking
13	Bum Hyeon Baek, Vitaly Li, Seong Hoon Kim, Gwang Kuk Lee, Yong Soon Choi, Hong Seong Park	Lightweight Middleware for Robot.	RO-MAN	2007	DBLP DOI BibTeX RDF
13	Mike Tyson, Carlo Kopp	Defining Functional Requirements for a Lightweight GNSS Support Protocol (LGSP).	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
13	Changkyu Kim, Simha Sethumadhavan, M. S. Govindan, Nitya Ranganathan, Divya Gulati, Doug Burger, Stephen W. Keckler	Composable Lightweight Processors.	MICRO	2007	DBLP DOI BibTeX RDF
13	David F. Huynh, David R. Karger, Robert C. Miller	Exhibit: lightweight structured data publishing.	WWW	2007	DBLP DOI BibTeX RDF	generated UI, web, filter, sort, HTML, view, template, dynamic query, DOM, publish, faceted browsing, lens
13	Lorena Delgadillo, Orlena Gotel	Story-Wall: A Concept for Lightweight Requirements Management.	RE	2007	DBLP DOI BibTeX RDF
13	Atsushi Ohori, Isao Sasano	Lightweight fusion by fixed point promotion.	POPL	2007	DBLP DOI BibTeX RDF	fusion, fixed point, inlining
13	Somanath Tripathy	LISA: LIghtweight Security Algorithm for Wireless Sensor Networks.	ICDCIT	2007	DBLP DOI BibTeX RDF
13	Martin Hepp	ProdLight: A Lightweight Ontology for Product Description Based on Datatype Properties.	BIS	2007	DBLP DOI BibTeX RDF
13	Gilles Barthe, David Pichardie, Tamara Rezk	A Certified Lightweight Non-interference Java Bytecode Verifier.	ESOP	2007	DBLP DOI BibTeX RDF
13	Renne Tergujeff, Jyrki Haajanen, Juha Leppänen, Santtu Toivonen	Mobile SOA: Service Orientation on Lightweight Mobile Devices.	ICWS	2007	DBLP DOI BibTeX RDF
13	Sepideh Nazemi Gelyan, Arash Nasiri Eghbali, Laleh Roustapoor, Seyed Amir Yahyavi Firouz Abadi, Mehdi Dehghan 0001	SLTP: Scalable Lightweight Time Synchronization Protocol for Wireless Sensor Network.	MSN	2007	DBLP DOI BibTeX RDF
13	Ritendra Datta, Dhiraj Joshi, Jia Li 0001, James Ze Wang	Tagging over time: real-world image annotation by lightweight meta-learning.	ACM Multimedia	2007	DBLP DOI BibTeX RDF
13	Thierry Delbecque, Pierre Zweigenbaum	MetaCoDe: A Lightweight UMLS Mapping Tool.	AIME	2007	DBLP DOI BibTeX RDF	Medical Terminologies, MetaMap, MMTx, Information Retrieval, Natural Language Processing, Information Extraction, Concept Mapping, UMLS
13	Lakshmish Ramaswamy, Jianxia Chen, Piyush Parate	CoQUOS: Lightweight Support for Continuous Queries in Unstructured Overlays.	IPDPS	2007	DBLP DOI BibTeX RDF
13	Yang Cui 0001, Kazukuni Kobara, Kanta Matsuura, Hideki Imai	Lightweight Asymmetric Privacy-Preserving Authentication Protocols Secure against Active Attack.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
13	Bent Guldbjerg Christensen	LightPeers: A Lightweight Mobile P2P Platform.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
13	Benessa Defend, Kevin Fu, Ari Juels	Cryptanalysis of Two Lightweight RFID Authentication Schemes.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
13	Tetsuo Kamina, Tetsuo Tamai	Lightweight scalable components.	GPCE	2007	DBLP DOI BibTeX RDF	FGJ, pamily polymorphism, scalable java, type parameter members, parametric polymorphism
13	Nelson Baloian, Gustavo Zurita, Pedro Antunes 0001, Felipe Baytelman	A Flexible, Lightweight Middleware Supporting the Development of Distributed Applications across Platforms.	CSCWD	2007	DBLP DOI BibTeX RDF
13	Don Syme, Gregory Neverov, James Margetson	Extensible pattern matching via a lightweight language extension.	ICFP	2007	DBLP DOI BibTeX RDF	F#, functional programming, pattern matching, ML