Search results for "placeholders"

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