The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for toolset with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1983-1990 (15) 1991-1993 (19) 1994 (16) 1995-1996 (31) 1997 (22) 1998 (22) 1999 (22) 2000 (36) 2001 (34) 2002 (31) 2003 (29) 2004 (53) 2005 (37) 2006 (41) 2007 (56) 2008 (62) 2009 (40) 2010 (22) 2011 (15) 2012 (7)
Publication types (Num. hits)
article(92) book(1) incollection(1) inproceedings(516)
Venues (Conferences, Journals, ...)
Ada-Europe(11) CAV(11) Winter Simulation Conference(11) ICSE(9) ASE(8) ECBS(8) Euro-Par(8) HICSS(6) ICFEM(6) STTT(6) TACAS(6) ACM SIGSOFT Software Engineeri...(5) APSEC(5) CASCON(5) COMPSAC(5) EMSOFT(5) More (+10 of total 372)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 732 occurrences of 548 keywords

Results
Found 610 publication records. Showing 610 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
3Stefan Klink, Yu Li, Andreas Oberweis INCOME2010 - a toolset for developing process-oriented information systems based on petri nets. Search on Bibsonomy SimuTools The full citation details ... 2008 DBLP  DOI  BibTeX  RDF XML nets, software toolset, SOA, petri nets, information systems
3Franz J. Kurfess, Mrinalini Lankala, Ashok Vantipalli, Lonnie R. Welch A toolset for the reengineering of complex computer systems. Search on Bibsonomy ECBS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF reengineering toolset, complex computer systems, abstract intermediate representation, system software architecture, program level, task level, package/object instance level, subprogram level, statement level, rendezvous graph, call-rendezvous graph, call-data-rendezvous graph, software architecture, graphical user interface, software design, granularity, systems re-engineering, dependence graphs, control flow graph, interaction analysis, call graph, computer-based systems, software transformation
3John V. Harrison, Anthony Berglas, Ian Peake Legacy 4GL Application Migration via Knowledge-Based Software Engineering Technology: A Case Study. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 1997 DBLP  DOI  BibTeX  RDF legacy 4GL application migration, fourth-generation languages, database vendors, toolset, industry-sponsored research project, software re-engineering toolset, database, case study, programming environments, cost, organisation, knowledge-based software engineering, information system applications
3J. R. Carnes, Amit Misra, Janos Sztipanovits Model-integrated toolset for fault detection, isolation and recovery (FDIR). Search on Bibsonomy ECBS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF space vehicles, model-integrated toolset, complex engineering systems, system deployment, information intensive tests, in-depth knowledge, large complex spacecraft system development, engineering design phase, fault diagnosis, software maintenance, software tools, system design, fault detection, system recovery, system monitoring, special purpose computers, systems software, fault recovery, aerospace computing, system implementation, fault isolation, system validation, system maintenance
3George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden Automated Analysis of Concurrent Systems With the Constrained Expression Toolset. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF constrained expression toolset, expression analysis techniques, Ada-like design language, system traces, parallel programming, software tools, programming languages, source code, concurrent systems, reachable states
2Lawrence Cabac, Till Dörges, Michael Duvigneau, Daniel Moldt Requirements and Tools for the Debugging of Multi-Agent Systems. Search on Bibsonomy MATES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF toolset, multi-agent systems, Debugging, requirements, Mulan
2Michael Leuschel, Michael J. Butler ProB: an automated analysis toolset for the B method. Search on Bibsonomy STTT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
2Romain Robbes, Michele Lanza SpyWare: a change-aware development toolset. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF modelling, visualization, program transformation, change
2John C. Grundy, John G. Hosking, Jun Huh, Karen Na-Liu Li Marama: an eclipse meta-toolset for generating multi-view environments. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF domain-specific visual languages, meta-tools, code generation, model-driven engineering
2Richard Maciel, Bruno Albertini, Sandro Rigo, Guido Araujo, Rodolfo Azevedo A Methodology and Toolset to Enable SystemC and VHDL Co-simulation. Search on Bibsonomy ISVLSI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2David Montgomery, Ali Akoglu Methodology and Toolset for ASIP Design and Development Targeting Cryptography-Based Applications. Search on Bibsonomy ASAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2Martin Ouimet, Kristina Lundqvist The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2Minghui Jiang, Martin Mayne, Joel Gillespie Delta: A Toolset for the Structural Analysis of Biological Sequences on a 3D Triangular Lattice. Search on Bibsonomy ISBRA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2Matthieu Leclercq, Ali Erdem Özcan, Vivien Quéma, Jean-Bernard Stefani Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset. Search on Bibsonomy ICSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2Thomas Rauber, Gudula Rünger Incremental Transformation of Business Software. Search on Bibsonomy ICEIS (Selected Papers) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Incremental transformation, transformation toolset, component, legacy software
2Martin Ouimet, Guillaume Berteau, Kristina Lundqvist Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset. Search on Bibsonomy MoDELS Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Simulation, Modeling, Real-Time Systems, Embedded Systems, Formal Specification
2Hu Chen, Wenguang Chen, Jian Huang, Bob Robert, H. Kuhn MPIPP: an automatic profile-guided parallel process placement toolset for SMP clusters and multiclusters. Search on Bibsonomy ICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF graph mapping, process placement, cluster, parallel computing, graph partitioning
2Milo M. K. Martin, Daniel J. Sorin, Bradford M. Beckmann, Michael R. Marty, Min Xu, Alaa R. Alameldeen, Kevin E. Moore, Mark D. Hill, David A. Wood Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset. Search on Bibsonomy SIGARCH Computer Architecture News The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Jie Tao, Wolfgang Karl CacheIn: A Toolset for Comprehensive Cache Inspection. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt II, Nicolas Guelfi Efficient: A Toolset for Building Trusted B2B Transactions. Search on Bibsonomy CAiSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Gerard Lommerse, Freek Nossin, Lucian Voinea, Alexandru Telea The Visual Code Navigator: An Interactive Toolset for Source Code Investigation. Search on Bibsonomy INFOVIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF source code visualization, pixel-filling displays, multiple views, treemaps, source code analysis
2Jacob T. Biehl, Brian P. Bailey A Toolset for Creating Iconic Interfaces for Interactive Workspaces. Search on Bibsonomy INTERACT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Anirban Lahiri, Satya Jyoti Chattopadhyay, Anupam Basu Sparsha: a comprehensive indian language toolset for the blind. Search on Bibsonomy ASSETS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF visual impairment, braille, audio feedback, Indian languages
2Muhammad Ali Babar, Didar Zowghi Developing a Requirements Management Toolset: Lessons Learned. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2Harold J. Batteram, Wim Hellenthal, Willem A. Romijn, Andreas Hoffmann, Axel Rennoch, Alain Vouffo Implementation of an Open Source Toolset for CCM Components and Systems Testing. Search on Bibsonomy TestCom The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis The IF Toolset. Search on Bibsonomy SFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2Andrew Lewis, David Abramson, Tom Peachey RSCS: A Parallel Simplex Algorithm for the Nimrod/O Optimization Toolset. Search on Bibsonomy ISPDC/HeteroPar The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Nelder-Mead algorithm, optimization, Parallel programming
2S. Ramesh, Sampada Sonalkar, Vijay D'Silva, Naveen Chandra, B. Vijayalakshmi A Toolset for Modelling and Verification of GALS Systems. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2M. Arns, Markus Fischer, Carsten Tepper, Markus Völker Visualization of Analysis Results in the ProC/B Toolset. Search on Bibsonomy QEST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2Li Zhang 0002, Zhen Liu, Anton Riabov, Monty Schulman, Cathy H. Xia, Fan Zhang A Comprehensive Toolset for Workload Characterization, Performance Modeling, and Online Control. Search on Bibsonomy Computer Performance Evaluation / TOOLS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF on-line control, Performance analysis, performance prediction, queueing networks, capacity planning, Web service modeling
2Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neema, Kumar Chhokra Model-Integrated Design Toolset for Polymorphous Computer-Based Systems. Search on Bibsonomy ECBS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
2Muhammad Ali Babar An Experience of Applying Architecture-based Approach to Build a Component-based Requirements Management Toolset. Search on Bibsonomy COMPSAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
2Alberto Manzone, Claudio Genta Automatic toolset for fault tolerant design: results demonstration on a running industrial application. Search on Bibsonomy IOLTS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
2Daniel C. DuVarney, S. Purushothaman Iyer C Wolf - A Toolset for Extracting Models from C Programs. Search on Bibsonomy FORTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Abstract Model checking, Concurrency Workbench, FDT for network protocols, Software tools, Verification and validation, C programs
2Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker The ProC/B Toolset for the Modelling and Analysis of Process Chains. Search on Bibsonomy Computer Performance Evaluation / TOOLS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Process Chains, Generalised Stochastic Petri Nets, Simulation, E-Commerce, E-Business, Queueing Networks
2Wuwei Shen, Kevin J. Compton, James Huggins A Toolset for Supporting UML Static and Dynamic Model Checking. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
2Wuwei Shen, Kevin J. Compton, James Huggins A UML Validation Toolset Based on Abstract State Machines. Search on Bibsonomy ASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
2Darren Foulger, Steve King Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software. Search on Bibsonomy Ada-Europe The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
2Stefan Blom, Wan Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol µCRL: A Toolset for Analysing Algebraic Specifications. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
2Julien Bourgeois, François Spies, M. J. Zemerly, Thierry Delaitre Chronos: a Performance Characterization Tool Inside the EDPEPPS Toolset. Search on Bibsonomy The Journal of Supercomputing The full citation details ... 2000 DBLP  DOI  BibTeX  RDF CPU modeling, cache memory modeling, parallel programing environments, Performance characterization
2Suleyman Sair, Guiseppe Olivadoti, David R. Kaeli, José Fridman DSPTune: A Performance Evaluation Toolset for the SHARC Signal Processor. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
2Heinrich Hußmann, Birgit Demuth, Frank Finger Modular Architecture for a Toolset Supporting OCL. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
2Michel Courson, Alan Mink, Guillaume Marçais, Benjamin Traverse An Automated Benchmarking Toolset. Search on Bibsonomy HPCN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF visualization, performance analysis, database, Cluster computing, performance measurement, data collection, queuing system
2Iosif Legrand, Harvey B. Newman The MONARC toolset for simulating large network-distributed processing systems. Search on Bibsonomy Winter Simulation Conference The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
2Lourdes Fernández, J. Alfredo Sánchez, Luis Arturo Flores An Environment for the Collaborative Revision of Digital Theses. (PDF / PS) Search on Bibsonomy CRIWG The full citation details ... 2000 DBLP  DOI  BibTeX  RDF collaborative revision, digital theses, asynchronous cooperative toolset, University Digital Libraries for All, Internet, Internet, digital library, annotation, revision, electronic documents, Zeus
2Seungwoo Son, Chaedeok Lim, Heung-Nam Kim Debugging protocol for remote cross development environment. Search on Bibsonomy RTCSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF debugging protocol, remote cross development environment, Internet appliances, embedded software development tools, host tools, binary utilities, remote debugger, interactive shell, real time resource monitors, heavy host-target communication overhead, target monitor programs, host-resident tools, target agent, Esto, Embedded Systems Toolset, Internet based embedded applications, Internet, embedded systems, protocols, program debugging, operating systems (computers), RTOS, UDP/IP, cross compilers
2David P. Gilliam, John C. Kelly, Matt Bishop Reducing Software Security Risk through an Integrated Approach. (PDF / PS) Search on Bibsonomy WETICE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Security Toolset, Vulnerability Matrix, Model Specification Checking, Security Verification, Property-Based Testing
2Ulf Lindqvist, Phillip A. Porras Detecting Computer and Network Misuse through the Production-based Expert System Toolset (P-BEST). (PDF / PS) Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
2David Lorge Parnas, Dennis K. Peters An Easily Extensible Toolset for Tabular Mathematical Expressions. Search on Bibsonomy TACAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
2Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor Cronos: A Separate Compilation Toolset for Modular Esterel Applications. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
2Thierry Delaitre, M. J. Zemerly, P. Vekariya, G. R. Justo, Julien Bourgeois, F. Schinkman, François Spies, S. Randoux, Stephen C. Winter EDPEPPS: A Toolset for the Design and Performance Evaluation of Parallel Applications. Search on Bibsonomy Euro-Par The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
2Martin Fleury, N. Sarvan, Andy C. Downton, Adrian F. Clark A Parallel-System Design Toolset for Vision and Image Processing. Search on Bibsonomy Euro-Par The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
2Constance L. Heitmeyer Using the SCR* Toolset to Specify Software Requirements. Search on Bibsonomy WIFT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
2Doron Peled A Toolset for Message Sequence Charts. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
2Thierry Delaitre, P. Vekariya, R. Bigeard, G. R. Justo, Stephen C. Winter, M. J. Zemerly EDPEPPS: An Integrated Graphical Toolset for the Design and Performance Evaluation of Portable Parallel Software. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
2Alex E. Bell An Alternative Toolset for Analysis of Ada Programs. Search on Bibsonomy Ada-Europe The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
2Brian Dobbing, Marc Richard-Foy T-SMART - Task-Safe, Minimal Ada Realtime Toolset. Search on Bibsonomy Ada-Europe The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Ada83, Software Reliability, Certification, Ada 95
2Saurav Chatterjee, Kevin Bradley, Jose A. Madriz, James A. Colquist, Jay K. Strosnider SEW: A Toolset For Design and Analysis of Distributed Real-Time Systems. (PDF / PS) Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
2Devesh Bhatt, Vicraj T. Thomas, John Shackleton A methodology and toolset for the design of parallel embedded systems. Search on Bibsonomy OOPS Messenger The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
2Premkumar T. Devanbu, Sakke Karstu, Walcélio L. Melo, William Thomas Analytical and Empirical Evaluation of Software Reuse Metrics. Search on Bibsonomy ICSE The full citation details ... 1996 DBLP  BibTeX  RDF industrial projects, productivity data, quality data, savings measurement, software reuse metrics, software system development, toolset, software tools, software metrics, software components, software reusability, empirical evaluation, software cost estimation, human resource management, student projects, analytical evaluation, cost savings
2Kingsum Chow, David Notkin Semi-automatic update of applications in response to library changes. (PDF / PS) Search on Bibsonomy ICSM The full citation details ... 1996 DBLP  DOI  BibTeX  RDF semi-automatic application update, library changes, library syntax, library semantics, updated libraries, toolset, library maintainer, changed functions, rules, costs, software libraries, software libraries, programmers
2Michael J. Whitney, Morris Bernstein, Renato de Mori, Kostas Kontogiannis, Brain Corrie, Hausi A. Müller, Scott R. Tilley, Ettore Merlo, John Mylopoulos, Kenny Wong, J. Howard Johnson, James McDaniel, Martin Stanley Using an integrated toolset for program understanding. Search on Bibsonomy CASCON The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
2Sudhir Aggarwal, Sandeep Mitra, Sanjay S. Jagdale DCCA: a versatile paradigm for the description and development of concurrent communicating systems. Search on Bibsonomy HICSS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF DCCA, concurrent communicating systems development, concurrent communicating systems description, Dynamic Coordinated Concurrent Activities, automated factory, multiprocessor cache coherence system, attendant toolset, model, distributed systems, software engineering, formal specification, formal specification, protocols, specification, prototyping, distributed processing, program verification, rapid prototyping, software prototyping, distributed control system
2K. Lano Specifying static analysis tools using formal methods. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF static analysis tool specification, analysis functionality, static analysis toolset, diagrammatic analysis techniques, diagrammatic design techniques, well-structured specifications, comprehensible specifications, object-oriented structure, imperative programming culture, database culture, formal specification, formal specification, formal methods, software tools, specification languages, object-oriented methods, COBOL, structured programming, system monitoring, systems software, Z specification language, transformation functionality, industrial environment
2Harald Wabnig, Günter Haring PAPS - The Parallel Program Performance Prediction Toolset. Search on Bibsonomy Computer Performance Evaluation The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
2John Mylopoulos, Martin Stanley, Kenny Wong, Morris Bernstein, Renato de Mori, Graham W. Ewart, Kostas Kontogiannis, Ettore Merlo, Hausi A. Müller, Scott R. Tilley, Marijana Tomic Towards an integrated toolset for program understanding. Search on Bibsonomy CASCON The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
2George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF time bound derivation, uniprocessor concurrent systems, concurrent software system, single processor, arbitrary scheduling, integer programming methods, constrained expression toolset, very large state spaces, scheduling, real-time systems, lower bounds, concurrency control, integer programming, systems analysis, upper bounds, timing analysis, concurrent systems, linear inequalities, timing properties, finite state systems, complex real-time systems
2G. Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith A Graphical Interval Logic Toolset for Verifying Concurrent Systems. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
2Alessandro Giovini, Franco Morando, Antonio Capani Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems. Search on Bibsonomy ALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
2Chris Dollin The HP-ST Toolset. Search on Bibsonomy VDM Europe The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
2Gerald M. Karam, Raymond J. A. Buhr Starvation and Critical Race Analyzers for Ada. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters
2N. Serdar Uckun, Benoit M. Dawant, Kazuhiko Kawamura NetGraph: an object-oriented graphical toolset for risk assessment. Search on Bibsonomy IEA/AIE The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
2Axel Mahler, Andreas Lampen An Integrated Toolset for Engineering Software Configurations. Search on Bibsonomy Software Development Environments (SDE) The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Thomas C. Ormerod, Linden J. Ball, Nicola J. Morley Informing the development of a fraud prevention toolset through a situated analysis of fraud investigation expertise. Search on Bibsonomy Behaviour & IT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Simson Garfinkel Digital forensics XML and the DFXML toolset. Search on Bibsonomy Digital Investigation The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joseph D. Yesselman, Daniel J. Price, Jennifer L. Knight, Charles L. Brooks III MATCH: An atom-typing toolset for molecular mechanics force fields. Search on Bibsonomy Journal of Computational Chemistry The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christopher Smith, Guillermo Francia III Security fuzzing toolset. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jörg Becker, Ralf Knackstedt, Mathias Eggert, Stefan Fleischer Fachkonzeptionelle Modellierung von Berichtspflichten in Finanzaufsicht und Verwaltung mit dem H2-Toolset. Search on Bibsonomy FTVI/FTRI The full citation details ... 2012 DBLP  BibTeX  RDF
1David Milam, Magy Seif El-Nasr, Lyn Bartram, Matt Lockyer, Chao Feng, Perry Tan Toolset to explore visual motion designs in a video game. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jason Snyder OSSIE: an open source software defined radio (SDR) toolset for education and research (abstract only). Search on Bibsonomy SIGCSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse Experiences in developing the mCRL2 toolset. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra A model-driven process for engineering a toolset for a formal method. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny PlanICS - a Web Service Composition Toolset. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ebrahim Khalil Abbasi, Arnaud Hubaux, Patrick Heymans An interactive multi-perspective toolset for non-linear product configuration processes. Search on Bibsonomy SPLC Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ebrahim Khalil Abbasi, Arnaud Hubaux, Patrick Heymans A Toolset for Feature-Based Configuration Workflows. Search on Bibsonomy SPLC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pei Shan Yap, John G. Hosking, John C. Grundy Automatic diagram layout support for the Marama meta-toolset. Search on Bibsonomy VL/HCC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Robert J. Hall The Capture Calculus Toolset. Search on Bibsonomy ASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefano Tennina, Mélanie Bouroche, Ricardo Gomes, Farrukh Mirza, Mario Alves, Gabriella Carrozza EMMON: a WSN system architecture and toolset for large-scale and dense real-time embedded monitoring. Search on Bibsonomy SenSys The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Abelardo Jara-Berrocal, Ann Gordon-Ross An integrated development toolset and implementation methodology for partially reconfigurable system-on-chips. Search on Bibsonomy ASAP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dmitry Evtyushkin, Peter Panfilov, Dmitry Ponomarev CacheVisor: A Toolset for Visualizing Shared Caches in Multicore and Multithreaded Processors. Search on Bibsonomy PaCT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gründl, Susanne Naegele-Jackson Toolset zur Planung und Qualitätssicherung von verteilten virtuellen Netzwerkstrukturen. Search on Bibsonomy DFN-Forum Kommunikationstechnologien The full citation details ... 2011 DBLP  BibTeX  RDF
1Gilles Lasnier, Laurent Pautet, Jérôme Hugues, Lutz Wrage An Implementation of the Behavior Annex in the AADL-Toolset Osate2. Search on Bibsonomy ICECCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alberto Bacchelli, Michele Lanza, Marco D'Ambros Miler: a toolset for exploring email data. Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mark Deckert, Abram Stern, Warren Sack System demonstration: a toolset for web-based peer review of scientific testimony. Search on Bibsonomy DG.O The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Albrecht Schmidt Engineering interactive ubiquitous computing systems. Search on Bibsonomy EICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Markus Geimer, Felix Wolf, Brian J. N. Wylie, Erika Ábrahám, Daniel Becker, Bernd Mohr The Scalasca performance toolset architecture. Search on Bibsonomy Concurrency and Computation: Practice and Experience The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yisak Abdella, Knut Alfredsen A GIS toolset for automated processing and analysis of radar precipitation data. Search on Bibsonomy Computers & Geosciences The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jie Tao Comprehensive cache performance tuning with a toolset. Search on Bibsonomy Future Generation Comp. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Brian J. N. Wylie, Markus Geimer, Bernd Mohr, David Böhme, Zoltán Szebenyi, Felix Wolf Large-Scale Performance Analysis of Sweep3D with the Scalasca Toolset. Search on Bibsonomy Parallel Processing Letters The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Krzysztof Kepa, Fearghal Morgan, Krzysztof Kosciuszkiewicz, Lars Braun, Michael Hübner, Jürgen Becker Design Assurance Strategy and Toolset for Partially Reconfigurable FPGA Systems. Search on Bibsonomy TRETS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 610 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.