BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
design (71)
base (42)
use (35)
system (29)
softwar (28)

Stem principl$ (all stems)

302 papers:

DACDAC-2015-CampbellLMC #debugging #detection #fault #hybrid #synthesis #using #validation
Hybrid quick error detection (H-QED): accelerator validation and debug using high-level synthesis principles (KAC, DL, SM, DC), p. 6.
DATEDATE-2015-ArumugamSAPUBPY #algorithm #co-evolution #design #energy #memory management #novel #performance
Novel inexact memory aware algorithm co-design for energy efficient computation: algorithmic principles (GPA, PS, JA, KVP, EU, AB, P, SY), pp. 752–757.
SIGMODSIGMOD-2015-MozafariGY #database #design #framework #named #robust
CliffGuard: A Principled Framework for Finding Robust Database Designs (BM, EZYG, DYY), pp. 1167–1182.
VLDBVLDB-2015-BhattacherjeeCH #dataset #trade-off #version control
Principles of Dataset Versioning: Exploring the Recreation/Storage Tradeoff (SB, AC, SH, AD, AGP), pp. 1346–1357.
ICALPICALP-v2-2015-AisenbergBBCI #principle #proving
Short Proofs of the Kneser-Lovász Coloring Principle (JA, MLB, SB, AC, GI), pp. 44–55.
ICFPICFP-2015-PloegC #exclamation
Practical principled FRP: forget the past, change the future, FRPNow! (AvdP, KC), pp. 302–314.
CHICHI-2015-SlegersRVD #elicitation #game studies #research #user interface #using
Using Game Principles in UX Research: A Board Game for Eliciting Future User Needs (KS, SR, JV, PD), pp. 1225–1228.
HCIDUXU-DD-2015-CamposBFNC #experience #guidelines #heuristic #industrial #multimodal
Combining Principles of Experience, Traditional Heuristics and Industry Guidelines to Evaluate Multimodal Digital Artifacts (FC, RB, WF, EVN, WC), pp. 130–137.
HCIDUXU-IXD-2015-Farkas #human-computer #user interface
Defining HCI/UX Principles for Urban Environment (PF), pp. 346–356.
ICEISICEIS-v1-2015-CaballeroBP #assessment #process #towards
Towards Principled Data Science Assessment — The Personal Data Science Process (PdsP) (IC, LBE, MP), pp. 374–378.
ICMLICML-2015-JohnsonG #named #optimisation #scalability
Blitz: A Principled Meta-Algorithm for Scaling Sparse Optimization (TJ, CG), pp. 1171–1179.
BXBX-2015-CheneyGMS #bidirectional #towards
Towards a Principle of Least Surprise for Bidirectional Transformations (JC, JG, JM, PS), pp. 66–80.
ASPLOSASPLOS-2015-ZhaoS #automaton #on the fly #parallel
On-the-Fly Principled Speculation for FSM Parallelization (ZZ, XS), pp. 619–630.
TLCATLCA-2015-EscardoX #consistency #nondeterminism
The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation (MHE, CX), pp. 153–164.
CBSECBSE-2014-Dustdar
Principles and methods for elastic computing (SD), pp. 1–2.
DACDAC-2014-WangA #constraints #data mining #mining
Data Mining In EDA — Basic Principles, Promises, and Constraints (LCW, MSA), p. 6.
PODSPODS-2014-Kimelfeld #database #information management
Database principles in information extraction (BK), pp. 156–163.
VLDBVLDB-2014-ArenasDFKS #approach #graph
A Principled Approach to Bridging the Gap between Graph Data and their Schemas (MA, GID, AF, AK, KS), pp. 601–612.
CSEETCSEET-2014-Lethbridge #development #education #effectiveness #modelling #using
Teaching modeling using Umple: Principles for the development of an effective tool (TCL), pp. 23–28.
ITiCSEITiCSE-2014-MI14a #principle #problem #using
Problem-solving using the extremality principle (JM, SI), pp. 87–92.
ITiCSEITiCSE-2014-PorterTW #concept #development #flexibility #open source
Leveraging open source principles for flexible concept inventory development (LP, CT, KCW), pp. 243–248.
FMFM-2014-ArmstrongGS #algebra #concurrent #tool support #verification
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools (AA, VBFG, GS), pp. 78–93.
IFMIFM-2014-PatcasLM #embedded
A Separation Principle for Embedded System Interfacing (LMP, ML, TSEM), pp. 373–388.
HCIDUXU-ELAS-2014-MarcusDW #design
User-Experience for Personal Sustainability Software: Applying Design Philosophy and Principles (AM, JD, LW), pp. 583–593.
HCIDUXU-ELAS-2014-PetkovB #design
Hardwired Critical Action Panels for Emergency Preparedness: — Design Principles and CAP Design for Offshore Petroleum Platforms (BP, AOB), pp. 326–337.
ICEISICEIS-v3-2014-AlvesVS #analysis #architecture
Architecture Principles Compliance Analysis (JA, AV, PS), pp. 328–334.
ICPRICPR-2014-OtteSZ #algorithm #named #using
ANTSAC: A Generic RANSAC Variant Using Principles of Ant Colony Algorithms (SO, US, AZ), pp. 3558–3563.
KEODKEOD-2014-BrucatoD #modelling #ontology #simulation
The Minimal Ontology Principle — Philosophical Foundations of OPM-based Modelling and Simulation (JB, DD), pp. 405–409.
KRKR-2014-DeneckerV #induction #principle #revisited #semantics
The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited (MD, JV).
SIGIRSIGIR-2014-TongWZ #corpus #taxonomy
Principled dictionary pruning for low-memory corpus compression (JT, AW, JZ), pp. 283–292.
ASPLOSASPLOS-2014-ZhaoWS #finite #state machine
Challenging the “embarrassingly sequential”: parallelizing finite state machine-based computations through principled speculation (ZZ, BW, XS), pp. 543–558.
ICLPICLP-J-2014-GelfondZ #logic programming #source code
Vicious Circle Principle and Logic Programs with Aggregates (MG, YZ), pp. 587–601.
LICSLICS-CSL-2014-Das #on the
On the pigeonhole and related principles in deep inference and monotone systems (AD), p. 10.
DATEDATE-2013-YakovlevVR #industrial #logic #roadmap #tool support
Advances in asynchronous logic: from principles to GALS & NoC, recent industry applications, and commercial CAD tools (AY, PV, MR), pp. 1715–1724.
TFPIETFPIE-2013-Caldwell #functional #induction
Structural Induction Principles for Functional Programmers (JC), pp. 16–26.
TFPIETFPIE-2013-Tobin-HochstadtH
From Principles to Practice with Class in the First Year (STH, DVH), pp. 1–15.
MSRMSR-2013-RaemaekersNDV #locality #testing
Testing principles, current practices, and effects of change localization (SR, GFN, AvD, JV), pp. 257–266.
HCIHCI-IMT-2013-DruryPKL #design #lessons learnt #visualisation
Decision Space Visualization: Lessons Learned and Design Principles (JLD, MSP, GLK, YL), pp. 658–667.
HCIHCI-UC-2013-YangRV #industrial #interactive
Principled Ways of Finding, Analysing and Planning for Communicative Overhead in Interaction Technology for Fashion Industry (JY, SR, SV), pp. 484–491.
POPLPOPL-2013-Adams #parsing
Principled parsing for indentation-sensitive languages: revisiting landin’s offside rule (MDA), pp. 511–522.
POPLPOPL-2013-Goodman #probability #programming
The principles and practice of probabilistic programming (NDG), pp. 399–402.
POPLPOPL-2013-Krishnamurthi #programming language
From principles to programming languages (and back) (SK), pp. 233–234.
ICSEICSE-2013-NelsonSDFK #named
Aluminum: principled scenario exploration through minimality (TN, SS, DJD, KF, SK), pp. 232–241.
ICSEICSE-2013-SantosS #assessment #authentication #case study #education #re-engineering
Authentic assessment in software engineering education based on PBL principles: a case study in the telecom market (SCdS, FSFS), pp. 1055–1062.
ISMMISMM-2013-WhiteSAJ
Control theory for principled heap sizing (DRW, JS, JMA, REJ), pp. 27–38.
WICSA-ECSAWICSA-ECSA-2012-BegoliH #big data #design #effectiveness #information management
Design Principles for Effective Knowledge Discovery from Big Data (EB, JLH), pp. 215–218.
DLTDLT-J-2011-ArrighiD12 #physics #quantum
The Physical Church-Turing Thesis and the Principles of Quantum Theory (PA, GD), pp. 1131–1146.
LATALATA-2012-Dowek #automaton #formal method #physics #quantum
Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory (GD), pp. 21–37.
ICFPICFP-2012-Sheard #design #programming #reduction
Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages (TES), pp. 89–102.
CIKMCIKM-2012-LongGXK #approach #design #using
A simple approach to the design of site-level extractors using domain-centric principles (CL, XG, CX, SK), pp. 1517–1521.
ICPRICPR-2012-RichtsfeldZV #implementation #segmentation
Implementation of Gestalt principles for object segmentation (AR, MZ, MV), pp. 1330–1333.
KDDKDD-2012-RaederSDPP #design #predict #robust
Design principles of massive, robust prediction systems (TR, OS, BD, CP, FJP), pp. 1357–1365.
MLDMMLDM-2012-SapkotaBS #grammar inference #principle #using
Unsupervised Grammar Inference Using the Minimum Description Length Principle (US, BRB, APS), pp. 141–153.
OnwardOnward-2012-MeyerovichR #named #programming language
Socio-PLT: principles for programming language adoption (LAM, ASR), pp. 39–54.
CSEETCSEET-2011-ChenZL #education #testing
Teaching software testing methods based on diversity principles (ZC, JZ, BL), pp. 391–395.
LATALATA-2011-Marciniec
Tarski’s Principle, Categorial Grammars and Learnability (JM), pp. 378–389.
ICFPICFP-2011-HinzeJ #category theory #fixpoint #proving
Proving the unique fixed-point principle correct: an adventure with category theory (RH, DWHJ), pp. 359–371.
ICFPICFP-2011-PopescuG #recursion #syntax
Recursion principles for syntax with bindings and substitution (AP, ELG), pp. 346–358.
CHICHI-2011-McLoughlinC #assembly #design
Design interventions for open-air museums: applying and extending the principles of “assembly” (MM, LC), pp. 553–556.
HCIDUXU-v1-2011-AuingerAKH #design #difference #question #web
Conformity with User Expectations on the Web: Are There Cultural Differences for Design Principles? (AA, AMA, HK, AH), pp. 3–12.
HCIDUXU-v1-2011-MarcusDW #design
User-Experience for Personal Sustainability Software: Determining Design Philosophy and Principles (AM, JD, LW), pp. 172–177.
HCIIDGD-2011-Shin #challenge #multi #towards
Toward the New Sullivan Principles in the Information Age: Conflicts and Challenges of Multinational Information Technology Companies in Asian Countries (BS), pp. 393–401.
CIKMCIKM-2011-WangC #information retrieval #modelling #probability #ranking #statistics
Statistical information retrieval modelling: from the probability ranking principle to recent advances in diversity, portfolio theory, and beyond (JW, KCT), pp. 2603–2604.
ECIRECIR-2011-ZellhoferFSLR #information retrieval #principle #towards
Towards Quantum-Based DB+IR Processing Based on the Principle of Polyrepresentation (DZ, IF, IS, ML, KvR), pp. 729–732.
KDIRKDIR-2011-LiVM #graph #learning #relational #using #visual notation
Unsupervised Handwritten Graphical Symbol Learning — Using Minimum Description Length Principle on Relational Graph (JL, CVG, HM), pp. 172–178.
KDIRKDIR-2011-Schreiber #information management #web
Principles for Knowledge Engineering on the Web (GS), p. 11.
KEODKEOD-2011-KotowskiHGHS #design #user interface #workflow
Leveraging user Knowledge — Design Principles for an Intuitive User Interface for Building Workflows (DK, GH, MGG, HH, DAS), pp. 176–182.
SEKESEKE-2011-VilainM #agile #case study
Neglecting Agile Principles and Practices: A Case Study (PV, AJBM), pp. 596–601.
SIGIRSIGIR-2011-AlonsoL #crowdsourcing #information retrieval
Crowdsourcing for information retrieval: principles, methods, and applications (OA, ML), pp. 1299–1300.
BXBX-2011-Glueck #programming language
Principles of Reversible Programming Languages (RG), p. 50.
ICSEICSE-2011-WilliamsW #contract #re-engineering #research
The American law institute’s principles on software contracts and their ramifications for software engineering research (JBW, JHWJ), pp. 972–975.
ICSTSAT-2011-BennettS #principle #using
Model Counting Using the Inclusion-Exclusion Principle (HB, SS), pp. 362–363.
DATEDATE-2010-HatamiP #analysis #component #library #performance #representation #robust #using
Efficient representation, stratification, and compression of variational CSM library waveforms using Robust Principle Component Analysis (SH, MP), pp. 1285–1290.
DocEngDocEng-2010-BalinskyBS #documentation #on the
On helmholtz’s principle for documents processing (AAB, HB, SJS), pp. 283–286.
STOCSTOC-2010-HarshaKM
An invariance principle for polytopes (PH, AK, RM), pp. 543–552.
CAiSECAiSE-2010-JarkeLLMR #design #requirements
The Brave New World of Design Requirements: Four Key Principles (MJ, PL, KL, JM, WNR), pp. 470–482.
CAiSECAiSE-2010-LagunaMC #case study #modelling #on the #question #semantics
On the Semantics of the Extend Relationship in Use Case Models: Open-Closed Principle or Clairvoyance? (MAL, JMM, YC), pp. 409–423.
ECIRECIR-2010-ZucconA #documentation #probability #quantum #rank #ranking #using
Using the Quantum Probability Ranking Principle to Rank Interdependent Documents (GZ, LA), pp. 357–369.
ICMLICML-2010-ZiebartBD #interactive #modelling #principle
Modeling Interaction via the Principle of Maximum Causal Entropy (BDZ, JAB, AKD), pp. 1255–1262.
ICPRICPR-2010-Panagiotakis #modelling #principle #segmentation
Simultaneous Segmentation and Modelling of Signals Based on an Equipartition Principle (CP), pp. 85–88.
KEODKEOD-2010-Picca #multi
Building Multilingual Lexical Resources on Semiotic Principles (DP), pp. 412–415.
KRKR-2010-BaralHS #information management #reasoning #representation
Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (CB, IH, YS).
KRKR-2010-MouraLSN #information management #reasoning #representation #tutorial
Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (LMdM, CL, MMCS, BN).
SIGIRSIGIR-2010-ZucconAR #question
Has portfolio theory got any principles? (GZ, LA, KvR), pp. 755–756.
SACSAC-2010-AlmeidaYA10a #principle #using
Filtering spams using the minimum description length principle (TAA, AY, JA), pp. 1854–1858.
SACSAC-2010-CaetanoST #composition #principle #process
A method for business process decomposition based on the separation of concerns principle (AC, ARS, JMT), pp. 79–85.
ICSEICSE-2010-Wieringa #design
Design science methodology: principles and practice (RW), pp. 493–494.
LICSLICS-2010-Herbelin #logic #markov #principle
An Intuitionistic Logic that Proves Markov’s Principle (HH), pp. 50–56.
DATEDATE-2009-GoyalSC #novel #self
A novel self-healing methodology for RF Amplifier circuits based on oscillation principles (AG, MS, AC), pp. 1656–1661.
CSMRCSMR-2009-Rombach #design #maintenance #product line
Design for Maintenance — Use of Engineering Principles and Product Line Technology (HDR), pp. 1–2.
CHICHI-2009-Cockton #design #interactive
Getting there: six meta-principles and interaction design (GC), pp. 2223–2232.
HCIHCD-2009-WatanabeYA #usability #web
Investigation of Web Usability Based on the Dialogue Principles (MW, SY, YA), pp. 825–832.
HCIHCI-VAD-2009-Al-NanihAO #approach #health #human-computer #information management #modelling
New Health Information Systems (HIS) Quality-in-Use Model Based on the GQM Approach and HCI Principles (RAN, HAN, OO), pp. 429–438.
HCIHCI-VAD-2009-Loreto #design #game studies #social #web
Games Design Principles for Improving Social Web Applications (IDL), pp. 287–295.
ICEISICEIS-ISAS-2009-Kumlander #framework #nondeterminism
Uncertainties Management Framework — Foundational Principles (DK), pp. 103–108.
ICEISICEIS-ISAS-2009-OussenaB #analysis #implementation #modelling #process #using
Layered Process Models — Analysis and Implementation (using MDA Principles) (SO, BSB), pp. 168–175.
KDDKDD-2009-QiD #clustering #flexibility #framework
A principled and flexible framework for finding alternative clusterings (ZQ, ID), pp. 717–726.
KEODKEOD-2009-VealeL #clique #ontology
Ontological Cliques — Analogy as an Organizing Principle in Ontology Construction (TV, GL), pp. 34–41.
OOPSLAOOPSLA-2009-Mullen #design #people
Writing code for other people: cognitive psychology and the fundamentals of good software design principles (TM), pp. 481–492.
GPCEGPCE-2009-Nikhil #design #hardware #using
Using GPCE principles for hardware systems and accelerators: (bridging the gap to HW design) (RSN), pp. 1–2.
SACSAC-2009-NetoBFF #case study #interface #multimodal #usability #web
Developing and evaluating web multimodal interfaces — a case study with usability principles (ATN, TJB, RPdMF, KF), pp. 116–120.
SPLCSPLC-2009-DordowskyH #product line
Adopting software product line principles to manage software variants in a complex avionics system (FD, WH), pp. 265–274.
ASPLOSASPLOS-2009-CameronL #architecture #induction #parallel #principle
Architectural support for SWAR text processing with parallel bit streams: the inductive doubling principle (RDC, DL), pp. 337–348.
ASPLOSASPLOS-2009-LenharthAK #operating system
Recovery domains: an organizing principle for recoverable operating systems (AL, VSA, STK), pp. 49–60.
WICSAWICSA-2008-CantoneK #design #documentation #empirical
Value-Based Design Decision Rationale Documentation: Principles and Empirical Feasibility Study (GC, PK), pp. 189–198.
DATEDATE-2008-DasMJZMC #analysis #component #detection #implementation #network #performance
An Efficient FPGA Implementation of Principle Component Analysis based Network Intrusion Detection System (AD, SM, SJ, JZ, GM, ANC), pp. 1160–1165.
FoSSaCSFoSSaCS-2008-HasuoJS #algebra #concurrent
The Microcosm Principle and Concurrency in Coalgebra (IH, BJ, AS), pp. 246–260.
ICSMEICSM-2008-WermelingerYL #architecture #case study #design #evolution
Design principles in architectural evolution: A case study (MW, YY, AL), pp. 396–405.
CHICHI-2008-PinelleW #design #evaluation #game studies #heuristic #usability #video
Heuristic evaluation for games: usability principles for video game design (DP, NW), pp. 1453–1462.
CHICHI-2008-RanjanBB #detection
Improving meeting capture by applying television production principles with audio and motion detection (AR, JPB, RB), pp. 227–236.
CSCWCSCW-2008-CampbellNF #design #game studies
Game design principles in everyday fitness applications (TC, BN, JF), pp. 249–252.
ICEISICEIS-HCI-2008-DamaseviciusT #design #learning #re-engineering #user interface
Learning Object Reengineering Based on Principles for Usable User Interface Design (RD, LT), pp. 124–129.
ICPRICPR-2008-HulkkonenH #detection #monitoring
A minimum description length principle based method for signal change detection in machine condition monitoring (JJH, JVH), pp. 1–4.
KRKR-2008-AnalytiAD #composition #framework #semantics #web
A Principled Framework for Modular Web Rule Bases and Its Semantics (AA, GA, CVD), pp. 390–400.
SIGIRSIGIR-2008-Wong #principle
Guilt by association as a search principle (LW), p. 2.
PPoPPPPoPP-2008-RyooRBSKH #evaluation #gpu #optimisation #parallel #performance #thread #using
Optimization principles and application performance evaluation of a multithreaded GPU using CUDA (SR, CIR, SSB, SSS, DBK, WmWH), pp. 73–82.
STOCSTOC-2007-Indyk #nondeterminism
Uncertainty principles, extractors, and explicit embeddings of l2 into l1 (PI), pp. 615–620.
CHICHI-2007-Gerber #design
Improvisation principles and techniques for design (EG), pp. 1069–1072.
HCIHCI-IDU-2007-AkatsuMH #design
Design Principles Based on Cognitive Aging (HA, HM, NH), pp. 3–10.
HCIHCI-IDU-2007-TarbyERTLK #architecture #aspect-oriented #comparison #evaluation #interactive #programming #usability #using
Traces Using Aspect Oriented Programming and Interactive Agent-Based Architecture for Early Usability Evaluation: Basic Principles and Comparison (JCT, HE, JR, CDT, PL, CK), pp. 632–641.
HCIHCI-MIE-2007-LepreuxHRTTK #composition #multimodal #towards #user interface
Towards Multimodal User Interfaces Composition Based on UsiXML and MBD Principles (SL, AH, JR, DT, JCT, CK), pp. 134–143.
SIGIRSIGIR-2007-Stein #retrieval
Principles of hash-based text retrieval (BS), pp. 527–534.
SIGIRSIGIR-2007-WuLW #probability #rank #ranking
Probability ranking principle via optimal expected rank (HCW, RWPL, KFW), pp. 713–714.
GPCEGPCE-2007-Veldhuizen #component #metalanguage
Parsimony principles for software components and metalanguages (TLV), pp. 115–122.
SACSAC-2007-Li #abstraction #parametricity #protocol #proving #verification
Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols (YL), pp. 1534–1535.
ICSEICSE-2007-Jones #analysis #case study #design #implementation #re-engineering
Bringing the Systems Analysis and Design Course into 21^st Century: A Case Study in Implementing Modern Software Engineering Principles (CGJ), pp. 744–747.
LICSLICS-2007-BraunerHK #deduction
Principles of Superdeduction (PB, CH, CK), pp. 41–50.
VMCAIVMCAI-2007-WachterW #principle
The Spotlight Principle (BW, BW), pp. 182–198.
QoSAQoSA-2006-Stafford #documentation
Documentation Principles and Practices That You Can Live with (JAS), pp. 3–4.
DATEDATE-2006-RobellySCF #architecture #design #energy #performance #programmable #trade-off
Energy efficiency vs. programmability trade-off: architectures and design principles (PR, HS, KCC, GF), pp. 587–592.
DATEDATE-2006-ViaudPG #modelling #parallel #performance #simulation
An efficient TLM/T modeling and simulation environment based on conservative parallel discrete event principles (EV, FP, AG), pp. 94–99.
DRRDRR-2006-Vega-RiverosS #automation #comprehension #design #documentation #segmentation
Graphic design principles for automated document segmentation and understanding (JFVR, HJSV).
PODSPODS-2006-HalevyFM
Principles of dataspace systems (AYH, MJF, DM), pp. 1–9.
CAiSECAiSE-2006-HaggmarkA #analysis #logic #principle #why
Why Software Engineers Do Not Keep to the Principle of Separating Business Logic from Display: A Method Rationale Analysis (MH, PJÅ), pp. 399–413.
ICEISICEIS-HCI-2006-Patokorpi #learning
Constructivist Instructional Principles, Learner Psychology and Technological Enablers of Learning (EP), pp. 103–109.
CIKMCIKM-2006-BaiKCS #functional #image #information retrieval
IR principles for content-based indexing and retrieval of functional brain images (BB, PBK, NDC, DS), pp. 828–829.
ICPRICPR-v1-2006-MiaoQS #composition #principle #using
Unsupervised Decomposition of Mixed Pixels Using the Maximum Entropy Principle (LM, HQ, HS), pp. 1067–1070.
ICPRICPR-v2-2006-ZhangR #incremental #learning
A New Data Selection Principle for Semi-Supervised Incremental Learning (RZ, AIR), pp. 780–783.
ICPRICPR-v4-2006-KropotovPVV #kernel #on the #principle #using
On Kernel Selection in Relevance Vector Machines Using Stability Principle (DK, NP, OV, DV), pp. 233–236.
KDDKDD-2006-ManiyarN #algorithm #data mining #mining #using #visual notation #visualisation
Visual data mining using principled projection algorithms and information visualization techniques (DMM, ITN), pp. 643–648.
RERE-2006-AxenathGKF #evaluation #synthesis
Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems (BA, HG, FK, UF), pp. 156–165.
LICSLICS-2006-Kozen #induction #probability #process #proving
Coinductive Proof Principles for Stochastic Processes (DK), pp. 359–366.
CBSECBSE-2005-LanHMWMZC #architecture #component #deployment #scalability
Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles (LL, GH, LM, MW, HM, LZ, YC), pp. 123–138.
SIGMODSIGMOD-2005-BabcockC #approach #query #robust #towards
Towards a Robust Query Optimizer: A Principled and Practical Approach (BB, SC), pp. 119–130.
VLDBVLDB-2005-RonstromO #clustering
Recovery Principles in MySQL Cluster 5.1 (MR, JO), pp. 1108–1115.
ITiCSEITiCSE-2005-RaoJMSAF #case study #design #education #implementation
Principles of curriculum design and revision: a case study in implementing computing curricula CC2001 (MRKKR, SJ, TM, MS, MA, KAF), pp. 256–260.
CIAACIAA-J-2004-AllauzenMR05 #algorithm #design #library
The design principles and algorithms of a weighted grammar library (CA, MM, BR), pp. 403–421.
ICALPICALP-2005-BradleyMS #principle #ranking
The Polyranking Principle (ARB, ZM, HBS), pp. 1349–1361.
ICFPICFP-2005-HallgrenJLT #approach #haskell #operating system
A principled approach to operating system construction in Haskell (TH, MPJ, RL, APT), pp. 116–128.
ICEISICEIS-v5-2005-TyynelaJIKM #3d #design #user interface
Design Principles for Desktop 3D User Interfaces — Case Movie Plaza (MT, TJ, MI, PK, OM), pp. 85–90.
ECIRECIR-2005-DominichGHK #principle
“Beauty” of the World Wide Web-Cause, Goal, or Principle (SD, JG, MH, TK), pp. 67–80.
MLDMMLDM-2005-MottlKSM #data mining #kernel #mining #multi
Principles of Multi-kernel Data Mining (VM, OK, OS, IBM), pp. 52–61.
PADLPADL-2005-Ramsey #compilation #declarative
Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction (NR), pp. 1–4.
RERE-2005-RegevW #requirements
Where do Goals Come from: the Underlying Principles of Goal-Oriented Requirements Engineering (GR, AW), pp. 353–362.
ICSEICSE-2005-SherrellS #education #process #question
Will earlier projects plus a disciplined process enforce SE principles throughout the CS curriculum? (LBS, SGS), pp. 619–620.
STOCSTOC-2004-AzarR #network
The zero-one principle for switching networks (YA, YR), pp. 64–71.
ICALPICALP-2004-Toftdal #analysis #effectiveness #logic #theorem
A Calibration of Ineffective Theorems of Analysis in a Hierarchy of Semi-classical Logical Principles: (Extended Abstract) (MT), pp. 1188–1200.
EDOCEDOC-2004-PignatonVAB #component #using
Developing QoS-aware Component-Based Applications Using MDA Principles (RP, VAV, JIA, JB), pp. 172–183.
ICEISICEIS-v2-2004-Feoktistov #difference #evolution
New Energetic Selection Principle in Differential Evolution (VF), pp. 29–35.
ICEISICEIS-v4-2004-CostaCA04a #design #perspective #web
Principles for Creating Web Sites: A Design Perspective (CJC, PC, MA), pp. 484–488.
ICPRICPR-v4-2004-HaritC #using #video
Video Shot Interpretation using Principles of Perceptual Prominence and Perceptual Grouping in Spatio-Temporal Domain (GH, SC), pp. 256–259.
OOPSLAOOPSLA-2004-BrachaU #design #named #object-oriented #programming language
Mirrors: design principles for meta-level facilities of object-oriented programming languages (GB, DU), pp. 331–344.
RERE-2004-RegevW #approach #requirements
Defining Early IT System Requirements with Regulation Principles: The Lightswitch Approach (GR, AW), pp. 144–153.
SACSAC-2004-Bardram #design
Applications of context-aware computing in hospital work: examples and design principles (JB), pp. 1574–1579.
SACSAC-2004-SchaadM #bibliography #case study #process
Separation, review and supervision controls in the context of a credit application process: a case study of organisational control principles (AS, JDM), pp. 1380–1384.
HPDCHPDC-2004-FosterGG #grid
The Grid2003 Production Grid: Principles and Practice (ITF, JG, SG, NM, ENM, AR, DS, AV, JS, SY, DA, RB, WD, JS, DY, IL, SS, CS, YX, MAA, EB, JA, LATB, ME, IF, LG, GEG, AH, JK, NK, RP, VS, JW, YW, KB, LS, JH, MA, LG, JH, FL, SP, RQ, SCS, GF, Jv, KC, KK, DS, HP, SC, KRJ, DEK, JL, DO, IS, BT, MG, RM, JL, TM, DB, CD, DE, RG, MM, YS, JSV, MW, YZ, XZ, PA, RC, BK, CP, JLR, AZ, SM, CTJ, JEP, TLT, HS, BC, ED, LF, CK, GM, NO, KV, KD, PM, MS, DB, PC, AD, CK, EP, AR, SK, BM, BB, PS), pp. 236–245.
LICSLICS-2004-AkamaBHK
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles (YA, SB, SH, UK), pp. 192–201.
DACDAC-2003-SuAN #algebra #grid #multi #power management #reduction
Power grid reduction based on algebraic multigrid principles (HS, EA, SRN), pp. 109–112.
ICMLICML-2003-WangSPZ #learning #modelling #principle
Learning Mixture Models with the Latent Maximum Entropy Principle (SW, DS, FP, YZ), pp. 784–791.
ICMLICML-2003-WiewioraCE #learning
Principled Methods for Advising Reinforcement Learning Agents (EW, GWC, CE), pp. 792–799.
MLDMMLDM-2003-TanakaU #analysis #component #multi #principle #using
Discover Motifs in Multi-dimensional Time-Series Using the Principal Component Analysis and the MDL Principle (YT, KU), pp. 252–265.
CADECADE-2003-SchmidtH #axiom #first-order
A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae (RAS, UH), pp. 412–426.
HTHT-2002-YamamotoNA #authoring #design #development #hypermedia #interactive #principle
Spatial Hypertext for linear-information authoring: Interaction design and system development based on the ART Design principle (YY, KN, AA), pp. 35–44.
SIGMODSIGMOD-2002-ShashaB #database
Database tuning: principles, experiments, and troubleshooting techniques (part II) (DS, PB), p. 637.
SIGMODSIGMOD-2002-ShashaB02a #database
Database tuning: principles, experiments, and troubleshooting techniques (part I) (DS, PB), p. 637.
VLDBVLDB-2002-ShashaB #database
Database Tuning: Principles, Experiments, and Troubleshooting Techniques (DS, PB).
ICSMEICSM-2002-Curtis #maturity #principle
The Principle of Organizational Maturity and E-Type Dynamics (BC), p. 68.
ICSMEICSM-2002-Perry #evolution
Laws and Principles of Evolution (DEP), p. 70.
STOCSTOC-2002-Raz02a #bound #principle
Resolution lower bounds for the weak pigeonhole principle (RR), pp. 553–562.
ICALPICALP-2002-DuchonFLS #random
Random Sampling from Boltzmann Principles (PD, PF, GL, GS), pp. 501–513.
ICALPICALP-2002-Hitchcock #effectiveness
Correspondence Principles for Effective Dimensions (JMH), pp. 561–571.
CHICHI-2002-SuhWRG #bibliography #documentation #interface
Popout prism: adding perceptual principles to overview+detail document interfaces (BS, AW, RR, AG), pp. 251–258.
SIGIRSIGIR-2002-Zha #clustering #summary #using
Generic summarization and keyphrase extraction using mutual reinforcement principle and sentence clustering (HZ), pp. 113–120.
PPDPPPDP-2002-PembeciNH #domain-specific language #functional #integration
Functional reactive robotics: an exercise in principled integration of domain-specific languages (IP, HN, GDH), pp. 168–179.
ICSEICSE-2002-Hazra #enterprise
Building enterprise portals: principles to practice (TKH), pp. 623–633.
CSLCSL-2002-KuceraS #logic #ltl
The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL (AK, JS), pp. 276–291.
ICTSSTestCom-2002-Jard #distributed #modelling #synthesis
Principles of Distributed Test Synthesis based on True-concurrency Models (CJ), pp. 301–316.
ICTSSTestCom-2002-SeolKC #communication #generative #multi #principle #protocol #testing
Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle (SS, MK, STC), pp. 151–168.
VLDBVLDB-2001-Gentili #architecture
Italian Electronic Identity Card — principle and architecture (MG), pp. 629–632.
PLDIPLDI-2001-MonnierSS
Principled Scavenging (SM, BS, ZS), pp. 81–91.
STOCSTOC-2001-PitassiR #bound #principle
Regular resolution lower bounds for the weak pigeonhole principle (TP, RR), pp. 347–355.
DLTDLT-2001-Razborov #complexity #proving
Proof Complexity of Pigeonhole Principles (AAR), pp. 100–116.
ICALPICALP-2001-AtseriasBE #bound
Lower Bounds for the Weak Pigeonhole Principle Beyond Resolution (AA, MLB, JLE), pp. 1005–1016.
POPLPOPL-2001-LeeJB #termination
The size-change principle for program termination (CSL, NDJ, AMBA), pp. 81–92.
RERE-2001-PaigeO #principle
The Single Model Principle (RFP, JSO), pp. 292–293.
CSLCSL-2001-KopylovN #markov #type system
Markov’s Principle for Propositional Type Theory (AK, AN), pp. 570–584.
CSLCSL-2001-Martin #induction
A Principle of Induction (KM), pp. 458–468.
HTHT-2000-DouglasH
The pleasure principle: immersion, engagement, flow (YD, AH), pp. 153–160.
PLDIPLDI-2000-WanH #functional #programming
Functional reactive programming from first principles (ZW, PH), pp. 242–252.
STOCSTOC-2000-MacielPW #principle #proving
A new proof of the weak pigeonhole principle (AM, TP, ARW), pp. 368–377.
ICALPICALP-2000-AtseriasGG #principle #proving
Monotone Proofs of the Pigeon Hole Principle (AA, NG, RG), pp. 151–162.
CAiSECAiSE-2000-JohannessonP #design #integration
Design Principles for Application Integration (PJ, EP), pp. 212–231.
ICMLICML-2000-NomotoM #analysis #automation
Comparing the Minimum Description Length Principle and Boosting in the Automatic Analysis of Discourse (TN, YM), pp. 687–694.
GPCEGCSE-2000-KlaerenPRS #composition #contract #design #principle
Aspect Composition Applying the Design by Contract Principle (HK, EP, AR, AS), pp. 57–69.
ICSEICSE-2000-FieldingT #architecture #design #web
Principled design of the modern Web architecture (RTF, RNT), pp. 407–416.
ICSEICSE-2000-GurrT #design #diagrams #re-engineering #towards
Towards the principled design of software engineering diagrams (CAG, KT), pp. 509–518.
ICSEICSE-2000-LittlewoodS00a #assessment #design #fault #fault tolerance #reliability #tutorial
Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment (BL, LS), p. 835.
ESOPESOP-1999-TrifonovS
Safe and Principled Language Interoperation (VT, ZS), pp. 128–146.
CHICHI-1999-Horvitz #user interface
Principles of Mixed-Initiative User Interfaces (EH), pp. 159–166.
HCIHCI-CCAD-1999-Sutcliffe #design #human-computer #information retrieval
Developing HCI design principles for information retrieval applications (AGS), pp. 90–96.
HCIHCI-EI-1999-Johnson #design #interactive #modelling
Tasks and Situations: Considerations for Models and Design Principles in Human Computer Interaction (PJ), pp. 1199–1204.
HCIHCI-EI-1999-MaggioniR #case study #experience #novel #user interface
Virtual Touchscreen — a novel User Interface made of Light — Principles, metaphors and experiences (CM, HR), pp. 301–305.
HCIHCI-EI-1999-ScharKK #concept #learning #multi #named
Multimedia: the Effect of Picture, Voice & Text for the Learning of Concepts and Principles (SGS, JK, HK), pp. 456–460.
AdaSIGAda-1999-HulseEUV #architecture #maintenance
Reducing maintenance costs through the application of modern software architecture principles (CH, SE, MU, LV), pp. 101–110.
TOOLSTOOLS-EUROPE-1999-RumpeBK #re-engineering #uml
Applied Software Engineering Principles for UML (BR, RB, IK), p. 410.
SACSAC-1999-LuR #functional #information management #knowledge base #named #principle
KAT: A Knowledge Acquisition Tool for Acquiring Functional Knowledge Based Upon the No-Causality-In-Functional Principle (CL, DJR), pp. 8–13.
ICSEICSE-1999-WiledenK
Software Interoperability: Principles and Practice (JCW, AK), pp. 675–676.
CSLCSL-1999-Beklemishev #bound #query
Open Least Element Principle and Bounded Query Computation (LDB), pp. 389–404.
ICTSSIWTCS-1999-BenattouCPR #distributed #testing #tool support
Principles and Tools for Testing Open Distributed Systems (MB, LC, RP, OR), pp. 77–92.
PODSPODS-1998-ChristodoulakisZ #database #design
Data Base Design Principles for Striping and Placement of Delay-Sensitive Data on Disks (SC, FZ), pp. 69–78.
ITiCSEITiCSE-1998-Scoy #programming language #using
Using the BURKS 2 CD-ROM in a principles of programming languages course (FLVS), pp. 239–242.
ICPRICPR-1998-KosmalaR98a #clustering #online #recognition #scalability #self #using
Tree-based state clustering using self-organizing principles for large vocabulary on-line handwriting recognition (AK, GR), pp. 1313–1315.
ICPRICPR-1998-LiuD #algorithm #evaluation #performance #recognition
Performance evaluation of graphics recognition algorithms: principles and applications (WL, DD), pp. 1180–1182.
ICPRICPR-1998-XiaoYM
Some general grouping principles: line perception from points as an example (JX, ZY, SM), pp. 1825–1827.
SIGMODSIGMOD-1997-CareyMN #challenge #database #tutorial
Object-Relational Database Systems: Principles, Products, and Challenges (Tutorial) (MJC, NMM, AN), p. 502.
VLDBVLDB-1997-ChristodoulakisTZ #library
Principles of Optimally Placing Data in Tertiary Storage Libraries (SC, PT, FZ), pp. 236–245.
CSEETCSEET-1997-Pierce #education #re-engineering #using
Teaching software engineering principles using maintenance-based projects (KRP), pp. 53–60.
STOCSTOC-1997-RazborovWY #branch #calculus #proving #source code
Read-Once Branching Programs, Rectangular Proofs of the Pigeonhole Principle and the Transversal Calculus (AAR, AW, ACCY), pp. 739–748.
HCIHCI-CC-1997-SchaabH #industrial
Application of Ergonomics Principles Within the Semiconductor Industry (JAS, MRH), pp. 707–710.
HCIHCI-CC-1997-Stary #design #evaluation #user interface
The Role of Design and Evaluation Principles for User Interfaces for All (CS), pp. 477–480.
HCIHCI-SEC-1997-FariasA #design #interactive
Design Principles for a Training Software Agent: Issues Concerning Agent-User Interaction (AF, TNA), pp. 181–184.
HCIHCI-SEC-1997-Johannesson #distance #workflow
Action Workflow Loops in Distance Education-Design Principles for Integrating CAL and CMC (PJ), pp. 185–188.
HCIHCI-SEC-1997-ZanottiRC
Human Factors Principles for Variable Message Signs Utilized in Intelligent Transportation Systems (AZ, MLR, GC), pp. 339–342.
TOOLSTOOLS-USA-1997-Philips97a #java
Applying O-O Principles of Java (RP), p. 370.
POPLPOPL-1997-Sands #functional #proving
From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages (DS), pp. 428–441.
ICSEICSE-1997-WiledenK #tutorial
Software Interoperability: Principles and Practice (Tutorial) (JCW, AK), pp. 631–632.
CSLCSL-1997-BussP #principle
Resolution and the Weak Pigeonhole Principle (SRB, TP), pp. 149–156.
WRLARWLW-1996-ClavelELM #maude
Principles of Maude (MC, SE, PL, JM), pp. 65–89.
CSCWCSCW-1996-Boettger #community
Metonymy as an Organising Principle of IT Communities (doctoral colloquium) (OB), p. 445.
CAiSECAiSE-1996-Beeche #database
Advanced Principles for Changing Schemas of Object Databases (PB), pp. 476–495.
ICMLICML-1996-Suzuki #algorithm #learning #network #performance #using
Learning Bayesian Belief Networks Based on the Minimum Description Length Principle: An Efficient Algorithm Using the B & B Technique (JS), pp. 462–470.
ICPRICPR-1996-AkhmetshinL #difference #fourier #image #principle #re-engineering
The reconstruction of signals and images from the noisy Fourier transform phase by means of the generalized difference principle (AMA, IL), pp. 370–375.
ICPRICPR-1996-AugustSZ #principle
Fragment grouping via the principle of perceptual occlusion (JA, KS, SWZ), pp. 3–8.
ICPRICPR-1996-KudoS #classification #using
Selection of classifiers based on the MDL principle using the VC dimension (MK, MS), pp. 886–890.
ICPRICPR-1996-TanakaI #algorithm #modelling #principle #statistics
Statistical-mechanical algorithm in MRF model based on variational principle (KT, MI), pp. 381–388.
KRKR-1996-SmirnovV #contest #integer #performance #programming #representation
Efficiency Competition through Representation Changes: Pigeonhole Principle vs. Integer Programming Methods (YVS, MMV), pp. 124–134.
VLDBVLDB-1995-Korth #abstraction #concept #evolution #transaction
The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept (HFK), pp. 2–6.
CSEETCSEE-1995-Card #education #metric
Teaching Practical Principles of Software Measurement (DNC), p. 443.
CSEETCSEE-1995-DickJ #education #industrial #learning
Industry Involvement in Undergraduate Curricula: Reinforcing Learning by Applying the Principles (GND, SFJ), pp. 51–63.
TFPIEFPLE-1995-Keravnou #functional #programming
Introducing Computer Science Undergraduates to Principles of Programming Through a Functional Language (ETK), pp. 15–34.
CHICHI-1994-HoudeS94a #design #programming
In search of design principles for programming environments (SH, RS), pp. 424–430.
ICMLICML-1994-Quinlan #category theory
The Minimum Description Length Principle and Categorical Theories (JRQ), pp. 233–241.
OOPSLAOOPSLA-1994-RobertsonCMRAK #design #learning #named #object-oriented #self
ODE: A Self-Guided, Scenario-Based Learning Environment for Object-Oriented Design Principles (SPR, JMC, RLM, MBR, SRA, JKB), pp. 51–64.
SACSAC-1994-WassermanS #locality #logic programming
The locality principle and completeness in logic programming (HCW, ZS), pp. 286–291.
ICDARICDAR-1993-NakagawaKMS #design #interface
Principles of pen interface design for creative work (MN, NK, KM, TS), pp. 718–721.
SIGMODSIGMOD-1993-Shan #architecture #design
Pegasus Architecture and Design Principles (MCS), pp. 422–425.
CHIINTERCHI-1993-Tognazzini #design #interface
Principles, techniques, and ethics of stage magic and their application to human interface design (BT), pp. 355–362.
AdaTRI-Ada-1993-SitaramanG #re-engineering #reuse
Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course (MS, JG), pp. 137–146.
SEKESEKE-1993-BachateneCS #design #re-engineering #using
Using Software Engineering Principles to Design Intelligent Cooperative Systems (HB, MC, AEFS), pp. 309–313.
REICRE-1993-GornyVQD #prototype #user interface
Slow and Principled Prototyping of Usage Surfaces: A Mehtd For User Interface Engineering (PG, AV, LQ, UD), pp. 125–133.
CAVCAV-1993-KurshanMOS #process
A Structural Linearization Principle for Processes (RPK, MM, AO, SRS), pp. 491–504.
ICTSSIWPTS-1993-WittemanW #network #principle #testing #using
ATM Broadband Network Testing Using the Ferry Principle (MFW, RCvW), pp. 125–138.
DACDAC-1992-HillD #design #tutorial
FPGA Design Principles (A Tutorial) (DDH, ED), pp. 45–46.
VLDBVLDB-1992-Raz #multi #principle #using
The Principle of Commitment Ordering, or Guaranteeing Serializability in a Heterogeneous Environment of Multiple Autonomous Resource Mangers Using Atomic Commitment (YR), pp. 292–312.
VLDBVLDB-1992-SalzbergD #online #transaction
Principles of Transaction-Based On-Line Reorganization (BS, AD), pp. 511–520.
CSEETSEI-1992-Berztiss #re-engineering
Engineering Principles and Software Engineering (ATB), pp. 437–450.
STOCSTOC-1992-BeameIKPPW #bound #exponential #principle
Exponential Lower Bounds for the Pigeonhole Principle (PB, RI, JK, TP, PP, ARW), pp. 200–220.
CAiSECAiSE-1992-HainautCDM #architecture #automation #database #design #flexibility
Database CASE Tool Architecture: Principles for Flexible Design Strategies (JLH, MC, BD, OM), pp. 187–207.
KRKR-1992-PinkasL #consistency #nondeterminism #reasoning #taxonomy
Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict (GP, RPL), pp. 709–719.
SIGIRSIGIR-1992-Hess #documentation #incremental #logic #retrieval
An Incrementally Extensible Document Retrieval System Based on Linguistic and Logical Principles (MH), pp. 190–197.
CADECADE-1992-VershininR #logic #nondeterminism
One More Logic with Uncertainty and Resolution Principle for it (KV, IR), pp. 663–667.
ICLPICLP-1991-Haridi #logic programming #parallel #principle
Parallel Logic Programming based on the Andorra Principle (SH), p. 943.
ICLPISLP-1991-Nakayama #principle #program transformation #proving
Program Transformation under the Principle of Proof as Program (HN), pp. 626–640.
POPLPOPL-1990-Russell #network #on the #principle
On Oraclizable Networks and Kahn’s Principle (JRR), pp. 320–328.
CADECADE-1990-Burckert #constraints
A Resolution Principle for Clauses with Constraints (HJB), pp. 178–192.
KRKR-1989-Ishida #framework #information management #representation
A Framework for Dynamic Representation of Knowledge: A Minimum Principle in Organizing Knowledge Representation (YI), pp. 170–179.
KRKR-1989-RussellW
Principles of Metareasoning (SJR, EW), pp. 400–411.
ICSEICSE-1989-HumphreyK #modelling #process
Software Process Modeling: Principles of Entity Process Models (WSH, MIK), pp. 331–342.
ICSEICSE-1988-YoungTTK #design
Design Principles behind Chiron: A UIMS for Software Environments (MY, RNT, DBT, CDK), pp. 367–376.
CADECADE-1988-ZhangKK #equation #induction #specification
A Mechanizable Induction Principle for Equational Specifications (HZ, DK, MSK), pp. 162–181.
ESECESEC-1987-DixHRT #design #interactive #modelling
Interaction Models and the Principled Design of Interactive Systems (AJD, MDH, CR, HWT), pp. 118–126.
DACDAC-1986-JerrayaVJC #compilation
Principles of the SYCO compiler (AAJ, PV, RJ, BC), pp. 715–721.
DACDAC-1986-OhnoMYOKI #design #scalability
Principles of design automatioon system for very large scale computer design (YO, MM, NY, TO, TK, KI), pp. 354–359.
SIGMODSIGMOD-1986-FrassonE
Principles of an Icons-Based Command Language (CF, MEr), pp. 144–152.
SIGIRSIGIR-1986-KantorL #information retrieval
The Maximum Entropy Principle in Information Retrieval (PBK, JJL), pp. 269–274.
POPLPOPL-1985-FutatsugiGJM
Principles of OBJ2 (KF, JAG, JPJ, JM), pp. 52–66.
ICSEICSE-1985-ParnasW #design
Active Design Reviews: Principles and Practices (DLP, DMW), pp. 132–136.
ICSEICSE-1985-Schaul #bibliography #design #education #re-engineering #using
Design Using Software Engineering Principles: Overview of an Educational Program (MS), pp. 201–209.
SOSPSOSP-1985-SatyanarayananHNSSW #design #distributed #file system
The ITC Distributed File System: Principles and Design (MS, JHH, DAN, RNS, AZS, MJW), pp. 35–50.
CADECADE-1984-Paul #principle
A New Interpretation of the Resolution Principle (EP), pp. 333–355.
CADECADE-1984-WosVSM
The Linked Inference Principle, II: The User’s Viewpoint (LW, RV, BS, WM), pp. 316–332.
DACDAC-1983-NattrassO #design
Some Computer Aided Engineering System design principles (HLN, GKO), pp. 571–577.
POPLPOPL-1983-BonarS #programming
Uncovering Principles of Novice Programming (JB, ES), pp. 10–13.
POPLPOPL-1980-DemersD80a #design #principle
“Type-Completeness” as a Language Design Principle (AJD, JED), pp. 234–244.
POPLPOPL-1979-GoodC #proving #source code
Principles of Proving Programs Correct in Gypsy (DIG, RMC, JKW), pp. 42–52.
FMVDM-1978-Bjorner78a #abstraction #operating system #pl-i #specification #tutorial
Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition (DB), pp. 337–374.
ICSEICSE-1978-BoiM #design #fault tolerance
Design and Principles of a Fault Tolerant System (LB, PM), pp. 207–214.
DACDAC-1976-Misra #algorithm #design #problem
A principle of algorithm design on limited problem domain (JM), pp. 479–483.
ICSEICSE-1976-AlsbergD #distributed
A Principle for Resilient Sharing of Distributed Resources (PA, JDD), pp. 562–570.
VLDBVLDB-1975-DatheDH #database #design
Design Principles of a Data Base System for Unlimited Quantities of Data with Highly Complex Structures (GD, KHD, GH), pp. 546–548.
SOSPSOSP-1969-EarlB
Basic time-sharing: a system of computing principles (DBE, FLB), pp. 75–79.
SOSPSOSP-1969-Hellerman #principle #scheduling
Complementary replacement: a meta scheduling principle (HH), pp. 43–46.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.