Search results for "tool"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Huang Lianjing	A Tool for Developing Intelligent Tutoring Systems.	ICCAL	1992	DBLP DOI BibTeX RDF
12	Nikki Panlilio-Yap	Software estimation using the SLIM tool.	CASCON	1992	DBLP BibTeX RDF
12	G. S. Sohal, Osama K. Eyada	An expert system for the selection of indexable inserts and tool holders.	IEA/AIE (1)	1989	DBLP DOI BibTeX RDF
12	William D. Smith, David A. Duff, Martin Dragomirecky, James L. Caldwell, Michael J. Hartman, Jeffrey R. Jasica, Manuel A. d'Abreu	FACE Core Environment: The Model and Its Application in CAE/CAD Tool Development.	DAC	1989	DBLP DOI BibTeX RDF
12	J. Gonzalez-Sustaeta, Alejandro P. Buchmann	An automated database design tool using the ELKA conceptual model.	DAC	1986	DBLP DOI BibTeX RDF
11	Jia-Ying Tzeng, Tung-Kuan Liu, Jyh-Horng Chou	Applications of Multi-objective Evolutionary Algorithms to Cluster Tool Evolutionary Algorithms to Cluster Tool.	ICICIC (2)	2006	DBLP DOI BibTeX RDF
11	David Krahl	Extend: an interactive simulation tool: extend: an interactive simulation tool.	WSC	2003	DBLP DOI BibTeX RDF
11	Giuseppe Del Castillo	The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration.	TACAS	2001	DBLP DOI BibTeX RDF
11	Michel Beaudouin-Lafon, Wendy E. Mackay, Mads Jensen, Peter Andersen, Paul Janecek, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen	CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS.	TACAS	2001	DBLP DOI BibTeX RDF
11	Kimmo Wideroos	Awt (Associative writing tool): supporting writing process with a ZigZag based writing tool - work in progress.	Hypertext	2001	DBLP DOI BibTeX RDF	GZigZag, ZigZag metastructure, set based hypermedia, supporting writing process, spatial hypertext
11	Yap Siong Chua, Charles N. Winton	A Simulation Tool for Teaching CPU Design and Microprogramming Concepts.	APL	1989	DBLP DOI BibTeX RDF	APL
11	Richard D. Neidinger	An APL Approach to Differential Calculus Yields a Powerful Tool.	APL	1989	DBLP DOI BibTeX RDF	APL
10	Matthias Biehl, De-Jiu Chen, Martin Törngren	Integrating safety analysis into the model-based development toolchain of automotive embedded systems.	LCTES	2010	DBLP DOI BibTeX RDF	architecture description language, tool integration, model-based development, safety analysis
10	Mojtaba Shahin, Peng Liang 0001, Mohammad Reza Khayyambashi	Rationale visualization of software architectural design decision using compendium.	SAC	2010	DBLP DOI BibTeX RDF	compendium tool, design rationale, architectural design decision
10	Hao-Chuan Wang, Dan Cosley, Susan R. Fussell	Idea expander: supporting group brainstorming with conversationally triggered visual thinking stimuli.	CSCW	2010	DBLP DOI BibTeX RDF	group brainstorming, creativity support tool
10	Iris Adä, Michael R. Berthold	The new iris data: modular data generators.	KDD	2010	DBLP DOI BibTeX RDF	artificial data, pipeline tool, data generation
10	Valentina Grigoreanu, Margaret M. Burnett, George G. Robertson	A strategy-centric approach to the design of end-user debugging tools.	CHI	2010	DBLP DOI BibTeX RDF	debugging strategies, tool design, end-user software engineering, debugging tools
10	Tuan-Anh Doan, David Lo 0001, Shahar Maoz, Siau-Cheng Khoo	LM: a miner for scenario-based specifications.	ICSE (2)	2010	DBLP DOI BibTeX RDF	tool, live sequence charts, specification mining
10	Josefin Rosén, Anders Lövgren, Thierry Kogej, Sorel Muresan, Johan Gottfries, Anders Backlund	ChemGPS-NPWeb: chemical space navigation online.	J. Comput. Aided Mol. Des.	2009	DBLP DOI BibTeX RDF	ChemGPS-NP, Natural products, Chemical space, Internet tool, Biologically active compounds, Drug discovery
10	Martin Kot	Modeling selected real-time database concurrency control protocols in Uppaal.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Pessimistic protocol, Model checking, Verification, Timed automata, Two-phase-locking, Real-time database systems, Uppaal, Verification tool, Optimistic protocol
10	Jens Bendisposto, Michael Leuschel	Proof Assisted Model Checking for B.	ICFEM	2009	DBLP DOI BibTeX RDF	Model Checking, Experiment, Theorem Proving, B-Method, Tool Integration
10	Cécile Paris, Stephen Wan 0001	Capturing the User's Reading Context for Tailoring Summaries.	UMAP	2009	DBLP DOI BibTeX RDF	user’s interest, tailored summaries, browsing support tool
10	Pawel Pawlewski, Zbigniew J. Pasek	Use of Distributed IT Tools for Assessment of Manufacturing Processes.	IWANN (2)	2009	DBLP DOI BibTeX RDF	distributed tool, supply chain, sequence, manufacturing process
10	Víctor López-Jaquero, Francisco Montero Simarro, Fernando Real	Designing user interface adaptation rules with T: XML.	IUI	2009	DBLP DOI BibTeX RDF	t:xml tool, user interface adaptation, user interface development environment
10	Hong P. Liu, David P. Gluch	Formal verification of AADL behavior models: a feasibility investigation.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	architecture analysis & design language, model checking, tool integration, computational tree logic
10	Christian Martel, Laurence Vignollet, Christine Ferraris, Emmanuelle Villiot-Leclercq, Salim Ouari	PPdesigner: An Editor for Pedagogical Procedures.	EC-TEL	2009	DBLP DOI BibTeX RDF	Pedagogical Procedures, Pedagogical scenarios, Modelling, Authoring Tool, Learning Design
10	Ulrich Kiesmüller, Torsten Brinda	Automatically identifying learners' problem solving strategies in-process solving algorithmic problems.	ITiCSE	2009	DBLP DOI BibTeX RDF	tool-based analysis, algorithms, computer science education, didactics of informatics, problem solving strategies
10	Yanic Inghelbrecht	Object-oriented design with trace modeler and Trace4J.	ITiCSE	2009	DBLP DOI BibTeX RDF	UML, unified modeling language, software development, tools, documentation, object-oriented design, trace, program visualization, sequence diagram, case tool, responsibility-driven design
10	Robert Schleicher, Sandra Trösterer	The 'Joy-of-Use'-Button: Recording Pleasant Moments While Using a PC.	INTERACT (2)	2009	DBLP DOI BibTeX RDF	usability evaluation tool, Microsoft Windows XP, emotion, fun
10	Federica Ciocchetta, Corrado Priami, Paola Quaglia	An Automatic Translation of SBML into Beta-Binders.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	modeling, Process algebras, systems biology, biological systems, translation tool, Systems Biology Markup Language (SBML)
10	Philip A. Tresadern, Sibylle B. Thies, Laurence P. J. Kenney, David Howard, John Yannis Goulermas	Rapid Prototyping for Functional Electrical Stimulation Control.	IEEE Pervasive Comput.	2008	DBLP DOI BibTeX RDF	Clinical Set-up Tool, graphical user interface, rehabilitation, stroke, functional electrical stimulation, functional electrical stimulation
10	Raphaël Couturier	CHIC: Cohesive Hierarchical Implicative Classification.	Statistical Implicative Analysis	2008	DBLP DOI BibTeX RDF	data mining tool, oriented hierarchical tree, similarity tree, CHIC, implication graph
10	Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial	Modelling and Proof of a Tree-Structured File System in Event-B and Rodin.	ICFEM	2008	DBLP DOI BibTeX RDF	Rodin tool, Refinement, File system, Tree structure, Proof, Event-B
10	Ceri Binding, Keith May, Douglas Tudhope	Semantic Interoperability in Archaeological Datasets: Data Mapping and Extraction Via the CIDOC CRM.	ECDL	2008	DBLP DOI BibTeX RDF	knowledge organization systems, CIDOC CRM, core ontology, semi-automatic mapping tool, terminology services, mapping, thesaurus, semantic interoperability
10	Irene Anggreeni, Mascha van der Voort	Supporting scenario building in product design.	BCS HCI (2)	2008	DBLP DOI BibTeX RDF	scenario based product design, scenario building, user centered design, software, support tool, consumer product
10	Fábio Rodrigues de la Rocha, Rômulo Silva de Oliveira	An environment for the rapid development of embedded file systems.	SAC	2008	DBLP DOI BibTeX RDF	embedded system, file system, development tool
10	Rik Farenhorst, Ronald Izaks, Patricia Lago, Hans van Vliet	A Just-In-Time Architectural Knowledge Sharing Portal.	WICSA	2008	DBLP DOI BibTeX RDF	architectural knowledge sharing, tool support
10	Catherine Elsen, Pierre Leclercq	"SketSha" - The Sketch Power to Support Collaborative Design.	CDVE	2008	DBLP DOI BibTeX RDF	Distant and Synchronous Collaborative Design, Architecture support device, Sketches support tool
10	Lina M. Pestana Leão de Brito, Laura Margarita Rodríguez Peralta	A Collaborative Model for Wireless Sensor Networks Applied to Museums' Environmental Monitoring.	CDVE	2008	DBLP DOI BibTeX RDF	Awareness tool, Museums’ environmental monitoring, Wireless Sensor Networks, CSCW, Graph-based Model
10	Jae-Yong Yoo, Thomas Huehn, JongWon Kim 0001	Active capture of wireless traces: overcome the lack in protocol analysis.	WINTECH	2008	DBLP DOI BibTeX RDF	IEEE 802.11, wireless mesh networks, active monitoring, measurement tool
10	Jae-Yong Yoo, Thomas Huehn, JongWon Kim 0001	PaPMo: packet accurate protocol monitoring system.	WINTECH	2008	DBLP DOI BibTeX RDF	wireless mesh networks, active monitoring, measurement tool
10	Vu Le 0003, Gheorghe Tecuci, Mihai Boicu	Agent Shell for the Development of Tutoring Systems for Expert Problem Solving Knowledge.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	ITS-building tool, ITS authoring, agent-based tutoring systems, machine learning in ITS, ill-defined domains, teaching problem solving expertise, lesson design and generation, test learning and generation, intelligent agents, knowledge acquisition, intelligence analysis
10	Amy B. Adcock, Ginger S. Watson, Gary R. Morrison, Lee A. Belfore II	The design of an electronic self-regulation skill notebook for the development of meta-cognitive strategies and self-assessment in digital game-based learning environments.	SpringSim	2008	DBLP DOI BibTeX RDF	implementation, game-based learning, metacognition, self-regulated learning, tool development
10	Marcos Serrano, David Juras, Laurence Nigay	A three-dimensional characterization space of software components for rapidly developing multimodal interfaces.	ICMI	2008	DBLP DOI BibTeX RDF	design and implementation tool., multimodal interaction model, component-based approach
10	Ryan Hill, Janet Wesson	Using mobile preference-based searching to improve tourism decision support.	SAICSIT	2008	DBLP DOI BibTeX RDF	mobile tourism decision support, point-of-interest (POI) visualisation, preference-based search tool (PBST), preference-based searching
10	Jung Ho Bae, KwangMin Lee, Heung Seok Chae	Modularization of the UML Metamodel Using Model Slicing.	ITNG	2008	DBLP DOI BibTeX RDF	UML metamodel, UML slicing, UML modeling tool
10	Xin Wang, Yaser Ghanam, Frank Maurer	From Desktop to Tabletop: Migrating the User Interface of AgilePlanner.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	agile planning tool, user interface design, digital tabletop, desktop computer
10	Daniel Reichart, Peter Forbrig	Transactions in Task Models.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	Transaction, Task Model, Tool Support
10	Holger Schackmann, Horst Lichter	Comparison of Process Quality Characteristics Based on Change Request Data.	IWSM/Metrikon/Mensura	2008	DBLP DOI BibTeX RDF	Change Request Management, Metric Specification, Software Measurement Design, Process Metrics, Measurement Tool
10	David Annebicque, Serge Debernard, Thierry Poulain, Igor Crévits	AMANDA V3: Toward a Common Workspace between Air Traffic Controllers.	ACHI	2008	DBLP DOI BibTeX RDF	dynamic allocation of function, common workspace, Air Traffic Control, support tool, Human-Machine cooperation
10	Elia Contini, Barbara Leporini, Fabio Paternò	A Semi-automatic Support to Adapt E-Documents in an Accessible and Usable Format for Vision Impaired Users.	ICCHP	2008	DBLP DOI BibTeX RDF	accessible publishing, accessibility, tool, e-books
10	Marc Melià, Catalina M. Lladó, Connie U. Smith, Ramón Puigjaner	Experimentation and output interchange for petri net models.	WOSP	2008	DBLP DOI BibTeX RDF	tool interoperabiliy, petri nets, performance models, experimentation, xml, software performance engineering, interchange formats
10	Mark Reith, Jianwei Niu 0001, William H. Winsborough	Role-based trust management security policy analysis and correction environment (RT-SPACE).	ICSE Companion	2008	DBLP DOI BibTeX RDF	automated analysis tool, trust management policy, model checking
10	Derek Bruening, Vladimir Kiriansky	Process-shared and persistent code caches.	VEE	2008	DBLP DOI BibTeX RDF	software code cache, tool scalability, binary translation, dynamic instrumentation
10	Jun Wu 0016, Jinsong Wang, Tiemin Li, Liping Wang 0001	Performance Analysis and Application of a Redundantly Actuated Parallel Manipulator for Milling.	J. Intell. Robotic Syst.	2007	DBLP DOI BibTeX RDF	Actuation redundancy, Hybrid machine tool, Parallel manipulator
10	Eva Geisberger, Bernhard Schätz	Modellbasierte Anforderungsanalyse mit AutoRAID.	Inform. Forsch. Entwickl.	2007	DBLP DOI BibTeX RDF	Integrated Requirments Analysis and System Design, Requirements Engineering, Views, Tool Support, Model-based Development
10	Noriko Hyodo, Myunghoon Hong, Hitoshi Yanami, Shinji Hara, Hirokazu Anai	Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	Fixed-structure controller synthesis, CACSD (Computer Aided Control System Design) tool, Robust control, Quantifier elimination, Symbolic-numeric computation
10	Jan Jürjens, Pasha Shabalin	Tools for secure systems development with UML.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Security, UML, Formal verification, Tool-support, Model-based development
10	Jing Dong 0005, Sheng Yang 0002, Kang Zhang 0001	Visualizing Design Patterns in Their Applications and Compositions.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Web service, UML, Design pattern, model-driven architecture, visual tool
10	Sumit Mohanty, Viktor K. Prasanna	A model-based extensible framework for efficient application design using FPGA.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Modeling, reuse, extensible, design tool
10	Meghan Lammie Glenn, Stephanie M. Strassel	Shared Linguistic Resources for the Meeting Domain.	CLEAR	2007	DBLP DOI BibTeX RDF	linguistic resources, XTrans, Annotation Tool Graph Kit (AGTK), transcription, annotation tools
10	Marcel Oliveira, Jim Woodcock 0001	Automatic Generation of Verified Concurrent Hardware.	ICFEM	2007	DBLP DOI BibTeX RDF	FPGA, concurrency, refinement, CSP, tool support, program development, Handel-C, automatic compilation
10	Barbara Sorensen, Sowmya Ramachandran	Simulation-Based Automated Intelligent Tutoring.	HCI (9)	2007	DBLP DOI BibTeX RDF	Scenario Authoring Tool, Intelligent Tutoring, Simulation-based training
10	Antonio Savoldi, Paolo Gubian	SIM and USIM filesystem: a forensics perspective.	SAC	2007	DBLP DOI BibTeX RDF	SIM/USIM card, filesystem analysis, imaging tool, data hiding, filesystem
10	Georg Vogeler, Stefan Gruner, Benjamin Burkard	New specialist tools for medieval document XML markup.	SAC	2007	DBLP DOI BibTeX RDF	XML tagging, digitalization and preparation of medieval documents for the semantic web, history informatics, tool-support
10	Teresa Hurley, Stephan Weibelzahl	Using MotSaRT to Support On-Line Teachers in Student Motivation.	EC-TEL	2007	DBLP DOI BibTeX RDF	intervention strategies, on-line teachers, perceived task difficulty, recommender tool, motivation, on-line learning, self-efficacy, goal orientation, locus of control
10	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
10	Chuck Pheatt	An easy to use distributed computing framework.	SIGCSE	2007	DBLP DOI BibTeX RDF	parallel distributed computing, pedagogical tool, p2p, peer-to-peer, high performance computing
10	Manuel Cebrián, Manuel Alfonseca 0001, Alfonso Ortega 0002	Automatic generation of benchmarks for plagiarism detection tools using grammatical evolution.	GECCO	2007	DBLP DOI BibTeX RDF	source code plagiarism detection tool assessment, grammatical evolution
10	Hideyuki Ando, Eisuke Kusachi, Junji Watanabe	Nail-mounted tactile display for boundary/texture augmentation.	Advances in Computer Entertainment Technology	2007	DBLP DOI BibTeX RDF	drawing tool, tactile display, tactile sensation
10	Elizabeth Fong, Vadim Okun	Web Application Scanners: Definitions and Functions.	HICSS	2007	DBLP DOI BibTeX RDF	software security assurance tool, web application, vulnerability, software security, Software assurance
10	Daniel Ramage, Adam J. Oliner	RA: ResearchAssistant for the computational sciences.	Experimental Computer Science	2007	DBLP DOI BibTeX RDF	Java, XML, programming tool, Reproducibility, reproducible research
10	Samuel Evain, Jean-Philippe Diguet	Efficient space-time noc path allocation based on mutual exclusion and pre-reservation.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	guarantied traffic, path allocation, NOC, CAD tool
10	Alexis Ocampo, Jürgen Münch	The REMIS Approach for Rationale-Driven Process Model Evolution.	ICSP	2007	DBLP DOI BibTeX RDF	process management, resource description framework, prototype tool, Process evolution, rationale
10	K. Rustan M. Leino	Specifying and verifying software.	ASE	2007	DBLP DOI BibTeX RDF	verification, specification, programming, automation, languages, tool support, SMT solver
10	Michael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner	Symmetry Reduction for B by Permutation Flooding.	B	2007	DBLP DOI BibTeX RDF	Symmetry Reduction.1, Model Checking, Tool Support, B-Method
10	Tanja Döring, Steffi Beckhaus	The card box at hand: exploring the potentials of a paper-based tangible interface for education and research in art history.	TEI	2007	DBLP DOI BibTeX RDF	digital art history, paper card interface, tabletop tangible interface, information visualization, creativity support tool
10	Erwan Jahier, Pascal Raymond, Philippe Baufreton	Case studies with Lurette V2.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Tool environment, Stochastic machines, Automated testing, Synchronous languages, Real-time embedded systems, Reactive programs
10	Vibha Sinha, Bikram Sengupta, Satish Chandra 0001	Enabling Collaboration in Distributed Requirements Management.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	collaboration, tool support, requirements management, distributed development
10	Philippe Thiran, Jean-Luc Hainaut, Geert-Jan Houben, Djamal Benslimane	Wrapper-based evolution of legacy information systems.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	legacy database, evolution, CASE tool, wrapper, data consistency, Schema transformation, data reverse-engineering
10	Federico Pecora, Riccardo Rasconi, Gabriella Cortellessa, Amedeo Cesta	User-oriented problem abstractions in scheduling.	Innov. Syst. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Domain elicitation, Scheduling Tool customization, Reuse, Fast prototyping
10	Youcef Baghdadi	Reverse engineering relational databases to identify and specify basic Web services with respect to service oriented computing.	Inf. Syst. Frontiers	2006	DBLP DOI BibTeX RDF	Transformation pattern, CRUD operations pattern, Reverse engineering process, Web services, Service-oriented architecture, Relational databases, Service-oriented computing, CASE tool, Application architecture
10	Fuying Zhang, Hui Liu, Linjing Zhang	The Innovative Design of Reciprocating Seal for Hydraulic Cylinder Based on TRIZ Evolution Theory.	PROLAMAT	2006	DBLP DOI BibTeX RDF	Hydraulic cylinder, TRIZ technology evolution, reciprocating seal, evolutionary potential, CAI software tool
10	Dries Buytaert, Jonas Maebe, Lieven Eeckhout, Koen De Bosschere	Building Java program analysis tools using Javana.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	aspect-oriented instrumentation, customized program analysis tool, Java
10	Daniel Garcia, Catalina M. Lladó, Connie U. Smith, Ramón Puigjaner	Performance Model Interchange Format: Semantic Validation.	ICSEA	2006	DBLP DOI BibTeX RDF	Semantic validation, XML, Performance Models, SPE, Queueing Network Models, Tool interoperability, Interchange Format
10	Thomas N. Smyth, Arthur E. Kirkpatrick	A new approach to haptic augmentation of the GUI.	ICMI	2006	DBLP DOI BibTeX RDF	rehearsal, tool palette, multimodal interface, haptic interface, visual attention, 3D interaction, haptic feedback
10	Ratul Mahajan, Maya Rodrig, David Wetherall, John Zahorjan	Analyzing the MAC-level behavior of wireless networks in the wild.	SIGCOMM	2006	DBLP DOI BibTeX RDF	802.11 MAC, passive monitoring, measurement tool
10	Jacqueline Baldwin, Eileen Crupi, Tabitha Estrellado	WeBWorK for programming fundamentals.	ITiCSE	2006	DBLP DOI BibTeX RDF	WeBWorK, web-based assessment tool, active learning, homework
10	Pete G. Thomas, Kevin G. Waugh, Neil Smith	Using patterns in the automatic marking of ER-diagrams.	ITiCSE	2006	DBLP DOI BibTeX RDF	automatic grading, diagram interpretation, patterns, entity-relationship diagrams, teaching tool
10	Simon Moser, Axel Martens, Marc Häbich, Jutta A. Mülle	A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes.	Business Process Management	2006	DBLP DOI BibTeX RDF	Behavioral Compatibility, Tool based Verification, Web Service, Petri nets, Business Process Modeling, WS-BPEL
10	Jing Cong, Bernd E. Wolfinger	A unified load generator based on formal load specification and load transformation.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	load generation, load transformation, performance evaluation tool, QoS, load modeling
10	Jens B. Schmitt, Frank A. Zdarsky	The DISCO network calculator: a toolbox for worst case analysis.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	tool support, network calculus, deterministic guarantees
10	Arnaud Lewandowski, Grégory Bourguin, Jean-Claude Tarby	Vers des composants logiciels orientés tâches.	IHM	2006	DBLP DOI BibTeX RDF	integration, component, tool, task
10	Michal Tury, Mária Bieliková	An approach to detection ontology changes.	ICWE Workshops	2006	DBLP DOI BibTeX RDF	OntoDiff software tool, content change, ontology change, relative text comparison, structural change, heuristics
10	I-Hsin Chung, Robert Walkup, Hui-Fang Wen, Hao Yu	MPI tools and performance studies - MPI performance analysis tools on Blue Gene/L.	SC	2006	DBLP DOI BibTeX RDF	performance tuning, performance tool
10	Tijn Kooijmans, Takayuki Kanda 0001, Christoph Bartneck, Hiroshi Ishiguro, Norihiro Hagita	Interaction debugging: an integral approach to analyze human-robot interaction.	HRI	2006	DBLP DOI BibTeX RDF	interaction, analysis tool, integral approach, multimodal data
10	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
10	Diomidis Spinellis	The Tools at Hand.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	tools of the trade, tool
10	Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun 0001	A Tools Environment for Developing and Reasoning about Ontologies.	APSEC	2005	DBLP DOI BibTeX RDF	ontology, Semantic Web, tool, reasoning
10	Simon Hui, James Liu	An Online Template-Based Authoring System for E-Learning.	ICWL	2005	DBLP DOI BibTeX RDF	publishing tool for e-learning, online authoring system, template-based courseware, Zope application, content management system