Search results for "methodology"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli	Methodology and System for Practical Formal Verification of Reactive Hardware.	CAV	1994	DBLP DOI BibTeX RDF
13	Arjan J. C. van Gemund	Performance Prediction of Parallel Processing Systems: The PAMELA Methodology.	International Conference on Supercomputing	1993	DBLP DOI BibTeX RDF
13	Vasanth Bala, Jeanne Ferrante, Larry Carter	Explicit Data Placement (XDP): A Methodology for Explicit Compile-Time Representation and Optimization.	PPoPP	1993	DBLP DOI BibTeX RDF
13	Paul A. Fishwick, Bernard P. Zeigler	A Multimodel Methodology for Qualitative Model Engineering.	ACM Trans. Model. Comput. Simul.	1992	DBLP DOI BibTeX RDF	combined simulation, homomorphism, abstraction levels, systems theory, qualitative simulation, multimodeling
13	Steve Laufmann, D. Michael DeVaney, Mark A. Whiting	A Methodology for Evaluating Potential KBS Applications.	IEEE Expert	1990	DBLP DOI BibTeX RDF
13	Michael A. Palley, Jeffrey S. Simonoff	The Use of Regression Methodology for the Compromise of Confidential Information in Statistical Databases.	ACM Trans. Database Syst.	1987	DBLP DOI BibTeX RDF
13	Roger King, Dennis McLeod	A Database Design Methodology and Tool for Information Systems.	ACM Trans. Inf. Syst.	1985	DBLP DOI BibTeX RDF	INSYDE
13	M. Iachponi, D. Vail, S. Bierly, A. Ignatowski	A hierarchical gate array architecture and design methodology.	DAC	1985	DBLP DOI BibTeX RDF
13	Elliot Soloway	A Cognitively-Based Methodology for Designing Languages/Environments/Methodologies.	Software Development Environments (SDE)	1984	DBLP DOI BibTeX RDF
13	John S. Chandler, Thomas G. DeLutis	A methodology for multi-criteria information system design.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF
12	T. Anitha, S. Aanjankumar, S. Poonkuntran, Anand Nayyar	A novel methodology for malicious traffic detection in smart devices using BI-LSTM-CNN-dependent deep learning methodology.	Neural Comput. Appl.	2023	DBLP DOI BibTeX RDF
12	Daria Tsoupikova, Jeff Nyhoff	Investigating Experimental Design+Theater+Coding Methodology to Teach Virtual Reality Design: A Case Study: Investigating Experimental Design+Theater+Coding Methodology.	SIGGRAPH Educator's Forum	2022	DBLP DOI BibTeX RDF
12	Cong-Sheng Huang, Zheyuan Cheng, Mo-Yuen Chow	A Robust and Efficient State-of-Charge Estimation Methodology for Serial-Connected Battery Packs: Most Significant Cell Methodology.	IEEE Access	2021	DBLP DOI BibTeX RDF
12	Maikel Leemans, Wil M. P. van der Aalst, Mark G. J. van den Brand, Ramon R. H. Schiffelers, Leonard Lensink	Software Process Analysis Methodology - A Methodology Based on Lessons Learned in Embracing Legacy Software.	ICSME	2018	DBLP DOI BibTeX RDF
12	Eduardo Merino, Claudia Zapata, María del Carmen Aguilar	UCD and Agile Methodology in the Development of a Cultural Heritage Platform.	HCI (18)	2017	DBLP DOI BibTeX RDF
12	Kyung Won Cha, Changbeom Choi	Model-Based HCI System Development Methodology.	HCI (18)	2017	DBLP DOI BibTeX RDF
12	Yoav Bergner, Charles Lang, Geraldine Gray	A Focus on Methodology in Learning Analytics: Building a Structurally Sound Bridge Discipline.	MLA/BLAC@LAK	2017	DBLP BibTeX RDF
12	Han Wan, Xiaopeng Gao, Xiang Long	Simulation Methodology Used in Computer Structure Course.	AsiaSim/SCS AutumnSim (1)	2016	DBLP DOI BibTeX RDF
12	Mari Carmen Suárez-Figueroa, Asunción Gómez-Pérez, Mariano Fernández-López	The NeOn Methodology framework: A scenario-based methodology for ontology development.	Appl. Ontology	2015	DBLP DOI BibTeX RDF
12	Dan G. Cacuci	Second-order adjoint sensitivity analysis methodology (2nd-ASAM) for computing exactly and efficiently first- and second-order sensitivities in large-scale linear systems: I. Computational methodology.	J. Comput. Phys.	2015	DBLP DOI BibTeX RDF
12	Álvaro Carrera, Carlos Angel Iglesias, Mercedes Garijo	Beast methodology: An agile testing methodology for multi-agent systems based on behaviour driven development.	Inf. Syst. Frontiers	2014	DBLP DOI BibTeX RDF
12		Comparative Study of ERP Implementation Methodology Case Study: Accelerated SAP VS Dantes & Hasibuan Methodology	CoRR	2013	DBLP BibTeX RDF
12	Yassine Gangat, Denis Payet, Rémy Courdier	Methodology for a New Agent Architecture Based on the MVC Pattern.	AIMSA	2012	DBLP DOI BibTeX RDF
12	Dimitri Papadimitriou, Lluís Fàbrega, Pere Vilà, Davide Careglio, Piet Demeester	Measurement-Based Experimental Research Methodology.	FP7 FIRE/EULER	2012	DBLP DOI BibTeX RDF
12	Dimitris Giatsios, Apostolos Apostolaras, Thanasis Korakis, Leandros Tassiulas	Methodology and Tools for Measurements on Wireless Testbeds: The NITOS Approach.	FP7 FIRE/EULER	2012	DBLP DOI BibTeX RDF
12	Charles B. Keating	Perspective 2 of the SoSE methodology: designing the unique methodology.	Int. J. Syst. Syst. Eng.	2011	DBLP DOI BibTeX RDF
12	Kresimir Solic, Damir Sebo, Franjo Jovic	Methodology for complexity reduction of IT system (adjustment of the sessions' methodology).	MIPRO	2011	DBLP BibTeX RDF
12	W. Zhao, Jike Liu	OWL/SWRL representation methodology for EXPRESS-driven product information model: Part I. Implementation methodology.	Comput. Ind.	2008	DBLP DOI BibTeX RDF
12	Tony Licu, Florin Cioran, Brent Hayward, Andrew Lowe	EUROCONTROL - Systemic Occurrence Analysis Methodology (SOAM) - A "Reason"-based organisational methodology for analysing incidents and accidents.	Reliab. Eng. Syst. Saf.	2007	DBLP DOI BibTeX RDF
12	Seok Won Lee, David C. Rine	Case Study Methodology Designed Research in Software Engineering Methodology Validation.	SEKE	2004	DBLP BibTeX RDF
12	Roger P. Knott, Vojtech Merunka, Jirí Polák	The BORM methodology: a third-generation fully object-oriented methodology.	Knowl. Based Syst.	2003	DBLP DOI BibTeX RDF
12	Lee Schruben, Theresa M. Roeder, Wai Kin Chan, Paul Hyden, Michael Freimer	Advanced event scheduling methodology: advanced event scheduling methodology.	WSC	2003	DBLP DOI BibTeX RDF
12	Jay J. Nejedlo	TRIBuTETM Board and Platform Test Methodology: Intel's Next-Generation Test and Validation Methodology for Platforms.	ITC	2003	DBLP DOI BibTeX RDF
12	Jay J. Nejedlo	IBISTTM (Interconnect Built-in Self-Test) Architecture and Methodology for PCI Express: Intel?s Next-Generation Test and Validation Methodology for Performance IO.	ITC	2003	DBLP DOI BibTeX RDF
12	Janne Järvinen, Seija Komi-Sirviö, Günther Ruhe	The PROFES Improvement Methodology - Enabling Technologies and Methodology Design.	PROFES	2000	DBLP DOI BibTeX RDF
12	Javier Otamendi Fernández de la Puebla	G.E.S.A.S. Methodology: A Methodology for the Generation, Evaluation and Selection of Alternatives via Simulation.	Simul.	1999	DBLP DOI BibTeX RDF
12	Spyros G. Tzafestas, Giorgos B. Stamou	A New Solution Methodology for Fuzzy Relation Equations.	IEA/AIE (Vol. 1)	1998	DBLP DOI BibTeX RDF
12	Heather Watson, Trevor Wood-Harper	Methodology as metaphor: the practical basis for multiview methodology (a reply to M.C. Jackson).	Inf. Syst. J.	1995	DBLP DOI BibTeX RDF
12	Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo (eds.)	Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993	AMAST	1994	DBLP BibTeX RDF
12	Guy Doumeingts, David Chen 0001, Bruno Vallespir, P. Fénié, François Marcotte	GIM (GRAI Integrated Methodology) and its Evolutions - A Methodology to Design and Specify Advanced Manufacturing Systems.	DIISM	1993	DBLP BibTeX RDF
12	James Erik Lamm	Modified election methodology: A methodology for describing human beliefs.		1993	RDF
12	Xue-Miao Lu, Tharam S. Dillon	Towards an Algebraic Theory of Inheritance in Project Oriented Programming.	AMAST	1993	DBLP BibTeX RDF
12	Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters	A Notion of Refinement for Automata.	AMAST	1993	DBLP BibTeX RDF
12	Don Pigozzi, Antonino Salibra	Dimension-Complemented Lambda Abstraction Algebras.	AMAST	1993	DBLP BibTeX RDF
12	Rob J. van Glabbeek	Full Abstraction in Structural Operational Semantics (Extended Abstract).	AMAST	1993	DBLP BibTeX RDF
12	Maura Cerioli, Gianna Reggio	Algebraic-Oriented Institutions.	AMAST	1993	DBLP BibTeX RDF
12	Martin Gogolla, Ingo Claßen	An Object-Oriented Design for the ACT ONE Environment.	AMAST	1993	DBLP BibTeX RDF
12	George Loegel, Chinya V. Ravishankar	An Algebraic Approach to Modeling in Software Engineering.	AMAST	1993	DBLP BibTeX RDF
12	Till Mossakowski	Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods.	AMAST	1993	DBLP BibTeX RDF
12	Steve A. Schneider	Rigorous Specification of Real-Time Systems.	AMAST	1993	DBLP BibTeX RDF
12	Peter Thiemann 0001	An Overview of the SODA System.	AMAST	1993	DBLP BibTeX RDF
12	David de Frutos-Escrig	A Characterization of LOTOS Representable Networks of Parallel Processes.	AMAST	1993	DBLP BibTeX RDF
12	François Laroussinie, Sophie Pinchinat, Philippe Schnoebelen	Translation Results for Modal Logics of Reactive Systems.	AMAST	1993	DBLP BibTeX RDF
12	Martin Erwig	Specifying Type Systems with Multi-Level Order-Sorted Algebra.	AMAST	1993	DBLP BibTeX RDF
12	Dominique Bolignano, Mourad Debbabi	A Coherent Type System for a Concurrent, Functional and Imperative Programming Language.	AMAST	1993	DBLP BibTeX RDF
12	Rudolf Berghammer, Gunther Schmidt 0001	RELVIEW - A Computer System for the Manipulation of Relations.	AMAST	1993	DBLP BibTeX RDF
12	Ruth Breu, Michael Breu	Abstract and Concrete Objects - An Algebraic Design Method for Object-Based Systems.	AMAST	1993	DBLP BibTeX RDF
12	Abdelillah Mokkedem, Dominique Méry	On Using a Composition Principle to Design Parallel Programs.	AMAST	1993	DBLP BibTeX RDF
12	Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt 0001	RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker.	AMAST	1993	DBLP BibTeX RDF
12	Roberto Gorrieri, Marco Roccetti	Towards Performance Evaluation in Process Algebras.	AMAST	1993	DBLP BibTeX RDF
12	Chris Brink, Katarina Britz	Peirce Algebras.	AMAST	1993	DBLP BibTeX RDF
12	Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray	Joining Abstract and Concrete Computations in Constraint Logic Programming.	AMAST	1993	DBLP BibTeX RDF
12	Thony van der Vloedt	The LOTOS Toolbox.	AMAST	1993	DBLP BibTeX RDF
12	Michael Johnson, Christopher N. G. Dampney	On the Value of Commutative Diagrams in Information Modelling.	AMAST	1993	DBLP BibTeX RDF
12	Roger D. Maddux	Relation Algebras for Reasoning about Time and Space.	AMAST	1993	DBLP BibTeX RDF
12	Ed Brinksma	On the Coverage of Partial Validations.	AMAST	1993	DBLP BibTeX RDF
12	Arie van Deursen, T. B. Dinesh, Emma van der Meulen	The ASF+SDF Meta-environment.	AMAST	1993	DBLP BibTeX RDF
12	Julio García-Martín, Juan José Moreno-Navarro	A Formal Definition of an Abstract Prolog Compiler (Extended Abstract).	AMAST	1993	DBLP BibTeX RDF
12	Elizabeth A. Scott	Automated Proof of the Correctness of a Compiling Specification.	AMAST	1993	DBLP BibTeX RDF
12	Naima Brown, Dominique Méry	Towards an Integrated Environment for Concurrent programs Development.	AMAST	1993	DBLP BibTeX RDF
12	Hartmut Ehrig, Francesco Parisi-Presicce	Interaction between Algebraic Specification Grammars and Modular System Design.	AMAST	1993	DBLP BibTeX RDF
12	Pasquale Malacaria	Equivalences of Transition Systems in an Algebraic Framework.	AMAST	1993	DBLP BibTeX RDF
12	Marisa Navarro, Fernando Orejas, Ana Sánchez	On the Correctness of Modular Systems.	AMAST	1993	DBLP BibTeX RDF
12	Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond	Synchronous Observers and the Verification of Reactive Systems.	AMAST	1993	DBLP BibTeX RDF
12	Hubert Comon	Constraints in Term Algebras (Short Survey).	AMAST	1993	DBLP BibTeX RDF
12	Rudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt 0001, Paulo A. S. Veloso	Comparing Two Different Approaches to Products in Abstract Relation Algebra.	AMAST	1993	DBLP BibTeX RDF
12	Valentin M. Antimirov, Anatoli Degtyarev	Completeness of Equational Definitions over Predefined Algebras.	AMAST	1993	DBLP BibTeX RDF
12	Aurel Cornell, John Knaack, A. Nangia, Teodor Rus	Real-Time Program Synthesis from Specifications.	AMAST	1993	DBLP BibTeX RDF
12	Khalil Drira, Pierre Azéma	Verifying Communication Protocols Via Testing-Projection.	AMAST	1993	DBLP BibTeX RDF
12	Tim Sheard	Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection.	AMAST	1993	DBLP BibTeX RDF
12	Arie van Deursen, Peter D. Mosses	Executing Action Semantic Descriptions using ASF+SDF.	AMAST	1993	DBLP BibTeX RDF
12	Gillian Hill	Category Theory for the Configuration of Complex Systems.	AMAST	1993	DBLP BibTeX RDF
12	Eric G. Wagner	The Role of Memory in Object-based and Object-oriented Languages.	AMAST	1993	DBLP BibTeX RDF
12	R. K. Shyamasundar	Specification of Hybrid Systems in CRP.	AMAST	1993	DBLP BibTeX RDF
12	Ismar Neumann Kaufman, Silvio Romero de Lemos Meira	Modal Action Logic in a Practical Specification Language.	AMAST	1993	DBLP BibTeX RDF
12	Eugenio Battiston, V. Crespi, Fiorella de Cindio, Giancarlo Mauri	Semantics Frameworks for a Class of Modular Algebraic Nets.	AMAST	1993	DBLP BibTeX RDF
12	Hajnal Andréka, István Németi, Ildikó Sain	Applying Algebraic Logic to Logic.	AMAST	1993	DBLP BibTeX RDF
12	Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo (eds.)	Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991	AMAST	1992	DBLP BibTeX RDF
12	Benedict du Boulay, Vassil Stoyanov Sgurev (eds.)	Artificial Intelligence V: Methodology, Systems, Applications - Proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1992, Sofia, Bulgaria, September 21-24, 1992	AIMSA	1992	DBLP BibTeX RDF
12	Vladimir Pericliev, Alexander Grigorov	Extending Definite Clause Grammar to Handle Flexible Word Order.	AIMSA	1992	DBLP BibTeX RDF
12	Ludmila Dolmatova	The Range Scale as Result of Inductive Learning.	AIMSA	1992	DBLP BibTeX RDF
12	Christo Dichev	Logic Programming with Worlds.	AIMSA	1992	DBLP BibTeX RDF
12	Paulo Quaresma, José Gabriel Pereira Lopes	A Two-Headed Architecture for Intelligent Multimedia Man-Machine Interaction.	AIMSA	1992	DBLP BibTeX RDF
12	Matija Drobnic, Matjaz Gams	Analysis of Classification With Two Classifiers.	AIMSA	1992	DBLP BibTeX RDF
12	Ilia Iv. Dimitrov	Systems-Based Knowledge Representation: Relations and Methods.	AIMSA	1992	DBLP BibTeX RDF
12	Gennady Agre	Using Bayesian Networks for Technical Diagnosis.	AIMSA	1992	DBLP BibTeX RDF
12	Cezary Z. Janikow	Some Experiments with a Stochastic Production System for Supervised Inductive Learning.	AIMSA	1992	DBLP BibTeX RDF
12	Stefano Marcugini, Alfredo Milani, Maurizio Terragnolo	Plans as Planning Objects.	AIMSA	1992	DBLP BibTeX RDF
12	Boicho N. Kokinov	Similarity in Analogical Reasoning.	AIMSA	1992	DBLP BibTeX RDF
12	Vassil Stoyanov Sgurev, Vladimir Simov Jotsov	Inconsistent Information Processing in Knowledge Based Systems.	AIMSA	1992	DBLP BibTeX RDF