The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for rigorous with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1959-1978 (16) 1980-1985 (23) 1986-1988 (24) 1989-1990 (22) 1991 (17) 1992 (21) 1993 (23) 1994 (42) 1995 (37) 1996 (41) 1997 (52) 1998 (55) 1999 (79) 2000 (121) 2001 (136) 2002 (124) 2003 (138) 2004 (204) 2005 (249) 2006 (318) 2007 (321) 2008 (297) 2009 (224) 2010 (73) 2011 (82) 2012 (69) 2013 (48) 2014 (42) 2015 (55) 2016 (45) 2017 (49) 2018 (63) 2019 (59) 2020 (110) 2021 (102) 2022 (74) 2023 (98) 2024 (7)
Publication types (Num. hits)
article(1143) book(9) incollection(53) inproceedings(2293) phdthesis(49) proceedings(13)
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
80Yuri Breitbart, Dimitrios Georgakopoulos 0001, Marek Rusinkiewicz, Abraham Silberschatz On Rigorous Transaction Scheduling. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
61Liliana Favre, Liliana Martinez, Claudia Pereira Transforming UML Static Models into Object-Oriented Code. Search on Bibsonomy TOOLS (37) The full citation details ... 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
55Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng Managing Complexity in Real-Time Reactive Systems. Search on Bibsonomy ICECCS The full citation details ... 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
54Jean-Raymond Abrial, Uwe Glässer 06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2007 DBLP  BibTeX  RDF
54Jean-Raymond Abrial, Uwe Glässer 06191 Summary -- Rigorous Methods for Software Construction and Analysis. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2007 DBLP  BibTeX  RDF
47Elad Barkan, Eli Biham, Adi Shamir Rigorous Bounds on Cryptanalytic Time/Memory Tradeoffs. Search on Bibsonomy CRYPTO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Time/memory tradeoff, time/memory/data tradeoff, hidden state, stateful random graph, Hellman, lower bound, Cryptanalysis, rigorous, Rainbow
47Gernot Richter, Bruno Maffeo Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
41Christian Jansson Rigorous Error Bounds for the Optimal Value of Linear Programming Problems. Search on Bibsonomy COCOS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF rigorous error bounds, linear programming, branch-and-bound, sensitivity analysis, interval arithmetic
40Alexander 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 Search on Bibsonomy Logic, Computation and Rigorous Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Richard Banach, Huibiao Zhu Moded and Continuous Abstract State Machines. Search on Bibsonomy Logic, Computation and Rigorous Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Klaus-Dieter Schewe Computation on Structures - Behavioural Theory, Logic, Complexity. Search on Bibsonomy Logic, Computation and Rigorous Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Emanuele Covino, Giovanni Pani Analysis of Mobile Networks' Protocols Based on Abstract State Machine. Search on Bibsonomy Logic, Computation and Rigorous Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Don S. Batory, Jeho Oh, Ruben Heradio, David Benavides 0001 Product Optimization in Stepwise Design. Search on Bibsonomy Logic, Computation and Rigorous Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Matthes 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. Search on Bibsonomy Logic, Computation and Rigorous Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Stefan Bodenmüller, Gerhard Schellhorn, Martin Bitterlich, Wolfgang Reif Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System. Search on Bibsonomy Logic, Computation and Rigorous Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Flavio Ferrarotti, Senén González ASM Specification and Refinement of a Quantum Algorithm. Search on Bibsonomy Logic, Computation and Rigorous Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Andreas Prinz 0001 What is the Natural Abstraction Level of an Algorithm? Search on Bibsonomy Logic, Computation and Rigorous Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Michael Leuschel Spot the Difference: A Detailed Comparison Between B and Event-B. Search on Bibsonomy Logic, Computation and Rigorous Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner Semantic Splitting of Conditional Belief Bases. Search on Bibsonomy Logic, Computation and Rigorous Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Alessandro Fantechi, Stefania Gnesi, Laura Semini Language and Communication Problems in Formalization: A Natural Language Approach. Search on Bibsonomy Logic, Computation and Rigorous Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Jonathan P. Bowen Communities and Ancestors Associated with Egon Börger and ASM. Search on Bibsonomy Logic, Computation and Rigorous Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Wolf Zimmermann, Mandy Weißbach A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines. Search on Bibsonomy Logic, Computation and Rigorous Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Johann A. Makowsky Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond. Search on Bibsonomy Logic, Computation and Rigorous Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Bernhard Thalheim Models and Modelling in Computer Science. Search on Bibsonomy Logic, Computation and Rigorous Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Klaus Ambos-Spies Some Observations on Mitotic Sets. Search on Bibsonomy Logic, Computation and Rigorous Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Yamine Aït Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh 0001 Towards Leveraging Domain Knowledge in State-Based Formal Methods. Search on Bibsonomy Logic, Computation and Rigorous Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra The ASMETA Approach to Safety Assurance of Software Systems. Search on Bibsonomy Logic, Computation and Rigorous Methods The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Jean-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 Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Michael Leuschel, Dominique Cansell, Michael J. Butler Validating and Animating Higher-Order Recursive Functions in B. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Sylvain Boulmé, Marie-Laure Potet Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a laSpec#. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Peter Müller 0001, Joseph N. Ruskiewicz A Modular Verification Methodology for C# Delegates. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Jonathan P. Bowen, Michael G. Hinchey Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, Wolfgang Reif A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra Ten Reasons to Metamodel ASMs. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Helen Treharne, Steve A. Schneider, Neil Grant, Neil Evans, Wilson Ifill A Step towards Merging xUML and CSP || {\| \ }B. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Dominique Cansell, Dominique Méry Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer, George Ma CoreASM Plug-In Architecture. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Markus Kirchberg, Klaus-Dieter Schewe, Jane Zhao Using Abstract State Machines for the Design of Multi-level Transaction Schedulers. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Peggy Schmidt, Bernhard Thalheim Management of UML Clusters. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Vincenzo Gervasi, Roozbeh Farahbod JASMine: Accessing Java Code from CoreASM. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Andreas Glausch, Wolfgang Reisig An ASM-Characterization of a Class of Distributed Algorithms. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Michael Leuschel, Jens Bendisposto Animating and Model Checking B Specifications with Higher-Order Recursive Functions. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2007 DBLP  BibTeX  RDF
40Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra Exploiting the ASM method within the Model-driven Engineering paradigm. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2007 DBLP  BibTeX  RDF
40Jean-Raymond Abrial, Uwe Glässer (eds.) Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006 Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2006 DBLP  BibTeX  RDF
40Malcolm Tyrrell, Andrew Butterfield, Alexis Donnelly OO-Motivated Process Algebra: A Calculus for CORBA-like Systems. Search on Bibsonomy Rigorous Object-Oriented Methods The full citation details ... 2000 DBLP  BibTeX  RDF
40Joachim Fischer, Eckhardt Holz, Martin von Löwis, Andreas Prinz 0001 SDL-2000: A Language with a Formal Semantics. Search on Bibsonomy Rigorous Object-Oriented Methods The full citation details ... 2000 DBLP  BibTeX  RDF
40T. S. E. Maibaum An Overview of The Mensurae Language: Specifying Business Processes. Search on Bibsonomy Rigorous Object-Oriented Methods The full citation details ... 2000 DBLP  BibTeX  RDF
40Anthony J. H. Simons On the Compositional Properties of UML Statechart Diagrams. Search on Bibsonomy Rigorous Object-Oriented Methods The full citation details ... 2000 DBLP  BibTeX  RDF
40Tony Clark 0001 Object-Oriented Refinement and Proof using Behaviour Functions. Search on Bibsonomy Rigorous Object-Oriented Methods The full citation details ... 2000 DBLP  BibTeX  RDF
40Pascal André, Annya Romanczuk, Jean-Claude Royer Checking the Consistency of UML Class Diagrams Using Larch Prover. Search on Bibsonomy Rigorous Object-Oriented Methods The full citation details ... 2000 DBLP  BibTeX  RDF
40Annette Laue, Matthias Liedtke, Daniel Moldt, Ivana Trickovic Statecharts as Protocols for Objects. Search on Bibsonomy Rigorous Object-Oriented Methods The full citation details ... 2000 DBLP  BibTeX  RDF
40Bogumila Hnatkowska, Zbigniew Huzar Extending the UML with a Multicast Synchronisation. Search on Bibsonomy Rigorous Object-Oriented Methods The full citation details ... 2000 DBLP  BibTeX  RDF
40Kevin Lano, Juan Bicarregui, Andy Evans Structured Axiomatic Semantics for UML Models. Search on Bibsonomy Rigorous Object-Oriented Methods The full citation details ... 2000 DBLP  BibTeX  RDF
40Shmuel Katz Rigorous Fault Tolerance Using Aspects and Formal Methods. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fault tolerance, formal methods, aspect orientation
36Piotr Zgliczynski Rigorous Numerics for Dissipative Partial Differential Equations II. Periodic Orbit for the Kuramoto-Sivashinsky PDE-A Computer-Assisted Proof. Search on Bibsonomy Found. Comput. Math. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Periodic orbit, Dissipative PDEs, Galerkin projection, Rigorous numerics
34Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky Rigorous Development of Fault-Tolerant Agent Systems. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Divakar Yadav, Michael J. Butler Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Myong H. Kang, Judith N. Froscher, Ira S. Moskowitz A framework for MLS interoperability. Search on Bibsonomy HASE The full citation details ... 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
31Dehui Du, Jing Liu 0012, Honghua Cao A Rigorous Model of Contract-Based Service Component Architecture. Search on Bibsonomy CSSE (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Andy Georges, Dries Buytaert, Lieven Eeckhout Statistically rigorous java performance evaluation. Search on Bibsonomy OOPSLA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF java, benchmarking, methodology, statistics, data analysis
28Colin F. Snook, Michael Poppleton, Ian Johnson Towards a Method for Rigorous Development of Generic Requirements Patterns. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Richard F. Paige, Jonathan S. Ostroff A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. Search on Bibsonomy pUML The full citation details ... 2001 DBLP  BibTeX  RDF
27Vangalur S. Alagar, L. Zhang Automatic code generation for real-time reactive systems in TROMLAB environment. Search on Bibsonomy RTCSA The full citation details ... 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
27William G. Howerton, Michael G. Hinchey Using the Right Tool for the Job. Search on Bibsonomy ICECCS The full citation details ... 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
27Jean-Pierre Jacquot, A. Valdenaire Trading legibility against implementability in requirement specifications: an experimental assessment. Search on Bibsonomy RE The full citation details ... 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
27John C. Knight, Bev Littlewood Guest Editors' Introduction: Critical Task of Writing Dependable Software. Search on Bibsonomy IEEE Softw. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF dependable software, rigorous techniques, mathematical techniques, program writing, programming, software reliability, safety, safety-critical software
27Ramin Mojdehbakhsh, Wei-Tek Tsai, Shekhar H. Kirani, Lynn Elliott Retrofitting Software Safety in an Implantable Medical Device. Search on Bibsonomy IEEE Softw. The full citation details ... 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
27Geoff Barrett Formal Methods Applied to a Floating-Point Number System. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
26Jeff Kramer, Jeff Magee A Rigorous Architectural Approach to Adaptive Software Engineering. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software architecture, adaptive systems, autonomic systems, self-managed systems
26Pete P. Janes, Alistair P. Rendell Including Rigorous Numerical Bounds in Quantum Chemistry Calculations: Gaussian Integral Evaluation. Search on Bibsonomy CSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Error analysis, Interval arithmetic, Chemistry
26Franç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. Search on Bibsonomy AB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Christian Keil, Christian Jansson Computational Experience with Rigorous Error Bounds for the Netlib Linear Programming Library. Search on Bibsonomy Reliab. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Stefan Droste A rigorous analysis of the compact genetic algorithm for linear functions. Search on Bibsonomy Nat. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF runtime, theoretical analysis, compact genetic algorithm
26Florian Forster Cost and benefit of rigorous decoupling with context-specific interfaces. Search on Bibsonomy PPPJ The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Java-specific metrics, software engineering with Java, the Java language, tools for Java programming, optimization
26Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ridge, Peter Sewell Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL. Search on Bibsonomy ICNP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Jeff Kramer Distributed Software Engineering: a Rigorous Architectural Approach. Search on Bibsonomy QSIC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Joshua D. Guttman, Amy L. Herzog Rigorous automated network security management. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Filtering routers, IP security protocols, Formal methods, Network security, Security management
26Steve 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. Search on Bibsonomy SIGCOMM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL
26Erik Rosenthal Formal Versus Rigorous Mathematics: How to Get Your Papers Published. Search on Bibsonomy TABLEAUX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF nature of proof, rigor, formal mathematics
26Timothy J. Hickey, David K. Wittenberg Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints. Search on Bibsonomy HSCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Shaoying Liu An Automated Rigorous Review Method for Verifying and Validating Formal Specifications. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Michela Farenzena, Alessandro Busti, Andrea Fusiello, Arrigo Benedetti Rigorous Accuracy Bounds for Calibrated Stereo Reconstruction. Search on Bibsonomy ICPR (4) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Joshua J. Yi, David J. Lilja, Douglas M. Hawkins A Statistically Rigorous Approach for Improving Simulation Methodology. Search on Bibsonomy HPCA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Shaoying Liu Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specification. Search on Bibsonomy APSEC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Warwick Tucker A Rigorous ODE Solver and Smale's 14th Problem. Search on Bibsonomy Found. Comput. Math. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Regine Laleau, Fiona Polack Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. Search on Bibsonomy ZB The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Vangalur S. Alagar, Mao Zheng A Rigorous Method for Testing Real-Time Reactive Systems. Search on Bibsonomy APSEC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Gwendolyn H. Walton Developing and Verifying Rigorous Specifications with Viewpoints, Use Cases, and Sequence-based Specification Methods. Search on Bibsonomy HICSS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Arnon Rosenthal, David S. Reiner Tools and Transformations - Rigorous and Otherwise - for Practical Database Design. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 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
22Fumiko Nagoya, Shaoying Liu, Yuting Chen A Tool and Case Study for Specification-Based Program Review. Search on Bibsonomy COMPSAC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Rigorous review, verification, formal specifications, inspection
22Zasha Weinberg, Walter L. Ruzzo Faster genome annotation of non-coding RNA families without loss of accuracy. Search on Bibsonomy RECOMB The full citation details ... 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
22John Oliensis A Multi-Frame Structure-from-Motion Algorithm under Perspective Projection. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 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
22Walter Krämer A Priori Worst Case Error Bounds for Floating-Point Computations. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Rigorous error bounds, table-lookup algorithms, elementary function algorithms, automation of error analysis
22Byung Suk Lee 0001, Gio Wiederhold Outer Joins and Filters for Instantiating Objects from Relational Databases Through Views. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 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
22David J. Aldous, Umesh V. Vazirani "Go With the Winners" Algorithms Search on Bibsonomy FOCS The full citation details ... 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
20Hung X. Nguyen, Matthew Roughan Rigorous statistical analysis of internet loss measurements. Search on Bibsonomy SIGMETRICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF performance measurement, accuracy, loss rate
20Mauricio Chui Rodrigues, Simon Malkowski, João Eduardo Ferreira Implementing rigorous web services with process algebra: navigation plan for web services. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF web services, workflow, implementation, software, process algebra, BPEL
20Kenneth J. Turner, Koon Leai Larry Tan A Rigorous Methodology for Composing Services. Search on Bibsonomy FMICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
20David Robert White, Simon M. Poulding A Rigorous Evaluation of Crossover and Mutation in Genetic Programming. Search on Bibsonomy EuroGP The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license