|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6405 occurrences of 2962 keywords
|
|
|
Results
Found 12900 publication records. Showing 12900 according to the selection in the facets
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 |
Displaying result #301 - #400 of 12900 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|