Search results for "rigorous"

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