|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3013 occurrences of 1943 keywords
|
|
|
Results
Found 3560 publication records. Showing 3560 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
80 | Yuri Breitbart, Dimitrios Georgakopoulos 0001, Marek Rusinkiewicz, Abraham Silberschatz |
On Rigorous Transaction Scheduling. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
rigorous transaction scheduling, transaction scheduling mechanisms, transaction serialization order, commitment order, multidatabase system environment, analogous execution, serialization orders, rigorous schedulers, hierarchical transaction management mechanisms, global serializability, scheduling, distributed databases, concurrency control, transaction processing, database theory |
61 | Liliana Favre, Liliana Martinez, Claudia Pereira |
Transforming UML Static Models into Object-Oriented Code. |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
UML static models, reuse based rigorous method, object oriented code generation, rigorous process, GSBL/sup OO/ language, SpReIm model, OCL specifications, object-oriented programming, software maintenance, software maintenance, specification languages, software reusability, program compilers, object-oriented languages, algebraic specification, algebraic specifications, reusable components, UML class diagrams, forward engineering, design artifacts |
55 | Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng |
Managing Complexity in Real-Time Reactive Systems. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
complexity management, complexity categories, rigorous development, TROMLAB, rigorous framework, real-time systems, process model, software measurement, real time reactive systems, measurement methods |
54 | Jean-Raymond Abrial, Uwe Glässer |
06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis. |
Rigorous Methods for Software Construction and Analysis |
2007 |
DBLP BibTeX RDF |
|
54 | Jean-Raymond Abrial, Uwe Glässer |
06191 Summary -- Rigorous Methods for Software Construction and Analysis. |
Rigorous Methods for Software Construction and Analysis |
2007 |
DBLP BibTeX RDF |
|
47 | Elad Barkan, Eli Biham, Adi Shamir |
Rigorous Bounds on Cryptanalytic Time/Memory Tradeoffs. |
CRYPTO |
2006 |
DBLP DOI BibTeX RDF |
Time/memory tradeoff, time/memory/data tradeoff, hidden state, stateful random graph, Hellman, lower bound, Cryptanalysis, rigorous, Rainbow |
47 | Gernot Richter, Bruno Maffeo |
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
translation principles, rigorous interpretation, ESML, extended systems modeling language, graphics-based language, data flow diagram notation, transformation schema, token game, real-time systems, real-time systems, Petri nets, Petri nets, systems analysis, visual languages, control logic |
41 | Christian Jansson |
Rigorous Error Bounds for the Optimal Value of Linear Programming Problems. |
COCOS |
2002 |
DBLP DOI BibTeX RDF |
rigorous error bounds, linear programming, branch-and-bound, sensitivity analysis, interval arithmetic |
40 | Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (eds.) |
Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Richard Banach, Huibiao Zhu |
Moded and Continuous Abstract State Machines. |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Klaus-Dieter Schewe |
Computation on Structures - Behavioural Theory, Logic, Complexity. |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Emanuele Covino, Giovanni Pani |
Analysis of Mobile Networks' Protocols Based on Abstract State Machine. |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Don S. Batory, Jeho Oh, Ruben Heradio, David Benavides 0001 |
Product Optimization in Stepwise Design. |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Matthes Elstermann, André Wolski, Albert Fleischmann, Christian Stary, Stephan Borgert |
The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes. |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Stefan Bodenmüller, Gerhard Schellhorn, Martin Bitterlich, Wolfgang Reif |
Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System. |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Flavio Ferrarotti, Senén González |
ASM Specification and Refinement of a Quantum Algorithm. |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Andreas Prinz 0001 |
What is the Natural Abstraction Level of an Algorithm? |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Michael Leuschel |
Spot the Difference: A Detailed Comparison Between B and Event-B. |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner |
Semantic Splitting of Conditional Belief Bases. |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
Language and Communication Problems in Formalization: A Natural Language Approach. |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Jonathan P. Bowen |
Communities and Ancestors Associated with Egon Börger and ASM. |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Wolf Zimmermann, Mandy Weißbach |
A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines. |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Johann A. Makowsky |
Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond. |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Bernhard Thalheim |
Models and Modelling in Computer Science. |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Klaus Ambos-Spies |
Some Observations on Mitotic Sets. |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Yamine Aït Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh 0001 |
Towards Leveraging Domain Knowledge in State-Based Formal Methods. |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
The ASMETA Approach to Safety Assurance of Software Systems. |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Jean-Raymond Abrial, Uwe Glässer (eds.) |
Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Michael Leuschel, Dominique Cansell, Michael J. Butler |
Validating and Animating Higher-Order Recursive Functions in B. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Sylvain Boulmé, Marie-Laure Potet |
Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a laSpec#. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Peter Müller 0001, Joseph N. Ruskiewicz |
A Modular Verification Methodology for C# Delegates. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Jonathan P. Bowen, Michael G. Hinchey |
Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, Wolfgang Reif |
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Ten Reasons to Metamodel ASMs. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack |
On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Helen Treharne, Steve A. Schneider, Neil Grant, Neil Evans, Wilson Ifill |
A Step towards Merging xUML and CSP || {\| \ }B. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Dominique Cansell, Dominique Méry |
Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer, George Ma |
CoreASM Plug-In Architecture. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Markus Kirchberg, Klaus-Dieter Schewe, Jane Zhao |
Using Abstract State Machines for the Design of Multi-level Transaction Schedulers. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Peggy Schmidt, Bernhard Thalheim |
Management of UML Clusters. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Vincenzo Gervasi, Roozbeh Farahbod |
JASMine: Accessing Java Code from CoreASM. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Andreas Glausch, Wolfgang Reisig |
An ASM-Characterization of a Class of Distributed Algorithms. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Michael Leuschel, Jens Bendisposto |
Animating and Model Checking B Specifications with Higher-Order Recursive Functions. |
Rigorous Methods for Software Construction and Analysis |
2007 |
DBLP BibTeX RDF |
|
40 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Exploiting the ASM method within the Model-driven Engineering paradigm. |
Rigorous Methods for Software Construction and Analysis |
2007 |
DBLP BibTeX RDF |
|
40 | Jean-Raymond Abrial, Uwe Glässer (eds.) |
Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006 |
Rigorous Methods for Software Construction and Analysis |
2006 |
DBLP BibTeX RDF |
|
40 | Malcolm Tyrrell, Andrew Butterfield, Alexis Donnelly |
OO-Motivated Process Algebra: A Calculus for CORBA-like Systems. |
Rigorous Object-Oriented Methods |
2000 |
DBLP BibTeX RDF |
|
40 | Joachim Fischer, Eckhardt Holz, Martin von Löwis, Andreas Prinz 0001 |
SDL-2000: A Language with a Formal Semantics. |
Rigorous Object-Oriented Methods |
2000 |
DBLP BibTeX RDF |
|
40 | T. S. E. Maibaum |
An Overview of The Mensurae Language: Specifying Business Processes. |
Rigorous Object-Oriented Methods |
2000 |
DBLP BibTeX RDF |
|
40 | Anthony J. H. Simons |
On the Compositional Properties of UML Statechart Diagrams. |
Rigorous Object-Oriented Methods |
2000 |
DBLP BibTeX RDF |
|
40 | Tony Clark 0001 |
Object-Oriented Refinement and Proof using Behaviour Functions. |
Rigorous Object-Oriented Methods |
2000 |
DBLP BibTeX RDF |
|
40 | Pascal André, Annya Romanczuk, Jean-Claude Royer |
Checking the Consistency of UML Class Diagrams Using Larch Prover. |
Rigorous Object-Oriented Methods |
2000 |
DBLP BibTeX RDF |
|
40 | Annette Laue, Matthias Liedtke, Daniel Moldt, Ivana Trickovic |
Statecharts as Protocols for Objects. |
Rigorous Object-Oriented Methods |
2000 |
DBLP BibTeX RDF |
|
40 | Bogumila Hnatkowska, Zbigniew Huzar |
Extending the UML with a Multicast Synchronisation. |
Rigorous Object-Oriented Methods |
2000 |
DBLP BibTeX RDF |
|
40 | Kevin Lano, Juan Bicarregui, Andy Evans |
Structured Axiomatic Semantics for UML Models. |
Rigorous Object-Oriented Methods |
2000 |
DBLP BibTeX RDF |
|
40 | Shmuel Katz |
Rigorous Fault Tolerance Using Aspects and Formal Methods. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, formal methods, aspect orientation |
36 | Piotr Zgliczynski |
Rigorous Numerics for Dissipative Partial Differential Equations II. Periodic Orbit for the Kuramoto-Sivashinsky PDE-A Computer-Assisted Proof. |
Found. Comput. Math. |
2004 |
DBLP DOI BibTeX RDF |
Periodic orbit, Dissipative PDEs, Galerkin projection, Rigorous numerics |
34 | Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky |
Rigorous Development of Fault-Tolerant Agent Systems. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Divakar Yadav, Michael J. Butler |
Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Myong H. Kang, Judith N. Froscher, Ira S. Moskowitz |
A framework for MLS interoperability. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
MLS interoperability framework, distributed object oriented computing, location independence, MLS products, rigorous evaluation/certification procedures, security critical components, MLS architectural framework, security critical components/functions, secure use, parallel programming, software reuse, component based development, legacy systems, multilevel security, architectural framework, computing paradigm |
31 | Dehui Du, Jing Liu 0012, Honghua Cao |
A Rigorous Model of Contract-Based Service Component Architecture. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Andy Georges, Dries Buytaert, Lieven Eeckhout |
Statistically rigorous java performance evaluation. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
java, benchmarking, methodology, statistics, data analysis |
28 | Colin F. Snook, Michael Poppleton, Ian Johnson |
Towards a Method for Rigorous Development of Generic Requirements Patterns. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Richard F. Paige, Jonathan S. Ostroff |
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. |
pUML |
2001 |
DBLP BibTeX RDF |
|
27 | Vangalur S. Alagar, L. Zhang |
Automatic code generation for real-time reactive systems in TROMLAB environment. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
TROMLAB environment, rigorous framework, railroad crossing problem, benchmark example, generic real time Java libraries, Java code, Java, real-time systems, program compilers, automatic programming, software libraries, automatic code generation, real time reactive systems, implementation model |
27 | William G. Howerton, Michael G. Hinchey |
Using the Right Tool for the Job. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
integration phases, development technique, informal specification techniques, abstract highly structured models, rigorous analysis, Air Force Weather Agency Standard Degribber, meteorological system, data decoding/encoding, World Meteorological Organization, standard Gridded Binary format, state based issues, complete specification, tool box approach, UML, formal specification, formal methods, semantics, software specification, specification technique, formal notation, modular approach, component specification, complex systems development |
27 | Jean-Pierre Jacquot, A. Valdenaire |
Trading legibility against implementability in requirement specifications: an experimental assessment. |
RE |
1995 |
DBLP DOI BibTeX RDF |
experimental assessment, elisions, flexible syntaxes, incomplete texts, GLIDER, rigorous assessment, term parsing, human factor features, formal specification, formal specifications, specification languages, specification language, requirement specifications, grammars |
27 | John C. Knight, Bev Littlewood |
Guest Editors' Introduction: Critical Task of Writing Dependable Software. |
IEEE Softw. |
1994 |
DBLP DOI BibTeX RDF |
dependable software, rigorous techniques, mathematical techniques, program writing, programming, software reliability, safety, safety-critical software |
27 | Ramin Mojdehbakhsh, Wei-Tek Tsai, Shekhar H. Kirani, Lynn Elliott |
Retrofitting Software Safety in an Implantable Medical Device. |
IEEE Softw. |
1994 |
DBLP DOI BibTeX RDF |
retrofitting, cardiac rhythm management device, regulatory agencies, rigorous software safety analysis technique, safety faults, software modification, software reliability, safety, legislation, medical computing, prosthetics, safety verification, implantable medical device, pacemakers |
27 | Geoff Barrett |
Formal Methods Applied to a Floating-Point Number System. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
floating-point number system, binary floating-point arithmetic, ANSI/IEEE Std. 754-1985, set-theoretic specification language, sequential components, unpack, operands, proven rules, mathematically rigorous method, Inmos IMS T800 transputer, formal specification, formal methods, specification languages, digital arithmetic, Z, formalization, round, pack, program development, IEEE standard, floating-point unit, internal representations |
26 | Jeff Kramer, Jeff Magee |
A Rigorous Architectural Approach to Adaptive Software Engineering. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
software architecture, adaptive systems, autonomic systems, self-managed systems |
26 | Pete P. Janes, Alistair P. Rendell |
Including Rigorous Numerical Bounds in Quantum Chemistry Calculations: Gaussian Integral Evaluation. |
CSE |
2008 |
DBLP DOI BibTeX RDF |
Error analysis, Interval arithmetic, Chemistry |
26 | François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant |
Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits. |
AB |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Christian Keil, Christian Jansson |
Computational Experience with Rigorous Error Bounds for the Netlib Linear Programming Library. |
Reliab. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Droste |
A rigorous analysis of the compact genetic algorithm for linear functions. |
Nat. Comput. |
2006 |
DBLP DOI BibTeX RDF |
runtime, theoretical analysis, compact genetic algorithm |
26 | Florian Forster |
Cost and benefit of rigorous decoupling with context-specific interfaces. |
PPPJ |
2006 |
DBLP DOI BibTeX RDF |
Java-specific metrics, software engineering with Java, the Java language, tools for Java programming, optimization |
26 | Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ridge, Peter Sewell |
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL. |
ICNP |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Jeff Kramer |
Distributed Software Engineering: a Rigorous Architectural Approach. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Joshua D. Guttman, Amy L. Herzog |
Rigorous automated network security management. |
Int. J. Inf. Sec. |
2005 |
DBLP DOI BibTeX RDF |
Filtering routers, IP security protocols, Formal methods, Network security, Security management |
26 | Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith 0008, Keith Wansbrough |
Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets. |
SIGCOMM |
2005 |
DBLP DOI BibTeX RDF |
specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL |
26 | Erik Rosenthal |
Formal Versus Rigorous Mathematics: How to Get Your Papers Published. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
nature of proof, rigor, formal mathematics |
26 | Timothy J. Hickey, David K. Wittenberg |
Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Shaoying Liu |
An Automated Rigorous Review Method for Verifying and Validating Formal Specifications. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Michela Farenzena, Alessandro Busti, Andrea Fusiello, Arrigo Benedetti |
Rigorous Accuracy Bounds for Calibrated Stereo Reconstruction. |
ICPR (4) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Joshua J. Yi, David J. Lilja, Douglas M. Hawkins |
A Statistically Rigorous Approach for Improving Simulation Methodology. |
HPCA |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Shaoying Liu |
Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specification. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Warwick Tucker |
A Rigorous ODE Solver and Smale's 14th Problem. |
Found. Comput. Math. |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Regine Laleau, Fiona Polack |
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Vangalur S. Alagar, Mao Zheng |
A Rigorous Method for Testing Real-Time Reactive Systems. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Gwendolyn H. Walton |
Developing and Verifying Rigorous Specifications with Viewpoints, Use Cases, and Sequence-based Specification Methods. |
HICSS |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Arnon Rosenthal, David S. Reiner |
Tools and Transformations - Rigorous and Otherwise - for Practical Database Design. |
ACM Trans. Database Syst. |
1994 |
DBLP DOI BibTeX RDF |
applications of database theory, data model translation, database equivalence, heuristics, normalization, database design, computer-aided software engineering, entity-relationship model, view integration, design heuristics |
22 | Fumiko Nagoya, Shaoying Liu, Yuting Chen |
A Tool and Case Study for Specification-Based Program Review. |
COMPSAC (1) |
2005 |
DBLP DOI BibTeX RDF |
Rigorous review, verification, formal specifications, inspection |
22 | Zasha Weinberg, Walter L. Ruzzo |
Faster genome annotation of non-coding RNA families without loss of accuracy. |
RECOMB |
2004 |
DBLP DOI BibTeX RDF |
covariance models, gene families, genome annotation, histone downstream element, hyperthermophile archaea snoRNA, iron response element, rigorous filter, profile hidden Markov models, non-coding RNA |
22 | John Oliensis |
A Multi-Frame Structure-from-Motion Algorithm under Perspective Projection. |
Int. J. Comput. Vis. |
1999 |
DBLP DOI BibTeX RDF |
multi-frame structure from motion, two-frame algorithms, partial calibration, rigorous results, experiments, reconstruction, structure from motion, perspective, orthographic projection, shape from X, optimal estimation, bas-relief ambiguity |
22 | Walter Krämer |
A Priori Worst Case Error Bounds for Floating-Point Computations. |
IEEE Trans. Computers |
1998 |
DBLP DOI BibTeX RDF |
Rigorous error bounds, table-lookup algorithms, elementary function algorithms, automation of error analysis |
22 | Byung Suk Lee 0001, Gio Wiederhold |
Outer Joins and Filters for Instantiating Objects from Relational Databases Through Views. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
outer joins, view queries, left outer joins, inner joins, selection conditions, view definition, rigorous system model, null options, object instantiation, semantics, object-oriented programming, object-oriented programs, query processing, relational databases, relational databases, filters, relational algebra, tuples, information loss, object attribute |
22 | David J. Aldous, Umesh V. Vazirani |
"Go With the Winners" Algorithms |
FOCS |
1994 |
DBLP DOI BibTeX RDF |
worst case running time, Go with the winners, randomized optimization algorithms, rigorous analysis, deep leaf, probability of success, searching, tree, worst-case |
20 | Hung X. Nguyen, Matthew Roughan |
Rigorous statistical analysis of internet loss measurements. |
SIGMETRICS |
2010 |
DBLP DOI BibTeX RDF |
performance measurement, accuracy, loss rate |
20 | Mauricio Chui Rodrigues, Simon Malkowski, João Eduardo Ferreira |
Implementing rigorous web services with process algebra: navigation plan for web services. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
web services, workflow, implementation, software, process algebra, BPEL |
20 | Kenneth J. Turner, Koon Leai Larry Tan |
A Rigorous Methodology for Composing Services. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
20 | David Robert White, Simon M. Poulding |
A Rigorous Evaluation of Crossover and Mutation in Genetic Programming. |
EuroGP |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 3560 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|