Search results for "Refinement"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	Victor L. Winter, James M. Boyle	Proving refinement transformations for deriving high-assurance software. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	refinement transformation proving, high-assurance software engineering, refinement-based approach, TAMPR transformation system, automated refinement, semantic framework, automated reasoning system, software engineering, program transformations, program verification, stepwise refinement, high-level specification
5	Brendan P. Mahony, Ian J. Hayes	A Case-Study in Timed Refinement: A Mine Pump.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	top-level refinement, simple mine pump control system, time-based systems, topologically continuous functions, discrete properties, basic building block, specification statement, refinement laws, computerized monitoring, pumps, parallel processes, formal specification, formal method, pipelined, theorem proving, mining, refinement calculus, design decisions, sequential programs, timed systems, proof of correctness
5	Ralph-Johan Back	Refinement Calculus, Part II: Parallel and Reactive Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	hiding, simulation, parallel programs, fairness, weakest preconditions, Stepwise refinement, reactive programs, action systems, parallel composition, total correctness, refinement mappings, stuttering
5	Ralph-Johan Back, Joakim von Wright	Refinement Calculus, Part I: Sequential Nondeterministic Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	angelic nondeterminism, demonic non-determinism, miraculous statements, inverse statements, lattices, weakest preconditions, Stepwise refinement, data refinement, specification methods, total correctness
4	Zizhen Wang, Hanpin Wang, Naijun Zhan	Refinement of models of software components.	SAC	2010	DBLP DOI BibTeX RDF	CB-MDD, rCOS, trace refinement, data refinement
4	Eerke A. Boiten, John Derrick, Gerhard Schellhorn	Relational concurrent refinement part II: Internal operations and outputs.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF	Process algebraic semantics, Failures-divergences refinement, Internal operations, Mechanisation, KIV, Simulations, Deadlock, Z, Data refinement, Outputs
4	Eerke A. Boiten, John Derrick	Modelling Divergence in Relational Concurrent Refinement.	IFM	2009	DBLP DOI BibTeX RDF	internal operations, process algebraic refinement preorders, simulations, divergence, Data refinement
4	Steve Reeves, David Streader	Data refinement and singleton failures refinement are not equivalent.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Singleton failures refinement, Data refinement
4	Panagiotis Manolios, Sudarshan K. Srinivasan	Automatic verification of safety and liveness for pipelined machines using WEB refinement.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	flushing, pipelined machines, verification, refinement, SAT, bisimulation, commitment, liveness, Refinement maps
4	Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli	Refinement preserving approximations for the design and verification of heterogeneous systems.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Conservative approximation, Verification, Approximation, Reuse, Refinement, Refinement, Abstraction, Abstract interpretation, Heterogeneous, Polymorphism, Preserving, Model of computation, Galois connection, Discrete time, Continuous time, Concretization
4	François Duchaine, Henri Champliaud	Structured mesh generation by kriging with local refinement with a new elliptic scheme.	Eng. Comput. (Lond.)	2007	DBLP DOI BibTeX RDF	Quality mesh, Octree refinement scheme, Elliptic refinement scheme, Kriging, Quadrilateral meshes
4	Moshe Deutsch, Martin C. Henson	An analysis of refinement in an abortive paradigm.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Operation-refinement, Specification language, Data-refinement, Specification logic
4	Flávio Oquendo	pi-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures.	ACM SIGSOFT Software Engineering Notes	2004	DBLP DOI BibTeX RDF	architecture refinement languages, formal development techniques, software architectures, stepwise refinement
4	Pierre Alliez, Nathalie Laurent, Henri Sanson, Francis J. M. Schmitt	Efficient view-dependent refinement of 3D meshes using sqrt{3}-subdivision.	The Visual Computer	2003	DBLP DOI BibTeX RDF	Device-driven refinement, Surface reconstruction, Subdivision surfaces, View-dependent refinement, Adaptive visualization
4	Xiaohua Kong, Radu Negulescu, Larry Weidong Ying	Refinement-based formal verification with heterogeneous timing.	STTT	2003	DBLP DOI BibTeX RDF	Communication refinement, Refinement-based verification, Relative timing, globally asynchronous locally synchronous, Process space
4	Steve Reeves, David Streader	Comparison of Data and Process Refinement.	ICFEM	2003	DBLP DOI BibTeX RDF	process refinement, sub-typing, Z, labelled transition systems, data refinement
4	John Derrick, Heike Wehrheim	Using Coupled Simulations in Non-atomic Refinement.	ZB	2003	DBLP DOI BibTeX RDF	Non-atomic refinement, coupled simulations, Z, action refinement
4	Jürgen Dingel	A Refinement Calculus for Shared-Variable Parallel and Distributed Programming.	Formal Asp. Comput.	2002	DBLP DOI BibTeX RDF	Assumption-commitment reasoning, Formal program development, Parallel programming, Program transformation, Refinement, Refinement calculus, Trace semantics, Systematic programming
4	Marielle Doche, Andrew M. Gravell	Extraction of Abstraction Invariants for Data Refinement.	ZB	2002	DBLP DOI BibTeX RDF	failure refinement, distributed system, Formal specification, CSP, B, data refinement
4	Luiz Velho	Semi-Regular 4-8 Refinement and Box Spline Surfaces.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	semi-regular 4-8 refinement, box spline surfaces, mesh refinement method, semiregular 3-direction hierarchical structure, control meshes, 2D manifolds, conforming variable-resolution mesh extraction, spatially varying adaptation functions, generalized four direction box spline surfaces, subdivision surfaces, splines (mathematics), smoothing method, arbitrary topology, subdivision scheme
4	Ron van der Meyden, Yoram Moses	On Refinement and Temporal Annotations.	FTRTFT	2000	DBLP DOI BibTeX RDF	temporal refinement calculi, temporal logic, Refinement calculus
4	Mun Choon Chan, Yow-Jian Lin, Xin Wang	A Scalable Monitoring Approach for Service Level Agreements Validation. (PDF / PS)	ICNP	2000	DBLP DOI BibTeX RDF	scalable monitoring, service level agreements validation, service provider network, QoS measurements, polling mechanisms, ill-behaved flows, aggregation and refinement based monitoring, dynamic QoS data aggregation/refinement, reasoning engine, quality of service, quality of service, Internet, histogram, inference mechanisms, simulation results, telecommunication traffic, computer network management, overhead, network nodes, traffic loads, computerised monitoring, Internet service provider, selective refinement, network management system
4	Qingtang Jiang, S. L. Lee	Spectral properties of matrix continuous refinement operators.	Adv. Comput. Math.	1997	DBLP DOI BibTeX RDF	matrix continuous refinement operators, matrix continuous refinement equations, power iteration, spectrum
4	Juha Plosila, Kaisa Sere	Action Systems in Pipelined Processor Design.	ASYNC	1997	DBLP DOI BibTeX RDF	pipelined processor design, asynchronous pipelined microprocessors, hazard situations, verifying refinement steps, circuit implementation, speed-independent techniques, refinement calculus, refinement calculus, action systems
4	Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider	Correct Architecture Refinement.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	refinement patterns, relative correctness, Software architecture, formal methods, composition, hierarchy, stepwise refinement
4	A. Udaya Shankar, Simon S. Lam	A Stepwise Refinement Heuristic for Protocol Construction.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	conditional refinement, cyclic sequence numbers, message lifetimes, interfaces, stepwise refinement, sliding window protocols, assertional reasoning
4	Pankaj Jalote	Functional Refinement and Nested Objects for Object-Oriented Design.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	nested objects, progressive object refinement, software engineering, Ada, Ada, object-oriented programming, object-oriented design, stepwise refinement, nesting
4	Eduard Diepstraten, Ruurd Kuiper	Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings.	REX Workshop	1989	DBLP DOI BibTeX RDF	ghost variables, history and prophecy variables, Temporal logic, simulation relations, refinement mappings, stuttering
4	A. Udaya Shankar, Simon S. Lam	Construction of Network Protocols by Stepwise Refinement.	REX Workshop	1989	DBLP DOI BibTeX RDF	distributed systems, Specification, refinement, transport protocols, sliding window protocols
4	Tobias Nipkow	Formal Verification of Data Type Refinement - Theory and Practice.	REX Workshop	1989	DBLP DOI BibTeX RDF	Verification, Distributed Processes, Refinement, Implementation, Theorem Proving, Abstract Data Types, Data Types
4	Lucia Pomello	Refinement of Concurrent Systems Based on Local State Transformations.	REX Workshop	1989	DBLP DOI BibTeX RDF	functional abstraction and refinement, observable local/global states, local state transformations, morphisms preserving local state transformations
4	Rob Gerth	Foundations of Compositional Program Refinement - Safety Properties.	REX Workshop	1989	DBLP DOI BibTeX RDF	algebraic process theory, assertional methods, (pre-)congruence, simulation, communication, concurrency, refinement, implementation, completeness, behavior, compositionality, transition system, full abstractness, shared variables
4	Rob J. van Glabbeek, Ursula Goltz	Refinement of Actions in Causality Based Models.	REX Workshop	1989	DBLP DOI BibTeX RDF	Petri nets, Concurrency, action refinement, event structures
4	Simon S. Lam, A. Udaya Shankar	Refinement and Projection of Relational Specifications.	REX Workshop	1989	DBLP DOI BibTeX RDF	distributed systems, protocols, Specification, temporal logic, refinement
4	Jifeng He	Various Simulations and Refinements.	REX Workshop	1989	DBLP DOI BibTeX RDF	Hiding Refinement, Simulation, Refinement, Labelled Transition System
3	Teduh Dirgahayu, Dick A. C. Quartel, Marten van Sinderen	Interaction refinement in the design of business collaborations.	SAC	2010	DBLP DOI BibTeX RDF	collaboration, interaction, refinement, abstraction, conformance
3	Khalid Belhajjame, Norman W. Paton, Suzanne M. Embury, Alvaro A. A. Fernandes, Cornelia Hedeler	Feedback-based annotation, selection and refinement of schema mappings for dataspaces.	EDBT	2010	DBLP DOI BibTeX RDF	mapping annotation, mapping refinement, mapping selection, pay-as-you-go, data integration, user feedback, dataspaces
3	Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu	Graph transformations for object-oriented refinement.	Formal Asp. Comput.	2009	DBLP DOI BibTeX RDF	Class graph, Structure refinement, Object-orientation, Graph transformation, Normal form, Object graph
3	Dominique Cansell, Dominique Méry, Cyril Proch	System-on-chip design by proof-based refinement.	STTT	2009	DBLP DOI BibTeX RDF	Event B method, Simulation, System-on-chip, Refinement, Formal modelling, Operational semantics, SystemC, Proof
3	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.	Multimedia Tools Appl.	2009	DBLP DOI BibTeX RDF	Feature re-weighting, Relevance feedback, Content-based image retrieval, Maximum likelihood estimation, Query refinement
3	Sumit Gulwani, Sagar Jain, Eric Koskinen	Control-flow refinement and progress invariants for bound analysis.	PLDI	2009	DBLP DOI BibTeX RDF	control-flow refinement, progress invariants, formal verification, program verification, termination, bound analysis
3	Sadaaki Miyamoto	Refinement Properties in Agglomerative Hierarchical Clustering.	MDAI	2009	DBLP DOI BibTeX RDF	single linkage, complete linkage, average linkage, refinement, Agglomerative clustering
3	Luo-Ren Lim, Jon Tong-Seung Quah	Towards context information refinement for proximity mobile service using quality of context.	Mobility Conference	2009	DBLP DOI BibTeX RDF	context information refinement, context, quality of context
3	Hyunyoung Kil, Wonhong Nam, Dongwon Lee	Automatic web service composition with abstraction and refinement.	WWW	2009	DBLP DOI BibTeX RDF	refinement, abstraction, service composition
3	Kuntal Nanshi, Fabio Somenzi	Constraints in one-to-many concretization for abstraction refinement.	DAC	2009	DBLP DOI BibTeX RDF	simulation, model checking, abstraction refinement
3	Jiaheng Lu, Zhifeng Bao, Tok Wang Ling, Xiaofeng Meng	XML keyword query refinement.	KEYS	2009	DBLP DOI BibTeX RDF	XML, keyword search, query refinement
3	Mar Yah Said, Michael J. Butler, Colin F. Snook	Language and Tool Support for Class and State Machine Refinement in UML-B.	FM	2009	DBLP DOI BibTeX RDF	UML, Formal specification, Refinement, Event-B, Visual modelling languages
3	Annabelle McIver, Carroll C. Morgan	Sums and Lovers: Case Studies in Security, Compositionality and Refinement.	FM	2009	DBLP DOI BibTeX RDF	Refinement of security, formalised secrecy, hierarchical security reasoning, compositional semantics
3	Guido Boella, Souhila Kaci, Leendert van der Torre	Dynamics in argumentation with single extensions: attack refinement and the grounded extension.	AAMAS	2009	DBLP DOI BibTeX RDF	abstract argumentation, argumentation refinement, dynamics of argumentation, argumentation theory
3	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
3	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
3	Hao Xu, Jingdong Wang, Xian-Sheng Hua, Shipeng Li	Tag refinement by regularized LDA.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	regularized LDA, tag refinement, tag relevance
3	Marta Plaska, Marina A. Waldén, Colin F. Snook	Documenting the Progress of the System Development.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	Progress diagram, Statemachines, Refinement Patterns, UML, Refinement, Graphical representation, Event-B, Action Systems, Stepwise development
3	Gavin Lowe	Specification of communicating processes: temporal logic versus refusals-based refinement.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Refinement testing, Specification, Temporal logic, CSP, Refusals
3	Jifeng He	Service refinement.	Science in China Series F: Information Sciences	2008	DBLP DOI BibTeX RDF	component, refinement, service
3	Thomas Martin Deserno, Mark Oliver Güld, Bartosz Plodowski, Klaus Spitzer, Berthold B. Wein, Henning Schubert, Hermann Ney, Thomas Seidl	Extended Query Refinement for Medical Image Retrieval.	J. Digital Imaging	2008	DBLP DOI BibTeX RDF	usability, Graphical user interface (GUI), relevance feedback, query refinement, web-based interface
3	Constantin Enea	Counterexample Guided Abstraction Refinement is Better under Equational Abstraction.	ECBS	2008	DBLP DOI BibTeX RDF	equational abstraction, CEGAR, verification, refinement
3	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
3	Rodrigo Ramos, Augusto Sampaio, Alexandre Mota	Framework composition conformance via refinement checking.	SAC	2008	DBLP DOI BibTeX RDF	conformance notions, framework composition, refinement, CSP
3	Junhua Ding, Lian Mo, Xudong He	An approach for specification construction using property-preserving refinement patterns.	SAC	2008	DBLP DOI BibTeX RDF	software architecture, refinement, property-preserving
3	Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil	Test Purpose Concretization through Symbolic Action Refinement.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Symbolic Conformance Testing, Test Purpose Concretisation, Model Based Testing, Action Refinement, Test Purpose
3	Bita Gorjiara, Daniel Gajski	Automatic architecture refinement techniques for customizing processing elements.	DAC	2008	DBLP DOI BibTeX RDF	GNR, nanocoded architectures, no-instruction-set computer (NISC), refinement, high-level synthesis, power, ASIP, datapath, netlist
3	Yan Chen, Fei Xie, Jin Yang	Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation.	DAC	2008	DBLP DOI BibTeX RDF	automatic abstraction refinement, generalized symbolic trajectory evaluation, model checking
3	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
3	Jan-Georg Smaus, Jörg Hoffmann	Relaxation Refinement: A New Method to Generate Heuristic Functions.	MoChArt	2008	DBLP DOI BibTeX RDF	Directed model checking, timed automata, predicate abstraction, abstraction refinement
3	A. K. McIver, Carroll C. Morgan, C. Gonzalia	Proofs and Refutations for Probabilistic Refinement.	FM	2008	DBLP DOI BibTeX RDF	quantitative program logic, refinement, constraint solving, counterexamples, Probabilistic systems
3	Jiafeng Guo, Gu Xu, Hang Li, Xueqi Cheng	A unified and discriminative model for query refinement.	SIGIR	2008	DBLP DOI BibTeX RDF	web search, conditional random fields, query refinement
3	Ti Zhou, Mengjun Li, Zhoujun Li	Local abstract verification and refinement of security protocols.	FMSE	2008	DBLP DOI BibTeX RDF	verification, refinement, abstraction, security protocols
3	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
3	Maik Wurdel, Daniel Sinnig, Peter Forbrig	Task Model Refinement with Meta Operators.	DSV-IS	2008	DBLP DOI BibTeX RDF	requirements engineering, refinement, scenarios, Task models
3	Bjørnar Solhaug, Ketil Stølen	Compositional Refinement of Policies in UML - Exemplified for Access Control.	ESORICS	2008	DBLP DOI BibTeX RDF	policy adherence, access control, UML sequence diagrams, Policy specification, policy refinement
3	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.	FMOODS	2008	DBLP DOI BibTeX RDF	non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access
3	Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens	A formal approach to model refactoring and model refinement.	Software and System Modeling	2007	DBLP DOI BibTeX RDF	Behaviour preservation, Description logics, Model-driven engineering, UML 2.0, Model refinement, Model refactoring
3	Simone Röttger, Steffen Zschaler	Tool Support for Refinement of Non-functional Specifications.	Software and System Modeling	2007	DBLP DOI BibTeX RDF	CASE tool support, Refinement, Model transformation, Non-functional properties
3	Dick A. C. Quartel, Maarten W. A. Steen, Stanislav Pokraev, Marten van Sinderen	COSMO: A conceptual framework for service modelling and refinement.	Information Systems Frontiers	2007	DBLP DOI BibTeX RDF	Service concept, Service refinement, Service-orientation, Interaction modelling, Service modelling
3	Sumir Chandra, Xiaolin Li 0001, Taher Saif, Manish Parashar	Enabling scalable parallel implementations of structured adaptive mesh refinement applications.	The Journal of Supercomputing	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
3	Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li	A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement.	FAW	2007	DBLP DOI BibTeX RDF	value passing CCS, valued stable event structures, valued labeled configuration structures, semantics, action refinement
3	Carlos Gonzalia, Annabelle McIver	Automating Refinement Checking in Probabilistic System Design.	ICFEM	2007	DBLP DOI BibTeX RDF	algebraic rewriting system for probability, linear satisfiability, refinement, Probabilistic systems, probabilistic verification
3	Bo Yu, Jinzhao Liu, Chengguo Wang	Rolling Bearing Fault Diagnosis Using Refinement Envelope Analysis Based on the EMD Method.	ICIC	2007	DBLP DOI BibTeX RDF	rolling bearing fault, response modulation methods, EMD methods, DTFT refinement
3	Tong Wen, Jimmy Su, Phillip Colella, Katherine A. Yelick, Noel Keen	An adaptive mesh refinement benchmark for modern parallel programming languages.	SC	2007	DBLP DOI BibTeX RDF	performance, scalability, benchmark, programmability, adaptive mesh refinement, parallel programming languages
3	Pascale Le Gall, Nicolas Rapin, Assia Touil	Symbolic Execution Techniques for Refinement Testing.	TAP	2007	DBLP DOI BibTeX RDF	symbolic transition system, refinement, conformance testing, symbolic execution
3	Frédéric Gervais, Marc Frappier, Régine Laleau	Refinement of eb3 Process Patterns into B Specifications.	B	2007	DBLP DOI BibTeX RDF	data integrity constraints, eb3, process expressions, Information systems, refinement
3	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
3	Mengjun Li, Ti Zhou, Zhoujun Li, Huowang Chen	An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming.	ASIAN	2007	DBLP DOI BibTeX RDF	abstraction and refinement, security protocol
3	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Proving Linearizability Via Non-atomic Refinement.	IFM	2007	DBLP DOI BibTeX RDF	refinement, CSP, Object-Z, linearizability, concurrent access
3	Zhiwen Yu, 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
3	Manoranjan Satpathy, S. Ramesh	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
3	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
3	Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró	Style-based modeling and refinement of service-oriented architectures.	Software and System Modeling	2006	DBLP DOI BibTeX RDF	Architecture refinement, Service-oriented architecture, Graph transformation, Architectural style
3	Hong Mei, Wei Zhang 0004, Haiyan Zhao	A metamodel for modeling system features and their refinement, constraint and interaction relationships.	Software and System Modeling	2006	DBLP DOI BibTeX RDF	Relationships between features, Interaction, Constraint, Refinement, Customization, Feature model
3	Harald Fecher, Mila E. Majster-Cederbaum	Action Refinement Applied to Late Decisions.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Coarsest congruence, Equivalence, Action refinement, Event structure, True concurrency
3	Karl Lermer, Colin J. Fidge	Procedure compilation in the refinement calculus.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Program compilation, Procedures, Predicate transformers, Program refinement
3	Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue	Refinement of actions for real-time concurrent systems with causal ambiguity.	Acta Inf.	2006	DBLP DOI BibTeX RDF	Causal ambiguity, Timed bundle event structure with causal ambiguity, Concurrency, Action refinement
3	Bin Han 0003	Solutions in Sobolev spaces of vector refinement equations with a general dilation matrix.	Adv. Comput. Math.	2006	DBLP DOI BibTeX RDF	vector refinement equation, refinable function vector, cascade algorithm, smoothness, rate of convergence, Sobolev space
3	David C. Thompson, Philippe P. Pébay	Embarrassingly parallel mesh refinement by edge subdivision.	Eng. Comput. (Lond.)	2006	DBLP DOI BibTeX RDF	Adaptive tetrahedral tessellation, Parallel mesh refinement, Streaming subdivision, Symmetric groups
3	Boris Shishkov, Dick A. C. Quartel	Combining SDBC and ISDL in the Modeling and Refinement of Business Processes.	ICEIS (Selected Papers)	2006	DBLP DOI BibTeX RDF	SDBC, ISDL, Refinement, System design, Business process modeling
3	Manu Sridharan, Rastislav Bodík	Refinement-based context-sensitive points-to analysis for Java.	PLDI	2006	DBLP DOI BibTeX RDF	refinement, points-to analysis, context-sensitive analysis, demand-driven analysis
3	Olga Kouchnarenko, Arnaud Lanoix	How to Verify and Exploit a Refinement of Component-Based Systems.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	LTL properties, verification, composition, refinement, modules, component-based systems
3	Torsten Adolph, Willi Schönauer	Parallelization of the Mesh Refinement Algorithm of the FDEM Program Package.	PARA	2006	DBLP DOI BibTeX RDF	Non-linear PDEs, Black-box solver, Parallelization, Error estimate, Unstructured grid, Finite difference method, Mesh refinement
3	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