|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 25 occurrences of 25 keywords
|
|
|
Results
Found 35 publication records. Showing 35 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
73 | Sacha Reis, Andreas Metzger, Klaus Pohl |
Integration Testing in Software Product Line Engineering: A Model-Based Technique. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
55 | Arie Gurfinkel, Benet Devereux, Marsha Chechik |
Model exploration with temporal logic query checking. |
SIGSOFT FSE |
2002 |
DBLP DOI BibTeX RDF |
multi-valued model-checking, query-checking, CTL |
55 | Lena Magnusson |
An Algorithm for Checking Incomplete Proof Objects in Type Theory with Localization and Unification. |
TYPES |
1995 |
DBLP DOI BibTeX RDF |
|
54 | Dagmar Kern, Paul Marshall, Albrecht Schmidt 0001 |
Gazemarks: gaze-based visual placeholders to ease attention switching. |
CHI |
2010 |
DBLP DOI BibTeX RDF |
attention switching, gazemarks, eye-gaze interaction |
54 | George Buchanan 0001, Jennifer S. Pearson |
Improving Placeholders in Digital Documents. |
ECDL |
2008 |
DBLP DOI BibTeX RDF |
Digital Libraries, Interaction Design, Document Triage |
51 | Christopher Pinchak, Paul Lu, Mark Goldenberg |
Practical Heterogeneous Placeholder Scheduling in Overlay Metacomputers: Early Experiences. |
JSSPP |
2002 |
DBLP DOI BibTeX RDF |
metascheduler, placeholders, overlay metacomputers, metaqueue, scheduling, load balancing, computational grids, metacomputing |
51 | Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan |
Transaction integration for reusable hard real-time components. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
transaction integration, reusable hard real time components, end to end timing requirements, framework based approach, data flow path, component interfaces, placeholders, reusable real time components, software reusability |
36 | Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde |
Shaped Generic Graph Transformation. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Dezhuang Zhang, Rance Cleaveland |
Efficient temporal-logic query checking for presburger systems. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
Presburger systems, on-the-fly symbolic model checking, query checking, model checking, formal methods |
36 | Dimitrios Georgakopoulos 0001, Andrzej Cichocki, Hans Schuster, Donald Baker |
Process-Based Service Integration for Zero Latency Supply Chains in Virtual Enterprises. |
AIWoRC |
2000 |
DBLP DOI BibTeX RDF |
|
36 | Taro Miyazaki, Naoki Nakatani, Tsubasa Uchida, Hiroyuki Kaneko, Masanori Sano |
Machine Translation to Sign Language Using Post-Translation Replacement Without Placeholders. |
ICASSP Workshops |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Da-Wei Zhou 0001, Han-Jia Ye, De-Chuan Zhan |
Learning Placeholders for Open-Set Recognition. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
36 | Da-Wei Zhou 0001, Han-Jia Ye, De-Chuan Zhan |
Learning Placeholders for Open-Set Recognition. |
CVPR |
2021 |
DBLP BibTeX RDF |
|
36 | Luís Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, Eelco Visser |
Principled syntactic code completion using placeholders. |
SLE |
2016 |
DBLP BibTeX RDF |
|
36 | Marco Servetto, Julian Mackay, Alex Potanin, James Noble 0001 |
The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Florian Heidenreich, Jendrik Johannes, Mirko Seifert, Christian Wende, Marcel Böhme |
Generating safe template languages. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
safe authoring, template language, generative programming, language extension |
18 | Jeffrey Stylos, Brad A. Myers, Zizhuang Yang |
Jadeite: improving API documentation using usage information. |
CHI Extended Abstracts |
2009 |
DBLP DOI BibTeX RDF |
documentation, APIs, javadoc |
18 | Michael J. Muller |
Collaborative activity management: organizing documents for collective action. |
SIGDOC |
2007 |
DBLP DOI BibTeX RDF |
workplace collaboration |
18 | Royston Sellman |
VDP templates with theme-driven layer variants. |
ACM Symposium on Document Engineering |
2007 |
DBLP DOI BibTeX RDF |
PPML-T, VDP |
18 | Nanjangud C. Narendra, Karthikeyan Ponnalagu |
Variation-Oriented Requirements Analysis (VORA). |
IEEE SCW |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Lin Zhong 0001, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha |
RTL-Aware Cycle-Accurate Functional Power Estimation. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Rani Pinchuk, Richard Aked, Juan-Jose de Orus, David De Weerdt, Georges Focant, Bernard Fontaine, Mikael Wolff |
TopiWriter - Integrating Topic Maps with Word Processor. |
TMRA |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Mathieu Braem, Niels Joncheere, Wim Vanderperren, Ragnhild Van Der Straeten, Viviane Jonckers |
Guiding Service Composition in a Visual Service Creation Environment. |
ECOWS |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Richard Cooper 0001, Sajjad Ali, Chenlan Bi |
Extracting Information from Short Messages. |
NLDB |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Fuzhi Wang, Marta Z. Kwiatkowska |
An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Marko Samer, Helmut Veith |
Deterministic CTL Query Solving. |
TIME |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Lin Zhong 0001, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha |
Power estimation for cycle-accurate functional descriptions of hardware. |
ICCAD |
2004 |
DBLP DOI BibTeX RDF |
|
18 | David Hemer |
Computer-aided programming using formally specified design templates. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
software engineering, formal specification, component-based development |
18 | Daniel Amyot, Gunter Mussbacher |
On the Extension of UML with Use Case Maps Concepts. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Jaakko Järvi |
C++ Function Object Binders Made Easy. |
GCSE |
1999 |
DBLP DOI BibTeX RDF |
|
18 | James D. Herbsleb |
Metaphorical representation in collaborative software engineering. |
WACC |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Jean-Marc Langé, Éric Gaussier, Béatrice Daille |
Bricks and Skeletons: Some Ideas for the Near Future of MAHT. |
Mach. Transl. |
1997 |
DBLP DOI BibTeX RDF |
Machine-Aided Human Translation (MAHT), Example-Based Translation, sentence skeleton, terminology, Translation Memory |
18 | Pei Cao, Edward W. Felten, Anna R. Karlin, Kai Li 0001 |
Implementation and Performance of Integrated Application-Controlled File Caching, Prefetching, and Disk Scheduling. |
ACM Trans. Comput. Syst. |
1996 |
DBLP DOI BibTeX RDF |
application-controlled resource management, file prefetching, disk scheduling, file caching |
18 | Wolfgang Weck |
Document-Centered Presentation of Computing Software: Compound Documents Are Better Workspaces. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Gian-Luigi Ferrari 0002, Ugo Montanari, Paola Quaglia |
The Weak Late pi-Calculus Semantics as Observation Equivalence. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #35 of 35 (100 per page; Change: )
|
|