Search results for "REFINE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
38	John Derrick, Eerke A. Boiten	Relational Concurrent Refinement with Internal Operations.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF
38	Graeme Smith 0001, Kirsten Winter	Simulation Machines for Checking Action System Refinements.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF
38	Xiaojian Liu, Zhiming Liu 0001, Liang Zhao 0022	Object-Oriented Structure Refinement - A Graph Transformational Approach.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF
38	Leo Freitas, Jim Woodcock 0001	FDR Explorer.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF
38	Tomi Westerlund, Juha Plosila	Time Aware System Refinement.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF
38	Bernhard K. Aichernig, Jifeng He 0001	Refinement and Test Case Generation in UTP.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF
38	Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001	A Denotational Semantics for Circus.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF
38	Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves	Preface.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF
38	H.-Christian Estler, Thomas Ruhroth, Heike Wehrheim	Modelchecking Correctness of Refactorings - Some Experiments.	Refine@ICFEM	2006	DBLP DOI BibTeX RDF
38	John Derrick, Eerke A. Boiten, Jim Woodcock 0001, Joakim von Wright (eds.)	BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002	Refine	2002	DBLP BibTeX RDF
38	Kai Engelhardt	Towards a refinement theory that supports reasoning about knowledge and time for multiple agents.	Refine	2002	DBLP DOI BibTeX RDF
38	Luke Wildman, Colin J. Fidge	The variety of variables in computer-aided real-time programming.	Refine	2002	DBLP DOI BibTeX RDF
38	Matthias Anlauff, Asuman Sünbül	Towards component based systems: refining connectors.	Refine	2002	DBLP DOI BibTeX RDF
38	Jim Davies, Charles Crichton	Concurrency and refinement in the UML.	Refine	2002	DBLP DOI BibTeX RDF
38	Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu	Refinement of actions in a real-time process algebra with a true concurrency model.	Refine	2002	DBLP DOI BibTeX RDF
38	Antónia Lopes, José Luiz Fiadeiro	Superposition: Composition vs refinement of non-deterministic action-based systems.	Refine	2002	DBLP DOI BibTeX RDF
38	Susan Stepney, Fiona Polack, Ian Toyn	Refactoring in maintenance and development of Z specifications.	Refine	2002	DBLP DOI BibTeX RDF
38	Yngve Lamo, Michal Walicki	Composition and refinement of specifications and parameterised data types.	Refine	2002	DBLP DOI BibTeX RDF
38	Ralph-Johan Back, Joakim von Wright	Compositional Action System Refinement.	Refine	2002	DBLP DOI BibTeX RDF
38	Steve Dunne	Junctive Compositions of specifications in total, general correctness.	Refine	2002	DBLP DOI BibTeX RDF
38	Márcio Cornélio, Ana Cavalcanti 0001, Augusto Sampaio	Refactoring by Transformation.	Refine	2002	DBLP DOI BibTeX RDF
38	Eerke A. Boiten, John Derrick	Unifying concurrent and relational refinement.	Refine	2002	DBLP DOI BibTeX RDF
38	Lindsay Groves	Refinement and the Z schema calculus.	Refine	2002	DBLP DOI BibTeX RDF
38	Adrian J. Hilton, Jon G. Hall	Refining specifications to programmable logic.	Refine	2002	DBLP DOI BibTeX RDF
38	Bernhard K. Aichernig	Contract-based mutation testing in the refinement calculus.	Refine	2002	DBLP DOI BibTeX RDF
38	Harald Fecher, Mila E. Majster-Cederbaum	Taking decisions late: end-based choice combined with action refinement.	Refine	2002	DBLP DOI BibTeX RDF
38	Christie Bolton, Jim Davies	A comparison of refinement orderings and their associated simulation rules.	Refine	2002	DBLP DOI BibTeX RDF
38	John Derrick, Eerke A. Boiten, Jim Woodcock 0001, Joakim von Wright	Preface.	Refine	2002	DBLP DOI BibTeX RDF
38	Emil Sekerinski	Tabular verification and refinement.	Refine	2002	DBLP DOI BibTeX RDF
38	Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001	Refinement of actions in Circus.	Refine	2002	DBLP DOI BibTeX RDF
35	Berndt Bellay, Harald C. Gall	A Comparison of Four Reverse Engineering Tools.	WCRE	1997	DBLP DOI BibTeX RDF	reverse engineering tools, complex software systems analysis, maintenance activities, browsing capabilities, graphical reports, commercial reverse engineering tools, source code languages, C source code, Refine/C, Imagix4D, Sniff+, commercial embedded software system, embedded software systems, software engineers, reverse engineering, Rigi
35	Yves Ledru	Using KIDS as a Tool Support for VDM.	ICSE	1996	DBLP BibTeX RDF	KIDS, REGROUP, VDM specifications, correctness preserving transformations, executable prototypes synthesis, proof of consistency, formal specification, REFINE, theorem proving, program verification, specification languages, tool support, theorem prover, VDM
35	Jun Wu	To Refine or Not to Refine: Topology Optimization of Adaptively Refined Infill Structures for Additive Manufacturing.	CoRR	2017	DBLP BibTeX RDF
30	Vianey Guadalupe Cruz Sánchez, Gerardo Reyes Salgado, Osslan Osiris Vergara-Villegas, Raúl Pinto-Elías	A Combined Representation to Refine the Knowledge Using a Neuro-Symbolic Hybrid System applied in a Problem of Apple Classification.	CONIELECOMP	2006	DBLP DOI BibTeX RDF
30	Pusheng Zhang, Yan Huang 0002, Shashi Shekhar, Vipin Kumar 0001	Correlation Analysis of Spatial Time Series Datasets: A Filter-and-Refine Approach.	PAKDD	2003	DBLP DOI BibTeX RDF
30	Claudio Esperança, Hanan Samet	Orthogonal Polygons as Bounding Structures in Filter-Refine Query Processing Strategies.	SSD	1997	DBLP DOI BibTeX RDF
29	Vassilis Athitsos, Panagiotis Papapetrou, Michalis Potamias, George Kollios, Dimitrios Gunopulos	Approximate embedding-based subsequence matching of time series.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	filter-and-refine retrieval, similarity indexing, time series, embeddings, dynamic time warping, subsequence matching
29	Graham W. Ewart, Marijana Tomic	Applying program understanding technology to IBM product documentation.	CASCON	1994	DBLP BibTeX RDF	bookmaster documentation, reverse engineering, refine, program understanding, abstract syntax tree, information structure, rigi
23	Lionel C. Briand, Yvan Labiche, Zaheer Bawar	Using Machine Learning to Refine Black-Box Test Specifications and Test Suites.	QSIC	2008	DBLP DOI BibTeX RDF	category partition, machine learning, black-box testing
23	Andreas Gerstlauer, Junyu Peng, Dongwan Shin, Daniel Gajski, Atsushi Nakamura, Dai Araki, Yuuji Nishihara	Specify-explore-refine (SER): from specification to implementation.	DAC	2008	DBLP DOI BibTeX RDF	electronic system-level (ESL) design
23	Thomas J. Cashman 0001, Neil A. Dodgson, Malcolm A. Sabin	Non-uniform B-Spline Subdivision Using Refine and Smooth.	IMA Conference on the Mathematics of Surfaces	2007	DBLP DOI BibTeX RDF
23	Yan Li, Shaobin Cheng, Lu Zhang 0023, Bing Xie, Jiasu Sun	Mining User Query Logs to Refine Component Description.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
23	Martin Hachet, Joachim Pouderoux, Florence Tyndiuk, Pascal Guitton	"Jump and refine" for rapid pointing on mobile phones.	CHI	2007	DBLP DOI BibTeX RDF	keystroke interaction, mobile device, selection, pointing task
23	Taufiq Rochaeli, Claudia Eckert 0001	Using patterns paradigm to refine workflow policies.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
23	Xueqi Cheng, Songbo Tan, Lilian Tang	Using DragPushing to Refine Concept Index for Text Categorization.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	machine learning, information retrieval, text classification
23	Dingsheng Luo, Xinhao Wang, Xihong Wu, Huisheng Chi	Learning Outliers to Refine a Corpus for Chinese Webpage Categorization.	ICNC (1)	2005	DBLP DOI BibTeX RDF
23	Zong Min Ma 0001, Li Yan 0001, Gui Li	Using Fuzzy Analogical Reasoning to Refine the Query Answers for Relational Databases with Imprecise Information.	FSKD (1)	2005	DBLP DOI BibTeX RDF
23	Hugo Estrada 0001, Oscar Pastor 0001, Alicia Martínez 0001, Jose Torres-Jimenez	Using a Goal-Refinement Tree to Obtain and Refine Organizational Requirements.	ICCSA (4)	2004	DBLP DOI BibTeX RDF
23	Marcel Oliveira, Manuela Xavier, Ana Cavalcanti 0001	Refine and Gabriel: Support for Refinement and Tactics.	SEFM	2004	DBLP DOI BibTeX RDF
23	Arvind K. Bansal, Christopher Woolverton	Applying Automatically Derived Gene-Groups to Automatically Predict and Refine Metabolic Pathways.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	enzymes, gene-groups, microbes, operons, orthologs, pathogenicity, Automation, homologs, drug-discovery, pathway, metabolic pathway, bacteria
23	Beng Chin Ooi, HweeHwa Pang, Hao Wang, Limsoon Wong, Cui Yu	Fast Filter-and-Refine Algorithms for Subsequence Selection.	IDEAS	2002	DBLP DOI BibTeX RDF
23	Emmanuel Morin, Emmanuelle Martienne	Using a Symbolic Machine Learning Tool to Refine Lexico-syntactic Patterns.	ECML	2000	DBLP DOI BibTeX RDF
23	Cédric Wemmert, Pierre Gançarski, Jerzy Korczak 0001	An Unsupervised Collaborative Learning Method to Refine Classification Hierarchies.	ICTAI	1999	DBLP DOI BibTeX RDF
23	Daniel D. Gajski, Frank Vahid, Sanjiv Narayan, Jie Gong	SpecSyn: an environment supporting the specify-explore-refine paradigm for hardware/software system design.	IEEE Trans. Very Large Scale Integr. Syst.	1998	DBLP DOI BibTeX RDF
23	Ye Liu, Hanxiong Chen, Jeffrey Xu Yu, Nobuo Ohbo	Using Stem Rules to Refine Document Retrieval Queries.	FQAS	1998	DBLP DOI BibTeX RDF
21	Lindsay Groves	Deriving language recognition algorithms: A case study in combining program specialisation and data refinement.	Refine	1994	DBLP DOI BibTeX RDF
21	Joakim von Wright	Program Refinement by Theorem Prover.	Refine	1994	DBLP DOI BibTeX RDF
21	Colin J. Fidge	Proof Obligations for Real-Time Refinement.	Refine	1994	DBLP DOI BibTeX RDF
21	Mike Ainsworth, Peter J. L. Wallis	Co-Refinement.	Refine	1994	DBLP DOI BibTeX RDF
21	Howard P. Haughton, Kevin Lano	Testing and Safety Analysis of AM (Abstract Machine) Specifications.	Refine	1994	DBLP DOI BibTeX RDF
21	Kevin Lano, Howard P. Haughton	Improving the Process of System Specification and Refinement in B.	Refine	1994	DBLP DOI BibTeX RDF
21	Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska 0001	Formal Semantics for Ward & Mellor's Transformation Schemas.	Refine	1994	DBLP DOI BibTeX RDF
21	David Garlan	Using Refinement to Understand Architectural Connection.	Refine	1994	DBLP DOI BibTeX RDF
21	Kevin Lano	Refinement in Object-Oriented Specification Languages.	Refine	1994	DBLP DOI BibTeX RDF
21	Theodore S. Norvell	Machine Code Programs are Predicates Too.	Refine	1994	DBLP DOI BibTeX RDF
21	Yves Ledru, Pierre Collette	Environment-based Development of Reactive Systems.	Refine	1994	DBLP DOI BibTeX RDF
21	David Till (eds.)	6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994	Refine	1994	DBLP DOI BibTeX RDF
21	Juan Bicarregui	Operation Semantics with Read and Write Frames.	Refine	1994	DBLP DOI BibTeX RDF
21	Qiwen Xu, Jifeng He 0001	Laws of Parallel Programming with Shared Variables.	Refine	1994	DBLP DOI BibTeX RDF
21	Pierre Bieber, Nora Boulahia-Cuppens	Formal Development of Authentication Protocols.	Refine	1994	DBLP DOI BibTeX RDF
21	Raymond G. Nickson, Lindsay J. Groves	Metavariables and Conditional Refinements in the Refinement Calculus.	Refine	1994	DBLP DOI BibTeX RDF
21	J. C. P. Woodcock	Implementing Promoted Operations in Z.	Refine	1992	DBLP DOI BibTeX RDF
21	Lindsay Groves, Raymond G. Nickson, Mark Utting	A Tactic Driven Refinement Tool.	Refine	1992	DBLP DOI BibTeX RDF
21	Ketil Stølen	Proving Total Correctness with Respect to a Fair (Shared-State) Parallel Language.	Refine	1992	DBLP DOI BibTeX RDF
21	Qiwen Xu, Jifeng He 0001	A case study in formally developing state-based parallel programs - the Dutch National Torus.	Refine	1992	DBLP DOI BibTeX RDF
21	Cliff B. Jones, Roger C. Shaw, B. Tim Denvir (eds.)	5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992	Refine	1992	DBLP DOI BibTeX RDF
21	Tim Clement	Using Metavariables in Natural Deduction Proofs.	Refine	1992	DBLP DOI BibTeX RDF
21	Roger Bishop Jones	Methods and Tools for the Verification of Critical Properties.	Refine	1992	DBLP DOI BibTeX RDF
21	Patrick O'Ferrall	Opening Address.	Refine	1992	DBLP DOI BibTeX RDF
21	Job Zwiers, J. Coenen, Willem P. de Roever	A Note on Compositional Refinement.	Refine	1992	DBLP DOI BibTeX RDF
21	Maurice Naftalin	A Model of the Refinement Process.	Refine	1992	DBLP DOI BibTeX RDF
21	Jeannette M. Wing	Revisiting Abstraction Functions For Reasoning About Concurrency.	Refine	1992	DBLP DOI BibTeX RDF
21	Antonio Cau, Ruurd Kuiper 0001, Willem-Paul de Roever	Formalising Dijkstra's Development Strategy within Stark's Formalism.	Refine	1992	DBLP DOI BibTeX RDF
21	Martin P. Ward	A Recursion Removal Theorem.	Refine	1992	DBLP DOI BibTeX RDF
21	Jim Grundy	A Window Inference Tool for Refinement.	Refine	1992	DBLP DOI BibTeX RDF
21	Robin Milner	Concurrent Processes as Objects.	Refine	1992	DBLP DOI BibTeX RDF
21	Morten Elvang-Gøransson	Classification of Refinements in VDM.	Refine	1992	DBLP DOI BibTeX RDF
21	José N. Oliveira	Software Reification using the SETS Calculus.	Refine	1992	DBLP DOI BibTeX RDF
21	Andrew M. Gravell	Constructive Refinement of First Order Specifications.	Refine	1992	DBLP DOI BibTeX RDF
21	C. T. Sennett	Demonstrating the Compliance of Ada Programs with Z Specifications.	Refine	1992	DBLP DOI BibTeX RDF
21	Colin O'Halloran	Refinement and Confidentiality.	Refine	1992	DBLP DOI BibTeX RDF
18	Matthew L. Staten, Steven E. Benzley, Michael A. Scott	A methodology for quadrilateral finite element mesh coarsening.	Eng. Comput.	2008	DBLP DOI BibTeX RDF	Quadrilateral, Coarsening, Adaptivity, Refinement, Finite elements
18	Patrick Gage Kelley, Paul Hankes Drielsma, Norman M. Sadeh, Lorrie Faith Cranor	User-controllable learning of security and privacy policies.	AISec	2008	DBLP DOI BibTeX RDF	security and privacy policies, user-controllable learning, usable security
18	Shenglan Liu, Ralph R. Martin, Frank C. Langbein, Paul L. Rosin	Segmenting Periodic Reliefs on Triangle Meshes.	IMA Conference on the Mathematics of Surfaces	2007	DBLP DOI BibTeX RDF
18	Wei Luo, Xiao Qin 0001, Kiranmai Bellam	Reliability-Driven Scheduling of Periodic Tasks in Heterogeneous Real-Time Systems.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF
18	Paul Wing Hing Kwan, Junbin Gao	A multi-step strategy for approximate similarity search in image databases.	ADC	2006	DBLP BibTeX RDF	multi-step strategy, non-metric distance, lower bound, similarity search, image databases
18	Saikat Guha 0002, Rohan Murty, Emin Gün Sirer	Sextant: a unified node and event localization framework using non-convex constraints.	MobiHoc	2005	DBLP DOI BibTeX RDF	Bézier, SEXTANT, event localization, positioning, motes, node localization
18	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre	Lazy abstraction.	POPL	2002	DBLP DOI BibTeX RDF
18	Dinesh Ramanathan, Rajesh K. Gupta 0001, Raymond Roth	Interfacing Hardware and Software Using C++ Class Libraries.	ICCD	2000	DBLP DOI BibTeX RDF
17	Bin Pu, Ke Xiang, Ze'an Liu, Xuanyin Wang	Siamese refine polar mask prediction network for visual tracking.	Signal Image Video Process.	2024	DBLP DOI BibTeX RDF