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:
architectur (77)
system (33)
base (31)
use (29)
model (28)

Stem style$ (all stems)

336 papers:

DRRDRR-2015-FengPL #process #recognition
Gaussian process style transfer mapping for historical Chinese character recognition (JF, LP, FL).
SIGMODSIGMOD-2015-PsallidasDCC #named #query
S4: Top-k Spreadsheet-Style Search for Query Discovery (FP, BD, KC, SC), pp. 2001–2016.
ITiCSEITiCSE-2015-AlshammariAH #adaptation #education #learning #security
The Impact of Learning Style Adaptivity in Teaching Computer Security (MA, RA, RJH), pp. 135–140.
CHICHI-2015-LeeHCK #game studies #video #visual notation
VIZMO Game Browser: Accessing Video Games by Visual Style and Mood (JHL, S(H, HC, YSK), pp. 149–152.
KDDKDD-2015-WeiLMCRS #predict #using
Predicting Serves in Tennis using Style Priors (XW, PL, SM, PC, MR, SS), pp. 2207–2215.
SEKESEKE-2015-GoswamiWS #learning #performance #using
Using Learning Styles of Software Professionals to Improve their Inspection Team Performance (AG, GSW, AS), pp. 680–685.
SIGIRSIGIR-2015-McAuleyTSH #recommendation
Image-Based Recommendations on Styles and Substitutes (JJM, CT, QS, AvdH), pp. 43–52.
ICSEICSE-v1-2015-KalliamvakouDBS #collaboration #development #git #open source #using
Open Source-Style Collaborative Development Practices in Commercial Projects Using GitHub (EK, DED, KB, LS, DMG), pp. 574–585.
ICLPICLP-2015-LeeMW #logic #markov #semantics
Markov Logic Style Weighted Rules under the Stable Model Semantics (JL, YM, YW).
CASECASE-2014-LiY #scheduling
ACO-ICSA based scheduling of re-entrant manufacturing system with Mix-processing Style (LL, QY), pp. 87–92.
DACDAC-2014-JungSWPL #3d #on the #perspective
On Enhancing Power Benefits in 3D ICs: Block Folding and Bonding Styles Perspective (MJ, TS, YW, YP, SKL), p. 6.
DATEDATE-2014-TenaceCMP #logic
Pass-XNOR logic: A new logic style for P-N junction based graphene circuits (VT, AC, EM, MP), pp. 1–4.
DocEngDocEng-2014-BoschGL #automation #css #reduction #refactoring
Automated refactoring for size reduction of CSS style sheets (MB, PG, NL), pp. 13–16.
SANERCSMR-WCRE-2014-LammelLSV #comparison #implementation
Comparison of feature implementations across languages, technologies, and styles (RL, ML, TS, AV), pp. 333–337.
PEPMPEPM-2014-PachecoHF #bidirectional #combinator #monad #programming
Monadic combinators for “Putback” style bidirectional programming (HP, ZH, SF), pp. 39–50.
FMFM-2014-ArmstrongGS #algebra #concurrent #tool support #verification
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools (AA, VBFG, GS), pp. 78–93.
ICFPICFP-2014-Pottier #functional
Hindley-milner elaboration in applicative style: functional pearl (FP), pp. 203–212.
CHICHI-2014-DixonLF #implementation #runtime
Pixel-based methods for widget state and style in a runtime implementation of sliding widgets (MED, GL, JAF), pp. 2231–2240.
CHICHI-2014-YueLCSBGSZ #experience #research
Photographing information needs: the role of photos in experience sampling method-style research (ZY, EL, CJC, JS, KB, ZG, NS, G(Z), pp. 1545–1554.
HCIDHM-2014-GotoYTWS
Application of E-learning System Reality in Kyoto-style Earthen Wall Training (AG, HY, YT, ZW, HS), pp. 247–253.
HCIDUXU-DI-2014-Barros #gesture #interactive #interface #sketching
Extending ActionSketch for New Interaction Styles: Gestural Interfaces and Interactive Environments (GB), pp. 509–520.
HCIDUXU-DP-2014-AlTaboli #design #interface #visual notation
Further Investigation of the Effects of Font Styles on Perceived Visual Aesthetics of Website Interface Design (AA), pp. 199–207.
HCIHIMI-AS-2014-ItouMM #chat #communication #development
Development and Application of Manga-Style Chat System Aiming to Communicate Nonverbal Expression (JI, YM, JM), pp. 423–434.
HCIHIMI-DE-2014-JingLCYH #case study #design #framework #parametricity #representation
Design Knowledge Framework Based on Parametric Representation — A Case Study of Cockpit Form Style Design (JJ, QL, WC, YY, TH), pp. 332–341.
ICPRICPR-2014-BertoliniOJS #identification
Assessing Textural Features for Writer Identification on Different Writing Styles and Forgeries (DB, LSO, EJRJ, RS), pp. 268–272.
ICPRICPR-2014-ShivramRG #case study #comparative #identification #modelling #online
Data Sufficiency for Online Writer Identification: A Comparative Study of Writer-Style Space vs. Feature Space Models (AS, CR, VG), pp. 3121–3125.
KDDKDD-2014-HuHA #e-commerce #modelling #scalability #social
Style in the long tail: discovering unique interests with latent variable models in large scale social E-commerce (DJH, RH, JA), pp. 1640–1649.
KEODKEOD-2014-GavrilovaL #design #ontology #visual notation
Cognitive Style Affecting Visual Ontology Design — KOMET Project Results (TAG, IAL), pp. 207–214.
PPDPPPDP-2014-Ilik #continuation #normalisation #proving #tutorial
Proofs in continuation-passing style: normalization of Gödel’s System T extended with sums and delimited control operators: Distilled Tutorial (DI), pp. 55–56.
FSEFSE-2014-Marmsoler #architecture #formal method #towards
Towards a theory of architectural styles (DM), pp. 823–825.
FSEFSE-2014-MazinanianTM #css #refactoring
Discovering refactoring opportunities in cascading style sheets (DM, NT, AM), pp. 496–506.
HTHT-2013-ChengC #how
How annotation styles influence content and preferences (JC, DC), pp. 214–218.
ICDARICDAR-2013-YinZWL #consistency #recognition
Style Consistent Perturbation for Handwritten Chinese Character Recognition (FY, MKZ, QFW, CLL), pp. 1051–1055.
SASSAS-2013-DOsualdoKO #automation #concurrent #verification
Automatic Verification of Erlang-Style Concurrency (ED, JK, CHLO), pp. 454–476.
ICFPICFP-2013-DelbiancoN #algebra #continuation #hoare #reasoning
Hoare-style reasoning with (algebraic) continuations (GAD, AN), pp. 363–376.
ICFPICFP-2013-TuronDB #concurrent #higher-order #hoare #logic #reasoning #refinement
Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency (AT, DD, LB), pp. 377–390.
CHICHI-2013-MonserratZMP13a #named #navigation
NoteVideo: facilitating navigation of blackboard-style lecture videos (TJKPM, SZ, KM, AVP), pp. 1139–1148.
HCIDUXU-CXC-2013-WangTKS #evaluation #eye tracking #performance #predict
Banner Evaluation Predicted by Eye Tracking Performance and the Median Thinking Style (MYW, DLT, CTK, VCS), pp. 129–138.
HCIHCI-AMTE-2013-AlTaboli #design #interface #visual notation
Investigating the Effects of Font Styles on Perceived Visual Aesthetics of Website Interface Design (AA), pp. 549–554.
HCIHCI-III-2013-MattarW #adaptation
Strangers and Friends — Adapting the Conversational Style of an Artificial Agent (NM, IW), pp. 102–111.
SPLCSPLC-2013-Taylor #architecture #ecosystem
The role of architectural styles in successful software ecosystems (RNT), pp. 2–4.
RTARTA-2013-FujitaS #decidability
Decidable structures between Church-style and Curry-style (KeF, AS), pp. 190–205.
WICSA-ECSAWICSA-ECSA-2012-GorlickST #architecture #distributed #named #on-demand
COAST: An Architectural Style for Decentralized On-Demand Tailored Services (MMG, KS, RNT), pp. 71–80.
WICSA-ECSAWICSA-ECSA-2012-SuYZ #analysis #architecture #component #semantics
Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles (GS, MY, CZ), pp. 151–160.
DRRDRR-2012-DaherGEBV #categorisation #recognition
Unsupervised categorization method of graphemes on handwritten manuscripts: application to style recognition (HD, DG, VE, SB, NV).
DRRDRR-2012-RamaiahKG #classification #documentation
Handwritten document age classification based on handwriting styles (CR, GK, VG).
DRRDRR-2012-ZhangN
Style comparisons in calligraphy (XZ, GN).
VLDBVLDB-2012-LamLPRVD #named #performance
Muppet: MapReduce-Style Processing of Fast Data (WL, LL, SP, AR, ZV, AD), pp. 1814–1825.
ICPCICPC-2012-SharafiSGA #identifier #source code #women
Women and men — Different but equal: On the impact of identifier style on source code reading (ZS, ZS, YGG, GA), pp. 27–36.
ICPRICPR-2012-AroraE #automation #case study #classification #comparative #towards
Towards automated classification of fine-art painting style: A comparative study (RSA, AME), pp. 3541–3544.
ICPRICPR-2012-HagiyaK #adaptation #probability
Probabilistic keyboard adaptable to user and operating style based on syllable HMMs (TH, TK), pp. 65–68.
SACSAC-2012-AnwarF #data access #network #policy #social #visualisation
A visualization tool for evaluating access control policies in facebook-style social network systems (MMA, PWLF), pp. 1443–1450.
ICSEICSE-2012-MesbahM #analysis #automation #css #maintenance
Automated analysis of CSS rules to support style maintenance (AM, SM), pp. 408–418.
PPoPPPPoPP-2012-JiangPOJ #manycore #parallel
OpenMP-style parallelism in data-centered multicore computing with R (LJ, PBP, GO, FJ), pp. 335–336.
ICLPICLP-2012-OetschPT #constraints #semantics #source code
An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions (JO, JP, HT), pp. 222–234.
ECSAECSA-2011-NavarroCPR #architecture #model transformation #using
Using Model Transformation Techniques for the Superimposition of Architectural Styles (EN, CEC, DEP, CR), pp. 379–387.
WICSAWICSA-2011-BaresiG #architecture #component #coordination #distributed #named
A-3: An Architectural Style for Coordinating Distributed Components (LB, SG), pp. 161–170.
WICSAWICSA-2011-BonettaP #architecture #web #web service
An Architectural Style for Liquid Web Services (DB, CP), pp. 232–241.
WICSAWICSA-2011-Koziolek #architecture #multitenancy
The SPOSAD Architectural Style for Multi-tenant Software Applications (HK), pp. 320–327.
DRRDRR-2011-LiuZ11a #detection #documentation #effectiveness
A simple and effective figure caption detection system for old-style documents (ZL, HZ), pp. 1–10.
ICDARICDAR-2011-CoustatyO #documentation #image #using
Discrimination of Old Document Images Using Their Style (MC, JMO), pp. 389–393.
ICDARICDAR-2011-Wen #documentation #pattern matching #pattern recognition #recognition
Chinese Paleography, Calligraphy, and Pattern Recognition: Styles and Scripts in Excavated Ancient Chinese Documents (XW), pp. 951–956.
VLDBVLDB-2012-AmsterdamerDDMST11 #workflow
Putting Lipstick on Pig: Enabling Database-style Workflow Provenance (YA, SBD, DD, TM, JS, VT), pp. 346–357.
ICFPICFP-2011-AhnS #combinator #data type #induction #recursion
A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences (KYA, TS), pp. 234–246.
HCIHCI-UA-2011-HsuC #approach #behaviour #navigation
Associating Learners’ Cognitive Style with Their Navigation Behaviors: A Data-Mining Approach (YCH, SYC), pp. 27–34.
HCIHCI-UA-2011-Huseyinov #adaptation #fuzzy #learning #modelling #multi
Fuzzy Linguistic Modelling Cognitive / Learning Styles for Adaptation through Multi-level Granulation (IH), pp. 39–47.
HCIHCI-UA-2011-KallinenKR #case study #experience #multi #tablet #user interface
The Effects of Content Type and Presentation Style on User Experiences of Multimedia Content on a Tablet PC (KK, JK, NR), pp. 466–475.
HCIHIMI-v1-2011-AhmadWHK #people #web
Different People Different Styles: Impact of Personality Style in Web Sites Credibility Judgement (RA, JW, KH, AK), pp. 521–527.
HCIHIMI-v2-2011-StegmanLS #comparison #monitoring #performance
A Comparison between Single and Dual Monitor Productivity and the Effects of Window Management Styles on Performance (AS, CL, RLS), pp. 84–93.
CAiSECAiSE-2011-BiderJS #architecture #case study #communication #experience #process #using
Experiences of Using Different Communication Styles in Business Process Support Systems with the Shared Spaces Architecture (IB, PJ, RS), pp. 299–313.
MODELSMoDELS-2011-ReggioRSCD #modelling #precise #process
A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (GR, FR, GS, FDC, GD), pp. 138–152.
MODELSMoDELS-2011-ReggioRSCD #modelling #precise #process
A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (GR, FR, GS, FDC, GD), pp. 138–152.
GPCEGPCE-2011-Asai
Reflection in direct style (KA), pp. 97–106.
SACSAC-2011-LimJLW #c #education #visualisation
Style Avatar: a visualization system for teaching C coding style (JSL, JHJ, YJL, GW), pp. 1210–1211.
ESEC-FSEESEC-FSE-2011-CsallnerFL #source code #testing
New ideas track: testing mapreduce-style programs (CC, LF, CL), pp. 504–507.
ECSAECSA-2010-EsfahaniM #adaptation #architecture #middleware #on the
On the Role of Architectural Styles in Improving the Adaptation Support of Middleware Platforms (NE, SM), pp. 433–440.
ASEASE-2010-BagheriSS #architecture #independence
Architectural style as an independent variable (HB, YS, KJS), pp. 159–162.
DATEDATE-2010-HuangFLYSSC #design #flexibility #named #novel #pseudo
Pseudo-CMOS: A novel design style for flexible electronics (TCH, KF, CML, YHY, TS, TS, KTC), pp. 154–159.
DATEDATE-2010-Kheradmand-BoroujeniPL #independence #novel #process
AVGS-Mux style: A novel technology and device independent technique for reducing power and compensating process variations in FPGA fabrics (BKB, CP, YL), pp. 339–344.
DocEngDocEng-2010-JiaoLBXL
Style and branding elements extraction from businessweb sites (LJ, SHL, NB, YX, JL), pp. 231–234.
ICPCICPC-2010-SharifM #eye tracking #identifier
An Eye Tracking Study on camelCase and under_score Identifier Styles (BS, JIM), pp. 196–205.
WCREWCRE-2010-GanesanLRWLT #analysis #architecture
Architectural Analysis of Systems Based on the Publisher-Subscriber Style (DG, ML, LR, RW, VL, TT), pp. 173–182.
FLOPSFLOPS-2010-RemyY
A Church-Style Intermediate Language for MLF (DR, BY), pp. 24–39.
CHICHI-2010-JankowskiSIJD #3d #readability #video
Integrating Text with Video and 3D Graphics: The Effects of Text Drawing Styles on Text Readability (JJ, KS, II, MJ, SD), pp. 1321–1330.
ICEISICEIS-ISAS-2010-ArtignanH #graph #named #tool support #visualisation
STOOG — Style-Sheets-based Toolkit for Graph Visualization (GA, MH), pp. 123–131.
CIKMCIKM-2010-Otterbacher #gender #metadata
Inferring gender of movie reviewers: exploiting writing style, content and metadata (JO), pp. 369–378.
ECIRECIR-2010-GottronL #comparison #identification
A Comparison of Language Identification Approaches on Short, Query-Style Texts (TG, NL), pp. 611–614.
ICPRICPR-2010-HeLS #automation #recognition #verification
Automatic Discrimination between Confusing Classes with Writing Styles Verification in Arabic Handwritten Numeral Recognition (CLH, LL, CYS), pp. 2045–2048.
RecSysRecSys-2010-HammerKA #named #recommendation
MED-StyleR: METABO diabetes-lifestyle recommender (SH, JK, EA), pp. 285–288.
SEKESEKE-2010-GoaerTO #architecture #evolution
Evolution Styles to Capitalize Evolution Expertise within Software Architectures (OLG, DT, MO), pp. 159–164.
SIGIRSIGIR-2010-WangLG #information retrieval #multi #web
Multi-style language model for web scale information retrieval (KW, XL, JG), pp. 467–474.
PPDPPPDP-2010-Serrano #compilation #css #named
HSS: a compiler for cascading style sheets (MS), pp. 109–118.
LDTALDTA-J-2007-ScottJ #parsing #polynomial #recognition
Recognition is not parsing — SPPF-style parsing from cubic recognisers (ES, AJ), pp. 55–70.
LDTALDTA-2009-BaggeH10 #concept #matter #why
Interfacing Concepts: Why Declaration Style Shouldn’t Matter (AHB, MH), pp. 37–50.
IJCARIJCAR-2010-Schack-NielsenS #linear #λ-calculus
Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (ASN, CS), pp. 1–14.
RTARTA-2010-FujitaS #problem #system f
The Undecidability of Type Related Problems in Type-free Style System F (KeF, AS), pp. 103–118.
CBSECBSE-2009-LiCHMC #component #fault tolerance #model checking
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support (JL, XC, GH, HM, FC), pp. 69–86.
WICSA-ECSAWICSA-ECSA-2009-GarlanBSC #architecture #evolution #tool support
Evolution styles: Foundations and tool support for software architecture evolution (DG, JMB, BRS, OC), pp. 131–140.
WICSA-ECSAWICSA-ECSA-2009-RooSA #adaptation #architecture #embedded #multi #optimisation #using
An architectural style for optimizing system qualities in adaptive embedded systems using Multi-Objective Optimization (AdR, HS, MA), pp. 349–352.
WICSA-ECSAWICSA-ECSA-2009-TaylorMO #adaptation #architecture #runtime
Architectural styles for runtime software adaptation (RNT, NM, PO), pp. 171–180.
DATEDATE-2009-MendlerHT #algebra #interface
WCRT algebra and interfaces for esterel-style synchronous processing (MM, RvH, CT), pp. 93–98.
DRRDRR-2009-ShenLD #documentation
Text line extraction in free-style document (XS, CL, XD), pp. 1–10.
ICDARICDAR-2009-BharathM #clustering #framework
A Framework Based on Semi-Supervised Clustering for Discovering Unique Writing Styles (AB, SM), pp. 891–895.
ICDARICDAR-2009-CaoPSN #adaptation #clustering #using
Unsupervised HMM Adaptation Using Page Style Clustering (HC, RP, SS, PN), pp. 1091–1095.
ICDARICDAR-2009-EynardE #documentation #recognition #word
Italic or Roman: Word Style Recognition without A Priori Knowledge for Old Printed Documents (LE, HE), pp. 823–827.
ICDARICDAR-2009-TerasawaT #documentation #image #word
Slit Style HOG Feature for Document Image Word Spotting (KT, YT), pp. 116–120.
ICDARICDAR-2009-XiaJ
A Kai Style Calligraphic Beautification Method for Handwriting Chinese Character (WX, LJ), pp. 798–802.
ICDARICDAR-2009-XiuLBNS #recognition
Style-Based Ballot Mark Recognition (PX, DPL, HSB, GN, EHBS), pp. 216–220.
ITiCSEITiCSE-2009-ZanderTSMMHF #learning
Learning styles: novices decide (CZ, LT, BS, LM, RM, BH, SF), pp. 223–227.
CHICHI-2009-WangFS #adaptation #communication #difference
Cultural difference and adaptation of communication styles in computer-mediated group brainstorming (HCW, SRF, LDS), pp. 669–678.
HCIHCD-2009-KuDC #architecture #education #usability
The Effects of Information Architecture and Atmosphere Style on the Usability of an Ecology Education Website (CjK, JLD, LCC), pp. 749–757.
CAiSECAiSE-2009-HaoCZ #performance #web #web service
Efficient IR-Style Search over Web Services (YH, JC, YZ), pp. 305–318.
ICMLICML-2009-PanT #modelling
Unsupervised hierarchical modeling of locomotion styles (WP, LT), pp. 785–792.
ICMLICML-2009-TaylorH #modelling #strict
Factored conditional restricted Boltzmann Machines for modeling motion style (GWT, GEH), pp. 1025–1032.
SEKESEKE-2009-MoavenAHK #architecture
Decision Support System Environment for Software Architecture Style Selection (DESAS v1.0) (SM, HA, JH, AK), pp. 147–151.
SACSAC-2009-MacielH #architecture #rest #transaction #using
An optimistic technique for transactions control using REST architectural style (LAHdSM, CMH), pp. 664–669.
QoSAQoSA-2008-MalletR #analysis #distributed #model transformation
Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems (JM, SR), pp. 55–70.
WICSAWICSA-2008-CimpanC #design pattern #question #reuse
Can Styles Improve Architectural Pattern Reuse? (SC, VC), pp. 263–266.
WICSAWICSA-2008-Malek #architecture #aspect-oriented #effectiveness
Effective Realization of Software Architectural Styles with Aspects (SM), pp. 313–316.
WICSAWICSA-2008-SeoEMM #architecture #distributed #energy #framework #impact analysis
A Framework for Estimating the Impact of a Distributed Software System’s Architectural Style on its Energy Consumption (CS, GE, SM, NM), pp. 277–280.
WICSAWICSA-2008-SozerT #modelling
Introducing Recovery Style for Modeling and Analyzing System Recovery (HS, BT), pp. 167–176.
DATEDATE-2008-BadelGIMVGL #design #difference #standard
A Generic Standard Cell Design Methodology for Differential Circuit Styles (SB, EG, OI, APM, PV, FKG, YL), pp. 843–848.
DATEDATE-2008-StefanoBBM #design #multi #pipes and filters #process
Process Variation Tolerant Pipeline Design Through a Placement-Aware Multiple Voltage Island Design Style (BS, DB, LB, EM), pp. 967–972.
SIGMODSIGMOD-2008-SaitoM #query #xml
Relational-style XML query (TLS, SM), pp. 303–314.
VLDBVLDB-2008-NeumannW #named #rdf
RDF-3X: a RISC-style engine for RDF (TN, GW), pp. 647–659.
ITiCSEITiCSE-2008-Burrell #learning #object-oriented #process #programming #source code #visualisation
Learning object oriented programming: unique visualizations of individuals learning styles, activities and the programs produced (CJB), p. 339.
ICPRICPR-2008-RodriguezPSL #adaptation #word
Unsupervised writer style adaptation for handwritten word spotting (JAR, FP, GS, JL), pp. 1–4.
SEKESEKE-2008-GoaerOTS #architecture #evolution
Evolution Shelf: Exploiting Evolution Styles within Software Architectures (OLG, MCO, DT, AS), pp. 387–392.
LDTALDTA-2007-Scott08 #earley #parsing
SPPF-Style Parsing From Earley Recognisers (ES), pp. 53–67.
LICSLICS-2008-Pottier #anti #higher-order
Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule (FP), pp. 331–340.
VMCAIVMCAI-2008-Mendez-LojoH #analysis #precise #set #source code
Precise Set Sharing Analysis for Java-Style Programs (MML, MVH), pp. 172–187.
ECSAECSA-2007-CorderoS #architecture #composition #perspective
Analyzing Styles of the Modular Software Architecture View (RNLC, IRS), pp. 275–278.
ECSAECSA-2007-LoulouKJD #architecture #design
Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles (IL, AHK, MJ, KD), pp. 44–59.
ECSAECSA-2007-MolesiniGCB #on the
On the Interplay of Crosscutting and MAS-Specific Styles (AM, AG, CC, TVB), pp. 317–320.
ECSAECSA-2007-PahlGH #approach #architecture #modelling #ontology
An Ontology-Based Approach for Modelling Architectural Styles (CP, SG, WH), pp. 60–75.
WICSAWICSA-2007-GieseckeBH #architecture #middleware #modelling
Middleware-Induced Architectural Style Modelling for Architecture Exploration (SG, JB, WH), p. 21.
WICSAWICSA-2007-MesbahD #ajax #architecture
An Architectural Style for Ajax (AM, AvD), p. 9.
DACDAC-2007-MalyLM #design
OPC-Free and Minimally Irregular IC Design Style (WM, YWL, MMS), pp. 954–957.
DocEngDocEng-2007-QuintV #editing
Editing with style (VQ, IV), pp. 151–160.
DRRDRR-2007-HarringtonW #documentation
Presentation of structured documents without a style sheet (SJH, EW).
DRRDRR-2007-VeeramachaneniN #interactive
Interaction for style-constrained OCR (SV, GN).
HTHT-2007-BrownFB #learning
Real users, real results: examining the limitations of learning styles within AEH (EJB, TF, TJB), pp. 57–66.
ICDARICDAR-2007-ChenMT #documentation #layout #logic #recognition
Simultaneous Layout Style and Logical Entity Recognition in a Heterogeneous Collection of Documents (SC, SM, GT), pp. 118–122.
ICDARICDAR-2007-GuoMBSR #approach #clustering #geometry #web
A General Approach for Partitioning Web Page Content Based on Geometric and Style Information (HFG, JM, YB, AS, IVR), pp. 929–933.
ICDARICDAR-2007-NielsV #consistency #generative
Generating Copybooks from Consistent Handwriting Styles (RN, LV), pp. 1009–1013.
VLDBVLDB-2007-ChaudhuriKRP #execution #query
Stop-and-Restart Style Execution for Long Running Decision Support Queries (SC, RK, RR, AP), pp. 735–745.
ITiCSEITiCSE-2007-GalpinSC #learning #student
Learning styles and personality types of computer science students at a South African university (VCG, IDS, PyC), pp. 201–205.
ICSMEICSM-2007-CorboGP #learning #source code
Smart Formatter: Learning Coding Style from Existing Source Code (FC, CDG, MDP), pp. 525–526.
PEPMPEPM-2007-Lammel #canonical #normalisation
Style normalization for canonical X-to-O mappings (RL), pp. 31–40.
LISPILC-2007-StrandhMHR #library #named
ESA: a CLIM library for writing Emacs-Style Applications (RS, DM, TH, CR), p. 24.
HCIHCI-AS-2007-NahHCL #comparison #online
An Examination of Online Product Comparison Service: Fit Between Product Type and Disposition Style (FFHN, WH, LC, HHL), pp. 90–94.
HCIHCI-AS-2007-ZamzuriW
The Role of Cognitive Styles in Groupware Acceptance (NZ, WW), pp. 835–845.
HCIHCI-IDU-2007-BuurS #design #interactive #towards
Towards Generic Interaction Styles for Product Design (JB, MAS), pp. 30–39.
HCIHCI-IPT-2007-AdnanNA #evaluation #visualisation
An Experimental Evaluation of Information Visualization Techniques and Decision Style (WAWA, NLMN, RA), pp. 143–150.
HCIHCI-MIE-2007-Lee07b #3d #game studies #self
Emotion and Sense of Telepresence: The Effects of Screen Viewpoint, Self-transcendence Style, and NPC in a 3D Game Environment (JJL), pp. 393–400.
HCIHCI-MIE-2007-TakashimaT #behaviour #low level #video
Sharing Video Browsing Style by Associating Browsing Behavior with Low-Level Features of Videos (AT, YT), pp. 518–526.
HCIOCSC-2007-MaZ #case study
A Study on Content and Management Style of Corporate Blogs (SM, QZ), pp. 116–123.
ICEISICEIS-EIS-2007-Egyhazy #architecture #comparison #design #security
Comparison of Five Architecture Description Languages on Design Focus, Security and Style (CJE), pp. 270–277.
ICMLICML-2007-WangFH #modelling #multi #process
Multifactor Gaussian process models for style-content separation (JMW, DJF, AH), pp. 975–982.
SEKESEKE-2007-AvolaFG #interactive #recognition #sketching
Sketch Style Recognition in Human Computer Interaction (DA, FF, PG), pp. 670–675.
OOPSLAOOPSLA-2007-KuhneS #multi #programming
Can programming be liberated from the two-level style: multi-level programming with deepjava (TK, DS), pp. 229–244.
ICSEICSE-2007-Zualkernan #learning #programming #using
Using Soloman-Felder Learning Style Index to Evaluate Pedagogical Resources for Introductory Programming Classes (IAZ), pp. 723–726.
PPoPPPPoPP-2007-Boehm #constraints #order #thread
Reordering constraints for pthread-style locks (HJB), pp. 173–182.
TLCATLCA-2007-SantoMP #calculus #continuation #normalisation
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi (JES, RM, LP), pp. 133–147.
QoSAQoSA-2006-Szyperski #architecture #component
Composing with Style — Components Meet Architecture (CAS), p. 2.
DRRDRR-2006-AndraZ #classification #consistency #nearest neighbour
Style consistent nearest neighbor classifier (SA, XZ).
DRRDRR-2006-ZhangA #dataset #towards
Toward quantifying the amount of style in a dataset (XZ, SA).
CSMRCSMR-2006-Giesecke #enterprise #integration #middleware
Middleware-induced Styles for Enterprise Application Integration (SG), pp. 334–340.
ICALPICALP-v2-2006-CorinH #encryption #game studies #hoare #logic #probability #proving
A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs (RC, JdH), pp. 252–263.
SOFTVISSOFTVIS-2006-Pietriga #graph #semantics #visualisation #web
Semantic web data visualization with graph style sheets (EP), pp. 177–178.
EDOCEDOC-2006-MiaoSC #architecture #formal method
Formalizing and analyzing service oriented software architecture style (HM, JS, XC), pp. 387–390.
ICPRICPR-v1-2006-MaoXTT #documentation #image #logic #multi #recognition
Logical Entity Recognition in Multi-Style Document Page Images (SM, ZX, TT, GRT), pp. 876–879.
ICPRICPR-v1-2006-WongLI #classification
Brush Writing Style Classification from Individual Chinese Characters (STSW, HL, HHSI), pp. 884–887.
ICPRICPR-v2-2006-Lu #evaluation #similarity
Joint Distributions based on DFB and Gaussian Mixtures for Evaluation of Style Similarity among Paintings (XL), pp. 865–868.
ICPRICPR-v2-2006-TongDXTL #analysis #recognition #video
Local Motion Analysis and Its Application in Video based Swimming Style Recognition (XT, LYD, CX, QT, HL), pp. 1258–1261.
ICPRICPR-v2-2006-ZhangN #multi #quantifier
Style Quantification of Scanned Multi-source Digits (XZ, GN), pp. 1018–10121.
SEKESEKE-2006-GokhaleY #analysis #architecture #pipes and filters #reliability
Reliability Analysis of Pipe and Filter Architecture Style (SSG, SMY), pp. 625–630.
SEKESEKE-2006-OussalahTGS #architecture #challenge #component
Updating Styles Challenge Updating Needs within Component-based Software Architectures (MO, DT, OLG, AS), pp. 98–101.
SEKESEKE-2006-ZhangCWH #component #evaluation #middleware #performance
Performance Evaluation of Component System based on Container style Middleware (YZ, NC, JW, TH), pp. 730–736.
ICSEICSE-2006-WoollardM #architecture #parallel #symmetry
An architectural style for high-performance asymmetrical parallel computations (DW, NM), pp. 857–860.
WICSAWICSA-2005-BhattacharyaP #architecture #component #predict #specification
Predicting Architectural Styles from Component Specifications (SB, DEP), pp. 231–232.
DATEDATE-2005-HuotDFR #architecture #logic #multi
FPGA Architecture for Multi-Style Asynchronous Logic (NH, HD, LF, MR), pp. 32–33.
DRRDRR-2005-GarrisonDAS #database #fault
Study of style effects on OCR errors in the MEDLINE database (PG, DLD, TLA, EHBS), pp. 28–36.
DRRDRR-2005-LiuD #automation #clustering #image
Automatic style clustering of printed characters in form images (CL, XD), pp. 175–182.
ICDARICDAR-2005-BharathDM #approach #identification #online #recognition
An Approach to Identify Unique Styles in Online Handwriting Recognition (AB, VD, SM), pp. 775–779.
ICDARICDAR-2005-LongJ #hybrid #recognition
Hybrid Recognition for One Stroke Style Cursive Handwriting Characters (TL, LJ), pp. 232–236.
ICDARICDAR-2005-SongKCBKCJC #documentation #image #segmentation
Text Region Extraction and Text Segmentation on Cameracaptured Document Style Images (YJS, KCK, YWC, HRB, SHK, SYC, DKJ, YC), pp. 172–176.
ICDARICDAR-2005-TanigakiHO #documentation
Push-Style Guidance System for Technical Document Writing (KT, TH, YO), pp. 725–729.
ICDARICDAR-2005-YoonCCT #profiling #using
Writer Profiling Using Handwriting Copybook Styles (SY, SSC, SHC, CCT), p. 600.
ITiCSEITiCSE-2005-ChamillardS #education #learning
Learning styles across the curriculum (ATC, RES), pp. 241–245.
CIAACIAA-2005-HigueraPT #automaton #finite #learning #probability #recognition
Learning Stochastic Finite Automata for Musical Style Recognition (CdlH, FP, FT), pp. 345–346.
SOFTVISSOFTVIS-2005-NoackL #graph #layout #modelling
A space of layout styles for hierarchical graph models of software systems (AN, CL), pp. 155–164.
ECIRECIR-2005-WangSDNCD #generative
Comparing Topiary-Style Approaches to Headline Generation (RW, NS, WPD, EN, JC, JD), pp. 157–168.
OOPSLAOOPSLA-2005-PaceC #architecture #modelling #named #object-oriented #tool support
ArchMatE: from architectural styles to object-oriented models through exploratory tool support (JADP, MRC), pp. 117–132.
PPDPPPDP-2005-EchahedP #declarative #policy #security
Security policy in a declarative style (RE, FP), pp. 153–163.
WICSAWICSA-2004-BaresiHTV #architecture #refinement
Style-Based Refinement of Dynamic Software Architectures (LB, RH, ST, DV), pp. 155–166.
WICSAWICSA-2004-BashroushSKB #architecture #network #realtime
A Network Architectural Style for Real-time Systems: NaSr (RB, ITAS, PK, TJB), pp. 321–324.
WICSAWICSA-2004-SuryanarayanaEHT #architecture #distributed #named #trust
PACE: An Architectural Style for Trust Management in Decentralized Applications (GS, JRE, SAH, RNT), pp. 221–232.
DRRDRR-2004-MaoKT #design #documentation #evaluation #independence #performance
Style-independent document labeling: design and performance evaluation (SM, JK, GRT), pp. 14–22.
FASEFASE-2004-MucciniDR #architecture #testing
Systematic Testing of Software Architectures in the C2 Style (HM, MSD, DJR), pp. 295–309.
ICSMEICSM-2004-MohanGL #approach #complexity #comprehension #concept #using
An Approach to Understanding Program Comprehensibility Using Spatial Complexity, Concept Assignment and Typographical Style (AM, NG, PJL), p. 530.
ICSMEICSM-2004-XingS #comprehension #evolution #object-oriented
Understanding Phases and Styles of Object-Oriented Systems’ Evolution (ZX, ES), pp. 242–251.
IWPCIWPC-2004-MohanG #evolution #programming #source code
Programming Style Changes in Evolving Source Code (AM, NG), pp. 236–240.
WCREWCRE-2004-MohanGL #approach #complexity #concept #using
An Initial Approach to Assessing Program Comprehensibility Using Spatial Complexity, Number of Concepts and Typographical Style (AM, NG, PJL), pp. 246–255.
CHICHI-2004-RobertsonPBCRBP #debugging
Impact of interruption style on end-user debugging (TJR, SP, MMB, CRC, JRR, LB, AP), pp. 287–294.
ICEISICEIS-v1-2004-ZhouNB #c++ #implementation #performance #using
An Efficient B+-Tree Implementation in C++ Using the STL Style (JZ, BN, GB), pp. 163–168.
CIKMCIKM-2004-LiO #identification #learning #music
Semi-supervised learning for music artists style identification (TL, MO), pp. 152–153.
ECIRECIR-2004-ChristensenKGR #summary
From Text Summarisation to Style-Specific Summarisation for Broadcast News (HC, BK, YG, SR), pp. 223–237.
ICPRICPR-v2-2004-MaD #adaptation #classification #using #word
Adaptive Word Style Classification Using a Gaussian Mixture Model (HM, DSD), pp. 606–609.
ICSEICSE-2004-Francois #architecture #data type #distributed #hybrid #parallel
A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams (ARJF), pp. 367–376.
ICSEICSE-2004-KhareT #architecture #distributed #rest
Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems (RK, RNT), pp. 428–437.
ICSEICSE-2004-SchmerlG #architecture #development #named
AcmeStudio: Supporting Style-Centered Architecture Development (BRS, DG), pp. 704–705.
RTARTA-2004-GeuversN #deduction
Rewriting for Fitch Style Natural Deductions (HG, RN), pp. 134–154.
ASEASE-2003-Wile #architecture #calculus #non-functional
Architecture Style-Based Calculi for Non-functional Properties (DSW), pp. 299–303.
DACDAC-2003-MaideeAB #clustering #performance
Fast timing-driven partitioning-based placement for island style FPGAs (PM, CA, KB), pp. 598–603.
DATEDATE-2003-SirisantanaR #logic #power management
Selectively Clocked CMOS Logic Style for Low-Power Noise-Immune Operations in Scaled Technologies (NS, KR), pp. 11160–11161.
VLDBVLDB-2003-HristidisGP #database #keyword #performance #relational
Efficient IR-Style Keyword Search over Relational Databases (VH, LG, YP), pp. 850–861.
ITiCSEITiCSE-2003-Rasala #maturity #object-oriented
Embryonic object versus mature object: object-oriented style and pedagogical theme (RR), pp. 89–93.
ITiCSEITiCSE-2003-RedmondWP
Equilibriating instructional media for cognitive styles (JAR, CW, AP), pp. 55–59.
ICFPICFP-2003-LohCJ #haskell
Dependency-style generic Haskell (AL, DC, JJ), pp. 141–152.
CAiSECAiSE-2003-CastroSM #architecture #modelling #uml
Modeling Organizational Architectural Styles in UML (JC, CTLLS, JM), pp. 111–126.
ECIRECIR-2003-TianC #collaboration #learning #rating #recommendation #similarity
Learning User Similarity and Rating Style for Collaborative Recommendation (LFT, KWC), pp. 135–145.
KDDKDD-2003-ArgamonSS #mining #multi
Style mining of electronic messages for multiple authorship discrimination: first results (SA, MS, SSS), pp. 475–480.
UMLUML-2003-Rouquette #architecture #uml
UML/MDA Reality Check: Heterogenous Architecture Style (NFR), p. 143.
REFSQREFSQ-J-2002-KamstiesKR03 #empirical #how #requirements #specification
A controlled experiment to evaluate how styles affect the understandability of requirements specifications (EK, AvK, RHR), pp. 955–965.
ESEC-FSEESEC-FSE-2003-BaresiHTV #architecture #modelling #validation
Modeling and validation of service-oriented architectures: application vs. style (LB, RH, ST, DV), pp. 68–77.
ESEC-FSEESEC-FSE-2003-MehtaM #architecture
Composing architectural styles from architectural primitives (NRM, NM), pp. 347–350.
LDTALDTA-2003-Hufflen #bibliography
Mixing Two Bibliography Style Languages (JMH), pp. 628–642.
WICSAWICSA-2002-ChengGSSSS #architecture #self #using
Using Architectural Style as a Basis for System Self-repair (SWC, DG, BRS, JPS, BS, PS), pp. 45–59.
WICSAWICSA-2002-YoderJ #adaptation #architecture
The Adaptive Object-Model Architectural Style (JWY, REJ), pp. 3–27.
CBSECBSE-2003-BaresiHTV #analysis #architecture #graph transformation #modelling
Modeling and Analysis of Architectural Styles Based on Graph Transformation (LB, RH, ST, DV), p. 12.
ITiCSEITiCSE-2002-ParkinsonR #learning #performance #question
Do cognitive styles affect learning performance in different computer media? (AP, JAR), pp. 39–43.
TACASTACAS-2002-KimSC #functional #requirements #specification #using #verification
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS (TK, DWJSC, SDC), pp. 205–220.
ICSMEICSM-2002-Arsanjani #architecture #compilation #configuration management #towards
Business Compilers: Towards Supporting a Highly Re-Configurable Architectural Style for Service-Oriented Architecture (AA), p. 287.
ICSMEICSM-2002-ArsanjaniAZ #architecture #component #configuration management #maintenance
Externalizing Component Manners to Achieve Greater Maintainability through a Highly Re-Configurable Architectural Style (AA, JJA, HZ), pp. 628–637.
CSCWCSCW-2002-IsaacsWWSK
The character, functions, and styles of instant messaging in the workplace (EI, AW, SW, DJS, CAK), pp. 11–20.
ICPRICPR-v2-2002-VeeramachaneniFLN #classification #polynomial
Style-Conscious Quadratic Field Classifier (SV, HF, CLL, GN), pp. 72–75.
ICPRICPR-v4-2002-Sarkar #algorithm #classification
An Iterative Algorithm for Optimal Style Conscious Field Classification (PS), p. 243–?.
ICSEICSE-2002-PaceC #architecture #aspect-oriented #framework #object-oriented
An object-oriented bridge among architectural styles, aspects and frameworks (JADP, MRC), p. 717.
CADECADE-2002-Hurd #first-order #interface #logic
An LCF-Style Interface between HOL and First-Order Logic (JH), pp. 134–138.
CSLCSL-2002-Ogata #continuation #proving
A Proof Theoretical Account of Continuation Passing Style (IO), pp. 490–505.
CBSECBSE-2001-Wile #architecture #using
Ensuring General-Purpose and Domain-Specific Properties Using Architectural Styles (DSW), p. 6.
WICSAWICSA-2001-Schwanke #architecture
Layers, Decisions, Patterns, Styles, and Architectures (RWS), pp. 137–147.
ICDARICDAR-2001-SarkarN
Style-Consistency in Isogenous Patterns (PS, GN), pp. 1169–1175.
FLOPSFLOPS-2001-Sulzmann #framework #type inference
A General Type Inference Framework for Hindley/Milner Style Systems (MS), pp. 248–263.
EDOCEDOC-2001-AnderssonJ #architecture #enterprise #integration #scalability
Architectural Integration Styles for Large-Scale Enterprise Software Systems (JA, PJ), pp. 224–236.
FSEESEC-FSE-2001-MorisawaT #architecture #distributed #product line
An architectural style of product lines for distributed processing systems, and practical selection method (YM, KT), pp. 11–20.
ICSEICSE-2001-EmmerichEF #architecture #enterprise #integration #named
TIGRA — An Architectural Style for Enterprise Application Integration (WE, EE, HF), pp. 567–576.
VLDBVLDB-2000-ChaudhuriW #architecture #database #self #towards
Rethinking Database System Architecture: Towards a Self-Tuning RISC-Style Database System (SC, GW), pp. 1–10.
ITiCSEITiCSE-2000-BlandL #learning
Agents, profiles, learning styles and tutors (poster session) (CGB, PBL), p. 185.
AdaEuropeAdaEurope-2000-CloshenH #ada #implementation #programming #using
An Ada95 Programming Style Checker Using the GNAT ASIS Implementation (PC, HJH), pp. 149–160.
ICPRICPR-v2-2000-SarkarN #classification
Classification of Style-Constrained Pattern-Fields (PS, GN), pp. 2855–2858.
PPDPPPDP-2000-Ayala-RinconK #unification
Unification via se-style of explicit substitution (MAR, FK), pp. 163–174.
ICSEICSE-2000-BirbilisKKTV #architecture #named #programming
E-Slate: a software architectural style for end-user programming (GB, MK, KK, GT, GV), pp. 684–687.
WICSAWICSA-1999-BatorySC #adaptation #architecture
Architectural Styles as Adaptors (DSB, YS, LC), pp. 203–224.
WICSAWICSA-1999-HirschIM #constraints #graph grammar #modelling #theorem proving
Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving (DH, PI, UM), pp. 127–144.
WICSAWICSA-1999-KleinKBCBL #architecture
Attribute-Based Architecture Styles (MHK, RK, LJB, SJC, MB, HFL), pp. 225–244.
DACDAC-1999-HemaniMKPONOEL #design #power management #using
Lowering Power Consumption in Clock by Using Globally Asynchronous Locally Synchronous Design Style (AH, TM, SK, AP, TO, PN, , PE, DL), pp. 873–878.
HTHT-1999-RutledgeHOB #hypermedia
Mix’n’match: Exchangeable Modules of Hypermedia Style (LR, LH, JvO, DCAB), pp. 179–188.
ICDARICDAR-1999-GarainC #documentation
Extraction of Type Style based Meta-Information from Imaged Documents (UG, BBC), pp. 341–344.
ICFPICFP-1999-GanzFW
Trampolined Style (SEG, DPF, MW), pp. 18–27.
CHICHI-1999-BruckmanE #analysis #fault #programming language
Should we Leverage Natural-Language Knowledge? An Analysis of User Errors in a Natural-Language-Style Programming Language (AB, EE), pp. 207–214.
CHICHI-1999-FukumotoT #named #smarttech
Whisper: A Wristwatch Style Wearable Handset (MF, YT), pp. 112–119.
SACSAC-1999-LeavensWB #data flow #diagrams #semantics #specification
Formal Semantics for SA Style Data Flow Diagram Specification Languages (GTL, TW, ALB), pp. 526–532.
ESECESEC-FSE-1999-Gafni #architecture #named #realtime
Robots: A Real-Time Systems Architectural Style (VG), pp. 57–74.
ICSEICSE-1999-NittoR #architecture #middleware
Exploiting ADLs to Specify Architectural Styles Induced by Middleware Infrastructures (EDN, DSR), pp. 13–22.
ICSEICSE-1999-RoodynE #architecture #multi #realtime
An Architectural Style for Multiple Real-Time Data Feeds (NR, WE), pp. 564–572.
ICFPICFP-1998-Kiselyov98a #abstraction #c++ #functional
Functional Style in C++: Closures, Late Binding, and λ Abstractions (OK), p. 337.
POPLPOPL-1998-Schubert #higher-order #morphism #polymorphism #type inference #unification
Second-Order Unification and Type Inference for Church-Style Polymorphism (AS), pp. 279–288.
REFSQREFSQ-1998-LauesenY #requirements #usability
Six Styles for Usability Requirements (SL, HY), pp. 155–166.
CADECADE-1998-Ohlbach #framework #reasoning #semantics
Combining Hilbert Style and Semantic Reasoning in a Resolution Framework (HJO), pp. 205–219.
DATEEDTC-1997-SurtiCT #automaton #design #encoding #power management #using
Low power FSM design using Huffman-style encoding (PS, LFC, AT), pp. 521–525.
HTHT-1997-HirataMOLH #integration #navigation
Object-based Navigation: An Intuitive Navigation Style for Content-Oriented Integration Environment (KH, SM, YO, WSL, YH), pp. 75–86.
HTHT-1997-OssenbruggenHRE #documentation #hypermedia
Style Sheet Support for Hypermedia Documents (JvO, LH, LR, AE), pp. 216–217.
HCIHCI-SEC-1997-HolstCG #analysis #constraints #interface
Transporting Honey Bears: A Cognitive Analysis of the Effects of Interface Manipulation Style on a Constraint-Based Planning Task (SJH, EFC, DJG), pp. 169–172.
HCIHCI-SEC-1997-RuyterV #interactive #modelling #multimodal
Modeling and Evaluating Multimodal Interaction Styles (BERdR, JHMdV), pp. 711–714.
TOOLSTOOLS-ASIA-1997-Coplien97a #c++ #programming #using
Advanced C++ Programming Styles: Using C++ as a Higher-Level Language (JC), pp. 418–419.
TOOLSTOOLS-PACIFIC-1997-Coplien #c++ #programming
Advanced C++ Programming Styles and Idioms (JC), p. 352.
POPLPOPL-1997-Boudol #π-calculus
The π-calculus in Direct Style (GB), pp. 228–241.
ICSEICSE-1997-MedvidovicOT #architecture #component #off the shelf #reuse
Reuse of Off-the-Shelf Components in C2-Style Architectures (NM, PO, RNT), pp. 692–700.
TLCATLCA-1997-MalolepszyMZ #decidability
Schwichtenberg-Style λ Definability Is Undecidable (JM, MM, MZ), pp. 267–283.
HTHT-1996-HaakeH #hypermedia #named #towards #version control
VerSE: Towards Hypertext Versioning Styles (AH, DLH), pp. 224–234.
ESOPESOP-1996-SmithV #c #polymorphism #towards #type system
Towards an ML-Style Polymorphic Type System for C (GS, DMV), pp. 341–355.
ICALPICALP-1996-ChengK #axiom #constraints #set
A Complete Gentzen-Style Axiomatization for Set Constraints (AC, DK), pp. 134–145.
CHICHI-1996-Gale #approach #collaboration
A Collaborative Approach to Developing Style Guides (SG), pp. 362–367.
ICPRICPR-1996-ZhaNN #3d #algorithm #image #modelling #recognition #using
3-D object recognition from range images by using a model-based Hopfield-style matching algorithm (HZ, HN, TN), pp. 111–116.
FSEFSE-1996-MedvidovicORT #architecture #design #object-oriented #type system #using
Using Object-Oriented Typing to Support Architectural Design in the C2 Style (NM, PO, JER, RNT), pp. 24–32.
FSEFSE-1996-Metayer #architecture #graph grammar
Software Architecture Styles as Graph Grammars (DLM), pp. 15–23.
ICSEICSE-1996-GodartCCMS #architecture #design #implementation #lessons learnt #process
Designing and Implementing COO: Design Process, Architectural Style, Lessons Learned (CG, GC, FC, PM, HS), pp. 342–352.
CADECADE-1996-SchmittK #matrix #proving
Converting Non-Classical Matrix Proofs into Sequent-Style Systems (SS, CK), pp. 418–432.
ISSTAISSTA-1996-JacksonD #design #detection
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector (DJ, CD), pp. 239–249.
DACDAC-1995-LavagnoMSS #design #power management #synthesis
Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool (LL, PCM, AS, ALSV), pp. 254–260.
ICDARICDAR-v1-1995-Crettez #product line #recognition #set
A set of handwriting families: style recognition (JPC), pp. 489–494.
ICDARICDAR-v1-1995-WangY #editing #image
Block selection: a method for segmenting a page image of various editing styles (SYW, TY), pp. 128–133.
RERE-1995-HeitmeyerLK #consistency #requirements #specification
Consistency checking of SCR-style requirements specifications (CLH, BGL, DLK), pp. 56–65.
ICSEICSE-1995-TaylorMAWR #architecture #component #message passing #user interface
A Component- and Message-Based Architectural Style for GUI Software (RNT, NM, KMA, EJWJ, JER), pp. 295–304.
CAVCAV-1995-DingelF #abstraction #infinity #model checking #proving #reasoning #theorem proving #using
Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving (JD, TF), pp. 54–69.
ESOPESOP-J-1992-Danvy94
Back to Direct Style (OD), pp. 183–195.
CHICHI-1994-VoraHS94a #hypermedia #interface #multi
Evaluating the influence of interface styles and multiple access paths in hypertext (PRV, MH, VLS), pp. 323–329.
SEKESEKE-1994-Kalnins
Extensions of GRAPES/4GL for Windows style input/output (AK), pp. 201–208.
PPDPPLILP-1994-BelkhirN #functional #logic #towards #using
Towards Integrating Functional and Logic Styles Using Relation (AB, NN), pp. 463–464.
POPLPOPL-1994-HatcliffD #continuation
A Generic Account of Continuation-Passing Styles (JH, OD), pp. 458–471.
SACSAC-1994-BosschereT #continuation #performance #prolog
High performance continuation passing style Prolog-to-C mapping (KDB, PT), pp. 383–387.
SACSAC-1994-LeeA #c++
C++ style class support under FIG Forth (YML, DJA), pp. 341–345.
FSEFSE-1994-GarlanAO #architecture #design
Exploiting Style in Architectural Design Environments (DG, RA, JO), pp. 175–188.
CADECADE-1994-Portoraro #automation #named #proving
Symlog: Automated Advice in Fitch-style Proof Construction (FDP), pp. 802–806.
ICLPILPS-1994-Lindgren #continuation #prolog
A Continuation-Passing Style for Prolog (TL), pp. 603–617.
ICDARICDAR-1993-FrankeO #classification #detection #statistics
Writing style detection by statistical combination of classifiers in form reader applications (JF, MFO), pp. 581–584.
HCIHCI-SHI-1993-AndersonJBA
The Use of Computer Simulated Cases to Study Factors that Influence Clinical Practice Styles (JGA, SJJ, CB, MMA), pp. 742–747.
POPLPOPL-1993-LawallD #continuation
Separating Stages in the Continuation-Passing Style Transformation (JLL, OD), pp. 124–136.
FSEFSE-1993-AbowdAG #architecture #using
Using Style to Understand Descriptions of Software Architecture (GDA, RA, DG), pp. 9–20.
DACDAC-1992-FujiiMMY #multi
A Multi-Layer Channel Router with New Style of Over-the-Cell Routing (TF, YM, TM, TY), pp. 585–588.
DACDAC-1992-OkudaO #algorithm #generative #layout #performance
An Efficient Routing Algorithm for SOG Cell Generation on a Dense Gate-Isolated Layout Style (RO, SO), pp. 676–681.
HTHT-ECHT-1992-OgawaTTH #design #hypermedia
Design Strategies for Scenario-Based Hypermedia: Description of its Structure, Dynamics, and Style (RO, ET, DT, KH), pp. 71–80.
ESOPESOP-1992-Danvy
Back to Direct Style (OD), pp. 130–150.
SASWSA-1992-Queinnec
Value Transforming Style (CQ), pp. 20–28.
LISPLFP-1992-DanvyL #continuation
Back to Direct Style II: First-Class Continuations (OD, JLL), pp. 299–310.
LISPLFP-1992-SabryF #continuation #reasoning #source code
Reasoning About Programs in Continuation-Passing Style (AS, MF), pp. 288–298.
PPDPPLILP-1992-Tarau #continuation #named #prolog
BinProlog: a Continuation Passing Style Prolog Engine (PT), pp. 479–480.
POPLPOPL-1992-Ohori #calculus #compilation #polymorphism
A Compilation Method for ML-Style Polymorphic Record Calculi (AO), pp. 154–165.
DACDAC-1991-HwangHLH #automation #generative #layout #performance
An Efficient Layout Style for 2-Metal CMOS Leaf Cells And Their Automatic Generation (CYH, YCH, YLL, YCH), pp. 481–486.
FMVDME-1991-1-Stolen #concurrent
An Attempt to Reason about Shared-State Concurrency in the Style of VDM (KS), pp. 324–342.
LICSLICS-1991-Hungar #bound #complexity #hoare #proving
Complexity Bounds of Hoare-style Proof Systems (HH), pp. 120–126.
DACDAC-1989-AdamsS #generative #layout
Template Style Considerations for Sea-of-Gates Layout Generation (GDA, CHS), pp. 31–36.
SEKESEKE-1989-ChengHH #object-oriented #programming #visual notation
Visual Programming in Object-oriented Style (KYC, WHH, MSH), pp. 93–97.
POPLPOPL-1989-AppelJ #continuation
Continuation-Passing, Closure-Passing Style (AWA, TJ), pp. 293–302.
OOPSLAOOPSLA-1988-LieberherrHR #object-oriented #programming
Object-Oriented Programming: An Objective Sense of Style (KJL, IMH, AJR), pp. 323–334.
CADECADE-1988-ButlerLO #automaton #compilation #performance #program transformation #prolog
Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine (RB, RL, RO), pp. 323–332.
LICSLICS-1987-MitchellM #modelling #λ-calculus
Kripke-Style models for typed λ calculus (JCM, EM), pp. 303–314.
LISPLFP-1986-DybvigFH #metaprogramming
Expansion-Passing Style: Beyond Conventional Macros (RKD, DPF, CTH), pp. 143–150.
DACDAC-1985-Bergmann #design #independence
Generalised CMOS-a technology independent CMOS IC design style (NB), pp. 273–278.
DACDAC-1984-TsengS #design #named
Emerald: A bus style designer (CJT, DPS), pp. 315–321.
PLDISCC-1984-AigrainGHMP #code generation #experience
Experience with a Graham-Glanville style code generator (PA, SLG, RRH, MKM, EPL), pp. 13–24.
PLDISCC-1984-ChristopherHK #code generation #programming #using
Using dynamic programming to generate optimized code in a Graham-Glanville style code generator (TWC, PJH, RCK), pp. 25–36.
POPLPOPL-1984-Wand #morphism #polymorphism #semantics
A Types-as-Sets Semantics for Milner-Style Polymorphism (MW), pp. 158–164.
ICLPSLP-1984-BroughE84 #data flow #logic #programming
Dataflow, Flowcharts, and “LUCID”-style Programming in Logic (DRB, MHvE), pp. 252–258.

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.