BibSLEIGH — framework tag

framework

framework

Tag #framework

4185 papers:

ASPLOS-2020-HuLL0Z0XDLSX #architecture #learning #named: DeepSniffer: A DNN Model Extraction Framework Based on Learning Architectural Hints (XH, LL, SL, LD0, PZ, YJ0, XX, YD, CL, TS, YX), pp. 385–399.
ASPLOS-2020-MaZCSWQ #architecture #data type #implementation #named #performance #persistent #symmetry: AsymNVM: An Efficient Framework for Implementing Persistent Data Structures on Asymmetric NVM Architecture (TM, MZ, KC, ZS, YW, XQ), pp. 757–773.
ASPLOS-2020-ThomasHZ #named #parallel #streaming: Fleet: A Framework for Massively Parallel Streaming on FPGAs (JJT, PH, MZ), pp. 639–651.
ASPLOS-2020-Zheng0WCS #automation #named #optimisation: FlexTensor: An Automatic Schedule Exploration and Optimization Framework for Tensor Computation on Heterogeneous System (SZ, YL0, SW, RC, KS), pp. 859–873.
CGO-2020-KangCP #named #performance #precise #scalability: PreScaler: an efficient system-aware precision scaling framework on heterogeneous systems (SK, KC, YP), pp. 280–292.
CGO-2020-MatsumuraZWEM #automation #named: AN5D: automated stencil framework for high-degree temporal blocking on GPUs (KM, HRZ, MW, TE, SM), pp. 199–211.
ICSA-2019-AlamGPAB #detection: A Framework for Tunable Anomaly Detection (MRA, IG, CP, AA, TB), pp. 201–210.
ICSA-2019-WeberLTDGS #architecture #multitenancy #platform: A Platform Architecture for Multi-Tenant Blockchain-Based Systems (IW, QL0, ABT, AD, MG, MS), pp. 101–110.
EDM-2019-HanWJZZ #human-computer #hybrid: A Human-Machine Hybrid Peer Grading Framework for SPOCs (YH, WW0, SJ, LZ, HZ0).
EDM-2019-PolyzouNK #markov #recommendation: Scholars Walk: A Markov Chain Framework for Course Recommendation (AP, ANN, GK).
EDM-2019-PuWJ #automation #education #student: ATC Framework: A fully Automatic Cognitive Tracing Model for Student and Educational Contents (YP, WW0, TJ).
ICPC-2019-ZyrianovNGCM #analysis #implementation #named #pointer: srcPtr: a framework for implementing static pointer analysis approaches (VZ, CDN, DTG, MLC, JIM), pp. 144–147.
ICSME-2019-AlmeidaTK #named #technical debt: Tracy: A Business-Driven Technical Debt Prioritization Framework (RRdA, CT, UK), pp. 181–185.
ICSME-2019-CokerWGBS #debugging: A Qualitative Study on Framework Debugging (ZC, DGW, CLG, CB, JS), pp. 568–579.
ICSME-2019-Shah #analysis #data type #performance: Lib Metamorphosis: A Performance Analysis Framework for Exchanging Data Structures in Performance Sensitive Applications (MDS), pp. 379–381.
ICSME-2019-WagnerBSG #challenge #cobol #pl-i #platform: Challenges in re-Platforming Mixed Language PL/I and COBOL IS to an Open Systems Platform (TW, CB, SS, TG), p. 364.
MSR-2019-HoangDK0U #fault #learning #named #predict: DeepJIT: an end-to-end deep learning framework for just-in-time defect prediction (TH, HKD, YK, DL0, NU), pp. 34–45.
MSR-2019-KolovosNBMP #distributed #mining #named #repository: Crossflow: a framework for distributed mining of software repositories (DSK, PN, KB, NM, RFP), pp. 155–159.
MSR-2019-MaBAZM #mining #open source: World of code: an infrastructure for mining the universe of open source VCS data (YM, CB, SA, RZ, AM), pp. 143–154.
MSR-2019-MontandonSV #git #identification #library: Identifying experts in software libraries and frameworks among GitHub users (JEM, LLS, MTV), pp. 276–287.
SANER-2019-BusingeKOBS #eclipse #how #interface #question: How Stable Are Eclipse Application Framework Internal Interfaces? (JB, SK, MO, EB, AS), pp. 117–127.
SANER-2019-PachecoBMNMR #mining #recommendation #scala: Mining Scala Framework Extensions for Recommendation Patterns (YP, JDB, TM, DDN, WDM, CDR), pp. 514–523.
FM-2019-SogokonMTCP #generative #invariant #named: Pegasus: A Framework for Sound Continuous Invariant Generation (AS, SM, YKT, KC, AP), pp. 138–157.
FM-2019-ZhaoSZ0 #concurrent #parametricity #reasoning: A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems (YZ, DS, FZ, YL0), pp. 161–178.
FSCD-2019-CernaK #higher-order: A Generic Framework for Higher-Order Generalizations (DMC, TK), p. 19.
FSCD-2019-Felty #hybrid #linear #logic: A Linear Logical Framework in Hybrid (Invited Talk) (APF), p. 2.
IFM-2019-BeekLLV #analysis #configuration management #modelling #summary: Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems (MHtB, AL, ALL, AV), pp. 547–551.
CHI-PLAY-2019-LesselAB #game studies #named #platform: Crowdjump: Investigating a Player-Driven Platform Game (PL, MA, NB), pp. 149–159.
CHI-PLAY-2019-WillifordRCLLH #sketching: A Framework for Motivating Sketching Practice with Sketch-based Gameplay (BW, MR, JC, WL, JL, TH), pp. 533–544.
CoG-2019-AbuzuraiqFP #clustering #generative #graph #named: Taksim: A Constrained Graph Partitioning Framework for Procedural Content Generation (AMA, AF, PP), pp. 1–8.
CoG-2019-HernandezDGYDSW #self: A Generalized Framework for Self-Play Training (DH, KD, YG, PY, SD, SS, JAW), pp. 1–8.
CoG-2019-PalenciaO #named #platform #web: PsyRTS: a Web Platform for Experiments in Human Decision-Making in RTS Environments (DOVP, MO), pp. 1–4.
CoG-2019-StephensonPSB #contest #platform: Ludii as a Competition Platform (MS, ÉP, DJNJS, CB), pp. 1–8.
CoG-2019-WarriarUWT #design #game studies #named #platform: PlayMapper: Illuminating Design Spaces of Platform Games (VRW, CU, JRW, LT), pp. 1–4.
DiGRA-2019-GrabarczykA #game studies #ontology: Port or conversion? An ontological framework for classifying game versions (PG, EA).
FDG-2019-BurukIT #design #smarttech: A design framework for playful wearables (OTB, KI, TT), p. 12.
FDG-2019-JiangHHF #design #education #game studies: The computational puzzle design framework: a design guide for games teaching computational thinking (XJ, CH, XH, AYHF), p. 11.
FDG-2019-OSheaF #design #game studies #question: Game design frameworks: where do we start? (ZO, JF), p. 10.
FDG-2019-SandhuM #design pattern: A framework for integrating architectural design patterns into PCG (AS, JM), p. 5.
FDG-2019-SnodgrassMH #towards: Towards a generalized player model through the PEAS framework (SS, OM, CH), p. 7.
FDG-2019-SnodgrassMHRHH #personalisation: Like PEAS in PoDS: the player, environment, agents, system framework for the personalization of digital systems (SS, OM, JH, GRR, CH, CH), p. 15.
VS-Games-2019-MammenMLBBSW #platform: VIA VR: A Technology Platform for Virtual Adventures for Healthcare and Well-Being (SvM, AM, MEL, MB, KB, CS, MW), pp. 1–2.
VS-Games-2019-SchmuckFSC #design #game studies #research: Principles underlying the design of a cognitive training game as a research framework (ES, RF, PS, PCL), pp. 1–2.
CIKM-2019-ChengZYTN0 #predict: A Dynamic Default Prediction Framework for Networked-guarantee Loans (DC, YZ, FY, YT, ZN, LZ0), pp. 2547–2555.
CIKM-2019-JungLPP #named #using: PRIVATA: Differentially Private Data Market Framework using Negotiation-based Pricing Mechanism (KJ, JL, KP, SP), pp. 2897–2900.
CIKM-2019-LiMB0G #adaptation #novel #on the #recognition: On Novel Object Recognition: A Unified Framework for Discriminability and Adaptability (KL0, MRM, BB, YF0, HPG), pp. 2265–2268.
CIKM-2019-LiuNX0Y #named #self: MoBoost: A Self-improvement Framework for Linear-based Hashing (XL, XN, XX, LZ0, YY), pp. 871–880.
CIKM-2019-LuoZWZ #learning #named #representation: ResumeGAN: An Optimized Deep Representation Learning Framework for Talent-Job Fit via Adversarial Learning (YL, HZ, YW, XZ), pp. 1101–1110.
CIKM-2019-QiLDCQD #e-commerce: A Deep Neural Framework for Sales Forecasting in E-Commerce (YQ, CL, HD, MC, YQ, YD), pp. 299–308.
CIKM-2019-XuZYACT #image: A Unified Generation-Retrieval Framework for Image Captioning (CX, WZ, MY, XA, WC, JT), pp. 2313–2316.
CIKM-2019-YangTDZLL #query #semantics: An Active and Deep Semantic Matching Framework for Query Rewrite in E-Commercial Search Engine (YY, JT, HD, ZZ, YL, XL), pp. 309–318.
CIKM-2019-ZhangFYZS #identification #network: Key Player Identification in Underground Forums over Attributed Heterogeneous Information Network Embedding Framework (YZ, YF, YY, LZ, CS), pp. 549–558.
CIKM-2019-ZhuC0LZ #named #recommendation: DTCDR: A Framework for Dual-Target Cross-Domain Recommendation (FZ, CC, YW0, GL, XZ), pp. 1533–1542.
ECIR-p2-2019-MaityPGBGM #named #recommendation #stack overflow: DeepTagRec: A Content-cum-User Based Tag Recommendation Framework for Stack Overflow (SKM, AP, SG0, AB, PG, AM0), pp. 125–131.
ICML-2019-LeeLKKCT #invariant #network #set: Set Transformer: A Framework for Attention-based Permutation-Invariant Neural Networks (JL, YL, JK, ARK, SC, YWT), pp. 3744–3753.
ICML-2019-LiZWSX #learning: Learn to Grow: A Continual Structure Learning Framework for Overcoming Catastrophic Forgetting (XL, YZ, TW, RS, CX), pp. 3925–3934.
ICML-2019-NayebiMP #embedded #optimisation: A Framework for Bayesian Optimization in Embedded Subspaces (AN, AM, MP), pp. 4752–4761.
ICML-2019-SlimCAV #kernel #named: kernelPSI: a Post-Selection Inference Framework for Nonlinear Variable Selection (LS, CC0, CAA, JPV), pp. 5857–5865.
ICML-2019-YurtseverFC: A Conditional-Gradient-Based Augmented Lagrangian Framework (AY, OF, VC), pp. 7272–7281.
KDD-2019-0009ZGZNQH #graph #named #recommendation #scalability: IntentGC: A Scalable Graph Convolution Framework Fusing Heterogeneous Information for Recommendation (JZ0, ZZ, ZG, WZ0, WN, GQ, XH), pp. 2347–2357.
KDD-2019-AkibaSYOK #named #optimisation: Optuna: A Next-generation Hyperparameter Optimization Framework (TA, SS, TY, TO, MK), pp. 2623–2631.
KDD-2019-ChakrabortyF #identification #robust: A Robust Framework for Accelerated Outcome-driven Risk Factor Identification from EHR (PC, FF), pp. 1800–1808.
KDD-2019-HouCLCY #graph #learning #representation: A Representation Learning Framework for Property Graphs (YH, HC, CL, JC, MCY), pp. 65–73.
KDD-2019-HuNYZ #collaboration #distributed #machine learning #named: FDML: A Collaborative Machine Learning Framework for Distributed Features (YH, DN, JY, SZ), pp. 2232–2240.
KDD-2019-HwangLVGXN #scalability #video: Large-Scale Training Framework for Video Annotation (SJH, JL, BV, AG, ZX, AN), pp. 2394–2402.
KDD-2019-JhaWYWFLCA #named: IRNet: A General Purpose Deep Residual Regression Framework for Materials Discovery (DJ, LTW, ZY, CW, ITF, WkL, ANC, AA), pp. 2385–2393.
KDD-2019-KeXZBL #learning #named #online #predict: DeepGBM: A Deep Learning Framework Distilled by GBDT for Online Prediction Tasks (GK, ZX, JZ, JB0, TYL), pp. 384–394.
KDD-2019-LiSPDJGBHG: A Generalized Framework for Population Based Training (AL, OS, SP, VD, MJ, CG, DB, TH, PG), pp. 1791–1799.
KDD-2019-MaZXLCXWW #comprehension #scalability: Large-scale User Visits Understanding and Forecasting with Deep Spatial-Temporal Tensor Factorization Framework (XM, LZ, LX, ZL, GC, ZX, YW, ZW), pp. 2403–2411.
KDD-2019-MengY0N #induction #named: HATS: A Hierarchical Sequence-Attention Framework for Inductive Set-of-Sets Embeddings (CM, JY, BR0, JN), pp. 783–792.
KDD-2019-SuhrBZGC #case study #platform: Two-Sided Fairness for Repeated Matchings in Two-Sided Markets: A Case Study of a Ride-Hailing Platform (TS, AJB, MZ, KPG, AC), pp. 3082–3092.
KDD-2019-TokuiOANOSSUVV #learning #named #research: Chainer: A Deep Learning Framework for Accelerating the Research Cycle (ST, RO, TA, YN, TO, SS, SS, KU, BV, HYV), pp. 2002–2011.
KDD-2019-WangXLLCDWS #learning #multi #named #network #social: MCNE: An End-to-End Framework for Learning Multiple Conditional Network Representations of Social Network (HW, TX, QL0, DL, EC, DD, HW, WS), pp. 1064–1072.
KDD-2019-Yang #graph #named #network #platform: AliGraph: A Comprehensive Graph Neural Network Platform (HY), pp. 3165–3166.
KDD-2019-ZhaoHYZXY: A Unified Framework for Marketing Budget Allocation (KZ, JH, LY, QZ, HX, CY), pp. 1820–1830.
KDD-2019-ZhouGHZXJLX #collaboration #learning #refinement: A Collaborative Learning Framework to Tag Refinement for Points of Interest (JZ, SG, RH, DZ, JX, AJ, YL, HX), pp. 1752–1761.
ECOOP-2019-MukherjeeRGDRLR #programming #reliability #state machine: Reliable State Machines: A Framework for Programming Reliable Cloud Services (SM, NJR, KG, PD, CR, AL, AR, RK), p. 29.
PADL-2019-Tarau #combinator #proving #testing #theorem proving: A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers (PT), pp. 115–132.
PLDI-2019-GuanSL #named #performance: Wootz: a compiler-based framework for fast CNN pruning via composability (HG, XS, SHL), pp. 717–730.
PLDI-2019-ShullHT #java #named #reachability: AutoPersist: an easy-to-use Java NVM framework based on reachability (TS, JH0, JT), pp. 316–332.
PLDI-2019-ZhuXMJ #induction #learning #synthesis: An inductive synthesis framework for verifiable reinforcement learning (HZ0, ZX, SM, SJ), pp. 686–701.
POPL-2019-TomanG #abstract interpretation #named: Concerto: a framework for combined concrete and abstract interpretation (JT, DG), p. 29.
ASE-2019-ChittimalliAPMP #named #verification: BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules (PKC, KA, SP, SM, CP, RS, RN), pp. 1190–1193.
ASE-2019-DuX000Z #analysis #network: A Quantitative Analysis Framework for Recurrent Neural Network (XD, XX, YL0, LM0, YL0, JZ), pp. 1062–1065.
ASE-2019-GuoCXMHLLZL #deployment #development #empirical #learning #platform #towards: An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms (QG, SC, XX, LM0, QH, HL, YL0, JZ, XL), pp. 810–822.
ASE-2019-Hu0XY0Z #learning #mutation testing #testing: DeepMutation++: A Mutation Testing Framework for Deep Learning Systems (QH, LM0, XX, BY, YL0, JZ), pp. 1158–1161.
ASE-2019-MossbergMHGGFBD #contract #execution #named #symbolic computation: Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts (MM, FM, EH, AG, GG, JF, TB, AD), pp. 1186–1189.
ASE-2019-TankovGB #named: Kotless: A Serverless Framework for Kotlin (VT, YG, TB), pp. 1110–1113.
ESEC-FSE-2019-AnBPY #independence #search-based: PyGGI 2.0: language independent genetic improvement framework (GA, AB, JP, SY), pp. 1100–1104.
ESEC-FSE-2019-CotroneoSLNB #analysis #debugging #empirical #how #in the cloud #platform: How bad can a bug get? an empirical analysis of software failures in the OpenStack cloud computing platform (DC, LDS, PL, RN, NB), pp. 200–211.
ESEC-FSE-2019-GuerreroFJF0MR #agile #development #named: Eagle: a team practices audit framework for agile software development (AG, RF, AJ, AF, PF0, CM, ARC), pp. 1139–1143.
ESEC-FSE-2019-LangP #c++ #case study #model checking: Model checking a C++ software framework: a case study (JL, ISWBP), pp. 1026–1036.
ESEC-FSE-2019-NieRLKMG #execution: A framework for writing trigger-action todo comments in executable format (PN, RR, JJL, SK, RJM, MG), pp. 385–396.
ESEC-FSE-2019-ShiLOXM #automation #named #testing: iFixFlakies: a framework for automatically fixing order-dependent flaky tests (AS, WL, RO, TX, DM), pp. 545–555.
ESEC-FSE-2019-TundoMORGM #as a service #modelling #named: VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud (AT, MM, MO, OR, MG, LM), pp. 1085–1089.
ESEC-FSE-2019-Vandenbogaerde #contract #design #graph: A graph-based framework for analysing the design of smart contracts (BV), pp. 1220–1222.
ICSE-2019-RahmanPW #security #smell: The seven sins: security smells in infrastructure as code scripts (AR, CP, LW), pp. 164–175.
ICSE-2019-ZhuLSG #testing #tool support: A framework for checking regression test selection tools (CZ, OL, AS, MG), pp. 430–441.
SLE-2019-Papoulias #platform: The lands platform: lan.guages and d.omain s.yntax (NP), pp. 66–70.
ASPLOS-2019-0001WZKK #flexibility #memory management #named #performance #persistent #source code #testing: PMTest: A Fast and Flexible Testing Framework for Persistent Memory Programs (SL0, YW, JZ, AK, SMK), pp. 411–425.
ASPLOS-2019-0015ARZMGY #memory management: A Framework for Memory Oversubscription Management in Graphics Processing Units (CL0, RA, CJR, YZ, OM, YG0, JY0), pp. 49–63.
ASPLOS-2019-LehmannP #named: Wasabi: A Framework for Dynamically Analyzing WebAssembly (DL0, MP), pp. 1045–1058.
ASPLOS-2019-RenZYLXQLW #co-evolution #design #multi #named #using: ADMM-NN: An Algorithm-Hardware Co-Design Framework of DNNs Using Alternating Direction Methods of Multipliers (AR, TZ, SY, JL, WX, XQ, XL, YW), pp. 925–938.
ASPLOS-2019-RouhaniCK #named #network: DeepSigns: An End-to-End Watermarking Framework for Ownership Protection of Deep Neural Networks (BDR, HC, FK), pp. 485–497.
ASPLOS-2019-WillseySTVNPBNJ #named #platform: Puddle: A Dynamic, Error-Correcting, Full-Stack Microfluidics Platform (MW, APS, CT, PV, BHN, MP, CB, SN, SJ, KS, LC), pp. 183–197.
ASPLOS-2019-ZhangZWLFZS #performance #scalability: Fast and Scalable VMM Live Upgrade in Large Cloud Infrastructure (XZ, XZ, ZW0, QL0, JF, YZ, YS), pp. 93–105.
ASPLOS-2019-ZhengOZSYC #named #performance #pipes and filters: HiWayLib: A Software Framework for Enabling High Performance Communications for Heterogeneous Pipeline Computations (ZZ, CO, JZ, XS, YY, WC), pp. 153–166.
CASE-2019-BaltaTB #detection #modelling #monitoring #performance: A Digital Twin Framework for Performance Monitoring and Anomaly Detection in Fused Deposition Modeling (ECB, DMT, KB), pp. 823–829.
CASE-2019-HenniSLR #detection: Improved dynamic object detection within evidential grids framework (AHH, AS, RL, NR), pp. 1080–1086.
CASE-2019-KarimDHCS #classification: A Framework for Accurate Time Series Classification Based on Partial Observation (FK, HD, SH, SC, AS), pp. 634–639.
CASE-2019-QamsaneCBKMMTB #evaluation #monitoring #realtime: A Unified Digital Twin Framework for Real-time Monitoring and Evaluation of Smart Manufacturing Systems (YQ, CYC, ECB, BCK, SM, JRM, DMT, KB), pp. 1394–1401.
CASE-2019-TangJ #estimation #platform #simulation: A Simulation Platform for Sensing System Selection for Occupant Distribution Estimation in Smart Buildings (JXT, QSJ), pp. 985–990.
ESOP-2019-FuhsK #dependence #higher-order: A Static Higher-Order Dependency Pair Framework (CF, CK), pp. 752–782.
CAV-2019-KangLT #automation #platform #synthesis: Automated Synthesis of Secure Platform Mappings (EK, SL, ST), pp. 219–237.
CAV-2019-KatzHIJLLSTWZDK #analysis #network #verification: The Marabou Framework for Verification and Analysis of Deep Neural Networks (GK, DAH, DI, KJ, CL, RL, PS, ST, HW0, AZ, DLD, MJK, CWB), pp. 443–452.
ICST-2019-LamOSM0 #detection #named #testing: iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests (WL, RO, AS, DM, TX0), pp. 312–322.
ICST-2019-PanarinBIZZMRGT #automation #named #testing: Poster: ClearTH Test Automation Framework: A Running Example of a DLT-Based Post-Trade System (VP, AB, II, AZ, KZ, MM, AR, AG, ET, ST, RY), pp. 358–362.
ICST-2019-ZhaoLWSH #fuzzing #industrial #learning #named #perspective #protocol: SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective (HZ, ZL, HW, JS, YH), pp. 59–67.
ECSA-2018-BarbosaGMRM #distributed #lightweight #named #platform: Beethoven: An Event-Driven Lightweight Platform for Microservice Orchestration (DMB, RG, PHMM, LSR, NCM), pp. 191–199.
ECSA-2018-BuchgeherWH #architecture #automation #platform #scalability: A Platform for the Automated Provisioning of Architecture Information for Large-Scale Service-Oriented Software Systems (GB, RW, HH), pp. 203–218.
ICSA-2018-GuptaUBDRF #platform #scalability: The Anatomy of a Large-Scale Experimentation Platform (SG, LU, SB, PAD, PR, AF), pp. 1–10.
ICSA-2018-KramerWSR #distributed #platform: A Blockchain-Based Micro Economy Platform for Distributed Infrastructure Initiatives (JK, JMEMvdW, JS, MR), pp. 11–20.
ICSA-2018-LiuBDKRRSH #automation #execution #scalability #simulation #workflow: A Generic and Highly Scalable Framework for the Automation and Execution of Scientific Data Processing and Simulation Workflows (JL, EB, CD, PK, DSR, MR, DS, VH), pp. 145–155.
JCDL-2018-ColeASSCJ #design #learning #platform #research: Designing a Research Platform for Engaged Learning (NC, AAR, RS, CES, SC, RJ), pp. 315–316.
JCDL-2018-KellyNW #web: A Framework for Aggregating Private and Public Web Archives (MK, MLN, MCW), pp. 273–282.
JCDL-2018-ZhouLZ #development: Building a Theoretical Framework for the Development of Digital Scholarship Services in China's Universities (LZ, XL, TZ), pp. 119–122.
EDM-2018-AbhinavSDBV #modelling #named: LeCoRe: A Framework for Modeling Learner's preference (KA, VS, AD, PB, ADV).
EDM-2018-LeeCN #identification #online #platform #video: Identifying User Engagement Patterns in an Online Video Discussion Platform (SYL, HSC, GN).
ICPC-2018-PorkolabB #comprehension: The codecompass comprehension framework (ZP, TB), pp. 393–396.
ICPC-2018-PorkolabBKC #comprehension #industrial #named: Codecompass: an open software comprehension framework for industrial usage (ZP, TB, DK, MC), pp. 361–369.
MSR-2018-BraiekKA08 #machine learning: The open-closed principle of modern machine learning frameworks (HBB, FK, BA), pp. 353–363.
MSR-2018-Chatzidimitriou #named #quality: npm-miner: an infrastructure for measuring the quality of the npm registry (KCC, MDP, TGD, MT, ALS), pp. 42–45.
SANER-2018-MoverSOC #corpus #graph #mining: Mining framework usage graphs from app corpora (SM, SS0, RBPO, BYEC), pp. 277–289.
SANER-2018-RabiserGVBG #comparison #monitoring #runtime: A comparison framework for runtime monitoring approaches (journal-first abstract) (RR, SG, MV, LB, PG), p. 472.
FSCD-2018-AlvesB: A Unifying Framework for Type Inhabitation (SA, SB), p. 16.
SEFM-2018-BabaeeGF #learning #predict #runtime #statistics #using #verification: Prevent : A Predictive Run-Time Verification Framework Using Statistical Learning (RB, AG, SF), pp. 205–220.
SEFM-2018-Balasubramanian #execution #program analysis: A Cloud-Based Execution Framework for Program Analysis (DB, DK, KSL, RK, GK), pp. 139–154.
ICFP-2018-KrebbersJ0TKTCD #interactive #logic #named #proving: MoSeL: a general, extensible modal framework for interactive proofs in separation logic (RK, JHJ, RJ0, JT, JOK, AT, AC, DD), p. 30.
AIIDE-2018-AytemizKHSW #named: Talin: A Framework for Dynamic Tutorials Based on the Skill Atoms Theory (BA, IK, JH, AMS, JW), pp. 138–144.
CIG-2018-ChristiansenNG #multi: Multi-Parameterised Matchmaking: A Framework (AHC, BFN, EG), pp. 1–4.
CIG-2018-KeehlS #game studies: Monster Carlo: An MCTS-based Framework for Machine Playtesting Unity Games (OK, AMS), pp. 1–8.
DiGRA-2018-GaoS #analysis #design #game studies #matter #platform: Does Platform Matter? A Game Design Analysis of Female Engagement in MOBA Games (GG, PCS).
DiGRA-2018-HicksDHG #design #empirical #game studies: Good Game Feel: An Empirically Grounded Framework for Juicy Design (KH, PD, JH, KG).
FDG-2018-Jorgensen #game studies: Media and games: an intermedial framework (IKHJ), p. 10.
FDG-2018-ThompsonS #adaptation #game studies: 'Play your own way': adapting a procedural framework for accessibility (TT, MS), p. 7.
VS-Games-2018-BroadheadDMB #3d #multi: A Multisensory 3D Environment as Intervention to Aid Reading in Dyslexia: A Proposed Framework (MB, DDZ, LMM, LB), pp. 1–4.
VS-Games-2018-MertNDMD #game studies: A Medical Serious Games Framework Hierarchy for Validity (AM, TCWN, BD, HM, MD), pp. 1–2.
CIKM-2018-0002B #named: GYANI: An Indexing Infrastructure for Knowledge-Centric Tasks (DG0, KB), pp. 487–496.
CIKM-2018-AminiNPGYK #authentication #mobile #named: DeepAuth: A Framework for Continuous User Re-authentication in Mobile Apps (SA, VN, AP, SG, PSY, CK), pp. 2027–2035.
CIKM-2018-ChaeKKL #collaboration #generative #named #network: CFGAN: A Generic Collaborative Filtering Framework based on Generative Adversarial Networks (DKC, JSK, SWK, JTL), pp. 137–146.
CIKM-2018-ChenXM #detection #social #social media: An Encoder-Memory-Decoder Framework for Sub-Event Detection in Social Media (GC, NX, WM), pp. 1575–1578.
CIKM-2018-HuNY #linear #performance #predict: A Fast Linear Computational Framework for User Action Prediction in Tencent MyApp (YH, DN, JY), pp. 2047–2055.
CIKM-2018-KenthapadiT #named #privacy: PriPeARL: A Framework for Privacy-Preserving Analytics and Reporting at LinkedIn (KK, TTLT), pp. 2183–2191.
CIKM-2018-LiYYZ #algorithm: A Two-Layer Algorithmic Framework for Service Provider Configuration and Planning with Optimal Spatial Matching (XL, JY, MY, JZ), pp. 2273–2281.
CIKM-2018-NimishakaviMGT #induction #multi #streaming: Inductive Framework for Multi-Aspect Streaming Tensor Completion with Side Information (MN, BM, MG, PPT), pp. 307–316.
CIKM-2018-PalottiZH #evaluation #multi #named: MM: A new Framework for Multidimensional Evaluation of Search Engines (JRMP, GZ, AH), pp. 1699–1702.
CIKM-2018-PapalexakisP #multi #named: tHoops: A Multi-Aspect Analytical Framework for Spatio-Temporal Basketball Data (EEP, KP), pp. 2223–2232.
CIKM-2018-TiwariM #classification #towards: Towards a Quantum-Inspired Framework for Binary Classification (PT, MM), pp. 1815–1818.
CIKM-2018-WangLGBN #metric #optimisation #ranking: The LambdaLoss Framework for Ranking Metric Optimization (XW, CL0, NG, MB, MN), pp. 1313–1322.
CIKM-2018-ZhuLYZ0W #learning #predict: A Supervised Learning Framework for Prediction of Incompatible Herb Pair in Traditional Chinese Medicine (JZ, YL, SY, SZ, ZY0, CW), pp. 1799–1802.
ICML-2018-ChowdhuryYD #sketching: An Iterative, Sketching-based Framework for Ridge Regression (AC, JY, PD), pp. 988–997.
ICML-2018-JawanpuriaM #learning #matrix #rank: A Unified Framework for Structured Low-rank Matrix Learning (PJ, BM), pp. 2259–2268.
ICML-2018-KangarshahiHSC #game studies: Let's be Honest: An Optimal No-Regret Framework for Zero-Sum Games (EAK, YPH, MFS, VC), pp. 2493–2501.
ICML-2018-KolarijaniEK #exponential #hybrid #performance: Fast Gradient-Based Methods with Exponential Rate: A Hybrid Control Framework (ASK, PME, TK), pp. 2733–2741.
ICML-2018-LanCS #analysis #estimation: An Estimation and Analysis Framework for the Rasch Model (ASL, MC, CS), pp. 2889–2897.
ICML-2018-NguyenRF #performance #robust #testing: Active Testing: An Efficient and Robust Framework for Estimating Accuracy (PXN, DR, CCF), pp. 3756–3765.
ICML-2018-OkunoHS #learning #multi #network #probability: A probabilistic framework for multi-view feature learning with many-to-many associations via neural networks (AO, TH, HS), pp. 3885–3894.
ICML-2018-Schwarz0LGTPH #learning #scalability: Progress & Compress: A scalable framework for continual learning (JS, WC0, JL, AGB, YWT, RP, RH), pp. 4535–4544.
ICML-2018-ShenSWLZ #algorithm #hybrid #metric: An Algorithmic Framework of Variable Metric Over-Relaxed Hybrid Proximal Extra-Gradient Method (LS, PS, YW, WL0, TZ0), pp. 4641–4650.
ICML-2018-YurtseverFLC #programming: A Conditional Gradient Framework for Composite Convex Minimization with Applications to Semidefinite Programming (AY, OF, FL, VC), pp. 5713–5722.
ICPR-2018-AntensteinerSP #3d #multi #precise: Variational Fusion of Light Field and Photometric Stereo for Precise 3D Sensing within a Multi-Line Scan Framework (DA, SS, TP), pp. 1036–1042.
ICPR-2018-BhaskaruniML #predict #testing: Estimating Prediction Qualities without Ground Truth: A Revisit of the Reverse Testing Framework (DB, FPM, CL), pp. 49–54.
ICPR-2018-DingLZ #detection: A Selective Tracking and Detection Framework with Target Enhanced Feature (XD, LL, XZ), pp. 1924–1928.
ICPR-2018-El-GamalEAGBHKE #using: Significant Region-Based Framework for Early Diagnosis of Alzheimer's Disease Using 11C PiB-PET Scans (FEZAEG, MME, AA, MG, GNB, HH, RK, ASEB), pp. 2989–2994.
ICPR-2018-ElmogyZEE #3d #automation #classification #network: An Automated Classification Framework for Pressure Ulcer Tissues Based on 3D Convolutional Neural Network (ME, BGZ, ASE, AEB), pp. 2356–2361.
ICPR-2018-LiuLKDYZYJY #classification #collaboration #optimisation #representation: A joint optimization framework of low-dimensional projection and collaborative representation for discriminative classification (XL0, ZL, LK, ZD, JY, YZ, CY0, PJ, JY), pp. 1493–1498.
ICPR-2018-LiWK18a #image #learning #using: Infrared and Visible Image Fusion using a Deep Learning Framework (HL0, XJW, JK), pp. 2705–2710.
ICPR-2018-SuiZYC #detection #learning #novel #recognition: A Novel Integrated Framework for Learning both Text Detection and Recognition (WS, QZ, JY, WC), pp. 2233–2238.
ICPR-2018-XuXZHCZDNW #estimation #hybrid: A Hybrid Framework for Tumor Saliency Estimation (FX, MX, YZ, KH, HDC, BZ, JD, CN, YW), pp. 3935–3940.
ICPR-2018-Yan0R #classification #performance #representation #scalability: An Efficient Deep Representation Based Framework for Large-Scale Terrain Classification (YY, AR0, SR), pp. 940–945.
ICPR-2018-ZhangLWCZ #automation #image #multimodal #set: An Automated Point Set Registration Framework for Multimodal Retinal Image (HZ, XL, GW, YC, WZ), pp. 2857–2862.
KDD-2018-AckermannWUNRLB #machine learning #modelling #policy: Deploying Machine Learning Models for Public Policy: A Framework (KA, JW, ADU, HN, ANR, SJL, JB, MD, CC, LH, RG), pp. 15–22.
KDD-2018-DingLBZL #named: Investor-Imitator: A Framework for Trading Knowledge Extraction (YD, WL, JB0, DZ, TYL), pp. 1310–1319.
KDD-2018-KochGGWGX #named #optimisation: Autotune: A Derivative-free Optimization Framework for Hyperparameter Tuning (PK, OG, SG, BW, JG, YX), pp. 443–452.
KDD-2018-OshriHACDWBLE #assessment #learning #quality #using: Infrastructure Quality Assessment in Africa using Satellite Imagery and Deep Learning (BO, AH, PA, XC, PD, JW, MB, DBL, SE), pp. 616–625.
KDD-2018-RaoTL #comprehension #learning #multi #network #platform #query: Multi-Task Learning with Neural Networks for Voice Query Understanding on an Entertainment Platform (JR, FT, JL), pp. 636–645.
KDD-2018-SachanX #parsing #source code: Parsing to Programs: A Framework for Situated QA (MS, EPX), pp. 2140–2149.
KDD-2018-ShenLOLZC #named #network #novel #predict: StepDeep: A Novel Spatial-temporal Mobility Event Prediction Framework based on Deep Neural Network (BS, XL, YO, ML, WZ, KMC), pp. 724–733.
KDD-2018-StaarDAB #corpus #documentation #machine learning #platform #scalability: Corpus Conversion Service: A Machine Learning Platform to Ingest Documents at Scale (PWJS, MD, CA, CB), pp. 774–782.
KDD-2018-TaoXGLFZ #detection #game studies #named: NGUARD: A Game Bot Detection Framework for NetEase MMORPGs (JT, JX, LG, YL, CF, ZZ), pp. 811–820.
KDD-2018-Valdez-VivasGKF #detection #distributed #performance #realtime: A Real-time Framework for Detecting Efficiency Regressions in a Globally Distributed Codebase (MVV, CG, AK, EF, KG, SC), pp. 821–829.
KDD-2018-ZhaoSWZN0 #named #rest: REST: A Reference-based Framework for Spatio-temporal Trajectory Compression (YZ0, SS, YW, BZ, QVHN, KZ0), pp. 2797–2806.
KDD-2018-ZhuLYQLZZWXC #generative #music: XiaoIce Band: A Melody and Arrangement Generation Framework for Pop Music (HZ, QL0, NJY, CQ, JL, KZ, GZ, FW, YX, EC), pp. 2837–2846.
ECMFA-2018-BarmpisKH #execution #natural language #towards: Towards a Framework for Writing Executable Natural Language Rules (KB, DSK, JH), pp. 251–263.
ICMT-2018-Boronat #atl #execution #prototype #semantics: A Formal Framework for Prototyping Executable Semantics in ATL (AB), pp. 157–172.
ICMT-2018-Hinkel #modelling #multi #named #platform: NMF: A Multi-platform Modeling Framework (GH), pp. 184–194.
MoDELS-2018-EderBVIK #architecture #automation #deployment #distributed #hardware #synthesis: From Deployment to Platform Exploration: Automatic Synthesis of Distributed Automotive Hardware Architectures (JE, AB, SV, AI, MK), pp. 438–446.
MoDELS-2018-Rodriguez-Echeverria #modelling #protocol #towards #visual notation: Towards a Language Server Protocol Infrastructure for Graphical Modeling (RRE, JLCI, MW, JC), pp. 370–380.
MoDELS-2018-ShinCNSBZ #analysis #named #physics #testing #uml: HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems (SYS, KC, SN, MS, LCB, FZ), pp. 357–367.
OOPSLA-2018-LeissaBHPMSMS #library #named #partial evaluation #programming: AnyDSL: a partial evaluation framework for programming high-performance libraries (RL, KB, SH, APG, RM, PS, AM, BS), p. 30.
OOPSLA-2018-LiZ #security: A derivation framework for dependent security label inference (PL, DZ), p. 26.
OOPSLA-2018-MendisA #named #parallel: goSLP: globally optimized superword level parallelism framework (CM, SPA), p. 28.
OOPSLA-2018-PadhiJPPGM #named: FlashProfile: a framework for synthesizing data profiles (SP, PJ0, DP, OP, SG, TDM), p. 28.
PADL-2018-CatalanoLRRV #development #tool support: A REST-Based Development Framework for ASP: Tools and Application (GC, GL, KR, FR, PV), pp. 161–169.
PLDI-2018-WangHR #algebra #named #probability #source code #static analysis: PMAF: an algebraic framework for static analysis of probabilistic programs (DW, JH0, TWR), pp. 513–528.
PPDP-2018-Gardner #javascript #named #testing #verification: JaVerT: JavaScript Verification and Testing Framework: Invited Talk (PG), p. 4.
PPDP-2018-GreweEPM #automation #proving #theorem proving: System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers (SG, SE, AP, MM), p. 10.
ASE-2018-BorgesHZ #android #generative #named #platform #testing: DroidMate-2: a platform for Android test generation (NPBJ, JH, AZ), pp. 916–919.
ASE-2018-ChenZ #retrieval #source code #summary: A neural framework for retrieval and summarization of source code (QC, MZ), pp. 826–831.
ASE-2018-HelmKERM #analysis: A unified lattice model and framework for purity analyses (DH, FK, ME, MR, MM), pp. 340–350.
ASE-2018-MonteiroGCF #bound #c++ #model checking #platform #source code: Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract) (FRM, MAPG, LCC, EBdLF), p. 954.
ASE-2018-RoohitavafK #agile #distributed #named #prototype: DKVF: a framework for rapid prototyping and evaluating distributed key-value stores (MR, SSK), pp. 912–915.
ASE-2018-SungPW #analysis #named: CANAL: a cache timing analysis framework via LLVM transformation (CS, BP, CW0), pp. 904–907.
ASE-2018-Traini #distributed #effectiveness #fault #injection #multi #performance: A multi-objective framework for effective performance fault injection in distributed systems (LT), pp. 936–939.
ASE-2018-ZhangZZ0K #named #testing #validation: DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems (MZ, YZ, LZ, CL0, SK), pp. 132–142.
ESEC-FSE-2018-ChenLCXL #configuration management #fuzzing #named: FOT: a versatile, configurable, extensible fuzzing framework (HC, YL, BC0, YX, YL0), pp. 867–870.
ESEC-FSE-2018-Meijer #concept #learning #programming language: Behind every great deep learning framework is an even greater programming languages concept (keynote) (EM0), p. 1.
ESEC-FSE-2018-SpadiniAB #mining #named #python #repository: PyDriller: Python framework for mining software repositories (DS, MFA, AB), pp. 908–911.
ESEC-FSE-2018-WangSMK #alloy #named #sketching: ASketch: a sketching framework for Alloy (KW, AS, DM, SK), pp. 916–919.
ICSE-2018-LangeNTY #behaviour #message passing #using #verification: A static verification framework for message passing in Go using behavioural types (JL, NN, BT, NY), pp. 1137–1148.
ICSE-2018-LinBH #empirical #game studies #platform: An empirical study of early access games on the steam platform (DL, CPB, AEH), p. 480.
ICSE-2018-RamasubbuK #process #quality #technical debt #testing: Integrating technical debt management and software quality management processes: a framework and field tests (NR, CFK), p. 883.
ICSE-2018-RuscioFMM #classification #collaboration #modelling #re-engineering #research: Collaborative model-driven software engineering: a classification framework and a research map (DDR, MF, HM, IM), p. 535.
ICSE-2018-SadeghiJGBM #analysis #android: A temporal permission analysis and enforcement framework for Android (AS, RJ, NG, HB, SM), pp. 846–857.
SLE-2018-Stromback #named #platform: Storm: a language platform for interacting and extensible languages (FS), pp. 60–64.
CASE-2018-BaltaTB: A Centralized Framework for System-Level Control and Management of Additive Manufacturing Fleets (ECB, DMT, KB), pp. 1071–1078.
CASE-2018-CecilAC #assembly #cyber-physical #industrial: An Industry 4.0 Cyber-Physical Framework for Micro Devices Assembly (JC, SA, ACX), pp. 427–432.
CASE-2018-GuptaCP #artificial reality #physics #simulation: A Virtual Reality enhanced Cyber Physical Framework to support Simulation based Training of Orthopedic Surgical Procedures (AG, JC, MPC), pp. 433–438.
CASE-2018-KronthalerW #modelling #platform #precise: Model based control of a high precision dual gantry platform with elastic cross coupling (PK, FW), pp. 491–498.
CASE-2018-PetitRHH #assembly: A virtual capture framework for assembly tasks (DP, IGRA, QH, KH), pp. 1618–1623.
CASE-2018-ScholzEMGH #composition #configuration management #knowledge-based: Smart modular reconfigurable fully-digital manufacturing system with a knowledge-based framework: example of a fabrication of microfluidic chips (SS, AE, TM, UG, VH), pp. 1012–1017.
CASE-2018-TangWWWLT #named: RobCutt: A Framework of Underwater Biomimetic Vehicle-Manipulator System for Autonomous Interventions (CT0, RW0, YW0, SW0, UFvL, MT0), pp. 477–482.
CC-2018-ZhaoK0 #bound #compilation: A polyhedral compilation framework for loops with dynamic data-dependent bounds (JZ0, MK, AC0), pp. 14–24.
CGO-2018-CostaA #named #performance: CollectionSwitch: a framework for efficient and dynamic collection selection (DC0, AA0), pp. 16–26.
ESOP-2018-UrbanM #abstract interpretation: An Abstract Interpretation Framework for Input Data Usage (CU, PM0), pp. 683–710.
FASE-2018-ChenHYCKX #named #testing: CRETE: A Versatile Binary-Level Concolic Testing Framework (BC0, CH, ZY, KC, RK, FX), pp. 281–298.
FASE-2018-ParkSR #analysis #using #web: EventHandler-Based Analysis Framework for Web Apps Using Dynamically Collected States (JP, KS, SR), pp. 129–145.
FASE-2018-TaentzerKPK #incremental #slicing: A Formal Framework for Incremental Model Slicing (GT, TK, CP, UK), pp. 3–20.
ICST-2018-HodovanK #composition #named #open source #random testing #testing: Fuzzinator: An Open-Source Modular Random Testing Framework (RH, ÁK0), pp. 416–421.
ICST-2018-Rahman: Anti-Patterns in Infrastructure as Code (AR), pp. 434–435.
ICST-2018-RayROMO #energy #security #testing: Bluetooth Low Energy Devices Security Testing Framework (AR, VR, MO, AM, SO), pp. 384–393.
ICST-2018-SchwarzlH #low cost #platform #testing: Systematic Test Platform Selection: Reducing Costs for Testing Software-Based Automotive E/E Systems (CS, JH), pp. 374–383.
ICTSS-2018-MizumotoEYH #energy #testing: An Energy Aware Testing Framework for Smart-Spaces (TM, KEF, KY, TH), pp. 85–101.
IJCAR-2018-EchenimPS #generative #modulo theories: A Generic Framework for Implicate Generation Modulo Theories (ME, NP, YS), pp. 279–294.
IJCAR-2018-HernandezK #abstraction #reasoning #scalability: An Abstraction-Refinement Framework for Reasoning with Large Theories (JCLH, KK), pp. 663–679.
IJCAR-2018-HirokawaNM #confluence #tool support: Cops and CoCoWeb: Infrastructure for Confluence Tools (NH, JN, AM), pp. 346–353.
IJCAR-2018-KanovichKNS #commutative #logic: A Logical Framework with Commutative and Non-commutative Subexponentials (MIK, SK, VN, AS), pp. 228–245.
IJCAR-2018-MelquiondR #algorithm #proving #why: A Why3 Framework for Reflection Proofs and Its Application to GMP's Algorithms (GM, RRH), pp. 178–193.
VMCAI-2018-ButlerTP #design #domain model #education #modelling: A Framework for Computer-Aided Design of Educational Domain Models (EB, ET, ZP), pp. 138–160.
VMCAI-2018-TitoloFMM #abstract interpretation #analysis #fault #float #source code: An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs (LT, MAF, MMM, CAM), pp. 516–537.
ECSA-2017-SharafAMA #architecture #cyber-physical #modelling #simulation: An Architecture Framework for Modelling and Simulation of Situational-Aware Cyber-Physical Systems (MS, MA, HM, MA), pp. 95–111.
ICSA-2017-HauptLSV #analysis #api #rest: A Framework for the Structural Analysis of REST APIs (FH, FL, AS, KVH), pp. 55–58.
ICSA-2017-RoyMRSW #analysis #architecture #towards: Towards a Reference Architecture for Cloud-Based Plant Genotyping and Phenotyping Analysis Frameworks (BR, AKM, CKR, KAS, KW), pp. 41–50.
JCDL-2017-CastroCWPF #platform #semistructured data #using: Classifying Short Unstructured Data Using the Apache Spark Platform (EPSC, SC, EW, DAP, EAF), pp. 129–138.
JCDL-2017-ColeAM #case study #named: Quill: A Framework for Constructing Negotiated Texts - With a Case Study on the US Constitutional Convention of 1787 (NC, AAR, GM), pp. 79–88.
EDM-2017-Albrecht #estimation #programming #student: A Framework for the Estimation of Students' Programming Abilities (EA).
EDM-2017-AndresBSGSC #replication #scalability #using: Studying MOOC Completion at Scale Using the MOOC Replication Framework (JMLA, RSB, GS, DG, CAS, SAC).
EDM-2017-KuangCHN #analysis #network #platform #social #topic: A Topic Model and Social Network Analysis of a School Blogging Platform (XK, HSC, BH, GN).
EDM-2017-ZhuLW0 #automation #effectiveness #generative #ranking #topic: An Effective Framework for Automatically Generating and Ranking Topics in MOOC Videos (JZ, XL, ZW, MZ0).
ICSME-2017-AsaduzzamanRSH #recommendation: Recommending Framework Extension Examples (MA, CKR, KAS, DH), pp. 456–466.
MSR-2017-TiwariUNR #mining #named #platform #repository #tool support: Candoia: a platform for building and sharing mining software repositories tools as apps (NMT, GU, HAN, HR), pp. 53–63.
SANER-2017-AnMKA #platform #question #stack overflow: Stack Overflow: A code laundering platform? (LA, OM, FK, GA), pp. 283–293.
SANER-2017-GhafariM #recommendation #source code: A framework for classifying and comparing source code recommendation systems (MG, HM), pp. 555–556.
SANER-2017-HeLWW #adaptation #optimisation #search-based #self: Self-adaptive systems framework based on agent and search-based optimization (LH, QL, LW, JW), pp. 557–558.
SCAM-2017-SayaghDAA #developer #empirical #java #matter: Does the Choice of Configuration Framework Matter for Developers? Empirical Study on 11 Java Configuration Frameworks (MS, ZD0, AA0, BA), pp. 41–50.
FSCD-2017-LicataSR #logic: A Fibrational Framework for Substructural and Modal Logics (DRL, MS, MR), p. 22.
SEFM-2017-LeildeRTD #verification: A Diagnosis Framework for Critical Systems Verification (Short Paper) (VL, VR, CT, PD), pp. 394–400.
SEFM-2017-LutebergetCJS #representation #verification: Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL (BL, JJC, CJ, GS), pp. 87–103.
ICFP-2017-ChoiVSCA #composition #hardware #named #parametricity #platform #specification #verification: Kami: a platform for high-level parametric hardware specification and its modular verification (JC, MV, BS, AC, A), p. 30.
ICFP-2017-EbnerURAM #metaprogramming #verification: A metaprogramming framework for formal verification (GE, SU0, JR, JA, LdM), p. 29.
ICFP-2017-Winograd-CortHR #adaptation #difference #privacy: A framework for adaptive differential privacy (DWC, AH, AR0, BCP), p. 29.
AIIDE-2017-Horn #education #game studies #generative: A Skill-Based Framework for the Generation and Presentation of Educational Videogame Content (BH), pp. 292–294.
CHI-PLAY-2017-SharmaADT #artificial reality #game studies: A Framework Supporting Selecting Space to Make Place in Spatial Mixed Reality Play (HNS, SAA, ID, ZOT), pp. 83–100.
CHI-PLAY-2017-TondelloWORN #game studies #taxonomy: A Framework and Taxonomy of Videogame Playing Preferences (GFT, RRW, RO, GR, LEN), pp. 329–340.
DiGRA-2017-Zagal #game studies: War Ethics: A Framework for Analyzing Videogames (JPZ).
FDG-2017-KaoH #education #named #platform: MazeStar: a platform for studying virtual identity and computer science education (DK, DFH), p. 6.
FDG-2017-SiuZR #game studies: A framework for exploring and evaluating mechanics in human computation games (KS, AZ, MOR), p. 4.
VS-Games-2017-DiasKDBCHSFIDGH #game studies #personalisation: Serious games as a means for holistically supporting Parkinson's Disease patients: The i-PROGNOSIS personalized game suite framework (SBD, EK, JAD, PDB, VSC, SH, MS, PF, II, KD, NG, LJH), pp. 237–244.
VS-Games-2017-Grammatikopoulou #adaptation #game studies: An adaptive framework for the creation of bodymotion-based games (AG, SL, OS, KD, NG), pp. 209–216.
VS-Games-2017-SpyridonisZP #design #gamification: The gamification of accessibility design: A proposed framework (FS, DDZ, ITP), pp. 233–236.
CIKM-2017-ChenXLDTCP #named #network: HotSpots: Failure Cascades on Heterogeneous Critical Infrastructure Networks (LC, XX, SL, SD, AGT, SC, BAP), pp. 1599–1607.
CIKM-2017-KangJCBK #execution: A Framework for Estimating Execution Times of IO Traces on SSDs (YK, YYJ, JC, WDB, SWK), pp. 2123–2126.
CIKM-2017-KhoaAW #analysis #incremental #maintenance #using: Smart Infrastructure Maintenance Using Incremental Tensor Analysis: Extended Abstract (NLDK, AA, YW), pp. 959–967.
CIKM-2017-LiHPG #detection #machine learning #named: DeMalC: A Feature-rich Machine Learning Framework for Malicious Call Detection (YL, DH, AP, ZG), pp. 1559–1567.
CIKM-2017-LimLH #interactive #named #twitter: iFACT: An Interactive Framework to Assess Claims from Tweets (WYL, MLL, WH), pp. 787–796.
CIKM-2017-LiuH #adaptation #multi #personalisation #predict: A Personalized Predictive Framework for Multivariate Clinical Time Series via Adaptive Model Selection (ZL, MH), pp. 1169–1177.
CIKM-2017-ManotumruksaMO #collaboration #recommendation: A Deep Recurrent Collaborative Filtering Framework for Venue Recommendation (JM, CM, IO), pp. 1429–1438.
CIKM-2017-ManotumruksaMO17a #multi #personalisation #ranking #recommendation: A Personalised Ranking Framework with Multiple Sampling Criteria for Venue Recommendation (JM, CM, IO), pp. 1469–1478.
CIKM-2017-PersiaBH #detection #interactive #modelling #video: An Interactive Framework for Video Surveillance Event Detection and Modeling (FP, FB, SH), pp. 2515–2518.
CIKM-2017-PonzaFC #wiki: A Two-Stage Framework for Computing Entity Relatedness in Wikipedia (MP, PF, SC), pp. 1867–1876.
CIKM-2017-QuTSR00 #collaboration #learning #multi #network #representation: An Attention-based Collaboration Framework for Multi-View Network Representation Learning (MQ, JT0, JS, XR, MZ0, JH0), pp. 1767–1776.
CIKM-2017-ShaikhK #analysis #named: StreamingCube: A Unified Framework for Stream Processing and OLAP Analysis (SAS, HK), pp. 2527–2530.
CIKM-2017-ZohrevandGTSSS #learning: Deep Learning Based Forecasting of Critical Infrastructure Data (ZZ, UG, MAT, HYS, MS, AYS), pp. 1129–1138.
ECIR-2017-Recalde #recommendation #set #social: A Social Framework for Set Recommendation in Group Recommender Systems (LR), pp. 735–743.
ECIR-2017-ZagheliAS #feedback #modelling #recommendation: Negative Feedback in the Language Modeling Framework for Text Recommendation (HRZ, MA, AS), pp. 662–668.
ICML-2017-AppelP #empirical #multi: A Simple Multi-Class Boosting Framework with Theoretical Guarantees and Empirical Proficiency (RA, PP), pp. 186–194.
ICML-2017-MachadoBB #learning: A Laplacian Framework for Option Discovery in Reinforcement Learning (MCM, MGB, MHB), pp. 2295–2304.
ICML-2017-ShiKFHL #platform: World of Bits: An Open-Domain Platform for Web-Based Agents (TS, AK, LF, JH, PL), pp. 3135–3144.
ICML-2017-WangZG #matrix #rank: A Unified Variance Reduction-Based Framework for Nonconvex Low-Rank Matrix Recovery (LW, XZ, QG), pp. 3712–3721.
KDD-2017-BaylorBCFFHHIJK #machine learning #named #platform: TFX: A TensorFlow-Based Production-Scale Machine Learning Platform (DB, EB, HTC, NF, CYF, ZH, SH, MI, VJ, LK0, CYK, LL, CM, ANM, NP, SR, SR0, SEW, MW, JW, XZ, MZ), pp. 1387–1395.
KDD-2017-ChengHHIMPRSSST #flexibility #machine learning: TensorFlow Estimators: Managing Simplicity vs. Flexibility in High-Level Machine Learning Frameworks (HTC, ZH, LH, MI, CM, IP, GR, DS, JS, DS, YT, PT, MW, CX, JX), pp. 1763–1771.
KDD-2017-EpastoLL #clustering: Ego-Splitting Framework: from Non-Overlapping to Overlapping Clusters (AE, SL, RPL), pp. 145–154.
KDD-2017-GanH #data mining #mining #scalability: A Data Mining Framework for Valuing Large Portfolios of Variable Annuities (GG, JXH), pp. 1467–1475.
KDD-2017-LiJZXLZZWZWXB #analysis #named #platform: FLAP: An End-to-End Event Log Analysis Platform for System Management (TL0, YJ, CZ, BX0, ZL0, WZ, XZ, WW0, LZ, JW, LX, DB), pp. 1547–1556.
KDD-2017-McNamaraVY #feature model #multimodal: Developing a Comprehensive Framework for Multimodal Feature Extraction (QM, AdlV, TY), pp. 1567–1574.
KDD-2017-WangJY #hybrid #modelling: A Hybrid Framework for Text Modeling with Convolutional RNN (CW, FJ, HY), pp. 2061–2069.
KDD-2017-YangDSZFXBM #data-driven #process #recommendation: A Data-driven Process Recommender Framework (SY, XD, LS, YZ, RAF, HX, RSB, IM), pp. 2111–2120.
KDD-2017-YuCSZY #behaviour #social: A Temporally Heterogeneous Survival Framework with Application to Social Behavior Dynamics (LY, PC0, CS, TZ, SY), pp. 1295–1304.
BX-2017-AnjorinDJKLW #benchmark #bidirectional #metric: BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations (AA, ZD, FJ, HSK, EL, BW), pp. 15–30.
MoDELS-2017-TaentzerSSC #category theory #product line: Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory (GT, RS, DS, MC), pp. 101–111.
ECOOP-2017-ZhangO #named #programming language #reuse #visitor: EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (WZ, BCdSO), p. 32.
OOPSLA-2017-KaminskiKCW #automation #composition #reliability: Reliable and automatic composition of language extensions to C: the ableC extensible language framework (TK, LK, TC, EVW), p. 29.
OOPSLA-2017-SakkaS0 #named #recursion #traversal: TreeFuser: a framework for analyzing and fusing general recursive tree traversals (LS, KS, MK0), p. 30.
AdaEurope-2017-BurnsB #migration: Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework (AB, SB), pp. 203–216.
PLDI-2017-AbdullaACDHRR #analysis #constraints #performance #string: Flatten and conquer: a framework for efficient analysis of string constraints (PAA, MFA, YFC, BPD, LH, AR, PR), pp. 602–617.
PLDI-2017-BornholtT #memory management #modelling #sketching #testing: Synthesizing memory models from framework sketches and Litmus tests (JB, ET), pp. 467–481.
PPDP-2017-BartakM #attribute grammar #constraints #domain model #modelling #set: Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models (RB, AM), pp. 39–48.
SAS-2017-MastroeniP #semantics #verification: Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification (IM, MP), pp. 232–252.
SAS-2017-SharmaR #abstraction: A New Abstraction Framework for Affine Transformers (TS, TWR), pp. 342–363.
ASE-2017-AsaduzzamanRSH #named #recommendation: FEMIR: a tool for recommending framework extension examples (MA, CKR, KAS, DH), pp. 967–972.
ASE-2017-CorradiniFP0TV #modelling #named #process #verification: BProVe: a formal verification framework for business process models (FC, FF, AP, BR0, FT, AV), pp. 217–228.
ASE-2017-DanielJSC #model transformation #named #scalability: Gremlin-ATL: a scalable model transformation framework (GD, FJ, GS, JC), pp. 462–472.
ASE-2017-ErataGGSLTKM #documentation #named #platform: ModelWriter: text and model-synchronized document engineering platform (FE, CG, BG, AS, YL, BT, GK, AM), pp. 907–912.
ESEC-FSE-2017-DebreceniBBRV #collaboration #modelling #version control: The MONDO collaboration framework: secure collaborative modeling over existing version control systems (CD, GB, MB, IR, DV), pp. 984–988.
ESEC-FSE-2017-DovgalyukFVM #virtual machine: QEMU-based framework for non-intrusive virtual machine instrumentation and introspection (PD, NF, IV, VM), pp. 944–948.
ESEC-FSE-2017-JabbarvandM #android #energy #mutation testing #named #testing: µDroid: an energy-aware mutation testing framework for Android (RJ, SM), pp. 208–219.
ESEC-FSE-2017-SahaGMM #natural language #platform #query: Natural language querying in SAP-ERP platform (DS, NG, SM, BM), pp. 878–883.
ESEC-FSE-2017-WuY #android #kernel #named: LaChouTi: kernel vulnerability responding framework for the fragmented Android devices (JW, MY), pp. 920–925.
ICSE-2017-ChristakisEG0 #injection: A general framework for dynamic stub injection (MC, PE, PG, PM0), pp. 586–596.
CASE-2017-BaltaJLTBM #as a service: Production as a service: A centralized framework for small batch manufacturing (ECB, KJ, YL, DMT, KB, ZMM), pp. 382–389.
CASE-2017-BaoYZ #cyber-physical: A framework of cyber-physical system for smart cotton production (JB, SY, XZ), pp. 67–73.
CASE-2017-CecilCG #collaboration #distributed #generative #physics: Foundational elements of next generation cyber physical and IoT frameworks for distributed collaboration (JC, ACX, AG), pp. 789–794.
CASE-2017-GuoYGY #automation: Optimal motion planning and control of a crack filling robot for civil infrastructure automation (CG, KY, YG, JY), pp. 1463–1468.
CASE-2017-KhanAK #assembly #data-driven #design #integration #visualisation: Integration and visualization framework for data-driven resistance spot welded assembly design (MTHK, FA, KYK), pp. 470–475.
CASE-2017-KhanFF #automation #generative #logic #safety: Virtual engineering framework for automatic generation of control logic including safety (AK, PF, MF), pp. 648–653.
CASE-2017-KongLYZH #e-commerce #physics #platform: Physical internet-enabled E-commerce logistics park platform (XTRK, ML0, YY, ZZ, GQH), pp. 406–411.
CASE-2017-LiuJL #assurance #social: A framework of credit assurance mechanism for manufacturing services under social manufacturing context (JL, PJ, JL), pp. 36–40.
CASE-2017-MaP #modelling #programmable #testing: A model-based testing framework with reduced set of test cases for programmable controllers (CM, JP), pp. 944–949.
CASE-2017-SunLZJ #functional #learning #using: Exploring functional variant using a deep learning framework (TS, ZL, XMZ, RJ), pp. 98–99.
CASE-2017-ZengBLHZZ #design #energy #platform: Annual renewable energy planning platform: Methodology and design (FZ, ZB, XL, ZH, YZ, YZ), pp. 1392–1397.
CC-2017-FedericoPA #analysis #bound: rev.ng: a unified binary analysis framework to recover CFGs and function boundaries (ADF, MP, GA), pp. 131–141.
CGO-2017-JohnsonFBOJA #analysis #collaboration #dependence: A collaborative dependence analysis framework (NPJ, JF, SRB, TO, TBJ, DIA), pp. 148–159.
ESOP-2017-GeorgesMOP #linear #logic #named: LINCX: A Linear Logical Framework with First-Class Contexts (ALG, AM, SO, BP), pp. 530–555.
CADE-2017-PapapanagiotouF #composition #named #process #specification #workflow: WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition (PP, JDF), pp. 357–370.
CAV-2017-FaymonvilleFT #bound #named #synthesis: BoSy: An Experimentation Framework for Bounded Synthesis (PF, BF, LT), pp. 325–332.
CSL-2017-HeerdtS0 #automaton #category theory #learning #named: CALF: Categorical Automata Learning Framework (GvH, MS, AS0), p. 24.
ICST-2017-ArcainiGR17a #model checking #named: NuSeen: A Tool Framework for the NuSMV Model Checker (PA, AG, ER), pp. 476–483.
ICST-2017-FazziniFCO #android #encoding #independence #named #platform #testing: Barista: A Technique for Recording, Encoding, and Running Platform Independent Android Tests (MF, ENdAF, SRC, AO), pp. 149–160.
ICST-2017-JeongLKKH #embedded #fault #injection #kernel #linux #named: FIFA: A Kernel-Level Fault Injection Framework for ARM-Based Embedded Linux System (EJ, NL, JK, DK, SH), pp. 23–34.
ICTSS-2017-SimosBDGKLW #combinator #execution #testing #using: Testing TLS Using Combinatorial Methods and Execution Framework (DES, JB, FD, BG, KK, YL, FW), pp. 162–177.
TAP-2017-IkeshitaIH #reduction #testing: Test Suite Reduction in Idempotence Testing of Infrastructure as Code (KI, FI, SH), pp. 98–115.
CBSE-2016-KjaergaardJSH #named #platform #reasoning: OccuRE: An Occupancy REasoning Platform for Occupancy-Driven Applications (MBK, AJ, FCS, EH), pp. 39–48.
ECSA-2016-AgrawalP #as a service #towards: Towards a Framework for Building SaaS Applications Operating in Diverse and Dynamic Environments (AA, TVP), pp. 291–306.
ECSA-2016-HassanQO #architecture #evolution #realtime: Evolution Style: Framework for Dynamic Evolution of Real-Time Software Architecture (AH, AQ, MO0), pp. 166–174.
QoSA-2016-JohnsenLHPT #architecture #assurance #named #quality: AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL (AJ, KL, KH, PP, MT), pp. 31–40.
WICSA-2016-MartiniB #agile #architecture #case study #multi #scalability: A Multiple Case Study of Continuous Architecting in Large Agile Companies: Current Gaps and the CAFFEA Framework (AM, JB), pp. 1–10.
JCDL-2016-Frick #library #platform #research #using: The State of Practice and Use of Digital Collections: The Digital Public Library of America as a platform for research (RF), p. 3.
CSEET-2016-WeiDCS #concept #education #graph #modelling #requirements #uml: A Conceptual Graphs Framework for Teaching UML Model-Based Requirements Acquisition (BW, HSD, EC, CS), pp. 71–75.
EDM-2016-FeildLZRE #automation #feedback #learning #platform #scalability: A Scalable Learning Analytics Platform for Automated Writing Feedback (JLF, NL, NLZ, MR, AE), pp. 688–693.
EDM-2016-HuangB #learning #modelling #student #towards: Towards Modeling Chunks in a Knowledge Tracing Framework for Students' Deep Learning (YH0, PB), pp. 666–668.
EDM-2016-HuangGB #data-driven #modelling: A Data-Driven Framework of Modeling Skill Combinations for Deeper Knowledge Tracing (YH0, JG, PB), pp. 593–594.
EDM-2016-LanB #learning #personalisation: A Contextual Bandits Framework for Personalized Learning Action Selection (ASL, RGB), pp. 424–429.
EDM-2016-StanhopeR #education #platform: A Platform for Integrating and Analyzing Data to Evaluate the Impacts of Educational Technologies (DS, KR), pp. 642–643.
EDM-2016-YadavSKSD #learning #named #platform: TutorSpace: Content-centric Platform for Enabling Blended Learning in Developing Countries (KY, KS, RK, SS, OD), pp. 705–706.
ICPC-2016-PetrilloSKPFG #comprehension #debugging #interactive: Understanding interactive debugging with Swarm Debug Infrastructure (FP, ZS, FK, MSP, CMDSF, YGG), pp. 1–4.
ICSME-2016-SvajlenkoR #clone detection #detection #evaluation #named: BigCloneEval: A Clone Detection Tool Evaluation Framework with BigCloneBench (JS, CKR), pp. 596–600.
ICSME-2016-WangL #adaptation #multi #optimisation #search-based #self: A Multiagent-Based Framework for Self-Adaptive Software with Search-Based Optimization (LW, QL), pp. 621–625.
MSR-2016-TrautschHMG #mining #platform #problem #repository: Adressing problems with external validity of repository mining studies through a smart data platform (FT, SH, PM, JG), pp. 97–108.
SANER-2016-ChristopheBMR #execution #javascript #named #platform: Linvail: A General-Purpose Platform for Shadow Execution of JavaScript (LC, EGB, WDM, CDR), pp. 260–270.
SANER-2016-FanelliSB #legacy: A Systematic Framework for Modernizing Legacy Application Systems (TCF, SCS, SB), pp. 678–682.
SCAM-2016-0002G #energy #mobile #optimisation: A Source-Level Energy Optimization Framework for Mobile Applications (XL0, JPG), pp. 31–40.
SCAM-2016-Quante #abstraction #interpreter: A Program Interpreter Framework for Arbitrary Abstractions (JQ), pp. 91–96.
SCAM-2016-StievenartVMR #composition #named #static analysis: Scala-AM: A Modular Static Analysis Framework (QS, MV, WDM, CDR), pp. 85–90.
FM-2016-StoenescuSPI #analysis #execution #named #symbolic computation #using: RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions (TS, AS, SP, FI), pp. 779–785.
IFM-2016-CassarF #implementation #on the #programming: On Implementing a Monitor-Oriented Programming Framework for Actor Systems (IC, AF), pp. 176–192.
IFM-2016-LutebergetJS #consistency #design #rule-based: Rule-Based Consistency Checking of Railway Infrastructure Designs (BL, CJ, MS), pp. 491–507.
SEFM-2016-Cerone #analysis #interactive #logic: A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems (AC), pp. 287–303.
SEFM-2016-SchwarzD #automation #platform: Automatic Derivation of Platform Noninterference Properties (OS, MD), pp. 27–44.
SEFM-2016-ZellerP #consistency #information management #proving #towards: Towards a Proof Framework for Information Systems with Weak Consistency (PZ0, APH), pp. 277–283.
SEFM-2016-ZhangQ #coq #implementation #object-oriented #verification: Coq Implementation of OO Verification Framework VeriJ (KZ, ZQ), pp. 270–276.
ICFP-2016-DaraisH: Constructive Galois connections: taming the Galois connection framework for mechanized metatheory (DD, DVH), pp. 311–324.
AIIDE-2016-MarinoL #game studies #generative #modelling #platform #symmetry #visual notation: A Computational Model Based on Symmetry for Generating Visually Pleasing Maps of Platform Games (JRHM, LHSL), pp. 65–71.
AIIDE-2016-MinBMRLHL #evaluation #multi #recognition: A Generalized Multidimensional Evaluation Framework for Player Goal Recognition (WM, AB, BWM, JPR, BL, EH, JCL), pp. 197–203.
AIIDE-2016-TreanorMS #social: A Framework for Playable Social Dialogue (MT, JM, AS), pp. 232–238.
CIG-2016-KempkaWRTJ #learning #named #platform #research #visual notation: ViZDoom: A Doom-based AI research platform for visual reinforcement learning (MK, MW, GR, JT, WJ), pp. 1–8.
CIG-2016-Shaker #generative #learning #motivation: Intrinsically motivated reinforcement learning: A promising framework for procedural content generation (NS), pp. 1–8.
DiGRA-FDG-2016-MelcerI #design #game studies #learning #physics #simulation: Bridging the Physical Learning Divides: A Design Framework for Embodied Learning Games and Simulations (EFM, KI).
VS-Games-2016-Paraskevopoulos #artificial reality #development: Virtual Reality-Based Holistic Framework: A Tool for Participatory Development of Customised Playful Therapy Sessions for Motor Rehabilitation (IP, ET, AW, CK), pp. 1–8.
VS-Games-2016-SlimaniEEB #collaboration #design #game studies #multi: Evaluation-Driven Design for Serious Games, the Multilayer Methodology and Collaborative Framework (AS, LE, FE, MB), pp. 1–3.
CIKM-2016-0064NRR #detection #identification #learning #multi: A Multiple Instance Learning Framework for Identifying Key Sentences and Detecting Events (WW0, YN, HR, NR), pp. 509–518.
CIKM-2016-AllabLN #clustering: SemiNMF-PCA framework for Sparse Data Co-clustering (KA, LL, MN), pp. 347–356.
CIKM-2016-AmeriFCR #analysis #predict #student: Survival Analysis based Framework for Early Prediction of Student Dropouts (SA, MJF, RBC, CKR), pp. 903–912.
CIKM-2016-AnavaSKR #probability: A Probabilistic Fusion Framework (YA, AS, OK, ER), pp. 1463–1472.
CIKM-2016-BairiUR #documentation: A Framework for Task-specific Short Document Expansion (RBB, RU, GR), pp. 791–800.
CIKM-2016-BonabC #classification #data type #online: A Theoretical Framework on the Ideal Number of Classifiers for Online Ensembles in Data Streams (HRB, FC), pp. 2053–2056.
CIKM-2016-ChandraHKA #adaptation #classification #multi: An Adaptive Framework for Multistream Classification (SC, AH, LK, CCA), pp. 1181–1190.
CIKM-2016-LeekaBBA #named #performance #rdf: Quark-X: An Efficient Top-K Processing Framework for RDF Quad Stores (JL, SB, DB, MA), pp. 831–840.
CIKM-2016-LeeKYLK #comparison #pipes and filters: An Experimental Comparison of Iterative MapReduce Frameworks (HL, MK, SBY, JGL0, YK), pp. 2089–2094.
CIKM-2016-LiZZWZWXHWZLCR #analysis #delivery #named #performance #platform: DI-DAP: An Efficient Disaster Information Delivery and Analysis Platform in Disaster Management (TL0, WZ, CZ, QW, QZ, DW0, JX0, YH, WW0, MZ, SL, SCC, NR), pp. 1593–1602.
CIKM-2016-MengLLS #representation #word: Skipping Word: A Character-Sequential Representation based Framework for Question Answering (LM, YL, ML, PS), pp. 1869–1872.
CIKM-2016-NadungodageXL #data type #mining #named: GStreamMiner: A GPU-accelerated Data Stream Mining Framework (CHN, YX, JJL), pp. 2489–2492.
CIKM-2016-RekabsazLHZ #modelling #probability: Generalizing Translation Models in the Probabilistic Relevance Framework (NR, ML, AH, GZ), pp. 711–720.
CIKM-2016-WangMGWY #data type #distributed #named #resource management: OrientStream: A Framework for Dynamic Resource Allocation in Distributed Data Stream Management Systems (CW, XM0, QG, ZW, CY), pp. 2281–2286.
ECIR-2016-NguyenN #named #social #summary: SoRTESum: A Social Context Framework for Single-Document Summarization (MTN, MLN), pp. 3–14.
ICML-2016-HoangHL #distributed #modelling #parallel #process: A Distributed Variational Inference Framework for Unifying Parallel Sparse Gaussian Process Regression Models (TNH, QMH, BKHL), pp. 382–391.
ICPR-2016-AfridiRS #latency #learning #named: L-CNN: Exploiting labeling latency in a CNN learning framework (MJA, AR, EMS), pp. 2156–2161.
ICPR-2016-FeiginRA #image #statistics: Statistical consensus matching framework for image registration (MF, BJR, BWA), pp. 1827–1832.
ICPR-2016-HeLYHHDL #benchmark #metric #recognition: Context-aware mathematical expression recognition: An end-to-end framework and a benchmark (WH, YL, FY, HH, JH, ED, CLL), pp. 3246–3251.
ICPR-2016-JhuoWCL: A feature fusion framework for hashing (IHJ, LW, WHC, DTL), pp. 2288–2293.
ICPR-2016-KrompAWBDBGTAH #image #machine learning: Machine learning framework incorporating expert knowledge in tissue image annotation (FK, IA, TW, DB, HD, MB, TG, STM, PA, AH), pp. 343–348.
ICPR-2016-NieGJ #feature model #integer #programming: An information theoretic feature selection framework based on integer programming (SN, TG, QJ), pp. 3584–3589.
ICPR-2016-PhamTM #pattern matching #pattern recognition #recognition: A proposed pattern recognition framework for EEG-based smart blind watermarking system (TDP, DT, WM), pp. 955–960.
ICPR-2016-SaeedA #locality #recognition: A framework for joint facial expression recognition and point localization (AS, AAH), pp. 4130–4135.
ICPR-2016-SantaK #algebra #image: An algebraic framework for deformable image registration (ZS, ZK), pp. 3792–3797.
ICPR-2016-SharmaCH #architecture #semantics: A unified framework for semantic matching of architectural floorplans (DS, CC, GH), pp. 2422–2427.
ICPR-2016-TounsiMA #learning #recognition #taxonomy: Supervised dictionary learning in BoF framework for Scene Character recognition (MT, IM, AMA), pp. 3987–3992.
ICPR-2016-WangZQL #detection: RGB-D saliency detection under Bayesian framework (STW, ZZ, HBQ, BL), pp. 1881–1886.
KDD-2016-BorisyukKSZ #documentation #learning #modelling #named #query: CaSMoS: A Framework for Learning Candidate Selection Models over Structured Queries and Documents (FB, KK, DS, BZ), pp. 441–450.
KDD-2016-LakkarajuBL #predict #set: Interpretable Decision Sets: A Joint Framework for Description and Prediction (HL, SHB, JL), pp. 1675–1684.
KDD-2016-SiyariDD #named #optimisation: Lexis: An Optimization Framework for Discovering the Hierarchical Structure of Sequential Data (PS, BD, CD), pp. 1185–1194.
ECMFA-2016-WangLYAN #automation #modelling #named: MBF4CR: A Model-Based Framework for Supporting an Automated Cancer Registry System (SW, HL, TY, SA, JN), pp. 191–204.
ICMT-2016-RoccoRPCLG #atl #collaboration #modelling #platform #using: Using ATL Transformation Services in the MDEForge Collaborative Modeling Platform (JDR, DDR, AP, JSC, JdL, EG), pp. 70–78.
MoDELS-2016-BatotS #learning #testing #unification: A generic framework for model-set selection for the unification of testing and learning MDE tasks (EB, HAS), pp. 374–384.
MoDELS-2016-DanielSC #modelling #named: PrefetchML: a framework for prefetching and caching models (GD, GS, JC), pp. 318–328.
MoDELS-2016-HarrandFMH #code generation #named: ThingML: a language and code generation framework for heterogeneous targets (NH, FF, BM, KEH), pp. 125–135.
Onward-2016-IndelaKND #encryption #interface #semantics #towards: Helping Johnny encrypt: toward semantic interfaces for cryptographic frameworks (SI, MK, KN, TD), pp. 180–196.
OOPSLA-2016-Loncaric0SS #fault #type inference: A practical framework for type inference error explanation (CL, SC0, CS, MS), pp. 781–799.
LOPSTR-2016-Alpuente0V #contract #synthesis: Symbolic Abstract Contract Synthesis in a Rewriting Framework (MA, DP0, AV), pp. 187–202.
PLDI-2016-KimJJKL #distributed #replication #using: A distributed OpenCL framework using redundant computation and data replication (JK, GJ, JJ, JK, JL), pp. 553–569.
PPDP-2016-FuscaGZACP #development #programming #set: A framework for easing the development of applications embedding answer set programming (DF, SG, JZ, MA, FC, SP), pp. 38–49.
PPDP-2016-MesnardPV #algorithm #recognition #towards: Towards a framework for algorithm recognition in binary code (FM, ÉP, WV), pp. 202–213.
ASE-2016-LeeDR #android #hybrid #named #static analysis: HybriDroid: static analysis framework for Android hybrid applications (SL, JD, SR), pp. 250–261.
ASE-2016-SzaboAVE #analysis #data flow: An extensible framework for variable-precision data-flow analyses in MPS (TS, SA, MV, SE), pp. 870–875.
FSE-2016-ChenSHNF #developer #named #web: CacheOptimizer: helping developers configure caching frameworks for hibernate-based database-centric web applications (THC, WS, AEH, MNN, PF), pp. 666–677.
FSE-2016-Gullapalli #grid #named: Atlas: an intelligent, performant framework for web-based grid computing (SG), pp. 1154–1156.
FSE-2016-LiWWYXM #code search #javascript: Relationship-aware code search for JavaScript frameworks (XL, ZW, QW, SY, TX0, HM), pp. 690–701.
ICSE-2016-ArztB #android #automation #data flow #named #precise #summary: StubDroid: automatic inference of precise data-flow summaries for the android framework (SA, EB), pp. 725–735.
ICSE-2016-JeonQFFS #execution #modelling #symbolic computation: Synthesizing framework models for symbolic execution (JJ, XQ, JFD, JSF, ASL), pp. 156–167.
ICSE-2016-SlavinWHHKBBN #android #detection #policy #privacy #towards: Toward a framework for detecting privacy policy violations in android application code (RS, XW, MBH, JH, RK, JB, TDB, JN0), pp. 25–36.
ICSE-2016-YuQC #automation #named #testing: VDTest: an automated framework to support testing for virtual devices (TY, XQ, MBC), pp. 583–594.
GPCE-2016-MakkiLJ #automation #delivery #process #testing: Automated regression testing of BPMN 2.0 processes: a capture and replay framework for continuous delivery (MM, DVL, WJ), pp. 178–189.
SLE-2016-BousseDVMDC #execution: Execution framework of the GEMOC studio (EB, TD, DV, TM, JD, BC), pp. 84–89.
ASPLOS-2016-BalkindMFNZLSFP #manycore #named #open source #research: OpenPiton: An Open Source Manycore Research Framework (JB, MM, YF, TMN0, YZ, AL, MS, AF, SP, XL, MM, DW), pp. 217–232.
CASE-2016-LiSXSL #hybrid #low cost #using: A hybrid model and kinematic-free control framework for a low-cost deformable manipulator using in home service (GL, LS0, SX, DS, JL), pp. 1002–1007.
CASE-2016-SadrfaridpourSW #assembly #collaboration #hybrid: An integrated framework for human-robot collaborative assembly in hybrid manufacturing cells (BS, HS, YW0), pp. 462–467.
CASE-2016-ZhouFWLT: A generic optimization-based framework for reactive collision avoidance in bipedal locomotion (CZ, CF, XW, ZL, NGT), pp. 1026–1033.
CC-2016-AfroozehI #named #parsing: Iguana: a practical data-dependent parsing framework (AA, AI), pp. 267–268.
CC-2016-PhothilimthanaT #named: GreenThumb: superoptimizer construction framework (PMP, AT0, RB, DD), pp. 261–262.
FASE-2016-LinYJL #clustering #modelling #named: ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters (JCL, ICY, EBJ, MCL), pp. 49–65.
CAV-2016-KahsaiRSS #java #named #source code #verification: JayHorn: A Framework for Verifying Java programs (TK, PR, HS, MS), pp. 352–358.
CAV-2016-ChenSW #approach #commutative #pipes and filters #problem #transducer: The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach (YFC, LS, ZW), pp. 91–111.
CAV-2016-XuFFZZL #kernel #verification: A Practical Verification Framework for Preemptive OS Kernels (FX, MF, XF, XZ, HZ, ZL), pp. 59–79.
ICST-2016-GaoJBL #analysis #effectiveness #testing: A Framework to Evaluate the Effectiveness of Different Load Testing Analysis Techniques (RG, ZMJ, CB, ML), pp. 22–32.
ICST-2016-PinaH #named #testing: Tedsuto: A General Framework for Testing Dynamic Software Updates (LP, MH0), pp. 278–287.
ICST-2016-ShinB #comprehension #testing: A Theoretical Framework for Understanding Mutation-Based Testing Methods (DS0, DHB), pp. 299–308.
ICST-2016-WetzlmaierRP #testing #user interface: A Framework for Monkey GUI Testing (TW, RR, WP), pp. 416–423.
IJCAR-2016-Avron #logic #set: A Logical Framework for Developing and Mechanizing Set Theories (AA), pp. 3–8.
IJCAR-2016-BlanchetteFW #satisfiability: A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality (JCB, MF, CW), pp. 25–44.
VMCAI-2016-0001SS #named #reasoning #verification: Viper: A Verification Infrastructure for Permission-Based Reasoning (PM0, MS, AJS), pp. 41–62.
CBSE-2015-PlateniusSA #named #process: MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (MCP, WS, SA), pp. 75–84.
ECSA-2015-AgrawalP #adaptation #towards #using #web: Towards a Framework for Building Adaptive App-Based Web Applications Using Dynamic Appification (AA, TVP), pp. 37–44.
ECSA-2015-RademacherPS #design #domain-specific language #independence #web #web service: Design of a Domain-Specific Language Based on a Technology-Independent Web Service Framework (FR, MP, SS), pp. 357–371.
WICSA-2015-MusilMWB #architecture: An Architecture Framework for Collective Intelligence Systems (JM, AM, DW, SB), pp. 21–30.
DocEng-2015-LiangWWWPBSWBG #automation #named: BBookX: An Automatic Book Creation Framework (CL, SW, ZW, KW, BP, BB, SS, HW, KB, CLG), pp. 121–124.
DocEng-2015-VernicaV #adaptation #layout #named #synthesis #web: AERO: An Extensible Framework for Adaptive Web Layout Synthesis (RV, NDV), pp. 187–190.
HT-2015-Bayomi #adaptation #corpus #reuse #using: A Framework to Provide Customized Reuse of Open Corpus Content for Adaptive Systems (MB), pp. 315–318.
HT-2015-ChungL #platform #predict: A Long-Term Study of a Crowdfunding Platform: Predicting Project Success and Fundraising Amount (JC, KL), pp. 211–220.
JCDL-2015-DubinJ #game studies #ontology: An Ontological Framework for Describing Games (DD, JJ), pp. 165–168.
SIGMOD-2015-FanLOTF #adaptation #crowdsourcing #named: iCrowd: An Adaptive Crowdsourcing Framework (JF, GL, BCO, KLT, JF), pp. 1015–1030.
SIGMOD-2015-JerglerSJ #distributed #named #workflow: D2WORM: A Management Infrastructure for Distributed Data-centric Workflows (MJ, MS, HAJ), pp. 1427–1432.
SIGMOD-2015-MozafariGY #database #design #named #robust: CliffGuard: A Principled Framework for Finding Robust Database Designs (BM, EZYG, DYY), pp. 1167–1182.
SIGMOD-2015-MytilinisGKDTTG #distributed #named #network #platform #social: MoDisSENSE: A Distributed Spatio-Temporal and Textual Processing Platform for Social Networking Services (IM, IG, IK, KD, DT, MT, LG, NK), pp. 895–900.
SIGMOD-2015-SahaSSVMC #modelling: Apache Tez: A Unifying Framework for Modeling and Building Data Processing Applications (BS, HS, SS, GV, ACM, CC), pp. 1357–1369.
SIGMOD-2015-WeimerCCCCDLMMM #execution #named: REEF: Retainable Evaluator Execution Framework (MW, YC, BGC, TC, CC, CD, YL, TM, DM, SM, BM, SN, RR, SR, RS, BS, JW), pp. 1343–1355.
TPDL-2015-DebruyneBGCD #linked data #on the #open data #platform: On a Linked Data Platform for Irish Historical Vital Records (CD, ODB, RG, SC, SD), pp. 99–110.
VLDB-2015-AbdelazizHSKM #data analysis #named #rdf: SPARTex: A Vertex-Centric Framework for RDF Data Analytics (IA, RH, SS, PK, NM), pp. 1880–1891.
VLDB-2015-DingSMM #algorithm #named #optimisation #problem: TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems (YD, XS, MM, TM), pp. 1046–1057.
VLDB-2015-HaasKWF0 #named #scalability: Wisteria: Nurturing Scalable Data Cleaning Infrastructure (DH, SK, JW, MJF, EW), pp. 2004–2015.
VLDB-2015-HuYYDCYGZ #big data #difference #platform #privacy: Differential Privacy in Telco Big Data Platform (XH, MY, JY, YD, LC, QY, HG, JZ), pp. 1692–1703.
VLDB-2015-LiWDD #named: UDA-GIST: An In-database Framework to Unify Data-Parallel and State-Parallel Analytics (KL, DZW, AD, CD), pp. 557–568.
VLDB-2015-SchubertKEZSZ #clustering #nondeterminism: A Framework for Clustering Uncertain Data (ES, AK, TE, AZ, KAS, AZ), pp. 1976–1987.
VLDB-2015-ShaoC0LX #graph #performance #scalability #similarity: An Efficient Similarity Search Framework for SimRank over Large Dynamic Graphs (YS, BC, LC, ML, XX), pp. 838–849.
VLDB-2015-WangWYZ #benchmark #community #detection #metric #network #social: Community Detection in Social Networks: An In-depth Benchmarking Study with a Procedure-Oriented Framework (MW, CW, JXY, JZ), pp. 998–1009.
EDM-2015-HuangG0B #evaluation #modelling #multi #student: A Framework for Multifaceted Evaluation of Student Models (YH0, JPGB, RK0, PB), pp. 203–210.
EDM-2015-LewkowZRE #education #learning #platform #scalability #streaming #towards: Learning Analytics Platform. Towards an Open Scalable Streaming Solution for Education (NL, NLZ, MR, AE), pp. 460–463.
ITiCSE-2015-HaaranenL #education #git #platform #version control: Teaching Git on the Side: Version Control System as a Course Platform (LH, TL), pp. 87–92.
ITiCSE-2015-MartinezGB #comparison #concept #learning #multi #platform #programming: A Comparison of Preschool and Elementary School Children Learning Computer Science Concepts through a Multilanguage Robot Programming Platform (MCM, MJG, LB), pp. 159–164.
ITiCSE-2015-SantosSFN #agile #development #learning #mobile: Combining Challenge-Based Learning and Scrum Framework for Mobile Application Development (ARS, AS, PF, MN), pp. 189–194.
ICPC-2015-LafetaMR #dynamic analysis #using: Framework instantiation using cookbooks constructed with static and dynamic analysis (RFL, MdAM, DR), pp. 125–128.
ICSME-2015-GoeminneM #analysis #database #java #towards: Towards a survival analysis of database framework usage in Java projects (MG, TM), pp. 551–555.
MSR-2015-BirdCG #code review #lessons learnt #overview #platform: Lessons Learned from Building and Deploying a Code Review Analytics Platform (CB, TC, MG), pp. 191–201.
MSR-2015-JiangA #co-evolution #empirical #source code: Co-evolution of Infrastructure and Source Code — An Empirical Study (YJ, BA), pp. 45–55.
MSR-2015-SchumacherA #graph: An Enhanced Graph-Based Infrastructure for Software Search Engines (MS, CA), pp. 386–390.
SANER-2015-CaiS #dependence #effectiveness #impact analysis: A framework for cost-effective dependence-based dynamic impact analysis (HC, RAS), pp. 231–240.
SANER-2015-GarzonAL #development #modelling #named #object-oriented: Umple: A framework for Model Driven Development of Object-Oriented Systems (MG, HIA, TCL), pp. 494–498.
SANER-2015-Martin #analysis #towards: Towards a framework for analysis, transformation, and manipulation of Makefiles (DM), pp. 601–602.
SANER-2015-Morales #anti #automation #towards: Towards a framework for automatic correction of anti-patterns (RM), pp. 603–604.
SANER-2015-PeteB #consistency #difference #evolution: Handling the differential evolution of software artefacts: A framework for consistency management (IP, DB), pp. 599–600.
SCAM-2015-BanerjeeMS #equivalence #validation: A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs (KB, CAM, DS), pp. 247–252.
ICALP-v1-2015-Curticapean #complexity: Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity (RC), pp. 380–392.
ICALP-v2-2015-FeldmanF #clustering #game studies: A Unified Framework for Strong Price of Anarchy in Clustering Games (MF, OF), pp. 601–613.
FM-2015-AlTurkiA #distributed #towards #using #verification #𝕂: Towards Formal Verification of Orchestration Computations Using the 𝕂 Framework (MAA, OA), pp. 40–56.
FM-2015-DerrickS #correctness #memory management #modelling: A Framework for Correctness Criteria on Weak Memory Models (JD, GS), pp. 178–194.
FM-2015-DurandS #formal method #generative #named: Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems (WD, SS), pp. 577–580.
RTA-2015-EndrullisHHP0 #equation #induction #reasoning: A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (JE, HHH, DH, AP, AS), pp. 143–159.
CHI-PLAY-2015-HicksGKLD #game studies #microblog #platform #twitter: Exploring Twitter as a Game Platform; Strategies and Opportunities for Microblogging-based Games (KH, KMG, BK, CL, PD), pp. 151–161.
CHI-PLAY-2015-KljunPLE #game studies #named #platform: StreetGamez: A Moving Projector Platform for Projected Street Games (MK, KCP, ML, PE), pp. 589–594.
CHI-PLAY-2015-McArthurTJ #design #interface #roadmap: The Avatar Affordances Framework: Mapping Affordances and Design Trends in Character Creation Interfaces (VM, RJT, JJ), pp. 231–240.
CHI-PLAY-2015-MoserPKT #gamification #motivation #platform: The Potentials of Gamification to Motivate Older Adults to Participate in a P2P Support Exchange Platform (CM, MP, TK, MT), pp. 655–660.
CHI-PLAY-2015-VellosoOSWG #deployment #evaluation #game studies #multi #platform: Arcade+: A Platform for Public Deployment and Evaluation of Multi-Modal Games (EV, CO, KS, MW, HG), pp. 271–275.
CIG-2015-FujikiIV #algorithm #comparison #game studies #monte carlo #platform: A platform for turn-based strategy games, with a comparison of Monte-Carlo algorithms (TF, KI, SV), pp. 407–414.
CIG-2015-ReisLG #game studies #generative #platform: Human computation for procedural content generation in platform games (WMPR, LHSL, Y(G), pp. 99–106.
FDG-2015-JanssenRMB #developer #game studies: Sensors at Play: A biometric framework for game developers and game users (DPJ, LGR, MAGM, GB).
VS-Games-2015-AlessiCCGPSCFG #3d #case study #representation: A Study on the Collective Perceived Representation of a Real Urban Area through the Usage of an Engaging Framework, Based on a 3D Virtual Environment and Openstreetmap Data (MA, SC, VC, EG, SP, DS, AC, LF, AAG), pp. 1–8.
VS-Games-2015-MoraRGA #design #gamification #overview: A Literature Review of Gamification Design Frameworks (AM, DR, CSG, JAM), pp. 1–8.
CHI-2015-0001GH #challenge #design #human-computer: Bridging the Theory-Practice Gap: Lessons and Challenges of Applying the Attachment Framework for Sustainable HCI Design (CR, SG, EMH), pp. 1305–1314.
CHI-2015-EntwistleRVBA #human-computer #research: Beyond the Individual: The Contextual Wheel of Practice as a Research Framework for Sustainable HCI (JME, MKR, NV, RSB, MSA), pp. 1125–1134.
CHI-2015-ORourkeAGP #automation #generative #interactive: A Framework for Automatically Generating Interactive Instructional Scaffolding (EO, EA, SG, ZP), pp. 1545–1554.
CHI-2015-SadauskasBA #design #mining #platform #social #social media: Mining Memories: Designing a Platform to Support Social Media Based Writing (JS, DB, RKA), pp. 3691–3700.
CHI-2015-TetterooVGMKVM #development #lessons learnt #physics #platform: Lessons Learnt from Deploying an End-User Development Platform for Physical Rehabilitation (DT, PV, IG, MM, EK, DV, PM), pp. 4133–4142.
CHI-2015-TinatiKSLSS #case study #data analysis #design #multi #platform: Designing for Citizen Data Analysis: A Cross-Sectional Case Study of a Multi-Domain Citizen Science Platform (RT, MVK, EPBS, MLR, RJS, NS), pp. 4069–4078.
CSCW-2015-EpsteinJBMM #design #exclamation #social: From “nobody cares” to “way to go!”: A Design Framework for Social Sharing in Personal Informatics (DAE, BHJ, EB, DWM, SAM), pp. 1622–1636.
CSCW-2015-FreitasD #collaboration #tool support: The Group Context Framework: An Extensible Toolkit for Opportunistic Grouping and Collaboration (AAdF, AKD), pp. 1602–1611.
CSCW-2015-GuyHC #crowdsourcing #enterprise #game studies #platform: Games for Crowds: A Crowdsourcing Game Platform for the Enterprise (IG, AH, YC), pp. 1860–1871.
CSCW-2015-LeeP #concept #coordination #matrix: From The Matrix to a Model of Coordinated Action (MoCA): A Conceptual Framework of and for CSCW (CPL, DP), pp. 179–194.
CSCW-2015-MatthiesenB #development #legacy #perspective #why: Why Replacing Legacy Systems Is So Hard in Global Software Development: An Information Infrastructure Perspective (SM, PB), pp. 876–890.
CSCW-2015-RaeVTM #comprehension #design: A Framework for Understanding and Designing Telepresence (IR, GV, JCT, DM), pp. 1552–1566.
CSCW-2015-TangCSR #deployment #volunteer: Restructuring Human Infrastructure: The Impact of EHR Deployment in a Volunteer-Dependent Clinic (CT, YC, BCS, JAR), pp. 649–661.
CSCW-2015-WongJ #policy: Wireless Visions: Infrastructure, Imagination, and US Spectrum Policy (RYW, SJJ), pp. 105–115.
CSCW-2015-ZagalskyFSZW #collaboration #education #git #platform: The Emergence of GitHub as a Collaborative Platform for Education (AZ, JF, MADS, YZ, WW), pp. 1906–1917.
DHM-EH-2015-PerestreloTNS #modelling #platform #simulation: Modeling of a Virtual Open Platform for Human Cranium Simulation (PP, MT, PN, JS), pp. 358–366.
DUXU-IXD-2015-Chunpir0W #development #evolution: Evolution of e-Research: From Infrastructure Development to Service Orientation (HIC, TL, DNW), pp. 25–35.
DUXU-IXD-2015-UgrasS #education #online #platform #usability: A Usability Study with Children on an Online Educational Platform (TU, OS), pp. 228–239.
DUXU-UI-2015-KangK #documentation #experience #in the cloud #platform #smarttech #user interface: Elements of Properties of User Experience in Cloud Computing Documentation Platform According to Smart Device Screen Size Changes: Focus on Google Docs and Naver Office (MKK, SWK), pp. 551–562.
DUXU-UI-2015-WollnerLC #design #modelling #process #user interface: Integrating a Cognitive Modelling Framework into the Design Process of Touchscreen User Interfaces (PKAW, PML, PJC), pp. 473–484.
HCI-DE-2015-MullerT #evaluation: Analytical Steps for the Calibration of an Emotional Framework — Pre-test and Evaluation Procedures (NHM, MT), pp. 512–519.
HCI-IT-2015-JinL #generative #interface #named #physics #research #string: StringWeaver: Research on a Framework with an Alterable Physical Interface for Generative Art (YJ, ZL), pp. 292–304.
HCI-IT-2015-Nagaraju #gesture #using: Swift Gestures: Seamless Bend Gestures Using Graphics Framework Capabilities (SN), pp. 118–129.
HCI-IT-2015-PenalverNB #migration #user interface #web: A Framework for Distributing and Migrating the User Interface in Web Apps (AP, DN, FB), pp. 543–553.
HCI-IT-2015-Yigitbas0E #adaptation #modelling #multi #user interface: A Model-Based Framework for Multi-Adaptive Migratory User Interfaces (EY, SS, GE), pp. 563–572.
HCI-UC-2015-SpeiginerMBRLLB #artificial reality #evolution #web: The Evolution of the Argon Web Framework Through Its Use Creating Cultural Heritage and Community-Based Augmented Reality Applications (GS, BM, JDB, HR, AJL, LML, LDB, MG, MS, BD, ME, RJC, EDM), pp. 112–124.
HIMI-IKC-2015-HasegawaD #approach #learning #platform #ubiquitous: A Ubiquitous Lecture Archive Learning Platform with Note-Centered Approach (SH, JD), pp. 294–303.
HIMI-IKC-2015-Kaewkiriya #design #recommendation #student: Design of Framework for Students Recommendation System in Information Technology Skills (TK), pp. 109–117.
HIMI-IKC-2015-SouzaBSBCA #concept: Conceptual Framework to Enrich Situation Awareness of Emergency Dispatchers (JOdS, LCB, JESS, CBB, MRdC, RBdA), pp. 33–44.
HIMI-IKC-2015-TogawaK #collaboration #using: Disaster Recovery Framework for e-Learning Environment Using Private Cloud Collaboration and Emergency Alerts (ST, KK), pp. 588–596.
HIMI-IKC-2015-ZengCLSHC #mobile #query: Scene Feature Recognition-Enabled Framework for Mobile Service Information Query System (YCZ, YHC, TYL, MJS, PYH, GLC), pp. 64–74.
HIMI-IKD-2015-FischerOFIW #interface #multi #named #platform #prototype #testing: URU: A Platform for Prototyping and Testing Compatibility of Multifunction Interfaces with User Knowledge Schemata (SF, BO, MF, MI, EW), pp. 151–160.
HIMI-IKD-2015-KastratiIY #classification #documentation #using: A General Framework for Text Document Classification Using SEMCON and ACVSR (ZK, ASI, SYY), pp. 310–319.
HIMI-IKD-2015-OliveiraBFC #nondeterminism #visualisation: Uncertainty Visualization Framework for Improving Situational Awareness in Emergency Management Systems (NFO, LCB, LCF, MRdC), pp. 86–96.
LCT-2015-ArenasZDA #artificial reality #development #education #game studies #platform: A Platform for Supporting the Development of Mixed Reality Environments for Educational Games (LA, TZ, PD, IA), pp. 537–548.
LCT-2015-DirinN #design #development: Assessments of User Centered Design Framework for M-learning Application Development (AD, MN), pp. 62–74.
LCT-2015-SarmentoRZAT #development #platform #smarttech: Supporting the Development of Computational Thinking: A Robotic Platform Controlled by Smartphone (HRS, CASR, VZ, LDAA, CAT), pp. 124–135.
SCSM-2015-BramanD #personalisation: Utilizing Virtual Worlds for Personalized Search: Developing the PAsSIVE Framework (JB, CD), pp. 3–11.
SCSM-2015-MillsF #effectiveness #how #platform #why: A Computational Study of How and Why reddit.com was an Effective Platform in the Campaign Against SOPA (RM, AF), pp. 229–241.
SCSM-2015-NguyenJP #design #mobile #perspective #platform #self #social: Designing a Social Mobile Platform for Diabetes Self-management: A Theory-Driven Perspective (HDN, XJ, DCCP), pp. 67–77.
ICEIS-v1-2015-CerqueiraOG #community #network #scalability #social: A Framework for Analysing Dynamic Communities in Large-scale Social Networks (VC, MDBO, JG), pp. 235–242.
ICEIS-v1-2015-KnoblauchB #concept: Conceptual Framework of Anything Relationship Management (JPK, RB), pp. 108–120.
ICEIS-v1-2015-Marques-LucenaA #information management #using: Knowledge Management Framework using Wiki-based Front-end Modules (CML, CA, SK, JS), pp. 79–86.
ICEIS-v2-2015-BaldassarreBCCV #community: Building a Community Cloud Infrastructure for a Logistics Project (MTB, NB, DC, GdC, GV), pp. 420–427.
ICEIS-v2-2015-BraunE #enterprise #modelling: A Generic Framework for Modifying and Extending Enterprise Modeling Languages (RB, WE), pp. 277–286.
ICEIS-v2-2015-CuencaBBT #case study #concept #development #multi: Conceptual Interoperability Barriers Framework (CIBF) — A Case Study of Multi-organizational Software Development (LC, AB, ÁOB, JJMT), pp. 521–531.
ICEIS-v2-2015-OliveiraF #enterprise #overview #policy #sorting: A Spatial Data Infrastructure Review — Sorting the Actors and Policies from Enterprise Viewpoint (ILO, JLF), pp. 287–294.
ICEIS-v2-2015-TangL #mining #product line #top-down: Top-down Feature Mining Framework for Software Product Line (YT, HL), pp. 71–81.
ICEIS-v2-2015-TrujilloOP #authoring #re-engineering #using #validation: Using Technical-Action-Research to Validate a Framework for Authoring Software Engineering Methods (MMT, HO, MP), pp. 15–27.
CIKM-2015-HuLGKJ #automation #maturity #mobile #rating: Protecting Your Children from Inappropriate Content in Mobile Apps: An Automatic Maturity Rating Framework (BH0, BL0, NZG, DK, HJ), pp. 1111–1120.
CIKM-2015-LeeACS #multi #optimisation: An Optimization Framework for Merging Multiple Result Lists (CJL, QA, WBC, DS), pp. 303–312.
CIKM-2015-LiCH #multi #natural language #summary: Weakly Supervised Natural Language Processing Framework for Abstractive Multi-Document Summarization: Weakly Supervised Abstractive Multi-Document Summarization (PL, TWC, HH), pp. 1401–1410.
CIKM-2015-PengCS00X #named: DeepCamera: A Unified Framework for Recognizing Places-of-Interest based on Deep ConvNets (PP, HC, LS, KC0, GC0, CX), pp. 1891–1894.
CIKM-2015-SangLX #microblog #modelling #probability: A Probabilistic Framework for Temporal User Modeling on Microblogs (JS, DL, CX), pp. 961–970.
CIKM-2015-YangZ #classification #graph #online #optimisation: A Min-Max Optimization Framework For Online Graph Classification (PY, PZ), pp. 643–652.
CIKM-2015-ZhangCZ #named #recommendation: ORec: An Opinion-Based Point-of-Interest Recommendation Framework (JDZ, CYC, YZ), pp. 1641–1650.
CIKM-2015-ZhukovskiyKGS #optimisation #query #similarity: An Optimization Framework for Propagation of Query-Document Features by Query Similarity Functions (MZ, TK, GG, PS), pp. 981–990.
ECIR-2015-SaracIGD #classification #concept #flexibility #named: ConceptFusion: A Flexible Scene Classification Framework (MIS, AI, EG, PD), pp. 55–60.
ICML-2015-FouldsKG #modelling #network #probability #programming #topic: Latent Topic Networks: A Versatile Probabilistic Programming Framework for Topic Models (JRF, SHK, LG), pp. 777–786.
ICML-2015-HegdeIS: A Nearly-Linear Time Framework for Graph-Structured Sparsity (CH, PI, LS), pp. 928–937.
ICML-2015-HoangHL #big data #modelling #probability #process: A Unifying Framework of Anytime Sparse Gaussian Process Regression Models with Stochastic Variational Inference for Big Data (TNH, QMH, BKHL), pp. 569–578.
ICML-2015-LimCX #clustering #optimisation: A Convex Optimization Framework for Bi-Clustering (SHL, YC, HX), pp. 1679–1688.
ICML-2015-Pouget-AbadieH #graph: Inferring Graphs from Cascades: A Sparse Recovery Framework (JPA, TH), pp. 977–986.
ICML-2015-YangX #algorithm: A Unified Framework for Outlier-Robust PCA-like Algorithms (WY, HX), pp. 484–493.
ICML-2015-YangX15b #clustering #distributed #divide and conquer #graph: A Divide and Conquer Framework for Distributed Graph Clustering (WY, HX), pp. 504–513.
KDD-2015-BerralPCCRG #automation #information management #named: ALOJA-ML: A Framework for Automating Characterization and Knowledge Discovery in Hadoop Deployments (JLB, NP, DC, AC, RR, DG), pp. 1701–1710.
KDD-2015-ChakrabortyBSPY #classification #learning #named #novel: BatchRank: A Novel Batch Mode Active Learning Framework for Hierarchical Classification (SC, VNB, ARS, SP, JY), pp. 99–108.
KDD-2015-ElenbergSBD #distributed #graph #scalability: Beyond Triangles: A Distributed Framework for Estimating 3-profiles of Large Graphs (ERE, KS, MB, AGD), pp. 229–238.
KDD-2015-FisherCWR #clustering: A Clustering-Based Framework to Control Block Sizes for Entity Resolution (JF, PC, QW, ER), pp. 279–288.
KDD-2015-KimYTM #predict #sequence: A Decision Tree Framework for Spatiotemporal Sequence Prediction (TK, YY, SLT, IM), pp. 577–586.
KDD-2015-LakkarajuASMBGA #identification #machine learning #student: A Machine Learning Framework to Identify Students at Risk of Adverse Academic Outcomes (HL, EA, CS, DM, NB, RG, KLA), pp. 1909–1918.
KDD-2015-LaptevAF #automation #detection #scalability: Generic and Scalable Framework for Automated Time-series Anomaly Detection (NL, SA, IF), pp. 1939–1947.
KDD-2015-LinLC #multi #network #social: A Learning-based Framework to Handle Multi-round Multi-party Influence Maximization on Social Networks (SCL, SDL, MSC), pp. 695–704.
KDD-2015-LiuWHX #graph #health: Temporal Phenotyping from Longitudinal Electronic Health Records: A Graph Based Framework (CL, FW, JH, HX), pp. 705–714.
KDD-2015-QahtanAWZ #data type #detection #multi: A PCA-Based Change Detection Framework for Multidimensional Data Streams: Change Detection in Multidimensional Data Streams (AAQ, BA, SW, XZ), pp. 935–944.
KDD-2015-TsengYHKC #detection #named: FrauDetector: A Graph-Mining-based Framework for Fraudulent Phone Call Detection (VST, JCY, CWH, YK, KTC), pp. 2157–2166.
KDD-2015-XingHDKWLZXKY #big data #distributed #machine learning #named #platform: Petuum: A New Platform for Distributed Machine Learning on Big Data (EPX, QH, WD, JKK, JW, SL, XZ, PX, AK, YY), pp. 1335–1344.
KDD-2015-XuCFSB #challenge #network #scalability #social #testing: From Infrastructure to Culture: A/B Testing Challenges in Large Scale Social Networks (YX, NC, AF, OS, AB), pp. 2227–2236.
RecSys-2015-KoukiFFEG #flexibility #hybrid #named #probability #recommendation: HyPER: A Flexible and Extensible Probabilistic Framework for Hybrid Recommender Systems (PK, SF, JRF, ME, LG), pp. 99–106.
SEKE-2015-AffonsoLON #adaptation #learning #self: A Framework Based on Learning Techniques for Decision-making in Self-adaptive Software (FJA, GL, RAPO, EYN), pp. 24–29.
SEKE-2015-ChangCLT #design: Application of Slow Intelligence Framework for Smart Pet Care System Design (SKC, WHC, WCL, CLT), pp. 51–56.
SEKE-2015-HeinrichGHRRSPJ #empirical #evolution #information management #platform #research: A Platform for Empirical Research on Information System Evolution (RH, SG, TMH, TR, RHR, KS, BP, JJ), pp. 415–420.
SEKE-2015-LeeL #adaptation #re-engineering #self #towards: Towards Knowledge-intensive Software Engineering Framework for Self-Adaptive Software (HCL, SWL), pp. 30–35.
SEKE-2015-LinHX #automation #statistics #testing #user interface: An Automated Testing Framework for Statistical Testing of GUI Applications (LL, JH, YX), pp. 72–79.
SEKE-2015-MagalhaesAM #approach #independence #model transformation #on the #platform #specification: On the Specification of Model Transformations through a Platform Independent Approach (APM, AMSA, RSPM), pp. 558–561.
SEKE-2015-Murillo-MoreraJ #algorithm #approach #learning #predict #search-based #using: A Software Defect-Proneness Prediction Framework: A new approach using genetic algorithms to generate learning schemes (JMM, MJ), pp. 445–450.
SEKE-2015-ParkP #adaptation #ecosystem #middleware: A Middleware Framework for Leveraging Local and Global Adaptation in IT Ecosystems (SP, YBP), pp. 18–23.
SEKE-2015-VianaAGCCL #named: JSAN: A Framework to Implement Normative Agents (MLV, PSCA, ETG, FJPC, DDC, CJPdL), pp. 660–665.
SIGIR-2015-HeBVAR #evaluation #predict #quality #ranking #refinement: Untangling Result List Refinement and Ranking Quality: a Framework for Evaluation and Prediction (JH, MB, APdV, LA, MdR), pp. 293–302.
SIGIR-2015-Zhai #game studies #information retrieval #towards: Towards a Game-Theoretic Framework for Information Retrieval (CZ), p. 543.
ICMT-2015-BergmannDHHRUV #model transformation #platform: Viatra 3: A Reactive Model Transformation Platform (GB, ID, ÁH, ÁH, IR, ZU, DV), pp. 101–110.
ICMT-2015-GetirGBKST #co-evolution #evaluation #modelling #multi #named: CoWolf — A Generic Framework for Multi-view Co-evolution and Evaluation of Models (SG, LG, CKB, VK, TS, MT), pp. 34–40.
MoDELS-2015-IftikharIKM #approach #automation #game studies #modelling #platform #testing: An automated model based testing approach for platform games (SI, MZI, MUK, WM), pp. 426–435.
MoDELS-2015-KrikavaRS #modelling #resource management #runtime #towards: Infrastructure as runtime models: Towards Model-Driven resource management (FK, RR, LS), pp. 100–105.
MoDELS-2015-MaozR #difference #semantics: A framework for relating syntactic and semantic model differences (SM, JOR), pp. 24–33.
MoDELS-2015-SoltanaSSB #modelling #policy #probability #simulation: A model-based framework for probabilistic simulation of legal policies (GS, NS, MS, LCB), pp. 70–79.
SPLC-2015-HeinemanHDR #migration #object-oriented #product line #synthesis #towards: Towards migrating object-oriented frameworks to enable synthesis of product line members (GTH, AH, BD, JR), pp. 56–60.
ECOOP-2015-HauzarK #php #static analysis: Framework for Static Analysis of PHP Applications (DH, JK), pp. 689–711.
Onward-2015-PolitoDBF: A bootstrapping infrastructure to build and extend Pharo-like languages (GP, SD, NB, LF), pp. 183–196.
OOPSLA-2015-PolozovG #induction #named #synthesis: FlashMeta: a framework for inductive program synthesis (OP, SG), pp. 107–126.
AdaEurope-2015-FernandezPGH #platform: AFDX Emulator for an ARINC-Based Training Platform (JF, HP, JJG, MGH), pp. 212–227.
AdaEurope-2015-PavleticVRKK #debugging: Extensible Debugger Framework for Extensible Languages (DP, MV, SAR, BK, TK), pp. 33–49.
PLDI-2015-WilcoxWPTWEA #distributed #implementation #named #verification: Verdi: a framework for implementing and formally verifying distributed systems (JRW, DW, PP, ZT, XW, MDE, TEA), pp. 357–368.
ASE-2015-BaoYXXW #named: ActivitySpace: A Remembrance Framework to Support Interapplication Information Needs (LB, DY, ZX, XX, XW), pp. 864–869.
ASE-2015-Boushehrinejadmoradi #development #mobile #platform #testing: Testing Cross-Platform Mobile App Development Frameworks (T) (NB, VG, SN, LI), pp. 441–451.
ASE-2015-FloresA #collaboration #comprehension #named #platform: DRIVER — A Platform for Collaborative Framework Understanding (NF, AA), pp. 783–788.
ASE-2015-Greene #concept #re-engineering: A Generic Framework for Concept-Based Exploration of Semi-Structured Software Engineering Data (GJG), pp. 894–897.
ASE-2015-KoLDR #javascript #scalability #static analysis: Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T) (YK, HL, JD, SR), pp. 541–551.
ASE-2015-PietschKKRO #modelling #named #product line: SiPL — A Delta-Based Modeling Framework for Software Product Line Engineering (CP, TK, UK, DR, MO), pp. 852–857.
ASE-2015-ZimmermanR #automation #recommendation: An Automated Framework for Recommending Program Elements to Novices (N) (KZ, CRR), pp. 283–288.
ESEC-FSE-2015-ParameshwaranBS15a #named #platform #robust #testing: DexterJS: robust testing platform for DOM-based XSS vulnerabilities (IP, EB, SS, HD, AS, PS), pp. 946–949.
ESEC-FSE-2015-RuscioKKMV #automation #metric #named #open source #platform: OSSMETER: a software measurement platform for automatically analysing open source software projects (DDR, DSK, IK, NDM, JJV), pp. 970–973.
GTTSE-2015-VandercammenSMR #compilation #jit #named #scala: STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation (MV, QS, WDM, CDR), pp. 223–234.
ICSE-v2-2015-BenomarSP #comprehension: A Unified Framework for the Comprehension of Software’s Time (OB, HAS, PP), pp. 603–606.
ICSE-v2-2015-Jayaram #programming #towards: Towards Explicitly Elastic Programming Frameworks (KRJ), pp. 619–622.
ICSE-v2-2015-Morrison #evaluation #security: A Security Practices Evaluation Framework (PM), pp. 935–938.
ICSE-v2-2015-PathakIH #named #platform: AppCivist — A Service-Oriented Software Platform for Socially Sustainable Activism (AP, VI, JH), pp. 515–518.
ICSE-v2-2015-Shahzada #development: A Comprehensive Framework for the Development of Dynamic Smart Spaces (AS), pp. 927–930.
ICSE-v2-2015-YusufTSAMDORBS #data transformation #in the cloud #named #platform #reliability: Chiminey: Reliable Computing and Data Management Platform in the Cloud (IIY, IET, MS, SGA, GRM, DWD, GO, SPR, AMB, HWS), pp. 677–680.
ICSE-v2-2015-ZhouLZLLQ #big data #empirical #platform #quality: An Empirical Study on Quality Issues of Production Big Data Platform (HZ, JGL, HZ, HL, HL, TQ), pp. 17–26.
SAC-2015-AissiGSS #evaluation #personalisation #query #recommendation: Personalized recommendation of SOLAP queries: theoretical framework and experimental evaluation (SA, MSG, TS, LBS), pp. 1008–1014.
SAC-2015-AmaralTMH #as a service #internet #middleware #platform: Cooperative middleware platform as a service for internet of things applications (LAA, RTT, EdM, FH), pp. 488–493.
SAC-2015-BergentiCG #game studies #mobile #platform #scalability #social: A scalable platform for mobile social gaming (FB, GC, DG), pp. 2239–2244.
SAC-2015-ChaCBCYBC #online #topic: A universal topic framework (UniZ) and its application in online search (YC, KhC, HB, YC, TWY, BB, JC), pp. 1078–1085.
SAC-2015-DemuthRNHZE #multi #named: DesignSpace: an infrastructure for multi-user/multi-tool engineering (AD, MRE, AN, PH, KZ, AE), pp. 1486–1491.
SAC-2015-DionisisCP #adaptation #execution #feedback #hybrid #monitoring #using: A hybrid framework for WS-BPEL scenario execution adaptation, using monitoring and feedback data (MD, VC, GP), pp. 1672–1679.
SAC-2015-DuanZHX #analysis #delivery #network #performance #platform: Performance analysis for a service delivery platform in software defined network (QD, MZ, JH, CCX), pp. 2257–2262.
SAC-2015-FerrucciSKS #algorithm #parallel #pipes and filters #search-based: A parallel genetic algorithms framework based on Hadoop MapReduce (FF, PS, MTK, FS), pp. 1664–1667.
SAC-2015-IqbalAB #design #network #scheduling: Designing network servers within a hierarchical scheduling framework (ZI, LA, MB), pp. 653–658.
SAC-2015-KhelladiBBLG #consistency #process #verification: A framework to formally verify conformance of a software process to a software method (DEK, RB, SB, YL, MPG), pp. 1518–1525.
SAC-2015-LiuI #clustering #optimisation #parallel #using: An ETL optimization framework using partitioning and parallelization (XL, NI), pp. 1015–1022.
SAC-2015-LopesT #performance: A framework for investigating the performance of sum aggregations over encrypted data warehouses (CCL, VCT), pp. 1000–1007.
SAC-2015-MukherjeeKCDCM #as a service #design #performance #platform #scalability: Performance characterization and scalable design of sensing-as-a-service platform (TM, AK, DC, KD, AC, AM), pp. 592–595.
SAC-2015-MurguzurTS #evaluation #variability #workflow: Dynamic variability support in workflow-based systems: an evaluation of the LateVa framework (AM, ST, GS), pp. 1641–1643.
SAC-2015-Nwokeji #enterprise: A framework for enterprise agility (JCN), pp. 1249–1250.
SAC-2015-NwokejiCBK #concept #enterprise: A conceptual framework for enterprise agility (JCN, TC, BSB, VK), pp. 1242–1244.
SAC-2015-OjameruayeB #analysis: A risk — aware framework for compliance goal-obstacle analysis (BO, RB), pp. 1401–1402.
SAC-2015-OliveiraLV #performance #security #web #web service: Characterizing the performance of web service frameworks under security attacks (RAO, NL, MV), pp. 1711–1718.
SAC-2015-PalviainenKKLMN #collaboration #design #developer #experience: Design framework enhancing developer experience in collaborative coding environment (JP, TK, JK, JL, TM, AN), pp. 149–156.
SAC-2015-Rubio-MonteroPG #adaptation #evaluation #monte carlo: Evaluation of an adaptive framework for resilient Monte Carlo executions (AJRM, MARP, RMG), pp. 448–455.
SAC-2015-SantosPFGMMC #named #platform: MyHealth: a cross-domain platform for healthcare (MYS, CGP, BF, LG, GM, AJCM, JAC), pp. 40–46.
SAC-2015-SilvaSBVS #assessment #process #using: Using ArchiMate to model a process assessment framework (NS, MMdS, BB, MV, PS), pp. 1189–1194.
SAC-2015-TsengHT #distributed #javascript #migration #mobile #web: Migratom.js: a JavaScript migration framework for distributed web computing and mobile devices (TLT, SHH, CHT), pp. 798–801.
SAC-2015-TudorAP: Harnessing the unknown in advanced metering infrastructure traffic (VT, MA, MP), pp. 2204–2211.
ASPLOS-2015-GoiriBNN #approximate #named #pipes and filters: ApproxHadoop: Bringing Approximations to MapReduce Frameworks (IG, RB, SN, TDN), pp. 383–397.
ASPLOS-2015-HosekC #execution #performance: VARAN the Unbelievable: An Efficient N-version Execution Framework (PH, CC), pp. 339–353.
CASE-2015-FerreiraBGV #using: Consolidation of the control system of a chemical polishing machine for superconducting RF cavities using the UNICOS-CPC framework (RF, SB, PG, HV), pp. 1471–1476.
CASE-2015-JinDAWBBBL #distributed: A comprehensive framework of factory-to-factory dynamic fleet-level prognostics and operation management for geographically distributed assets (CJ, DD, HDA, KW, MB, BB, PB, JL), pp. 225–230.
CASE-2015-MarkovskiH #manycore #question #synthesis: Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible? (JM, HH), pp. 521–525.
CASE-2015-Sakakura: A speculation on a framework that provides highly organized services for manufacturing (TS), pp. 1025–1028.
CC-2015-HollingumS #context-free grammar #reachability #scalability #towards: Towards a Scalable Framework for Context-Free Language Reachability (NH, BS), pp. 193–211.
CGO-2015-McAfeeO #generative #learning #multi #named: EMEURO: a framework for generating multi-purpose accelerators via deep learning (LCM, KO), pp. 125–135.
DAC-2015-HanLKNL #multi #optimisation #reduction: A global-local optimization framework for simultaneous multi-mode multi-corner clock skew variation reduction (KH, JL, ABK, SN, JL), p. 6.
DAC-2015-WenWHLHLC #hybrid #scalability: An EDA framework for large scale hybrid neuromorphic computing systems (WW, CRW, XH, BL, TYH, XL, YC), p. 6.
DAC-2015-ZhangHXHC #compilation #named: CMOST: a system-level FPGA compilation framework (PZ, MH, BX, HH, JC), p. 6.
DAC-2015-ZhuangYKWC #algorithm #exponential #performance #scalability #simulation #using: An algorithmic framework for efficient large-scale circuit simulation using exponential integrators (HZ, WY, IK, XW, CKC), p. 6.
DATE-2015-BrunduPAGRRM #distributed #energy #integration #strict: A new distributed framework for integration of district energy data from heterogeneous devices (FGB, EP, AA, MG, GR, SR, EM), pp. 992–993.
DATE-2015-GuardatiCFB: Paper, pen and ink: an innovative system and software framework to assist writing rehabilitation (LG, FC, EF, LB), pp. 1473–1478.
DATE-2015-HuangHC #algorithm #clustering #multi #problem #scalability: Clustering-based multi-touch algorithm framework for the tracking problem with a large number of points (SLH, SYH, CPC), pp. 719–724.
DATE-2015-KimFPSL #implementation #modelling #platform #verification: Platform-specific timing verification framework in model-based implementation (BK, LF, LTXP, OS, IL), pp. 235–240.
DATE-2015-PaoneRPZSS #constraints #performance #platform: Customization of OpenCL applications for efficient task mapping under heterogeneous platform constraints (EP, FR, GP, VZ, IS, CS), pp. 736–741.
DATE-2015-SkalickySLF #hardware #runtime: A unified hardware/software MPSoC system construction and run-time framework (SS, AGS, SL, MF), pp. 301–304.
DATE-2015-SonghoriMLK #automation #data analysis #hardware #named: AHEAD: automated framework for hardware accelerated iterative data analysis (EMS, AM, XL, FK), pp. 942–947.
DATE-2015-YangRMDV #embedded #generative #on the fly #platform #random #testing: Embedded HW/SW platform for on-the-fly testing of true random number generators (BY, VR, NM, WD, IV), pp. 345–350.
DATE-2015-ZhangWTYX #approximate #named #network: ApproxANN: an approximate computing framework for artificial neural network (QZ, TW, YT, FY, QX), pp. 701–706.
HPCA-2015-OzsoyDGAP #detection #online #performance: Malware-aware processors: A framework for efficient online malware detection (MO, CD, IG, NBAG, DVP), pp. 651–661.
HPCA-2015-PeraisS #effectiveness #named #predict: BeBoP: A cost effective predictor infrastructure for superscalar value prediction (AP, AS), pp. 13–25.
LCTES-2015-LinM #distributed #named #programming #simulation #towards #verification: StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems (YL, SM), p. 10.
LCTES-2015-LiuY #encryption #in memory #memory management: Secure and Durable (SEDURA): An Integrated Encryption and Wear-leveling Framework for PCM-based Main Memory (CL, CY), p. 10.
PDP-2015-ChetsaLPSC #energy #multi #performance: Application-Agnostic Framework for Improving the Energy Efficiency of Multiple HPC Subsystems (GLTC, LL, JMP, PS, GDC), pp. 62–69.
PDP-2015-Eisserer #embedded #image #parallel #performance #platform #realtime: Portable Framework for Real-Time Parallel Image Processing on High Performance Embedded Platforms (CE), pp. 721–724.
PDP-2015-El-KazzazE #detection #scalability #ubiquitous #using: A Hadoop-Based Framework for Large-Scale Landmine Detection Using Ubiquitous Big Satellite Imaging Data (SEK, AEM), pp. 274–278.
PDP-2015-KumarZL #named: Ctherm: An Integrated Framework for Thermal-Functional Co-simulation of Systems-on-Chip (SSK, AZ, RvL), pp. 674–681.
PDP-2015-LingCYCWL #communication #manycore #named #parallel #platform: MACRON: The NoC-Based Many-Core Parallel Processing Platform and Its Applications in 4G Communication Systems (XL, YC, ZY, SC, XW, GL), pp. 396–403.
PDP-2015-MorenoULC #data flow #named #performance #scalability: NanoCheckpoints: A Task-Based Asynchronous Dataflow Framework for Efficient and Scalable Checkpoint/Restart (JAM, OSÜ, JL, AC), pp. 99–102.
PDP-2015-NgyenJDHDPT #named #network: FIST: A Framework to Interleave Spiking Neural Networks on CGRAs (TN, SMAHJ, MD, AH, SD, JP, HT), pp. 751–758.
PDP-2015-PedersenREB #biology #data analysis #data-driven: Integrating Data-Intensive Computing Systems with Biological Data Analysis Frameworks (EP, IAR, ME, LAB), pp. 733–740.
PDP-2015-Reiter #communication #peer-to-peer: Enabling Secure Communication over Existing Peer-to-Peer Frameworks (AR), pp. 575–582.
PPoPP-2015-BensonB #matrix #parallel #performance: A framework for practical parallel fast matrix multiplication (ARB, GB), pp. 42–53.
PPoPP-2015-PiaoKOLKKL #adaptation #cpu #gpu #javascript #named: JAWS: a JavaScript framework for adaptive CPU-GPU work sharing (XP, CK, YO, HL, JK, HK, JWL), pp. 251–252.
PPoPP-2015-YouWTC #abstraction #named: VirtCL: a framework for OpenCL device abstraction and management (YPY, HJW, YNT, YTC), pp. 161–172.
SOSP-2015-PalkarLHJPRRS #named: E2: a framework for NFV applications (SP, CL, SH, KJ, AP, SR, LR, SS), pp. 121–136.
FASE-2015-SalayC #modelling: A Generalized Formal Framework for Partial Modeling (RS, MC), pp. 133–148.
FoSSaCS-2015-Vakar #category theory #linear #logic #semantics: A Categorical Semantics for Linear Logical Frameworks (MV), pp. 102–116.
TACAS-2015-AledoE #contest #embedded #verification: FramewORk for Embedded System verification — (Competition Contribution) (PGdA, PSE), pp. 429–431.
TACAS-2015-ArmandoBCCMMM #mobile #named #platform #security #static analysis #verification: SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform (AA, GB, GC, GC, GDM, RM, AM), pp. 225–230.
TACAS-2015-FleuryLPV #analysis #named: Insight: An Open Binary Analysis Framework (EF, OL, GP, AV), pp. 218–224.
TACAS-2015-GurfinkelKN #c #contest #named #source code #verification: SeaHorn: A Framework for Verifying C Programs (Competition Contribution) (AG, TK, JAN), pp. 447–450.
CAV-2015-GurfinkelKKN #verification: The SeaHorn Verification Framework (AG, TK, AK, JAN), pp. 343–361.
CAV-2015-IsbernerHS #automaton #learning #open source: The Open-Source LearnLib — A Framework for Active Automata Learning (MI, FH, BS), pp. 487–495.
CAV-2015-ManoliosPP #modulo theories #programming: The Inez Mathematical Programming Modulo Theories Framework (PM, JP, VP), pp. 53–69.
ICLP-2015-GavanelliLRBZC #abduction #datalog #ontology: An Abductive Framework for Datalog± Ontologies (MG, EL, FR, EB, RZ, GC), pp. 274–286.
ICLP-J-2015-DassevilleHJD #composition #logic #semantics: Semantics of templates in a compositional framework for building logics (ID, MvdH, GJ, MD), pp. 681–695.
ICST-2015-HerboldFGHHKMMN #platform #testing: The MIDAS Cloud Platform for Testing SOA Applications (SH, ADF, JG, PH, LMH, FK, APM, LM, CDN, FDR, MAS, NT, MFW, PHW), pp. 1–8.
ICST-2015-LiEGO #big data #scalability: A Scalable Big Data Test Framework (NL, AE, YG, JO), pp. 1–2.
ICST-2015-TokcanOT #automation #development #multi #named #testing: MetTest: A Test Automation Framework for Development of a Point-To-Multipoint Radio (MDT, OO, HT), pp. 1–2.
ICTSS-2015-TaylorD #erlang #mutation testing #named #testing: mu2: A Refactoring-Based Mutation Testing Framework for Erlang (RT, JD), pp. 178–193.
ISSTA-2015-YueAZ #automation #generative #named #natural language #testing: RTCM: a natural language based, automated, and practical test case generation framework (TY, SA, MZ), pp. 397–408.
SAT-2015-MangalZNN #lazy evaluation #named #satisfiability #scalability: Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances (RM, XZ, AVN, MN), pp. 299–306.
ECSA-2014-AnvaariZ #architecture #automation #design #development: Semi-automated Design Guidance Enhancer (SADGE): A Framework for Architectural Guidance Development (MA, OZ), pp. 41–49.
ECSA-2014-FrommgenLB #composition: A Property Description Framework for Composable Software (AF, ML, APB), pp. 267–282.
ECSA-2014-SurajbaliGC #architecture #configuration management #consistency: A Consistency Framework for Dynamic Reconfiguration in AO-Middleware Architectures (BS, PG, GC), pp. 398–405.
WICSA-2014-BabazadehP #design #distributed: The Stream Software Connector Design Space: Frameworks and Languages for Distributed Stream Processing (MB, CP), pp. 1–10.
WICSA-2014-BiancoMKR #bound #case study #ecosystem #platform: The Role of Platform Boundary Resources in Software Ecosystems: A Case Study (VdB, VM, MK, MR), pp. 11–20.
WICSA-2014-Gonzalez-HerreraBDRBFJ #adaptation #component #monitoring #named: Scapegoat: An Adaptive Monitoring Framework for Component-Based Systems (IYGH, JB, ED, WR, OB, FF, JMJ), pp. 67–76.
WICSA-2014-ManteuffelTKGA #architecture #documentation #implementation #industrial: Industrial Implementation of a Documentation Framework for Architectural Decisions (CM, DT, HK, TG, PA), pp. 225–234.
WICSA-2014-VierhauserRGDWZ #architecture #flexibility #monitoring #runtime: A Flexible Framework for Runtime Monitoring of System-of-Systems Architectures (MV, RR, PG, CD, SW, HZ), pp. 57–66.
DocEng-2014-CabralLMFASR #independence #platform #summary: A platform for language independent summarization (LdSC, RDL, RFM, FF, BTÁ, SJS, MR), pp. 203–206.
DRR-2014-WuZCLN #markov #recognition #segmentation: A Markov chain based line segmentation framework for handwritten character recognition (YW, SZ, HC, DL, PN), p. ?–12.
HT-2014-KowaldLT #benchmark #metric #named #recommendation #standard #towards: TagRec: towards a standardized tag recommender benchmarking framework (DK, EL, CT), pp. 305–307.
JCDL-2014-ArtiniAM: Keeping your aggregative infrastructure under control (MA, CA, PM), pp. 409–410.
JCDL-2014-BarrioSGG #learning #named: REEL: A Relation Extraction Learning framework (PB, GS, HG, LG), pp. 455–456.
JCDL-2014-HasanGFBM #dataset #library: Data mapping framework in a digital library with computational epidemiology datasets (SMSH, SG, EAF, KRB, MVM), pp. 449–450.
JCDL-2014-JatowtD #semantics #word: A framework for analyzing semantic change of words across time (AJ, KD), pp. 229–238.
JCDL-2014-KatsMKMMW #design: Design of Europeana Cloud technical infrastructure (PK, MM, PK, MM, GM, MW), pp. 491–492.
JCDL-2014-StathopoulouSGHBS: An Open Cultural Digital Content Infrastructure (IOS, PS, HG, NH, VB, ES), pp. 285–288.
JCDL-2014-WuWKWCHTCOMG #big data #challenge #platform #towards: Towards building a scholarly big data platform: Challenges, lessons and opportunities (ZW, JW, MK, KW, HHC, WH, ST, SRC, AO, PM, CLG), pp. 117–126.
SIGMOD-2014-DimitriadouPD #automation #data analysis #interactive #named #query: Explore-by-example: an automatic query steering framework for interactive data exploration (KD, OP, YD), pp. 517–528.
SIGMOD-2014-EmrichFKNRZ #nondeterminism: An extendable framework for managing uncertain spatio-temporal data (TE, MF, HPK, JN, MR, AZ), pp. 1087–1090.
SIGMOD-2014-KimHLPY #graph #named #parallel #scalability: OPT: a new framework for overlapped and parallel triangulation in large-scale graphs (JK, WSH, SL, KP, HY), pp. 637–648.
SIGMOD-2014-LeisBK0 #evaluation #manycore #parallel #query: Morsel-driven parallelism: a NUMA-aware query evaluation framework for the many-core age (VL, PAB, AK, TN), pp. 743–754.
SIGMOD-2014-SatishSPSPHSYD #dataset #graph #navigation #using: Navigating the maze of graph analytics frameworks using massive graph datasets (NS, NS, MMAP, JS, JP, MAH, SS, ZY, PD), pp. 979–990.
SIGMOD-2014-Thirumuruganathan0HD #estimation #microblog #platform: Aggregate estimation over a microblog platform (ST, NZ, VH, GD), pp. 1519–1530.
SIGMOD-2014-WangKFGKM #performance #query: A sample-and-clean framework for fast and accurate query processing on dirty data (JW, SK, MJF, KG, TK, TM), pp. 469–480.
SIGMOD-2014-XuKM #multi #nondeterminism #performance #summary: Efficient summarization framework for multi-attribute uncertain data (JX, DVK, SM), pp. 421–432.
VLDB-2014-BoykinROL #named #online #pipes and filters: Summingbird: A Framework for Integrating Batch and Online MapReduce Computations (POB, SR, IO, JL), pp. 1441–1451.
VLDB-2014-ChenFZLXCCCTZ #crowdsourcing #named #platform: gMission: A General Spatial Crowdsourcing Platform (ZC, RF, ZZ, ZL, LX, LC, PC, CCC, YT, CJZ), pp. 1629–1632.
VLDB-2014-DeutchMT #analysis #process: A Provenance Framework for Data-Dependent Process Analysis (DD, YM, VT), pp. 457–468.
VLDB-2014-LeiZRE #big data #query: Redoop Infrastructure for Recurring Big Data Queries (CL, ZZ, EAR, MYE), pp. 1589–1592.
VLDB-2014-SarmaHC #clustering #named #similarity #using: ClusterJoin: A Similarity Joins Framework using Map-Reduce (ADS, YH, SC), pp. 1059–1070.
VLDB-2014-SongSZZ #named #network #novel: PRESS: A Novel Framework of Trajectory Compression in Road Networks (RS, WS, BZ, YZ), pp. 661–672.
VLDB-2014-SunKXF #clustering: A Partitioning Framework for Aggressive Data Skipping (LS, SK, RSX, MJF), pp. 1617–1620.
VLDB-2014-ToGS #crowdsourcing #privacy: A Framework for Protecting Worker Location Privacy in Spatial Crowdsourcing (HT, GG, CS), pp. 919–930.
VLDB-2014-YanCLN #distributed #graph #named: Blogel: A Block-Centric Framework for Distributed Computation on Real-World Graphs (DY, JC, YL, WN), pp. 1981–1992.
VLDB-2014-ZouJLGWX #learning #named #platform: Mariana: Tencent Deep Learning Platform and its Applications (YZ, XJ, YL, ZG, EW, BX), pp. 1772–1777.
CSEET-2014-BullW #re-engineering: Observations of a software engineering studio: Reflecting with the studio framework (CNB, JW), pp. 74–83.
EDM-2014-NetoBGCWC #challenge #learning #multi #online #platform #student: Challenges on adopting BKT to model student knowledge in multi-context online learning platform (WLDMN, EB, FG, LC, NLW, PC), pp. 339–340.
EDM-2014-PeckhamM #comprehension #education #mining: Mining Reading Comprehension Within Educational Objective Frameworks (TP, GM), pp. 395–396.
ITiCSE-2014-PolitzKF #named #overview #platform #programming: CaptainTeach: a platform for in-flow peer review of programming assignments (JGP, SK, KF), p. 332.
ITiCSE-2014-Urquiza-FuentesCHMH #learning #platform #social #student #video: A social platform supporting learning through video creation by students (JUF, JC, IH, EM, PAH), p. 330.
SIGITE-2014-Halper #android #education #platform #programming #using: Using android as a platform for programming in the IT curriculum (MH), pp. 127–132.
ICPC-2014-KulkarniM #obfuscation #using: A code obfuscation framework using code clones (AK, RM), pp. 295–299.
ICSME-2014-Fokaefs #evolution #named #web #web service: WSDarwin: A Framework for the Support of Web Service Evolution (MF), p. 668.
MSR-2014-HindleWRBCR #energy #hardware #mining #named #repository: GreenMiner: a hardware based mining software repositories software energy consumption framework (AH, AW, KR, EJB, JCC, SR), pp. 12–21.
SCAM-2014-KosowerLR #c++ #documentation #named: Flowgen: Flowchart-Based Documentation Framework for C++ (DAK, JJLV, SAR), pp. 59–64.
IFM-2014-KordyPS #probability #security: A Probabilistic Framework for Security Scenarios with Dependent Actions (BK, MP, PS), pp. 256–271.
SEFM-2014-AttieBBJS #architecture: A General Framework for Architecture Composability (PCA, EB, SB, MJ, JS), pp. 128–143.
SEFM-2014-BratNSV #abstract interpretation #named #static analysis: IKOS: A Framework for Static Analysis Based on Abstract Interpretation (GB, JAN, NS, AV), pp. 271–277.
SEFM-2014-PardoS #network #policy #privacy #social: A Formal Privacy Policy Framework for Social Networks (RP, GS), pp. 378–392.
ICFP-2014-KakiJ #analysis #higher-order #relational: A relational framework for higher-order shape analysis (GK, SJ), pp. 311–324.
ILC-2014-WakitaHS #implementation #javascript #metaprogramming: Hygienic Macro System for JavaScript and Its Light-weight Implementation Framework (KW, KH, AS), p. 12.
CHI-PLAY-2014-ToupsHHJGG #communication #game studies: A framework for cooperative communication game mechanics from grounded theory (ZOT, JH, WAH, AJ, WG, OG), pp. 257–266.
FDG-2014-CarmichaelM: A framework for coherent emergent stories (GC, DM).
FDG-2014-HarrellKLLSMO #authoring #game studies #platform: Authoring conversational narratives in games with the Chimeria platform (DFH, DK, CUL, JL, AS, JM, DO).
FDG-2014-HornDSST #comparative #evaluation #generative: A comparative evaluation of procedural level generators in the Mario AI framework (BH, SD, NS, GS, JT).
VS-Games-2014-Bennett #game studies #generative #semantics: Semantic Content Generation Framework for Game Worlds (MB), pp. 1–8.
GRAPHITE-2014-FernandezKP #analysis #graph grammar #interactive #modelling: Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework (MF, HK, BP), pp. 15–29.
CHI-2014-AhmedJAFRRAM #named #platform: Protibadi: a platform for fighting sexual harassment in urban bangladesh (SIA, SJJ, NA, HSF, MRR, ASMR, SA, RSM), pp. 2695–2704.
CHI-2014-BentonVKJG #design #process: Diversity for design: a framework for involving neurodiverse children in the technology design process (LB, AV, RK, HJ, DG), pp. 3747–3756.
CHI-2014-ChengLLSB #people #platform: Haptic turk: a motion platform based on people (LPC, PL, PL, CS, PB), pp. 3463–3472.
CHI-2014-GohCTTS #collaboration #design #game studies #interactive: The MOY framework for collaborative play design in integrated shared and private interactive spaces (WBG, MC, CHT, JT, WS), pp. 391–400.
CHI-2014-HongMD #behaviour #platform: A smartphone-based sensing platform to model aggressive driving behaviors (JHH, BM, AKD), pp. 4047–4056.
CHI-2014-ObristCSPVS #case study #design #experience: Temporal, affective, and embodied characteristics of taste experiences: a framework for design (MO, RC, SS, BPF, CV, CS), pp. 2853–2862.
CSCW-2014-JohriS: The role of data in aligning the “unique identity” infrastructure in India (AJ, JS), pp. 697–709.
CSCW-2014-Ribes #how #research #scalability: Ethnography of scaling, or, how to a fit a national research infrastructure in the room (DR), pp. 158–170.
CSCW-2014-Ribes14a #kernel #research: The kernel of a research infrastructure (DR), pp. 574–587.
DHM-2014-FuCLCZ #modelling: Evaluating Work Disability of Lower Limb Handicapped within a Human Modeling Framework (YF, XC, SL, JGC, BZ), pp. 516–526.
DHM-2014-KhairatR #interactive: Building a Telemedicine Framework to Improve the Interactions between Cancer Patients and Oncology Triage Nurses (SK, VR), pp. 377–384.
DHM-2014-LiuTZSLSF #assessment #behaviour #modelling #named #performance #platform: COMPAss: A Space Cognitive Behavior Modeling and Performance Assessment Platform (YL, ZT, YZ, QS, JL, JS, FF), pp. 630–636.
DUXU-DI-2014-AderholdWCJGK #3d #implementation #novel #towards #web: The Common Implementation Framework as Service — Towards Novel Applications for Streamlined Presentation of 3D Content on the Web (AA, KW, MC, YJ, HG, AK), pp. 3–14.
DUXU-DI-2014-HeiskalaPVHM #information management #mobile #research: A Research Framework for the Smartphone-Based Contextual Study of Mobile Knowledge Work (MH, EP, MV, KH, HM), pp. 246–257.
DUXU-DP-2014-AlmeidaRN #evaluation #optimisation: Methodological Framework for Control Centres Evaluation and Optimization (AA, FR, PN), pp. 3–11.
DUXU-DP-2014-IpCLS #design #smarttech: The Wearable Self: Braiding a Feminist Critique within a Somaesthetics Framework for Design (EI, WWYC, SL, TS), pp. 285–296.
DUXU-TMT-2014-DoneyEF #behaviour: Keeping Creative Writing on Track: Co-designing a Framework to Support Behavior Change (PD, RE, MF), pp. 631–642.
HCI-AIMT-2014-AlghowinemAAAGW #design #elicitation: Design of an Emotion Elicitation Framework for Arabic Speakers (SA, SA, MA, AAW, RG, MW), pp. 717–728.
HCI-AIMT-2014-MullerT #simulation #workflow: An Emotional Framework for a Real-Life Worker Simulation — Emotional Valence Scoring Inside a Workflow Enhancement Simulator (NHM, MT), pp. 675–686.
HCI-AS-2014-AlvarezHHKLLL #game studies: From Screens to Devices and Tangible Objects: A Framework Applied to Serious Games Characterization (JA, SH, CH, CK, YL, SL, AL), pp. 559–570.
HCI-AS-2014-JiaNBBT #corpus #named #online #platform #research: CORPUS: Next-Generation Online Platform for Research Collaborations in Humanities (YJ, XN, RB, DB, ADT), pp. 3–12.
HIMI-AS-2014-JangKJS #analysis #reliability: A Framework of Human Reliability Analysis Method Considering Soft Control in Digital Main Control Rooms (IJ, ARK, WJ, PHS), pp. 335–346.
HIMI-AS-2014-TogawaK #collaboration #smarttech #using: Private Cloud Collaboration Framework for e-Learning Environment for Disaster Recovery Using Smartphone Alert Notification (ST, KK), pp. 118–126.
HIMI-DE-2014-JingLCYH #case study #design #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.
HIMI-DE-2014-LiGF #agile #collaboration #platform #research: Collaborative Innovation Research on Co-working Platform Based on Lean Startup Model (YL, QG, ZF), pp. 491–502.
HIMI-DE-2014-Miki #design #evaluation #experience #user interface: User Experience Evaluation Framework for Human-Centered Design (HM), pp. 602–612.
LCT-NLE-2014-ImranK #interactive #multi #named #platform: HIP — A Technology-Rich and Interactive Multimedia Pedagogical Platform (ASI, SJK), pp. 151–160.
LCT-NLE-2014-MirandaIC #information management: From Information Systems to e-Learning 3.0 Systems’s Critical Success Factors: A Framework Proposal (PM, PTI, CJC), pp. 180–191.
LCT-NLE-2014-YusoffS #concept #overview #tool support: A Review of Storyboard Tools, Concepts and Frameworks (NMY, SSS), pp. 73–82.
SCSM-2014-FardounA #approach #community #feedback #platform: Feedback Platform for Community Colleges: An Approach to Knowledge Excellence (HMF, AAMAG), pp. 306–313.
SCSM-2014-HardjonoDC #design #on the #self: On the Design of Trustworthy Compute Frameworks for Self-organizing Digital Institutions (TH, PD, JHC), pp. 342–353.
VISSOFT-2014-SchotsW #using #visualisation: Using a Task-Oriented Framework to Characterize Visualization Approaches (MS, CMLW), pp. 70–74.
CAiSE-2014-HeidingerBBR #named #towards: FACTS: A Framework for Anonymity towards Comparability, Transparency, and Sharing — Exploratory Paper (CH, KB, EB, KR), pp. 120–135.
CAiSE-2014-KayesHC #data access #named: PO-SAAC: A Purpose-Oriented Situation-Aware Access Control Framework for Software Services (ASMK, JH, AC), pp. 58–74.
CAiSE-2014-PikaWFHLA #behaviour #using: An Extensible Framework for Analysing Resource Behaviour Using Event Logs (AP, MTW, CJF, AHMtH, ML, WMPvdA), pp. 564–579.
EDOC-2014-0001HPW #execution #implementation #modelling: Implementation Framework for Production Case Management: Modeling and Execution (AM, NH, FP, MW), pp. 190–199.
EDOC-2014-GarciaV #abstraction #architecture #implementation #process: Object-Business Process Mapping Frameworks: Abstractions, Architecture, and Implementation (RG, MTV), pp. 160–169.
ICEIS-v1-2014-AdamB #database: External Database Extension Framework (AA, WB), pp. 249–255.
ICEIS-v1-2014-AmaralCRGTS #approach #data mining #image #mining: The SITSMining Framework — A Data Mining Approach for Satellite Image Time Series (BFA, DYTC, LASR, RRdVG, AJMT, EPMdS), pp. 225–232.
ICEIS-v1-2014-FaheemK #algorithm #architecture #case study #multi #problem: A Multiagent-based Framework for Solving Computationally Intensive Problems on Heterogeneous Architectures — Bioinformatics Algorithms as a Case Study (HMF, BKR), pp. 526–533.
ICEIS-v1-2014-FolinoGP #modelling #predict: A Framework for the Discovery of Predictive Fix-time Models (FF, MG, LP), pp. 99–108.
ICEIS-v1-2014-LettnerZ #data analysis #industrial #product line: A Data Analysis Framework for High-variety Product Lines in the Industrial Manufacturing Domain (CL, MZ), pp. 209–216.
ICEIS-v2-2014-FeuerlichtT #evolution #perspective: Service Consumer Framework — Managing Service Evolution from a Consumer Perspective (GF, HTT), pp. 665–672.
ICEIS-v2-2014-HoosGKM #analysis #identification #mobile #process: Improving Business Processes Through Mobile Apps — An Analysis Framework to Identify Value-added App Usage Scenarios (EH, CG, SK, BM), pp. 71–82.
ICEIS-v2-2014-PfisterHN #agile #concurrent #design #diagrams #metamodelling #modelling #synthesis #towards #visual notation: A Framework for Concurrent Design of Metamodels and Diagrams — Towards an Agile Method for the Synthesis of Domain Specific Graphical Modeling Languages (FP, MH, CN), pp. 298–306.
ICEIS-v2-2014-PintoDOC #aspect-oriented #development #modelling #multi #product line #programming #towards: Evaluating the Effort for Modularizing Multiple-Domain Frameworks Towards Framework Product Lines with Aspect-oriented Programming and Model-driven Development (VHSCP, RSD, ALO, VVdC), pp. 60–70.
ICEIS-v2-2014-Silva #automation #quality #requirements #specification #validation: Quality of Requirements Specifications — A Framework for Automatic Validation of Requirements (ARdS), pp. 96–107.
ICEIS-v2-2014-ZhengLLZX #e-commerce #game studies #platform: e-Commerce Game Model — Balancing Platform Service Charges with Vendor Profitability (JZ, DLL, WL, ZKZ, HX), pp. 613–619.
ICEIS-v3-2014-DinhVM #information management: A Knowledge Management Framework for Knowledge-Intensive SMEs (TLD, THV, ÉM), pp. 435–440.
ICEIS-v3-2014-DionisioT #assessment #enterprise: ETA Framework — Enterprise Transformation Assessment (RD, JT), pp. 190–200.
ICEIS-v3-2014-DSouzaBHWV #assessment #modelling #ontology: An Assessment Framework for Business Model Ontologies to Ensure the Viability of Business Models (AD, NRTPvB, GBH, JCW, HV), pp. 226–235.
ICEIS-v3-2014-GhezziCRB #rest: Applications of the REST Framework to Test Technology Activation in Different ICT Domains (AG, AC, AR, RB), pp. 87–91.
ICEIS-v3-2014-Guerreiro #multi #towards #transaction: Towards Multi-level Organizational Control Framework to Manage the Business Transaction Workarounds (SG), pp. 288–294.
ICEIS-v3-2014-KwanroengjaiLTS #performance: Operational Alignment Framework for Improving Business Performance of an Organisation (JK, KL, CT, LS), pp. 352–359.
ICEIS-v3-2014-OussenaEK #architecture #enterprise #formal method #metamodelling #validation: Formalization of Validation Extension Metamodel for Enterprise Architecture Frameworks (SO, JE, PK), pp. 427–434.
ICEIS-v3-2014-RavasanRH #approach #fuzzy #process #using: A Practical Framework for Business Process Management Suites Selection Using Fuzzy TOPSIS Approach (AZR, SR, HH), pp. 295–302.
ICEIS-v3-2014-SwennenDVJ #testing #towards: Towards a General Framework for Business Tests (MS, BD, KV, MJ), pp. 478–483.
CIKM-2014-GressD #flexibility #semistructured data: A Flexible Framework for Projecting Heterogeneous Data (AG, ID), pp. 1169–1178.
CIKM-2014-HongBH #classification #multi: A Mixtures-of-Trees Framework for Multi-Label Classification (CH, IB, MH), pp. 211–220.
CIKM-2014-MukherjeeAJ #corpus #ontology: Domain Cartridge: Unsupervised Framework for Shallow Domain Ontology Construction from Corpus (SM, JA, SJ), pp. 929–938.
CIKM-2014-XiePLW #image #learning #multi: A Cross-modal Multi-task Learning Framework for Image Annotation (LX, PP, YL, SW), pp. 431–440.
CIKM-2014-XuBBGWLL #named #word: RC-NET: A General Framework for Incorporating Knowledge into Word Representations (CX, YB, JB, BG, GW, XL, TYL), pp. 1219–1228.
CIKM-2014-XuHCWHBA #performance: A Demonstration of SearchonTS: An Efficient Pattern Search Framework for Time Series Data (XX, SH, YC, CW, IH, KB, MA), pp. 2015–2017.
CIKM-2014-Zhang0T #collaboration #named #probability #query: MaC: A Probabilistic Framework for Query Answering with Machine-Crowd Collaboration (CJZ, LC, YT), pp. 11–20.
CIKM-2014-ZhangXTW0 #clustering #generative #named #platform #wiki: WiiCluster: a Platform for Wikipedia Infobox Generation (KZ, YX, HT, HW, WW), pp. 2033–2035.
CIKM-2014-ZhaoWLZ #mining #refinement #word: A Bootstrapping Based Refinement Framework for Mining Opinion Words and Targets (QZ, HW, PL, CZ), pp. 1995–1998.
ICML-c2-2014-BaiLS #classification #online: A Bayesian Framework for Online Classifier Ensemble (QB, HL, SS), pp. 1584–1592.
ICML-c2-2014-HonorioJ #consistency: A Unified Framework for Consistency of Regularized Loss Minimizers (JH, TSJ), pp. 136–144.
ICPR-2014-AfkhamEC #modelling: A Topological Framework for Training Latent Variable Models (HMA, CHE, SC), pp. 2471–2476.
ICPR-2014-BagheriHGE #classification #multi #recognition: A Framework of Multi-classifier Fusion for Human Action Recognition (MAB, GH, QG, SE), pp. 1260–1265.
ICPR-2014-BenhabilesTV #3d #retrieval: Belief-Function-Based Framework for Deformable 3D-Shape Retrieval (HB, HT, JPV), pp. 285–290.
ICPR-2014-ChakeriH #approach #clustering #game studies #set: Dominant Sets as a Framework for Cluster Ensembles: An Evolutionary Game Theory Approach (AC, LOH), pp. 3457–3462.
ICPR-2014-FanSCD #learning #online #robust #taxonomy: A Unified Online Dictionary Learning Framework with Label Information for Robust Object Tracking (BF, JS, YC, YD), pp. 2311–2316.
ICPR-2014-HobsonLPVW #anti #benchmark #image #metric #platform: Classifying Anti-nuclear Antibodies HEp-2 Images: A Benchmarking Platform (PH, BCL, GP, MV, AW), pp. 3233–3238.
ICPR-2014-HuangW0T #network: A General Nonlinear Embedding Framework Based on Deep Neural Network (YH, WW, LW, TT), pp. 732–737.
ICPR-2014-HuWSC #detection #robust #using: Robust Head-Shoulder Detection Using a Two-Stage Cascade Framework (RH, RW, SS, XC), pp. 2796–2801.
ICPR-2014-MoriKO #analysis #collaboration #online #platform #search-based: Search-Based Content Analysis System on Online Collaborative Platform for Film Production (MM, HK, MO), pp. 1091–1096.
ICPR-2014-NguyenGVP #parametricity #process #recognition #using: A Bayesian Nonparametric Framework for Activity Recognition Using Accelerometer Data (TN, SKG, SV, DQP), pp. 2017–2022.
ICPR-2014-PertuzJP #image #novel #representation: A Novel Mammography Image Representation Framework with Application to Image Registration (SP, CJ, DP), pp. 3292–3297.
ICPR-2014-QuLWXT #robust #set: Robust Point Set Matching under Variational Bayesian Framework (HBQ, JCL, JQW, LX, HJT), pp. 58–63.
ICPR-2014-ShenHSGM #interactive #learning: Interactive Framework for Insect Tracking with Active Learning (MS, WH, PS, CGG, DM), pp. 2733–2738.
ICPR-2014-TanYZBYMM #automation #quantifier #robust: An Automated and Robust Framework for Quantification of Muscle and Fat in the Thigh (CT, ZY, SZ, BB, HJY, CM, DNM), pp. 3173–3178.
ICPR-2014-WangWH #learning #multi #predict #risk management: A Multi-task Learning Framework for Joint Disease Risk Prediction and Comorbidity Discovery (XW, FW, JH), pp. 220–225.
KDD-2014-AhmedDNK #graph: Graph sample and hold: a framework for big-graph analytics (NKA, NGD, JN, RRK), pp. 1446–1455.
KDD-2014-EmbarPB #network: A bayesian framework for estimating properties of network diffusions (VRE, RKP, IB), pp. 1216–1225.
KEOD-2014-HlomaniS #category theory #data-driven #evaluation #metric #ontology: Data-driven Diachronic and Categorical Evaluation of Ontologies — Framework, Measure, and Metrics (HH, DAS), pp. 56–66.
KEOD-2014-TawfikGB #interactive #multi #platform: An Interactive Platform for Multilingual Linguistic Resource Enrichment (AT, FG, FB), pp. 195–206.
KMIS-2014-PascalT #clustering #experience #information management #memory management #platform: Transactive Memory System in Clusters — The Knowledge Management Platform Experience (AP, CT), pp. 5–14.
KR-2014-DoutreHP #logic: A Dynamic Logic Framework for Abstract Argumentation (SD, AH, LP).
KR-2014-StrassW #approximate #complexity #fixpoint: Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory (HS, JPW).
RecSys-2014-BauerN #matrix: A framework for matrix factorization based on general distributions (JB, AN), pp. 249–256.
RecSys-2014-KellerR #e-commerce #named #platform #recommendation: Cosibon: an E-commerce like platform enabling bricks-and-mortar stores to use sophisticated product recommender systems (TK, MR), pp. 367–368.
RecSys-2014-LiuA #recommendation #towards: Towards a dynamic top-N recommendation framework (XL, KA), pp. 217–224.
RecSys-2014-SaidB #benchmark #comparative #evaluation #metric #recommendation: Comparative recommender system evaluation: benchmarking recommendation frameworks (AS, AB), pp. 129–136.
SEKE-2014-ChenCH #energy: Applications of Slow Intelligence Frameworks for Energy-Saving Control (WHC, SKC, WPH), pp. 511–515.
SEKE-2014-NetoASFM #architecture #behaviour #data transformation #modelling #named #using: CoMoVi: a Framework for Data Transformation in Credit Behavioral Scoring Applications Using Model Driven Architecture (RFON, PJLA, ACS, DRdCF, GRM), pp. 286–291.
SEKE-2014-OliveiraMGND #source code #testing: An Extensible Framework to Implement Test Oracle for Non-Testable Programs (RAPO, AMM, VNG, FLSN, MED), pp. 199–204.
SEKE-2014-OrtinPQG #implementation #named #object-oriented: TyS — A Framework to Facilitate the Implementation of Object-Oriented Type Checkers (FO, DZP, JQ, MG), pp. 150–155.
SEKE-2014-RockHW #benchmark #challenge #comparison #evaluation #metric #performance: Performance Benchmarking of BPEL Engines: A Comparison Framework, Status Quo Evaluation and Challenges (CR, SH, GW), pp. 31–34.
SEKE-2014-ZhuangZL #fine-grained #layout #reuse #runtime: Runtime Code Reuse Attacks: A Dynamic Framework Bypassing Fine-Grained Address Space Layout Randomization (YZ, TZ, ZL), pp. 609–614.
BX-2014-MacedoCP #model transformation #multi #towards: Towards a Framework for Multidirectional Model Transformations (NM, AC, HP), pp. 71–74.
ECMFA-2014-Goldschmidt #domain-specific language #multi #platform #towards: Towards an Infrastructure for Domain-Specific Languages in a Multi-domain Cloud Platform (TG), pp. 242–253.
ECMFA-2014-LaurentBBG #alloy #process #verification: Alloy4SPV : A Formal Framework for Software Process Verification (YL, RB, SB, MPG), pp. 83–100.
ECMFA-2014-PierreCGB #adaptation: A Family-Based Framework for i-DSML Adaptation (SP, EC, OLG, FB), pp. 164–179.
ECMFA-2014-YueA #metric #modelling #quality: A MOF-Based Framework for Defining Metrics to Measure the Quality of Models (TY, SA), pp. 213–229.
MoDELS-2014-ShahWKRPB #benchmark #metric #persistent #scalability: A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence (SMS, RW, DSK, LMR, RFP, KB), pp. 586–601.
MoDELS-2014-SzarnyasIRHBV #distributed #in the cloud #incremental #named #query: IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud (GS, BI, IR, DH, GB, DV), pp. 653–669.
ECOOP-2014-KarimDG #legacy: Retargetting Legacy Browser Extensions to Modern Extension Frameworks (RK, MD, VG), pp. 463–488.
ECOOP-2014-MayerS #automation #domain-specific language #java #multi #refactoring: Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks (PM, AS), pp. 437–462.
ECOOP-2014-NittaKT #identification: Identifying Mandatory Code for Framework Use via a Single Application Trace (NN, IK, YT), pp. 593–617.
AdaEurope-2014-PedroPPP #ada #programming language #runtime #towards #verification: Towards a Runtime Verification Framework for the Ada Programming Language (AdMP, DP, LMP, JSP), pp. 58–73.
AdaEurope-2014-Shawky #challenge #design #embedded: Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems (MS), pp. 7–10.
HILT-2014-RathjeR #java #model checking #network #source code: A framework for model checking UDP network programs with Java pathfinder (WR, BR), pp. 81–86.
LOPSTR-2014-LucasMG #2d #dependence #term rewriting: Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems (SL, JM, RG), pp. 113–130.
PLDI-2014-LeG #named: FlashExtract: a framework for data extraction by examples (VL, SG), p. 55.
PLDI-2014-StockKGPRRS #order #reuse: A framework for enhancing data reuse via associative reordering (KS, MK, TG, LNP, FR, JR, PS), p. 10.
RE-2014-PorterLS #case study #experience #feedback #requirements #using: Building a National E-Service using Sentire experience report on the use of Sentire: A volere-based requirements framework driven by calibrated personas and simulated user feedback (CP, EL, MAS), pp. 374–383.
REFSQ-2014-VierhauserRG #monitoring #requirements: A Requirements Monitoring Infrastructure for Very-Large-Scale Software Systems (MV, RR, PG), pp. 88–94.
ASE-2014-Vierhauser #monitoring #requirements: A requirements monitoring infrastructure for systems of systems (MV), pp. 887–890.
FSE-2014-Joseph #interactive #machine learning: Software programmer management: a machine learning and human computer interaction framework for optimal task assignment (HRJ), pp. 826–828.
FSE-2014-KashyapDKWGSWH #javascript #named #platform #static analysis: JSAI: a static analysis platform for JavaScript (VK, KD, EAK, JW, KG, JS, BW, BH), pp. 121–132.
ICSE-2014-ManotasPC #energy #named: SEEDS: a software engineer’s energy-optimization decision support framework (ILMG, LLP, JC), pp. 503–514.
ICSE-2014-YuSR #automation #named #testing: SimRT: an automated framework to support regression testing for data races (TY, WSa, GR), pp. 48–59.
SAC-2014-BoghratiHK #process #using: Activities performed by programmers while using framework examples as a guide (RB, AH, MK), pp. 1146–1151.
SAC-2014-CamaraLLVV #adaptation #evaluation #robust #self: Robustness evaluation of the rainbow framework for self-adaptation (JC, RdL, NL, RV, MV), pp. 376–383.
SAC-2014-FanC #approximate #network #scalability #social: An approximate framework for scaling social influence computation in large networks (YCF, HC), pp. 610–615.
SAC-2014-FieldAE #development #energy #named: EACOF: a framework for providing energy transparency to enable energy-aware software development (HF, GA, KE), pp. 1194–1199.
SAC-2014-GomesACHS #agile #development #game studies #platform #using: Rapid development of first person serious games using the APEX platform: the asthma game (TG, TA, JCC, MDH, JLS), pp. 169–174.
SAC-2014-KatebFNMAT #modelling #multi #optimisation #platform #runtime: Generic cloud platform multi-objective optimization leveraging models@run.time (DEK, FF, GN, JAM, MA, YLT), pp. 343–350.
SAC-2014-KinaiBWMWS #platform: Traffic 411: a traffic congestion routing and awareness platform for Nairobi (AK, REB, AWB, EM, KW, OS), pp. 1475–1476.
SAC-2014-KumeNNS #dynamic analysis: A dynamic analysis technique to extract symptoms that suggest side effects in framework applications (IK, NN, MN, ES), pp. 1176–1178.
SAC-2014-Le #android #modelling: A model driven framework for modeling and composing service based Android applications (CL), pp. 450–457.
SAC-2014-MesmoudiH #declarative #query #scalability: A test framework for large scale declarative queries: preliminary results (AM, MSH), pp. 858–859.
SAC-2014-OliveiraNV #towards: Towards a framework for relevant guidance (EHTO, EHN, RMV), pp. 241–242.
SAC-2014-ParkKC #kernel #memory management #online #platform #using: Cooperative kernel: online memory test platform using inter-kernel context switch and memory isolation (HP, DK, JC), pp. 1517–1522.
SAC-2014-Sechting #independence #platform: A platform independent scheduler framework (CRS), pp. 1552–1553.
SAC-2014-SeoKTC #analysis #network #social: A structural analysis of literary fictions with social network framework (JS, SHK, HT, HGC), pp. 634–640.
SAC-2014-WangZC #composition #energy #network: An energy-aware service composition framework for service-oriented wireless sensor networks (TW, KZ, LC), pp. 408–410.
SAC-2014-ZanattaBGL #component #monitoring #off the shelf: Building a WSN infrastructure with COTS components for the thermal monitoring of datacenters (GZ, GDB, RG, JCBL), pp. 1443–1448.
GPCE-2014-HillF #object-oriented: Pin++: an object-oriented framework for writing pintools (JHH, DCF), pp. 133–141.
SLE-2014-ChisGN #debugging: The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers (AC, TG, ON), pp. 102–121.
SLE-2014-MeyersDLSVW #generative #named: ProMoBox: A Framework for Generating Domain-Specific Property Languages (BM, RD, LL, ES, HV, MW), pp. 1–20.
SLE-2014-PredaGLMG #adaptation #distributed #named: AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications (MDP, SG, IL, JM, MG), pp. 161–170.
ASPLOS-2014-WangGSKLK: Underprovisioning backup power infrastructure for datacenters (DW, SG, AS, AK, JL, BK), pp. 177–192.
CASE-2014-ChenLHLTCC #development #industrial: Development of Auto-scaling Cloud Manufacturing Framework for machine tool industry (CCC, YCL, MHH, CYL, YJT, MSC, FTC), pp. 893–898.
CASE-2014-HerrNV #complexity #distributed #scheduling: Prognostics-based scheduling in a distributed platform: Model, complexity and resolution (NH, JMN, CV), pp. 1054–1059.
CASE-2014-LeeJMC #identification #recognition #robust: Iterative identification framework for robust hand-written digit recognition under extremely noisy conditions (HL, SJ, TM, NYC), pp. 728–733.
CASE-2014-MarkovskiH #modelling #reliability: A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions (JM, HH), pp. 436–442.
CASE-2014-MatsumotoY #3d #classification #image: An object classification framework based on unmeasurable area patterns found in 3D range images (KM, KY), pp. 242–248.
CASE-2014-XuZHCLC #multi #optimisation #simulation: An ordinal transformation framework for multi-fidelity simulation optimization (JX, SZ, EH, CHC, LHL, NC), pp. 385–390.
CASE-2014-YanLP #dependence #fault #integration #matrix: Fault diagnosis framework for Air Handling Units based on the integration of Dependency matrices and PCA (YY, PBL, KRP), pp. 1103–1108.
DAC-2014-JavaidYSBP #component #metric #named: FALCON: A Framework for HierarchicAL Computation of Metrics for CompONent-Based Parameterized SoCs (HJ, YY, SMMS, HB, SP), p. 6.
DAC-2014-KongKPSW #embedded #named #novel #platform: PUFatt: Embedded Platform Attestation Based on Novel Processor-Based PUFs (JK, FK, PKP, ARS, CW), p. 6.
DAC-2014-RaiHST #detection #fault #performance #realtime: An Efficient Real Time Fault Detection and Tolerance Framework Validated on the Intel SCC Processor (DR, PH, NS, LT), p. 6.
DAC-2014-SagstetterAWLSCK #architecture #integration: Schedule Integration Framework for Time-Triggered Automotive Architectures (FS, SA, PW, ML, HS, SC, AK), p. 6.
DAC-2014-XueQBYT #analysis #manycore #platform #scalability: Disease Diagnosis-on-a-Chip: Large Scale Networks-on-Chip based Multicore Platform for Protein Folding Analysis (YX, ZQ, PB, FY, CYT), p. 6.
DAC-2014-YangHCLRX #behaviour #certification #scalability #synthesis: Scalable Certification Framework for Behavioral Synthesis Front-End (ZY, KH, KC, LL, SR, FX), p. 6.
DAC-2014-ZhangYYX #approximate #named: ApproxIt: An Approximate Computing Framework for Iterative Methods (QZ, FY, RY, QX), p. 6.
DAC-2014-ZhuangWLC #distributed #named #network #simulation: MATEX: A Distributed Framework for Transient Simulation of Power Distribution Networks (HZ, SHW, JHL, CKC), p. 6.
DATE-2014-BournoutianO #mobile #optimisation: On-device objective-C application optimization framework for high-performance mobile processors (GB, AO), pp. 1–6.
DATE-2014-ChenWP #capacity #concurrent #distributed: Concurrent placement, capacity provisioning, and request flow control for a distributed cloud infrastructure (SC, YW, MP), pp. 1–6.
DATE-2014-GanapathyCACGR #analysis #memory management #named #robust: INFORMER: An integrated framework for early-stage memory robustness analysis (SG, RC, DA, EC, AG, AR), pp. 1–4.
DATE-2014-GaoGWP #energy #fault #fault tolerance #in the cloud #scheduling: An energy-aware fault tolerant scheduling framework for soft error resilient cloud computing systems (YG, SKG, YW, MP), pp. 1–6.
DATE-2014-LeeF #named #realtime #runtime #scheduling: GPU-EvR: Run-time event based real-time scheduling framework on GPGPU platform (HL, MAAF), pp. 1–6.
DATE-2014-LeeWP #configuration management #manycore #named: VRCon: Dynamic reconfiguration of voltage regulators in a multicore platform (WL, YW, MP), pp. 1–6.
DATE-2014-MaliukM #network #prototype: An analog non-volatile neural network platform for prototyping RF BIST solutions (DM, YM), pp. 1–6.
DATE-2014-MottaghiRD #named #network #performance: RETLab: A fast design-automation framework for arbitrary RET networks (MDM, AR, CD), pp. 1–6.
DATE-2014-RosvallS #constraints #design #realtime: A constraint-based design space exploration framework for real-time applications on MPSoCs (KR, IS), pp. 1–6.
DATE-2014-ZhangDGLZXS #named #simulation: MSim: A general cycle accurate simulation platform for memcomputing studies (CZ, PD, HG, JL, QZ, JX, YS), pp. 1–5.
DATE-2014-ZuoloZMGICPOB #design #fine-grained #named: SSDExplorer: A virtual platform for fine-grained design space exploration of Solid State Drives (LZ, CZ, RM, SG, MI, SDC, PP, PO, DB), pp. 1–6.
HPDC-2014-DaiCKRZ #incremental #named: Domino: an incremental computing framework in cloud with eventual synchronization (DD, YC, DK, RBR, XZ), pp. 291–294.
HPDC-2014-KriederWAWKGFR #design #evaluation: Design and evaluation of the gemtc framework for GPU-enabled many-task computing (SJK, JMW, TGA, MW, DSK, BG, ITF, IR), pp. 153–164.
HPDC-2014-RajachandrasekarPVHWP #architecture #distributed #named: MIC-Check: a distributed check pointing framework for the intel many integrated cores architecture (RR, SP, AV, KH, MWuR, DKP), pp. 121–124.
LCTES-2014-BebelisFG #data flow #manycore #parametricity #platform: A framework to schedule parametric dataflow applications on many-core platforms (VB, PF, AG), pp. 125–134.
OSDI-2014-GonzalezXDCFS #data flow #distributed #graph #named: GraphX: Graph Processing in a Distributed Dataflow Framework (JEG, RSX, AD, DC, MJF, IS), pp. 599–613.
OSDI-2014-WangLZCT #interpreter #kernel #named: Jitk: A Trustworthy In-Kernel Interpreter Infrastructure (XW, DL, NZ, AC, ZT), pp. 33–47.
PDP-2014-RonchieriCDCTCSCMM #analysis #case study: The WNoDeS Cloud Virtualization Framework: A Macromolecular Surface Analysis Application Case Study (ER, DC, DD, VC, GDT, PC, DS, AC, LM, IM), pp. 218–222.
PPoPP-2014-MehtaLY: Revisiting loop fusion in the polyhedral framework (SM, PHL, PCY), pp. 233–246.
PPoPP-2014-YanLZZ #named: yaSpMV: yet another SpMV framework on GPUs (SY, CL, YZ, HZ), pp. 107–118.
FASE-2014-CristiaMF #integration #testing: Integration Testing in the Test Template Framework (MC, JM, CSF), pp. 400–414.
WRLA-2014-LiuOM #ad hoc #maude #mobile #network #realtime: A Framework for Mobile Ad hoc Networks in Real-Time Maude (SL, PCÖ, JM), pp. 162–177.
WRLA-2014-ZhangCO #semantics #standard #𝕂: A Formal Semantics of the OSEK/VDX Standard in 𝕂 Framework and Its Applications (MZ, YC, KO), pp. 280–296.
CAV-2014-0001LMN #invariant #learning #named #robust: ICE: A Robust Framework for Learning Invariants (PG, CL, PM, DN), pp. 69–87.
ICST-2014-KimXKCR #hybrid #testing: Hybrid Directed Test Suite Augmentation: An Interleaving Framework (YK, ZX, MK, MBC, GR), pp. 263–272.
ICST-2014-YuSCR #embedded #named #testing #worst-case: SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded Software (TY, WSa, MBC, GR), pp. 313–322.
ICTSS-2014-ChabotP #embedded #hardware #monitoring: A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems (MC, LP), pp. 173–179.
ICTSS-2014-Estero-BotaroGDPM #composition #generative #search-based #testing: A Framework for Genetic Test-Case Generation for WS-BPEL Compositions (AEB, AGD, JJDJ, FPL, IMB), pp. 1–16.
IJCAR-2014-StumpST #logic #named: StarExec: A Cross-Community Infrastructure for Logic Solving (AS, GS, CT), pp. 367–373.
ISSTA-2014-HendersonPYHWZY #analysis #performance #platform: Make it work, make it right, make it fast: building a platform-neutral whole-system dynamic binary analysis platform (AH, AP, LKY, XH, XW, RZ, HY), pp. 248–258.
ISSTA-2014-Just #analysis #java #mutation testing #performance #scalability: The major mutation framework: efficient and scalable mutation analysis for Java (RJ), pp. 433–436.
ISSTA-2014-MarinescuHC #analysis #evolution #named: Covrig: a framework for the analysis of code, test, and coverage evolution in real software (PDM, PH, CC), pp. 93–104.
SAT-2014-Gableske #satisfiability: An Ising Model Inspired Extension of the Product-Based MP Framework for SAT (OG), pp. 367–383.
VMCAI-2014-DragoiHVWZ #algorithm #verification: A Logic-Based Framework for Verifying Consensus Algorithms (CD, TAH, HV, JW, DZ), pp. 161–181.
CBSE-2013-JohnsonCK #component #incremental #verification: An incremental verification framework for component-based software systems (KJ, RC, SK), pp. 33–42.
CBSE-2013-VanwormhoudtF #adaptation #component #named: CIAO: a component model and its OSGi framework for dynamically adaptable telephony applications (GV, AF), pp. 23–32.
QoSA-2013-TekinerdoganD #architecture #evaluation: Evaluation framework for software architecture viewpoint languages (BT, ED), pp. 89–98.
DocEng-2013-SadallahEMP #documentation #re-engineering: A framework for usage-based document reengineering (MS, BE, AeM, YP), pp. 99–102.
DRR-2013-KumarWGS #keyword #using: Segmentation-free keyword spotting framework using dynamic background model (GK, SW, VG, RS).
DRR-2013-MaA #documentation #image: A super resolution framework for low resolution document image OCR (DM, GA).
HT-2013-ZhangZLM #collaboration #matrix: A general collaborative filtering framework based on matrix bordered block diagonal forms (YZ, MZ, YL, SM), pp. 219–224.
ICDAR-2013-HebertNP #documentation #image: Discrete CRF Based Combination Framework for Document Image Binarization (DH, SN, TP), pp. 1165–1169.
ICDAR-2013-MoghaddamMC #automation #documentation #image: Unsupervised Ensemble of Experts (EoE) Framework for Automatic Binarization of Document Images (RFM, FFM, MC), pp. 703–707.
ICDAR-2013-RamaiahSG #modelling: A Bayesian Framework for Modeling Accents in Handwriting (CR, AS, VG), pp. 917–921.
ICDAR-2013-ShiSG #documentation #image #modelling: A Model Based Framework for Table Processing in Degraded Document Images (ZS, SS, VG), pp. 963–967.
ICDAR-2013-YinLS #analysis #detection #documentation #image #multi #novel: A Novel Multi-view Object Class Detection Framework for Document Image Content Analysis (WY, TL, FS), pp. 1095–1099.
PODS-2013-FaginKRV #information management #named: Spanners: a formal framework for information extraction (RF, BK, FR, SV), pp. 37–48.
SIGMOD-2013-GeorgiadisKGPTM #algorithm #data type #detection #state of the art: Continuous outlier detection in data streams: an extensible framework and state-of-the-art algorithms (DG, MK, AG, ANP, KT, YM), pp. 1061–1064.
SIGMOD-2013-GuilleFHZ #analysis #mining #named #open source #platform #social: SONDY: an open source platform for social dynamics mining and analysis (AG, CF, HH, DAZ), pp. 1005–1008.
SIGMOD-2013-QiaoSDQSGCSZABBGGIJLPRSSSSTTWZ #distributed #on the #platform: On brewing fresh espresso: LinkedIn’s distributed data serving platform (LQ, KS, SD, TQ, BS, BG, AC, OS, ZZ, AA, CB, GB, MG, KG, WI, SJ, SL, AP, AR, AS, RS, SS, YS, ST, CT, JW, DZ), pp. 1135–1146.
SIGMOD-2013-SimitsisW0 #data flow #named #platform: xPAD: a platform for analytic data flows (AS, KW, PJ), pp. 1109–1112.
TPDL-2013-SompelNKS #named: ResourceSync: The NISO/OAI Resource Synchronization Framework (HVdS, MLN, MK, RS), pp. 488–489.
VLDB-2013-ArmenatzoglouPP #query: A General Framework for Geo-Social Query Processing (NA, SP, DP), pp. 913–924.
VLDB-2013-BediniEV #big data #case study #platform #scalability: The Trento Big Data Platform for Public Administration and Large Companies: Use cases and Opportunities (IB, BE, YV), pp. 1166–1167.
VLDB-2013-BellareCMMRS #knowledge base #multitenancy #named #platform #scalability #synthesis: WOO: A Scalable and Multi-tenant Platform for Continuous Knowledge Base Synthesis (KB, CC, AM, PM, MR, AS), pp. 1114–1125.
VLDB-2013-ChunCCRSW #execution #named: REEF: Retainable Evaluator Execution Framework (BGC, TC, CC, RR, RS, MW), pp. 1370–1373.
VLDB-2013-EldawyM #performance #pipes and filters: A Demonstration of SpatialHadoop: An Efficient MapReduce Framework for Spatial Data (AE, MFM), pp. 1230–1233.
VLDB-2013-ElmeleegyL0WWKDC #data transformation #overview #platform: Overview of Turn Data Management Platform for Digital Advertising (HE, YL, YQ, PW, MW, SK, AD, SC), pp. 1138–1149.
VLDB-2013-GeertsMPS: The LLUNATIC Data-Cleaning Framework (FG, GM, PP, DS), pp. 625–636.
VLDB-2013-HendawiBM #named #network #predict #query #scalability: iRoad: A Framework For Scalable Predictive Query Processing On Road Networks (AMH, JB, MFM), pp. 1262–1265.
VLDB-2013-LinMRRW #mining #named #online #parametricity: PARAS: A Parameter Space Framework for Online Association Mining (XL, AM, EAR, CR, MOW), pp. 193–204.
VLDB-2013-LiWC #automation #monitoring #platform #social #topic #towards #twitter: Towards Social Data Platform: Automatic Topic-focused Monitor for Twitter Stream (RL, SW, KCCC), pp. 1966–1977.
VLDB-2013-MottinMRDPV #optimisation #probability #problem: A Probabilistic Optimization Framework for the Empty-Answer Problem (DM, AM, SBR, GD, TP, YV), pp. 1762–1773.
VLDB-2013-NagendraC #named: SkySuite: A Framework of Skyline-Join Operators for Static and Stream Environments (MN, KSC), pp. 1266–1269.
VLDB-2013-RamazzinaBS #platform: A New Service for Customer Care Based on the TrentoRise BigData Platform (SR, CLB, DS), pp. 1162–1163.
VLDB-2013-SatheO0A #named #platform #query: EnviroMeter: A Platform for Querying Community-Sensed Data (SS, AO, DC, KA), pp. 1294–1297.
VLDB-2013-SikkaFGL #enterprise #evolution #in memory #platform: SAP HANA: The Evolution from a Modern Main-Memory Data Platform to an Enterprise Application Platform (VS, FF, AKG, WL), pp. 1184–1185.
VLDB-2014-WangC13 #multi #optimisation #pipes and filters: Multi-Query Optimization in MapReduce Framework (GW, CYC), pp. 145–156.
CSEET-2013-NgH #education #industrial #named #re-engineering: Essence: A framework to help bridge the gap between software engineering education and industry needs (PWN, SH), pp. 304–308.
ITiCSE-2013-EdwardsA #android #named: Sofia: the simple open framework for inventive android applications (SHE, AA), p. 321.
ITiCSE-2013-MellodgeR #arduino #case study #experience #learning #platform #student #using: Using the arduino platform to enhance student learning experiences (PM, IR), p. 338.
ITiCSE-2013-Paule-RuizGPG #evaluation #interactive #learning: Voice interactive learning: a framework and evaluation (MPPR, VMÁG, JRPP, MRG), pp. 34–39.
ITiCSE-2013-ReedZ #learning: A hierarchical framework for mapping and quantitatively assessing program and learning outcomes (JR, HZ), pp. 52–57.
SIGITE-2013-Gibbons #design #game studies #named: COR: a new course framework based on elements of game design (TEG), pp. 77–82.
SIGITE-2013-HillC #development #education #hardware #low cost #open source #platform #programming #student #using: Using a low-cost open source hardware development platform in teaching young students programming skills (LWH, SC), pp. 63–68.
CSMR-2013-Businge #co-evolution #eclipse #plugin: Co-evolution of the Eclipse SDK Framework and Its Third-Party Plug-Ins (JB), pp. 427–430.
CSMR-2013-JamshidiGAP #architecture #evolution #research: A Framework for Classifying and Comparing Architecture-centric Software Evolution Research (PJ, MG, AA, CP), pp. 305–314.
CSMR-2013-PengABCTR #named #process: MDO: Framework for Context-Aware Process Mobility in Building-Maintenance Domain (TP, GA, DB, AC, TJT, MR), pp. 449–452.
ICPC-2013-MayerS #java: Patterns of cross-language linking in java frameworks (PM, AS), pp. 113–122.
ICSM-2013-AnandEKSBK #abstraction #analysis #bytecode #memory management #stack: An Accurate Stack Memory Abstraction and Symbolic Analysis Framework for Executables (KA, KE, AK, MS, RB, ADK), pp. 90–99.
ICSM-2013-CollardDM #analysis #named #semiparsing #source code #tool support: srcML: An Infrastructure for the Exploration, Analysis, and Manipulation of Source Code: A Tool Demonstration (MLC, MJD, JIM), pp. 516–519.
ICSM-2013-MinelliL #mobile #named #platform #visual notation: SAMOA — A Visual Software Analytics Platform for Mobile Applications (RM, ML), pp. 476–479.
ICSM-2013-RosePFP #platform #probability #scalability #search-based #testing #towards: Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing (LMR, SMP, RF, RFP), pp. 480–483.
ICSM-2013-SiebraMSS #platform: The Adventure of Developing a Software Application on a Pre-release Platform: Features and Learned Lessons (CdS, AM, FQBdS, ALMS), pp. 556–559.
SCAM-2013-FlochYMMMNALSDCWS #design #hardware #named #prototype: GeCoS: A framework for prototyping custom hardware design flows (AF, TY, AEM, AM, KM, MN, MA, LL, NS, SD, FC, CW, OS), pp. 100–105.
WCRE-2013-CosentinoCABP #cobol #modelling: Extracting business rules from COBOL: A model-based framework (VC, JC, PA, PB, JP), pp. 409–416.
WCRE-2013-MontandonBFV #api #lessons learnt #platform: Documenting APIs with examples: Lessons learned with the APIMiner platform (JEM, HB, DF, MTV), pp. 401–408.
WCRE-2013-RaoMK #debugging #incremental #library #locality #performance #retrieval: An incremental update framework for efficient retrieval from software libraries for bug localization (SR, HM, ACK), pp. 62–71.
RTA-2013-AvanziniM #complexity: A Combination Framework for Complexity (MA, GM), pp. 55–70.
SEFM-2013-CristiaRF #generative #testing: {log} as a Test Case Generator for the Test Template Framework (MC, GR, CSF), pp. 229–243.
ICFP-2013-KeepD #compilation #development: A nanopass framework for commercial compiler development (AWK, RKD), pp. 343–350.
IFL-2013-GijzelN #implementation #modelling #towards #verification: Towards a framework for the implementation and verification of translations between argumentation models (BvG, HN), p. 93.
AIIDE-2013-SchenkLCGDMDZSCS #independence #platform #using: ScriptEase II: Platform Independent Story Creation Using High-Level Patterns (KS, AL, MC, EG0, JD, RM, ND, RZ, DS, MC, JS).
DiGRA-2013-Friedhoff13a #platform: Untangling Twine: A Platform Study (JF).
FDG-2013-JanssenCG #game studies: A framework for biometric playtesting of games (DPJ, LC, SG), pp. 423–424.
FDG-2013-Karhulahti #concept #game studies: Adventure games in kinesthetic videogame theory - A demand-based framework for conceptualizing the narrative (VMK), pp. 472–473.
FDG-2013-KsuzSHPS #game studies #named #platform: Valory: Simultaneous control of avatar and environment in a platform game (RK, MS, GH, TP, FS), pp. 429–430.
VS-Games-2013-AndersonMWHJPS #benchmark #game studies #metric: Choosing the Infrastructure for Entertainment and Serious Computer Games - a Whiteroom Benchmark for Game Engine Selection (EFA, LM, JW, SH, PJ, HP, BS), pp. 1–8.
VS-Games-2013-DuarteRCM #3d #animation #evaluation #overview: Survey and Evaluation of Mpeg-4 Based 3D Character Animation Frameworks (RLPD, AER, CC0, MM), pp. 1–8.
VS-Games-2013-ParaskevopoulosT #artificial reality #game studies #using: Use of Gaming Sensors and Customised Exergames for Parkinson's Disease Rehabilitation: A Proposed Virtual Reality Framework (IP, ET), pp. 1–5.
CHI-2013-AndersenGP #education: A trace-based framework for analyzing and synthesizing educational progressions (EA, SG, ZP), pp. 773–782.
CHI-2013-JacksonB: Infrastructure and vocation: field, calling and computation in ecology (SJJ, SB), pp. 2873–2882.
CHI-2013-ThiryLBR #authoring #timeline: Authoring personal histories: exploring the timeline as a framework for meaning making (ET, SEL, RB, TR), pp. 1619–1628.
CHI-2013-WalshFYD #analysis #design: FACIT PD: a framework for analysis and creation of intergenerational techniques for participatory design (GW, EF, JCY, AD), pp. 2893–2902.
CSCW-2013-HailpernDHSLK #communication #named #platform #research: ACES: a cross-discipline platform and method for communication and language research (JMH, MD, AH, SS, RL, KK), pp. 515–526.
CSCW-2013-KimMP #authoring #flexibility #mobile #named #tool support: Sensr: evaluating a flexible framework for authoring mobile data-collection tools for citizen science (SK, JM, EP), pp. 1453–1462.
DHM-SET-2013-DemirelD #design: A Sustainable Human Centered Design Framework Based on Human Factors (HOD, VGD), pp. 307–315.
DUXU-CXC-2013-WilkosinskaAGJ #implementation #online #towards: Towards a Common Implementation Framework for Online Virtual Museums (KW, AA, HG, YJ), pp. 321–330.
DUXU-NTE-2013-ArningZM #design #exclamation #guidelines #interface #platform #requirements: Join the Ride! User Requirements and Interface Design Guidelines for a Commuter Carpooling Platform (KA, MZ, HM), pp. 10–19.
DUXU-PMT-2013-HamaKKIN #design #experience #novel #social #user interface: Novel Method of Evaluating GUI Design from the Viewpoint of Worker Experience — Central Control Systems for Social Infrastructure (DH, MK, MK, KI, MN), pp. 283–293.
DUXU-WM-2013-GencerBZV #machine learning #mobile #using: A New Framework for Increasing User Engagement in Mobile Applications Using Machine Learning Techniques (MG, GB, ÖZ, TV), pp. 651–659.
DUXU-WM-2013-LiuVMM #big data #design #experience #interactive #mining #platform #visualisation: Designing Discovery Experience for Big Data Interaction: A Case of Web-Based Knowledge Mining and Interactive Visualization Platform (QL, MV, KPCM, AFM), pp. 543–552.
HCI-AMTE-2013-AkiyoshiT #estimation #eye tracking #interface #learning #using: An Estimation Framework of a User Learning Curve on Web-Based Interface Using Eye Tracking Equipment (MA, HT), pp. 159–165.
HCI-AMTE-2013-FedericiBM #assessment #evaluation #interactive #process: Environmental Evaluation of a Rehabilitation Aid Interaction under the Framework of the Ideal Model of Assistive Technology Assessment Process (SF, SB, MLM), pp. 203–210.
HCI-AMTE-2013-HumayounEE #case study #mobile #platform #using: Developing Mobile Apps Using Cross-Platform Frameworks: A Case Study (SRH, SE, AE), pp. 371–380.
HCI-AMTE-2013-JanderA #evaluation #human-computer #interactive: Human-Machine Interaction Evaluation Framework (HJ, JA), pp. 221–230.
HCI-AS-2013-FrajhofACLLM #collaboration #learning #network #platform #social #student #usability: Usability of a Social Network as a Collaborative Learning Platform Tool for Medical Students (LF, ACCA, ATdSC, CJPdL, CAPdL, CRM), pp. 370–375.
HCI-AS-2013-KosnikH #data transformation #design #health #interface #monitoring: Design and Interface Considerations for Web-Enabled Data Management in Civil Infrastructure Health Monitoring (DEK, LJH), pp. 107–116.
HCI-AS-2013-MarsicoST #personalisation: A Framework to Support Social-Collaborative Personalized e-Learning (MDM, AS, MT), pp. 351–360.
HCI-AS-2013-TogawaK: Private Cloud Cooperation Framework for Reducing the Earthquake Damage on e-Learning Environment (ST, KK), pp. 503–510.
HCI-III-2013-FernandesFMPB #network: RFID Mesh Network as an Infrastructure for Location Based Services for the Blind (HF, JF, PM, HP, JB), pp. 39–45.
HCI-UC-2013-SebilloTVGR #design #interactive #mobile: A Framework for Community-Oriented Mobile Interaction Design in Emerging Regions (MS, GT, GV, PDG, MR), pp. 342–351.
HIMI-D-2013-MorandiniCNC #design #web: The Proposition of a Framework to Support the Design of Ecological Systems for the Web (MM, PLPC, TN, TAC), pp. 338–346.
HIMI-D-2013-Terawaki #quality #requirements: Framework for Quantitatively Evaluating the Quality Requirements of Software System (YT), pp. 383–392.
HIMI-HSM-2013-FernandoRVLF #collaboration #named #platform #ubiquitous: Mo-Buzz: Socially-Mediated Collaborative Platform for Ubiquitous Location Based Service (ONNF, VSR, SV, MOL, SF), pp. 373–382.
HIMI-HSM-2013-LeaN #performance #quality #research #usability: Usability of Performance Dashboards, Usefulness of Operational and Tactical Support, and Quality of Strategic Support: A Research Framework (BRL, FFHN), pp. 116–123.
HIMI-LCCB-2013-HadhrawiNAS #collaboration #interface #named #platform: CoPI: A Web-Based Collaborative Planning Interface Platform (MKH, MN, AA, AS), pp. 287–296.
HIMI-LCCB-2013-MantheyHRSE #automation #multi #video #workflow: A Support Framework for Automated Video and Multimedia Workflows for Production and Archive (RM, RH, MR, MS, ME), pp. 336–341.
OCSC-2013-LambropoulosTKM #community #network #platform #semantics: Composites Ideas in COMPOOL Immersion: A Semantics Engineering Innovation Network Community Platform (NL, PT, IK, IM), pp. 385–394.
CAiSE-2013-BianchiniAM #api #design #enterprise #multi #web: A Multi-perspective Framework for Web API Search in Enterprise Mashup Design (DB, VDA, MM), pp. 353–368.
CAiSE-2013-ChatzikonstantinouKA #data analysis: A Goal Driven Framework for Software Project Data Analytics (GC, KK, IMA), pp. 546–561.
CAiSE-2013-Espada0A #complexity #modelling: A Framework to Evaluate Complexity and Completeness of KAOS Goal Models (PE, MG, JA), pp. 562–577.
CAiSE-2013-YuHGV #composition #protocol #testing #web #web service: A Business Protocol Unit Testing Framework for Web Service Composition (JY, JH, SOG, SV), pp. 17–34.
EDOC-2013-Herzberg0W #platform #process: An Event Processing Platform for Business Process Management (NH, AM, MW), pp. 107–116.
EDOC-2013-LyMMRA #comparison #evaluation #monitoring: A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches (LTL, FMM, MM, SRM, WMPvdA), pp. 7–16.
ICEIS-J-2013-BevacquaCFGP13a #data-driven #monitoring #predict #process: A Data-Driven Prediction Framework for Analyzing and Monitoring Business Process Performances (AB, MC, FF, MG, LP), pp. 100–117.
ICEIS-J-2013-NganBEB13a #capacity #energy #optimisation: Optimizing Power, Heating, and Cooling Capacity on a Decision-Guided Energy Investment Framework (CKN, AB, NEE, EB), pp. 154–173.
ICEIS-v1-2013-DiabatAAAF #optimisation #performance: A Framework for Optimizing the Supply Chain Performance of a Steel Producer (AHD, RAA, MHA, AJA, MNF), pp. 554–562.
ICEIS-v1-2013-GiordanoTACF #database #distributed #semantics: Integrating Distributed Data Bases in a Semantic Framework — The K-Metropolis Project (DG, AT, SA, AC, AF), pp. 322–328.
ICEIS-v1-2013-NganBEB #capacity #energy: A Decision-Guided Energy Framework for Optimal Power, Heating, and Cooling Capacity Investment (CKN, AB, NEE, EB), pp. 357–369.
ICEIS-v1-2013-PeltomaaV #information management #ontology: Ontology in the Core of Information Management — Information Management in Infrastructure Building (IP, EV), pp. 161–168.
ICEIS-v2-2013-KandjaniMAS #concept #information management: A Conceptual Framework to Classify Strategic Information Systems Planning Methodologies (HK, AM, AEA, RS), pp. 190–196.
ICEIS-v2-2013-OBrienSH #quality: The Value of Good Data — A Quality Perspective — A Framework for Discussion (TO, AS, MH), pp. 555–562.
ICEIS-v2-2013-SantaN #learning #modelling #using: Modeling the Creation of a Learning Organization by using the Learning Organization Atlas Framework (MS, SN), pp. 278–285.
ICEIS-v2-2013-TomasSGGA #api #approach #architecture #using: Synaptic City — An Architectural Approach using an OSGI Infrastructure and GMaps API to Build a City Simulator (GHRPT, WMdS, KG, VCG, AÁ), pp. 427–434.
ICEIS-v2-2013-TrindadeGG #collaboration #community #concept #design: Conceptual Framework for Design of Collaborative Environments — Cultivating Communities of Practices for Deaf Inclusion (DdFGT, CG, LSG), pp. 206–215.
ICEIS-v2-2013-VianaDPP #named: F3 — From Features to Framework (MCV, RSD, RADP, AFdP), pp. 110–117.
ICEIS-v3-2013-AmmarM #evaluation #modelling #usability: Early Usability Evaluation in Model Driven Framework (LBA, AM), pp. 23–30.
ICEIS-v3-2013-ChinoRAOGTT #collaboration #gesture #information management #interactive #using: The NInA Framework — Using Gesture to Improve Interaction and Collaboration in Geographical Information Systems (DYTC, LASR, LPSA, WDO, RRdVG, CTJ, AJMT), pp. 58–66.
ICEIS-v3-2013-GoncalvesSNU #flexibility #mobile #named #user interface: Flexinterface: A Framework to Provide Flexible Mobile Phone User Interfaces — Addressing the Elderly Diversity (VPG, SS, VPdAN, JU), pp. 143–150.
ICEIS-v3-2013-KimOK #architecture #enterprise #modelling: Complex Event as an Core Aspect of Enterprise Architecture — EDEMF: Event Driven Enterprise Architecture Modeling Framework (HK, SO, PK), pp. 292–301.
ICEIS-v3-2013-LangermeierBB #approach #architecture #distributed #enterprise #modelling #using: A Model Driven Approach for Open Distributed Systems using an Enterprise Architecture Framework (ML, AJB, BB), pp. 284–291.
CIKM-2013-LiGLYS #multimodal: A multimodal framework for unsupervised feature fusion (XL, JG, HL, LY, RKS), pp. 897–902.
CIKM-2013-VolkovsZ: CRF framework for supervised preference aggregation (MV, RSZ), pp. 89–98.
ECIR-2013-DowieA #exclamation #information management: Re-leashed! The PuppyIR Framework for Developing Information Services for Children, Adults and Dogs (DD, LA), pp. 824–827.
ECIR-2013-VulicM #modelling #probability #topic: A Unified Framework for Monolingual and Cross-Lingual Relevance Modeling Based on Probabilistic Topic Models (IV, MFM), pp. 98–109.
ICML-c1-2013-ChenWY #combinator #multi: Combinatorial Multi-Armed Bandit: General Framework and Applications (WC, YW, YY), pp. 151–159.
ICML-c1-2013-MenonTGLK #machine learning #programming: A Machine Learning Framework for Programming by Example (AKM, OT, SG, BWL, AK), pp. 187–195.
ICML-c2-2013-CaiZH #named #robust: SADA: A General Framework to Support Robust Causation Discovery (RC, ZZ, ZH), pp. 208–216.
ICML-c2-2013-MinhBM #learning #multi: A unifying framework for vector-valued manifold regularization and multi-view learning (HQM, LB, VM), pp. 100–108.
ICML-c2-2013-Tran-DinhKC #graph #learning #matrix: A proximal Newton framework for composite minimization: Graph learning without Cholesky decompositions and matrix inversions (QTD, ATK, VC), pp. 271–279.
ICML-c3-2013-GeorgievN #collaboration #strict: A non-IID Framework for Collaborative Filtering with Restricted Boltzmann Machines (KG, PN), pp. 1148–1156.
KDD-2013-BouadjenekHB #named #open source #personalisation #platform #social #web: LAICOS: an open source platform for personalized social web search (MRB, HH, MB), pp. 1446–1449.
KDD-2013-GilpinED #algorithm #learning: Guided learning for role discovery (GLRD): framework, algorithms, and applications (SG, TER, IND), pp. 113–121.
KDD-2013-KermanyMBNM #analysis: Analysis of advanced meter infrastructure data of water consumption in apartment buildings (EK, HM, DB, YN, HM), pp. 1159–1167.
KDD-2013-TangLSPG #automation #monitoring #optimisation #scalability: An integrated framework for optimizing automatic monitoring systems in large IT infrastructures (LT, TL, LS, FP, GG), pp. 1249–1257.
KDD-2013-TranPLHBV #predict #risk management: An integrated framework for suicide risk prediction (TT, DQP, WL, RH, MB, SV), pp. 1410–1418.
KDD-2013-WangDDZNTH #mining #recursion #topic: A phrase mining framework for recursive construction of a topical hierarchy (CW, MD, ND, YZ, PN, TT, JH), pp. 437–445.
KDD-2013-WangDYWCSI #clustering #data mining #identification #mining #towards: Towards long-lead forecasting of extreme flood events: a data mining framework for precipitation cluster precursors identification (DW, WD, KY, XW, PC, DLS, SI), pp. 1285–1293.
KDD-2013-WuNTWXX #privacy: A privacy preserving framework for managing vehicle data in road pricing systems (HW, WSN, KLT, WW, SX, MX), pp. 1427–1435.
KDD-2013-ZhaoYNG #learning #twitter: A transfer learning based framework of crowd-selection on twitter (ZZ, DY, WN, SG), pp. 1514–1517.
KDIR-KMIS-2013-LlavoriLGNAS #analysis #named #sentiment #towards: i-SLOD: Towards an Infrastructure for Enabling the Dissemination and Analysis of Sentiment Data (RBL, DML, LGM, VN, MJA, IS), pp. 214–219.
KEOD-2013-FiorelliPS #semantics #web: A Comprehensive Framework for Semantic Annotation of Web Content (MF, MTP, AS), pp. 245–252.
KEOD-2013-JoironFKJBML #collaboration #design #interactive #multi #ontology #platform: An Ontology for Designing a Collaborative Platform Involving a Multi-touch and Multi-user Interactive Table (CJ, FF, GK, AJ, JPAB, CM, DL), pp. 156–163.
KEOD-2013-Liang #collaboration #concept #design #ontology: Applying Ontology-based Knowledge Methodology in Product Innovative Collaborative Conceptual Design Framework (JSL), pp. 324–330.
KEOD-2013-NadarajanYC #multi #ontology #performance #scalability #workflow: Multiple Ontologies Enhanced with Performance Capabilities to Define Interacting Domains within a Workflow Framework for Analysing Large Undersea Videos (GN, CLY, YHCB), pp. 419–426.
RecSys-2013-GarcinF #personalisation #recommendation: PEN RecSys: a personalized news recommender systems framework (FG, BF), pp. 469–470.
SEKE-2013-CabralSC: Framework for digital voting systems (PDC, RPeS, RSdC), pp. 715–720.
SEKE-2013-ElshaarawyHT #diagrams #ocl #towards: Towards a Unified Framework for Measuring the Properties of Class Diagrams Augmented with OCL (ME, HSH, IAHT), pp. 479–482.
SEKE-2013-KalayciS #adaptation #multi #runtime #workflow: Pattern-based Decentralization and Run-time Adaptation Framework for Multi-site Workflow Orchestrations (SK, SMS), pp. 709–714.
SIGIR-2013-GolbusA #analysis #information retrieval: A mutual information-based framework for the analysis of information retrieval systems (PBG, JAA), pp. 683–692.
SIGIR-2013-Limsopatham #comprehension #query: A query and patient understanding framework for medical records search (NL), p. 1145.
SIGIR-2013-LukeSM #recommendation: A framework for specific term recommendation systems (TL, PS, PM), pp. 1093–1094.
SIGIR-2013-SakaiD #evaluation #information management #retrieval #summary: Summaries, ranked retrieval and sessions: a unified framework for information access evaluation (TS, ZD), pp. 473–482.
BX-2013-Wilson-KanamoriH #bidirectional #collaboration #development: A Bidirectional Collaboration Framework for Bio-Model Development (JRWK, SH), pp. 111–128.
ICMT-2013-MannEF #graph grammar #library #term rewriting: The Graph Grammar Library — A Generic Framework for Chemical Graph Rewrite Systems (MM, HE, CF), pp. 52–53.
PLEASE-2013-KleinM #platform: System-of-systems platform scoping (JK, JDM), pp. 1–4.
PLEASE-2013-Zhang0 #named #reverse engineering #towards #variability: RECoVar: A solution framework towards reverse engineering variability (BZ, MB), pp. 45–48.
SPLC-2013-MuthigS #product line: A framework for role-based feature management in software product line organizations (DM, JS), pp. 178–187.
SPLC-2013-RubinCC #experience: Managing cloned variants: a framework and experience (JR, KC, MC), pp. 101–110.
Onward-2013-OhshimaLFK #declarative #interactive #user interface: KScript and KSWorld: a time-aware and mostly declarative language and interactive GUI framework (YO, AL, BF, TK), pp. 117–134.
AdaEurope-2013-SalazarAMP #ada #modelling #realtime #safety: A Model-Based Framework for Developing Real-Time Safety Ada Systems (ES, AA, MAdM, JAdlP), pp. 127–142.
PLDI-2013-BlackshearL #composition #semantics #specification: Almost-correct specifications: a modular semantic framework for assigning confidence to warnings (SB, SKL), pp. 209–218.
PLDI-2013-NowatzkiSCSER #architecture #constraints #scheduling: A general constraint-centric scheduling framework for spatial architectures (TN, MST, LDC, KS, CE, BR), pp. 495–506.
ER-BR-2013-MenesesOAM #named #portuguese: APAI: Uma Proposta de Framework para Análise e Projeto de Aplicações Interativas para TV Digital (DADOM, AAdO, ADSA, JSSdM).
ER-BR-2013-VarelaCS #portuguese: Integrando o Framework I* com a Gerência de Risco (JPV, JC, VFAS).
RE-2013-HesariBY #challenge #generative #industrial #testing #towards: Towards a systematic requirement-based test generation framework: Industrial challenges and needs (SH, RB, TY), pp. 261–266.
SAC-PL-J-2012-HaraburdaT13: Binary trees as a computational framework (DH, PT), pp. 163–181.
ASE-2013-KwonZX #execution #independence #named #platform: PIEtrace: Platform independent executable trace (YK, XZ, DX), pp. 48–58.
ASE-2013-SchaeferDS #independence #named #testing #towards: Crushinator: A framework towards game-independent testing (CS, HD, BMS), pp. 726–729.
ESEC-FSE-2013-EscoffierLR #component #javascript #named: h-ubu: an industrial-strength service-oriented component framework for JavaScript applications (CE, PL, NR), pp. 699–702.
ESEC-FSE-2013-MadsenLF #javascript #library #static analysis: Practical static analysis of JavaScript applications in the presence of frameworks and libraries (MM, BL, MF), pp. 499–509.
ESEC-FSE-2013-SenKBG #dynamic analysis #javascript #named: Jalangi: a selective record-replay and dynamic analysis framework for JavaScript (KS, SK, TGB, SG), pp. 488–498.
ESEC-FSE-2013-SenKBG13a #dynamic analysis #javascript #named #testing: Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript (KS, SK, TGB, SG), pp. 615–618.
ESEC-FSE-2013-Tikhonova #domain-specific language #semantics: A framework for defining the dynamic semantics of DSLs (UT), pp. 735–738.
ICSE-2013-DyerNRN #named #repository #scalability: Boa: a language and infrastructure for analyzing ultra-large-scale software repositories (RD, HAN, HR, TNN), pp. 422–431.
ICSE-2013-HatcliffRCB #execution #symbolic computation #verification: Explicating symbolic execution (xSymExe): an evidence-based verification framework (JH, R, PC, JB), pp. 222–231.
ICSE-2013-Perino #self: A framework for self-healing software systems (NP), pp. 1397–1400.
ICSE-2013-RubinC: A framework for managing cloned product variants (JR, MC), pp. 1233–1236.
ICSE-2013-StephanASC #analysis #clone detection #comparison #detection #mutation testing #using: Using mutation analysis for a model-clone detector comparison framework (MS, MHA, AS, JRC), pp. 1261–1264.
ICSE-2013-Yu #testing: An observable and controllable testing framework for modern systems (TY), pp. 1377–1380.
ICSE-2013-Zeid #contest #evaluation #integration #re-engineering #source code #student: A framework to evaluate software engineering student contests: evaluation and integration with academic programs (AZ), pp. 1083–1089.
SAC-2013-BrandaoFMPC #pervasive: The CAS project: a general infrastructure for pervasive capture and access systems (RB, PF, AM, FP, RC), pp. 975–980.
SAC-2013-BraunCHMM #named #realtime #visualisation: CrowdVis: a framework for real time crowd visualization (HB, VJC, RH, FPM, SRM), pp. 989–995.
SAC-2013-BucchiaroneMMP #adaptation #concept: A conceptual framework for collective adaptive systems (AB, AM, CAM, MP), pp. 1935–1936.
SAC-2013-Callau-ZoriJGPFP #named: STONE: a stream-based DDoS defense framework (MCZ, RJP, VG, MP, ZF, MPM), pp. 807–812.
SAC-2013-CavalinKMO #multi #recognition: A multiple feature vector framework for forest species recognition (PRC, MNK, JM, LESdO), pp. 16–20.
SAC-2013-ChaudhariZW #component #ranking #towards: Towards a ranking framework for software components (DC, MZ, KW), pp. 495–498.
SAC-2013-DionisisCP #adaptation #exception: An integrated framework for QoS-based adaptation and exception resolution in WS-BPEL scenarios (MD, VC, GP), pp. 1900–1906.
SAC-2013-EgnersM #multi: Secure roaming and infrastructure sharing for multi-operator WMNs (AE, UM), pp. 1800–1807.
SAC-2013-FanYZ #architecture #modelling #scalability: A generic framework for deriving architecture modeling methods for large-scale software-intensive systems (ZF, TY, LZ), pp. 1750–1757.
SAC-2013-HabibVM #trust: A framework for evaluating trust of service providers in cloud marketplaces (SMH, VV, MM), pp. 1963–1965.
SAC-2013-HippMMR #delivery #process #visualisation: A framework for the intelligent delivery and user-adequate visualization of process information (MH, BM, BM, MR), pp. 1383–1390.
SAC-2013-HoelzR #semantics: A framework for semantic annotation of digital evidence (BWPH, CGR), pp. 1966–1971.
SAC-2013-HollEGV #lifecycle #multi #product line: An infrastructure for the life cycle management of multi product lines (GH, CE, PG, MV), pp. 1742–1749.
SAC-2013-LoTNCLC #development #multimodal #platform: i*Chameleon: a platform for developing multimodal application with comprehensive development cycle (KWKL, WWWT, GN, ATSC, HVL, SCFC), pp. 1103–1108.
SAC-2013-MartinsLSN #fault tolerance #middleware #platform #realtime: Stheno, a real-time fault-tolerant P₂P middleware platform for light-train systems (RM, LMBL, FMAS, PN), pp. 431–438.
SAC-2013-MeilingSSW #communication #grid #multi #network #scalability #smarttech #using: A scalable communication infrastructure for smart grid applications using multicast over public networks (SM, TS, TCS, MW), pp. 690–694.
SAC-2013-NotanderRH #design #development #flexibility #modelling #safety: A model-based framework for flexible safety-critical software development: a design study (JPN, PR, MH), pp. 1137–1144.
SAC-2013-OliveiraP #experience #middleware: Experience with a middleware infrastructure for service oriented financial applications (JPO, JP), pp. 479–484.
SAC-2013-PerazzoWM: A data warehouse as an infrastructure to mine molecular descriptors for virtual screening (GXP, ATW, KSM), pp. 1335–1336.
SAC-2013-TripletB #benchmark #biology #metric #named: BenchDW: a generic framework for biological data warehouse benchmarking (TT, GB), pp. 1328–1334.
SAC-2013-UroviOBFS #coordination #health: A peer to peer agent coordination framework for IHE based cross-community health record exchange (VU, ACO, SB, NF, MIS), pp. 1355–1362.
GPCE-2013-AnKGTS #automation #generative #in the cloud #modelling #performance #testing: Model-driven generative framework for automated OMG DDS performance testing in the cloud (KA, TK, ASG, ST, AS), pp. 179–182.
GPCE-2013-ErdwegR: A framework for extensible languages (SE, FR), pp. 3–12.
GPCE-2013-MarekKZBBTASS #java #named #platform #program analysis #robust: ShadowVM: robust and comprehensive dynamic program analysis for the java platform (LM, SK, YZ, LB, WB, PT, DA, AS, AS), pp. 105–114.
SLE-2013-ArusoaieLR #execution #symbolic computation: A Generic Framework for Symbolic Execution (AA, DL, VR), pp. 281–301.
SLE-2013-PearceG #named #platform #research #verification: Whiley: A Platform for Research in Software Verification (DJP, LG), pp. 238–248.
CASE-2013-CecilGCS #collaboration #generative: A next generation collaborative framework for advanced manufacturing (JC, RG, PC, SS), pp. 128–132.
CASE-2013-KruseRW: A sensor-based dual-arm tele-robotic manipulation platform (DK, RJR, JTW), pp. 350–355.
CASE-2013-LinG #detection #network #optimisation #synthesis: Synthesis and optimization of a Bayesian belief network based observation platform for anomaly detection under partial and unreliable observations (WCL, HEG), pp. 51–58.
CASE-2013-RoyZR #behaviour #representation: The information framework for material behavior representation (UR, BZ, DJR), pp. 380–385.
CASE-2013-ZhaoZXCWS: A unified control framework of HVAC system for thermal and acoustic comforts in office building (YZ, QZ, LX, ZC, FW, FS), pp. 416–421.
CC-2013-BhaskaracharyaB #data flow #named #visual notation: PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow Language (SGB, UB), pp. 123–143.
CGO-2013-GartleyPSG #case study #design #experience #interpreter #profiling #robust #scalability: Experiences in designing a robust and scalable interpreter profiling framework (IG, MP, VS, NG), p. 10.
CGO-2013-RuanLWS #on the #platform: On the platform specificity of STM instrumentation mechanisms (WR, YL, CW, MFS), p. 10.
CGO-2013-ZhouWDS #flexibility #migration #named: Profmig: A framework for flexible migration of program profiles across software versions (MZ, BW, YD, XS), p. 12.
DAC-2013-AgrawalRHSPC #architecture #clustering #multi #platform: Early exploration for platform architecture instantiation with multi-mode application partitioning (PA, PR, MH, NS, LVdP, FC), p. 8.
DAC-2013-GrossmanTBS #design #simulation: The role of cascade, a cycle-based simulation infrastructure, in designing the anton special-purpose supercomputers (JPG, BT, JAB, DES), p. 9.
DAC-2013-JungPPC #distributed #embedded #named #platform #scalability: netShip: a networked virtual platform for large-scale heterogeneous distributed embedded systems (YJ, JP, MP, LPC), p. 10.
DAC-2013-LiP #modelling: An accurate semi-analytical framework for full-chip TSV-induced stress modeling (YL, DZP), p. 8.
DAC-2013-MallikZLCBBBCRBMV #analysis #evaluation #named: TEASE: a systematic analysis framework for early evaluation of FinFET-based advanced technology nodes (AM, PZ, TTL, BC, BB, PRDB, RB, KC, JR, MB, AM, DV), p. 6.
DAC-2013-WuH #constraints #multi #random #robust #set #theorem proving #verification: A robust constraint solving framework for multiple constraint sets in constrained random verification (BHW, CY(H), p. 7.
DATE-2013-CarvajalF #platform #realtime: An open platform for mixed-criticality real-time ethernet (GC, SF), pp. 153–156.
DATE-2013-Mueller-GritschnederLWGS #case study #platform #prototype #realtime: A virtual prototyping platform for real-time systems with a case study for a two-wheeled robot (DMG, KL, EW, MG, US), pp. 1331–1334.
DATE-2013-NavasSO #array #configuration management #flexibility #platform #reuse: The RecoBlock SoC platform: a flexible array of reusable run-time-reconfigurable IP-blocks (BN, IS, JÖ), pp. 833–838.
DATE-2013-ObergMSK #hardware #testing: A practical testing framework for isolating hardware timing channels (JO, SM, TS, RK), pp. 1281–1284.
DATE-2013-OjailDLG #embedded #lightweight #manycore #named: ARTM: a lightweight fork-join framework for many-core embedded systems (MO, RD, YL, AG), pp. 1510–1515.
DATE-2013-Pedram #communication: Creating a sustainable information and communication infrastructure (MP), p. 2.
DATE-2013-RutzigBC #configuration management #energy #multi #platform: A transparent and energy aware reconfigurable multiprocessor platform for simultaneous ILP and TLP exploitation (MBR, ACSB, LC), pp. 1559–1564.
DATE-2013-WangJSZ #fault tolerance #scheduling: A work-stealing scheduling framework supporting fault tolerance (YW, WJ, FS, QZ), pp. 695–700.
DATE-2013-XydisPZS #architecture #compilation #metamodelling #parametricity #synthesis: A meta-model assisted coprocessor synthesis framework for compiler/architecture parameters customization (SX, GP, VZ, CS), pp. 659–664.
HPDC-2013-BehzadHLABYKP: A framework for auto-tuning HDF5 applications (BB, JH, HVTL, RAA, SB, YY, QK, P), pp. 127–128.
HPDC-2013-GillLHNGL #composition #declarative #manycore #named #platform #scalability: Scalanytics: a declarative multi-core platform for scalable composable traffic analytics (HG, DL, XH, CN, TG, BTL), pp. 61–72.
HPDC-2013-ZhangODJ #clustering #implementation #manycore #named: Orthrus: a framework for implementing high-performance collective I/O in the multicore clusters (XZ, JO, KD, SJ), pp. 113–114.
PDP-2013-AlfieriABBBBBCCCCCPDGMOVV #grid: The HPC Testbed of the Italian Grid Infrastructure (RA, SA, GBB, UB, MB, VB, DB, LC, DC, AC, AC, SC, RDP, MD, AG, EM, SO, AV, PV), pp. 241–248.
PDP-2013-KotenkoSN #network #simulation: Simulation of Protection Mechanisms Based on “Nervous Network System” against Infrastructure Attacks (IVK, AS, EN), pp. 526–533.
PDP-2013-SmykT #algorithm #execution #monitoring #search-based: Genetic Algorithms Hierarchical Execution Control under a Global Application State Monitoring Infrastructure (AS, MT), pp. 16–23.
PDP-2013-WuGTSGFS #hardware #named: SecMon: A Secure Introspection Framework for Hardware Virtualization (XW, YG, XT, YS, BG, BF, YS), pp. 282–286.
PLOS-2013-FernandezKKA #component #platform #towards: Towards a verified component platform (MF, IK, GK, JA), p. 7.
PPoPP-2013-ShunB #graph #lightweight #memory management #named: Ligra: a lightweight graph processing framework for shared memory (JS, GEB), pp. 135–146.
SOSP-2013-NguyenLP #graph #lightweight: A lightweight infrastructure for graph analytics (DN, AL, KP), pp. 456–471.
FASE-2013-GudemannPSD #named #verification: VerChor: A Framework for Verifying Choreographies (MG, PP, GS, AD), pp. 226–230.
ICST-2013-ErikssonLO #empirical #independence #platform #testing: Transformation Rules for Platform Independent Testing: An Empirical Study (AE, BL, JO), pp. 202–211.
ICST-2013-MunetohY #agile #development #named #security #testing: RAILROADMAP: An Agile Security Testing Framework for Web-application Development (SM, NY), pp. 491–492.
ICST-2013-NetterGB #composition #modelling #simulation #validation: Real-Data Validation of Simulation Models in a Function-Based Modular Framework (FN, FG, BB), pp. 41–47.
ICST-2013-SakamotoSTWF #metric #multi #named #programming language #test coverage #tool support: OCCF: A Framework for Developing Test Coverage Measurement Tools Supporting Multiple Programming Languages (KS, KS, RT, HW, YF), pp. 422–430.
ICST-2013-ShuSHP #analysis #dependence #named #platform: JavaPDG: A New Platform for Program Dependence Analysis (GS, BS, TADH, AP), pp. 408–415.
ICTSS-2013-GastonHG #distributed #implementation: An Implementation Relation and Test Framework for Timed Distributed Systems (CG, RMH, PLG), pp. 82–97.
ISSTA-2013-YuSR #automation #named #testing: SimRacer: an automated framework to support testing for process-level races (TY, WSa, GR), pp. 167–177.
QoSA-2012-EklundB #architecture #ecosystem #multi #platform #using: Using architecture for multiple levels of access to an ecosystem platform (UE, JB), pp. 143–148.
WICSA-ECSA-2012-GarciaKMD #architecture: A Framework for Obtaining the Ground-Truth in Architectural Recovery (JG, IK, NM, CD), pp. 292–296.
WICSA-ECSA-2012-HerzigAS #enterprise #gamification #platform: A Generic Platform for Enterprise Gamification (PH, MA, AS), pp. 219–223.
WICSA-ECSA-2012-HilliardMMP #architecture #composition #on the #reuse #using: On the Composition and Reuse of Viewpoints across Architecture Frameworks (RH, IM, HM, PP), pp. 131–140.
WICSA-ECSA-2012-KeulerKNR #architecture #re-engineering #towards: Architecture Engagement Purposes: Towards a Framework for Planning “Just Enough”-Architecting in Software Engineering (TK, JK, MN, DR), pp. 234–238.
WICSA-ECSA-2012-LytraSZ #architecture #integration #multi #platform: Architectural Decision Making for Service-Based Platform Integration: A Qualitative Multi-Method Study (IL, SS, UZ), pp. 111–120.
DocEng-2012-MahlowGHS #retrieval #using #xquery: A framework for retrieval and annotation in digital humanities using XQuery full text and update in BaseX (CM, CG, AH, MHS), pp. 195–204.
DocEng-2012-WidlocherM #corpus #mining #platform: The Glozz platform: a corpus annotation and mining tool (AW, YM), pp. 171–180.
DRR-2012-PorwalRG #identification: An Oracle-based co-training framework for writer identification in offline handwriting (UP, SR, VG).
HT-2012-CostabelloVDG #data access #mobile #named #web: SHI3LD: an access control framework for the mobile web of data (LC, SV, ND, FG), pp. 311–312.
PODS-2012-KiferM #privacy: A rigorous and customizable framework for privacy (DK, AM), pp. 77–88.
SIGMOD-2012-KonstantinouATBKS #named #platform: TIRAMOLA: elastic nosql provisioning through a cloud management platform (IK, EA, DT, CB, NK, SS), pp. 725–728.
SIGMOD-2012-PeltS #crowdsourcing #design #platform #scalability: Designing a scalable crowdsourcing platform (CVP, AS), pp. 765–766.
SIGMOD-2012-WangLF #adaptation #similarity: Can we beat the prefix filtering?: an adaptive framework for similarity join and search (JW, GL, JF), pp. 85–96.
VLDB-2012-DasTADY #analysis #what: Who Tags What? An Analysis Framework (MD, ST, SAY, GD, CY), pp. 1567–1578.
VLDB-2012-GawadeK #analysis #execution #interactive #named #platform #query #visual notation: Stethoscope: A platform for interactive visual analysis of query execution plans (MG, MLK), pp. 1926–1929.
VLDB-2012-LeeLLLR #data analysis #twitter: The Unified Logging Infrastructure for Data Analytics at Twitter (GL, JL, CL, AL, DVR), pp. 1771–1780.
VLDB-2012-LiuRLMB #constraints #declarative #distributed #named #optimisation #platform: Cologne: A Declarative Distributed Constraint Optimization Platform (CL, LR, BTL, YM, PB), pp. 752–763.
VLDB-2012-LowGKBGH #distributed #in the cloud #machine learning: Distributed GraphLab: A Framework for Machine Learning in the Cloud (YL, JG, AK, DB, CG, JMH), pp. 716–727.
VLDB-2012-MetwallyF #multi #named #pipes and filters #scalability #similarity: V-SMART-Join: A Scalable MapReduce Framework for All-Pair Similarity Joins of Multisets and Vectors (AM, CF), pp. 704–715.
VLDB-2012-MorishimaSMAF #crowdsourcing #declarative #named #platform: CyLog/Crowd4U: A Declarative Platform for Complex Data-centric Crowdsourcing (AM, NS, TM, HA, SF), pp. 1918–1921.
VLDB-2012-ZhuKA #effectiveness #performance #retrieval #sequence: A Generic Framework for Efficient and Effective Subsequence Retrieval (HZ, GK, VA), pp. 1579–1590.
ITiCSE-2012-CamaraPV #collaboration #evaluation #learning #programming: Evaluation of a collaborative instructional framework for programming learning (LMSC, MPV, JÁVI), pp. 162–167.
ITiCSE-2012-Moreno #comparison #evaluation #source code: A qualitative framework for comparison and evaluation of computer science doctoral programs (MdCCM), p. 398.
ITiCSE-2012-XuHT #named #network #platform: V-lab: a cloud-based virtual laboratory platform for hands-on networking courses (LX, DH, WTT), pp. 256–261.
CSMR-2012-BeszedesSG #clustering #development #platform #quality: Development of a Unified Software Quality Platform in the Szeged InfoPólus Cluster (ÁB, LS, TG), pp. 495–498.
CSMR-2012-SchrettnerFBKG #industrial #quality: Software Quality Model and Framework with Applications in Industrial Context (LS, LJF, ÁB, ÁK, TG), pp. 453–456.
ICSM-2012-BauerHHJC #analysis #incremental #quality #scalability: A framework for incremental quality analysis of large software systems (VB, LH, BH, EJ, MC), pp. 537–546.
ICSM-2012-MateoU #java #mutation testing #named #quality #testing: Bacterio: Java mutation testing tool: A framework to evaluate quality of tests cases (PRM, MPU), pp. 646–649.
MSR-2012-KeivanlooFHENPR #linked data #mining #open data #platform #repository: A Linked Data platform for mining software repositories (IK, CF, AH, ME, CN, GP, JR), pp. 32–35.
MSR-2012-ShihabKB #android #challenge #mining #platform: Mining challenge 2012: The Android platform (ES, YK, PB), pp. 112–115.
SCAM-2012-GutzmannLL #analysis #points-to: Collections Frameworks for Points-To Analysis (TG, JL, WL), pp. 4–13.
WCRE-2012-AllierAHD #algorithm #ranking: A Framework to Compare Alert Ranking Algorithms (SA, NA, AH, SD), pp. 277–285.
CIAA-2012-EhrenfeuchtR #process: A Formal Framework for Processes Inspired by the Functioning of Living Cells (AE, GR), pp. 25–27.
FM-2012-HeatherS #modelling: A Formal Framework for Modelling Coercion Resistance and Receipt Freeness (JH, SS), pp. 217–231.
IFM-2012-BorgerCG #analysis #web: Contribution to a Rigorous Analysis of Web Application Frameworks (EB, AC, VG), pp. 1–20.
IFM-2012-LensinkSE #concurrent #proving #source code: A Proof Framework for Concurrent Programs (LL, SS, MCJDvE), pp. 174–190.
RTA-2012-KanovichKNSTP #process: A Rewriting Framework for Activities Subject to Regulations (MIK, TBK, VN, AS, CLT, RP), pp. 305–322.
FLOPS-2012-GuzmanCHS #implementation: A General Implementation Framework for Tabled CLP (PCdG, MC, MVH, PJS), pp. 104–119.
FDG-2012-MathiasW #evaluation #hybrid #multi #network #peer-to-peer: Network bandwidth evaluation of a hybrid peer-to-peer massively multiplayer framework (JDM, DW), pp. 65–72.
FDG-2012-MitgutschA #assessment #design #game studies: Purposeful by design?: a serious game design assessment framework (KM, NA), pp. 121–128.
FDG-2012-ShaffnerS #game studies #platform #social: Building social games: from platform to product (RS, ZS), p. 4.
FDG-2012-ZohoorianSGT #coordination #design #game studies #multi #named #realtime: PLATO: a coordination framework for designers of multi-player real-time digital games (AZ, KGS, CG, AT), pp. 141–148.
VS-Games-2012-BahreiniNW #game studies #online: FILTWAM - A Framework for Online Affective Computing in Serious Games (KB, RN, WW), pp. 45–52.
VS-Games-2012-HulusicP #learning #quote: “LeFCA”: Learning Framework for Children with Autism (VH, NP), pp. 4–16.
VS-Games-2012-ObikweluR #game studies #learning: The Serious Game Constructivist Framework for Children's Learning (CO, JCR), pp. 32–37.
VS-Games-2012-SuttieLLMWBD #aspect-oriented #game studies: Introducing the “Serious Games Mechanics”: A Theoretical Framework to Analyse Relationships Between “Game” and “Pedagogical Aspects” of Serious Games (NS, SL, TL, AM, WW, DB, DD), pp. 314–315.
VS-Games-2012-VardaxoglouB #game studies #platform: Developing a Platform for Serious Gaming: Open Innovation through Closed Innovation (GV, EB), pp. 111–121.
VS-Games-2012-WattanasoontornBBS #simulation: The Framework of a Life Support Simulation Application (VW, IB, CB, MS), pp. 293–294.
ICGT-2012-LopesF #design #graph: A Graph-Based Design Framework for Services (AL, JLF), pp. 1–19.
ICGT-2012-Lowe #algebra #graph grammar #graph transformation: Refined Graph Rewriting in Span-Categories — A Framework for Algebraic Graph Transformation (ML), pp. 111–125.
ICGT-2012-SerbanutaR #concurrent #graph transformation #semantics #𝕂: A Truly Concurrent Semantics for the 𝕂 Framework Based on Graph Transformations (TFS, GR), pp. 294–310.
CSCW-2012-HsuJSC #named #platform #realtime #video: SynTag: a web-based platform for labeling real-time video (YCH, TJ, YTS, PCC), pp. 715–718.
CSCW-2012-Poole #research: Interacting with infrastructure: a case for breaching experiments in home computing research (ESP), pp. 759–768.
CSCW-2012-StuartDKKK #social: Social transparency in networked information exchange: a theoretical framework (HCS, LAD, SBK, PK, RK), pp. 451–460.
CSCW-2012-WangDLXG #case study #empirical #experience #game studies #online #platform: Infrastructural experiences: an empirical study of an online arcade game platform in China (QW, XD, TL, HX, NG), pp. 583–592.
CAiSE-2012-AtzeniBR #database #platform: Uniform Access to Non-relational Database Systems: The SOS Platform (PA, FB, LR), pp. 160–174.
EDOC-2012-HarrisonBADN #detection #identification: A Framework for Detecting Malware in Cloud by Identifying Symptoms (KH, BB, STTA, CID, APN), pp. 164–172.
EDOC-2012-ParaisoHRMS #middleware #platform: A Middleware Platform to Federate Complex Event Processing (FP, GH, RR, PM, LS), pp. 113–122.
EDOC-2012-PereiraS #towards: Towards an Integrated IT Governance and IT Management Framework (RFdSP, MMdS), pp. 191–200.
EDOC-2012-SilvaPS #composition #flexibility #named: A-DynamiCoS: A Flexible Framework for User-centric Service Composition (EGdS, LFP, MvS), pp. 81–92.
ICEIS-J-2012-BonacinHRPB12a #aspect-oriented #collaboration #concept #problem #towards: Pragmatic Aspects of Collaborative Problem Solving: Towards a Framework for Conceptualizing Dynamic Knowledge (RB, HHH, JCdR, RP, MCCB), pp. 410–426.
ICEIS-J-2012-GottardiPC12a #approach #modelling #reuse #using: Accelerating Crosscutting Framework Reuse Using a Model-Based Approach (TG, OPL, VVdC), pp. 257–273.
ICEIS-J-2012-VianaPP12a #domain-specific language #modelling: Building Domain-Specific Modeling Languages for Frameworks (MCV, RADP, AFdP), pp. 191–206.
ICEIS-v2-2012-GottardiPC #approach #modelling #reuse: A Model-based Approach for Reusing Crosscutting Frameworks (TG, OPL, VVdC), pp. 46–55.
ICEIS-v2-2012-KitanoST #community #lightweight #web: Lightweight Web Application Framework and Its Application — Helping Improve Community Bus Timetables after Japan Earthquake (YK, HS, AT), pp. 252–257.
ICEIS-v2-2012-VianaPP #domain-specific language #generative #modelling #reuse: Generating Applications — Framework Reuse Supported by Domain-Specific Modeling Languages (MCV, RDP, AFdP), pp. 5–14.
ICEIS-v3-2012-AversanoGT: A Characterization Framework for Evaluating Business/IT Alignment Strategies (LA, CG, MT), pp. 155–164.
CIKM-2012-ChenGK #named: Cager: a framework for cross-page search (ZC, BJG, QK), pp. 2704–2706.
CIKM-2012-ChoiKKLLLK #named #summary: CONSENTO: a new framework for opinion based entity search and summarization (JC, DK, SK, JL, SL, SL, JK), pp. 1935–1939.
CIKM-2012-DongFSZY #mining: A general framework to encode heterogeneous information sources for contextual pattern mining (WD, WF, LS, CZ, XY), pp. 65–74.
CIKM-2012-JiangVLN #named #topic #web: G-WSTD: a framework for geographic web search topic discovery (DJ, JV, KWTL, WN), pp. 1143–1152.
CIKM-2012-KoenigsteinRS #matrix #performance #recommendation #retrieval: Efficient retrieval of recommendations in a matrix factorization framework (NK, PR, YS), pp. 535–544.
CIKM-2012-KurlandSHRCR #predict #probability: Back to the roots: a probabilistic framework for query-performance prediction (OK, AS, SH, FR, DC, OR), pp. 823–832.
CIKM-2012-LiL #named #recommendation: MEET: a generalized framework for reciprocal recommender systems (LL, TL), pp. 35–44.
CIKM-2012-LuYW #graph #image #named #novel #social: SRGSIS: a novel framework based on social relationship graph for social image search (BL, YY, GW), pp. 2615–2618.
CIKM-2012-OhY #named: iSampling: framework for developing sampling methods considering user’s interest (JO, HY), pp. 1667–1671.
CIKM-2012-SalomatinLY #delivery #online #optimisation: A unified optimization framework for auction and guaranteed delivery in online advertising (KS, TYL, YY), pp. 2005–2009.
CIKM-2012-WangGWCY #algorithm #evolution #novel: Polygene-based evolution: a novel framework for evolutionary algorithms (SW, BJG, SW, GC, YY), pp. 2263–2266.
CIKM-2012-WangH0 #image #learning #mining #web: A unified learning framework for auto face annotation by mining web facial images (DW, SCHH, YH), pp. 1392–1401.
CIKM-2012-WangWYHDC #learning #modelling #novel: A novel local patch framework for fixing supervised learning models (YW, BW, JY, YH, ZHD, ZC), pp. 1233–1242.
CIKM-2012-ZhangWW #interactive #learning #ontology: An interaction framework of service-oriented ontology learning (JZ, YW, HW), pp. 2303–2306.
ECIR-2012-BosmaMW #detection #network #social: A Framework for Unsupervised Spam Detection in Social Networking Sites (MB, EM, WW), pp. 364–375.
ECIR-2012-MantrachR #multi #people #retrieval #social #social media: A General Framework for People Retrieval in Social Media with Multiple Roles (AM, JMR), pp. 512–516.
ICML-2012-KumarNKD #classification #kernel #learning #multi: A Binary Classification Framework for Two-Stage Multiple Kernel Learning (AK, ANM, KK, HDI), p. 173.
ICML-2012-XiangMCCTZ #clustering: A Split-Merge Framework for Comparing Clusterings (QX, QM, KMAC, HLC, IWT, ZZ), p. 164.
ICPR-2012-BaoSYA: An edge-preserving filtering framework for visibility restoration (LB, YS, QY, NA), pp. 384–387.
ICPR-2012-GhoseMOMLFVCSM12a #3d #energy #graph #learning #probability #segmentation: Graph cut energy minimization in a probabilistic learning framework for 3D prostate segmentation in MRI (SG, JM, AO, RM, XL, JF, JCV, JC, DS, FM), pp. 125–128.
ICPR-2012-HuangOSU #detection #multi #recognition: Scene character detection and recognition based on multiple hypotheses framework (RH, SO, PS, SU), pp. 717–720.
ICPR-2012-HuG #3d #gesture #modelling #recognition #visual notation: A 3D gesture recognition framework based on hierarchical visual attention and perceptual organization models (GH, QG), pp. 1411–1414.
ICPR-2012-LewinJC #algorithm #composition #evaluation #performance: Framework for quantitative performance evaluation of shape decomposition algorithms (SL, XJ, AC), pp. 3696–3699.
ICPR-2012-MujumdarVK #multi #novel #segmentation #using: A novel framework for segmentation of stroke lesions in Diffusion Weighted MRI using multiple b-value data (SM, RV, LTK), pp. 3762–3765.
ICPR-2012-RoyG #detection #image #locality #probability: A probabilistic framework for logo detection and localization in natural scene images (AR, UG), pp. 2051–2054.
ICPR-2012-SilvaL #automation #education #platform #recognition: Automatic content recognition of teaching boards in the Tableau platform (GdFPeS, RDL), pp. 645–648.
ICPR-2012-SuLT #documentation #image #learning #markov #random #using: A learning framework for degraded document image binarization using Markov Random Field (BS, SL, CLT), pp. 3200–3203.
ICPR-2012-TiribuziPVR #detection #kernel #learning #multi: A Multiple Kernel Learning framework for detecting altered fingerprints (MT, MP, PV, ER), pp. 3402–3405.
ICPR-2012-XueVLW #adaptation #multi #segmentation: A modified KLT multiple objects tracking framework based on global segmentation and adaptive template (KX, PAV, YL, YW), pp. 3561–3564.
ICPR-2012-YabushitaSM #3d #image #recognition: A framework of three-dimensional object recognition which needs only a few reference images (HY, JS, MM), pp. 1375–1378.
KDD-2012-ChakrabartiCCX #robust: A framework for robust discovery of entity synonyms (KC, SC, TC, DX), pp. 1384–1392.
KDD-2012-SondhiSTZ #graph #mining #named: SympGraph: a framework for mining clinical notes through symptom relation graphs (PS, JS, HT, CZ), pp. 1167–1175.
KDD-2012-TianSCM: Intelligent advertising framework for digital signage (PT, AVS, KC, SMM), pp. 1532–1535.
KDD-2012-XieHCZCA #named #social: VOXSUP: a social engagement framework (YX, DH, ANC, KZ, YC, AA), pp. 1556–1559.
KDD-2012-YangGRP #twitter: A framework for summarizing and analyzing twitter feeds (XY, AG, YR, SP), pp. 370–378.
KDIR-2012-AbdullinN #clustering #data type #learning: A Semi-supervised Learning Framework to Cluster Mixed Data Types (AA, ON), pp. 45–54.
KDIR-2012-Beranek: A Framework for Situation Inference based on Belief Function Theory (LB), pp. 358–361.
KDIR-2012-SorkhiAHH #game studies #identification #network #social: A Game-Theoretic Framework to Identify Top-K Teams in Social Networks (MS, HA, SH, AH), pp. 252–257.
KEOD-2012-GirardiAG #independence #ontology #using: An Ontology-based Data Acquisition Infrastructure — Using Ontologies to Create Domain-independent Software Systems (DG, KA, MG), pp. 155–160.
KEOD-2012-HenriquesS #ontology: An Ontology-based Framework for Syndromic Surveillance Method Selection (GH, DAS), pp. 396–400.
KEOD-2012-HlomaniS #analysis #towards #workflow: Towards an Ontology-driven Framework for Workflow Analysis (HH, DAS), pp. 405–410.
KEOD-2012-MunozCLCP #enterprise #ontology: Ontological Framework for Integrating Environmental Issues within Sustainable Enterprise — Enhancing Enterprise Decision-making (EM, ECG, JML, AEC, LP), pp. 385–388.
KEOD-2012-VegettiRGHL #development #named #ontology #process: ONTOTracED: A Framework to Capture and Trace Ontology Development Processes (MV, MLR, SG, GPH, HPL), pp. 419–422.
KMIS-2012-BaqueroM #process: A Framework to Support Business Process Analytics (AVB, OM), pp. 321–332.
KMIS-2012-GoncalvesSCP #social: A Social Framework to Underpin Collective Awareness in BPM (NPG, SS, FC, JASP), pp. 335–340.
KMIS-2012-KeumKB #collaboration #communication #design #platform: Architeture Design of a Network-centric Platform for Unified Communication and Collaboration Applications (CK, SK, HB), pp. 294–297.
KMIS-2012-MarsanCE #analysis #behaviour #enterprise #information management #platform #scalability #tool support #using: Factors Influencing the Behavioral Intention of using Enterprise 2.0 Tools as a Knowledge Management Platform — An Analysis of the UTAUT Model in an Large Real Estate Company (BM, LC, EE), pp. 281–284.
KMIS-2012-RezendeLBJMRB #information management #modelling: Modelling and Knowledge Management in the Field of Road Infrastructure Operation and Regulation — Study on the Methods Application in an Organizational Unit (LR, MAL, CRNB, JdLPCJ, LAM, SAR, CAMB), pp. 265–268.
KMIS-2012-Vaiyavuth #approach #challenge #concept #energy #how #modelling: How Open Innovation Models Might Help the Thai Energy Sector to Address the Climate Change Challenge? — A Conceptual Framework on an Approach to Measure the Impact of Adoption of Open Innovation (RV), pp. 229–234.
KMIS-2012-WangK #development #on the: On the Development of a Theoretical Framework for New Product Development (LW, AK), pp. 49–59.
KR-2012-BudanLCS #modelling #reliability: Modelling Time and Reliability in Structured Argumentation Frameworks (MCB, MJGL, CIC, GRS).
KR-2012-Coste-MarquisKMO: Weighted Attacks in Argumentation Frameworks (SCM, SK, PM, MAO).
KR-2012-FebbraroLGR #java #named #programming #set: JASP: A Framework for Integrating Answer Set Programming with Java (OF, NL, GG, FR).
KR-2012-LawryD: A Bipolar Framework for Combining Beliefs about Vague Propositions (JL, DD).
KR-2012-MaBL: Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework (JM, SB, WL).
KR-2012-WilsonM #axiom #diagrams #order: An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities (NW, RM).
RecSys-2012-Heitmann #graph #multi #personalisation #semantics: An open framework for multi-source, cross-domain personalisation with semantic interest graphs (BH), pp. 313–316.
SEKE-2012-ChandaMB #architecture #interactive #knowledge base: Interactive Business Rules Framework for Knowledge Based Service Oriented Architecture (DC, DDM, SB), pp. 315–318.
SEKE-2012-HumairaSOWF #metric #multi #programming language #source code #towards: Towards a Unified Source Code Measurement Framework Supporting Multiple Programming Languages (RH, KS, AO, HW, YF), pp. 480–485.
SEKE-2012-MarchettiG #logic #model transformation #using: Model Transformation for Frameworks Using Logical Planning (GAM, ESG), pp. 563–569.
SEKE-2012-SalamiA #algorithm #diagrams #retrieval #search-based #using: A Framework for Class Diagram Retrieval Using Genetic Algorithm (HOS, MAA), pp. 737–740.
SIGIR-2012-CartrightCDDGKWYAMS #multi #retrieval: A framework for manipulating and searching multiple retrieval types (MAC, EFC, WD, JD, LG, KK, XW, IZY, JA, RM, DAS), p. 1001.
SIGIR-2012-GollubSB #as a service #research #towards #web: Ousting ivory tower research: towards a web framework for providing experiments as a service (TG, BS, SB), pp. 1125–1126.
SIGIR-2012-OzertemCDV #machine learning #query #ranking: Learning to suggest: a machine learning framework for ranking query suggestions (UO, OC, PD, EV), pp. 25–34.
SIGIR-2012-RoyGCL #evaluation #query #segmentation #web: An IR-based evaluation framework for web search query segmentation (RSR, NG, MC, SL), pp. 881–890.
AMT-2012-HildebrandtLG #development #graph grammar #model transformation: The MDELab tool framework for the development of correct model transformations with triple graph grammars (SH, LL, HG), pp. 33–34.
ECMFA-2012-GeP #realtime #safety #uml #verification: Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems (NG, MP), pp. 352–367.
ICMT-2012-TerwilligerCC #bidirectional #how #incremental #towards: How Clean Is Your Sandbox? — Towards a Unified Theoretical Framework for Incremental Bidirectional Transformations (JFT, AC, CC), pp. 1–23.
MoDELS-2012-FouquetNMDBPJ #eclipse #modelling #requirements #runtime: An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements (FF, GN, BM, ED, OB, NP, JMJ), pp. 87–101.
MoDELS-2012-VierhauserGHHL #consistency #industrial #modelling #product line: Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines (MV, PG, WH, GH, DL), pp. 531–545.
SPLC-2012-GomezPCBL #documentation #generative #named: DPLfw: a framework for variable content document generation (AG, MdCP, JHC, MRSB, ML), pp. 96–105.
ECOOP-2012-DohertyH #matlab #named #static analysis: McSAF: A Static Analysis Framework for MATLAB (JD, LJH), pp. 132–155.
ECOOP-2012-KarimDGS #analysis: An Analysis of the Mozilla Jetpack Extension Framework (RK, MD, VG, CcS), pp. 333–355.
OOPSLA-2012-BarowyCBM #named #platform: AutoMan: a platform for integrating human-based and digital computation (DWB, CC, EDB, AM), pp. 639–654.
OOPSLA-2012-CousotCLB #abstract interpretation #contract #refactoring: An abstract interpretation framework for refactoring with application to extract methods with contracts (PC, RC, FL, MB), pp. 213–232.
OOPSLA-2012-DattaSS #collaboration #developer #platform: Talk versus work: characteristics of developer collaboration on the jazz platform (SD, RS, BS), pp. 655–668.
TOOLS-EUROPE-2012-FiambertiMT #development #object-oriented #realtime: An Object-Oriented Application Framework for the Development of Real-Time Systems (FF, DM, FT), pp. 75–90.
TOOLS-EUROPE-2012-OlahMS #constraints #representation: Representing Uniqueness Constraints in Object-Relational Mapping — The Natural Entity Framework (MJO, DM, DS), pp. 236–251.
AdaEurope-2012-SaezRC #multi #realtime: An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications (SS, JR, AC), pp. 18–34.
LOPSTR-2012-RojasG #constraints #generative #logic programming #testing: A Framework for Guided Test Case Generation in Constraint Logic Programming (JMR, MGZ), pp. 176–193.
PLDI-2012-LiuZJDK #compilation #parallel: A compiler framework for extracting superword level parallelism (JL, YZ, OJ, WD, MTK), pp. 347–358.
POPL-2012-CousotC #abstract interpretation #termination: An abstract interpretation framework for termination (PC, RC), pp. 245–258.
RE-2012-CailliauL #analysis #probability: A probabilistic framework for goal-oriented risk analysis (AC, AvL), pp. 201–210.
RE-2012-KukrejaBPP #requirements: Selecting an appropriate framework for value-based requirements prioritization (NK, BWB, SSP, SP), pp. 303–308.
ASE-2012-BiallasBK #logic #platform #programmable #verification: Arcade.PLC: a verification platform for programmable logic controllers (SB, JB, SK), pp. 338–341.
ASE-2012-NguyenVLG #detection #knowledge-based #named #requirements: REInDetector: a framework for knowledge-based requirements engineering (THN, BQV, ML, JG), pp. 386–389.
FSE-2012-ShepherdDRF #code search #named: Sando: an extensible local code search framework (DS, KD, BR, TF), p. 15.
ICSE-2012-BoosFJK #cyber-physical #debugging #named: BRACE: An assertion framework for debugging cyber-physical systems (KB, CLF, CJ, MK), pp. 1341–1344.
ICSE-2012-CunhaFMS #modelling #named #spreadsheet: MDSheet: A framework for model-driven spreadsheet engineering (JC, JPF, JM, JS), pp. 1395–1398.
ICSE-2012-FuhrmanCA #education #re-engineering #tool support: Integrating tools and frameworks in undergraduate software engineering curriculum (CF, RC, AA), pp. 1195–1204.
ICSE-2012-JinMLR #monitoring #named #parametricity #performance #runtime: JavaMOP: Efficient parametric runtime monitoring framework (DJ, POM, CL, GR), pp. 1427–1430.
ICSE-2012-Kukreja #collaboration #elicitation #named #network #requirements #social: Winbook: A social networking based framework for collaborative requirements elicitation and WinWin negotiations (NK), pp. 1610–1612.
ICSE-2012-MengWZM #approach #evolution #identification: A history-based matching approach to identification of framework evolution (SM, XW, LZ, HM), pp. 353–363.
ICSE-2012-ZhangLY #debugging: An integrated bug processing framework (XZ, ML, KY), pp. 1469–1470.
SAC-2012-AmericoRD #java #platform #realtime: Managing the dynamism of the OSGi Service Platform in real-time Java applications (JCA, WR, DD), pp. 1115–1122.
SAC-2012-DandamudiWH #animation #comprehension #source code: An animation framework for improving the comprehension of TinyOS programs (SD, SKW, JOH), pp. 1625–1631.
SAC-2012-FerreiraBMCLF #architecture #crawling: An architecture-centered framework for developing blog crawlers (RF, PHdSB, JM, EC, RL, FLGdF), pp. 1131–1136.
SAC-2012-FerreiraLMCFL #crawling #named: RetriBlog: a framework for creating blog crawlers (RF, RL, JM, EC, FLGdF, HPLL), pp. 696–701.
SAC-2012-HuangHL #algorithm: Evaluating force-directed algorithms with a new framework (MLH, WH, CCL), pp. 1030–1032.
SAC-2012-KeshishzadehIM #automaton #model checking: A Büchi automata based model checking framework for reo connectors (SK, MI, AM), pp. 1536–1543.
SAC-2012-KorahSS #multi #realtime #scalability: Multi-agent framework for real-time processing of large and dynamic search spaces (JK, EES, ESJ), pp. 755–762.
SAC-2012-MaiaFFCAT #mobile #social: Framework for building intelligent mobile social applications (MEFM, JBFF, CABdQF, RC, RMCA, FT), pp. 525–530.
SAC-2012-MannS #android #detection #privacy #static analysis: A framework for static detection of privacy leaks in android applications (CM, AS), pp. 1457–1462.
SAC-2012-MavrogiannopoulosTP #encryption #kernel #linux: A linux kernel cryptographic framework: decoupling cryptographic keys from applications (NM, MT, BP), pp. 1435–1442.
SAC-2012-NakagawaBM #architecture #knowledge-based: A knowledge-based framework for reference architectures (EYN, MB, JCM), pp. 1197–1202.
SAC-2012-OliveiraFPC #product line: Investigating framework product lines (ALdO, FCF, RADP, VVdC), pp. 1177–1182.
SAC-2012-ProencaCVA #coordination #distributed #named: Dreams: a framework for distributed synchronous coordination (JP, DC, EPdV, FA), pp. 1510–1515.
SAC-2012-RodoperBJT #mobile #performance #security: An efficient security framework for mobile WiMAX (MR, AB, EJ, WT), pp. 1494–1501.
SAC-2012-SakkopoulosPSTPS #deployment #distributed #named: DREAM: a distributed fRamework for customized dEployment of a vAriety of indexing engines over million-node overlays (ES, AP, SS, DT, GP, AS), pp. 853–858.
SAC-2012-SalemBD #xml: An Active XML-based framework for integrating complex data (RS, OB, JD), pp. 888–892.
SAC-2012-ScandurraRPMC #adaptation #coordination #optimisation #resource management: A layered coordination framework for optimizing resource allocation in adapting cloud-based applications (PS, CR, PP, RM, RC), pp. 471–472.
SAC-2012-ShinWC #distributed #in the cloud: A policy-based decentralized authorization management framework for cloud computing (DS, YW, WC), pp. 465–470.
SAC-2012-SousaC #modelling #named #open source #symbolic computation: SageRobotics: open source framework for symbolic computation of robot models (CDS, RC), pp. 262–267.
SAC-2012-VerheijKFVH #query #ranking: Querying and ranking news items in the hermes framework (AV, AK, FF, DV, FH), pp. 672–679.
SAC-2012-WeiWRR #artificial reality #challenge: Examining the practical challenges of an Augmented Reality cyber-infrastructure framework (CW, CNW, RR, JR), pp. 531–536.
GPCE-2012-BagheriS #architecture #named #platform #synthesis: Pol: specification-driven synthesis of architectural code frameworks for platform-based applications (HB, KJS), pp. 93–102.
SLE-2012-AnjorinSRS #bidirectional #platform: A Framework for Bidirectional Model-to-Platform Transformations (AA, KS, SR, AS), pp. 124–143.
CASE-2012-KimCLK #fault #monitoring #process: Task-oriented synchronous error monitoring framework in robotic manufacturing process (HK, JC, SL, JK), pp. 485–490.
CASE-2012-KimKHHL #platform #using: A robot platform for unmanned weeding in a paddy field using sensor fusion (GHK, SCK, YKH, KSH, SGL), pp. 904–907.
CASE-2012-KimPLPC #estimation #parametricity: A parameter estimation method for the bilateral teleoperation framework for an O2 lance manipulator (HK, BP, JL, YJP, WKC), pp. 564–568.
CASE-2012-LeeB #execution #lifecycle #simulation #using: Executable simulation lifecycle management framework using extensible and interoperable simulation language (HL, AB), pp. 237–242.
CASE-2012-Markovski: A process-theoretic state-based framework for live supervision (JM), pp. 680–685.
CASE-2012-TataraLOC #adaptation #interactive #mobile #network #self: Locally communicative interaction framework for adaptively self-organizing mobile sensor networks (KT, GL, HO, NYC), pp. 1138–1143.
CASE-2012-WeiM #design #order #process #scheduling: Design of an order acceptance and scheduling module in a unified framework with product and process features (JW, YSM), pp. 968–973.
CASE-2012-YiLTW #scheduling: A new operational framework to job shop scheduling for reducing carbon emissions (QY, CL, YT, QW), pp. 58–63.
CC-2012-JimboreanMLC #named #program analysis: VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework (AJ, LM, VL, PC), pp. 220–239.
DAC-2012-MelpignanoBFJLHCD #embedded #evaluation #manycore #performance #platform #visual notation: Platform 2012, a many-core computing accelerator for embedded SoCs: performance evaluation of visual analytics applications (DM, LB, EF, BJ, TL, GH, FC, DD), pp. 1137–1142.
DAC-2012-ZhouLCKQY #monitoring: An information-theoretic framework for optimal temperature sensor allocation and full-chip thermal monitoring (HZ, XL, CYC, EK, HQ, SCY), pp. 642–647.
DATE-2012-AbellanPABBMB #clustering #communication #design: Design of a collective communication infrastructure for barrier synchronization in cluster-based nanoscale MPSoCs (JLA, JFP, MEA, DB, DB, AM, LB), pp. 491–496.
DATE-2012-Al-HashimiM #hardware #platform #question #verification: Accelerators and emulators: Can they become the platform of choice for hardware verification? (BMAH, RM), p. 430.
DATE-2012-BombieriFG #fault #functional #named #simulation #verification: FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs (NB, FF, VG), pp. 562–565.
DATE-2012-CupaiuoloI #flexibility #implementation #performance #platform: A flexible and fast software implementation of the FFT on the BPE platform (TC, DLI), pp. 1467–1470.
DATE-2012-FanQ #manycore #platform #realtime #scheduling: Harmonic semi-partitioned scheduling for fixed-priority real-time tasks on multi-core platform (MF, GQ), pp. 503–508.
DATE-2012-LiDT #authentication #detection #hardware #self: A sensor-assisted self-authentication framework for hardware trojan detection (ML, AD, MT), pp. 1331–1336.
DATE-2012-LiuFQ #manycore #platform: Neighbor-aware dynamic thermal management for multi-core platform (GL, MF, GQ), pp. 187–192.
DATE-2012-MahmoodSD #linear #modelling #multi #performance: An efficient framework for passive compact dynamical modeling of multiport linear systems (ZM, RS, LD), pp. 1203–1208.
DATE-2012-MeissnerMLH #graph #morphism #performance #synthesis #testing: Fast isomorphism testing for a graph-based analog circuit synthesis framework (MM, OM, LL, LH), pp. 757–762.
DATE-2012-PanagopoulosAR #approach #hybrid #simulation: A framework for simulating hybrid MTJ/CMOS circuits: Atoms to system approach (GP, CA, KR), pp. 1443–1446.
DATE-2012-VyagrheswaruduDR #interactive #named #optimisation #platform: PowerAdviser: An RTL power platform for interactive sequential optimizations (NV, SD, AR), pp. 550–553.
HPDC-2012-Budiu #artificial reality #big data #platform: Putting a “big-data” platform to good use: training kinect (MB), pp. 1–2.
HPDC-2012-GamellRPM #platform #power management: Exploring cross-layer power management for PGAS applications on the SCC platform (MG, IR, MP, RM), pp. 235–246.
HPDC-2012-MooreK #encapsulation #logic #performance: A resiliency model for high performance infrastructure based on logical encapsulation (JJM, CK), pp. 283–294.
PDP-2012-BroccoB #evaluation #peer-to-peer #protocol: A Framework for a Comprehensive Evaluation of Ant-Inspired Peer-to-Peer Protocols (AB, IB), pp. 303–310.
PDP-2012-JejkalHSOGWS #data-driven #execution #named: LAMBDA — The LSDF Execution Framework for Data Intensive Applications (TJ, VH, RS, JCO, AG, JvW, AS), pp. 213–220.
PPoPP-2012-HuynhHWG #multi #scalability #streaming: Scalable framework for mapping streaming applications onto multi-GPU systems (HPH, AH, WFW, RSMG), pp. 1–10.
PPoPP-2012-JimboreanCPML #adaptation #parallel #performance: Adapting the polyhedral model as a framework for efficient speculative parallelization (AJ, PC, BP, LM, VL), pp. 295–296.
PPoPP-2012-NollG #optimisation #parallel #source code: An infrastructure for dynamic optimization of parallel programs (AN, TRG), pp. 325–326.
PPoPP-2012-SimDKV #analysis #identification #performance: A performance analysis framework for identifying potential benefits in GPGPU applications (JS, AD, HK, RWV), pp. 11–22.
ESOP-2012-EmotoFH #parallel #pipes and filters #programming: Generate, Test, and Aggregate — A Calculation-based Framework for Systematic Parallel Programming with MapReduce (KE, SF, ZH), pp. 254–273.
ESOP-2012-LeeOCY #first-order #named: GMeta: A Generic Formal Metatheory Framework for First-Order Representations (GL, BCdSO, SC, KY), pp. 436–455.
FASE-2012-BruniCGLV #adaptation #concept: A Conceptual Framework for Adaptation (RB, AC, FG, ALL, AV), pp. 240–254.
FASE-2012-HatvaniPS #adaptation #automaton #embedded #verification: Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems (LH, PP, CCS), pp. 115–129.
FASE-2012-MaggiMA #constraints #monitoring: An Operational Decision Support Framework for Monitoring Business Constraints (FMM, MM, WMPvdA), pp. 146–162.
TACAS-2012-ArmandoAABCCCCCCEFMMOPPRRDTV #architecture #automation #platform #security #trust #validation: The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures (AA, WA, TA, MB, AC, AC, RC, YC, LC, JC, GE, SF, MM, SM, DvO, GP, SEP, MR, MR, MTD, MT, LV), pp. 267–282.
TACAS-2012-HeussnerGS #communication #named #verification: McScM: A General Framework for the Verification of Communicating Machines (AH, TLG, GS), pp. 478–484.
TACAS-2012-JegourelLS #model checking #performance #platform #statistics: A Platform for High Performance Statistical Model Checking — PLASMA (CJ, AL, SS), pp. 498–503.
TACAS-2012-YehWH #design #named #open source #synthesis #towards #verification: QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification (HHY, CYW, CY(H), pp. 377–391.
WRLA-2012-LucanuSR #𝕂: 𝕂 Framework Distilled (DL, TFS, GR), pp. 31–53.
WRLA-2012-TushkanovaGRK #rule-based: A Rule-Based Framework for Building Superposition-Based Decision Procedures (ET, AG, CR, OK), pp. 221–239.
CAV-2012-AlbarghouthiLGC #named #verification: Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification (AA, YL, AG, MC), pp. 672–678.
ICST-2012-CalvarTH #monitoring #runtime: A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments (JC, RTL, SH), pp. 499–508.
ICST-2012-ChittimalliS #modelling #named #source code: GEMS: A Generic Model Based Source Code Instrumentation Framework (PKC, VS), pp. 909–914.
ICST-2012-KauffmanK #industrial #research #testing: A Framework to Support Research in and Encourage Industrial Adoption of Regression Testing Techniques (JMK, GMK), pp. 907–908.
ICST-2012-TranP #graph transformation #towards #verification: Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations (HNT, CP), pp. 946–953.
ICTSS-2012-MayerSWM #named #performance #testing: CaPTIF: Comprehensive Performance TestIng Framework (DAM, OS, SW, UM), pp. 55–70.
SAT-2012-BloomGHSSS #game studies #named #parallel #satisfiability #scalability: SatX10: A Scalable Plug&Play Parallel SAT Framework — (BB, DG, BH, AS, HS, VAS), pp. 463–468.
TAP-2012-CreignouES #random #satisfiability #specification: A Framework for the Specification of Random SAT and QSAT Formulas (NC, UE, MS), pp. 163–168.
VMCAI-2012-SackZ #probability: A General Framework for Probabilistic Characterizing Formulae (JS, LZ), pp. 396–411.
CBSE-2011-KoziolekR #component #modelling #optimisation #quality #towards: Towards a generic quality optimisation framework for component-based system models (AK, RHR), pp. 103–108.
CBSE-2011-LoiretRSM #component #re-engineering: Software engineering of component-based systems-of-systems: a reference framework (FL, RR, LS, PM), pp. 61–66.
CBSE-2011-MeloP #component #open source #recommendation: A component-based open-source framework for general-purpose recommender systems (FMM, ÁRPJ), pp. 67–72.
CBSE-2011-ParraPKGS #component #development #multi #named #platform: MICOBS: multi-platform multi-model component based software development framework (PP, ORP, MK, IG, SS), pp. 1–10.
ECSA-2011-CuboP #architecture #automation #component #composition #named: DAMASCo: A Framework for the Automatic Composition of Component-Based and Service-Oriented Architectures (JC, EP), pp. 388–404.
ECSA-2011-EbadA #comparison #delivery: Software Packaging Approaches — A Comparison Framework (SAE, MAA), pp. 438–446.
ECSA-2011-EhlersH #adaptation #component #monitoring #self: A Self-adaptive Monitoring Framework for Component-Based Software Systems (JE, WH), pp. 278–286.
ECSA-2011-OrlicDML #architecture #component #concept #configuration management #resource management: Dynamically Reconfigurable Resource-Aware Component Framework: Architecture and Concepts (BO, ID, RHM, JJL), pp. 212–215.
QoSA-ISARCS-2011-HauckKHR #named: Ginpex: deriving performance-relevant infrastructure properties through goal-oriented experiments (MH, MK, NH, RHR), pp. 53–62.
QoSA-ISARCS-2011-KlattRK #communication #integration #predict #quality: Integration of event-based communication in the palladio software quality prediction framework (BK, CR, SK), pp. 43–52.
QoSA-ISARCS-2011-Perez-PalacinMM #adaptation #energy #self: Enhancing a QoS-based self-adaptive framework with energy management capabilities (DPP, RM, JM), pp. 165–170.
WICSA-2011-NewmanK #embedded #runtime: A Runtime Resource-Management Framework for Embedded Service-Oriented Systems (PN, GK), pp. 123–126.
WICSA-2011-PappuSS: A Supportability Framework (NP, SS, FS), pp. 137–146.
WICSA-2011-SanchezEAB #architecture #multimodal #named #recognition: ABE: An Agent-Based Software Architecture for a Multimodal Emotion Recognition Framework (JGS, MECE, RKA, WB), pp. 187–193.
DocEng-2011-LuongLN #design #tool support: A framework with tools for designing web-based geographic applications (TNL, SL, TN), pp. 33–42.
DRR-2011-EynardME #corpus #navigation: A framework to improve digital corpus uses: image-mode navigation (LE, VM, HE), pp. 1–10.
ICDAR-2011-AroraN #recognition: A Semi-supervised SVM Framework for Character Recognition (AA, AMN), pp. 1105–1109.
ICDAR-2011-LazzaraLGJMC #analysis #documentation #image #platform: The SCRIBO Module of the Olena Platform: A Free Software Framework for Document Image Analysis (GL, RL, TG, YJ, JM, ACL), pp. 252–258.
JCDL-2011-NascimentoLSG #independence #recommendation #research: A source independent framework for research paper recommendation (CN, AHFL, ASdS, MAG), pp. 297–306.
SIGMOD-2011-CastellanosDHGDLZS #analysis #named #platform #social: LCI: a social channel analysis platform for live customer intelligence (MC, UD, MH, RG, MD, YL, LZ, MS), pp. 1049–1058.
SIGMOD-2011-LiMDMS #pipes and filters #platform #scalability #using: A platform for scalable one-pass analytics using MapReduce (BL, EM, YD, AM, PJS), pp. 985–996.
SIGMOD-2011-LinACOW #named #pipes and filters #scalability: Llama: leveraging columnar storage for scalable join processing in the MapReduce framework (YL, DA, CC, BCO, SW), pp. 961–972.
SIGMOD-2011-OlstonR #debugging #distributed #monitoring: Inspector gadget: a framework for custom monitoring and debugging of distributed dataflows (CO, BR), pp. 1221–1224.
SIGMOD-2011-ZhouFSTHILS #declarative #distributed #maintenance #named #platform #query: NetTrails: a declarative platform for maintaining and querying provenance in distributed systems (WZ, QF, SS, TT, AH, ZGI, BTL, MS), pp. 1323–1326.
TPDL-2011-AgelliCRGMS #multi #platform #web: NotreDAM, a Multi-user, Web Based Digital Asset Management Platform (MA, MLC, MDR, DG, OM, FS), pp. 453–456.
TPDL-2011-BudikovaBZ #evaluation #image #platform #retrieval: Evaluation Platform for Content-Based Image Retrieval Systems (PB, MB, PZ), pp. 130–142.
TPDL-2011-DeclerckCMRB #corpus: A Text Technology Infrastructure for Annotating Corpora in the eHumanities (TD, UC, KM, CR, GB), pp. 457–460.
TPDL-2011-PearsonB #multi #named: CloudBooks: An Infrastructure for Reading on Multiple Devices (JSP, GB), pp. 488–492.
TPDL-2011-SimonJH: The YUMA Media Annotation Framework (RS, JJ, BH), pp. 434–437.
VLDB-2011-ChattopadhyayLLMALKW #implementation #pipes and filters #sql: Tenzing A SQL Implementation On The MapReduce Framework (BC, LL, WL, SM, PA, VL, YK, MW), pp. 1318–1327.
VLDB-2011-ChenVWOO #in the cloud: A Framework for Supporting DBMS-like Indexes in the Cloud (GC, HTV, SW, BCO, MTÖ), pp. 702–713.
VLDB-2011-KotsifakosPHG #sequence: A Subsequence Matching with Gaps-Range-Tolerances Framework: A Query-By-Humming Application (AK, PP, JH, DG), pp. 761–771.
VLDB-2011-OlstonR #debugging #distributed #monitoring: Inspector Gadget: A Framework for Custom Monitoring and Debugging of Distributed Dataflows (CO, BR), pp. 1237–1248.
CSEET-2011-KehrerACV #architecture: A software architecture orientation framework (TK, IA, AC, OV), p. 560.
ITiCSE-2011-AnjorinGR #collaboration #learning #named #platform #web: CROKODIL: a platform supporting the collaborative management of web resources for learning purposes (MA, RDG, CR), p. 361.
ITiCSE-2011-ChuaB: Integrating scholarly articles within e-learning courses: a framework (BBC, DVB), p. 392.
ITiCSE-2011-CraigFFL #evaluation: Evaluation framework underpinning the digital divas programme (AC, JF, HF, CL), pp. 313–317.
ITiCSE-2011-EganCT #evaluation: The academic enhancement program in introductory CS: a workshop framework description and evaluation (RE, DC, DMT), pp. 278–282.
ITiCSE-2011-JourjonKY #platform: Impact of an e-learning platform on CSE lectures (GJ, SSK, JY), pp. 83–87.
SIGITE-2011-Li #concept #open source #using: Introducing virtualization management concepts using open source cloud infrastructure managers (PL), pp. 309–310.
SIGITE-2011-McGill #game studies #source code: Motivations and informing frameworks of game degree programs in the United Kingdom and the United States (MM), pp. 67–72.
SIGITE-2011-RoweLH #assessment #identification #source code: An assessment framework for identifying information technology programs (DCR, BML, CRGH), pp. 123–128.
SCAM-J-2009-ClipshamMBM11 #development #multi: Proposing a multi-agency development framework (PC, EM, LB, PM), pp. 381–391.
ICPC-2011-HouL #api #case study #using: Obstacles in Using Frameworks and APIs: An Exploratory Study of Programmers’ Newsgroup Discussions (DH, LL), pp. 91–100.
ICPC-2011-Wu #api #evolution #modelling #multi #optimisation #problem: Modeling Framework API Evolution as a Multi-objective Optimization Problem (WW), pp. 262–265.
ICSM-2011-SahaRS #automation: An automatic framework for extracting and classifying near-miss clone genealogies (RKS, CKR, KAS), pp. 293–302.
WCRE-2011-LammelLPV #dot-net: A Framework Profile of .NET (RL, RL, EP, AV), pp. 141–150.
RTA-2011-MoserS #complexity #dependence #multi #proving #recursion #termination: Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity (GM, AS), pp. 235–250.
SEFM-2011-CrespoK #logic #relational: A Machine-Checked Framework for Relational Separation Logic (JMC, CK), pp. 122–137.
CIG-2011-GalliLCL #approach #detection #machine learning: A cheating detection framework for Unreal Tournament III: A machine learning approach (LG, DL, LC, PLL), pp. 266–272.
CIG-2011-MunozYMHGS #game studies #platform #towards: Towards gaze-controlled platform games (JM, GNY, FM, DWH, GG, AS), pp. 47–54.
CIG-2011-NygrenDSA #automation #game studies #generative #platform: User-preference-based automated level generation for platform games (NN, JD, BS, JA), pp. 55–62.
DiGRA-2011-HamariE #design #game studies: Framework for Designing and Evaluating Game Achievements (JH, VE).
DiGRA-2011-Schultheiss #game studies #research: MUsE - A Framework for Reception-based Gaming Research (DS).
VS-Games-2011-BraitmaierK #artificial reality #experience #user interface: Virtual and Augmented Reality: Improved User Experience through a Service Oriented Infrastructure (MB, DK), pp. 40–46.
VS-Games-2011-LewandowskiAGC #artificial reality #design: A Portable Framework Design to Support User Context Aware Augmented Reality Applications (JL, HA, RNGN, KMC), pp. 144–147.
CHI-2011-ChangL #migration #mobile #using: Deep shot: a framework for migrating tasks across devices using mobile phone cameras (THC, YL), pp. 2163–2172.
CHI-2011-Hincapie-RamosTB #named #volunteer: GridOrbit: an infrastructure awareness system for increasing contribution in volunteer computing (JDHR, AT, JEB), pp. 1899–1908.
CHI-2011-MuellerEVGABS #design #game studies: Designing sports: a framework for exertion games (FM, DE, FV, MRG, SA, BB, JGS), pp. 2651–2660.
CSCW-2011-BrubakerH11a #representation: SELECT * FROM USER: infrastructure and socio-technical representation (JRB, GRH), pp. 369–378.
CSCW-2011-WulfRPS #case study #design #research: Engaging with practices: design case studies as a research framework in CSCW (VW, MR, VP, GS), pp. 505–512.
DHM-2011-HodgesUBHSK #platform: Second Life as a Platform for Creating Intelligent Virtual Agents (LFH, ACU, TB, ALH, JMS, BK), pp. 292–301.
DHM-2011-KaklanisMMT #assessment #automation: A Framework for Automatic Simulated Accessibility Assessment in Virtual Environments (NK, PM, KM, DT), pp. 302–311.
DUXU-v2-2011-RyderSY #grid: The Grid Intelligent Planning Framework: Planning Electric Utility Investments in a Time of Accelerating Change (GR, FS, SY), pp. 205–214.
HCD-2011-HumayounDC #agile #design #development #integration: A Three-Fold Integration Framework to Incorporate User-Centered Design into Agile Software Development (SRH, YD, TC), pp. 55–64.
HCI-DDA-2011-AbdullahAN #design #development #towards #user interface: Towards a Cognitive-Based User Interface Design Framework Development (NA, WAWA, NLMN), pp. 17–24.
HCI-DDA-2011-AdikariMC #design #experience #user interface: A Design Science Framework for Designing and Assessing User Experience (SA, CM, JAC), pp. 25–34.
HCI-DDA-2011-HornungB #concept #design #interactive #towards #web: Towards a Conceptual Framework for Interaction Design for the Pragmatic Web (HHH, MCCB), pp. 72–81.
HCI-DDA-2011-Komischke #design #experience #user interface: The Impact of Rich Application Frameworks on User Experience Design (TK), pp. 92–97.
HCI-DDA-2011-LuoY #algorithm #clustering #network #novel #parallel #using: A Novel Parallel Clustering Algorithm Based on Artificial Immune Network Using nVidia CUDA Framework (RL, QY), pp. 598–607.
HCI-DDA-2011-Richardson #design: Design and Rich Application Frameworks (KHR), pp. 131–135.
HCI-DDA-2011-Sandnes #configuration management #image #scalability: A Configurable Photo Browser Framework for Large Image Collections (FES), pp. 643–652.
HCI-ITE-2011-WuJMM: A Framework Interweaving Tangible Objects, Surfaces and Spaces (AW, JJ, SM, AM), pp. 148–157.
HCI-MIIE-2011-Abril-JimenezVWAG #platform #user interface: User Interface Framework for Ambient Intelligence Platforms (PAJ, CVM, MTAW, HA, JRBG), pp. 129–136.
HCI-MIIE-2011-AhmadTSSK #interactive #platform: Guess Who? An Interactive and Entertaining Game-Like Platform for Investigating Human Emotions (MIA, HT, MS, SS, EK), pp. 543–551.
HCI-MIIE-2011-ChaoFK #simulation: A Framework for Agent-Based Simulation in Tourism Planning (DC, KF, TK), pp. 280–287.
HCI-UA-2011-HayakawaNOFN #learning #visualisation: Visualization Framework for Computer System Learning (EH, YN, HO, MF, YN), pp. 21–26.
HCI-UA-2011-LuhC #geometry #platform #sketching: CAI Platform for Fundamental Geometric Training on Perspective Sketching (DBL, SNC), pp. 86–92.
HIMI-v2-2011-YuCW #communication #interactive #named #platform #problem #product line: SAM: A Spatial Interactive Platform for Studying Family Communication Problem (GJY, TWC, YCW), pp. 207–216.
IDGD-2011-FuZ #design #social: Designing for Social Urban Media: Creating an Integrated Framework of Social Innovation and Service Design in China (ZF, XZ), pp. 494–503.
IDGD-2011-HsuLL #case study #design #development #process: A Study of Framework and Process Development for Cultural Product Design (CHH, CLL, RL), pp. 55–64.
IDGD-2011-MurakamiNNY #community #design #education #platform: Design and Construction of SNS Platform and “Working Room” for Making Community for Fostering Japanese Teachers (MM, NN, KN, KY), pp. 543–549.
OCSC-2011-LeeTYW: An M-Pill Framework in the Electronic Healthcare (NCL, HT, AY, JW), pp. 213–218.
CAiSE-2011-LemaitreH #database #evaluation #fault #quality #taxonomy #using: Quality Evaluation and Improvement Framework for Database Schemas — Using Defect Taxonomies (JL, JLH), pp. 536–550.
CAiSE-2011-LiuSJMC #design: A Design of Business-Technology Alignment Consulting Framework (KL, LS, DJ, VM, SC), pp. 422–435.
CAiSE-2011-MateT #architecture #metamodelling #modelling #requirements #traceability: A Trace Metamodel Proposal Based on the Model Driven Architecture Framework for the Traceability of User Requirements in Data Warehouses (AM, JT), pp. 123–137.
CAiSE-2011-WeigandJAAB #design: Management Services — A Framework for Design (HW, PJ, BA, JJA, MB), pp. 582–596.
EDOC-2011-AgaramL #development #independence: An Engine-Independent Framework for Business Rules Development (MKA, CL), pp. 75–84.
EDOC-2011-BalinskyPS: System Call Interception Framework for Data Leak Prevention (HB, DSP, SJS), pp. 139–148.
EDOC-2011-CurleyK #case study #maturity #using: Using the IT Capability Maturity Framework to Improve IT Capability and Value Creation: An Intel IT Case Study (MC, JK), pp. 107–115.
ICEIS-J-2011-BorekHGP: IS/IT Resources and Business Value: Operationalization of an Information Oriented Framework (AB, MH, MG, AKP), pp. 420–434.
ICEIS-J-2011-NganBL11a #learning #monitoring #multi #query: An Event-Based Service Framework for Learning, Querying and Monitoring Multivariate Time Series (CKN, AB, JL), pp. 208–223.
ICEIS-J-2011-Schulte11a #collaboration #distributed #information management: A Service-Oriented Framework for Distributed Collaborative Knowledge Work (JS), pp. 405–419.
ICEIS-v1-2011-DiEM #platform #research: Research and Application of Carrier-grade Mashup Platform on OneAPI (JD, HE, LM), pp. 504–509.
ICEIS-v1-2011-JiG #process #research: Research Process Oriented Intelligent Decision Support System Framework (YJ, JG), pp. 534–538.
ICEIS-v1-2011-Kong #design #e-commerce #formal method #platform: The Design of the Framework of the Siye Integrated e-Commerce Platform based on the Theory of the Integrated e-Commerce (SK), pp. 277–280.
ICEIS-v1-2011-LingEL #internet #mobile: A New Framework of Location-based Services in Mobile Internet (XL, HE, LL), pp. 539–544.
ICEIS-v1-2011-LiuEK #convergence #platform #web: A Cloud Telecom Open Platform for Converging IMS and Web 2.0 (LL, HE, XK), pp. 545–549.
ICEIS-v1-2011-LiuEM #design #implementation #integration #platform: Design and Implementation of an Open Platform for Services Integration based on Mashup (YL, HE, LM), pp. 554–559.