|
|
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 |
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 |
|
Displaying result #401 - #500 of 12900 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|