Search results for "Refinement"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Dirk Beyer 0001, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko	Path invariants.	PLDI	2007	DBLP DOI BibTeX RDF	invariant synthesis, formal verification, software model checking, predicate abstraction, abstraction refinement
23	Julien Groslambert	Verification of LTL on B Event Systems.	B	2007	DBLP DOI BibTeX RDF	Büchi Automaton, Verification, Refinement, LTL
23	Stephen S. Yau, Zhaoji Chen	A Framework for Specifying and Managing Security Requirements in Collaborative Systems.	ATC	2006	DBLP DOI BibTeX RDF	security specification, hierarchical security requirements, requirement refinement algorithms, ontology, framework, collaborative systems, Software security
23	Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001	Unifying classes and processes.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	Integration, Refinement, CSP, Z
23	T. Karvi, Tienari Tienari, Roope Kaivola	Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	verification, specification, refinement, process algebra
23	Quan Long, Zongyan Qiu, Zhiming Liu 0001, Lingshuang Shao, Jifeng He 0001	POST: A Case Study for an Incremental Development in rCOS.	ICTAC	2005	DBLP DOI BibTeX RDF	UML, Object-orientation, Refinement, Refactoring, Software design
23	Ana Cavalcanti 0001, Phil Clayton, Colin O'Halloran	Control Law Diagrams in Circus.	FM	2005	DBLP DOI BibTeX RDF	refinement, CSP, Z, Simulink
23	Bikram Sengupta, Rance Cleaveland	An Integrated Framework for Scenarios and State Machines.	IFM	2005	DBLP DOI BibTeX RDF	refinement orderings, scenarios, state-machines, heterogeneous specifications
23	Lars Grasedyck, Wolfgang Hackbusch, Sabine Le Borne	Adaptive Geometrically Balanced Clustering of H-Matrices.	Computing	2004	DBLP DOI BibTeX RDF	adaptive mesh refinement, Hierarchical matrices, boundary elements, data-sparse approximation
23	Alper Üngör	O.-Centers: A New Type of Steiner Points for Computing Size-Optimal Quality-Guaranteed Delaunay Triangulations.	LATIN	2004	DBLP DOI BibTeX RDF	computational geometry, triangulations, Delaunay refinement
23	Xin Yan 0002, Xue Li 0001, Dawei Song 0001	A Correlation Analysis on LSA and HAL Semantic Space Models.	CIS	2004	DBLP DOI BibTeX RDF	Hyperspace Analogue to Language, Automatic Query Refinement, Latent Semantic Indexing, Correlation Analysis
23	Junho Kim 0001, Seungyong Lee 0001	Transitive Mesh Space of a Progressive Mesh.	IEEE Trans. Vis. Comput. Graph.	2003	DBLP DOI BibTeX RDF	selectively refined mesh, transitive mesh space, hierarchical partitioning property, dual piece, valid vertex front, Progressive mesh, selective refinement
23	Thomas W. Sederberg, Jianmin Zheng, Almaz Bakenov, Ahmad H. Nasri	T-splines and T-NURCCs.	ACM Trans. Graph.	2003	DBLP DOI BibTeX RDF	subdivision surfaces, local refinement, B-spline surfaces
23	Xiaolin Li 0001, Manish Parashar	Dynamic Load Partitioning Strategies for Managing Data of Space and Time Heterogeneity in Parallel SAMR Applications.	Euro-Par	2003	DBLP DOI BibTeX RDF	Scientific Computing, Dynamic Load Balancing, Parallel and Distributed Computing, Structured Adaptive Mesh Refinement
23	Peter Lindstrom 0001	Out-of-core construction and visualization of multiresolution surfaces.	SI3D	2003	DBLP DOI BibTeX RDF	out-of-core algorithms, surface simplification, large-data visualization, view-dependent refinement
23	Bernhard K. Aichernig	Test-Case Calculation through Abstraction.	FME	2001	DBLP DOI BibTeX RDF	test-case synthesis, abstraction rules, testing, scenarios, contract, refinement calculus
23	Charles Lakos	Composing Abstractions of Coloured Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	Theory of High-Level Petri Nets, Refinement, Abstraction
23	Graeme Smith 0001	Stepwise Development from Ideal Specifications.	ACSC	2000	DBLP DOI BibTeX RDF	formal specification, refinement, stepwise development
23	Robert Colvin, Ian J. Hayes, Paul A. Strooper	Refining Logic Programs Using Types.	ACSC	2000	DBLP DOI BibTeX RDF	logic programming, Refinement, types
23	Susan Craw, Robin Boswell	Debugging knowledge-based applications with a generic toolkit.	ICTAI	2000	DBLP DOI BibTeX RDF	generic toolkit, knowledge refinement tools, knowledge based system maintenance, knowledge based system debugging, fault correction, KRUSTWorks toolkit, aerospace knowledge-based systems, knowledge based systems, knowledge engineering, program debugging, POWER-MODEL, CLIPS, aerospace computing, shells, fault identification
23	Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo	Formal Development and Validation of Java Dependable Distributed Systems.	ICECCS	1999	DBLP DOI BibTeX RDF	Structuring Complex Concurrent Systems, CO_OPN/2, Formal Development Stepwise Refinement, Design for Validation, CA Actions
23	Tarik Ono-Tesfaye, Christoph Kern, Mark R. Greenstreet	Verifying a Self-Timed Divider.	ASYNC	1998	DBLP DOI BibTeX RDF	model checking, refinement, asynchronous, hardware verification, timing verification, self-timed, speed-independence
23	Ying Liu, Ambuj K. Singh, Rajive L. Bagrodia	A Decompositional Approach to the Design of Parallel Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	complete computer programs, decompositional approach, parallel program design, parallel implementation correctness, module specifications, frequently occurring control structures, subprograms, property refinement procedure, sequential composition, UNITY logic, UC programming language, diffusion aggregation, fluid flow simulations, formal specification, parallel programming, program verification, digital simulation, diffusion, iteration, physics computing, program control structures, program specifications, flow simulation
23	Dani Lischinski, Brian E. Smits, Donald P. Greenberg	Bounds and error estimates for radiosity.	SIGGRAPH	1994	DBLP DOI BibTeX RDF	a posteriori error bounds and estimates, global illumination, hierarchical radiosity, importance, adaptive refinement
23	Shenchang Eric Chen, Holly E. Rushmeier, Gavin S. P. Miller, Douglass Turner	A progressive multi-pass method for global illumination.	SIGGRAPH	1991	DBLP DOI BibTeX RDF	Ray Tracing, global illumination, Monte Carlo, radiosity, caustics, progressive refinement
23	M. Bozyigit, M. Melhi	Dynamic Load Balancing in Distributed Real-Time Systems (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	distributed realtime system, graph theoretic, linear and nonlinear programming, incremental heuristic refinement algorithm, Load balancing, NP-hard
22	Cheng-Chin Chiang, Jyun-Yue Wu, Mau-Tsuen Yang, Wen-Kai Tai	Independent query refinement and feature re-weighting using positive and negative examples for content-based image retrieval.	Multim. Tools Appl.	2009	DBLP DOI BibTeX RDF	Feature re-weighting, Relevance feedback, Content-based image retrieval, Maximum likelihood estimation, Query refinement
22	Babis Magoutas, Gregoris Mentzas	Refinement, Validation and Benchmarking of a Model for E-Government Service Quality.	EGOV	2009	DBLP DOI BibTeX RDF	benchmarking, validation, refinement, quality model, eGovernment
22	Hyunyoung Kil, Wonhong Nam, Dongwon Lee 0001	Automatic web service composition with abstraction and refinement.	WWW	2009	DBLP DOI BibTeX RDF	refinement, abstraction, service composition
22	Jiaheng Lu, Zhifeng Bao, Tok Wang Ling, Xiaofeng Meng 0001	XML keyword query refinement.	KEYS	2009	DBLP DOI BibTeX RDF	XML, keyword search, query refinement
22	Hao Xu, Jingdong Wang 0001, Xian-Sheng Hua 0001, Shipeng Li 0001	Tag refinement by regularized LDA.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	regularized LDA, tag refinement, tag relevance
22	Paulo Henrique M. Maia, Jeff Kramer, Sebastián Uchitel, Nabor C. Mendonça	Towards accurate probabilistic models using state refinement.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	refinement, accuracy, probabilistic model checking, behaviour model
22	Kuntal Nanshi, Fabio Somenzi	Constraints in one-to-many concretization for abstraction refinement.	DAC	2009	DBLP DOI BibTeX RDF	simulation, model checking, abstraction refinement
22	Nenad Stojanovic, Ljiljana Stojanovic, Jun Ma	On the conceptual tag refinement.	SAC	2008	DBLP DOI BibTeX RDF	ontology pruning, tag refinement, conceptual model, semantic tagging
22	Sven Apel, Christian Kästner, Christian Lengauer	Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement.	GPCE	2008	DBLP DOI BibTeX RDF	safe feature composition, type systems, stepwise refinement, feature-oriented programming, featherweight java
22	Richard Banach	Model Based Refinement and the Tools of Tomorrow.	ABZ	2008	DBLP DOI BibTeX RDF	Configurable Proof Obligations, Verification Grand Challenge, Refinement, Tools, Model Based Development
22	Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens	A formal approach to model refactoring and model refinement.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF	Behaviour preservation, Description logics, Model-driven engineering, UML 2.0, Model refinement, Model refactoring
22	Simone Röttger, Steffen Zschaler	Tool Support for Refinement of Non-functional Specifications.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF	CASE tool support, Refinement, Model transformation, Non-functional properties
22	Sumir Chandra, Xiaolin Li 0001, Taher Saif, Manish Parashar	Enabling scalable parallel implementations of structured adaptive mesh refinement applications.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	SAMR scalability, Bin-packing based load-balancing, MPI non-blocking communication optimization, 3-D Richtmyer-Meshkov application, Structured adaptive mesh refinement, Hierarchical partitioning
22	Dick A. C. Quartel, Maarten W. A. Steen, Stanislav Pokraev, Marten van Sinderen	COSMO: A conceptual framework for service modelling and refinement.	Inf. Syst. Frontiers	2007	DBLP DOI BibTeX RDF	Service concept, Service refinement, Service-orientation, Interaction modelling, Service modelling
22	Manoranjan Satpathy, S. Ramesh 0002	Test case generation from formal models through abstraction refinement and model checking.	A-MOST	2007	DBLP DOI BibTeX RDF	counterexample guided abstraction refinement, model based testing, B-method
22	Satoshi Fujishima, Yoshimasa Takahashi, Takashi Okada	Pharmacophore Knowledge Refinement Method in the Chemical Structure Space.	Discovery Science	2007	DBLP DOI BibTeX RDF	Chemical structure space, Structure activity relationship, Pharmacophore, Knowledge refinement
22	Zhiwen Yu 0002, Shaohong Zhang, Hau-San Wong, Jiqi Zhang	A Filter-Refinement Scheme for 3D Model Retrieval Based on Sorted Extended Gaussian Image Histogram.	MLDM	2007	DBLP DOI BibTeX RDF	Filter-refinement, Extended Gaussian Image
22	Bo Yu, Jinzhao Liu, Chengguo Wang	Rolling Bearing Fault Diagnosis Using Refinement Envelope Analysis Based on the EMD Method.	ICIC (3)	2007	DBLP DOI BibTeX RDF	rolling bearing fault, response modulation methods, EMD methods, DTFT refinement
22	Rafae Bhatti, Tyrone Grandison	Towards Improved Privacy Policy Coverage in Healthcare Using Policy Refinement.	Secure Data Management	2007	DBLP DOI BibTeX RDF	Refinement, Healthcare, Compliance, HIPAA, Privacy Management
22	Hong Mei 0001, Wei Zhang 0004, Haiyan Zhao	A metamodel for modeling system features and their refinement, constraint and interaction relationships.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	Relationships between features, Interaction, Constraint, Refinement, Customization, Feature model
22	Greg Stitt, Frank Vahid, Walid A. Najjar	A code refinement methodology for performance-improved synthesis from C.	ICCAD	2006	DBLP DOI BibTeX RDF	code refinement, coding guidelines, FPGA, embedded systems, compilation, synthesis, hardware/software partitioning
22	Oleg Iliev, Daniela Vasileva	On a Local Refinement Solver for Coupled Flow in Plain and Porous Media.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF	oil filter, coupled flow in plain and porous media, Brinkman, numerical simulation, local refinement, Navier-Stokes
22	Tamal K. Dey, Gang Li, Tathagata Ray	Polygonal Surface Remeshing with Delaunay Refinement.	IMR	2005	DBLP DOI BibTeX RDF	computational geometry, computational topology, surface meshing, Delaunay refinement
22	Emil M. Constantinescu, Adrian Sandu	On Adaptive Mesh Refinement for Atmospheric Pollution Models.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF	Adaptive Mesh Refinement, Air Pollution Modeling
22	Chris Walshaw	Multilevel Refinement for Combinatorial Optimisation Problems.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	multilevel refinement, metaheuristic, graph partitioning, graph colouring, combinatorial optimisation, travelling salesman
22	Xiaolin Li 0001, Manish Parashar	Hierarchical Partitioning Techniques for Structured Adaptive Mesh Refinement Applications.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	hierarchical partitioning algorithm, distributed computing, dynamic load balancing, structured adaptive mesh refinement
22	Thomas W. Sederberg, David L. Cardon, G. Thomas Finnigan, Nicholas S. North, Jianmin Zheng, Tom Lyche	T-spline simplification and local refinement.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	knot removal, subdivision surfaces, local refinement, T-splines, NURBS surfaces
22	Song Li	Characterization of Smoothness of Multivariate Refinable Functions and Convergence of Cascade Algorithms of Nonhomogeneous Refinement Equations.	Adv. Comput. Math.	2004	DBLP DOI BibTeX RDF	refinement equation, cascade algorithm, Lipschitz space, transition operator, self-affine tile, smoothness, refinable function, Sobolev space
22	Ralph-Johan Back, Joakim von Wright	Compositional Action System Refinement.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Rely/guarantee, Refinement, Compositionality, Action systems
22	Luke Wildman, Colin J. Fidge, David A. Carrington	The Variety of Variables in Automated Real-Time Refinement.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Computer-aided programming, Program refinement theory, Real-time programming
22	Andy D. Pimentel, Cagkan Erbas	An IDF-based trace transformation method for communication refinement.	DAC	2003	DBLP DOI BibTeX RDF	communication refinement, design space exploration
22	Xiaolin Li 0001, Sivapriya Ramanathan, Manish Parashar	Hierarchical Partitioning Techniques for Structured Adaptive Mesh Refinement (SAMR) Applications.	ICPP Workshops	2002	DBLP DOI BibTeX RDF	Hierarchical Partitioning Algorithm, Distributed Computing, Dynamic Load Balancing, Structured Adaptive Mesh Refinement
22	Ana E. Alonso, Anahí Dello Russo, Claudio Padra, Rodolfo Rodríguez	A Posteriori Error Estimates and a Local Refinement Strategy for a Finite Element Method to Solve Structural-Acoustic Vibration Problems.	Adv. Comput. Math.	2001	DBLP DOI BibTeX RDF	displacement formulation, spurious-modes free FEM, adaptive mesh refinement, fluid-structure interaction
22	Edwin D. de Jong, Jaco van de Pol, Jozef Hooman	Refinement in Requirements Specification and Analysis: A Case Study.	ECBS	2000	DBLP DOI BibTeX RDF	requirements specification and analysis, formal methods, refinement, theorem provers
22	Rym Mili, Ali Mili 0001, Roland T. Mittermeir	Storing and Retrieving Software Conponents: A Refinement Based System.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	software components storage and retrieval, refinement ordering, formal specifications, software reuse, Software libraries
22	Theodosis Dimitrakos, T. S. E. Maibaum	Notes on Refinement, Interpolation and Uniformity.	ASE	1997	DBLP DOI BibTeX RDF	step-wise refinement, modularity properties, logic-independent framework, uniform interpolants, specification formalism orthogonal expansion, software maintenance, interpolation, uniformity, program development, proof obligations
22	Joseph C. Jacob, Soo-Young Lee	A Spanning Tree Based Recursive Refinement Algorithm for Fast Task Mapping.	HPDC	1995	DBLP DOI BibTeX RDF	spanning tree based recursive refinement algorithm, fast task mapping, tasks movement, structural characteristics, mapping quality, distributed system, parallel algorithms, resource allocation, distributed processing, optimisation, parallel systems, network of workstations, dynamic load balancing, recursive functions
22	Dick A. C. Quartel, Luís Ferreira Pires, Henry M. Franken, Chris A. Vissers	An Engineering Approach towards Action Refinement.	FTDCS	1995	DBLP DOI BibTeX RDF	design methodology, design model, action refinement, distributed systems design
22	Robert M. McGraw, Moshe Meyassed, Robert H. Klenke, James H. Aylor, Ronald D. Williams	Refinement of system-level designs using hybrid modeling.	ICECCS	1995	DBLP DOI BibTeX RDF	system-level design refinement, complex system design, unified modeling methodology, top-down/bottom-up design methodology, modeling environment, behavioral components, high risk portions, simulation, simulation, modelling, systems analysis, product development, hybrid modeling, multi-level modeling
22	Marco Valtorta	Knowledge base refinement: A bibliography.	Appl. Intell.	1991	DBLP DOI BibTeX RDF	Knowledge base refinement, automatic knowledge acquisition, machine learning, reasoning under uncertainty
22	Job Zwiers	Layering and Action Refinement for Timed Systems.	REX Workshop	1991	DBLP DOI BibTeX RDF	Real-time, Causality, Serializability, Action refinement
22	Jay T. Yantchev	Communication Abstraction and Refinement.	PARLE (2)	1991	DBLP DOI BibTeX RDF	interprocess communication and synchronisation, abstraction and refinement, multiparty interaction
22	David Laur, Pat Hanrahan	Hierarchical splatting: a progressive refinement algorithm for volume rendering.	SIGGRAPH	1991	DBLP DOI BibTeX RDF	interactive techniques, volume rendering, coherence, progressive refinement
22	Martin Große-Rhode, Hartmut Ehrig	Transformation of Combined Data Type and Process Specifications Using Projection Algebras.	REX Workshop	1989	DBLP DOI BibTeX RDF	Projection Specification, Projection Algebra (Continuous Algebra), Parameterized Projection Specification, Horizontal and Vertical Operations, R-Implementation, Refinement
22	Ed Brinksma	Constraint-Oriented Specification in a Constructive Formal Description Technique.	REX Workshop	1989	DBLP DOI BibTeX RDF	constraint-oriented specification, multi-way synchronization, specification styles, synchronization by association, formal specification, refinement, process algebra, LOTOS, parallel composition, conjunction
22	Michael F. Cohen, Shenchang Eric Chen, John R. Wallace, Donald P. Greenberg	A progressive refinement approach to fast radiosity image generation.	SIGGRAPH	1988	DBLP DOI BibTeX RDF	adaptive subdivsion, backward ray tracing, global illumination, radiosity, progressive refinement, z-buffer
22	Michael J. Butler	Decomposition Structures for Event-B.	IFM	2009	DBLP DOI BibTeX RDF
22	Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah	Reveal: A Formal Verification Tool for Verilog Designs.	LPAR	2008	DBLP DOI BibTeX RDF
22	Wei Wu 0020, Fei Yang, Chee Yong Chan, Kian-Lee Tan	Continuous Reverse k-Nearest-Neighbor Monitoring.	MDM	2008	DBLP DOI BibTeX RDF	reverse k-nearest-neighbor query, moving objects
22	Jong-An Park, Seung Jo Han, Pankoo Kim	Using Intrinsic Object Attributes for Incremental Content Based Image Retrieval with Histograms.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF
22	Yossef Steinberg, Neri Merhav	On hierarchical joint source-channel coding with degraded side information.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
22	Mengjie Zhang 0001, Xiaoying Gao, Minh Duc Cao, Yuejin Ma	Modelling Citation Networks for Improving Scientific Paper Classification Performance.	PRICAI	2006	DBLP DOI BibTeX RDF
22	Zhijun Ding, Zhaohui Zhang, Changjun Jiang, Meiqin Pan	Formal Model of Workflow Integration and its Application in STISAG.	CSCWD	2006	DBLP DOI BibTeX RDF
22	Jifeng He 0001	Linking Theories of Concurrency.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
22	Leif Kobbelt	3-subdivision.	SIGGRAPH	2000	DBLP DOI BibTeX RDF
22	Ralph-Johan Back, Joakim von Wright	Reasoning Algebraically about Loops.	Acta Informatica	1999	DBLP DOI BibTeX RDF
22	Karl Lermer	A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics.	ARTS	1999	DBLP DOI BibTeX RDF
22	Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg	Horizontal and Vertical Structuring Techniques for Statecharts.	CONCUR	1997	DBLP DOI BibTeX RDF
22	Ralph-Johan Back, Kaisa Sere	From Action Systems to Modular Systems.	FME	1994	DBLP DOI BibTeX RDF
21	Fredrik Seehusen, Bjørnar Solhaug, Ketil Stølen	Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF
21	Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba	Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete.	ICTAC	2009	DBLP DOI BibTeX RDF
21	William Lovas, Frank Pfenning	Refinement Types as Proof Irrelevance.	TLCA	2009	DBLP DOI BibTeX RDF
21	Noam Zeilberger	Refinement types and computational duality.	PLPV	2009	DBLP DOI BibTeX RDF	duality, effects, intersection types, focusing, union types
21	Jesse D. Bingham, John Erickson, Gaurav Singh, Flemming Andersen	Industrial strength refinement checking.	FMCAD	2009	DBLP DOI BibTeX RDF
21	Tsun-Yu Hsiao, Chan-Nan Lu	Risk Informed Design Refinement of a Power System Protection Scheme.	IEEE Trans. Reliab.	2008	DBLP DOI BibTeX RDF
21	Chao Tian 0002, Jun Chen 0005, Suhas N. Diggavi	Multiuser Successive Refinement and Multiple Description Coding.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
21	Nick Moffat, Michael Goldsmith, Bill Roscoe	A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking.	ICFEM	2008	DBLP DOI BibTeX RDF
21	Tan Phan, Jun Han 0004, Jean-Guy Schneider, Kirk Wilson	Quality-Driven Business Policy Specification and Refinement for Service-Oriented Systems.	ICSOC	2008	DBLP DOI BibTeX RDF
21	WenQian Liu	A requirements refinement framework.	SAC	2008	DBLP DOI BibTeX RDF
21	Rong Jin 0001, Hamed Valizadegan, Hang Li 0001	Ranking refinement and its application to information retrieval.	WWW	2008	DBLP DOI BibTeX RDF	background information, boosting, incremental learning, learning to rank
21	Antoine Requet	BART: A Tool for Automatic Refinement.	ABZ	2008	DBLP DOI BibTeX RDF
21	Steve Dunne, Stacey Conroy	A Practical Single Refinement Method for B.	ABZ	2008	DBLP DOI BibTeX RDF
21	Yiannis Andreopoulos, Mihaela van der Schaar	Incremental Refinement of Computation for the Discrete Wavelet Transform.	ICIP (4)	2007	DBLP DOI BibTeX RDF
21	Pontus Boström, Lionel Morel, Marina Waldén	Stepwise Development of Simulink Models Using the Refinement Calculus Framework.	ICTAC	2007	DBLP DOI BibTeX RDF