Search results for "methodology"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Vénérée Randrianarisoa, Jean-Francois Bernier, Robert Bergevin	Detection of Multi-Part Objects by Top-Down Perceptual Grouping.	CRV	2005	DBLP DOI BibTeX RDF	methodology, object detection, perceptual grouping, top-down processing
12	Juan Antonio Carballo	Open HW, Open Design SW, and the VC Ecosystem Dilemma.	IWSOC	2005	DBLP DOI BibTeX RDF	design, methodology, System, ROI, valuation, chip
12	Eitan Frachtenberg, Dror G. Feitelson	Pitfalls in Parallel Job Scheduling Evaluation.	JSSPP	2005	DBLP DOI BibTeX RDF	dynamic workload, static workload, simulation, performance evaluation, parallel job scheduling, experimental methodology
12	Esperanza Marcos, Belén Vela, José María Cavero	A methodological approach for object-relational database design using UML.	Inform. Forsch. Entwickl.	2004	DBLP DOI BibTeX RDF	SQL: 1999, UML, Design Methodology, Database Design, Oracle, Stereotypes, Object-Relational Databases, UML extensions, Object Persistence
12	Zhihua Zhang, Kap Luk Chan, Yiming Wu, Chibiao Chen	Learning a multivariate Gaussian mixture model with the reversible jump MCMC algorithm.	Stat. Comput.	2004	DBLP DOI BibTeX RDF	reversible jump methodology, split and combine moves, Gaussian mixture model, Bayesian inference, model selection, Markov chain Monte Carlo
12	Melanie Tory, Torsten Möller	Human Factors in Visualization Research.	IEEE Trans. Vis. Comput. Graph.	2004	DBLP DOI BibTeX RDF	visualization, Human factors, methodology, perception, cognitive support
12	Gary F. Templeton, Steven A. Morris, Charles A. Snyder, Bruce R. Lewis	Methodological and Thematic Prescriptions for Defining and Measuring the Organizational Learning Concept.	Inf. Syst. Frontiers	2004	DBLP DOI BibTeX RDF	domain definition, measurement, methodology, instrumentation, organizational learning, construct
12	Joaquín Aca, Arturo Molina 0001, Inés Ferrer, Marta Albertí	Experiences in Product, Process, and Facility Development: A Case of Study.	CDVE	2004	DBLP DOI BibTeX RDF	Design product methodology, Product and process modelling, reference model, cooperative engineering, Concurrent design
12	Vladimir I. Gorodetski, Oleg Karsaev, Vladimir Samoilov, Victor Konushy, Evgeny Mankov, Alexey Malyshev	Multi-Agent System Development Kit.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	Software engineering, Multi agent systems, Software tool, Methodology
12	Nicolas Guelfi, Guillaume Le Cousin, Benoît Ries	Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions.	OTM Workshops	2004	DBLP DOI BibTeX RDF	Cross-enterprise business processes modeling, fault-tolerance, UML, verification, validation, methodology, tools, advanced transaction model
12	Edgar Mauricio Camacho-Galeano, Carlos Galup-Montoro, Márcio C. Schneider	An ultra-low-power self-biased current reference.	SBCCI	2004	DBLP DOI BibTeX RDF	inversion level, self-cascode MOSFET, design methodology, low-voltage, ultra-low-power, current reference
12	Juan Pavón, Juan M. Corchado, Jorge J. Gómez-Sanz, Luis Fernando Castillo Ossa	Mobile Tourist Guide Services with Software Agents.	MATA	2004	DBLP DOI BibTeX RDF	Tourism Application Software, Ambience Intelligence, INGENIAS agent-oriented methodology, Software Agents, Mobile Services
12	Mathee Olarnsakul, Dentcho N. Batanov	A Method for Developing Component-Oriented Applications: A Use-Context Driven Approach Toward Component Coordination.	Knowl. Inf. Syst.	2003	DBLP DOI BibTeX RDF	Modeling and object orientation, Coordination, Methodology, Software reusability, Component-based software development
12	Cynthia Dwork, Moni Naor, Omer Reingold, Larry J. Stockmeyer	Magic Functions.	J. ACM	2003	DBLP DOI BibTeX RDF	Fiat-Shamir methodology, interactive argument, magic function, selective decommitment, Digital signature, zero knowledge, interactive proof system
12	Sachin Adlakha, Saurabh Ganeriwal, Curt Schurgers, Mani B. Srivastava	Density, accuracy, delay and lifetime tradeoffs in wireless sensor networks - a multidimensional design perspective.	SenSys	2003	DBLP DOI BibTeX RDF	design time methodology, quality of service, sensor networks
12	Paolo Ceravolo, Ernesto Damiani, Michele Marchesi, Sandro Pinna, Francesco Zavatarelli	A Ontology-based Process Modelling for XP.	APSEC	2003	DBLP DOI BibTeX RDF	Extreme Programming Methodology, Ontology, Software Engineering, Agile Methodologies
12	Robert Snelick, Mike Indovina, James Yen, Alan Mink	Multimodal biometrics: issues in design and testing.	ICMI	2003	DBLP DOI BibTeX RDF	evaluation, system design, fusion, normalization, multimodal biometrics, testing methodology
12	Chang-Shing Perng, David Thoenen, Genady Grabarnik, Sheng Ma, Joseph L. Hellerstein	Data-driven validation, completion and construction of event relationship networks.	KDD	2003	DBLP DOI BibTeX RDF	ERN Construction, ERN Validation, action oriented-analysis, event management methodology, event relationship networks, proactive management, root cause analysis
12	Tanvir Ahmed 0002, Anand R. Tripathi	Static verification of security requirements in role based CSCW systems.	SACMAT	2003	DBLP DOI BibTeX RDF	finite-state based model checking, methodology for access control policy design, role based access control, security policy specification
12	Sam J. Racine, John P. Curtin	Developing an airline freight management system: meeting airline and end-user challenges.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF	mouseless entry, web applications, design methodology
12	Ke Deng, Hong Shen 0001	Self-projecting Time Series Forecast - An Online Stock Trend Forecast System .	ISPA	2003	DBLP DOI BibTeX RDF	Self-projecting, Box-Jenkins methodology, linear transfer function, time series, forecast, ARIMA
12	Ken Y. Chan, Gregor von Bochmann	Modeling IETF Session Initiation Protocol and Its Services in SDL.	SDL Forum	2003	DBLP DOI BibTeX RDF	Telelogic, UML, SIP, Design Methodology, SDL, Software Specification, Use Case, MSC, Internet Telephony
12	John K. Debenham	A Rigorous Approach to Knowledge Base Maintenance.	IEA/AIE	2003	DBLP DOI BibTeX RDF	expert systems, intelligent systems, KBS methodology
12	Jason Stinson, Stefan Rusu	A 1.5GHz third generation itanium® 2 processor.	DAC	2003	DBLP DOI BibTeX RDF	on-die cache, reliability, test, design methodology, processor
12	Chandu Visweswariah	Death, taxes and failing chips.	DAC	2003	DBLP DOI BibTeX RDF	parametric yield prediction, design methodology, Statistical timing
12	M. Josie Ammer, Michael Sheets, Tufan C. Karalar, Mika Kuulusa, Jan M. Rabaey	A low-energy chip-set for wireless intercom.	DAC	2003	DBLP DOI BibTeX RDF	low power, wireless communication, design methodology
12	Thomas Juan, Leon Sterling, Maurizio Martelli, Viviana Mascardi	Customizing AOSE methodologies by reusing AOSE features.	AAMAS	2003	DBLP DOI BibTeX RDF	AOSE features, modular methodology, agent oriented software engineering
12	Vincent Hilaire, Abder Koukam, Pablo Gruer	A Mechanism for Dynamic Role Playing.	Agent Technologies, Infrastructures, Tools, and Applications for E-Services	2002	DBLP DOI BibTeX RDF	Multi-agent systems, formal specification, methodology
12	William Goveia, Carol Rhodes	Navigating new waters: a proposal for dealing with emerging technology.	SIGUCCS	2002	DBLP DOI BibTeX RDF	methodology, emerging technology, needs assessment, new technology
12	Stephanie Rosenbaum, Gilbert Cockton, Kara Pernice Coyne, Michael J. Muller, Thyra L. Rauch	Focus groups in HCI: wealth of information or waste of resources?	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	usability, ethnography, participatory design, methodology, focus groups, market research
12	Lonny L. Chu	User performance and haptic design issues for a force-feedback sound editing interface.	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	sound editing, haptics, design methodology, audio
12	Ingo Sander, Axel Jantsch, Zhonghai Lu	A Case Study of Hardware and Software Synthesis in ForSyDe.	ISSS	2002	DBLP DOI BibTeX RDF	system design, design methodology, software synthesis, hardware synthesis
12	Hiroto Yasuura, Naofumi Takagi, Srivaths Ravi 0001, Michael Torla, Catherine H. Gebotys	Special Session: Security on SoC.	ISSS	2002	DBLP DOI BibTeX RDF	sequence charts, simulation, validation methodology
12	Jürgen Ruf, Thomas Kropf, Jochen Klose	A Visual Approach to Validating System Level Designs.	ISSS	2002	DBLP DOI BibTeX RDF	sequence charts, simulation, validation methodology
12	Kurt Keutzer, Sharad Malik, A. Richard Newton	From ASIC to ASIP: The Next Design Discontinuity.	ICCD	2002	DBLP DOI BibTeX RDF	Programmable platforms, Design methodology, Application Specific Integrated Circuits, ASIC, Application Specific Instruction Set Processors, ASIP
12	Niels-Ingvar Boer, Peter J. van Baalen, Kuldeep Kumar	An Activity Theory Approach for Studying the Dynamics of Knowledge Sharing.	HICSS	2002	DBLP DOI BibTeX RDF	activity system, social rules, mediating artifacts, methodology, knowledge sharing, activity theory, epistemology, social context, division of labor
12	Patrick Pantel, Dekang Lin	Document clustering with committees.	SIGIR	2002	DBLP DOI BibTeX RDF	machine learning, document clustering, evaluation methodology, document representation
12	Jens Lienig, Goeran Jerke, Thorsten Adler	Electromigration Avoidance in Analog Circuits: Two Methodologies for Current-Driven Routing.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	wire width, wire planning, current-driven routing, Design methodology, electromigration, detailed routing, current density, analog circuit design
12	Pnina Soffer, Boaz Golany, Dov Dori, Yair Wand	Modelling Off-the-Shelf Information Systems Requirements: An Ontological Approach.	Requir. Eng.	2001	DBLP DOI BibTeX RDF	Off-the-shelf information systems, Ontology, Conceptual model, Requirements specification, Object-Process Methodology
12	Khaled El Emam, Saïda Benlarbi, Nishith Goel, Shesh N. Rai	The Confounding Effect of Class Size on the Validity of Object-Oriented Metrics.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	metrics validation, object-oriented quality, inheritance metrics, cohesion metrics, software quality, Object-oriented metrics, coupling metrics, validation methodology
12	Suprateek Sarker, Francis Y. Lau, Sundeep Sahay	Using an adapted grounded theory approach for inductive theory building about virtual team development.	Data Base	2001	DBLP DOI BibTeX RDF	qualitative methodology, virtual team development, interpretive, coding, grounded theory
12	Petros Panagiotidis, John S. Edwards	Developing Intrinsically Motivated Information Systems-A Critical Systems Approach.	Inf. Syst. Frontiers	2001	DBLP DOI BibTeX RDF	business systems, false consciousness, methodology, power, coercion, complementarism
12	A. Diagne	Control Properties in Object-Oriented Specifications.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF	Object Methodology, Control Properties, Verification & Validation, Petri Nets
12	Thomas Roth-Berghofer, Thomas Reinartz	MAMA: A Maintenance Manual for Case-Based Reasoning Systems.	ICCBR	2001	DBLP DOI BibTeX RDF	CBR process, maintenance manual, methodology, process model, maintenance, Case-Based Reasoning
12	G. D. Hubert, Carolyn L. Cukierman	Developing Use-Cases in a Group.	HICSS	2001	DBLP DOI BibTeX RDF	analysis methodology, Collaboration, groupware, system design, Use-Cases
12	William G. Griswold	Coping with Crosscutting Software Changes Using Information Transparency.	Reflection	2001	DBLP DOI BibTeX RDF	design, software maintenance, Modularity, software evolution, programming methodology, implementation techniques
12	Didier Demigny, Lounis Kessal, R. Bourguiba, N. Boudouani	How to Use High Speed Reconfigurable FPGA for Real Time Image Processing?	CAMP	2000	DBLP DOI BibTeX RDF	high speed reconfigurable FPGA, ARDOISE, video frame duration, architectural concepts, partitioning methodology, image segmentation, image segmentation, hardware architecture, real time image processing
12	Mark Guzdial, Jochen Rick, Bolot Kerimbaev	Recognizing and supporting roles in CSCW.	CSCW	2000	DBLP DOI BibTeX RDF	CoWeb, Wiki, design methodology, roles, CSCL, website, long-term
12	Mark A. Girolami, Alexei Vinokourov, Ata Kabán	The Organization and Visualization of Document Corpora: A Probabilistic Approach.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	document corpora visualisation, generic probabilistic framework, unsupervised organisation, probabilistic hierarchical clustering, high-dimensional data collections, expectation maximisation algorithm, hierarchical probabilistic mixture methodology, asymmetric models, symmetric models, topographic relations, similar documents, latent trait model, vector space document representations, 2D grid, document handling, probabilistic approach, latent class models, text data, multinomial distribution, binomial distributions, document collections
12	Paul Grünbacher	Collaborative Requirements Negotiation with EasyWinWin.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	collaborative requirements negotiation, EasyWinWin methodology, WinWin negotiation model, group productivity, product release planning, systems analysis, COTS, collaborative tools, requirements prioritization, requirements negotiation
12	Martin D. Beer, Geof Staniford, Janice Whatley	Guardian Agents to Support Student Group Projects.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	guardian agents, student group projects, group project work, conventional monitoring techniques, group activity, group failure, teaching staff, ABW-Zeus methodology, Java code, Web-based student learning environments, distance learning, distance learning, distributed environment, group interactions, class libraries
12	Alfs T. Berztiss	A Flexible Requirements Process.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	flexible requirements process, software engineering, requirements engineering, methodology, systems analysis, CMM, Capability Maturity Model
12	Mats Lindgren, Hans Hansson, Christer Norström, Sasikumar Punnekkat	Deriving reliability estimates of distributed real-time systems by simulation.	RTCSA	2000	DBLP DOI BibTeX RDF	timing guarantees, simulation based methodology, scheduling paradigms, schedulability, real-time systems, formal verification, virtual machines, software reliability, network topologies, task models, distributed programming, processor scheduling, distributed real-time systems, reliability analysis, reliability estimates
12	Daeyoung Kim 0001, Yann-Hang Lee, Mohamed F. Younis	SPIRIT-μKernel for strongly partitioned real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	SPIRIT-/spl mu/Kernel, strongly partitioned real-time systems, integrated application modules, integrated real-time systems, two-level hierarchical scheduling methodology, real-time constraint guarantees, address management, interrupt dispatching, exception dispatching, inter-application communication, application-level real-time operating systems, WindRiver VxWorks, Cygnus eCos, dependable integration, real-time systems, reliability, software architecture, software architecture, software reliability, software reusability, reusability, software portability, subroutines, operating system kernels, overheads, microkernel, cost reduction, integrated software, application scheduling
12	Rangaraj M. Rangayyan, Ricardo José Ferrari, J. E. Leo Desautels, Annie France Frère	Directional Analysis of Images with Gabor Wavelets.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	linear directional component analysis, Gabor filter dictionary, tuning frequency, redundancy reduction, filter responses, Rose diagrams, phase images, oriented patterns, mammogram asymmetry, parametric statistical classifier, distortion cases, Mini-MIAS database, leave-one-out methodology, diagnostic accuracy, feature extraction, wavelet transforms, images, thresholding, orientation, Gabor wavelets, multiresolution representation, principal components, Karhunen-Loeve transform
12	Randall S. Janka, Linda M. Wills	Combining Virtual Benchmarking with Rapid System Prototyping for Real-Time Embedded Multiprocessor Signal Processing System Codesign.	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF	signal processor, specification and design methodology, middleware, multiprocessor, embedded, rapid prototyping, codesign
12	Rafael Ramírez 0001, Andrew E. Santosa, Roland H. C. Yap	Concurrent Programming Made Easy.	ICECCS	2000	DBLP DOI BibTeX RDF	constraint-based methodology, temporal constraint logic program, system concurrency, parallel programming, concurrent programming, concurrent systems, declarative specification, concurrent applications
12	Dawson R. Engler	Interface Compilation: Steps Toward Compiling Program Interfaces as Languages.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Interface compilation, interface checking, interface optimization, compiler optimization, high-level languages, programming methodology
12	Pat Woodworth, Wanda P. Dann	Integrating console and event-driven models in CS1.	SIGCSE	1999	DBLP DOI BibTeX RDF	CS1, design methodology, event-driven programming
12	John C. S. Lui, Richard R. Muntz, Donald F. Towsley	Computing Performance Bounds of Fork-Join Parallel Programs Under a Multiprocessing Environment.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	performance modeling methodology, analysis of multiprocessing systems, performance evaluation, High performance computing
12	Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta 0001	Rate Derivation and Its Applications to Reactive, Real-Time Embedded Systems.	DAC	1998	DBLP DOI BibTeX RDF	verification, timing, design methodology, microprocessor
12	Francis Bordeleau, Raymond J. A. Buhr	UCM-ROOM modelling: from use case maps to communicating state machines.	ECBS	1997	DBLP DOI BibTeX RDF	UCM-ROOM modelling, communicating state machines, internal state machines, intercomponent messages, UCM models, message sequence charts, communicating sequential processes, modelling methodology, computer-based systems, use case maps
12	Norman F. Schneidewind	Software Metrics Model For Quality Control.	IEEE METRICS	1997	DBLP DOI BibTeX RDF	software metrics model, Space Shuttle flight software, metrics validation methodology, Boolean discriminant functions, quality control process, critical values, nonparametric statistical methods, candidate metrics, optimal function, marginal analysis, concordance, software quality, software metrics, quality control, dominance, quality factor, threshold values
12	Jean-Luc Hainaut, Jean-Marc Hick, Jean Henrard, Didier Roland, Vincent Englebert	Knowledge Transfer in Database Reverse Engineering: A Supporting Case Study.	WCRE	1997	DBLP DOI BibTeX RDF	education, database, reverse engineering, methodology, knowledge transfer
12	Xudong He, Weili Yao	Translating hierarchical predicate transition nets to CC++ program skeletons.	COMPSAC	1997	DBLP DOI BibTeX RDF	hierarchical predicate transition net translation, CC++ program skeletons, overall translation architecture, translation rules, transformational software development methodology, Petri nets, semantics, syntax, concurrent object-oriented programming
12	Perfecto Mariño, Francisco Poza, Miguel Angel Domínguez, Juan B. Nogueira	Formal specification applied to industrial LAN's design.	EUROMICRO	1997	DBLP DOI BibTeX RDF	industrial LAN design, real-time field bus, PROFIBUS, industrial communication networks, data link layer, FDL, formal specification, formal specification, prototyping, software tools, methodology, LOTOS, data types, performance tests, formal specification language
12	Michele Favalli, Cecilia Metra	Low-level error recovery mechanism for self-checking sequential circuits.	DFT	1997	DBLP DOI BibTeX RDF	low-level error recovery mechanism, self-checking sequential circuits, reliability requirements, small embedded systems, sequential circuits, design methodology, transient faults, delay faults, fault tolerant capabilities, crosstalk faults
12	Laurence Cholvy, Frédéric Cuppens	Analyzing Consistency of Security Policies.	S&P	1997	DBLP DOI BibTeX RDF	security policy consistency analysis, deontic formulae, normative conflicts, role priorities, methodology, problem solving, roles, formal language, security of data, regulation, formal logic
12	John C. Mitchell, Mark Mitchell, Ulrich Stern	Automated analysis of cryptographic protocols using Mur-phi.	S&P	1997	DBLP DOI BibTeX RDF	cryptographic protocol analysis, Mur/spl phi/, general-purpose state enumeration tool, security-related protocols, faulty TMN protocol, replay attack detection, cryptography, methodology, errors, client server system, network operating system, computation time, Kerberos
12	Peter F. A. Middelhoek, Sreeranga P. Rajan	From VHDL to efficient and first-time-right designs: a formal approach.	ACM Trans. Design Autom. Electr. Syst.	1996	DBLP DOI BibTeX RDF	CDFG, SFG, rapid system prototyping, VHDL, VHDL, design methodology, correctness by construction, transformational design
12	Daniel A. Rawsthorne	Capturing functional requirements through object interactions.	ICRE	1996	DBLP DOI BibTeX RDF	functional requirements capture, transaction based analysis, object-oriented analysis methodology, use-case analysis, transaction diagram hierarchy, object responsibilities, user conceptual model, formal specification, transaction processing, object-oriented methods, diagrams, control flow, interaction patterns, object interactions, responsibility driven design
12	Lara D. Catledge, Colin Potts	Collaboration during conceptual design.	ICRE	1996	DBLP DOI BibTeX RDF	representative industrial software project, Centauri, follow up observations, documented specification, common system vision, critical allocation, interface design decisions, prescriptive development process, working product, collaboration, communication, formal specification, human factors, project management, requirements analysis, software development management, architectural design, conceptual design, research methodology, functional specification, project teams, project team
12	David W. Bustard, T. J. Dobbin, B. N. Carey	Integrating Soft Systems and Object-Oriented Analysis.	ICRE	1996	DBLP DOI BibTeX RDF	Object-Oriented Analysis, Soft Systems Methodology, Business Analysis
12	Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor	Formal Methods Pilot Project.	APSEC	1996	DBLP DOI BibTeX RDF	safety-related software development, SVRC Cogito methodology, mathematical consistency checks, formal specification, formal specification, formal methods, validation, hazard analysis, collaborative project, safety requirements, pilot project
12	Chauchin Su, Shyh-Shen Hwang, Shyh-Jye Jou, Yuan-Tzu Ting	Syndrome Simulation And Syndrome Test For Unscanned Interconnects.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	unscanned interconnects, syndrome test methodology, event driven syndrome simulation, boundary scan environment, faulty syndromes, fault-free syndromes, tolerable error rate, partially scanned PCB, board level testing, test pattern generation, boundary scan testing, test length, MCM, set covering problem, simulation algorithm, weighted random patterns, test cost reduction
12	Vojin Zivojnovic, Stefan Pees, C. Schälger, Markus Willems, Rainer Schoenen, Heinrich Meyr	DSP Processor/Compiler Co-Design: A Quantitative Approach.	ISSS	1996	DBLP DOI BibTeX RDF	processor/compiler codesign, benchmarking methodology, DSPstone, fast processor simulation, SuperSim, compiled processor simulation, performance evaluation, embedded systems, digital signal processing, digital signal processing chips, LISA, top-down approach, machine description
12	Peter F. Fillery, Alexander Rusli, Helen L. James	Describing the problem situation in IS studies using SSM: a practitioners view.	ISCNZ	1996	DBLP DOI BibTeX RDF	practitioners view, rich picture technique, academic literature, software engineering, information systems, software tools, Soft Systems Methodology, SSM
12	Siew Hock Ow, Mashkuri Yaacob	A Survey on Software Quality Assurance - A Malaysian Perspective.	ISCNZ	1996	DBLP DOI BibTeX RDF	Survey Methodology, SQA, QA Problems, QA Tools, SQA Team, Software Quality, Software, Software Quality Assurance
12	Subhrajit Bhattacharya, Sujit Dey	H-SCAN: A high level alternative to full-scan testing with reduced area and test application overheads.	VTS	1996	DBLP DOI BibTeX RDF	H-SCAN, parallel register connectivity, on-chip response, sequential test vectors, combinational test vectors, combinational ATPG program, RT-level design, integrated circuit testing, design for testability, automatic testing, fault simulation, fault coverage, test pattern generation, comparator, boundary scan testing, test application time, high-level design, area overhead, testing methodology
12	Mohamed Soufi, Steve Rochon, Yvon Savaria, Bozena Kaminska	Design and performance of CMOS TSPC cells for high speed pseudo random testing.	VTS	1996	DBLP DOI BibTeX RDF	CMOS TSPC cells, high speed pseudo random testing, built-in self-test scheme, HSpice simulations, functionally equivalent logic block, true single phase clocking, logic testing, built-in self test, integrated circuit testing, logic CAD, layout, circuit analysis computing, clocks, circuit layout CAD, CMOS logic circuits, SPICE, cellular arrays, integrated circuit layout, test methodology, untestable faults, netlists
12	Junming Qin, Tony Kai Yun Chan	Task Partitionings for Parallel Triangular Solver on an MIMD Computer.	HPDC	1996	DBLP DOI BibTeX RDF	task partitioning methods, parallel triangular solver, distributed-memory MIMD computer, estimated times, parallel performance evaluation methodology, optimal task granularities, transputer-based multicomputer, parallel algorithms, resource allocation, performance model, task scheduling, distributed memory systems, processor scheduling, software performance evaluation, matrix algebra, task assignment, mathematics computing
12	Alain Guyot, Marc Renaudin, Bachar El-Hassan, Volker Levering	Self timed division and square-root extraction.	VLSI Design	1996	DBLP DOI BibTeX RDF	self-timed integrated circuit, square-root extraction, mathematical algorithm, logic level, binary notation, iterative methods, design methodology, integrated circuit design, division, dividing circuits, quotient, pipeline arithmetic, pipelined arithmetic, functional blocks
12	Luigi Giuri, Pietro Iglio	A Role-Based Secure Database Design Tool.	ACSAC	1996	DBLP DOI BibTeX RDF	role based secure database design tool, database design methodologies, secure database design methodology, entity relationship conceptual data model, role based security model, analysis algorithm, potential security design mistakes, translation procedure, SQL specification, conceptual model, entity-relationship modelling
12	Richard Gerber 0001, Seongsoo Hong, Manas Saksena	Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	end-to-end timing constraints, Real-time, design methodology, constraint solving, non-linear optimization, static priority scheduling
12	Robert M. Gray, Richard A. Olshen, D. Ikeda, Pamela C. Cosman, Sharon M. Perlmutter, Cheryl L. Nash, Keren Perlmutter	Evaluating quality and utility in digital mammography.	ICIP	1995	DBLP DOI BibTeX RDF	digital mammography utility, digital mammography quality evaluation, scientists, insurance companies, lawyers, computer-aided diagnostic methodology, clinical experiments, data compression, image enhancement, medical image processing, engineers, regulators, reviews, quality control, protocols design, administrators, medical diagnostic imaging, lossy compression, diagnostic radiography, patients, analogue-digital conversion, analog-to-digital conversion
12	Andrea Clematis, T. Ancona, Gabriella Dodero, Vittoria Gianuzzi, Maria Lúcia Blanck Lisbôa	An object oriented approach to fault tolerant software.	PDP	1995	DBLP DOI BibTeX RDF	distributed object oriented programming, Meta Object for Fault Tolerance, MOFT, Recovery Meta Program methodology, object-oriented programming, software fault tolerance, object oriented approach, fault tolerant software
12	David W. Bustard, P. J. Lundy	Enhancing soft systems analysis with formal modelling.	RE	1995	DBLP DOI BibTeX RDF	soft systems analysis, initial requirements definition, informal SSM models, computing oriented analysis techniques, book ordering data processing, software requirements engineering method, formal specification, formal specification, software tools, software tools, specification languages, systems analysis, formal modelling, LOTOS, formal techniques, formal descriptions, Soft Systems Methodology, RACE
12	Mark J. Clement, Michael J. Quinn	Symbolic performance prediction of scalable parallel programs.	IPPS	1995	DBLP DOI BibTeX RDF	symbolic performance prediction, scalable parallel programs, massively parallel processing machines, performance prediction methodology, program source code, algebraic manipulations, parallel processing, analytical model, software performance evaluation, program debugging, hardware architectures, symbol manipulation, performance tuning, symbolic analysis, computational problems
12	Patrice Quinton, Sanjay V. Rajopadhye, Doran Wilde	On deriving data parallel code from a functional program.	IPPS	1995	DBLP DOI BibTeX RDF	data parallel code, translation methodology, high level algorithmic specification, imperative data parallel language, applicative caching, compilation method, incremental transformations, compilation steps, loop nest generation, scheduling, formal specification, parallel programming, static analysis, partitioning, code generation, functional programming, functional program, program compilers, alignment, parallel languages, functional languages, program interpreters, abstract syntax tree, ALPHA
12	Mark Genoe, Paul Vanoostende, Geert van Wauwe	On the use of VHDL-based behavioral synthesis for telecom ASIC design.	ISSS	1995	DBLP DOI BibTeX RDF	Alcatel-Bell, RTL-synthesizable description, behavioral synthesis tools, hardware CAD tool, system level design methodology, telecom ASIC design, telecom system hardware design, high level synthesis, VHDL, VHDL, application specific integrated circuits, ASIC, logic synthesis, integrated circuit design, hardware description languages, integrated logic circuits, behavioral synthesis, telecommunication computing, hardware software codesign, design complexities
12	Matthew F. Parkinson, Sri Parameswaran	Profiling in the ASP codesign environment.	ISSS	1995	DBLP DOI BibTeX RDF	Automated Synthesis and Partitioning system, Hardware/Software Codesign project, codesign environment, hardware/software codesign methodology, high-level profiling tools, virtual machines, software tools, C, computer architecture, profiling, systems analysis, circuit CAD, workstation, ASP, C code, dedicated hardware, execution profiling
12	Franco Fummi, Donatella Sciuto, M. Serro	Synthesis for testability of large complexity controllers.	ICCD	1995	DBLP DOI BibTeX RDF	large complexity controllers, industrial design environments, top-down methodology, hierarchical descriptions, irredundant circuits, optimized gate-level descriptions, testable descriptions, specification, high level synthesis, finite state machines, finite state machines, design for testability, design for testability, VHDL, automatic testing, logic CAD, hardware description languages, FSM, synthesis for testability, logic gates
12	Jean Paul Calvez, Olivier Pasquier	Performance assessment of embedded Hw/Sw systems.	ICCD	1995	DBLP DOI BibTeX RDF	embedded Hw/Sw systems, VLSI components, heterogeneous multiprocessor architectures, complex real-time applications, performance indexes, real-time event occurrences, software tasks, hardware functions, real-time performance analyzer, MCSE methodology, performance evaluation, real-time systems, VLSI, systems analysis, application specific integrated circuits, ASIC, performance assessment, event trace
12	Hans Hansson, Harold W. Lawson, Mikael Strömberg, Sven Larsson	BASEMENT: a distributed real-time architecture for vehicle applications.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	BASEMENT, distributed real-time architecture, vehicle applications, distributed real time architecture, vehicle internal use, guaranteed real time service, distributed devices, program development methodology, application oriented development, offline scheduler, intelligent cruise control application, real-time systems, distributed processing, resource sharing, multiplexing, operating system kernels, system simulator, safety critical applications, communication support, communication infrastructure, automobiles, computerised control, automotive industry, driver information systems, automotive electronics, real time kernel
12	Beatriz Morales, Hector Moreira, Douglas R. Vogel	Group support for regional development in Mexico.	HICSS (4)	1995	DBLP DOI BibTeX RDF	ITESM Center for Strategic Studies, Mexican business, groupware, methodology, government, teleconferencing, group support systems, cultural differences, social aspects of automation, future research, regional development, Mexico
12	Ai-Mei Chang, Taedong Han	Design of an argumentation-based negotiation support system.	HICSS (4)	1995	DBLP DOI BibTeX RDF	argumentation-based negotiation support system, negotiation process, dialectic based argumentation language, qualitative aspects, argumentation language, normative argumentative evaluation methodology, prototype negotiation support system, groupware, system design, systems analysis, group decision support systems, negotiation support systems
12	Arne Henne, Eva M. Møller	Innovation in business processes-a discussion of research methods to study the process of innovation.	HICSS (4)	1995	DBLP DOI BibTeX RDF	business process innovation, radical innovation, information systems, information systems, methodology, business data processing, research methods, systems re-engineering, office automation, management of change, business process redesign
12	Wallace B. Leigh	A personal computer based VLSI design curriculum.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	VLSI design curriculum, teaching institutions, capstone VLSI course, analog design course, digital design synthesis course, teaching curriculum, VLSI, design methodology, integrated circuit design, circuit CAD, personal computers, computer aided instruction, microcomputer applications, electronic engineering education
12	Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell	Automated verification of temporal properties specified as state machines in VHDL.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	automated verification methodology, correctness specifications, Viper microprocessor, Mealy FSM, compatible states, formal specification, formal verification, high level synthesis, finite state machines, VHDL, sequential circuits, state machines, hardware description languages, microprocessor chips, synchronous sequential circuit, temporal properties, liveness properties
12	Tarao Yanaru	An emotion processing system based on fuzzy inference and subjective observations.	ANNES	1995	DBLP DOI BibTeX RDF	emotion processing system, subjective observations, mixed emotions, mixed emotional words, simulated person, emotional change, subjective observation model, construction methodology, aggregated emotion, objective emotion, simulated emotion processing system, emotional transition, expanded emotional Dialog System, image codes, inference mechanisms, fuzzy set theory, psychology, fuzzy inference, uncertainty handling