|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 589 occurrences of 447 keywords
|
|
|
Results
Found 1109 publication records. Showing 1109 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
84 | Mikhail Kazakov, Habib Abdulrab |
A Meta-modeling Approach to Ontological Engineering: DL-Workbench Platform. |
Metainformatics |
2003 |
DBLP DOI BibTeX RDF |
|
84 | Zeger Karssen, Catherine Toussaint |
A Kemel Architecture for a Computer Aided Knowledge Engineering Workbench. |
SEKE |
1992 |
DBLP DOI BibTeX RDF |
|
74 | Atzmon Hen-Tov, David H. Lorenz, Lior Schachter |
An interpretive domain specific language workbench. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
modeltalk, domain specific language, language workbench |
74 | Joon-Ho Lim, Soo-Jun Park, Hyunchul Jang, Sunhee Park |
BioProber2.0: a unified biomedical workbench with mining and probing literatures. |
ICIS |
2009 |
DBLP DOI BibTeX RDF |
bio text mining, biomedical workbench, relation probing, statistics analysis |
64 | Piotr Kolaczkowski, Ilona Bluemke |
A C++ Workbench with Accurate Non-Blocking Garbage Collector for Server Side Internet Applications. |
SET |
2006 |
DBLP DOI BibTeX RDF |
|
64 | Keith Brian Gallagher |
Tools for Program Comprehension: Building a Comprehender's Workbench. |
IWPC |
2000 |
DBLP DOI BibTeX RDF |
|
55 | Qin Sun, Christoph Schommer, Alexander Lang |
Integration of Manual and Automatic Text Categorization. A Categorization Workbench for Text-Based Email and Spam. |
KI |
2004 |
DBLP DOI BibTeX RDF |
Machine Learning, Knowledge-Based Systems, Document Classification, Concept Learning |
55 | Sumit Mohanty, Viktor K. Prasanna |
An Algorithm Designer's Workbench for Platform FPGA's. |
FPL |
2003 |
DBLP DOI BibTeX RDF |
|
55 | Derek Rayside, Marin Litoiu, Margaret-Anne D. Storey, Casey Best |
Integrating SHriMP with the IBM websphere studio workbench. |
CASCON |
2001 |
DBLP BibTeX RDF |
software engineering, integration, software visualization, system modeling, MOF, XMI, flow diagrams |
55 | A. Knight, J. May, Jeff McAffer, T. Nguyen, Jörg-Rüdiger Sack |
A Computational geometry Workbench. |
SCG |
1990 |
DBLP DOI BibTeX RDF |
|
54 | Atzmon Hen-Tov, David H. Lorenz, Lior Schachter |
ModelTalk: a DSL workbench in action. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
domain specific languages, language workbench |
54 | Jesús Gimeno, Marcos Fernández 0001, Pedro Morillo 0001, Inmaculada Coma, Manuel Pérez |
A Reconfigurable Immersive Workbench and Wall-System for Designing and Training in 3D Environments. |
HCI (14) |
2007 |
DBLP DOI BibTeX RDF |
Virtual Workbench, VWB, Immersive Visualization Systems, Virtual Reality, Augmented Reality, Virtual Prototyping |
54 | Julio César Arpírez Vega, Óscar Corcho, Mariano Fernández-López, Asunción Gómez-Pérez |
WebODE: a scalable workbench for ontological engineering. |
K-CAP |
2001 |
DBLP DOI BibTeX RDF |
WebODE, integration and merge, ontology engineering workbench, translation, ontology building |
54 | Sabine Coquillart, Gerold Wesche |
The Virtual Palette and the Virtual Remote Control Panel: A Device and an Interaction Paradigm for the Responsive Workbench(tm). |
VR |
1999 |
DBLP DOI BibTeX RDF |
Responsive Workbench(TM), projection-based virtual environments, 3D interaction |
54 | Garth Baulch, David Hemmendinger, Cherrice Traver |
Analyzing and verifying locally clocked circuits with the concurrency workbench. |
Great Lakes Symposium on VLSI |
1995 |
DBLP DOI BibTeX RDF |
locally clocked circuits, concurrency workbench, synchronous computational elements, concurrent system modelling, CCS process algebra, formal verification, timing, logic design, process algebra, logic CAD, asynchronous circuits, asynchronous circuits, circuit analysis computing, asynchronous communication |
54 | Andreas V. Hense, Florian Quadt, Matthias Römer |
Towards a Mobile Workbench for Researchers. |
eScience |
2009 |
DBLP DOI BibTeX RDF |
scholarly workbench, scientific workbench, mobile devices, repositories, smartphones, geo-tagging |
45 | Peter Mork, Len Seligman, Arnon Rosenthal, Joel Korb, Chris Wolf |
The Harmony Integration Workbench. |
J. Data Semantics |
2008 |
DBLP DOI BibTeX RDF |
|
45 | Jon Atle Gulla, Vijayan Sugumaran |
An interactive ontology learning workbench for non-experts. |
ONISW |
2008 |
DBLP DOI BibTeX RDF |
ontologies, semantic web, text mining, ontology learning |
45 | Juhnyoung Lee, Rama Akkiraju, Chunhua Tian, Shun Jiang, Sivaprashanth Danturthy, Ponn Sundhararajan |
Business Transformation Workbench: A Practitioner's Tool for Business Transformation. |
BPM |
2008 |
DBLP DOI BibTeX RDF |
|
45 | Juhnyoung Lee, Rama Akkiraju, Chunhua Tian, Shun Jiang, Sivaprashanth Danturthy, Ponn Sundhararajan, Carl Nordman, Rakesh Mohan, Hitansh Singala, Wei Ding 0002 |
Business Transformation Workbench: A Practitioner's Tool for Business Transformation. |
IEEE SCC (2) |
2008 |
DBLP DOI BibTeX RDF |
software tools, business process models, business transformation |
45 | Peter Mork, Arnon Rosenthal, Leonard J. Seligman, Joel Korb, Ken Samuel |
Integration Workbench: Integrating Schema Integration Tools. |
ICDE Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Jerzy R. Nawrocki, Lukasz Olek |
UC Workbench - A Tool for Writing Use Cases and Generating Mockups. |
XP |
2005 |
DBLP DOI BibTeX RDF |
|
45 | John H. Holmes, Jennifer A. Sager |
The EpiXCS Workbench: A Tool for Experimentation and Visualization. |
IWLCS |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Jon Atle Gulla, Terje Brasethvik, Harald Kaada |
A Flexible Workbench for Document Analysis and Text Mining. |
NLDB |
2004 |
DBLP DOI BibTeX RDF |
|
45 | Joon-Ho Lim, So-Young Park, Yong-Jae Kwak, Hae-Chang Rim |
A Semi-automatic Tree Annotating Workbench for Building a Korean Treebank. |
CICLing |
2004 |
DBLP DOI BibTeX RDF |
|
45 | Thad Starner, Bastian Leibe, David Minnen, Tracy L. Westeyn, Amy Hurst, Justin Weeks |
The perceptive workbench: Computer-vision-based gesture tracking, object tracking, and 3D reconstruction for augmented desks. |
Mach. Vis. Appl. |
2003 |
DBLP DOI BibTeX RDF |
3-D object reconstruction, Virtual reality, Computer vision, Tracking, Gesture |
45 | Todd C. Marek |
A new simulator workbench for comparing SIMD processing element architectures. |
ACM Southeast Regional Conference |
1992 |
DBLP DOI BibTeX RDF |
|
44 | Mariana B. Monteiro, Manuela E. Pintado, Francisco X. Malcata, Conrad Bessant, Patrícia R. Moreira |
Development of a Workflow for Protein Sequence Analysis Based on the Taverna Workbench Software. |
IWANN (2) |
2009 |
DBLP DOI BibTeX RDF |
protein sequence analysis, Taverna Workbench®, web services, workflow |
44 | Michal Antkiewicz, Krzysztof Czarnecki 0001 |
Round-trip engineering of eclipse plug-ins using eclipse workbench part interaction FSML. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
FSML, WPI, framework-specific modeling language, workbench part interaction, Eclipse, domain-specific modeling, object-oriented application framework, round-trip engineering |
44 | Mariya Koshkina, Franck van Breugel |
Modelling and verifying web service orchestration by means of the concurrency workbench. |
ACM SIGSOFT Softw. Eng. Notes |
2004 |
DBLP DOI BibTeX RDF |
concurrency workbench of the new century, process algebra compiler, web service, modelling, verification, business process, BPEL4WS |
44 | Gerold Wesche, Hans-Peter Seidel |
FreeDrawer: a free-form sketching system on the responsive workbench. |
VRST |
2001 |
DBLP DOI BibTeX RDF |
3D drawing, computer aided conceptual design, curve and surface deformations, immersive shape modeling, responsive workbench, virtual environments, 3D user interfaces, variational modeling, 3D sketching |
44 | Ann T. Tai, Kishor S. Trivedi, Herbert Hecht |
On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
Dependability evaluation workbench, off-the-shelf modeling techniques and tools, SHARPE |
44 | Robert V. Rubin, James Walker II, Eric J. Golin |
Early Experience with the Visual Programmer's WorkBench. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
Visual Programmer's WorkBench, customization of environments, PetriFSA language, abstract structure, formal specification, data structures, specification, synthesis, programming environments, program verification, specification languages, visual programming, visual languages, dynamic semantics, static semantics, distributed programming environment, syntactic structure |
39 | Russell L. Kahn |
Improving Systems Documentation Using an Online Copy Editor. |
SIGDOC |
1985 |
DBLP DOI BibTeX RDF |
UNIX |
39 | Daniel C. DuVarney, S. Purushothaman Iyer |
C Wolf - A Toolset for Extracting Models from C Programs. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
Abstract Model checking, Concurrency Workbench, FDT for network protocols, Software tools, Verification and validation, C programs |
39 | Erika Nyáry, Harry M. Sneed |
Software maintenance offloading at the Union Bank of Switzerland. |
ICSM |
1995 |
DBLP DOI BibTeX RDF |
software maintenance offloading, Union Bank of Switzerland, PC-based maintenance workbench, automated aids, program editing, JSP/COBOL host programs, reverse engineering, reverse engineering, graphical user interfaces, software maintenance, program analysis, program testing, program testing, productivity, regression testing, computer aided software engineering, COBOL, systems re-engineering, program diagnostics, structured programming, graphical interface, human resource management, software reengineering, microcomputer applications, bank data processing, mainframe |
35 | Rachael Bradley, Jennifer Preece |
Guidelines for a costume designer's workbench. |
CHI Extended Abstracts |
2010 |
DBLP DOI BibTeX RDF |
costume design, image use, visual collaboration |
35 | Benjamin Schroeder, Richard E. Parent, Marc Ainger |
A spatial workbench for physically-based sound. |
SIGGRAPH Talks |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Gregor Scheithauer, Konrad Voigt, Veli Bicer, Matthias Heinrich 0001, Anja Strunk, Matthias Winkler |
Integrated service engineering workbench: service engineering for digital ecosystems. |
MEDES |
2009 |
DBLP DOI BibTeX RDF |
case study, MDA, business modeling, BPM, service engineering |
35 | Jean-Yves Lionel Lawson, Ahmad-Amr Al-Akkad, Jean Vanderdonckt, Benoît Macq |
An open source workbench for prototyping multimodal interactions based on off-the-shelf heterogeneous components. |
EICS |
2009 |
DBLP DOI BibTeX RDF |
multimodal software architecture, prototyping, multimodal interfaces, component-based architecture, reusable software component |
35 | Torsten Kempf, Stefan Wallentowitz, Gerd Ascheid, Rainer Leupers, Heinrich Meyr |
A Workbench for Analytical and Simulation Based Design Space Exploration of Software Defined Radios. |
VLSI Design |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Masao Sugi, Ippei Matsumura, Yusuke Tamura, Jun Ota 0001, Tamio Arai |
Quantitative evaluation of physical assembly support in human supporting production system "attentive workbench". |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Anthony Jameson, Angela Mahr, Michael Kruppa, Andreas Rieger, Robert Schleicher |
Looking for Unexpected Consequences of Interface Design Decisions: The MeMo Workbench. |
TAMODIA |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Vinko Novak, Christian Sandor, Gudrun Klinker |
An AR Workbench for Experimenting with Attentive User Interfaces. |
ISMAR |
2004 |
DBLP DOI BibTeX RDF |
|
35 | G. James Blaine, Rexford L. Hill, Jerome R. Cox Jr., R. Gilbert Jost |
PACS Workbench at Mallinckrodt Institute of Radiology (MIR). |
J. Digit. Imaging |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Thomas Alexander, Jessica Conradi, Carsten Winkelholz |
Depth Perception and Visual After-effects at Stereoscopic Workbench Displays. |
VR |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Kyung-Soon Lee, Do-Wan Kim, Kyo Kageura, Key-Sun Choi |
A Workbench for Acquiring Semantic Information and Constructing Dictionary for Compound Noun Analysis. |
ICADL |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Gian Pangaro, Dan Maynes-Aminzade, Hiroshi Ishii 0001 |
The actuated workbench: computer-controlled actuation in tabletop tangible interfaces. |
UIST |
2002 |
DBLP DOI BibTeX RDF |
computer supported cooperative work, synchronization, tangible user interfaces, object tracking, actuation, interactive surface, physical interaction |
35 | Bastian Leibe, David Minnen, Justin Weeks, Thad Starner |
Integration of Wireless Gesture Tracking, Object Tracking, and 3D Reconstruction in the Perceptive Workbench. |
ICVS |
2001 |
DBLP DOI BibTeX RDF |
virtual reality, computer vision, object recognition, tracking, gesture, infrared, 3D object reconstruction |
35 | Martin P. Ward |
The FermaT Assembler Re-engineering Workbench. |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
Reverse Engineering Migration, Formal Methods, Program Transformation, Legacy Systems, Comprehension, Assembler, Restructuring, Re-engineering, WSL, Wide Spectrum Language |
35 | María de los Milagros Gutiérrez, Gabriela Susana Mannarino, Horacio Pascual Leone |
Coordinates Workbench: An Object-Oriented Architecture of a Tool for Conceptualizing an Organization. |
SCCC |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Amjad Umar, Michelle Bianchi, Francesco Caruso, Paolo Missier |
A Knowledge-Based Decision Support Workbench for Advanced Ecommerce. |
AIWoRC |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Bastian Leibe, Thad Starner, William Ribarsky, Zachary Wartell, David M. Krum, Brad Singletary, Larry F. Hodges |
The Perceptive Workbench: Toward Spontaneous and Natural Interaction in Semi-immersive Virtual Environments. |
VR |
2000 |
DBLP DOI BibTeX RDF |
computer vision, augmented reality, gesture, 3D reconstruction |
35 | Tom Brøndsted, Paul Dalsgaard, Lars Bo Larsen, Michael Manthey, Paul McKevitt, Thomas B. Moeslund, Kristian G. Olesen |
The IntelliMedia WorkBench - An Environment for Building Multimodal Systems. |
Cooperative Multimodal Communication |
1998 |
DBLP DOI BibTeX RDF |
|
35 | Michael Bursell, Richard Hayton, Douglas I. Donaldson, Andrew Herbert |
A Mobile Object Workbench. |
Mobile Agents |
1998 |
DBLP DOI BibTeX RDF |
|
35 | Werner Winiwarter, Yahiko Kambayashi |
A Machine Learning Workbench in a DOOD Framework. |
DEXA |
1997 |
DBLP DOI BibTeX RDF |
|
35 | Thomas Rist, Antonio Krüger, Georg Schneider 0002, Detlev Zimmermann |
AWI: A Workbench for Semi-Automated Illustration Design. |
Advanced Visual Interfaces |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Rance Cleaveland, Joachim Parrow, Bernhard Steffen |
The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
concurrency, process algebra, automatic verification, finite-state systems |
35 | Andrea De Lucia, A. Imperatore, Margherita Napoli, Genny Tortora, Maurizio Tucci |
The Software Development Workbench WSDW. |
SEKE |
1992 |
DBLP DOI BibTeX RDF |
|
35 | Gerard Ellis, Robert Levinson |
The Birth of PEIRCE: A Conceptual Graphs Workbench. |
Workshop on Conceptual Graphs |
1992 |
DBLP DOI BibTeX RDF |
|
35 | Thomas L. Wernimont, David K. Hwang, W. Kent Fuchs |
CSP-based object-oriented description and simulation of a reconfigurable adaptive beamforming architecture using the OODRA workbench. |
J. VLSI Signal Process. |
1990 |
DBLP DOI BibTeX RDF |
application-specific architecture simulation, reconfiguration evaluation, object-oriented design |
35 | Rance Cleaveland, Joachim Parrow, Bernhard Steffen |
The Concurrency Workbench. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
35 | R. L. Philips |
A scientific visualization workbench. |
SC |
1988 |
DBLP DOI BibTeX RDF |
|
35 | Siamak Arya, Blaine Gaither |
Parallel algorithm development workbench. |
SC |
1988 |
DBLP DOI BibTeX RDF |
|
35 | Brady R. Rimes, Walter G. Rudd |
Pest management modeller's workbench (abstract only). |
ACM Conference on Computer Science |
1985 |
DBLP DOI BibTeX RDF |
|
35 | Yahiko Kambayashi |
Functions of the database workbench. |
AFIPS National Computer Conference |
1984 |
DBLP DOI BibTeX RDF |
|
35 | Dongsoo Han, Soonwook Hwang |
e-Science Workbench: an Approach to Build Domain-Specific Problem Solving Environments. |
eScience |
2008 |
DBLP DOI BibTeX RDF |
Workbench, Grid, Workflow, e-Science |
35 | Sam Chao, Fai Wong, Yiping Li |
An Incremental and Interactive Decision Tree Learning Algorithm for a Practical Diagnostic Supporting Workbench. |
NCM (2) |
2008 |
DBLP DOI BibTeX RDF |
data mining workbench, diagnostic supported tool, incremental learning |
35 | Manuel J. Fernández-Iglesias, Pablo Pavón-Mariño, J. Rodríguez-Estévez, Luis E. Anido-Rifón, Martín Llamas Nistal |
DelfosnetX: A Workbench for XML-Based Information Retrieval Systems. |
SPIRE |
2000 |
DBLP DOI BibTeX RDF |
DelfosnetX, workbench, XML based information retrieval systems, relevance analysis, ranking techniques, metadata-enabled IR, XML based IR, theoretical background, information retrieval |
35 | Jim Durbin, J. Edward Swan II, Brad Colbert, John Crowe, Rob King, Tony King, Christopher Scannell, Zachary Wartell, Terry Welsh |
Battlefield visualization on the responsive workbench. |
IEEE Visualization |
1998 |
DBLP DOI BibTeX RDF |
battlefield visualizaiton, responsive workbench, virtual reality, virtual environments |
35 | Maneesh Agrawala, Andrew C. Beers, Ian McDowall, Bernd Fröhlich 0001, Mark T. Bolas, Pat Hanrahan |
The two-user Responsive Workbench: support for collaboration through individual views of a shared space. |
SIGGRAPH |
1997 |
DBLP DOI BibTeX RDF |
Responsive Workbench, virtual environments |
31 | Andreas Kremling, Steffen Klamt, Martin Ginkel, Ernst Dieter Gilles |
Workbench zur Modellbildung, Simulation und Analyse zellulärer Systeme (Workbench for Model Set Up, Simulation, and Analysis of Cellular Systems). |
it Inf. Technol. |
2004 |
DBLP BibTeX RDF |
|
31 | Nicolas Tarrin, Sabine Coquillart, Shoichi Hasegawa, Laroussi Bouguila, Makoto Sato |
The Stringed Haptic Workbench: a New Haptic Workbench Solution. |
Comput. Graph. Forum |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino |
Constructing Meta-CASE Workbenches by Exploiting Visual Language Generators. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
Meta-CASE tools, metamodeling techniques, visual programming environment generators, visual languages |
29 | Syed Sibte Raza Abidi, Kok Meng Hoe, Alwyn Goh |
Analyzing Data Clusters: A Rough Sets Approach to Extract Cluster-Defining Symbolic Rules. |
IDA |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Einar W. Karlsen, Stefan Westmeier |
Using Concurrent Haskell to Develop Views over an Active Repository. |
Implementation of Functional Languages |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Laehyun Kim, Se Hyung Park |
Haptic interaction and volume modeling techniques for realistic dental simulation. |
Vis. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Dental simulation, Volumetric implicit surface, Dental workbench, Haptic interaction |
29 | Chia-Chu Chiang |
Leveraging Software Reengineering Systems for Heterogeneous Distributed Computing Environments. |
ICSM |
2000 |
DBLP DOI BibTeX RDF |
Existing Systems Workbench (ESW), Legacy Integration, Object Request Broker (ORB) and Software Reengineering, Common Object Request Broker Architecture (CORBA) |
29 | Changtao Qu, Thomas Engel 0001, Christoph Meinel |
Implementation of an Enterprise-Level Groupware System Based on J2EE Platform and WebDAV Protocol. |
EDOC |
2000 |
DBLP DOI BibTeX RDF |
enterprise-level groupware system, J2EE platform, WebDAV protocol, Web-based groupware, enterprise-level platform, enterprise-level features, Cooperative Workbench, security, scalability, electronic commerce, availability, extensibility, J2EE |
29 | W. Lynn Gallagher, Chuan-lin Wu |
Evaluation of a memory hierarchy for the MTS multithreaded processor. |
ICPADS |
1997 |
DBLP DOI BibTeX RDF |
memory hierarchy evaluation, MTS multithreaded processor, hardware resource utilization, instruction throughput, multithreaded superscalar processor, multiple instruction streams, multiple functional unit architecture, parameter-driven simulator, SES/workbench, numerical benchmarks, memory system configurations, main memory latency, cache hit rates, realistic multilevel cache hierarchy, parallel processing, VLIW, superscalar processor, instruction cache |
29 | Dorothy E. Setliff, Jay K. Strosnider, Jose A. Madriz |
Towards a Design Assistant for Distributed Embedded Systems. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
Systems Engineers Workbench, SEW 2.0, design assist operatives, real-time systems, distributed embedded systems, design frameworks, design assistant |
29 | Susan N. Roberts, Richard L. Piazza, D. G. Katz |
A Portable Assembler Reverse Engineering Environment (PARE). |
WCRE |
1996 |
DBLP DOI BibTeX RDF |
portable assembler reverse engineering environment, PARE, third generation language, portable workbench, assembly language reverse engineering, Language Independent Method, programming, programming environments |
29 | Riccardo Focardi, Roberto Gorrieri, V. Panini |
The security checker: a semantics-based tool for the verification of security properties. |
CSFW |
1995 |
DBLP DOI BibTeX RDF |
security checker, semantics-based tool, security properties verification, security process algebra, concurrency workbench, formal specification, formal verification, specifications, process algebra, confidentiality, security of data, automatic verification |
29 | Gerardo Canfora, Aniello Cimitile |
Algorithms for program dependence graph production. |
ICSM |
1995 |
DBLP DOI BibTeX RDF |
program dependence graph production algorithms, software maintenance workbench, automatic external representation construction, F(p) program representation, program information access, control dependence graph, use sets, variable definition, graph theory, software maintenance, index, internal representation |
29 | Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra |
Analyzing the logical structure of data flow diagrams in software documents. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
logical structure analysis, Calculus of Communicating Systems, Edinburgh Concurrency Workbench, CWB, deep understanding, equivalence, CCS, document understanding, software documents, flowcharting, formal description, data flow diagrams, data flow diagram |
29 | Carl A. Waldspurger, Tad Hogg, Bernardo A. Huberman, Jeffrey O. Kephart, W. Scott Stornetta |
Spawn: A Distributed Computational Economy. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
distributed computational economy, market-based computational system, Spawn system, idle computational resources, heterogeneous computer workstations, coarse-grain concurrent applications, concurrent Monte Carlo simulations, resource distribution, price equilibria, idle processor time, experimental workbench, parallel programming, fairness, computer networks, Monte Carlo methods, distributed network, remote execution, computational markets |
25 | Motoki Miura, Taro Sugihara, Susumu Kunifuji |
Anchor garden: an interactive workbench for basic data concept learning in object oriented programming languages. |
ITiCSE |
2009 |
DBLP DOI BibTeX RDF |
object-orientation, CS1, data type, reference |
25 | Björn Könning, Christian Engelmann, Stephen L. Scott, Al Geist |
Virtualized Environments for the Harness High Performance Computing Workbench. |
PDP |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Besiki Stvilia |
A workbench for information quality evaluation. |
JCDL |
2008 |
DBLP DOI BibTeX RDF |
evaluation, information quality |
25 | Amit Behal, Ying Chen 0001, Cheryl A. Kieliszewski, Ana Lelescu, Bin He 0001, Jie Cui 0002, Jeffrey T. Kreulen, James Rhodes, W. Scott Spangler |
Business Insights Workbench - An Interactive Insights Discovery Solution. |
HCI (9) |
2007 |
DBLP DOI BibTeX RDF |
Information Mining, Visualization, Human Interaction |
25 | Paolo Missier, Suzanne M. Embury, Robert Mark Greenwood, Alun D. Preece, Binling Jin |
Managing information quality in e-science: the qurator workbench. |
SIGMOD Conference |
2007 |
DBLP DOI BibTeX RDF |
information quality management, semantic modelling of information quality |
25 | Hongwei Ding, Wei Wang 0024, Jin Dong, Minmin Qiu, Changrui Ren |
IBM supply-chain network optimization workbench: an integrated optimization and simulation tool for supply chain design. |
WSC |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Bert Bredeweg, Anders Bouwer, Jelmer Jellema, Dirk Bertels, Floris Linnebank, Jochem Liem |
Garp3: a new workbench for qualitative reasoning and modelling. |
K-CAP |
2007 |
DBLP DOI BibTeX RDF |
Garp3, qualitative reasoning and modelling |
25 | Carolyn Brodie, Clare-Marie Karat, John Karat |
An empirical study of natural language parsing of privacy policy rules using the SPARCLE policy workbench. |
SOUPS |
2006 |
DBLP DOI BibTeX RDF |
security, privacy, design, usability, policy, social and legal issues |
25 | George Tsouloupas, Marios D. Dikaiakos |
GridBench: A Workbench for Grid Benchmarking. |
EGC |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Doug Kimelman |
Invited Presentation III: The Architects' Workbench - Research in the Trenches. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Bruno Dufour, Christopher Goard, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Clark Verbrugge |
abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
aspect-oriented programming language, optimizations, aspectJ, language extensions |
25 | Yoo-Joo Choi, Soo-Mi Choi, Seon-Min Rhee, Myoung-Hee Kim |
Collaborative and Immersive Medical Education in a Virtual Workbench Environment. |
KES (3) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Mampilly, Rajiv Ramnath, Shahrukh A. Irani |
PFAST: an eclipse-based integrated tool workbench for facilities design. |
eTX |
2005 |
DBLP DOI BibTeX RDF |
facility design, interdisciplinary engineering, plugin architecture, production flow analysis, rich client platform, integration, Eclipse, tool integration |
25 | Stefan Paal, Reiner Kammüller, Bernd Freisleben |
Supporting Nomadic Desktop Computing Using an Internet Application Workbench. |
OTM Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1109 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|