Search results for "refinement"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Kevin Carey, Vincent Wade	Realising Adaptive Web Services through Automated Policy Refinement.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
26	Heiner Kirchhoffer, Detlev Marpe, Thomas Wiegand	A Context Modeling Scheme for Coding of Texture Refinement Information.	ICIP (6)	2007	DBLP DOI BibTeX RDF
26	Mohamed Nassim Seghir, Andreas Podelski	ACSAR: Software Model Checking with Transfinite Refinement.	SPIN	2007	DBLP DOI BibTeX RDF
26	Sudipta Kundu, Sorin Lerner, Rajesh Gupta 0001	Automated refinement checking of concurrent systems.	ICCAD	2007	DBLP DOI BibTeX RDF
26	Shuaiqiang Wang, Jiancheng Wan, Jinkui Hou	OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving.	SNPD (3)	2007	DBLP DOI BibTeX RDF
26	Frédéric Roulland, Aaron N. Kaplan, Stefania Castellani, Claude Roux, Antonietta Grasso, Karin Pettersson, Jacki O'Neill	Query Reformulation and Refinement Using NLP-Based Sentence Clustering.	ECIR	2007	DBLP DOI BibTeX RDF
26	Yan Chen 0001, Yujing He, Fei Xie, Jin Yang 0006	Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation.	FMCAD	2007	DBLP DOI BibTeX RDF
26	Annalisa Bossi, Carla Piazza, Sabina Rossi	Action Refinement in Process Algebra and Security Issues.	LOPSTR	2007	DBLP DOI BibTeX RDF
26	Steve Reeves, David Streader	Feature Refinement.	SEFM	2007	DBLP DOI BibTeX RDF
26	Judy Bowen, Steve Reeves	Formal Refinement of Informal GUI Design Artefacts.	ASWEC	2006	DBLP DOI BibTeX RDF
26	Peter Höfner, Bernhard Möller, Kim Solin	Omega Algebra, Demonic Refinement Algebra and Commands.	RelMiCS	2006	DBLP DOI BibTeX RDF
26	Javier Rubio-Loyola, Joan Serrat 0001, Marinos Charalambides, Paris Flegkas, George Pavlou	GOREMOCH: A Distributed Goal-oriented Policy Refinement Environment.	NOMS	2006	DBLP DOI BibTeX RDF
26	Tim McComb, Graeme Smith 0001	Compositional Class Refinement in Object-Z.	FM	2006	DBLP DOI BibTeX RDF
26	Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah	Refinement strategies for verification methods based on datapath abstraction.	ASP-DAC	2006	DBLP DOI BibTeX RDF
26	Rajeev Alur, Pavol Cerný, Steve Zdancewic	Preserving Secrecy Under Refinement.	ICALP (2)	2006	DBLP DOI BibTeX RDF
26	Dinakar Dhurjati, Manuvir Das, Yue Yang	Path-Sensitive Dataflow Analysis with Iterative Refinement.	SAS	2006	DBLP DOI BibTeX RDF
26	Mehmet Balman	Tetrahedral Mesh Refinement in Distributed Environments.	ICPP Workshops	2006	DBLP DOI BibTeX RDF
26	Davide Alemani, Bastien Chopard, Josep Galceran, Jacques Buffle	Time Splitting and Grid Refinement Methods in the Lattice Boltzmann Framework for Solving a Reaction-Diffusion Process.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
26	Chi-Wang Ho, Oscar C. Au, S.-H. Gary Chan, Hoi-Ming Wong, Shu-Kei Yip	Improved refinement search for H.263 to H.264/AVC transcoding based on the minimum cost tendency search.	ISCAS	2006	DBLP DOI BibTeX RDF
26	Claudia Pons, Diego García	An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE.	MoDELS	2006	DBLP DOI BibTeX RDF
26	Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou	Policy refinement for DiffServ quality of service management.	Integrated Network Management	2005	DBLP DOI BibTeX RDF
26	Moshe Deutsch, Martin C. Henson	An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement.	APSEC	2005	DBLP DOI BibTeX RDF
26	Taesu Park, Min Hyuk Chang, Jong-An Park	Color and Edge Refinement Method for Content Based Image Retrieval.	ISVC	2005	DBLP DOI BibTeX RDF
26	Byron Cook, Andreas Podelski, Andrey Rybalchenko	Abstraction Refinement for Termination.	SAS	2005	DBLP DOI BibTeX RDF
26	Ralf Kähler, Steffen Prohaska, Andrei Hutanu, Hans-Christian Hege	Visualization of Time-Dependent Remote Adaptive Mesh Refinement Data.	IEEE Visualization	2005	DBLP DOI BibTeX RDF	Time-Varying Data Visualization, Visualization over Networks, Multiresolution Visualization
26	Wuwei Shen, Weng Liong Low	Using the Metamodel Mechanism to Support Class Refinement.	ICECCS	2005	DBLP DOI BibTeX RDF
26	Maty Sylla, Frank A. Stomp, Willem P. de Roever	Verifying Parameterized Refinement.	ICECCS	2005	DBLP DOI BibTeX RDF
26	Jacob Chang, Sergey Berezin, David L. Dill	Using Interface Refinement to Integrate Formal Verification into the Design Cycle.	CAV	2004	DBLP DOI BibTeX RDF
26	Daniel Kroening, Alex Groce, Edmund M. Clarke	Counterexample Guided Abstraction Refinement Via Program Execution.	ICFEM	2004	DBLP DOI BibTeX RDF
26	Michael Jones, Aaron Benson, Dan Delorey	Proving Compatibility Using Refinement.	TPHOLs	2004	DBLP DOI BibTeX RDF
26	Zhiming Liu 0001, Jifeng He 0001, Xiaoshan Li	rCOS: Refinement of Component and Object Systems.	FMCO	2004	DBLP DOI BibTeX RDF
26	Nenad Stojanovic, Ljiljana Stojanovic	A Logic-Based Approach for Query Refinement in Ontology-Based Information Retrieval S.	ICTAI	2004	DBLP DOI BibTeX RDF
26	Ammar Aljer, Philippe Devienne	Co-Design and Refinement for Safety Critical Systems.	DFT	2004	DBLP DOI BibTeX RDF
26	Chaoyuan Cui, Hanxiong Chen, Kazutaka Furuse, Nobuo Ohbo	Web Query Refinement without Information Loss.	APWeb	2004	DBLP DOI BibTeX RDF
26	Hiroyuki Ozaki, Katsuhiko Gondow, Takuya Katayama	Class Refinement for Software Evolution.	IWPSE	2003	DBLP DOI BibTeX RDF
26	Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko	How to Compute the Refinement Relation for Parameterized Systems.	MEMOCODE	2003	DBLP DOI BibTeX RDF
26	Sharon Shoham, Orna Grumberg	A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement.	CAV	2003	DBLP DOI BibTeX RDF
26	Neil J. Robinson	Incremental Derivation of Abstraction Relations for Data Refinement.	ICFEM	2003	DBLP DOI BibTeX RDF
26	Moshe Deutsch, Martin C. Henson	An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics.	APSEC	2003	DBLP DOI BibTeX RDF
26	Olga Kouchnarenko, Arnaud Lanoix	Refinement and Verification of Synchronized Component-Based Systems.	FME	2003	DBLP DOI BibTeX RDF
26	Moshe Deutsch, Martin C. Henson	An Analysis of Forward Simulation Data Refinement.	ZB	2003	DBLP DOI BibTeX RDF
26	Carla Ferreira 0001, Michael J. Butler	Using B Refinement to Analyse Compensating Business Processes.	ZB	2003	DBLP DOI BibTeX RDF
26	Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi	Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation.	TACAS	2003	DBLP DOI BibTeX RDF
26	Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi	Refinement Operators and Information Flow Security.	SEFM	2003	DBLP DOI BibTeX RDF
26	Florentin Ipate, Mike Holcombe	An Integrated Refinement and Testing Method for Stream X-machines.	Appl. Algebra Eng. Commun. Comput.	2002	DBLP DOI BibTeX RDF
26	Ian J. Hayes	The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming.	ICATPN	2002	DBLP DOI BibTeX RDF
26	Yuyan Chao, Norimitsu Kawana, Lifeng He, Tsuyoshi Nakamura, Hidenori Itoh	R-UNSEARCHMO: A Refinement on UNSEARCHMO.	PRICAI	2002	DBLP DOI BibTeX RDF
26	Thomas Santen, Maritta Heisel, Andreas Pfitzmann	Confidentiality-Preserving Refinement is Compositional - Sometimes.	ESORICS	2002	DBLP DOI BibTeX RDF
26	Ioannis P. Ivrissimtzis, Hans-Peter Seidel	Polyhedra Operators for Mesh Refinement.	GMP	2002	DBLP DOI BibTeX RDF
26	Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper	Refinement of Higher-Order Logic Programs.	LOPSTR	2002	DBLP DOI BibTeX RDF
26	Michael Leuschel, Thierry Massart, Andrew Currie	How to Make FDR Spin LTL Model Checking of CSP by Refinement.	FME	2001	DBLP DOI BibTeX RDF
26	Oleg Iliev, Dimitar Stoyanov	Multigrid - Adaptive Local Refinement Solver for Incompressible Flows.	LSSC	2001	DBLP DOI BibTeX RDF
26	Dominique Cansell, Dominique Méry	Playing with Abstraction and Refinement for Managing Features Interactions.	ZB	2000	DBLP DOI BibTeX RDF
26	John Derrick, Graeme Smith 0001	Structural Refinement in Object-Z/CSP.	IFM	2000	DBLP DOI BibTeX RDF
26	Karl Lermer, Paul A. Strooper	A Single Complete Refinement Rule for Demonic Specifications.	IFIP TCS	2000	DBLP DOI BibTeX RDF
26	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani	Assume-Guarantee Refinement Between Different Time Scales.	CAV	1999	DBLP DOI BibTeX RDF
26	John Derrick, Eerke A. Boiten	Non-atomic Refinement in Z.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
26	Mauno Rönkkö, Kaisa Sere	Refinement and Continuous Behaviour.	HSCC	1999	DBLP DOI BibTeX RDF
26	Jo Erskine Hannay	Specification Refinement with System F.	CSL	1999	DBLP DOI BibTeX RDF
26	Beverly A. Sanders	Data Refinement of Mixed Specifications.	Acta Informatica	1998	DBLP DOI BibTeX RDF
26	Ralph-Johan Back, Qiwen Xu	Refinement of Fair Action Systems.	Acta Informatica	1998	DBLP DOI BibTeX RDF
26	Ana Cavalcanti 0001, Jim Woodcock 0001	ZRC - A Refinement Calculus for Z.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Formal methods, Weakest preconditions, Program development
26	Ronald F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan	Partition Refinement in Real-Time Model Checking.	FTRTFT	1998	DBLP DOI BibTeX RDF
26	Arend Rensink, Heike Wehrheim	Dependency-Based Action Refinement.	MFCS	1997	DBLP DOI BibTeX RDF
26	Michaela Huhn	Action Refinement and Property Inheritance in Systems of Sequential Agents.	CONCUR	1996	DBLP DOI BibTeX RDF
26	Paul Mukherjee	System Refinement in VDM-SL.	ICECCS	1996	DBLP DOI BibTeX RDF
26	Morten Elvang-Gøransson, Robert E. Fields	An Extended VDM Refinement Relation.	FME	1994	DBLP DOI BibTeX RDF
26	Ralph-Johan Back, Joakim von Wright	Trace Refinement of Action Systems.	CONCUR	1994	DBLP DOI BibTeX RDF
26	Antonio Cau, Willem P. de Roever	Using Relative Refinement for Fault Tolerance.	FME	1993	DBLP DOI BibTeX RDF
26	Tim Niblett	A Note on Refinement Operators.	ECML	1993	DBLP DOI BibTeX RDF	Category Short Paper
26	Pierpaolo Degano, Roberto Gorrieri	Atomic Refinement in Process Description Languages.	MFCS	1991	DBLP DOI BibTeX RDF
26	Pi-Sheng Deng, Clyde W. Holsapple, Andrew B. Whinston	A Skill Refinement Learning Model for Rule-Based Expert Systems.	IEEE Expert	1990	DBLP DOI BibTeX RDF
25	Alan M. Frisch	Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming.	ILP	1999	DBLP DOI BibTeX RDF
25	Steve Reeves, David Streader	General Refinement, Part Two: Flexible Refinement.	Refine@FM	2008	DBLP DOI BibTeX RDF
25	Steve Reeves, David Streader	General Refinement, Part One: Interfaces, Determinism and Special Refinement.	Refine@FM	2008	DBLP DOI BibTeX RDF
25	Lindsay Groves	Deriving language recognition algorithms: A case study in combining program specialisation and data refinement.	Refine	1994	DBLP DOI BibTeX RDF
25	Joakim von Wright	Program Refinement by Theorem Prover.	Refine	1994	DBLP DOI BibTeX RDF
25	Colin J. Fidge	Proof Obligations for Real-Time Refinement.	Refine	1994	DBLP DOI BibTeX RDF
25	Mike Ainsworth, Peter J. L. Wallis	Co-Refinement.	Refine	1994	DBLP DOI BibTeX RDF
25	Kevin Lano, Howard P. Haughton	Improving the Process of System Specification and Refinement in B.	Refine	1994	DBLP DOI BibTeX RDF
25	David Garlan	Using Refinement to Understand Architectural Connection.	Refine	1994	DBLP DOI BibTeX RDF
25	Kevin Lano	Refinement in Object-Oriented Specification Languages.	Refine	1994	DBLP DOI BibTeX RDF
25	Raymond G. Nickson, Lindsay J. Groves	Metavariables and Conditional Refinements in the Refinement Calculus.	Refine	1994	DBLP DOI BibTeX RDF
25	Lindsay Groves, Raymond G. Nickson, Mark Utting	A Tactic Driven Refinement Tool.	Refine	1992	DBLP DOI BibTeX RDF
25	Job Zwiers, J. Coenen, Willem P. de Roever	A Note on Compositional Refinement.	Refine	1992	DBLP DOI BibTeX RDF
25	Maurice Naftalin	A Model of the Refinement Process.	Refine	1992	DBLP DOI BibTeX RDF
25	Jim Grundy	A Window Inference Tool for Refinement.	Refine	1992	DBLP DOI BibTeX RDF
25	Andrew M. Gravell	Constructive Refinement of First Order Specifications.	Refine	1992	DBLP DOI BibTeX RDF
25	Colin O'Halloran	Refinement and Confidentiality.	Refine	1992	DBLP DOI BibTeX RDF
24	Marta Plaska, Marina 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
24	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
24	Graeme Smith 0001, Ian J. Hayes	An Introduction to Real-Time Object-Z.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Real-time refinement, Timed refinement calculus, Object-Z, Real-time specification
24	Daniel Gajski, Junyu Peng	Optimal Message-Passing for Data Coherency in Distributed Architecture.	ISSS	2002	DBLP DOI BibTeX RDF	architecture refinement, automatic variable refinement, system level design
24	Lindsay Groves	A formal approach to program modification.	APSEC	2000	DBLP DOI BibTeX RDF	semantically based transformations, program conjunction operator, software maintenance, software maintenance, software reuse, software reusability, refinement calculus, refinement calculus, program modification
24	Zhong Su, HongJiang Zhang, Shaoping Ma	Using Bayesian classifier in relevant feedback of image retrieval.	ICTAI	2000	DBLP DOI BibTeX RDF	positive feedback examples, negative feedback examples, query space distribution, dibbling process, image penalization, retrieval refinement process, progressive learning capability, past feedback information, image retrieval, relevance feedback, relevance feedback, content-based image retrieval, image classification, content-based retrieval, Bayes methods, Bayesian classifier, query refinement
24	Jason Cong, Lei He 0001	Optimal wiresizing for interconnects with multiple sources.	ACM Trans. Design Autom. Electr. Syst.	1996	DBLP DOI BibTeX RDF	bundled refinement, decomposition of multi-source routing tree, dominance property, multi-source net, multi-source routing tree, optimal wiresizing, variable segment-division, high performance, SPICE, fidelity, interconnect optimization, Elmore delay, local refinement, layout optimization
24	V. K. Murthy	Transactional programming for distributed agent systems.	ICPADS	1996	DBLP DOI BibTeX RDF	transactional programming, multiagent programming paradigm, transactional logic model, DATRAP, production rule system, high-level data structures, execution semantics, computational complexity, complexity, formal specification, formal specification, database, distributed algorithms, distributed program, granularity, refinement calculus, refinement calculus, active objects, distributed agent systems
23	Annabelle McIver	The Secret Art of Computer Programming.	ICTAC	2009	DBLP DOI BibTeX RDF	compositional security, refinement of ignorance, program semantics, Proofs of security
23	Tamal K. Dey, Joshua A. Levine	Delaunay meshing of isosurfaces.	Vis. Comput.	2008	DBLP DOI BibTeX RDF	Mesh generation, Isosurfaces, Delaunay refinement
23	Katalin Popovici, Ahmed Amine Jerraya	Simulink based hardware-software codesign flow for heterogeneous MPSoC.	SCSC	2007	DBLP BibTeX RDF	hardware-software gradual refinement, multimedia applications, abstraction levels