Search results for "extensibility"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Jae-Wook Nah, Yeong-Hun Cho, Suwook Kim, Jong-Tae Park 0001	Architecture for extensible mobile instant messaging and presence service over IMS.	COMSWARE	2008	DBLP DOI BibTeX RDF
15	Bran Selic	A Systematic Approach to Domain-Specific Language Design Using UML.	ISORC	2007	DBLP DOI BibTeX RDF
15	Nadathur Satish, Kaushik Ravindran, Kurt Keutzer	A decomposition-based constraint optimization approach for statically scheduling task graphs with communication delays to multiprocessors.	DATE	2007	DBLP DOI BibTeX RDF
15	Matthieu Leclercq, Ali Erdem Özcan, Vivien Quéma, Jean-Bernard Stefani	Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset.	ICSE	2007	DBLP DOI BibTeX RDF
15	Jeremy S. Archuleta, Eli Tilevich, Wu-chun Feng	A Maintainable Software Architecture for Fast and Modular Bioinformatics Sequence Search.	ICSM	2007	DBLP DOI BibTeX RDF
15	Mikaël Barbero, Frédéric Jouault, Jeff Gray 0001, Jean Bézivin	A Practical Approach to Model Extension.	ECMDA-FA	2007	DBLP DOI BibTeX RDF
15	Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers	MultiJava: Design rationale, compiler implementation, and applications.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	MultiJava language, Open classes, augmenting method problem, binary method problem, extensible classes, extensible external methods, external methods, method families, open objects, single dispatch, static typechecking, modularity, inheritance, subtyping, encapsulation, generic functions, Java language, separate compilation, object-oriented programming languages, multimethods, multiple dispatch, expression problem
15	Özgür Gümüs, Geylani Kardas, Oguz Dikenelli, Riza Cenk Erdur, Ata Önal	SMOP: A Semantic Web and Service Driven Information Gathering Environment for Mobile Platforms.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
15	Levent Yilmaz, Andreas Tolk	Engineering ab initio dynamic interoperability and composability via agent-mediated introspective simulation.	WSC	2006	DBLP DOI BibTeX RDF
15	Tae-Kyung Kim, Kyoung-Ran Kim, Sang-Keun Oh, Jong-Hak Lee, Wan-Sup Cho	A Hybrid Grid and Its Application to Orthologous Groups Clustering.	CompLife	2006	DBLP DOI BibTeX RDF
15	Clarissa Cassales Marquezan, Rodrigo da Rosa Righi, Lucas Mello Schnorr, Alexandre Carissimi, Nicolas Maillard, Philippe Olivier Alexandre Navaux	ICE: A Service Oriented Approach to Uniform the Access and Management of Cluster Environments.	CCGRID	2006	DBLP DOI BibTeX RDF
15	Andrew Whitaker, Richard S. Cox, Marianne Shaw, Steven D. Gribble	Rethinking the Design of Virtual Machine Monitors.	Computer	2005	DBLP DOI BibTeX RDF	virtual machines, computer architectures, software systems, virtualization technology
15	Xin Wang, Thomas DeMartini, B. Wragg, M. Paramasivam, C. Barlas	The MPEG-21 rights expression language and rights data dictionary.	IEEE Trans. Multim.	2005	DBLP DOI BibTeX RDF
15	Venkat N. Gudivada, Jagadeesh Nandigam	Enterprise Application Integration Using Extensible Web Services.	ICWS	2005	DBLP DOI BibTeX RDF
15	Scott E. Hudson, Jennifer Mankoff, Ian E. Smith	Extensible input handling in the subArctic toolkit.	CHI	2005	DBLP DOI BibTeX RDF	interaction techniques, GUI toolkits, event handling
15	Mohammad Mursalin Akon, Dhrubajyoti Goswami, Hon Fung Li	A Model for Designing and Implementing Parallel Applications Using Extensible Architectural Skeletons.	PaCT	2005	DBLP DOI BibTeX RDF
15	Takeru Inoue, Seiichiro Tani, Hirokazu Takahashi, Toshiaki Miyazaki, Kan Toyoshima	Design and Implementation of Advanced Multicast Router Based on Cluster Computing.	ICPADS (1)	2005	DBLP DOI BibTeX RDF
15	Kun Wang, Ruidan Su, Zengxin Li, Zhen Cai, Lihua Zhou	Study of Secure Complicated Information System Architecture Model.	SKG	2005	DBLP DOI BibTeX RDF
15	Hironori Washizaki, Yoshiaki Fukazawa	A Model-View Separation Architecture for GUI Application Components.	ITCC (2)	2005	DBLP DOI BibTeX RDF
15	Galen S. Swint, Calton Pu, Gueyoung Jung, Wenchang Yan, Younggyun Koh, Qinyi Wu, Charles Consel, Akhil Sahai, Koichi Moriyama	Clearwater: extensible, flexible, modular code generation.	ASE	2005	DBLP DOI BibTeX RDF	AXpect, ISG, clearwater, infopipes, code generation, DSL
15	Alexander Pokahr, Lars Braubach, Winfried Lamersdorf	A BDI architecture for goal deliberation.	AAMAS	2005	DBLP DOI BibTeX RDF	goal deliberation, BDI agents
15	Steven Carroll, Constantine D. Polychronopoulos	A Framework for Incremental Extensible Compiler Construction.	Int. J. Parallel Program.	2004	DBLP DOI BibTeX RDF	Compiler construction, incremental compilation
15	Jo Ueyama, Stefan Schmid 0002, Geoff Coulson, Gordon S. Blair, Antônio Tadeu A. Gomes, Ackbar Joolia, Kevin Lee	A Re-configurable Component Model for Programmable Nodes.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
15	E. James Whitehead Jr., Guozheng Ge, Kai Pan	Automatic generation of hypertext system repositories: a model driven approach.	Hypertext	2004	DBLP DOI BibTeX RDF	containment modeling framework, hypertext data models, open hyperbase, model-driven development, automatic code generation
15	Mercedes Amor, Lidia Fuentes, José M. Troya	A Component and Aspect-Based Architecture for Rapid Software Agent Development.	IBERAMIA	2004	DBLP DOI BibTeX RDF
15	Maurice van Keulen, Jochem Vonk, Arjen P. de Vries, Jan Flokstra, Henk Ernst Blok	Moa and the Multi-model Architecture: A New Perspective on XNF 2.	DEXA	2003	DBLP DOI BibTeX RDF
15	Cédric Chauvière, Robert G. Owens	A Robust Spectral Element Method for Simulations of Time-Dependent Viscoelastic Flows, Derived from the Brownian Configuration Field Method.	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	spectral element methods - viscoelastic flows, mesoscopic models
15	Colin Higgins, Pavlos Symeonidis, Athanasios Tsintsifas	The marking system for CourseMaster.	ITiCSE	2002	DBLP DOI BibTeX RDF	distance learning, teaching, courseware, automatic assessment
15	Matthias Zenger	Type-Safe Prototype-Based Component Evolution.	ECOOP	2002	DBLP DOI BibTeX RDF
15	Xin Wang, Guillermo Lao, Thomas DeMartini, Hari Reddy, Mai Nguyen, Edgar Valenzuela	XrML - eXtensible rights Markup Language.	XML Security	2002	DBLP DOI BibTeX RDF	content distribution and usage, XML, standards, specification languages, digital rights management, DRM, rights
15	Michael Maxim, Ashish Venugopal	Securing Agent Based Architectures.	EDCIS	2002	DBLP DOI BibTeX RDF
15	Steven Bromling, Steve MacDonald, John Anvik, Jonathan Schaeffer, Duane Szafron, Kai Tan 0005	Pattern-Based Parallel Programming.	ICPP	2002	DBLP DOI BibTeX RDF	frameworks, design patterns, meta-programming, parallel programming environment
15	Christophe Nicolle, Kokou Yétongnon	XML Enabled Metamodeling and Tools for Cooperative Information Systems.	EC-Web	2001	DBLP DOI BibTeX RDF
15	Dimitrios Theotokis, Anya Sotiropoulou, Georgios Gyftodimos, Panagiotis Georgiadis 0001	A Comparison of Design Patterns and Roles in the Context of Behavioural Evolution.	Panhellenic Conference on Informatics	2001	DBLP DOI BibTeX RDF
15	Jacques Chassin de Kergommeaux, Benhur de Oliveira Stein	Pajé: An Extensible Environment for Visualizing Multi-threaded Programs Executions.	Euro-Par	2000	DBLP DOI BibTeX RDF	visualization, parallel programming, MPI, pthread, performance debugging
15	Jung Pil Choi	Aspect-Oriented Programming with Enterprise JavaBeans.	EDOC	2000	DBLP DOI BibTeX RDF	EJB server, generalized metaobject, EJBObject, testing application, security, middleware, object-oriented programming, aspect-oriented programming, AES, transaction processing, network protocols, container, enterprise JavaBeans, object persistence, location transparency
15	Brad L. Hutchings, Brent E. Nelson	Using general-purpose programming languages for FPGA design.	DAC	2000	DBLP DOI BibTeX RDF
15	John K. Debenham	An Adaptive, Maintable, Extensible Process Agent.	DEXA	1999	DBLP DOI BibTeX RDF
15	Manuel Oliveira 0002, Jon Crowcroft, Donald P. Brutzman, Mel Slater	Components for distributed virtual environments.	VRST	1999	DBLP DOI BibTeX RDF	virtual reality, virtual environments, framework, components
15	Enrico Denti, Andrea Omicini	Designing Multi-agent Systems around an Extensible Communication Abstraction.	ModelAge Workshop	1997	DBLP DOI BibTeX RDF	Programmable Communication Abstraction, Multi-Agent Systems, Coordination Model
15	Alan R. Shealy, Brian A. Malloy, David A. Sykes	SIMx86: An extensible simulator for the Intel 80×86 processor family.	Annual Simulation Symposium	1997	DBLP DOI BibTeX RDF	SIMx86, extensible simulator, Intel 80/spl times/86, Intel 8088 processor, 8086 processor, debugging facilities, simulator construction, virtual machines, domain model, performance gains, processor simulators
15	Sang Kyun Cha, Jang Ho Park, S. J. Lee, Byoung Dae Park, J. S. Lee	An extensible architecture for main-memory real-time storage systems.	RTCSA	1996	DBLP DOI BibTeX RDF	extensible architecture, main-memory real-time storage systems, M/sup 2/ RTSS, real-time database application research, storage system functionality, user transactions, application-specific operations, performance, real-time systems, object-oriented design
15	Hans-Jörg Schek, Andreas Wolf	From Extensible Databases to Interoperability between Multiple Databases and GIS Applications.	SSD	1993	DBLP DOI BibTeX RDF
15	Egon Börger	A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation.	MFCS	1990	DBLP DOI BibTeX RDF
15	Jerry Kiernan, Christophe de Maindreville, Eric Simon	The Design and Implementation of an Extendible Deductive Database System.	SIGMOD Rec.	1989	DBLP DOI BibTeX RDF
15	V. S. Subrahmanian	Algebraic Properties of The Space of Multivalued and Paraconsistent Logic Programs.	FSTTCS	1989	DBLP DOI BibTeX RDF
15	Hermann Schmutz	The Integrated Data Analysis and Management System for Pictorial Applications.	Data Base Techniques for Pictorial Applications	1979	DBLP DOI BibTeX RDF
8	Michael Benedikt, Daniela Florescu, Philippa Gardner, Giovanna Guerrini, Marco Mesiti, Emmanuel Waller	Report on the EDBT/ICDT 2010 workshop on updates in XML.	SIGMOD Rec.	2010	DBLP DOI BibTeX RDF
8	Noémie Esnault, Jérôme Royan, Rémi Cozot, Christian Bouville	A flexible framework to personalize 3D web users experience.	Web3D	2010	DBLP DOI BibTeX RDF	languages and structures, virtual reality, graphical user interfaces, interfaces, multimedia databases, web-based interactions
8	José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh	Optimizing generics is easy!	PEPM	2010	DBLP DOI BibTeX RDF	optimization, benchmark, functional programming, haskell, generic programming
8	Björn Schilling, Boris Koldehofe, Udo Pletat, Kurt Rothermel	Distributed heterogeneous event processing: enhancing scalability and interoperability of CEP in an industrial context.	DEBS	2010	DBLP DOI BibTeX RDF	distributed complex event processing, heterogeneous systems and networks, distributed systems
8	João L. Gomes, Miguel P. Monteiro 0001	Design pattern implementation in object teams.	SAC	2010	DBLP DOI BibTeX RDF	design patterns, aspect-oriented programming, modularity
8	Alain Biem, Eric Bouillet, Hanhua Feng, Anand Ranganathan, Anton Riabov, Olivier Verscheure, Haris N. Koutsopoulos, Carlos Moran	IBM infosphere streams for scalable, real-time, intelligent transportation services.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	geostreaming, transportation, stream processing
8	Alex Raizman, Asvin Ananthanarayan, Anton Kirilov, Badrish Chandramouli, Mohamed H. Ali	An extensible test framework for the Microsoft StreamInsight query processor.	DBTest	2010	DBLP DOI BibTeX RDF	StreamInsight, verification, testing, data streaming, SQL server
8	Paul G. Brown	Overview of sciDB: large scale array storage, processing and analysis.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	acm sigmod industrial proceedings scientific data management
8	MinSeong Kim, Andy J. Wellings	Using the executor framework to implement asynchronous event handling in the RTSJ.	JTRES	2010	DBLP DOI BibTeX RDF
8	Mohammed Yousef, Ahmed Hashem, Hassan Saad, Amr Gamal, Osama Galal, Khaled F. Hussain	A scripting language for Digital Content Creation applications.	SIGGRAPH Posters	2010	DBLP DOI BibTeX RDF
8	James R. Geraci, Erek R. Speed	Improving program productivity, performance and portability through a high level language for graphics and game development.	SIGGRAPH Posters	2010	DBLP DOI BibTeX RDF
8	Matthias Urban, Daniel Lohmann, Olaf Spinczyk	The aspect-oriented design of the PUMA C/C++ parser framework.	AOSD	2010	DBLP DOI BibTeX RDF	aspect-oriented programming (AOP), AspectC++, aspect-oriented design, PUMA
8	Ioannis G. Damousis, Dimitrios Tzovaras, Michael G. Strintzis	A fuzzy expert system for the early warning of accidents due to driver hypo-vigilance.	Pers. Ubiquitous Comput.	2009	DBLP DOI BibTeX RDF	Hypovigilance detection, Genetic algorithms, Fuzzy expert systems
8	Abdelmorhit El Rhazi, Samuel Pierre	A Tabu Search Algorithm for Cluster Building in Wireless Sensor Networks.	IEEE Trans. Mob. Comput.	2009	DBLP DOI BibTeX RDF
8	Jiahai Yang 0001, Hui Zhang 0052, Jinxiang Zhang, Changqing An	Towards Next Generation Internet Management: CNGI-CERNET2 Experiences.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	Internet management network, Web service, network management, IPV6, SNMP
8	Guoping Wang, Sheng Li 0008, ShaoRong Wang, Bin Lu, WenHang Li	ViWoSG: A distributed scene graph of ultramassive distributed virtual environments.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	ultra-massive, distributed scene graph, distributed system, VR, scene graph
8	Richard W. Selby	Analytics-Driven Dashboards Enable Leading Indicators for Requirements and Designs of Large-Scale Systems.	IEEE Softw.	2009	DBLP DOI BibTeX RDF
8	Christian Düntgen, Thomas Behr, Ralf Hartmut Güting	BerlinMOD: a benchmark for moving object databases.	VLDB J.	2009	DBLP DOI BibTeX RDF	Benchmark, Trajectory, Spatio-temporal database, Moving object database, Data generator
8	Elena Mugellini, Denis Lalanne, Bruno Dumas, Florian Evéquoz, Sandro Gerardi, Anne Le Calvé, Alexandre Boder, Rolf Ingold, Omar Abou Khaled	MEMODULES as Tangible Shortcuts to Multimedia Information.	Human Machine Interaction	2009	DBLP DOI BibTeX RDF
8	Binge Cui, Xin Chen, Pingjian Song, Rongjie Liu	Multi-source Remote Sensing Images Data Integration and Sharing Using Agent Service.	WISE	2009	DBLP DOI BibTeX RDF	Agent Service, Data Integration, Grid Service, Resource Sharing, Remote Sensing Images
8	Beat Signer, Moira C. Norrie	An Architecture for Open Cross-Media Annotation Services.	WISE	2009	DBLP DOI BibTeX RDF
8	Li Yao, Ning Zhang 0001	A Generic Authentication LoA Derivation Model.	SEC	2009	DBLP DOI BibTeX RDF
8	Nazario Cipriani, Mike Eissele, Andreas Brodt, Matthias Großmann, Bernhard Mitschang	NexusDS: a flexible and extensible middleware for distributed stream processing.	IDEAS	2009	DBLP DOI BibTeX RDF	P2P and networked data management, database services and applications, middleware platforms for data management, stream databases, data stream processing
8	Sebastian Fleissner, Elisa L. A. Baniassad	Harmony-oriented programming and software evolution.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	resonance, harmony
8	Jeffery E. Bryson	Polymorphic system architecture summary.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	architecture, abstraction, systems architecture, polymorphism
8	Tarek Helmy, Ali Bahrani, Jeffrey M. Bradshaw	An Agent-Oriented Service Model for a Personal Information Manager.	SOCASE	2009	DBLP DOI BibTeX RDF	Agent-oriented software, Personal Information Manager
8	Nitya Narasimhan, Tzvetan Horozov, Joseph F. Wodka, Jehan Wickramasuriya, Venu Vasudevan	TV clips: using social bookmarking for content discovery in a fragmented TV ecosystem.	MUM	2009	DBLP DOI BibTeX RDF	content discovery, social sharing, architecture, digital rights management, social bookmarking, television, set-top box
8	Xinyu Li, Omar Hammami	Small scale multiprocessor soft IP (SSM IP): single FPGA chip area and performance evaluation.	FPGA	2009	DBLP DOI BibTeX RDF	fpga, multiprocessor, network on chip
8	David Lievens, William Harrison	Symmetric encapsulated multi-methods to abstract over application structure.	SAC	2009	DBLP DOI BibTeX RDF	symmetric methods, software evolution, type system, language design, multiple dispatch
8	Jordi Pujol Ahulló, Pedro García López, Marc Sánchez Artigas, Marcel Arrufat-Arias	An extensible simulation tool for overlay networks and services.	SAC	2009	DBLP DOI BibTeX RDF	discrete event-based simulation, overlay network simulation, frameworks, design patterns
8	Michael Spahn, Volker Wulf	End-User Development of Enterprise Widgets.	IS-EUD	2009	DBLP DOI BibTeX RDF	Mashup, End-User Development, Widget
8	Zheng Guan, Dongfeng Zhao	An Energy Efficient MAC Protocol for WSNs.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
8	Joshua Garcia, Daniel Popescu 0001, George Edwards, Nenad Medvidovic	Toward a Catalogue of Architectural Bad Smells.	QoSA	2009	DBLP DOI BibTeX RDF
8	Olle Regardt, Lars Rönnbäck, Maria Bergholtz, Paul Johannesson, Petia Wohed	Anchor Modeling.	ER	2009	DBLP DOI BibTeX RDF	anchor modeling, 6NF, table elimination, temporal databases, normalization, data warehousing, agile development
8	Daniel Amyot, Jennifer Horkoff, Daniel Gross, Gunter Mussbacher	A Lightweight GRL Profile for i* Modeling.	ER Workshops	2009	DBLP DOI BibTeX RDF	jUCMNav, profile, OCL, User Requirements Notation, i*, Goal-oriented Requirement Language
8	Frank Hill	The DIS protocol - new and improved.	SpringSim	2009	DBLP BibTeX RDF	IEEE 1278.1 standard, simulation protocols, standards, HLA, distributed interactive simulation, DIS
8	Simon Jupp, Sean Bechhofer, Robert Stevens 0001	A Flexible API and Editor for SKOS.	ESWC	2009	DBLP DOI BibTeX RDF
8	Georgia Koutrika, Benjamin Bercovitz, Hector Garcia-Molina	FlexRecs: expressing and combining flexible recommendations.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	flexible recommendations, recommendation operators, recommendation queries
8	Jacky Estublier, Eric Simon	Universal and Extensible Service-Oriented Platform Feasibility and Experience: The Service Abstract Machine.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
8	Lingfang Li, Ning Zhang 0023, Ling-Yu Duan, Qingming Huang, Jun Du, Ling Guan	Automatic sports genre categorization and view-type classification over large-scale dataset.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	genre categorization, scene classification, codebook
8	Naoyasu Ubayashi, Genya Otsubo, Kazuhide Noda, Jun Yoshida	An Extensible Aspect-Oriented Modeling Environment.	CAiSE	2009	DBLP DOI BibTeX RDF
8	Gerhard Weis, Andrew Lewis	Using XMPP for ad-hoc grid computing - an application example using parallel ant colony optimisation.	IPDPS	2009	DBLP DOI BibTeX RDF
8	Brent Lagesse, Mohan Kumar, Justin Mazzola Paluska, Matthew K. Wright	DTT: A Distributed Trust Toolkit for Pervasive Systems.	PerCom	2009	DBLP DOI BibTeX RDF
8	Martin Lukasiewycz, Michael Glaß, Jürgen Teich, Paul Milbredt	FlexRay schedule optimization of the static segment.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	scheduling, optimization, FlexRay
8	Lien Fu Lai, Chao-Chin Wu, Liang-Tsung Huang, Ya-Chin Chang	Developing the KMKE Knowledge Management System Based on Design Patterns and Parallel Processing.	ICIC (1)	2009	DBLP DOI BibTeX RDF	Parallel Processing, Knowledge Management, Design Patterns, Expert Systems, Knowledge Engineering
8	Collin Green, Irene Tollinger, Christian Ratterman, Guy Pyrzak, Alex Eiser, Lanie Castro, Alonso H. Vera	Leveraging open-source software in the design and development process.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	benefits analysis, collaboration, software development, open-source software
8	Nizar Kheir, Hervé Debar, Frédéric Cuppens, Nora Cuppens-Boulahia, Jouni Viinikka	A Service Dependency Modeling Framework for Policy-Based Response Enforcement.	DIMVA	2009	DBLP DOI BibTeX RDF
8	Marianne Busch, Nora Koch	MagicUWE - A CASE Tool Plugin for Modeling Web Applications.	ICWE	2009	DBLP DOI BibTeX RDF
8	Gap-Joo Na, Sang-Won Lee 0001	A User-Defined Index for Containment Queries in XML.	ICCSA (2)	2009	DBLP DOI BibTeX RDF	user-defined index, containment query, XML
8	Richard W. Selby	Synthesis, Analysis, and Modeling of Large-Scale Mission-Critical Embedded Software Systems.	ICSP	2009	DBLP DOI BibTeX RDF
8	Fadrian Sudaman, Christine Mingins, Martin Dick	An Architecture for Modeling and Applying Quality Processes on Evolving Software.	ICSP	2009	DBLP DOI BibTeX RDF
8	Bing Wang, Jan Himmelspach, Roland Ewald, Yiping Yao, Adelinde M. Uhrmacher	An experimental analysis environment for logical process simulation algorithms.	SimuTools	2009	DBLP DOI BibTeX RDF	performance analysis, discrete-event simulation, parallel and distributed simulation, logical process
8	Felix Schernhammer, Bernhard Gramlich	VMTL-A Modular Termination Laboratory.	RTA	2009	DBLP DOI BibTeX RDF