Search results for "PRInCiPleS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
51	Gilbert Cockton	Revisiting usability's three key principles.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	software development principles, evaluation, design, usability, user studies
41	Normand Séguin, Alain Abran, Robert Dupuis	Software engineering principles: a survey and an analysis.	C3S2E	2010	DBLP DOI BibTeX RDF	fundamentals, software engineering principles, rules, concepts, laws
37	Christian Lebiere, Robert E. Wray	Motivating the 2006 AAAI Spring Symposium: Cognitive Science Principles Meet AI-Hard Problems.	AAAI Spring Symposium: Between a Rock and a Hard Place: Cognitive Science Principles Meet AI-Hard Problems	2006	DBLP BibTeX RDF
37	Uta Schwertel	05371 Executive Summary - Principles and Practice of Semantic Web Reasoning (PPSWR).	Principles and Practices of Semantic Web Reasoning	2005	DBLP BibTeX RDF
37	François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach	05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning.	Principles and Practices of Semantic Web Reasoning	2005	DBLP BibTeX RDF
37	Masahiro Watanabe, Shunichi Yonemura, Yoko Asano	Investigation of Web Usability Based on the Dialogue Principles.	HCI (10)	2009	DBLP DOI BibTeX RDF	ISO 9241-110, dialogue principles, usability, Web, self-descriptiveness
37	Vincent Astier, Marcus Tressl	Axiomatization of local-global principles for pp-formulas in spaces of orderings.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Spaces of orderings, Special groups, Positive-primitive formulas, Local-global principles, Isotropy theorem, Model theory, Quadratic forms
37	Julie Heiser, Doantam Phan, Maneesh Agrawala, Barbara Tversky, Pat Hanrahan	Identification and validation of cognitive design principles for automated generation of assembly instructions.	AVI	2004	DBLP DOI BibTeX RDF	assembly instructions, visual instructions, diagrams, design principles, spatial ability
37	Thomas Grechenig, Wolfgang Zuser	Creating Organic Software Maturity Attitudes (COSMA) Selected Principles and Activities for Software Maturity in Small and Medium Software Enterprises.	QSIC	2004	DBLP DOI BibTeX RDF	Small and medium software enterprises (SMSE), Software maturity (SM), Software quality assurance (SQA), development cultures, activities, attitudes, principles
37	Connie U. Smith	Applying Synthesis Principles to Create Responsive Software Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	synthesis principles, responsive software systems, system performance parameters, user interfaces, user interfaces, systems analysis, systems analysis, system architecture, software requirements, information storage
37	Patrick van Bommel, Stijn Hoppenbrouwers, Henderik Alex Proper, Theo P. van der Weide	Giving Meaning to Enterprise Architectures: Architecture Principles with ORM and ORC.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF
37	Åsa Lindström	On the Syntax and Semantics of Architectural Principles.	HICSS	2006	DBLP DOI BibTeX RDF
36	Marina C. Chen, James R. Cowie	The hopping ruse.	Heterogeneous Computing Workshop	1997	DBLP DOI BibTeX RDF	security violation detection, real-time service hopping, distributed client-server systems, spread-spectrum techniques, secure wireless communication, secure hopping, engineering principles, statistically noisy interconnection network, hopping client-server system, security of data, design principles, heterogeneous environments, frequency-hopping
36	Jean-Luc Gaudiot, Andrew Sohn	Data-Driven Parallel Production Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	parallel production systems, data-flow principles, high programmability, data-driven principles, RETE match algorithm, actor set, program graph design, tagged data-flow computer, deterministic simulation, artificial intelligence production systems, parallel programming, parallel architectures, expert systems, symbolic computations, symbol manipulation, multiprocessor architecture, numerical computations, multiprocessor environment, data-driven architectures
34	Gilbert Cockton	Getting there: six meta-principles and interaction design.	CHI	2009	DBLP DOI BibTeX RDF	axiology, meta-principles, worth-centred development frameworks, evaluation, design approaches
34	Philip R. Ross, David V. Keyson	The case of sculpting atmospheres: towards design principles for expressive tangible interaction in control of ambient systems.	Pers. Ubiquitous Comput.	2007	DBLP DOI BibTeX RDF	Tangible expressive interaction, Design principles
34	Krystle Lemon, Edward B. Allen, Jeffrey C. Carver, Gary L. Bradshaw	An Empirical Study of the Effects of Gestalt Principles on Diagram Understandability.	ESEM	2007	DBLP DOI BibTeX RDF	Gestalt principles, diagram comprehension, software architecture, empirical software engineering, cognitive science
34	Thomas Sugar, Michael McBeath, Anthony Suluh, Keshav Mundhra	Mobile robot interception using human navigational principles: Comparison of active versus passive tracking algorithms.	Auton. Robots	2006	DBLP DOI BibTeX RDF	Perceptual principles, Visual servoing, Mobile robot navigation
34	Sungwoo Tak	Some Principles Incorporating Topology Dependencies for Designing Survivable WDM Optical Networks.	ICN (2)	2005	DBLP DOI BibTeX RDF	topology dependencies, optical networks, restoration, WDM, principles
34	Hossein Saiedian, James J. Urban	A case study to demonstrate the impact of quality design principles when restructuring existing software.	Softw. Qual. J.	1997	DBLP DOI BibTeX RDF	re-structuring, quality software, design principles, re-engineering
34	Alan M. Davis	Fifteen Principles of Software Engineering.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	software engineering principles, early product delivery, intellectual distance, software techniques, hype, software engineering, software tools, management, requirements, quality, process model, languages, responsibility, people, code inspection, design alternatives, execution speed
32	Konstantinos Chorianopoulos	Interactive TV Design That Blends Seamlessly with Everyday Life.	Universal Access in Ambient Intelligence Environments	2006	DBLP DOI BibTeX RDF	paradigm of use, Ambient ITV, media studies, metaphors, interactive TV, Design principles
32	Richard L. Baskerville, Balasubramaniam Ramesh, Linda Levine, Jan Pries-Heje, Sandra Slaughter	Is Internet-Speed Software Development Different?	IEEE Softw.	2003	DBLP DOI BibTeX RDF	development principles, Internet-speed software development practices, agile software development
32	William G. Griswold	Comments on "Language Design for Program Manipulation''.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	new programming languages, semantics, programming, object-oriented languages, object-oriented language, programming theory, language design, syntax, design principles, program manipulation, procedural language
30	Taj Campbell, Brian Ngo, James Fogarty	Game design principles in everyday fitness applications.	CSCW	2008	DBLP DOI BibTeX RDF	everyday fitness games, kukini, design principles
30	Roberto Santana Tapia, Maya Daneva, Pascal van Eck, Nicte-Há Castro Cárdenas, Leida van Oene	Business-IT Alignment Domains and Principles for Networked Organizations: A Qualitative Multiple Case Study.	OTM Workshops	2008	DBLP DOI BibTeX RDF	Alignment principles, inter-organizational cooperation, business networks
30	Krisela Rivera, Elissa Darnell	The Use of Cognitive and Social Psychological Principles in Field Research: How It Furthers Our Understanding of User Behaviors, Needs and Motivations, and Informs the Product Design Process.	HCI (10)	2007	DBLP DOI BibTeX RDF	psychological principles, field research, ethnography, design process, product development, user experience research, global market
30	Hiroko Akatsu, Hiroyuki Miki, Naotsune Hosono	Design Principles Based on Cognitive Aging.	HCI (1)	2007	DBLP DOI BibTeX RDF	cognitive aging, ATM, design principles, elderly users
30	Karl Flieder, Felix Mödritscher	Foundations of a pattern language based on Gestalt principles.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	Gestalt principles, linguistic categories, HCI, patterns
30	Kalyanmoy Deb, Aravind Srinivasan	Innovization: innovating design principles through optimization.	GECCO	2006	DBLP DOI BibTeX RDF	knowledge discovery, multi-objective optimization, design principles, innovative design
30	Andreas Schaad, Jonathan D. Moffett	Separation, review and supervision controls in the context of a credit application process: a case study of organisational control principles.	SAC	2004	DBLP DOI BibTeX RDF	control principles, delegation of obligation, security, management, roles, review, supervision
30	Colleen Roe, Sergio Gonik	Server-Side Design Principles for Scalable Internet Systems.	IEEE Softw.	2002	DBLP DOI BibTeX RDF	optimization, scalability, load balancing, architecture, concurrency, distribution, partitioning, encapsulation, design principles, asynchrony, parsimony
29	Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen 0001, Rupak Majumdar (eds.)	Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Kim G. Larsen, Christian Schilling 0001, Jirí Srba	Simulation Relations and Applications in Formal Methods.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Bettina Könighofer, Roderick Bloem, Rüdiger Ehlers, Christian Pek	Correct-by-Construction Runtime Enforcement in AI - A Survey.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Hermann Kopetz	An Architecture for Safe Driving Automation.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer	On the Foundations of Cycles in Bayesian Networks.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell 0001	What's Decidable About Discrete Linear Dynamical Systems?	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Bengt Jonsson 0001, K. Narayan Kumar, Prakash Saivasan	Consistency and Persistency in Program Verification: Challenges and Opportunities.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Ranjit Jhala	Embedded Domain Specific Verifiers.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Javier Esparza, Rubén Rubio, Salomon Sickert	A Simple Rewrite System for the Normalization of Linear Temporal Logic.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Hadar Frenkel, Orna Grumberg, Bat-Chen Rothenberg, Sarai Sheinvald	Automated Program Repair Using Formal Verification Techniques.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Moshe Y. Vardi, Seth Fogarty, Yong Li 0031, Yih-Kuen Tsay	Towards a Grand Unification of Büchi Complementation Constructions.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov	Getting Saturated with Induction.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Vivian Lin, Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee 0001	T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Patrick Cousot	Asynchronous Correspondences Between Hybrid Trajectory Semantics.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Marta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos	Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Albert Benveniste, Benoît Caillaud, Mathias Malandain	From Hybrid Automata to DAE-Based Modeling.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Marcin Jurdzinski, Rémi Morvan, K. S. Thejaswini	Universal Algorithms for Parity Games and Nested Fixpoints.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia	From Interface Automata to Hypercontracts.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Goran Frehse, Mirco Giacobbe, Enea Zaffanella	Symbolic Analysis of Linear Hybrid Automata - 25 Years Later.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan	A Framework for Transforming Specifications in Reinforcement Learning.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen	Parameter Synthesis in Markov Models: A Gentle Survey.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Monika Henzinger	Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Miroslav Chodil, Antonín Kucera 0001, Jan Kretínský	Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Marius Bozga, Joseph Sifakis	Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen	On Probabilistic Monitorability.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Michael Backenköhler, Luca Bortolussi, Verena Wolf	Variance Reduction in Stochastic Reaction Networks Using Control Variates.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Edward A. Lee, Marten Lohstroh	Generalizing Logical Execution Time.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Dirk Beyer 0001, Andreas Podelski	Software Model Checking: 20 Years and Beyond.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Giorgio Bacci, Giovanni Bacci 0001, Mathias Claus Jensen, Kim G. Larsen	Convex Lattice Equation Systems.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Daniel Hausmann 0001, Nir Piterman	A Survey on Satisfiability Checking for the μ-Calculus Through Tree Automata.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Matthias Függer, Christoph Lenzen 0001, Ulrich Schmid 0001	On Specifications and Proofs of Timed Circuits.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Sophie A. Neubauer, Radu Grosu	Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
29	Marten Lohstroh, Patricia Derler, Marjan Sirjani (eds.)	Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Masahiro Iida	What Is an FPGA?	Principles and Structures of FPGAs	2018	DBLP DOI BibTeX RDF
29	Masahiro Iida	Design Methodology.	Principles and Structures of FPGAs	2018	DBLP DOI BibTeX RDF
29	Tomonori Izumi, Yukio Mitsuyama	Design Flow and Design Tools.	Principles and Structures of FPGAs	2018	DBLP DOI BibTeX RDF
29	Kentaro Sano, Hiroki Nakahara	Hardware Algorithms.	Principles and Structures of FPGAs	2018	DBLP DOI BibTeX RDF
29	Tsutomu Maruyama, Yoshiki Yamaguchi, Yasunori Osana	Programmable Logic Devices (PLDs) in Practical Applications.	Principles and Structures of FPGAs	2018	DBLP DOI BibTeX RDF
29	Toshinori Sueyoshi	Basic Knowledge to Understand FPGAs.	Principles and Structures of FPGAs	2018	DBLP DOI BibTeX RDF
29	Motoki Amagasaki, Yuichiro Shibata	FPGA Structure.	Principles and Structures of FPGAs	2018	DBLP DOI BibTeX RDF
29	Masato Motomura, Masanori Hariyama, Minoru Watanabe	Advanced Devices and Architectures.	Principles and Structures of FPGAs	2018	DBLP DOI BibTeX RDF
29	Sanjit A. Seshia	Cyber-Physical Systems Education: Explorations and Dreams.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Adam Duracz, Eugenio Moggi, Walid Taha, Zhenchao Lin	A Semantic Account of Rigorous Simulation.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Stavros Tripakis, Roberto Lublinerman	Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Nis Wechselberg, Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden	Augmenting State Models with Data Flow.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow	A Formal Semantics for Traffic Sequence Charts.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Stephen A. Edwards	On Determinism.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Shuvra S. Bhattacharyya, Johan Lilius	Model-Based Representations for Dataflow Schedules.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Martin Törngren, Ulf Sellgren	Complexity Challenges in Development of Cyber-Physical Systems.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Jie Liu 0001	Autonomous Retailing: A Frontier for Cyber-Physical-Human Systems.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Reinhard Wilhelm	On the Road to Conviction: An Email Exchange with Edward Lee.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Janette Cardoso, Pierre Siron	Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Pascal Fradet, Alain Girault, Leila Jamshidian, Xavier Nicollin, Arash Shafiei 0001	Lossy Channels in a Dataflow Model of Computation.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Alireza S. Abyaneh, Christoph M. Kirsch	You Can Program What You Want but You Cannot Compute What You Want.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Pierluigi Nuzzo 0002, Alberto L. Sangiovanni-Vincentelli	Hierarchical System Design with Vertical Contracts.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop	Computing Average Response Time.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Soonhoi Ha, Eunjin Jeong	Embedded Software Design Methodology Based on Formal Models of Computation.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen	Interfaces for Stream Processing Systems.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Bernhard Rumpe, Andreas Wortmann 0001	Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Marjan Sirjani	Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Murat Arcak, John N. Maidens	Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Caroline Brandberg, Marco Di Natale	Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	David G. Messerschmitt	The Relativity Example: Is Terminological Innovation a Good Idea?	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Bruno Sinopoli, John A. W. B. Costanzo	Modeling Dynamical Phenomena in the Era of Big Data.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Marc Geilen	If We Could Go Back in Time... On the Use of 'Unnatural' Time and Ordering in Dataflow Models.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Gul Agha, Karl Palmskog	Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Hermann Kopetz	Anytime Algorithms in Time-Triggered Control Systems.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
29	Radu Grosu, Elahe Ghalebi K., Ali Movaghar 0001, Hamidreza Mahyar	Compressed Sensing in Cyber Physical Social Systems.	Principles of Modeling	2018	DBLP DOI BibTeX RDF