Search results for "Engineer"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Thomas Gschwind, Johann Oberleitner	Improving Dynamic Data Analysis with Aspect-Oriented Programming.	CSMR	2003	DBLP DOI BibTeX RDF
14	Lionel C. Briand, Yvan Labiche, Y. Miao	Towards the Reverse Engineering of UML Sequence Diagrams.	WCRE	2003	DBLP DOI BibTeX RDF
14	William G. Poole Jr.	The Softer Side of Custom Software Development: Working with the Other Players.	CSEE&T	2003	DBLP DOI BibTeX RDF
14	Adam L. Young, Moti Yung	Backdoor Attacks on Black-Box Ciphers Exploiting Low-Entropy Plaintexts.	ACISP	2003	DBLP DOI BibTeX RDF	hidden ciphers, obfuscated ciphers, black-box ciphers, Huffman compression, reverse-engineering, data compression, entropy, subliminal channel, Digital Rights Management (DRM), Symmetric ciphers, kleptography
14	Curtis E. Hrischuk, C. Murray Woodside	Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	software tracing, event labeling, web services, reverse engineering, debugging, distributed programming, graph grammar, trace analysis, causal order, logical clock
14	Gail C. Murphy, David Notkin, Kevin J. Sullivan	Software Reflexion Models: Bridging the Gap between Design and Implementation.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	model differencing, Reverse engineering, program understanding, program representation, software structure
14	Boonserm Kulvatunyou, Richard A. Wysk	Computer-aided manufacturing simulation (CAMS) generation for interactive analysis: concepts, techniques, and issues.	WSC	2001	DBLP DOI BibTeX RDF
14	Hiroshi Suganuma, Kinya Nakamura, Tsutomu Syomura	Test operation-driven approach on building regression testing environment.	COMPSAC	2001	DBLP DOI BibTeX RDF
14	Philippe Kruchten	Putting the "Engineering" into "Software Engineering".	CSEE&T	2001	DBLP DOI BibTeX RDF
14	Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi	Efficient Debugging in a Formal Verification Environment.	CHARME	2001	DBLP DOI BibTeX RDF
14	Gary Huber	Terraffectors and the Art of Consensus Building.	Digital Earth Moving	2001	DBLP DOI BibTeX RDF
14	Ken Barker 0002, Bruce W. Porter, Peter Clark	A library of generic concepts for composing knowledge bases.	K-CAP	2001	DBLP DOI BibTeX RDF	ontologies, knowledge engineering, knowledge reuse
14	Ahmad Kayed, Robert M. Colomb	Re-engineering Approach to Build Domain Ontologies.	Web Intelligence	2001	DBLP DOI BibTeX RDF
14	Jörg Keller 0002, Valerij Bauer, Wojciech Kwedlo	Application of Data-Mining and Knowledge Discovery in Automotive Data Engineering.	PKDD	2000	DBLP DOI BibTeX RDF	Automotive Data Engineering, Evolutionary Decision Rule Learning, Data-Mining, Knowledge Discovery
14	Markus Eggersmann, Claudia Krobb, Wolfgang Marquardt	A Modeling Language for Design Processes in Chemical Engineering.	ER	2000	DBLP DOI BibTeX RDF
14	Satoshi Hada	Zero-Knowledge and Code Obfuscation.	ASIACRYPT	2000	DBLP DOI BibTeX RDF
14	S. F. Mauser, J. Gillerman, D. Nordell	Utility Information Integration - Vision, Benefits, Strategies, and Status.	HICSS	2000	DBLP DOI BibTeX RDF
14	Tomas Forkert, Hans-Peter Kersken, Andreas Schreiber 0001, Martin Strietzel, Klaus Wolf	The Distributed Engineering Framework TENT.	VECPAR	2000	DBLP DOI BibTeX RDF
14	Sugiyama Shigeo	Biographies of scientists and public understanding of science.	AI Soc.	1999	DBLP DOI BibTeX RDF	Edison, Faraday, History of science, Biography
14	James R. Davis, Jason Scott, Janos Sztipanovits, Marcus Martinez	Multi-Domain Surety Modeling and Analysis for High Assurance Systems.	ECBS	1999	DBLP DOI BibTeX RDF
14	Ly Danielle Sauer, Timothy E. Lindquist, Jeremy Cairney	Tracking Personal Processes in Group Projects.	COMPSAC	1999	DBLP DOI BibTeX RDF	Process Components, Process Integration and Process Interoperability, Personal Software Process
14	Doris L. Carver	Opportunities and Challenges for Software Engineering Education.	CSEE&T	1999	DBLP DOI BibTeX RDF
14	Adam L. Young, Moti Yung	Monkey: Black-Box Symmetric Ciphers Designed for MONopolizing KEYs.	FSE	1998	DBLP DOI BibTeX RDF
14	Ira D. Baxter, Michael Mehlich	Reverse Engineering is Reverse Forward Engineering.	WCRE	1997	DBLP DOI BibTeX RDF
14	Michael J. Lutz, J. Fernando Naveda	The road less traveled: a baccalaureate degree in software engineering.	SIGCSE	1997	DBLP DOI BibTeX RDF
14	Esa Koskimäki, Janne Göös	Electric machine dimensioning by global optimization.	KES (1)	1997	DBLP DOI BibTeX RDF
14	Robert N. Smith, Sourav Bhattacharya	Firewall placement in a large network topology.	FTDCS	1997	DBLP DOI BibTeX RDF	firewall placement heuristics, large network topology, multi-user distributed information environment, firewall cascade, potential attack point, comprehensive security protection, end-to-end security protection, simulation, performance, network security, completeness, authorisation, operations research, cost optimization, delay minimization, sensitive data, confidence degree
14	Tom Lake, Tim Blanchard	Reverse Engineering of Assembler Programs: A Model-Based Approach and its Logical Basis.	WCRE	1996	DBLP DOI BibTeX RDF
14	Masakazu Hori, Yoichi Shinoda, Koichiro Ochimizu	Shared Data Management Mechanism for Distributed Software Development Based on a Reflective Object-Oriented Model.	CAiSE	1996	DBLP DOI BibTeX RDF
14	Neil C. Olsen	Survival of the Fastest: Improving Service Velocity.	IEEE Softw.	1995	DBLP DOI BibTeX RDF
14	Rainer Gerlich, Mladen Kerep	Distributed and Parallel Systems and HOOD 4.	Ada-Europe	1995	DBLP DOI BibTeX RDF	Distributed Systems, Software Design, Parallel Systems, HOOD, Software Partitioning
14	Mark G. Bradac, Dewayne E. Perry, Lawrence G. Votta	Prototyping a Process Monitoring Experiment.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	process monitoring experiment, very large software system, large-scale long-term development, long-term process monitoring, waterfall view, interactive cyclic view, large-scale process monitoring experiment, prototyping, software development, software, hardware, software prototyping, experimental design, computerised monitoring, process computer control
14	James P. O'Connor, Catharine Mansour, Jerri Turner-Harris, Grady H. Campbell Jr.	Reuse in Command-and-Control Systems.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	Command-and-Control Systems Division, Rockwell International, SPC Synthesis methodology, domain-specific reuse, high-level requirements, engineering decisions, formal specification, specification, software reusability, software requirements, command and control systems, customer needs
14	Gerald C. Gannod, Betty H. C. Cheng	A Two-Phase Approach to Reverse Engineering Using Formal Methods.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
14	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
14	Terry Winograd	What can we teach about human-computer interaction? (plenary address).	CHI	1990	DBLP DOI BibTeX RDF
14	Hans Brunner	A snapshot of natural language interfaces (panel).	CHI	1990	DBLP DOI BibTeX RDF
14	Jakob Nielsen	Designing for international use (panel).	CHI	1990	DBLP DOI BibTeX RDF
14	S. Joy Mountford	Designers: meet your users (panel).	CHI	1990	DBLP DOI BibTeX RDF	Apple Computer, HyperCard, Inc
14	Marcy Telles	Updating an older interface.	CHI	1990	DBLP DOI BibTeX RDF	WordStar
14	Sanjiv Ranjan	MTEEP: mechanical transmission element expert system.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
14	D. Praizler, G. Fritz	A Parts Selection Expert System to Increase Manufacturability.	DAC	1987	DBLP DOI BibTeX RDF
14	Cecelia Jankowski	Engineering workstation applications to systems design (panel session): life above the IC.	DAC	1985	DBLP DOI BibTeX RDF
14	John P. Gray, John Hunter	Portability in silicon CAE.	DAC	1985	DBLP DOI BibTeX RDF
7	Lawrence Bergman, Jie Lu, Ravi B. Konuru, Julie MacNaught, Danny L. Yeh	Outline wizard: presentation composition and search.	IUI	2010	DBLP DOI BibTeX RDF	context-sensitive information retrieval, outline-based search, presentation composition, presentation search
7	Adam Chlipala	A verified compiler for an impure functional language.	POPL	2010	DBLP DOI BibTeX RDF	compiler verification, interactive proof assistants
7	João Carlos Silva 0002, Carlos E. Silva, Rui D. Gonçalo, João Saraiva, José Creissac Campos	The GUISurfer tool: towards a language independent approach to reverse engineering GUI code.	EICS	2010	DBLP DOI BibTeX RDF	graphical user interfaces, analysis, source code
7	Adam Chlipala	Ur: statically-typed metaprogramming with type-level record computation.	PLDI	2010	DBLP DOI BibTeX RDF	dependent types, metaprogramming
7	Mathew Hall, Phil McMinn, Neil Walkinshaw	Superstate identification for state machines using search-based clustering.	GECCO	2010	DBLP DOI BibTeX RDF	bunch, search-based clustering, state machines, hill-climbing
7	Maayan Goldstein, Onn Shehory, Rachel Tzoref-Brill, Shmuel Ur	Improving throughput via slowdowns.	ICSE (2)	2010	DBLP DOI BibTeX RDF	automated performance management, self-managing systems
7	Alex Groce, Klaus Havelund, Margaret H. Smith	From scripts to specifications: the evolution of a flight software testing effort.	ICSE (2)	2010	DBLP DOI BibTeX RDF	development practices, space flight software, test infrastructure, testing, temporal logic, Python, logs, runtime verification
7	Daniel Popescu 0001	Helios: impact analysis for event-based components and systems.	ICSE (2)	2010	DBLP DOI BibTeX RDF
7	Vitaly Chipounov, George Candea	Reverse engineering of binary device drivers with RevNIC.	EuroSys	2010	DBLP DOI BibTeX RDF	closed-source, proprietary software, reverse engineering, device drivers, binary
7	Mo Li 0002, Kumbesan Sandrasegaran	A proxy based authentication localisation scheme for handover between non trust-associated domains.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2009	DBLP DOI BibTeX RDF
7	Andrea De Lucia, Rocco Oliveto, Genoveffa Tortora	Assessing IR-based traceability recovery tools through controlled experiments.	Empir. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Traceability recovery, Information retrieval, Singular value decomposition, Program comprehension, Latent semantic indexing, Impact analysis
7	Kevin N. Gurney	Reverse Engineering the Vertebrate Brain: Methodological Principles for a Biologically Grounded Programme of Cognitive Modelling.	Cogn. Comput.	2009	DBLP DOI BibTeX RDF	Levels of analysis, Brain architecture, Methodology, Computation, Cognition, Computational neuroscience, Basal ganglia
7	Li Ping Qian 0001, Ying Jun Zhang, Jianwei Huang 0001	MAPEL: Achieving global optimality for a non-convex wireless power control problem.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
7	David Notkin	Software, Software Engineering and Software Engineering Research: Some Unconventional Thoughts.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	software engineering/general, software engineering process/life cycle
7	Michal Antkiewicz, Thiago T. Bartolomei, Krzysztof Czarnecki 0001	Fast extraction of high-quality framework-specific models from application code.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Framework-specific models, Framework-specific modeling languages, Reverse engineering, Static analysis, Application programming interface, API, Object-oriented frameworks
7	Jonathan S. Turner	Strong performance guarantees for asynchronous buffered crossbar scheduler.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	asynchronous crossbars, crossbar schedulers, routers, switches, performance guarantees
7	Rajiv Ranjan Suman, Rajib Mall	State model extraction of a software component by observing its behavior.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF	reverse engineering, software component, FSM, state model
7	Alfredo Raúl Teyseyre, Marcelo R. Campo	An Overview of 3D Software Visualization.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
7	Philippe Kruchten	You Are What You Read.	IEEE Softw.	2009	DBLP DOI BibTeX RDF
7	Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion	Architecture of a morphological malware detector.	J. Comput. Virol.	2009	DBLP DOI BibTeX RDF
7	Alexander Felfernig, Gerhard Friedrich, Klaus Isak, Kostyantyn M. Shchekotykhin, Erich Teppan, Dietmar Jannach	Automated debugging of recommender user interface descriptions.	Appl. Intell.	2009	DBLP DOI BibTeX RDF
7	Chih-Chun Chen 0001, Sylvia B. Nagl, Christopher D. Clack	Complexity and Emergence in Engineering Systems.	Complex Systems in Knowledge-based Environments	2009	DBLP DOI BibTeX RDF
7	Maria Taboada, Maria Meizoso, Diego Martínez Hernández, S. Tellado	A Study of Applying Knowledge Modelling to Evidence-Based Guidelines.	IWINAC (1)	2009	DBLP DOI BibTeX RDF	CommonKADs methodology, ontologies, knowledge modeling, clinical practice guideline
7	Antonio Jurado-Lucena, David Escot-Bocanegra, David Poyatos, Ignacio Montiel Sánchez	Application of Artificial Neural Networks to Complex Dielectric Constant Estimation from Free-Space Measurements.	IWINAC (1)	2009	DBLP DOI BibTeX RDF	Materials characterization, complex permittivity, free-space measurements, radial basis function, multilayer perceptron
7	Zahid Hussain, Harald Milchrahm, Sara Shahzad, Wolfgang Slany, Manfred Tscheligi, Peter Wolkerstorfer	Integration of Extreme Programming and User-Centered Design: Lessons Learned.	XP	2009	DBLP DOI BibTeX RDF	Usability, User-Centered Design, Extreme Programming, Mobile Application, Agile Methods
7	Juan Miguel López 0001, Afra Pascual, Antoni Granollers	Engineering Accessibility in Web Content Management System Environments.	WISE	2009	DBLP DOI BibTeX RDF	Web Content Management Systems, Web accessibility evaluation, monitoring, user logs
7	Bertrand Estellon, Frédéric Gardi, Karim Nouioua	High-Performance Local Search for Task Scheduling with Human Resource Allocation.	SLS	2009	DBLP DOI BibTeX RDF
7	Philippe Dugerdil, Sebastien Jossi	Computing dynamic clusters.	ISEC	2009	DBLP DOI BibTeX RDF	software architecture, reverse-engineering, dynamic analysis, software clustering
7	Kawa Nazemi, Thomas Daniel Ullmann, Christoph Hornung	Engineering User Centered Interaction Systems for Semantic Visualizations.	HCI (5)	2009	DBLP DOI BibTeX RDF	semantic visualization, interaction, gesture, universal access
7	Gerard Briscoe, Philippe De Wilde	Digital ecosystems: self-organisation of evolving agent populations.	MEDES	2009	DBLP DOI BibTeX RDF	clustering, complexity, entropy, evolution, population
7	Víctor López-Jaquero, Francisco Montero Simarro, Fernando Real	Designing user interface adaptation rules with T: XML.	IUI	2009	DBLP DOI BibTeX RDF	t:xml tool, user interface adaptation, user interface development environment
7	Abdulhalim Dandoush, Sara Alouf, Philippe Nain	Performance Analysis of Centralized versus Distributed Recovery Schemes in P2P Storage Systems.	Networking	2009	DBLP DOI BibTeX RDF	peer-to-peer storage systems, recovery process, absorbing continuous-time Markov chain, Performance evaluation
7	Hong-Ping Yan, Chun Liu, André Gagalowicz, Cédric Guiard	Facade Structure Parameterization Based on Similarity Detection from Single Image.	MIRAGE	2009	DBLP DOI BibTeX RDF	grammar rules, single rectified image, template, similarity detection
7	Silvio Micali, Abhi Shelat	Purely Rational Secret Sharing (Extended Abstract).	TCC	2009	DBLP DOI BibTeX RDF
7	Neil Walkinshaw, John Derrick, Qiang Guo 0001	Iterative Refinement of Reverse-Engineered Models by Model-Based Testing.	FM	2009	DBLP DOI BibTeX RDF	Reverse engineering, model-based testing, Erlang
7	Keith Andrews, Martin Wohlfahrt, Gerhard Wurzinger	Visual Graph Comparison.	IV	2009	DBLP DOI BibTeX RDF
7	Akira Kuroda, Mayuko Koezuka, Hidenori Matsuzaki, Takashi Yoshikawa, Shigehiro Asano	Mapping method for dynamically reconfigurable architecture.	ASP-DAC	2009	DBLP DOI BibTeX RDF
7	Lars Gräning, Markus Olhofer, Bernhard Sendhoff	Interaction Detection in Aerodynamic Design Data.	IDEAL	2009	DBLP DOI BibTeX RDF	Interaction Detection, Aerodynamic Design Data, Turbine Blade, Information Theory, Knowledge Extraction
7	Alexei Lapouchnian, Yves Lespérance	Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models.	Conceptual Modeling: Foundations and Applications	2009	DBLP DOI BibTeX RDF
7	Nicola Guarino	The Ontological Level: Revisiting 30 Years of Knowledge Representation.	Conceptual Modeling: Foundations and Applications	2009	DBLP DOI BibTeX RDF	OntoClean, ontology, knowledge representation, identity, rigidity
7	Tyson Badders, Swayze Smartt	Predicting precedence delays in loudspeaker configuration.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF
7	Moria Abadi, Yishai A. Feldman	Refactoring of Statecharts.	NGITS	2009	DBLP DOI BibTeX RDF
7	Andrea Presa, Yannis Velegrakis, Flavio Rizzolo, Siarhei Bykau	Modeling Associations through Intensional Attributes.	ER	2009	DBLP DOI BibTeX RDF
7	M. A. Azadeh, Salman Nazari Shirkouhi	Evaluating simulation software using fuzzy analytical hierarchy process.	SpringSim	2009	DBLP DOI BibTeX RDF	simulation software, software selection, fuzzy analytical hierarchy process
7	Philip S. Barry, Matthew T. K. Koehler, Brian F. Tivnan	Agent-directed simulation for systems engineering.	SpringSim	2009	DBLP DOI BibTeX RDF	agent directed simulation, infrastructure for complex-systems engineering, stadium defense
7	Fernando Fernández 0001, Daniel Borrajo, Susana Fernández, David Manzano-Macho	Assisting Data Mining through Automated Planning.	MLDM	2009	DBLP DOI BibTeX RDF
7	Luigi Iannone, Alan L. Rector, Robert Stevens 0001	Embedding Knowledge Patterns into OWL.	ESWC	2009	DBLP DOI BibTeX RDF
7	Manar H. Alalfi, James R. Cordy, Thomas R. Dean	A verification framework for access control in dynamic web applications.	C3S2E	2009	DBLP DOI BibTeX RDF
7	Jadwiga Indulska, Ricky Robinson	Modelling Weiser's "Sal" Scenario with CML.	PerCom Workshops	2009	DBLP DOI BibTeX RDF
7	Giovanni Denaro, Mauro Pezzè, Davide Tosi	Ensuring interoperable service-oriented systems through engineered self-healing.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	integration faults, integration mismatches, interoperable service-oriented applications, self-healing software
7	Beniamin Apopei, Andy Mills, Tony J. Dodd, Haydn Thompson	Real Time Simulation in Floating Point Precision Using FPGA Computing.	ARC	2009	DBLP DOI BibTeX RDF
7	Andrew L. Burrow	Algorithm Design Using Traversals of the Covering Relation.	ICCS	2009	DBLP DOI BibTeX RDF
7	Jeff Clune, Charles Ofria, Robert T. Pennock	The sensitivity of HyperNEAT to different geometric representations of a problem.	GECCO	2009	DBLP DOI BibTeX RDF	developmental encoding, generative encoding, artificial neural networks, geometry, neuroevolution, neat, indirect encoding, hyperneat
7	Graeme Smith 0001, Jeffrey W. Sanders	Formal Development of Self-organising Systems.	ATC	2009	DBLP DOI BibTeX RDF
7	Koji Yamada, Motoki Miura, Tessai Hayama, Susumu Kunifuji	Effectiveness of Engineering Solution Case Document Search Based on TRIZ Contradiction Matrix Theory.	KES (2)	2009	DBLP DOI BibTeX RDF	Knowledge management support system, contradiction matrix, retrieval, TRIZ
7	Ilias Bergstrom, Anthony Steed, Beau Lotto	Mutable mapping: gradual re-routing of OSC control data as a form of artistic performance.	Advances in Computer Entertainment Technology	2009	DBLP DOI BibTeX RDF	open sound control, performance, mapping, live, audiovisual