Search results for "methodology"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Alexandros Bartzas, Stylianos Mamagkakis, Georgios Pouiklis, David Atienza, Francky Catthoor, Dimitrios Soudris, Antonios Thanailakis	Dynamic data type refinement methodology for systematic performance-energy design exploration of network applications.	DATE	2006	DBLP DOI BibTeX RDF
15	Qikai Chen, Saibal Mukhopadhyay, Aditya Bansal, Kaushik Roy 0001	Circuit-aware device design methodology for nanometer technologies: a case study for low power SRAM design.	DATE	2006	DBLP DOI BibTeX RDF
15	Santokh Singh, Cheung Ling Kelly Yu	Efficient Component Based Software Engineering using the TCEM Methodology and the TCET Tool.	APSEC	2006	DBLP DOI BibTeX RDF
15	Masafumi Onouchi, Tetsuya Yamada, Kimihiro Morikawa, Isamu Mochizuki, Hidetoshi Sekine	A system-level power-estimation methodology based on IP-level modeling, power-level adjustment, and power accumulation.	ASP-DAC	2006	DBLP DOI BibTeX RDF
15	Prashant Goyal, Xiaolue Lai, Jaijeet S. Roychowdhury	A fast methodology for first-time-correct design of PLLs using nonlinear phase-domain VCO macromodels.	ASP-DAC	2006	DBLP DOI BibTeX RDF
15	Hassan A. Karimi, Thomas Conahan, Duangduen Roongpiboonsopit	A Methodology for Predicting Performances of Map-Matching Algorithms.	W2GIS	2006	DBLP DOI BibTeX RDF	Vehicle Navigation System, Prediction, Probability, Map-Matching
15	George Triantafyllakos, George Palaigeorgiou, Stavros N. Demetriadis, Ioannis A. Tsoukalas	The We!Design Methodology: Designing Educational Applications with Students.	ICALT	2006	DBLP DOI BibTeX RDF
15	Yongmin Zhong, Bijan Shirinzadeh, Gürsel Alici, Julian Smith	A reaction-diffusion methodology for soft object simulation.	VRCIA	2006	DBLP DOI BibTeX RDF	analogy systems, soft objects, deformation, reaction-diffusion
15	Nikolas Kroupis, Stylianos Mamagkakis, Dimitrios Soudris	An Estimation Methodology for Designing Instruction Cache Memory of Embedded Systems.	ESTIMedia	2006	DBLP DOI BibTeX RDF
15	Marinos Themistocleous, Zahir Irani (eds.)	Towards a Methodology for the Development of Integrated IT Infrastructures.	HICSS	2006	DBLP DOI BibTeX RDF	Software Engineering, EAI
15	Sören Auer	The RapidOWL Methodology--Towards Agile Knowledge Engineering.	WETICE	2006	DBLP DOI BibTeX RDF
15	Carlo Batini, Federico Cabitza, Cinzia Cappiello, Chiara Francalanci	A Comprehensive Data Quality Methodology for Web and Structured Data.	ICDIM	2006	DBLP DOI BibTeX RDF
15	Paula Cecilia Fritzsche, Concepció Roig, Ana Ripoll, Emilio Luque, Aura Hernandez	A Performance Prediction Methodology for Data-dependent Parallel Applications.	CLUSTER	2006	DBLP DOI BibTeX RDF
15	Tom Eeckelaert, Raf Schoofs, Georges G. E. Gielen, Michiel Steyaert, Willy M. C. Sansen	Hierarchical bottom--up analog optimization methodology validated by a delta-sigma A/D converter design for the 802.11a/b/g standard.	DAC	2006	DBLP DOI BibTeX RDF	hierarchical synthesis
15	Hans-Joachim Stolberg, Mladen Berekovic, Peter Pirsch	A Platform-Independent Methodology for Performance Estimation of Multimedia Signal Processing Applications.	J. VLSI Signal Process.	2005	DBLP DOI BibTeX RDF	multimedia signal processing, bitstream analysis, complexity, MPEG-4, performance estimation, digital signal processor
15	Indranil Gupta, Steven Y. Ko, Nathanael Thompson, Mahvesh Nagda, Christo Frank Devaraj, Ramsés Morales, Jay A. Patel	A Case for Design Methodology Research in Self-* Distributed Systems.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
15	Jasmine Lam, John McAllister, Jennifer Dudley	Core-Based Methodology: An Automated Approach for Implementing a Complete System from Algorithms to a Heterogeneous Network including FPGAs.	FCCM	2005	DBLP DOI BibTeX RDF
15	Tore Dybå, Nils Brede Moe, Erik Arisholm	Measuring software methodology usage: challenges of conceptualization and operationalization.	ISESE	2005	DBLP DOI BibTeX RDF
15	Michalis D. Galanis, Athanasios Milidonis, George Theodoridis, Dimitrios Soudris, Constantinos E. Goutis	A methodology for partitioning DSP applications in hybrid reconfigurable systems.	ISCAS (2)	2005	DBLP DOI BibTeX RDF
15	Michalis D. Galanis, Gregory Dimitroulakos, Constantinos E. Goutis	An automated methodology for memory-conscious mapping of DSP applications on coarse-grain reconfigurable arrays.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
15	Rajagopal Rajugan, William Gardner, Elizabeth Chang 0001, Tharam S. Dillon	EXtensible Web (xWeb): An XML-View Based Web Engineering Methodology.	ICCSA (2)	2005	DBLP DOI BibTeX RDF
15	Subhrajit Bhattacharya, John A. Darringer, Daniel L. Ostapko, Youngsoo Shin	A Mask Reuse Methodology for Reducing System-on-a-Chip Cost.	ISQED	2005	DBLP DOI BibTeX RDF
15	Roy Grønmo, Michael C. Jaeger	Model-Driven Methodology for Building QoS-Optimised Web Service Compositions.	DAIS	2005	DBLP DOI BibTeX RDF
15	Weidong Wang, Anand Raghunathan, Ganesh Lakshminarayana, Niraj K. Jha	Input space adaptive design: a high-level methodology for optimizing energy and performance.	IEEE Trans. Very Large Scale Integr. Syst.	2004	DBLP DOI BibTeX RDF
15	Xiaoliang Bai, Sujit Dey	High-level crosstalk defect Simulation methodology for system-on-chip interconnects.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
15	Li Jiang 0006, Armin Eberlein, Behrouz Homayoun Far	A Methodology for Requirements Engineering Process Development.	ECBS	2004	DBLP DOI BibTeX RDF	process development, Requirements engineering, process model
15	Michalis D. Galanis, Athanasios Milidonis, George Theodoridis, Dimitrios Soudris, Constantinos E. Goutis	A Partitioning Methodology for Accelerating Applications in Hybrid Reconfigurable Platforms.	DATE	2004	DBLP DOI BibTeX RDF
15	María Engracia Gómez, José Duato, José Flich, Pedro López 0001, Antonio Robles, Nils Agne Nordbotten, Tor Skeie, Olav Lysne	A New Adaptive Fault-Tolerant Routing Methodology for Direct Networks.	HiPC	2004	DBLP DOI BibTeX RDF
15	Jin Liu, Keqing He, Bing Li 0010, Hao Chen, Peng Liang 0001	A Methodology for Acquisition of Software Component Attribute Ontology.	CIT	2004	DBLP DOI BibTeX RDF
15	Reyes Grangel, Ricardo Chalmeta	Methodology for the Development of a Sectoral Standard for EDI.	ER (Workshops)	2004	DBLP DOI BibTeX RDF
15	Félix F. Ramos 0001	Methodology for Analysis and Design of Systems.	WSTFEUS	2004	DBLP DOI BibTeX RDF
15	Leonard Lee, Li-C. Wang, T. M. Mak, Kwang-Ting Cheng	A path-based methodology for post-silicon timing validation.	ICCAD	2004	DBLP DOI BibTeX RDF
15	Jiang Tian, Richard Foley, Huaglory Tianfield	A New Agent-Oriented Development Methodology.	IAT	2004	DBLP DOI BibTeX RDF
15	Samvel K. Shoukourian, Valery A. Vardanian, Yervant Zorian	A Methodology for Design and Evaluation of Redundancy Allocation Algorithms.	VTS	2004	DBLP DOI BibTeX RDF
15	Francisco Albert, José María Gomis, Margarita Valor, José Miguel Valiente	Methodology for Graphic Redesign Applied to Textile and Tile Pattern Design.	IEA/AIE	2004	DBLP DOI BibTeX RDF
15	Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden	Development Methodology for Location-Aware Mobile Agent.	MATA	2004	DBLP DOI BibTeX RDF
15	David M. Binkley, C. E. Hopper, Steve D. Tucker, Brian C. Moss, James M. Rochelle, Daniel Foty	A CAD methodology for optimizing transistor current and sizing in analog CMOS design.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
15	Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner	A Methodology for Model-Checking Ad-hoc Networks.	SPIN	2003	DBLP DOI BibTeX RDF
15	Fei Sun, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha	A Scalable Application-Specific Processor Synthesis Methodology.	ICCAD	2003	DBLP DOI BibTeX RDF
15	Yoon Bang Sung, Mun-Young Choi, Kyung-Soo Joo	The Unified Design Methodology for Application Based on XML Schema.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
15	Ramakrishna Voorakaranam, Randy Newby, Sasikumar Cherubal, Bob Cometta, Thomas Kuehl, David M. Majernik, Abhijit Chatterjee	Production Deployment of a Fast Transient Testing Methodology for Analog Circuits : Case Study and Results.	ITC	2003	DBLP DOI BibTeX RDF
15	Mahesh Mamidipaka, Nikil D. Dutt, Kamal S. Khouri	A Methodology for Accurate Modeling of Energy Dissipation in Array Structures.	VLSI Design	2003	DBLP DOI BibTeX RDF
15	Li Chen, Srivaths Ravi 0001, Anand Raghunathan, Sujit Dey	A scalable software-based self-test methodology for programmable processors.	DAC	2003	DBLP DOI BibTeX RDF	scalability, microprocessor, at-speed test, software-based self-test, test program, manufacturing test
15	Kostas Masselos, Francky Catthoor, Constantinos E. Goutis, Hugo De Man	A systematic methodology for the application of data transfer and storage optimizing code transformations for power consumption and execution time reduction in realizations of multimedia algorithms on programmable processors.	IEEE Trans. Very Large Scale Integr. Syst.	2002	DBLP DOI BibTeX RDF
15	Chantal Ykman-Couvreur, Jurgen Lambrecht, Diederik Verkest, Francky Catthoor, Bengt Svantesson, Ahmed Hemani, F. Wolf	Dynamic memory management methodology applied to embedded telecom network systems.	IEEE Trans. Very Large Scale Integr. Syst.	2002	DBLP DOI BibTeX RDF
15	Amer Baghdadi, Nacer-Eddine Zergainoh, Wander O. Cesário, Ahmed Amine Jerraya	Combining a Performance Estimation Methodology with a Hardware/Software Codesign Flow Supporting Multiprocessor Systems.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	hardware/software codesign, Performance estimation, multiprocessor architectures, architecture exploration, system-level simulation
15	Syed Saif Abrar	High Performance Multiprocessor Architecture Design Methodology for Application-Specific Embedded Systems.	HiPC	2002	DBLP DOI BibTeX RDF
15	Douglas Talbott, Matthew Gibson, Suzanne Skublics	A collaborative methodology for the rapid development and delivery of online courses.	SIGDOC	2002	DBLP DOI BibTeX RDF	course delivery, course development, mentored learning, e-learning
15	Kartik Mohanram, C. V. Krishna, Nur A. Touba	A methodology for automated insertion of concurrent error detection hardware in synthesizable Verilog RTL.	ISCAS (1)	2002	DBLP DOI BibTeX RDF
15	Syed M. Alam, Donald E. Troxel, Carl V. Thompson	A Comprehensive Layout Methodology and Layout-Specific Circuit Analyses for Three-Dimensional Integrated Circuits.	ISQED	2002	DBLP DOI BibTeX RDF	3D integrated circuit, 3D IC layout, inter-wafer via, reliability CAD tool, FPGA, performance analysis, reliability analysis
15	Lin Padgham, Michael Winikoff	Prometheus: A Methodology for Developing Intelligent Agents.	AOSE	2002	DBLP DOI BibTeX RDF
15	Osman Balci	A methodology for certification of modeling and simulation applications.	ACM Trans. Model. Comput. Simul.	2001	DBLP DOI BibTeX RDF	credibility assessment, evaluation, verification, validation, certification, accreditation, quality assessment
15	Paul Lieverse, Pieter van der Wolf, Kees A. Vissers, Ed F. Deprettere	A Methodology for Architecture Exploration of Heterogeneous Signal Processing Systems.	J. VLSI Signal Process.	2001	DBLP DOI BibTeX RDF	performance analysis, signal processing, design space exploration, system level design
15	Kwanghoon Pio Kim, Clarence A. Ellis	Workflow performance and scalability analysis using the layered queuing modeling methodology.	GROUP	2001	DBLP DOI BibTeX RDF	architectural performance analysis, architectural quality attribute, hardware contention model, method of layer (MOL), performance analytic model, software contention model, taxonomy of workflow architectures, performance, scalability, architectural framework
15	Kanna Shimizu, David L. Dill, Ching-Tsun Chou	A Specification Methodology by a Collection of Compact Properties as Applied to the Intel® ItaniumTM Processor Bus Protocol.	CHARME	2001	DBLP DOI BibTeX RDF
15	Forrest Shull, Jeffrey C. Carver, Guilherme Travassos	An empirical methodology for introducing software processes.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	OO design inspections, experimental process, empirical studies, software quality, software process
15	Shih-Hsu Huang	An effective low power design methodology based on interconnect prediction.	SLIP	2001	DBLP DOI BibTeX RDF
15	Jing-Reng Huang, Madhu K. Iyer, Kwang-Ting Cheng	A Self-Test Methodology for IP Cores in Bus-Based Programmable SoCs.	VTS	2001	DBLP DOI BibTeX RDF
15	Sherif M. Yacoub, Hany H. Ammar, Tom Robinson	A Methodology for Architectural-Level Risk Assessment Using Dynamic Metrics.	ISSRE	2000	DBLP DOI BibTeX RDF	component-dependency graphs and dynamic metrics, risk assessment, Risk analysis, risk modeling
15	Philippe Poure, Fabrice Aubépart, Francis Braun	A Design Methodology for Hardware Prototyping of Integrated AC Drive Control: Application to Direct Torque Control of an Induction Machine.	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF
15	Jen-Tien Yen, Qichao Richard Yin	Multiprocessing design verification methodology for Motorola MPC74XX PowerPC microprocessor.	DAC	2000	DBLP DOI BibTeX RDF
15	Xiaoliang Bai, Sujit Dey, Janusz Rajski	Self-test methodology for at-speed test of crosstalk in chip interconnects.	DAC	2000	DBLP DOI BibTeX RDF
15	Usha V. Subramanian	An Event, Activity and Process Based Methodology for Requirements Elicitation and Its Application to an Educational Information System.	APSEC	1999	DBLP DOI BibTeX RDF	requirements engineering, process model, requirements elicitation, hierarchical model
15	Amr M. Fahim, Mohamed I. Elmasry	A low-power CMOS frequency synthesizer design methodology for wireless applications.	ISCAS (2)	1999	DBLP DOI BibTeX RDF
15	Heeseok Lee, Jae Lee	Analyzing Business Domain: A Methodology and Repository System.	HICSS (3)	1998	DBLP DOI BibTeX RDF
15	Brian Tierney, William E. Johnston, Brian Crowley, Gary Hoo, Christopher X. Brooks, Dan Gunter	The NetLogger Methodology for High Performance Distributed Systems Performance Analysis.	HPDC	1998	DBLP DOI BibTeX RDF	High Performance Distributed Systems Performance Analysis
15	Christina Class, Burkhard Stiller	A Methodology to Assess Synchronization Algorithms for Distributed Applications.	LCN	1998	DBLP DOI BibTeX RDF	Quality of Service, Synchronization, Analysis, Distributed Multimedia Applications
15	Yassine Faihe, Jean-Pierre Müller	Analysis and Design of Robot's Behavior: Towards a Methodology.	EWLR	1997	DBLP DOI BibTeX RDF
15	Arne-Jørgen Berre, Jan Øyvind Aagedal, António Rito Silva	SIMOD - An ODP-extended Role-Modeling Methodology for Distributed.	HICSS (1)	1997	DBLP DOI BibTeX RDF
15	Sharon M. Bitzer, Magdi N. Kamel	Workflow Reengineering: A Methodology for Business Process Reengineering Using Workflow Management Technology.	HICSS (4)	1997	DBLP DOI BibTeX RDF
15	K. Nanda, S. K. Desai, S. K. Roy	A New Methodology for the Design of Asynchronous Digital Circuits.	VLSI Design	1997	DBLP DOI BibTeX RDF
15	Chiung-San Lee, Tai-Ming Parng	A Subsystem-Oriented Performance Analysis Methodology for Shared-Bus Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Bottleneck analysis, DMA transfer, separated address bus and data bus, shared-bus multiprocessor system, subsystem access time modeling, subsystem interferences, performance analysis
15	Nicholas J. Puketza, Kui Zhang, Mandy Chung, Biswanath Mukherjee, Ronald A. Olsson	A Methodology for Testing Intrusion Detection Systems.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	computer user simulation, software testing, Intrusion detection, computer security
15	Susanna Donatelli, Giuliana Franceschinis	The PSR Methodology: Integrating Hardware and Software Models.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
15	Iasson Vassiliou, Henry Chang, Alper Demir 0001, Edoardo Charbon, Paolo Miliozzi, Alberto L. Sangiovanni-Vincentelli	A video driver system designed using a top-down, constraint-driven methodology.	ICCAD	1996	DBLP DOI BibTeX RDF	Analog CAD, Video Driver System Chips, Analog Behavioral Modeling, Design Methodologies
15	Jaffar Rehman, Evan D. Lock, Cuong Nguyen	A Generalized Methodology for Evaluating and Optimizing System Design Factors.	ICECCS	1996	DBLP DOI BibTeX RDF
15	Tapas Kanungo, Mysore Y. Jaisimha, John Palmer, Robert M. Haralick	A methodology for quantitative performance evaluation of detection algorithms.	IEEE Trans. Image Process.	1995	DBLP DOI BibTeX RDF
15	Marta Franová	Constructive Matching - A Methodology for Inductive Theorem Proving.	JELIA	1990	DBLP DOI BibTeX RDF
15	Ravi Mukkamala, Steven C. Bruell, Roger K. Shultz	Design of Partially Replicated Distributed Database Systems: An Integrated Methodology.	SIGMETRICS	1988	DBLP DOI BibTeX RDF
15	Debasish Banerjee	A Methodology for Synthesis of Recursive Functional Programs.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF
15	André M. C. Campos, Anne M. P. Canuto, Jorge H. C. Fernandes	Towards a Methodology for Developing Agent-Based Simulations: The MASim Methodology.	AAMAS	2004	DBLP DOI BibTeX RDF
15	Michele Amico, Zbigniew J. Pasek, Farshid Asl, Giovanni Perrone	Simulation methodology for collateralized debt and real options: a new methodology to evaluate the real options of investment using binomial trees and monte carlo simulation.	WSC	2003	DBLP DOI BibTeX RDF
14	Paul Saulnier, Ehud Sharlin, Saul Greenberg	Exploring interruption in HRI using wizard of oz.	HRI	2010	DBLP DOI BibTeX RDF	robot behaviours, component, human-robot interaction, methodology, interruption, social
14	Stefan Valentin Gheorghita, Martin Palkovic, Juan Hamers, Arnout Vandecappelle, Stelios Mamagkakis, Twan Basten, Lieven Eeckhout, Henk Corporaal, Francky Catthoor, Frederik Vandeputte, Koen De Bosschere	System-scenario-based design of dynamic embedded systems.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	dynamic nature, system scenarios, real-time systems, embedded systems, Design methodology, energy reduction
14	Carlo Batini, Cinzia Cappiello, Chiara Francalanci, Andrea Maurino	Methodologies for data quality assessment and improvement.	ACM Comput. Surv.	2009	DBLP DOI BibTeX RDF	data quality assessment, data quality improvement, data quality measurement, quality dimension, information system, methodology, Data quality
14	Rafaella Fiorelli, Fernando Silveira, Eduardo J. Peralías	Phase noise - consumption trade-off in low power RF-LC-VCO design in micro and nanometric technologies.	SBCCI	2009	DBLP DOI BibTeX RDF	design methodology, power consumption, VCO, radio-frequency
14	Peter Bajcsy, Kenton McHenry, Hye-Jung Na, Rahul Malik, Andrew Spencer, Suk-Kyu Lee, Rob Kooper, Mike Frogley	Immersive environments for rehabilitation activities.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	citizens with disabilities, evaluation methodology, 3D video
14	Begoña Losada, Maite Urretavizcaya, Isabel Fernández de Castro	Efficient Building of Interactive Applications Guided by Requirements Models.	ICWE	2009	DBLP DOI BibTeX RDF	user model, methodology, task model, Requirements analysis, system model, dialog model
14	Rafael A. Arce-Nazario, Manuel Jiménez, Domingo Rodríguez	Mapping of Discrete Cosine Transforms onto Distributed Hardware Architectures.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	Distributed hardware architecture, Partitioning methodology, Discrete cosine transforms
14	Xuan-Tu Tran, Yvain Thonnart, Jean Durupt, Vincent Beroulle, Chantal Robach	A Design-for-Test Implementation of an Asynchronous Network-on-Chip Architecture and its Associated Test Pattern Generation and Application.	NOCS	2008	DBLP DOI BibTeX RDF	NoC testing, QDI asynchronous logic, Network-on-Chip, DfT, testability, NoC, Design-for-Test, GALS, SoC testing, testing methodology, on-chip communication, Globally Asynchronous - Locally Synchronous
14	Bruce J. Vanstone, Gavin R. Finnie, Tobias Hahn	Designing Short Term Trading Systems with Artificial Neural Networks.	World Congress on Engineering (Selected Papers)	2008	DBLP DOI BibTeX RDF	Trading System, Short-Term, Vanstone and Finnie methodology, Artificial Neural Network, trading strategy
14	Ludwig Fuchs, Günther Pernul	HyDRo - Hybrid Development of Roles.	ICISS	2008	DBLP DOI BibTeX RDF	Role Development Methodology, Information security, Identity Management, Role Engineering, Role Mining
14	Luciano Vargas Flores, Richard Faust, Marcelo Soares Pimenta	Definindo uma proposta para avaliações de usabilidade de aplicações para o sistema brasileiro de TV digital.	IHC	2008	DBLP BibTeX RDF	Brazilian digital TV system, usability evaluation methodology, digital TV, SBTVD
14	Park Jong Soon, Rohae Myung	Evaluation of menu structure based on signal detection theory.	SIGDOC	2008	DBLP DOI BibTeX RDF	methodology support for usability evaluation, signal detection theory, user-centered design, eye-tracking, information architecture
14	Mohsen Asadi, Raman Ramsin	MDA-Based Methodologies: An Analytical Survey.	ECMDA-FA	2008	DBLP DOI BibTeX RDF	Model Driven Architecture, Evaluation Criteria, Software Development Methodology
14	Tanvir Ahmed 0002, Anand R. Tripathi	Specification and verification of security requirements in a programming model for decentralized CSCW systems.	ACM Trans. Inf. Syst. Secur.	2007	DBLP DOI BibTeX RDF	finite state-based model checking, methodology for access-control policy design, role-based access control, Security policy specification
14	Issam W. Damaj	Higher-Level Hardware Synthesis of the KASUMI Algorithm.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	parallel algorithms, methodology, formal models, data encryption, gate array
14	Christopher C. Tsai, Gunny Lee, Fred Raab, Gregory J. Norman, Timothy Sohn, William G. Griswold, Kevin Patrick	Usability and Feasibility of PmEB: A Mobile Phone Application for Monitoring Real Time Caloric Balance.	Mob. Networks Appl.	2007	DBLP DOI BibTeX RDF	user centered design methodology, mobile communication, software prototyping, behavioral science
14	Federico Di Palma, Giuseppe De Nicolao, Guido Miraglia, Oliver M. Donzelli	ACID: Automatic Sort-Map Classification for Interactive Process Diagnosis.	IEEE Des. Test Comput.	2007	DBLP DOI BibTeX RDF	AC/ID methodology, electrical sort test, commonality analysis, pattern recognition, fault diagnosis, statistical methods, semiconductor manufacturing
14	Lisa Bahler, Francesco Caruso, Josephine Micallef	A Practical Method and Tool for Systems Engineering of Service-Oriented Applications.	WISE	2007	DBLP DOI BibTeX RDF	Service Design Methodology, SOA Tools, SOA, Model-Driven Development, Systems Engineering, Enterprise Application Integration