BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
framework
Google framework

Tag #framework

4185 papers:

ASPLOSASPLOS-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.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2020-ThomasHZ #named #parallel #streaming
Fleet: A Framework for Massively Parallel Streaming on FPGAs (JJT, PH, MZ), pp. 639–651.
ASPLOSASPLOS-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.
CGOCGO-2020-KangCP #named #performance #precise #scalability
PreScaler: an efficient system-aware precision scaling framework on heterogeneous systems (SK, KC, YP), pp. 280–292.
CGOCGO-2020-MatsumuraZWEM #automation #named
AN5D: automated stencil framework for high-degree temporal blocking on GPUs (KM, HRZ, MW, TE, SM), pp. 199–211.
ICSAICSA-2019-AlamGPAB #detection
A Framework for Tunable Anomaly Detection (MRA, IG, CP, AA, TB), pp. 201–210.
ICSAICSA-2019-WeberLTDGS #architecture #multitenancy #platform
A Platform Architecture for Multi-Tenant Blockchain-Based Systems (IW, QL0, ABT, AD, MG, MS), pp. 101–110.
EDMEDM-2019-HanWJZZ #human-computer #hybrid
A Human-Machine Hybrid Peer Grading Framework for SPOCs (YH, WW0, SJ, LZ, HZ0).
EDMEDM-2019-PolyzouNK #markov #recommendation
Scholars Walk: A Markov Chain Framework for Course Recommendation (AP, ANN, GK).
EDMEDM-2019-PuWJ #automation #education #student
ATC Framework: A fully Automatic Cognitive Tracing Model for Student and Educational Contents (YP, WW0, TJ).
ICPCICPC-2019-ZyrianovNGCM #analysis #implementation #named #pointer
srcPtr: a framework for implementing static pointer analysis approaches (VZ, CDN, DTG, MLC, JIM), pp. 144–147.
ICSMEICSME-2019-AlmeidaTK #named #technical debt
Tracy: A Business-Driven Technical Debt Prioritization Framework (RRdA, CT, UK), pp. 181–185.
ICSMEICSME-2019-CokerWGBS #debugging
A Qualitative Study on Framework Debugging (ZC, DGW, CLG, CB, JS), pp. 568–579.
ICSMEICSME-2019-Shah #analysis #data type #performance
Lib Metamorphosis: A Performance Analysis Framework for Exchanging Data Structures in Performance Sensitive Applications (MDS), pp. 379–381.
ICSMEICSME-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.
MSRMSR-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.
MSRMSR-2019-KolovosNBMP #distributed #mining #named #repository
Crossflow: a framework for distributed mining of software repositories (DSK, PN, KB, NM, RFP), pp. 155–159.
MSRMSR-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.
MSRMSR-2019-MontandonSV #git #identification #library
Identifying experts in software libraries and frameworks among GitHub users (JEM, LLS, MTV), pp. 276–287.
SANERSANER-2019-BusingeKOBS #eclipse #how #interface #question
How Stable Are Eclipse Application Framework Internal Interfaces? (JB, SK, MO, EB, AS), pp. 117–127.
SANERSANER-2019-PachecoBMNMR #mining #recommendation #scala
Mining Scala Framework Extensions for Recommendation Patterns (YP, JDB, TM, DDN, WDM, CDR), pp. 514–523.
FMFM-2019-SogokonMTCP #generative #invariant #named
Pegasus: A Framework for Sound Continuous Invariant Generation (AS, SM, YKT, KC, AP), pp. 138–157.
FMFM-2019-ZhaoSZ0 #concurrent #parametricity #reasoning
A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems (YZ, DS, FZ, YL0), pp. 161–178.
FSCDFSCD-2019-CernaK #higher-order
A Generic Framework for Higher-Order Generalizations (DMC, TK), p. 19.
FSCDFSCD-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-PLAYCHI-PLAY-2019-LesselAB #game studies #named #platform
Crowdjump: Investigating a Player-Driven Platform Game (PL, MA, NB), pp. 149–159.
CHI-PLAYCHI-PLAY-2019-WillifordRCLLH #sketching
A Framework for Motivating Sketching Practice with Sketch-based Gameplay (BW, MR, JC, WL, JL, TH), pp. 533–544.
CoGCoG-2019-AbuzuraiqFP #clustering #generative #graph #named
Taksim: A Constrained Graph Partitioning Framework for Procedural Content Generation (AMA, AF, PP), pp. 1–8.
CoGCoG-2019-HernandezDGYDSW #self
A Generalized Framework for Self-Play Training (DH, KD, YG, PY, SD, SS, JAW), pp. 1–8.
CoGCoG-2019-PalenciaO #named #platform #web
PsyRTS: a Web Platform for Experiments in Human Decision-Making in RTS Environments (DOVP, MO), pp. 1–4.
CoGCoG-2019-StephensonPSB #contest #platform
Ludii as a Competition Platform (MS, ÉP, DJNJS, CB), pp. 1–8.
CoGCoG-2019-WarriarUWT #design #game studies #named #platform
PlayMapper: Illuminating Design Spaces of Platform Games (VRW, CU, JRW, LT), pp. 1–4.
DiGRADiGRA-2019-GrabarczykA #game studies #ontology
Port or conversion? An ontological framework for classifying game versions (PG, EA).
FDGFDG-2019-BurukIT #design #smarttech
A design framework for playful wearables (OTB, KI, TT), p. 12.
FDGFDG-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.
FDGFDG-2019-OSheaF #design #game studies #question
Game design frameworks: where do we start? (ZO, JF), p. 10.
FDGFDG-2019-SandhuM #design pattern
A framework for integrating architectural design patterns into PCG (AS, JM), p. 5.
FDGFDG-2019-SnodgrassMH #towards
Towards a generalized player model through the PEAS framework (SS, OM, CH), p. 7.
FDGFDG-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.
CoGVS-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.
CoGVS-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.
CIKMCIKM-2019-ChengZYTN0 #predict
A Dynamic Default Prediction Framework for Networked-guarantee Loans (DC, YZ, FY, YT, ZN, LZ0), pp. 2547–2555.
CIKMCIKM-2019-JungLPP #named #using
PRIVATA: Differentially Private Data Market Framework using Negotiation-based Pricing Mechanism (KJ, JL, KP, SP), pp. 2897–2900.
CIKMCIKM-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.
CIKMCIKM-2019-LiuNX0Y #named #self
MoBoost: A Self-improvement Framework for Linear-based Hashing (XL, XN, XX, LZ0, YY), pp. 871–880.
CIKMCIKM-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.
CIKMCIKM-2019-QiLDCQD #e-commerce
A Deep Neural Framework for Sales Forecasting in E-Commerce (YQ, CL, HD, MC, YQ, YD), pp. 299–308.
CIKMCIKM-2019-XuZYACT #image
A Unified Generation-Retrieval Framework for Image Captioning (CX, WZ, MY, XA, WC, JT), pp. 2313–2316.
CIKMCIKM-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.
CIKMCIKM-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.
CIKMCIKM-2019-ZhuC0LZ #named #recommendation
DTCDR: A Framework for Dual-Target Cross-Domain Recommendation (FZ, CC, YW0, GL, XZ), pp. 1533–1542.
ECIRECIR-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.
ICMLICML-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.
ICMLICML-2019-LiZWSX #learning
Learn to Grow: A Continual Structure Learning Framework for Overcoming Catastrophic Forgetting (XL, YZ, TW, RS, CX), pp. 3925–3934.
ICMLICML-2019-NayebiMP #embedded #optimisation
A Framework for Bayesian Optimization in Embedded Subspaces (AN, AM, MP), pp. 4752–4761.
ICMLICML-2019-SlimCAV #kernel #named
kernelPSI: a Post-Selection Inference Framework for Nonlinear Variable Selection (LS, CC0, CAA, JPV), pp. 5857–5865.
ICMLICML-2019-YurtseverFC
A Conditional-Gradient-Based Augmented Lagrangian Framework (AY, OF, VC), pp. 7272–7281.
KDDKDD-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.
KDDKDD-2019-AkibaSYOK #named #optimisation
Optuna: A Next-generation Hyperparameter Optimization Framework (TA, SS, TY, TO, MK), pp. 2623–2631.
KDDKDD-2019-ChakrabortyF #identification #robust
A Robust Framework for Accelerated Outcome-driven Risk Factor Identification from EHR (PC, FF), pp. 1800–1808.
KDDKDD-2019-HouCLCY #graph #learning #representation
A Representation Learning Framework for Property Graphs (YH, HC, CL, JC, MCY), pp. 65–73.
KDDKDD-2019-HuNYZ #collaboration #distributed #machine learning #named
FDML: A Collaborative Machine Learning Framework for Distributed Features (YH, DN, JY, SZ), pp. 2232–2240.
KDDKDD-2019-HwangLVGXN #scalability #video
Large-Scale Training Framework for Video Annotation (SJH, JL, BV, AG, ZX, AN), pp. 2394–2402.
KDDKDD-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.
KDDKDD-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.
KDDKDD-2019-LiSPDJGBHG
A Generalized Framework for Population Based Training (AL, OS, SP, VD, MJ, CG, DB, TH, PG), pp. 1791–1799.
KDDKDD-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.
KDDKDD-2019-MengY0N #induction #named
HATS: A Hierarchical Sequence-Attention Framework for Inductive Set-of-Sets Embeddings (CM, JY, BR0, JN), pp. 783–792.
KDDKDD-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.
KDDKDD-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.
KDDKDD-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.
KDDKDD-2019-Yang #graph #named #network #platform
AliGraph: A Comprehensive Graph Neural Network Platform (HY), pp. 3165–3166.
KDDKDD-2019-ZhaoHYZXY
A Unified Framework for Marketing Budget Allocation (KZ, JH, LY, QZ, HX, CY), pp. 1820–1830.
KDDKDD-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.
ECOOPECOOP-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.
PADLPADL-2019-Tarau #combinator #proving #testing #theorem proving
A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers (PT), pp. 115–132.
PLDIPLDI-2019-GuanSL #named #performance
Wootz: a compiler-based framework for fast CNN pruning via composability (HG, XS, SHL), pp. 717–730.
PLDIPLDI-2019-ShullHT #java #named #reachability
AutoPersist: an easy-to-use Java NVM framework based on reachability (TS, JH0, JT), pp. 316–332.
PLDIPLDI-2019-ZhuXMJ #induction #learning #synthesis
An inductive synthesis framework for verifiable reinforcement learning (HZ0, ZX, SM, SJ), pp. 686–701.
POPLPOPL-2019-TomanG #abstract interpretation #named
Concerto: a framework for combined concrete and abstract interpretation (JT, DG), p. 29.
ASEASE-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.
ASEASE-2019-DuX000Z #analysis #network
A Quantitative Analysis Framework for Recurrent Neural Network (XD, XX, YL0, LM0, YL0, JZ), pp. 1062–1065.
ASEASE-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.
ASEASE-2019-Hu0XY0Z #learning #mutation testing #testing
DeepMutation++: A Mutation Testing Framework for Deep Learning Systems (QH, LM0, XX, BY, YL0, JZ), pp. 1158–1161.
ASEASE-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.
ASEASE-2019-TankovGB #named
Kotless: A Serverless Framework for Kotlin (VT, YG, TB), pp. 1110–1113.
ESEC-FSEESEC-FSE-2019-AnBPY #independence #search-based
PyGGI 2.0: language independent genetic improvement framework (GA, AB, JP, SY), pp. 1100–1104.
ESEC-FSEESEC-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-FSEESEC-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-FSEESEC-FSE-2019-LangP #c++ #case study #model checking
Model checking a C++ software framework: a case study (JL, ISWBP), pp. 1026–1036.
ESEC-FSEESEC-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-FSEESEC-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-FSEESEC-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-FSEESEC-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.
SLESLE-2019-Papoulias #platform
The lands platform: lan.guages and d.omain s.yntax (NP), pp. 66–70.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2019-0015ARZMGY #memory management
A Framework for Memory Oversubscription Management in Graphics Processing Units (CL0, RA, CJR, YZ, OM, YG0, JY0), pp. 49–63.
ASPLOSASPLOS-2019-LehmannP #named
Wasabi: A Framework for Dynamically Analyzing WebAssembly (DL0, MP), pp. 1045–1058.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2019-RouhaniCK #named #network
DeepSigns: An End-to-End Watermarking Framework for Ownership Protection of Deep Neural Networks (BDR, HC, FK), pp. 485–497.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2019-ZhangZWLFZS #performance #scalability
Fast and Scalable VMM Live Upgrade in Large Cloud Infrastructure (XZ, XZ, ZW0, QL0, JF, YZ, YS), pp. 93–105.
ASPLOSASPLOS-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.
CASECASE-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.
CASECASE-2019-HenniSLR #detection
Improved dynamic object detection within evidential grids framework (AHH, AS, RL, NR), pp. 1080–1086.
CASECASE-2019-KarimDHCS #classification
A Framework for Accurate Time Series Classification Based on Partial Observation (FK, HD, SH, SC, AS), pp. 634–639.
CASECASE-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.
CASECASE-2019-TangJ #estimation #platform #simulation
A Simulation Platform for Sensing System Selection for Occupant Distribution Estimation in Smart Buildings (JXT, QSJ), pp. 985–990.
ESOPESOP-2019-FuhsK #dependence #higher-order
A Static Higher-Order Dependency Pair Framework (CF, CK), pp. 752–782.
CAVCAV-2019-KangLT #automation #platform #synthesis
Automated Synthesis of Secure Platform Mappings (EK, SL, ST), pp. 219–237.
CAVCAV-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.
ICSTICST-2019-LamOSM0 #detection #named #testing
iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests (WL, RO, AS, DM, TX0), pp. 312–322.
ICSTICST-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.
ICSTICST-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.
ECSAECSA-2018-BarbosaGMRM #distributed #lightweight #named #platform
Beethoven: An Event-Driven Lightweight Platform for Microservice Orchestration (DMB, RG, PHMM, LSR, NCM), pp. 191–199.
ECSAECSA-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.
ICSAICSA-2018-GuptaUBDRF #platform #scalability
The Anatomy of a Large-Scale Experimentation Platform (SG, LU, SB, PAD, PR, AF), pp. 1–10.
ICSAICSA-2018-KramerWSR #distributed #platform
A Blockchain-Based Micro Economy Platform for Distributed Infrastructure Initiatives (JK, JMEMvdW, JS, MR), pp. 11–20.
ICSAICSA-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.
JCDLJCDL-2018-ColeASSCJ #design #learning #platform #research
Designing a Research Platform for Engaged Learning (NC, AAR, RS, CES, SC, RJ), pp. 315–316.
JCDLJCDL-2018-KellyNW #web
A Framework for Aggregating Private and Public Web Archives (MK, MLN, MCW), pp. 273–282.
JCDLJCDL-2018-ZhouLZ #development
Building a Theoretical Framework for the Development of Digital Scholarship Services in China's Universities (LZ, XL, TZ), pp. 119–122.
EDMEDM-2018-AbhinavSDBV #modelling #named
LeCoRe: A Framework for Modeling Learner's preference (KA, VS, AD, PB, ADV).
EDMEDM-2018-LeeCN #identification #online #platform #video
Identifying User Engagement Patterns in an Online Video Discussion Platform (SYL, HSC, GN).
ICPCICPC-2018-PorkolabB #comprehension
The codecompass comprehension framework (ZP, TB), pp. 393–396.
ICPCICPC-2018-PorkolabBKC #comprehension #industrial #named
Codecompass: an open software comprehension framework for industrial usage (ZP, TB, DK, MC), pp. 361–369.
MSRMSR-2018-BraiekKA08 #machine learning
The open-closed principle of modern machine learning frameworks (HBB, FK, BA), pp. 353–363.
MSRMSR-2018-Chatzidimitriou #named #quality
npm-miner: an infrastructure for measuring the quality of the npm registry (KCC, MDP, TGD, MT, ALS), pp. 42–45.
SANERSANER-2018-MoverSOC #corpus #graph #mining
Mining framework usage graphs from app corpora (SM, SS0, RBPO, BYEC), pp. 277–289.
SANERSANER-2018-RabiserGVBG #comparison #monitoring #runtime
A comparison framework for runtime monitoring approaches (journal-first abstract) (RR, SG, MV, LB, PG), p. 472.
FSCDFSCD-2018-AlvesB
A Unifying Framework for Type Inhabitation (SA, SB), p. 16.
SEFMSEFM-2018-BabaeeGF #learning #predict #runtime #statistics #using #verification
Prevent : A Predictive Run-Time Verification Framework Using Statistical Learning (RB, AG, SF), pp. 205–220.
SEFMSEFM-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.
AIIDEAIIDE-2018-AytemizKHSW #named
Talin: A Framework for Dynamic Tutorials Based on the Skill Atoms Theory (BA, IK, JH, AMS, JW), pp. 138–144.
CoGCIG-2018-ChristiansenNG #multi
Multi-Parameterised Matchmaking: A Framework (AHC, BFN, EG), pp. 1–4.
CoGCIG-2018-KeehlS #game studies
Monster Carlo: An MCTS-based Framework for Machine Playtesting Unity Games (OK, AMS), pp. 1–8.
DiGRADiGRA-2018-GaoS #analysis #design #game studies #matter #platform
Does Platform Matter? A Game Design Analysis of Female Engagement in MOBA Games (GG, PCS).
DiGRADiGRA-2018-HicksDHG #design #empirical #game studies
Good Game Feel: An Empirically Grounded Framework for Juicy Design (KH, PD, JH, KG).
FDGFDG-2018-Jorgensen #game studies
Media and games: an intermedial framework (IKHJ), p. 10.
FDGFDG-2018-ThompsonS #adaptation #game studies
'Play your own way': adapting a procedural framework for accessibility (TT, MS), p. 7.
CoGVS-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.
CoGVS-Games-2018-MertNDMD #game studies
A Medical Serious Games Framework Hierarchy for Validity (AM, TCWN, BD, HM, MD), pp. 1–2.
CIKMCIKM-2018-0002B #named
GYANI: An Indexing Infrastructure for Knowledge-Centric Tasks (DG0, KB), pp. 487–496.
CIKMCIKM-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.
CIKMCIKM-2018-ChaeKKL #collaboration #generative #named #network
CFGAN: A Generic Collaborative Filtering Framework based on Generative Adversarial Networks (DKC, JSK, SWK, JTL), pp. 137–146.
CIKMCIKM-2018-ChenXM #detection #social #social media
An Encoder-Memory-Decoder Framework for Sub-Event Detection in Social Media (GC, NX, WM), pp. 1575–1578.
CIKMCIKM-2018-HuNY #linear #performance #predict
A Fast Linear Computational Framework for User Action Prediction in Tencent MyApp (YH, DN, JY), pp. 2047–2055.
CIKMCIKM-2018-KenthapadiT #named #privacy
PriPeARL: A Framework for Privacy-Preserving Analytics and Reporting at LinkedIn (KK, TTLT), pp. 2183–2191.
CIKMCIKM-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.
CIKMCIKM-2018-NimishakaviMGT #induction #multi #streaming
Inductive Framework for Multi-Aspect Streaming Tensor Completion with Side Information (MN, BM, MG, PPT), pp. 307–316.
CIKMCIKM-2018-PalottiZH #evaluation #multi #named
MM: A new Framework for Multidimensional Evaluation of Search Engines (JRMP, GZ, AH), pp. 1699–1702.
CIKMCIKM-2018-PapalexakisP #multi #named
tHoops: A Multi-Aspect Analytical Framework for Spatio-Temporal Basketball Data (EEP, KP), pp. 2223–2232.
CIKMCIKM-2018-TiwariM #classification #towards
Towards a Quantum-Inspired Framework for Binary Classification (PT, MM), pp. 1815–1818.
CIKMCIKM-2018-WangLGBN #metric #optimisation #ranking
The LambdaLoss Framework for Ranking Metric Optimization (XW, CL0, NG, MB, MN), pp. 1313–1322.
CIKMCIKM-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.
ICMLICML-2018-ChowdhuryYD #sketching
An Iterative, Sketching-based Framework for Ridge Regression (AC, JY, PD), pp. 988–997.
ICMLICML-2018-JawanpuriaM #learning #matrix #rank
A Unified Framework for Structured Low-rank Matrix Learning (PJ, BM), pp. 2259–2268.
ICMLICML-2018-KangarshahiHSC #game studies
Let's be Honest: An Optimal No-Regret Framework for Zero-Sum Games (EAK, YPH, MFS, VC), pp. 2493–2501.
ICMLICML-2018-KolarijaniEK #exponential #hybrid #performance
Fast Gradient-Based Methods with Exponential Rate: A Hybrid Control Framework (ASK, PME, TK), pp. 2733–2741.
ICMLICML-2018-LanCS #analysis #estimation
An Estimation and Analysis Framework for the Rasch Model (ASL, MC, CS), pp. 2889–2897.
ICMLICML-2018-NguyenRF #performance #robust #testing
Active Testing: An Efficient and Robust Framework for Estimating Accuracy (PXN, DR, CCF), pp. 3756–3765.
ICMLICML-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.
ICMLICML-2018-Schwarz0LGTPH #learning #scalability
Progress & Compress: A scalable framework for continual learning (JS, WC0, JL, AGB, YWT, RP, RH), pp. 4535–4544.
ICMLICML-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.
ICMLICML-2018-YurtseverFLC #programming
A Conditional Gradient Framework for Composite Convex Minimization with Applications to Semidefinite Programming (AY, OF, FL, VC), pp. 5713–5722.
ICPRICPR-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.
ICPRICPR-2018-BhaskaruniML #predict #testing
Estimating Prediction Qualities without Ground Truth: A Revisit of the Reverse Testing Framework (DB, FPM, CL), pp. 49–54.
ICPRICPR-2018-DingLZ #detection
A Selective Tracking and Detection Framework with Target Enhanced Feature (XD, LL, XZ), pp. 1924–1928.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2018-LiWK18a #image #learning #using
Infrared and Visible Image Fusion using a Deep Learning Framework (HL0, XJW, JK), pp. 2705–2710.
ICPRICPR-2018-SuiZYC #detection #learning #novel #recognition
A Novel Integrated Framework for Learning both Text Detection and Recognition (WS, QZ, JY, WC), pp. 2233–2238.
ICPRICPR-2018-XuXZHCZDNW #estimation #hybrid
A Hybrid Framework for Tumor Saliency Estimation (FX, MX, YZ, KH, HDC, BZ, JD, CN, YW), pp. 3935–3940.
ICPRICPR-2018-Yan0R #classification #performance #representation #scalability
An Efficient Deep Representation Based Framework for Large-Scale Terrain Classification (YY, AR0, SR), pp. 940–945.
ICPRICPR-2018-ZhangLWCZ #automation #image #multimodal #set
An Automated Point Set Registration Framework for Multimodal Retinal Image (HZ, XL, GW, YC, WZ), pp. 2857–2862.
KDDKDD-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.
KDDKDD-2018-DingLBZL #named
Investor-Imitator: A Framework for Trading Knowledge Extraction (YD, WL, JB0, DZ, TYL), pp. 1310–1319.
KDDKDD-2018-KochGGWGX #named #optimisation
Autotune: A Derivative-free Optimization Framework for Hyperparameter Tuning (PK, OG, SG, BW, JG, YX), pp. 443–452.
KDDKDD-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.
KDDKDD-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.
KDDKDD-2018-SachanX #parsing #source code
Parsing to Programs: A Framework for Situated QA (MS, EPX), pp. 2140–2149.
KDDKDD-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.
KDDKDD-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.
KDDKDD-2018-TaoXGLFZ #detection #game studies #named
NGUARD: A Game Bot Detection Framework for NetEase MMORPGs (JT, JX, LG, YL, CF, ZZ), pp. 811–820.
KDDKDD-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.
KDDKDD-2018-ZhaoSWZN0 #named #rest
REST: A Reference-based Framework for Spatio-temporal Trajectory Compression (YZ0, SS, YW, BZ, QVHN, KZ0), pp. 2797–2806.
KDDKDD-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.
ECMFAECMFA-2018-BarmpisKH #execution #natural language #towards
Towards a Framework for Writing Executable Natural Language Rules (KB, DSK, JH), pp. 251–263.
ICMTICMT-2018-Boronat #atl #execution #prototype #semantics
A Formal Framework for Prototyping Executable Semantics in ATL (AB), pp. 157–172.
ICMTICMT-2018-Hinkel #modelling #multi #named #platform
NMF: A Multi-platform Modeling Framework (GH), pp. 184–194.
MoDELSMoDELS-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.
MoDELSMoDELS-2018-Rodriguez-Echeverria #modelling #protocol #towards #visual notation
Towards a Language Server Protocol Infrastructure for Graphical Modeling (RRE, JLCI, MW, JC), pp. 370–380.
MoDELSMoDELS-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.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-2018-LiZ #security
A derivation framework for dependent security label inference (PL, DZ), p. 26.
OOPSLAOOPSLA-2018-MendisA #named #parallel
goSLP: globally optimized superword level parallelism framework (CM, SPA), p. 28.
OOPSLAOOPSLA-2018-PadhiJPPGM #named
FlashProfile: a framework for synthesizing data profiles (SP, PJ0, DP, OP, SG, TDM), p. 28.
PADLPADL-2018-CatalanoLRRV #development #tool support
A REST-Based Development Framework for ASP: Tools and Application (GC, GL, KR, FR, PV), pp. 161–169.
PLDIPLDI-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.
PPDPPPDP-2018-Gardner #javascript #named #testing #verification
JaVerT: JavaScript Verification and Testing Framework: Invited Talk (PG), p. 4.
PPDPPPDP-2018-GreweEPM #automation #proving #theorem proving
System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers (SG, SE, AP, MM), p. 10.
ASEASE-2018-BorgesHZ #android #generative #named #platform #testing
DroidMate-2: a platform for Android test generation (NPBJ, JH, AZ), pp. 916–919.
ASEASE-2018-ChenZ #retrieval #source code #summary
A neural framework for retrieval and summarization of source code (QC, MZ), pp. 826–831.
ASEASE-2018-HelmKERM #analysis
A unified lattice model and framework for purity analyses (DH, FK, ME, MR, MM), pp. 340–350.
ASEASE-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.
ASEASE-2018-RoohitavafK #agile #distributed #named #prototype
DKVF: a framework for rapid prototyping and evaluating distributed key-value stores (MR, SSK), pp. 912–915.
ASEASE-2018-SungPW #analysis #named
CANAL: a cache timing analysis framework via LLVM transformation (CS, BP, CW0), pp. 904–907.
ASEASE-2018-Traini #distributed #effectiveness #fault #injection #multi #performance
A multi-objective framework for effective performance fault injection in distributed systems (LT), pp. 936–939.
ASEASE-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-FSEESEC-FSE-2018-ChenLCXL #configuration management #fuzzing #named
FOT: a versatile, configurable, extensible fuzzing framework (HC, YL, BC0, YX, YL0), pp. 867–870.
ESEC-FSEESEC-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-FSEESEC-FSE-2018-SpadiniAB #mining #named #python #repository
PyDriller: Python framework for mining software repositories (DS, MFA, AB), pp. 908–911.
ESEC-FSEESEC-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.
SLESLE-2018-Stromback #named #platform
Storm: a language platform for interacting and extensible languages (FS), pp. 60–64.
CASECASE-2018-BaltaTB
A Centralized Framework for System-Level Control and Management of Additive Manufacturing Fleets (ECB, DMT, KB), pp. 1071–1078.
CASECASE-2018-CecilAC #assembly #cyber-physical #industrial
An Industry 4.0 Cyber-Physical Framework for Micro Devices Assembly (JC, SA, ACX), pp. 427–432.
CASECASE-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.
CASECASE-2018-KronthalerW #modelling #platform #precise
Model based control of a high precision dual gantry platform with elastic cross coupling (PK, FW), pp. 491–498.
CASECASE-2018-PetitRHH #assembly
A virtual capture framework for assembly tasks (DP, IGRA, QH, KH), pp. 1618–1623.
CASECASE-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.
CASECASE-2018-TangWWWLT #named
RobCutt: A Framework of Underwater Biomimetic Vehicle-Manipulator System for Autonomous Interventions (CT0, RW0, YW0, SW0, UFvL, MT0), pp. 477–482.
CCCC-2018-ZhaoK0 #bound #compilation
A polyhedral compilation framework for loops with dynamic data-dependent bounds (JZ0, MK, AC0), pp. 14–24.
CGOCGO-2018-CostaA #named #performance
CollectionSwitch: a framework for efficient and dynamic collection selection (DC0, AA0), pp. 16–26.
ESOPESOP-2018-UrbanM #abstract interpretation
An Abstract Interpretation Framework for Input Data Usage (CU, PM0), pp. 683–710.
FASEFASE-2018-ChenHYCKX #named #testing
CRETE: A Versatile Binary-Level Concolic Testing Framework (BC0, CH, ZY, KC, RK, FX), pp. 281–298.
FASEFASE-2018-ParkSR #analysis #using #web
EventHandler-Based Analysis Framework for Web Apps Using Dynamically Collected States (JP, KS, SR), pp. 129–145.
FASEFASE-2018-TaentzerKPK #incremental #slicing
A Formal Framework for Incremental Model Slicing (GT, TK, CP, UK), pp. 3–20.
ICSTICST-2018-HodovanK #composition #named #open source #random testing #testing
Fuzzinator: An Open-Source Modular Random Testing Framework (RH, ÁK0), pp. 416–421.
ICSTICST-2018-Rahman
Anti-Patterns in Infrastructure as Code (AR), pp. 434–435.
ICSTICST-2018-RayROMO #energy #security #testing
Bluetooth Low Energy Devices Security Testing Framework (AR, VR, MO, AM, SO), pp. 384–393.
ICSTICST-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.
ICTSSICTSS-2018-MizumotoEYH #energy #testing
An Energy Aware Testing Framework for Smart-Spaces (TM, KEF, KY, TH), pp. 85–101.
IJCARIJCAR-2018-EchenimPS #generative #modulo theories
A Generic Framework for Implicate Generation Modulo Theories (ME, NP, YS), pp. 279–294.
IJCARIJCAR-2018-HernandezK #abstraction #reasoning #scalability
An Abstraction-Refinement Framework for Reasoning with Large Theories (JCLH, KK), pp. 663–679.
IJCARIJCAR-2018-HirokawaNM #confluence #tool support
Cops and CoCoWeb: Infrastructure for Confluence Tools (NH, JN, AM), pp. 346–353.
IJCARIJCAR-2018-KanovichKNS #commutative #logic
A Logical Framework with Commutative and Non-commutative Subexponentials (MIK, SK, VN, AS), pp. 228–245.
IJCARIJCAR-2018-MelquiondR #algorithm #proving #why
A Why3 Framework for Reflection Proofs and Its Application to GMP's Algorithms (GM, RRH), pp. 178–193.
VMCAIVMCAI-2018-ButlerTP #design #domain model #education #modelling
A Framework for Computer-Aided Design of Educational Domain Models (EB, ET, ZP), pp. 138–160.
VMCAIVMCAI-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.
ECSAECSA-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.
ICSAICSA-2017-HauptLSV #analysis #api #rest
A Framework for the Structural Analysis of REST APIs (FH, FL, AS, KVH), pp. 55–58.
ICSAICSA-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.
JCDLJCDL-2017-CastroCWPF #platform #semistructured data #using
Classifying Short Unstructured Data Using the Apache Spark Platform (EPSC, SC, EW, DAP, EAF), pp. 129–138.
JCDLJCDL-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.
EDMEDM-2017-Albrecht #estimation #programming #student
A Framework for the Estimation of Students' Programming Abilities (EA).
EDMEDM-2017-AndresBSGSC #replication #scalability #using
Studying MOOC Completion at Scale Using the MOOC Replication Framework (JMLA, RSB, GS, DG, CAS, SAC).
EDMEDM-2017-KuangCHN #analysis #network #platform #social #topic
A Topic Model and Social Network Analysis of a School Blogging Platform (XK, HSC, BH, GN).
EDMEDM-2017-ZhuLW0 #automation #effectiveness #generative #ranking #topic
An Effective Framework for Automatically Generating and Ranking Topics in MOOC Videos (JZ, XL, ZW, MZ0).
ICSMEICSME-2017-AsaduzzamanRSH #recommendation
Recommending Framework Extension Examples (MA, CKR, KAS, DH), pp. 456–466.
MSRMSR-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.
SANERSANER-2017-AnMKA #platform #question #stack overflow
Stack Overflow: A code laundering platform? (LA, OM, FK, GA), pp. 283–293.
SANERSANER-2017-GhafariM #recommendation #source code
A framework for classifying and comparing source code recommendation systems (MG, HM), pp. 555–556.
SANERSANER-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.
SCAMSCAM-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.
FSCDFSCD-2017-LicataSR #logic
A Fibrational Framework for Substructural and Modal Logics (DRL, MS, MR), p. 22.
SEFMSEFM-2017-LeildeRTD #verification
A Diagnosis Framework for Critical Systems Verification (Short Paper) (VL, VR, CT, PD), pp. 394–400.
SEFMSEFM-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.
AIIDEAIIDE-2017-Horn #education #game studies #generative
A Skill-Based Framework for the Generation and Presentation of Educational Videogame Content (BH), pp. 292–294.
CHI-PLAYCHI-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-PLAYCHI-PLAY-2017-TondelloWORN #game studies #taxonomy
A Framework and Taxonomy of Videogame Playing Preferences (GFT, RRW, RO, GR, LEN), pp. 329–340.
DiGRADiGRA-2017-Zagal #game studies
War Ethics: A Framework for Analyzing Videogames (JPZ).
FDGFDG-2017-KaoH #education #named #platform
MazeStar: a platform for studying virtual identity and computer science education (DK, DFH), p. 6.
FDGFDG-2017-SiuZR #game studies
A framework for exploring and evaluating mechanics in human computation games (KS, AZ, MOR), p. 4.
CoGVS-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.
CoGVS-Games-2017-Grammatikopoulou #adaptation #game studies
An adaptive framework for the creation of bodymotion-based games (AG, SL, OS, KD, NG), pp. 209–216.
CoGVS-Games-2017-SpyridonisZP #design #gamification
The gamification of accessibility design: A proposed framework (FS, DDZ, ITP), pp. 233–236.
CIKMCIKM-2017-ChenXLDTCP #named #network
HotSpots: Failure Cascades on Heterogeneous Critical Infrastructure Networks (LC, XX, SL, SD, AGT, SC, BAP), pp. 1599–1607.
CIKMCIKM-2017-KangJCBK #execution
A Framework for Estimating Execution Times of IO Traces on SSDs (YK, YYJ, JC, WDB, SWK), pp. 2123–2126.
CIKMCIKM-2017-KhoaAW #analysis #incremental #maintenance #using
Smart Infrastructure Maintenance Using Incremental Tensor Analysis: Extended Abstract (NLDK, AA, YW), pp. 959–967.
CIKMCIKM-2017-LiHPG #detection #machine learning #named
DeMalC: A Feature-rich Machine Learning Framework for Malicious Call Detection (YL, DH, AP, ZG), pp. 1559–1567.
CIKMCIKM-2017-LimLH #interactive #named #twitter
iFACT: An Interactive Framework to Assess Claims from Tweets (WYL, MLL, WH), pp. 787–796.
CIKMCIKM-2017-LiuH #adaptation #multi #personalisation #predict
A Personalized Predictive Framework for Multivariate Clinical Time Series via Adaptive Model Selection (ZL, MH), pp. 1169–1177.
CIKMCIKM-2017-ManotumruksaMO #collaboration #recommendation
A Deep Recurrent Collaborative Filtering Framework for Venue Recommendation (JM, CM, IO), pp. 1429–1438.
CIKMCIKM-2017-ManotumruksaMO17a #multi #personalisation #ranking #recommendation
A Personalised Ranking Framework with Multiple Sampling Criteria for Venue Recommendation (JM, CM, IO), pp. 1469–1478.
CIKMCIKM-2017-PersiaBH #detection #interactive #modelling #video
An Interactive Framework for Video Surveillance Event Detection and Modeling (FP, FB, SH), pp. 2515–2518.
CIKMCIKM-2017-PonzaFC #wiki
A Two-Stage Framework for Computing Entity Relatedness in Wikipedia (MP, PF, SC), pp. 1867–1876.
CIKMCIKM-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.
CIKMCIKM-2017-ShaikhK #analysis #named
StreamingCube: A Unified Framework for Stream Processing and OLAP Analysis (SAS, HK), pp. 2527–2530.
CIKMCIKM-2017-ZohrevandGTSSS #learning
Deep Learning Based Forecasting of Critical Infrastructure Data (ZZ, UG, MAT, HYS, MS, AYS), pp. 1129–1138.
ECIRECIR-2017-Recalde #recommendation #set #social
A Social Framework for Set Recommendation in Group Recommender Systems (LR), pp. 735–743.
ECIRECIR-2017-ZagheliAS #feedback #modelling #recommendation
Negative Feedback in the Language Modeling Framework for Text Recommendation (HRZ, MA, AS), pp. 662–668.
ICMLICML-2017-AppelP #empirical #multi
A Simple Multi-Class Boosting Framework with Theoretical Guarantees and Empirical Proficiency (RA, PP), pp. 186–194.
ICMLICML-2017-MachadoBB #learning
A Laplacian Framework for Option Discovery in Reinforcement Learning (MCM, MGB, MHB), pp. 2295–2304.
ICMLICML-2017-ShiKFHL #platform
World of Bits: An Open-Domain Platform for Web-Based Agents (TS, AK, LF, JH, PL), pp. 3135–3144.
ICMLICML-2017-WangZG #matrix #rank
A Unified Variance Reduction-Based Framework for Nonconvex Low-Rank Matrix Recovery (LW, XZ, QG), pp. 3712–3721.
KDDKDD-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.
KDDKDD-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.
KDDKDD-2017-EpastoLL #clustering
Ego-Splitting Framework: from Non-Overlapping to Overlapping Clusters (AE, SL, RPL), pp. 145–154.
KDDKDD-2017-GanH #data mining #mining #scalability
A Data Mining Framework for Valuing Large Portfolios of Variable Annuities (GG, JXH), pp. 1467–1475.
KDDKDD-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.
KDDKDD-2017-McNamaraVY #feature model #multimodal
Developing a Comprehensive Framework for Multimodal Feature Extraction (QM, AdlV, TY), pp. 1567–1574.
KDDKDD-2017-WangJY #hybrid #modelling
A Hybrid Framework for Text Modeling with Convolutional RNN (CW, FJ, HY), pp. 2061–2069.
KDDKDD-2017-YangDSZFXBM #data-driven #process #recommendation
A Data-driven Process Recommender Framework (SY, XD, LS, YZ, RAF, HX, RSB, IM), pp. 2111–2120.
KDDKDD-2017-YuCSZY #behaviour #social
A Temporally Heterogeneous Survival Framework with Application to Social Behavior Dynamics (LY, PC0, CS, TZ, SY), pp. 1295–1304.
MDEBX-2017-AnjorinDJKLW #benchmark #bidirectional #metric
BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations (AA, ZD, FJ, HSK, EL, BW), pp. 15–30.
MoDELSMoDELS-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.
ECOOPECOOP-2017-ZhangO #named #programming language #reuse #visitor
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (WZ, BCdSO), p. 32.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-2017-SakkaS0 #named #recursion #traversal
TreeFuser: a framework for analyzing and fusing general recursive tree traversals (LS, KS, MK0), p. 30.
AdaEuropeAdaEurope-2017-BurnsB #migration
Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework (AB, SB), pp. 203–216.
PLDIPLDI-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.
PLDIPLDI-2017-BornholtT #memory management #modelling #sketching #testing
Synthesizing memory models from framework sketches and Litmus tests (JB, ET), pp. 467–481.
PPDPPPDP-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.
SASSAS-2017-MastroeniP #semantics #verification
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification (IM, MP), pp. 232–252.
SASSAS-2017-SharmaR #abstraction
A New Abstraction Framework for Affine Transformers (TS, TWR), pp. 342–363.
ASEASE-2017-AsaduzzamanRSH #named #recommendation
FEMIR: a tool for recommending framework extension examples (MA, CKR, KAS, DH), pp. 967–972.
ASEASE-2017-CorradiniFP0TV #modelling #named #process #verification
BProVe: a formal verification framework for business process models (FC, FF, AP, BR0, FT, AV), pp. 217–228.
ASEASE-2017-DanielJSC #model transformation #named #scalability
Gremlin-ATL: a scalable model transformation framework (GD, FJ, GS, JC), pp. 462–472.
ASEASE-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-FSEESEC-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-FSEESEC-FSE-2017-DovgalyukFVM #virtual machine
QEMU-based framework for non-intrusive virtual machine instrumentation and introspection (PD, NF, IV, VM), pp. 944–948.
ESEC-FSEESEC-FSE-2017-JabbarvandM #android #energy #mutation testing #named #testing
µDroid: an energy-aware mutation testing framework for Android (RJ, SM), pp. 208–219.
ESEC-FSEESEC-FSE-2017-SahaGMM #natural language #platform #query
Natural language querying in SAP-ERP platform (DS, NG, SM, BM), pp. 878–883.
ESEC-FSEESEC-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.
CASECASE-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.
CASECASE-2017-BaoYZ #cyber-physical
A framework of cyber-physical system for smart cotton production (JB, SY, XZ), pp. 67–73.
CASECASE-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.
CASECASE-2017-GuoYGY #automation
Optimal motion planning and control of a crack filling robot for civil infrastructure automation (CG, KY, YG, JY), pp. 1463–1468.
CASECASE-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.
CASECASE-2017-KhanFF #automation #generative #logic #safety
Virtual engineering framework for automatic generation of control logic including safety (AK, PF, MF), pp. 648–653.
CASECASE-2017-KongLYZH #e-commerce #physics #platform
Physical internet-enabled E-commerce logistics park platform (XTRK, ML0, YY, ZZ, GQH), pp. 406–411.
CASECASE-2017-LiuJL #assurance #social
A framework of credit assurance mechanism for manufacturing services under social manufacturing context (JL, PJ, JL), pp. 36–40.
CASECASE-2017-MaP #modelling #programmable #testing
A model-based testing framework with reduced set of test cases for programmable controllers (CM, JP), pp. 944–949.
CASECASE-2017-SunLZJ #functional #learning #using
Exploring functional variant using a deep learning framework (TS, ZL, XMZ, RJ), pp. 98–99.
CASECASE-2017-ZengBLHZZ #design #energy #platform
Annual renewable energy planning platform: Methodology and design (FZ, ZB, XL, ZH, YZ, YZ), pp. 1392–1397.
CCCC-2017-FedericoPA #analysis #bound
rev.ng: a unified binary analysis framework to recover CFGs and function boundaries (ADF, MP, GA), pp. 131–141.
CGOCGO-2017-JohnsonFBOJA #analysis #collaboration #dependence
A collaborative dependence analysis framework (NPJ, JF, SRB, TO, TBJ, DIA), pp. 148–159.
ESOPESOP-2017-GeorgesMOP #linear #logic #named
LINCX: A Linear Logical Framework with First-Class Contexts (ALG, AM, SO, BP), pp. 530–555.
CADECADE-2017-PapapanagiotouF #composition #named #process #specification #workflow
WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition (PP, JDF), pp. 357–370.
CAVCAV-2017-FaymonvilleFT #bound #named #synthesis
BoSy: An Experimentation Framework for Bounded Synthesis (PF, BF, LT), pp. 325–332.
CSLCSL-2017-HeerdtS0 #automaton #category theory #learning #named
CALF: Categorical Automata Learning Framework (GvH, MS, AS0), p. 24.
ICSTICST-2017-ArcainiGR17a #model checking #named
NuSeen: A Tool Framework for the NuSMV Model Checker (PA, AG, ER), pp. 476–483.
ICSTICST-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.
ICSTICST-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.
ICTSSICTSS-2017-SimosBDGKLW #combinator #execution #testing #using
Testing TLS Using Combinatorial Methods and Execution Framework (DES, JB, FD, BG, KK, YL, FW), pp. 162–177.
TAPTAP-2017-IkeshitaIH #reduction #testing
Test Suite Reduction in Idempotence Testing of Infrastructure as Code (KI, FI, SH), pp. 98–115.
CBSECBSE-2016-KjaergaardJSH #named #platform #reasoning
OccuRE: An Occupancy REasoning Platform for Occupancy-Driven Applications (MBK, AJ, FCS, EH), pp. 39–48.
ECSAECSA-2016-AgrawalP #as a service #towards
Towards a Framework for Building SaaS Applications Operating in Diverse and Dynamic Environments (AA, TVP), pp. 291–306.
ECSAECSA-2016-HassanQO #architecture #evolution #realtime
Evolution Style: Framework for Dynamic Evolution of Real-Time Software Architecture (AH, AQ, MO0), pp. 166–174.
QoSAQoSA-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.
WICSAWICSA-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.
JCDLJCDL-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.
CSEETCSEET-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.
EDMEDM-2016-FeildLZRE #automation #feedback #learning #platform #scalability
A Scalable Learning Analytics Platform for Automated Writing Feedback (JLF, NL, NLZ, MR, AE), pp. 688–693.
EDMEDM-2016-HuangB #learning #modelling #student #towards
Towards Modeling Chunks in a Knowledge Tracing Framework for Students' Deep Learning (YH0, PB), pp. 666–668.
EDMEDM-2016-HuangGB #data-driven #modelling
A Data-Driven Framework of Modeling Skill Combinations for Deeper Knowledge Tracing (YH0, JG, PB), pp. 593–594.
EDMEDM-2016-LanB #learning #personalisation
A Contextual Bandits Framework for Personalized Learning Action Selection (ASL, RGB), pp. 424–429.
EDMEDM-2016-StanhopeR #education #platform
A Platform for Integrating and Analyzing Data to Evaluate the Impacts of Educational Technologies (DS, KR), pp. 642–643.
EDMEDM-2016-YadavSKSD #learning #named #platform
TutorSpace: Content-centric Platform for Enabling Blended Learning in Developing Countries (KY, KS, RK, SS, OD), pp. 705–706.
ICPCICPC-2016-PetrilloSKPFG #comprehension #debugging #interactive
Understanding interactive debugging with Swarm Debug Infrastructure (FP, ZS, FK, MSP, CMDSF, YGG), pp. 1–4.
ICSMEICSME-2016-SvajlenkoR #clone detection #detection #evaluation #named
BigCloneEval: A Clone Detection Tool Evaluation Framework with BigCloneBench (JS, CKR), pp. 596–600.
ICSMEICSME-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.
MSRMSR-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.
SANERSANER-2016-ChristopheBMR #execution #javascript #named #platform
Linvail: A General-Purpose Platform for Shadow Execution of JavaScript (LC, EGB, WDM, CDR), pp. 260–270.
SANERSANER-2016-FanelliSB #legacy
A Systematic Framework for Modernizing Legacy Application Systems (TCF, SCS, SB), pp. 678–682.
SCAMSCAM-2016-0002G #energy #mobile #optimisation
A Source-Level Energy Optimization Framework for Mobile Applications (XL0, JPG), pp. 31–40.
SCAMSCAM-2016-Quante #abstraction #interpreter
A Program Interpreter Framework for Arbitrary Abstractions (JQ), pp. 91–96.
SCAMSCAM-2016-StievenartVMR #composition #named #static analysis
Scala-AM: A Modular Static Analysis Framework (QS, MV, WDM, CDR), pp. 85–90.
FMFM-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.
SEFMSEFM-2016-Cerone #analysis #interactive #logic
A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems (AC), pp. 287–303.
SEFMSEFM-2016-SchwarzD #automation #platform
Automatic Derivation of Platform Noninterference Properties (OS, MD), pp. 27–44.
SEFMSEFM-2016-ZellerP #consistency #information management #proving #towards
Towards a Proof Framework for Information Systems with Weak Consistency (PZ0, APH), pp. 277–283.
SEFMSEFM-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.
AIIDEAIIDE-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.
AIIDEAIIDE-2016-MinBMRLHL #evaluation #multi #recognition
A Generalized Multidimensional Evaluation Framework for Player Goal Recognition (WM, AB, BWM, JPR, BL, EH, JCL), pp. 197–203.
AIIDEAIIDE-2016-TreanorMS #social
A Framework for Playable Social Dialogue (MT, JM, AS), pp. 232–238.
CoGCIG-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.
CoGCIG-2016-Shaker #generative #learning #motivation
Intrinsically motivated reinforcement learning: A promising framework for procedural content generation (NS), pp. 1–8.
DiGRADiGRA-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).
CoGVS-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.
CoGVS-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.
CIKMCIKM-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.
CIKMCIKM-2016-AllabLN #clustering
SemiNMF-PCA framework for Sparse Data Co-clustering (KA, LL, MN), pp. 347–356.
CIKMCIKM-2016-AmeriFCR #analysis #predict #student
Survival Analysis based Framework for Early Prediction of Student Dropouts (SA, MJF, RBC, CKR), pp. 903–912.
CIKMCIKM-2016-AnavaSKR #probability
A Probabilistic Fusion Framework (YA, AS, OK, ER), pp. 1463–1472.
CIKMCIKM-2016-BairiUR #documentation
A Framework for Task-specific Short Document Expansion (RBB, RU, GR), pp. 791–800.
CIKMCIKM-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.
CIKMCIKM-2016-ChandraHKA #adaptation #classification #multi
An Adaptive Framework for Multistream Classification (SC, AH, LK, CCA), pp. 1181–1190.
CIKMCIKM-2016-LeekaBBA #named #performance #rdf
Quark-X: An Efficient Top-K Processing Framework for RDF Quad Stores (JL, SB, DB, MA), pp. 831–840.
CIKMCIKM-2016-LeeKYLK #comparison #pipes and filters
An Experimental Comparison of Iterative MapReduce Frameworks (HL, MK, SBY, JGL0, YK), pp. 2089–2094.
CIKMCIKM-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.
CIKMCIKM-2016-MengLLS #representation #word
Skipping Word: A Character-Sequential Representation based Framework for Question Answering (LM, YL, ML, PS), pp. 1869–1872.
CIKMCIKM-2016-NadungodageXL #data type #mining #named
GStreamMiner: A GPU-accelerated Data Stream Mining Framework (CHN, YX, JJL), pp. 2489–2492.
CIKMCIKM-2016-RekabsazLHZ #modelling #probability
Generalizing Translation Models in the Probabilistic Relevance Framework (NR, ML, AH, GZ), pp. 711–720.
CIKMCIKM-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.
ECIRECIR-2016-NguyenN #named #social #summary
SoRTESum: A Social Context Framework for Single-Document Summarization (MTN, MLN), pp. 3–14.
ICMLICML-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.
ICPRICPR-2016-AfridiRS #latency #learning #named
L-CNN: Exploiting labeling latency in a CNN learning framework (MJA, AR, EMS), pp. 2156–2161.
ICPRICPR-2016-FeiginRA #image #statistics
Statistical consensus matching framework for image registration (MF, BJR, BWA), pp. 1827–1832.
ICPRICPR-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.
ICPRICPR-2016-JhuoWCL
A feature fusion framework for hashing (IHJ, LW, WHC, DTL), pp. 2288–2293.
ICPRICPR-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.
ICPRICPR-2016-NieGJ #feature model #integer #programming
An information theoretic feature selection framework based on integer programming (SN, TG, QJ), pp. 3584–3589.
ICPRICPR-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.
ICPRICPR-2016-SaeedA #locality #recognition
A framework for joint facial expression recognition and point localization (AS, AAH), pp. 4130–4135.
ICPRICPR-2016-SantaK #algebra #image
An algebraic framework for deformable image registration (ZS, ZK), pp. 3792–3797.
ICPRICPR-2016-SharmaCH #architecture #semantics
A unified framework for semantic matching of architectural floorplans (DS, CC, GH), pp. 2422–2427.
ICPRICPR-2016-TounsiMA #learning #recognition #taxonomy
Supervised dictionary learning in BoF framework for Scene Character recognition (MT, IM, AMA), pp. 3987–3992.
ICPRICPR-2016-WangZQL #detection
RGB-D saliency detection under Bayesian framework (STW, ZZ, HBQ, BL), pp. 1881–1886.
KDDKDD-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.
KDDKDD-2016-LakkarajuBL #predict #set
Interpretable Decision Sets: A Joint Framework for Description and Prediction (HL, SHB, JL), pp. 1675–1684.
KDDKDD-2016-SiyariDD #named #optimisation
Lexis: An Optimization Framework for Discovering the Hierarchical Structure of Sequential Data (PS, BD, CD), pp. 1185–1194.
ECMFAECMFA-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.
ICMTICMT-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.
MoDELSMoDELS-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.
MoDELSMoDELS-2016-DanielSC #modelling #named
PrefetchML: a framework for prefetching and caching models (GD, GS, JC), pp. 318–328.
MoDELSMoDELS-2016-HarrandFMH #code generation #named
ThingML: a language and code generation framework for heterogeneous targets (NH, FF, BM, KEH), pp. 125–135.
OnwardOnward-2016-IndelaKND #encryption #interface #semantics #towards
Helping Johnny encrypt: toward semantic interfaces for cryptographic frameworks (SI, MK, KN, TD), pp. 180–196.
OOPSLAOOPSLA-2016-Loncaric0SS #fault #type inference
A practical framework for type inference error explanation (CL, SC0, CS, MS), pp. 781–799.
LOPSTRLOPSTR-2016-Alpuente0V #contract #synthesis
Symbolic Abstract Contract Synthesis in a Rewriting Framework (MA, DP0, AV), pp. 187–202.
PLDIPLDI-2016-KimJJKL #distributed #replication #using
A distributed OpenCL framework using redundant computation and data replication (JK, GJ, JJ, JK, JL), pp. 553–569.
PPDPPPDP-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.
PPDPPPDP-2016-MesnardPV #algorithm #recognition #towards
Towards a framework for algorithm recognition in binary code (FM, ÉP, WV), pp. 202–213.
ASEASE-2016-LeeDR #android #hybrid #named #static analysis
HybriDroid: static analysis framework for Android hybrid applications (SL, JD, SR), pp. 250–261.
ASEASE-2016-SzaboAVE #analysis #data flow
An extensible framework for variable-precision data-flow analyses in MPS (TS, SA, MV, SE), pp. 870–875.
FSEFSE-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.
FSEFSE-2016-Gullapalli #grid #named
Atlas: an intelligent, performant framework for web-based grid computing (SG), pp. 1154–1156.
FSEFSE-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.
GPCEGPCE-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.
SLESLE-2016-BousseDVMDC #execution
Execution framework of the GEMOC studio (EB, TD, DV, TM, JD, BC), pp. 84–89.
ASPLOSASPLOS-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.
CASECASE-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.
CASECASE-2016-SadrfaridpourSW #assembly #collaboration #hybrid
An integrated framework for human-robot collaborative assembly in hybrid manufacturing cells (BS, HS, YW0), pp. 462–467.
CASECASE-2016-ZhouFWLT
A generic optimization-based framework for reactive collision avoidance in bipedal locomotion (CZ, CF, XW, ZL, NGT), pp. 1026–1033.
CCCC-2016-AfroozehI #named #parsing
Iguana: a practical data-dependent parsing framework (AA, AI), pp. 267–268.
CCCC-2016-PhothilimthanaT #named
GreenThumb: superoptimizer construction framework (PMP, AT0, RB, DD), pp. 261–262.
FASEFASE-2016-LinYJL #clustering #modelling #named
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters (JCL, ICY, EBJ, MCL), pp. 49–65.
CAVCAV-2016-KahsaiRSS #java #named #source code #verification
JayHorn: A Framework for Verifying Java programs (TK, PR, HS, MS), pp. 352–358.
CAVCAV-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.
CAVCAV-2016-XuFFZZL #kernel #verification
A Practical Verification Framework for Preemptive OS Kernels (FX, MF, XF, XZ, HZ, ZL), pp. 59–79.
ICSTICST-2016-GaoJBL #analysis #effectiveness #testing
A Framework to Evaluate the Effectiveness of Different Load Testing Analysis Techniques (RG, ZMJ, CB, ML), pp. 22–32.
ICSTICST-2016-PinaH #named #testing
Tedsuto: A General Framework for Testing Dynamic Software Updates (LP, MH0), pp. 278–287.
ICSTICST-2016-ShinB #comprehension #testing
A Theoretical Framework for Understanding Mutation-Based Testing Methods (DS0, DHB), pp. 299–308.
ICSTICST-2016-WetzlmaierRP #testing #user interface
A Framework for Monkey GUI Testing (TW, RR, WP), pp. 416–423.
IJCARIJCAR-2016-Avron #logic #set
A Logical Framework for Developing and Mechanizing Set Theories (AA), pp. 3–8.
IJCARIJCAR-2016-BlanchetteFW #satisfiability
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality (JCB, MF, CW), pp. 25–44.
VMCAIVMCAI-2016-0001SS #named #reasoning #verification
Viper: A Verification Infrastructure for Permission-Based Reasoning (PM0, MS, AJS), pp. 41–62.
CBSECBSE-2015-PlateniusSA #named #process
MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (MCP, WS, SA), pp. 75–84.
ECSAECSA-2015-AgrawalP #adaptation #towards #using #web
Towards a Framework for Building Adaptive App-Based Web Applications Using Dynamic Appification (AA, TVP), pp. 37–44.
ECSAECSA-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.
WICSAWICSA-2015-MusilMWB #architecture
An Architecture Framework for Collective Intelligence Systems (JM, AM, DW, SB), pp. 21–30.
DocEngDocEng-2015-LiangWWWPBSWBG #automation #named
BBookX: An Automatic Book Creation Framework (CL, SW, ZW, KW, BP, BB, SS, HW, KB, CLG), pp. 121–124.
DocEngDocEng-2015-VernicaV #adaptation #layout #named #synthesis #web
AERO: An Extensible Framework for Adaptive Web Layout Synthesis (RV, NDV), pp. 187–190.
HTHT-2015-Bayomi #adaptation #corpus #reuse #using
A Framework to Provide Customized Reuse of Open Corpus Content for Adaptive Systems (MB), pp. 315–318.
HTHT-2015-ChungL #platform #predict
A Long-Term Study of a Crowdfunding Platform: Predicting Project Success and Fundraising Amount (JC, KL), pp. 211–220.
JCDLJCDL-2015-DubinJ #game studies #ontology
An Ontological Framework for Describing Games (DD, JJ), pp. 165–168.
SIGMODSIGMOD-2015-FanLOTF #adaptation #crowdsourcing #named
iCrowd: An Adaptive Crowdsourcing Framework (JF, GL, BCO, KLT, JF), pp. 1015–1030.
SIGMODSIGMOD-2015-JerglerSJ #distributed #named #workflow
D2WORM: A Management Infrastructure for Distributed Data-centric Workflows (MJ, MS, HAJ), pp. 1427–1432.
SIGMODSIGMOD-2015-MozafariGY #database #design #named #robust
CliffGuard: A Principled Framework for Finding Robust Database Designs (BM, EZYG, DYY), pp. 1167–1182.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2015-SahaSSVMC #modelling
Apache Tez: A Unifying Framework for Modeling and Building Data Processing Applications (BS, HS, SS, GV, ACM, CC), pp. 1357–1369.
SIGMODSIGMOD-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.
TPDLTPDL-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.
VLDBVLDB-2015-AbdelazizHSKM #data analysis #named #rdf
SPARTex: A Vertex-Centric Framework for RDF Data Analytics (IA, RH, SS, PK, NM), pp. 1880–1891.
VLDBVLDB-2015-DingSMM #algorithm #named #optimisation #problem
TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems (YD, XS, MM, TM), pp. 1046–1057.
VLDBVLDB-2015-HaasKWF0 #named #scalability
Wisteria: Nurturing Scalable Data Cleaning Infrastructure (DH, SK, JW, MJF, EW), pp. 2004–2015.
VLDBVLDB-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.
VLDBVLDB-2015-LiWDD #named
UDA-GIST: An In-database Framework to Unify Data-Parallel and State-Parallel Analytics (KL, DZW, AD, CD), pp. 557–568.
VLDBVLDB-2015-SchubertKEZSZ #clustering #nondeterminism
A Framework for Clustering Uncertain Data (ES, AK, TE, AZ, KAS, AZ), pp. 1976–1987.
VLDBVLDB-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.
VLDBVLDB-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.
EDMEDM-2015-HuangG0B #evaluation #modelling #multi #student
A Framework for Multifaceted Evaluation of Student Models (YH0, JPGB, RK0, PB), pp. 203–210.
EDMEDM-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.
ITiCSEITiCSE-2015-HaaranenL #education #git #platform #version control
Teaching Git on the Side: Version Control System as a Course Platform (LH, TL), pp. 87–92.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2015-SantosSFN #agile #development #learning #mobile
Combining Challenge-Based Learning and Scrum Framework for Mobile Application Development (ARS, AS, PF, MN), pp. 189–194.
ICPCICPC-2015-LafetaMR #dynamic analysis #using
Framework instantiation using cookbooks constructed with static and dynamic analysis (RFL, MdAM, DR), pp. 125–128.
ICSMEICSME-2015-GoeminneM #analysis #database #java #towards
Towards a survival analysis of database framework usage in Java projects (MG, TM), pp. 551–555.
MSRMSR-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.
MSRMSR-2015-JiangA #co-evolution #empirical #source code
Co-evolution of Infrastructure and Source Code — An Empirical Study (YJ, BA), pp. 45–55.
MSRMSR-2015-SchumacherA #graph
An Enhanced Graph-Based Infrastructure for Software Search Engines (MS, CA), pp. 386–390.
SANERSANER-2015-CaiS #dependence #effectiveness #impact analysis
A framework for cost-effective dependence-based dynamic impact analysis (HC, RAS), pp. 231–240.
SANERSANER-2015-GarzonAL #development #modelling #named #object-oriented
Umple: A framework for Model Driven Development of Object-Oriented Systems (MG, HIA, TCL), pp. 494–498.
SANERSANER-2015-Martin #analysis #towards
Towards a framework for analysis, transformation, and manipulation of Makefiles (DM), pp. 601–602.
SANERSANER-2015-Morales #anti #automation #towards
Towards a framework for automatic correction of anti-patterns (RM), pp. 603–604.
SANERSANER-2015-PeteB #consistency #difference #evolution
Handling the differential evolution of software artefacts: A framework for consistency management (IP, DB), pp. 599–600.
SCAMSCAM-2015-BanerjeeMS #equivalence #validation
A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs (KB, CAM, DS), pp. 247–252.
ICALPICALP-v1-2015-Curticapean #complexity
Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity (RC), pp. 380–392.
ICALPICALP-v2-2015-FeldmanF #clustering #game studies
A Unified Framework for Strong Price of Anarchy in Clustering Games (MF, OF), pp. 601–613.
FMFM-2015-AlTurkiA #distributed #towards #using #verification #𝕂
Towards Formal Verification of Orchestration Computations Using the 𝕂 Framework (MAA, OA), pp. 40–56.
FMFM-2015-DerrickS #correctness #memory management #modelling
A Framework for Correctness Criteria on Weak Memory Models (JD, GS), pp. 178–194.
FMFM-2015-DurandS #formal method #generative #named
Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems (WD, SS), pp. 577–580.
RTARTA-2015-EndrullisHHP0 #equation #induction #reasoning
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (JE, HHH, DH, AP, AS), pp. 143–159.
CHI-PLAYCHI-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-PLAYCHI-PLAY-2015-KljunPLE #game studies #named #platform
StreetGamez: A Moving Projector Platform for Projected Street Games (MK, KCP, ML, PE), pp. 589–594.
CHI-PLAYCHI-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-PLAYCHI-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-PLAYCHI-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.
CoGCIG-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.
CoGCIG-2015-ReisLG #game studies #generative #platform
Human computation for procedural content generation in platform games (WMPR, LHSL, Y(G), pp. 99–106.
FDGFDG-2015-JanssenRMB #developer #game studies
Sensors at Play: A biometric framework for game developers and game users (DPJ, LGR, MAGM, GB).
CoGVS-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.
CoGVS-Games-2015-MoraRGA #design #gamification #overview
A Literature Review of Gamification Design Frameworks (AM, DR, CSG, JAM), pp. 1–8.
CHICHI-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.
CHICHI-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.
CHICHI-2015-ORourkeAGP #automation #generative #interactive
A Framework for Automatically Generating Interactive Instructional Scaffolding (EO, EA, SG, ZP), pp. 1545–1554.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CSCWCSCW-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.
CSCWCSCW-2015-FreitasD #collaboration #tool support
The Group Context Framework: An Extensible Toolkit for Opportunistic Grouping and Collaboration (AAdF, AKD), pp. 1602–1611.
CSCWCSCW-2015-GuyHC #crowdsourcing #enterprise #game studies #platform
Games for Crowds: A Crowdsourcing Game Platform for the Enterprise (IG, AH, YC), pp. 1860–1871.
CSCWCSCW-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.
CSCWCSCW-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.
CSCWCSCW-2015-RaeVTM #comprehension #design
A Framework for Understanding and Designing Telepresence (IR, GV, JCT, DM), pp. 1552–1566.
CSCWCSCW-2015-TangCSR #deployment #volunteer
Restructuring Human Infrastructure: The Impact of EHR Deployment in a Volunteer-Dependent Clinic (CT, YC, BCS, JAR), pp. 649–661.
CSCWCSCW-2015-WongJ #policy
Wireless Visions: Infrastructure, Imagination, and US Spectrum Policy (RYW, SJJ), pp. 105–115.
CSCWCSCW-2015-ZagalskyFSZW #collaboration #education #git #platform
The Emergence of GitHub as a Collaborative Platform for Education (AZ, JF, MADS, YZ, WW), pp. 1906–1917.
HCIDHM-EH-2015-PerestreloTNS #modelling #platform #simulation
Modeling of a Virtual Open Platform for Human Cranium Simulation (PP, MT, PN, JS), pp. 358–366.
HCIDUXU-IXD-2015-Chunpir0W #development #evolution
Evolution of e-Research: From Infrastructure Development to Service Orientation (HIC, TL, DNW), pp. 25–35.
HCIDUXU-IXD-2015-UgrasS #education #online #platform #usability
A Usability Study with Children on an Online Educational Platform (TU, OS), pp. 228–239.
HCIDUXU-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.
HCIDUXU-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.
HCIHCI-DE-2015-MullerT #evaluation
Analytical Steps for the Calibration of an Emotional Framework — Pre-test and Evaluation Procedures (NHM, MT), pp. 512–519.
HCIHCI-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.
HCIHCI-IT-2015-Nagaraju #gesture #using
Swift Gestures: Seamless Bend Gestures Using Graphics Framework Capabilities (SN), pp. 118–129.
HCIHCI-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.
HCIHCI-IT-2015-Yigitbas0E #adaptation #modelling #multi #user interface
A Model-Based Framework for Multi-Adaptive Migratory User Interfaces (EY, SS, GE), pp. 563–572.
HCIHCI-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.
HCIHIMI-IKC-2015-HasegawaD #approach #learning #platform #ubiquitous
A Ubiquitous Lecture Archive Learning Platform with Note-Centered Approach (SH, JD), pp. 294–303.
HCIHIMI-IKC-2015-Kaewkiriya #design #recommendation #student
Design of Framework for Students Recommendation System in Information Technology Skills (TK), pp. 109–117.
HCIHIMI-IKC-2015-SouzaBSBCA #concept
Conceptual Framework to Enrich Situation Awareness of Emergency Dispatchers (JOdS, LCB, JESS, CBB, MRdC, RBdA), pp. 33–44.
HCIHIMI-IKC-2015-TogawaK #collaboration #using
Disaster Recovery Framework for e-Learning Environment Using Private Cloud Collaboration and Emergency Alerts (ST, KK), pp. 588–596.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-IKD-2015-KastratiIY #classification #documentation #using
A General Framework for Text Document Classification Using SEMCON and ACVSR (ZK, ASI, SYY), pp. 310–319.
HCIHIMI-IKD-2015-OliveiraBFC #nondeterminism #visualisation
Uncertainty Visualization Framework for Improving Situational Awareness in Emergency Management Systems (NFO, LCB, LCF, MRdC), pp. 86–96.
HCILCT-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.
HCILCT-2015-DirinN #design #development
Assessments of User Centered Design Framework for M-learning Application Development (AD, MN), pp. 62–74.
HCILCT-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.
HCISCSM-2015-BramanD #personalisation
Utilizing Virtual Worlds for Personalized Search: Developing the PAsSIVE Framework (JB, CD), pp. 3–11.
HCISCSM-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.
HCISCSM-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.
ICEISICEIS-v1-2015-CerqueiraOG #community #network #scalability #social
A Framework for Analysing Dynamic Communities in Large-scale Social Networks (VC, MDBO, JG), pp. 235–242.
ICEISICEIS-v1-2015-KnoblauchB #concept
Conceptual Framework of Anything Relationship Management (JPK, RB), pp. 108–120.
ICEISICEIS-v1-2015-Marques-LucenaA #information management #using
Knowledge Management Framework using Wiki-based Front-end Modules (CML, CA, SK, JS), pp. 79–86.
ICEISICEIS-v2-2015-BaldassarreBCCV #community
Building a Community Cloud Infrastructure for a Logistics Project (MTB, NB, DC, GdC, GV), pp. 420–427.
ICEISICEIS-v2-2015-BraunE #enterprise #modelling
A Generic Framework for Modifying and Extending Enterprise Modeling Languages (RB, WE), pp. 277–286.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v2-2015-TangL #mining #product line #top-down
Top-down Feature Mining Framework for Software Product Line (YT, HL), pp. 71–81.
ICEISICEIS-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.
CIKMCIKM-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.
CIKMCIKM-2015-LeeACS #multi #optimisation
An Optimization Framework for Merging Multiple Result Lists (CJL, QA, WBC, DS), pp. 303–312.
CIKMCIKM-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.
CIKMCIKM-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.
CIKMCIKM-2015-SangLX #microblog #modelling #probability
A Probabilistic Framework for Temporal User Modeling on Microblogs (JS, DL, CX), pp. 961–970.
CIKMCIKM-2015-YangZ #classification #graph #online #optimisation
A Min-Max Optimization Framework For Online Graph Classification (PY, PZ), pp. 643–652.
CIKMCIKM-2015-ZhangCZ #named #recommendation
ORec: An Opinion-Based Point-of-Interest Recommendation Framework (JDZ, CYC, YZ), pp. 1641–1650.
CIKMCIKM-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.
ECIRECIR-2015-SaracIGD #classification #concept #flexibility #named
ConceptFusion: A Flexible Scene Classification Framework (MIS, AI, EG, PD), pp. 55–60.
ICMLICML-2015-FouldsKG #modelling #network #probability #programming #topic
Latent Topic Networks: A Versatile Probabilistic Programming Framework for Topic Models (JRF, SHK, LG), pp. 777–786.
ICMLICML-2015-HegdeIS
A Nearly-Linear Time Framework for Graph-Structured Sparsity (CH, PI, LS), pp. 928–937.
ICMLICML-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.
ICMLICML-2015-LimCX #clustering #optimisation
A Convex Optimization Framework for Bi-Clustering (SHL, YC, HX), pp. 1679–1688.
ICMLICML-2015-Pouget-AbadieH #graph
Inferring Graphs from Cascades: A Sparse Recovery Framework (JPA, TH), pp. 977–986.
ICMLICML-2015-YangX #algorithm
A Unified Framework for Outlier-Robust PCA-like Algorithms (WY, HX), pp. 484–493.
ICMLICML-2015-YangX15b #clustering #distributed #divide and conquer #graph
A Divide and Conquer Framework for Distributed Graph Clustering (WY, HX), pp. 504–513.
KDDKDD-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.
KDDKDD-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.
KDDKDD-2015-ElenbergSBD #distributed #graph #scalability
Beyond Triangles: A Distributed Framework for Estimating 3-profiles of Large Graphs (ERE, KS, MB, AGD), pp. 229–238.
KDDKDD-2015-FisherCWR #clustering
A Clustering-Based Framework to Control Block Sizes for Entity Resolution (JF, PC, QW, ER), pp. 279–288.
KDDKDD-2015-KimYTM #predict #sequence
A Decision Tree Framework for Spatiotemporal Sequence Prediction (TK, YY, SLT, IM), pp. 577–586.
KDDKDD-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.
KDDKDD-2015-LaptevAF #automation #detection #scalability
Generic and Scalable Framework for Automated Time-series Anomaly Detection (NL, SA, IF), pp. 1939–1947.
KDDKDD-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.
KDDKDD-2015-LiuWHX #graph #health
Temporal Phenotyping from Longitudinal Electronic Health Records: A Graph Based Framework (CL, FW, JH, HX), pp. 705–714.
KDDKDD-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.
KDDKDD-2015-TsengYHKC #detection #named
FrauDetector: A Graph-Mining-based Framework for Fraudulent Phone Call Detection (VST, JCY, CWH, YK, KTC), pp. 2157–2166.
KDDKDD-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.
KDDKDD-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.
RecSysRecSys-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.
SEKESEKE-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.
SEKESEKE-2015-ChangCLT #design
Application of Slow Intelligence Framework for Smart Pet Care System Design (SKC, WHC, WCL, CLT), pp. 51–56.
SEKESEKE-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.
SEKESEKE-2015-LeeL #adaptation #re-engineering #self #towards
Towards Knowledge-intensive Software Engineering Framework for Self-Adaptive Software (HCL, SWL), pp. 30–35.
SEKESEKE-2015-LinHX #automation #statistics #testing #user interface
An Automated Testing Framework for Statistical Testing of GUI Applications (LL, JH, YX), pp. 72–79.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2015-ParkP #adaptation #ecosystem #middleware
A Middleware Framework for Leveraging Local and Global Adaptation in IT Ecosystems (SP, YBP), pp. 18–23.
SEKESEKE-2015-VianaAGCCL #named
JSAN: A Framework to Implement Normative Agents (MLV, PSCA, ETG, FJPC, DDC, CJPdL), pp. 660–665.
SIGIRSIGIR-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.
SIGIRSIGIR-2015-Zhai #game studies #information retrieval #towards
Towards a Game-Theoretic Framework for Information Retrieval (CZ), p. 543.
ICMTICMT-2015-BergmannDHHRUV #model transformation #platform
Viatra 3: A Reactive Model Transformation Platform (GB, ID, ÁH, ÁH, IR, ZU, DV), pp. 101–110.
ICMTICMT-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.
MoDELSMoDELS-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.
MoDELSMoDELS-2015-KrikavaRS #modelling #resource management #runtime #towards
Infrastructure as runtime models: Towards Model-Driven resource management (FK, RR, LS), pp. 100–105.
MoDELSMoDELS-2015-MaozR #difference #semantics
A framework for relating syntactic and semantic model differences (SM, JOR), pp. 24–33.
MoDELSMoDELS-2015-SoltanaSSB #modelling #policy #probability #simulation
A model-based framework for probabilistic simulation of legal policies (GS, NS, MS, LCB), pp. 70–79.
SPLCSPLC-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.
ECOOPECOOP-2015-HauzarK #php #static analysis
Framework for Static Analysis of PHP Applications (DH, JK), pp. 689–711.
OnwardOnward-2015-PolitoDBF
A bootstrapping infrastructure to build and extend Pharo-like languages (GP, SD, NB, LF), pp. 183–196.
OOPSLAOOPSLA-2015-PolozovG #induction #named #synthesis
FlashMeta: a framework for inductive program synthesis (OP, SG), pp. 107–126.
AdaEuropeAdaEurope-2015-FernandezPGH #platform
AFDX Emulator for an ARINC-Based Training Platform (JF, HP, JJG, MGH), pp. 212–227.
AdaEuropeAdaEurope-2015-PavleticVRKK #debugging
Extensible Debugger Framework for Extensible Languages (DP, MV, SAR, BK, TK), pp. 33–49.
PLDIPLDI-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.
ASEASE-2015-BaoYXXW #named
ActivitySpace: A Remembrance Framework to Support Interapplication Information Needs (LB, DY, ZX, XX, XW), pp. 864–869.
ASEASE-2015-Boushehrinejadmoradi #development #mobile #platform #testing
Testing Cross-Platform Mobile App Development Frameworks (T) (NB, VG, SN, LI), pp. 441–451.
ASEASE-2015-FloresA #collaboration #comprehension #named #platform
DRIVER — A Platform for Collaborative Framework Understanding (NF, AA), pp. 783–788.
ASEASE-2015-Greene #concept #re-engineering
A Generic Framework for Concept-Based Exploration of Semi-Structured Software Engineering Data (GJG), pp. 894–897.
ASEASE-2015-KoLDR #javascript #scalability #static analysis
Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T) (YK, HL, JD, SR), pp. 541–551.
ASEASE-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.
ASEASE-2015-ZimmermanR #automation #recommendation
An Automated Framework for Recommending Program Elements to Novices (N) (KZ, CRR), pp. 283–288.
ESEC-FSEESEC-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-FSEESEC-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.
GTTSEGTTSE-2015-VandercammenSMR #compilation #jit #named #scala
STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation (MV, QS, WDM, CDR), pp. 223–234.
ICSEICSE-v2-2015-BenomarSP #comprehension
A Unified Framework for the Comprehension of Software’s Time (OB, HAS, PP), pp. 603–606.
ICSEICSE-v2-2015-Jayaram #programming #towards
Towards Explicitly Elastic Programming Frameworks (KRJ), pp. 619–622.
ICSEICSE-v2-2015-Morrison #evaluation #security
A Security Practices Evaluation Framework (PM), pp. 935–938.
ICSEICSE-v2-2015-PathakIH #named #platform
AppCivist — A Service-Oriented Software Platform for Socially Sustainable Activism (AP, VI, JH), pp. 515–518.
ICSEICSE-v2-2015-Shahzada #development
A Comprehensive Framework for the Development of Dynamic Smart Spaces (AS), pp. 927–930.
ICSEICSE-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.
ICSEICSE-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.
SACSAC-2015-AissiGSS #evaluation #personalisation #query #recommendation
Personalized recommendation of SOLAP queries: theoretical framework and experimental evaluation (SA, MSG, TS, LBS), pp. 1008–1014.
SACSAC-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.
SACSAC-2015-BergentiCG #game studies #mobile #platform #scalability #social
A scalable platform for mobile social gaming (FB, GC, DG), pp. 2239–2244.
SACSAC-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.
SACSAC-2015-DemuthRNHZE #multi #named
DesignSpace: an infrastructure for multi-user/multi-tool engineering (AD, MRE, AN, PH, KZ, AE), pp. 1486–1491.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-2015-IqbalAB #design #network #scheduling
Designing network servers within a hierarchical scheduling framework (ZI, LA, MB), pp. 653–658.
SACSAC-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.
SACSAC-2015-LiuI #clustering #optimisation #parallel #using
An ETL optimization framework using partitioning and parallelization (XL, NI), pp. 1015–1022.
SACSAC-2015-LopesT #performance
A framework for investigating the performance of sum aggregations over encrypted data warehouses (CCL, VCT), pp. 1000–1007.
SACSAC-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.
SACSAC-2015-MurguzurTS #evaluation #variability #workflow
Dynamic variability support in workflow-based systems: an evaluation of the LateVa framework (AM, ST, GS), pp. 1641–1643.
SACSAC-2015-Nwokeji #enterprise
A framework for enterprise agility (JCN), pp. 1249–1250.
SACSAC-2015-NwokejiCBK #concept #enterprise
A conceptual framework for enterprise agility (JCN, TC, BSB, VK), pp. 1242–1244.
SACSAC-2015-OjameruayeB #analysis
A risk — aware framework for compliance goal-obstacle analysis (BO, RB), pp. 1401–1402.
SACSAC-2015-OliveiraLV #performance #security #web #web service
Characterizing the performance of web service frameworks under security attacks (RAO, NL, MV), pp. 1711–1718.
SACSAC-2015-PalviainenKKLMN #collaboration #design #developer #experience
Design framework enhancing developer experience in collaborative coding environment (JP, TK, JK, JL, TM, AN), pp. 149–156.
SACSAC-2015-Rubio-MonteroPG #adaptation #evaluation #monte carlo
Evaluation of an adaptive framework for resilient Monte Carlo executions (AJRM, MARP, RMG), pp. 448–455.
SACSAC-2015-SantosPFGMMC #named #platform
MyHealth: a cross-domain platform for healthcare (MYS, CGP, BF, LG, GM, AJCM, JAC), pp. 40–46.
SACSAC-2015-SilvaSBVS #assessment #process #using
Using ArchiMate to model a process assessment framework (NS, MMdS, BB, MV, PS), pp. 1189–1194.
SACSAC-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.
SACSAC-2015-TudorAP
Harnessing the unknown in advanced metering infrastructure traffic (VT, MA, MP), pp. 2204–2211.
ASPLOSASPLOS-2015-GoiriBNN #approximate #named #pipes and filters
ApproxHadoop: Bringing Approximations to MapReduce Frameworks (IG, RB, SN, TDN), pp. 383–397.
ASPLOSASPLOS-2015-HosekC #execution #performance
VARAN the Unbelievable: An Efficient N-version Execution Framework (PH, CC), pp. 339–353.
CASECASE-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.
CASECASE-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.
CASECASE-2015-MarkovskiH #manycore #question #synthesis
Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible? (JM, HH), pp. 521–525.
CASECASE-2015-Sakakura
A speculation on a framework that provides highly organized services for manufacturing (TS), pp. 1025–1028.
CCCC-2015-HollingumS #context-free grammar #reachability #scalability #towards
Towards a Scalable Framework for Context-Free Language Reachability (NH, BS), pp. 193–211.
CGOCGO-2015-McAfeeO #generative #learning #multi #named
EMEURO: a framework for generating multi-purpose accelerators via deep learning (LCM, KO), pp. 125–135.
DACDAC-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.
DACDAC-2015-WenWHLHLC #hybrid #scalability
An EDA framework for large scale hybrid neuromorphic computing systems (WW, CRW, XH, BL, TYH, XL, YC), p. 6.
DACDAC-2015-ZhangHXHC #compilation #named
CMOST: a system-level FPGA compilation framework (PZ, MH, BX, HH, JC), p. 6.
DACDAC-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.
DATEDATE-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.
DATEDATE-2015-GuardatiCFB
Paper, pen and ink: an innovative system and software framework to assist writing rehabilitation (LG, FC, EF, LB), pp. 1473–1478.
DATEDATE-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.
DATEDATE-2015-KimFPSL #implementation #modelling #platform #verification
Platform-specific timing verification framework in model-based implementation (BK, LF, LTXP, OS, IL), pp. 235–240.
DATEDATE-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.
DATEDATE-2015-SkalickySLF #hardware #runtime
A unified hardware/software MPSoC system construction and run-time framework (SS, AGS, SL, MF), pp. 301–304.
DATEDATE-2015-SonghoriMLK #automation #data analysis #hardware #named
AHEAD: automated framework for hardware accelerated iterative data analysis (EMS, AM, XL, FK), pp. 942–947.
DATEDATE-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.
DATEDATE-2015-ZhangWTYX #approximate #named #network
ApproxANN: an approximate computing framework for artificial neural network (QZ, TW, YT, FY, QX), pp. 701–706.
HPCAHPCA-2015-OzsoyDGAP #detection #online #performance
Malware-aware processors: A framework for efficient online malware detection (MO, CD, IG, NBAG, DVP), pp. 651–661.
HPCAHPCA-2015-PeraisS #effectiveness #named #predict
BeBoP: A cost effective predictor infrastructure for superscalar value prediction (AP, AS), pp. 13–25.
LCTESLCTES-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.
LCTESLCTES-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.
PDPPDP-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.
PDPPDP-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.
PDPPDP-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.
PDPPDP-2015-KumarZL #named
Ctherm: An Integrated Framework for Thermal-Functional Co-simulation of Systems-on-Chip (SSK, AZ, RvL), pp. 674–681.
PDPPDP-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.
PDPPDP-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.
PDPPDP-2015-NgyenJDHDPT #named #network
FIST: A Framework to Interleave Spiking Neural Networks on CGRAs (TN, SMAHJ, MD, AH, SD, JP, HT), pp. 751–758.
PDPPDP-2015-PedersenREB #biology #data analysis #data-driven
Integrating Data-Intensive Computing Systems with Biological Data Analysis Frameworks (EP, IAR, ME, LAB), pp. 733–740.
PDPPDP-2015-Reiter #communication #peer-to-peer
Enabling Secure Communication over Existing Peer-to-Peer Frameworks (AR), pp. 575–582.
PPoPPPPoPP-2015-BensonB #matrix #parallel #performance
A framework for practical parallel fast matrix multiplication (ARB, GB), pp. 42–53.
PPoPPPPoPP-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.
PPoPPPPoPP-2015-YouWTC #abstraction #named
VirtCL: a framework for OpenCL device abstraction and management (YPY, HJW, YNT, YTC), pp. 161–172.
SOSPSOSP-2015-PalkarLHJPRRS #named
E2: a framework for NFV applications (SP, CL, SH, KJ, AP, SR, LR, SS), pp. 121–136.
FASEFASE-2015-SalayC #modelling
A Generalized Formal Framework for Partial Modeling (RS, MC), pp. 133–148.
FoSSaCSFoSSaCS-2015-Vakar #category theory #linear #logic #semantics
A Categorical Semantics for Linear Logical Frameworks (MV), pp. 102–116.
TACASTACAS-2015-AledoE #contest #embedded #verification
FramewORk for Embedded System verification — (Competition Contribution) (PGdA, PSE), pp. 429–431.
TACASTACAS-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.
TACASTACAS-2015-FleuryLPV #analysis #named
Insight: An Open Binary Analysis Framework (EF, OL, GP, AV), pp. 218–224.
TACASTACAS-2015-GurfinkelKN #c #contest #named #source code #verification
SeaHorn: A Framework for Verifying C Programs (Competition Contribution) (AG, TK, JAN), pp. 447–450.
CAVCAV-2015-GurfinkelKKN #verification
The SeaHorn Verification Framework (AG, TK, AK, JAN), pp. 343–361.
CAVCAV-2015-IsbernerHS #automaton #learning #open source
The Open-Source LearnLib — A Framework for Active Automata Learning (MI, FH, BS), pp. 487–495.
CAVCAV-2015-ManoliosPP #modulo theories #programming
The Inez Mathematical Programming Modulo Theories Framework (PM, JP, VP), pp. 53–69.
ICLPICLP-2015-GavanelliLRBZC #abduction #datalog #ontology
An Abductive Framework for Datalog± Ontologies (MG, EL, FR, EB, RZ, GC), pp. 274–286.
ICLPICLP-J-2015-DassevilleHJD #composition #logic #semantics
Semantics of templates in a compositional framework for building logics (ID, MvdH, GJ, MD), pp. 681–695.
ICSTICST-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.
ICSTICST-2015-LiEGO #big data #scalability
A Scalable Big Data Test Framework (NL, AE, YG, JO), pp. 1–2.
ICSTICST-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.
ICTSSICTSS-2015-TaylorD #erlang #mutation testing #named #testing
mu2: A Refactoring-Based Mutation Testing Framework for Erlang (RT, JD), pp. 178–193.
ISSTAISSTA-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.
ICSTSAT-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.
ECSAECSA-2014-AnvaariZ #architecture #automation #design #development
Semi-automated Design Guidance Enhancer (SADGE): A Framework for Architectural Guidance Development (MA, OZ), pp. 41–49.
ECSAECSA-2014-FrommgenLB #composition
A Property Description Framework for Composable Software (AF, ML, APB), pp. 267–282.
ECSAECSA-2014-SurajbaliGC #architecture #configuration management #consistency
A Consistency Framework for Dynamic Reconfiguration in AO-Middleware Architectures (BS, PG, GC), pp. 398–405.
WICSAWICSA-2014-BabazadehP #design #distributed
The Stream Software Connector Design Space: Frameworks and Languages for Distributed Stream Processing (MB, CP), pp. 1–10.
WICSAWICSA-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.
WICSAWICSA-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.
WICSAWICSA-2014-ManteuffelTKGA #architecture #documentation #implementation #industrial
Industrial Implementation of a Documentation Framework for Architectural Decisions (CM, DT, HK, TG, PA), pp. 225–234.
WICSAWICSA-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.
DocEngDocEng-2014-CabralLMFASR #independence #platform #summary
A platform for language independent summarization (LdSC, RDL, RFM, FF, BTÁ, SJS, MR), pp. 203–206.
DRRDRR-2014-WuZCLN #markov #recognition #segmentation
A Markov chain based line segmentation framework for handwritten character recognition (YW, SZ, HC, DL, PN), p. ?–12.
HTHT-2014-KowaldLT #benchmark #metric #named #recommendation #standard #towards
TagRec: towards a standardized tag recommender benchmarking framework (DK, EL, CT), pp. 305–307.
JCDLJCDL-2014-ArtiniAM
Keeping your aggregative infrastructure under control (MA, CA, PM), pp. 409–410.
JCDLJCDL-2014-BarrioSGG #learning #named
REEL: A Relation Extraction Learning framework (PB, GS, HG, LG), pp. 455–456.
JCDLJCDL-2014-HasanGFBM #dataset #library
Data mapping framework in a digital library with computational epidemiology datasets (SMSH, SG, EAF, KRB, MVM), pp. 449–450.
JCDLJCDL-2014-JatowtD #semantics #word
A framework for analyzing semantic change of words across time (AJ, KD), pp. 229–238.
JCDLJCDL-2014-KatsMKMMW #design
Design of Europeana Cloud technical infrastructure (PK, MM, PK, MM, GM, MW), pp. 491–492.
JCDLJCDL-2014-StathopoulouSGHBS
An Open Cultural Digital Content Infrastructure (IOS, PS, HG, NH, VB, ES), pp. 285–288.
JCDLJCDL-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2014-EmrichFKNRZ #nondeterminism
An extendable framework for managing uncertain spatio-temporal data (TE, MF, HPK, JN, MR, AZ), pp. 1087–1090.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2014-Thirumuruganathan0HD #estimation #microblog #platform
Aggregate estimation over a microblog platform (ST, NZ, VH, GD), pp. 1519–1530.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2014-XuKM #multi #nondeterminism #performance #summary
Efficient summarization framework for multi-attribute uncertain data (JX, DVK, SM), pp. 421–432.
VLDBVLDB-2014-BoykinROL #named #online #pipes and filters
Summingbird: A Framework for Integrating Batch and Online MapReduce Computations (POB, SR, IO, JL), pp. 1441–1451.
VLDBVLDB-2014-ChenFZLXCCCTZ #crowdsourcing #named #platform
gMission: A General Spatial Crowdsourcing Platform (ZC, RF, ZZ, ZL, LX, LC, PC, CCC, YT, CJZ), pp. 1629–1632.
VLDBVLDB-2014-DeutchMT #analysis #process
A Provenance Framework for Data-Dependent Process Analysis (DD, YM, VT), pp. 457–468.
VLDBVLDB-2014-LeiZRE #big data #query
Redoop Infrastructure for Recurring Big Data Queries (CL, ZZ, EAR, MYE), pp. 1589–1592.
VLDBVLDB-2014-SarmaHC #clustering #named #similarity #using
ClusterJoin: A Similarity Joins Framework using Map-Reduce (ADS, YH, SC), pp. 1059–1070.
VLDBVLDB-2014-SongSZZ #named #network #novel
PRESS: A Novel Framework of Trajectory Compression in Road Networks (RS, WS, BZ, YZ), pp. 661–672.
VLDBVLDB-2014-SunKXF #clustering
A Partitioning Framework for Aggressive Data Skipping (LS, SK, RSX, MJF), pp. 1617–1620.
VLDBVLDB-2014-ToGS #crowdsourcing #privacy
A Framework for Protecting Worker Location Privacy in Spatial Crowdsourcing (HT, GG, CS), pp. 919–930.
VLDBVLDB-2014-YanCLN #distributed #graph #named
Blogel: A Block-Centric Framework for Distributed Computation on Real-World Graphs (DY, JC, YL, WN), pp. 1981–1992.
VLDBVLDB-2014-ZouJLGWX #learning #named #platform
Mariana: Tencent Deep Learning Platform and its Applications (YZ, XJ, YL, ZG, EW, BX), pp. 1772–1777.
CSEETCSEET-2014-BullW #re-engineering
Observations of a software engineering studio: Reflecting with the studio framework (CNB, JW), pp. 74–83.
EDMEDM-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.
EDMEDM-2014-PeckhamM #comprehension #education #mining
Mining Reading Comprehension Within Educational Objective Frameworks (TP, GM), pp. 395–396.
ITiCSEITiCSE-2014-PolitzKF #named #overview #platform #programming
CaptainTeach: a platform for in-flow peer review of programming assignments (JGP, SK, KF), p. 332.
ITiCSEITiCSE-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.
SIGITESIGITE-2014-Halper #android #education #platform #programming #using
Using android as a platform for programming in the IT curriculum (MH), pp. 127–132.
ICPCICPC-2014-KulkarniM #obfuscation #using
A code obfuscation framework using code clones (AK, RM), pp. 295–299.
ICSMEICSME-2014-Fokaefs #evolution #named #web #web service
WSDarwin: A Framework for the Support of Web Service Evolution (MF), p. 668.
MSRMSR-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.
SCAMSCAM-2014-KosowerLR #c++ #documentation #named
Flowgen: Flowchart-Based Documentation Framework for C++ (DAK, JJLV, SAR), pp. 59–64.
IFMIFM-2014-KordyPS #probability #security
A Probabilistic Framework for Security Scenarios with Dependent Actions (BK, MP, PS), pp. 256–271.
SEFMSEFM-2014-AttieBBJS #architecture
A General Framework for Architecture Composability (PCA, EB, SB, MJ, JS), pp. 128–143.
SEFMSEFM-2014-BratNSV #abstract interpretation #named #static analysis
IKOS: A Framework for Static Analysis Based on Abstract Interpretation (GB, JAN, NS, AV), pp. 271–277.
SEFMSEFM-2014-PardoS #network #policy #privacy #social
A Formal Privacy Policy Framework for Social Networks (RP, GS), pp. 378–392.
ICFPICFP-2014-KakiJ #analysis #higher-order #relational
A relational framework for higher-order shape analysis (GK, SJ), pp. 311–324.
LISPILC-2014-WakitaHS #implementation #javascript #metaprogramming
Hygienic Macro System for JavaScript and Its Light-weight Implementation Framework (KW, KH, AS), p. 12.
CHI-PLAYCHI-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.
FDGFDG-2014-CarmichaelM
A framework for coherent emergent stories (GC, DM).
FDGFDG-2014-HarrellKLLSMO #authoring #game studies #platform
Authoring conversational narratives in games with the Chimeria platform (DFH, DK, CUL, JL, AS, JM, DO).
FDGFDG-2014-HornDSST #comparative #evaluation #generative
A comparative evaluation of procedural level generators in the Mario AI framework (BH, SD, NS, GS, JT).
CoGVS-Games-2014-Bennett #game studies #generative #semantics
Semantic Content Generation Framework for Game Worlds (MB), pp. 1–8.
GRAPHITEGRAPHITE-2014-FernandezKP #analysis #graph grammar #interactive #modelling
Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework (MF, HK, BP), pp. 15–29.
CHICHI-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.
CHICHI-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.
CHICHI-2014-ChengLLSB #people #platform
Haptic turk: a motion platform based on people (LPC, PL, PL, CS, PB), pp. 3463–3472.
CHICHI-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.
CHICHI-2014-HongMD #behaviour #platform
A smartphone-based sensing platform to model aggressive driving behaviors (JHH, BM, AKD), pp. 4047–4056.
CHICHI-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.
CSCWCSCW-2014-JohriS
The role of data in aligning the “unique identity” infrastructure in India (AJ, JS), pp. 697–709.
CSCWCSCW-2014-Ribes #how #research #scalability
Ethnography of scaling, or, how to a fit a national research infrastructure in the room (DR), pp. 158–170.
CSCWCSCW-2014-Ribes14a #kernel #research
The kernel of a research infrastructure (DR), pp. 574–587.
HCIDHM-2014-FuCLCZ #modelling
Evaluating Work Disability of Lower Limb Handicapped within a Human Modeling Framework (YF, XC, SL, JGC, BZ), pp. 516–526.
HCIDHM-2014-KhairatR #interactive
Building a Telemedicine Framework to Improve the Interactions between Cancer Patients and Oncology Triage Nurses (SK, VR), pp. 377–384.
HCIDHM-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.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-DP-2014-AlmeidaRN #evaluation #optimisation
Methodological Framework for Control Centres Evaluation and Optimization (AA, FR, PN), pp. 3–11.
HCIDUXU-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.
HCIDUXU-TMT-2014-DoneyEF #behaviour
Keeping Creative Writing on Track: Co-designing a Framework to Support Behavior Change (PD, RE, MF), pp. 631–642.
HCIHCI-AIMT-2014-AlghowinemAAAGW #design #elicitation
Design of an Emotion Elicitation Framework for Arabic Speakers (SA, SA, MA, AAW, RG, MW), pp. 717–728.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-DE-2014-Miki #design #evaluation #experience #user interface
User Experience Evaluation Framework for Human-Centered Design (HM), pp. 602–612.
HCILCT-NLE-2014-ImranK #interactive #multi #named #platform
HIP — A Technology-Rich and Interactive Multimedia Pedagogical Platform (ASI, SJK), pp. 151–160.
HCILCT-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.
HCILCT-NLE-2014-YusoffS #concept #overview #tool support
A Review of Storyboard Tools, Concepts and Frameworks (NMY, SSS), pp. 73–82.
HCISCSM-2014-FardounA #approach #community #feedback #platform
Feedback Platform for Community Colleges: An Approach to Knowledge Excellence (HMF, AAMAG), pp. 306–313.
HCISCSM-2014-HardjonoDC #design #on the #self
On the Design of Trustworthy Compute Frameworks for Self-organizing Digital Institutions (TH, PD, JHC), pp. 342–353.
VISSOFTVISSOFT-2014-SchotsW #using #visualisation
Using a Task-Oriented Framework to Characterize Visualization Approaches (MS, CMLW), pp. 70–74.
CAiSECAiSE-2014-HeidingerBBR #named #towards
FACTS: A Framework for Anonymity towards Comparability, Transparency, and Sharing — Exploratory Paper (CH, KB, EB, KR), pp. 120–135.
CAiSECAiSE-2014-KayesHC #data access #named
PO-SAAC: A Purpose-Oriented Situation-Aware Access Control Framework for Software Services (ASMK, JH, AC), pp. 58–74.
CAiSECAiSE-2014-PikaWFHLA #behaviour #using
An Extensible Framework for Analysing Resource Behaviour Using Event Logs (AP, MTW, CJF, AHMtH, ML, WMPvdA), pp. 564–579.
EDOCEDOC-2014-0001HPW #execution #implementation #modelling
Implementation Framework for Production Case Management: Modeling and Execution (AM, NH, FP, MW), pp. 190–199.
EDOCEDOC-2014-GarciaV #abstraction #architecture #implementation #process
Object-Business Process Mapping Frameworks: Abstractions, Architecture, and Implementation (RG, MTV), pp. 160–169.
ICEISICEIS-v1-2014-AdamB #database
External Database Extension Framework (AA, WB), pp. 249–255.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v1-2014-FolinoGP #modelling #predict
A Framework for the Discovery of Predictive Fix-time Models (FF, MG, LP), pp. 99–108.
ICEISICEIS-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.
ICEISICEIS-v2-2014-FeuerlichtT #evolution #perspective
Service Consumer Framework — Managing Service Evolution from a Consumer Perspective (GF, HTT), pp. 665–672.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v2-2014-Silva #automation #quality #requirements #specification #validation
Quality of Requirements Specifications — A Framework for Automatic Validation of Requirements (ARdS), pp. 96–107.
ICEISICEIS-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.
ICEISICEIS-v3-2014-DinhVM #information management
A Knowledge Management Framework for Knowledge-Intensive SMEs (TLD, THV, ÉM), pp. 435–440.
ICEISICEIS-v3-2014-DionisioT #assessment #enterprise
ETA Framework — Enterprise Transformation Assessment (RD, JT), pp. 190–200.
ICEISICEIS-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.
ICEISICEIS-v3-2014-GhezziCRB #rest
Applications of the REST Framework to Test Technology Activation in Different ICT Domains (AG, AC, AR, RB), pp. 87–91.
ICEISICEIS-v3-2014-Guerreiro #multi #towards #transaction
Towards Multi-level Organizational Control Framework to Manage the Business Transaction Workarounds (SG), pp. 288–294.
ICEISICEIS-v3-2014-KwanroengjaiLTS #performance
Operational Alignment Framework for Improving Business Performance of an Organisation (JK, KL, CT, LS), pp. 352–359.
ICEISICEIS-v3-2014-OussenaEK #architecture #enterprise #formal method #metamodelling #validation
Formalization of Validation Extension Metamodel for Enterprise Architecture Frameworks (SO, JE, PK), pp. 427–434.
ICEISICEIS-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.
ICEISICEIS-v3-2014-SwennenDVJ #testing #towards
Towards a General Framework for Business Tests (MS, BD, KV, MJ), pp. 478–483.
CIKMCIKM-2014-GressD #flexibility #semistructured data
A Flexible Framework for Projecting Heterogeneous Data (AG, ID), pp. 1169–1178.
CIKMCIKM-2014-HongBH #classification #multi
A Mixtures-of-Trees Framework for Multi-Label Classification (CH, IB, MH), pp. 211–220.
CIKMCIKM-2014-MukherjeeAJ #corpus #ontology
Domain Cartridge: Unsupervised Framework for Shallow Domain Ontology Construction from Corpus (SM, JA, SJ), pp. 929–938.
CIKMCIKM-2014-XiePLW #image #learning #multi
A Cross-modal Multi-task Learning Framework for Image Annotation (LX, PP, YL, SW), pp. 431–440.
CIKMCIKM-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.
CIKMCIKM-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.
CIKMCIKM-2014-Zhang0T #collaboration #named #probability #query
MaC: A Probabilistic Framework for Query Answering with Machine-Crowd Collaboration (CJZ, LC, YT), pp. 11–20.
CIKMCIKM-2014-ZhangXTW0 #clustering #generative #named #platform #wiki
WiiCluster: a Platform for Wikipedia Infobox Generation (KZ, YX, HT, HW, WW), pp. 2033–2035.
CIKMCIKM-2014-ZhaoWLZ #mining #refinement #word
A Bootstrapping Based Refinement Framework for Mining Opinion Words and Targets (QZ, HW, PL, CZ), pp. 1995–1998.
ICMLICML-c2-2014-BaiLS #classification #online
A Bayesian Framework for Online Classifier Ensemble (QB, HL, SS), pp. 1584–1592.
ICMLICML-c2-2014-HonorioJ #consistency
A Unified Framework for Consistency of Regularized Loss Minimizers (JH, TSJ), pp. 136–144.
ICPRICPR-2014-AfkhamEC #modelling
A Topological Framework for Training Latent Variable Models (HMA, CHE, SC), pp. 2471–2476.
ICPRICPR-2014-BagheriHGE #classification #multi #recognition
A Framework of Multi-classifier Fusion for Human Action Recognition (MAB, GH, QG, SE), pp. 1260–1265.
ICPRICPR-2014-BenhabilesTV #3d #retrieval
Belief-Function-Based Framework for Deformable 3D-Shape Retrieval (HB, HT, JPV), pp. 285–290.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2014-HuangW0T #network
A General Nonlinear Embedding Framework Based on Deep Neural Network (YH, WW, LW, TT), pp. 732–737.
ICPRICPR-2014-HuWSC #detection #robust #using
Robust Head-Shoulder Detection Using a Two-Stage Cascade Framework (RH, RW, SS, XC), pp. 2796–2801.
ICPRICPR-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.
ICPRICPR-2014-NguyenGVP #parametricity #process #recognition #using
A Bayesian Nonparametric Framework for Activity Recognition Using Accelerometer Data (TN, SKG, SV, DQP), pp. 2017–2022.
ICPRICPR-2014-PertuzJP #image #novel #representation
A Novel Mammography Image Representation Framework with Application to Image Registration (SP, CJ, DP), pp. 3292–3297.
ICPRICPR-2014-QuLWXT #robust #set
Robust Point Set Matching under Variational Bayesian Framework (HBQ, JCL, JQW, LX, HJT), pp. 58–63.
ICPRICPR-2014-ShenHSGM #interactive #learning
Interactive Framework for Insect Tracking with Active Learning (MS, WH, PS, CGG, DM), pp. 2733–2738.
ICPRICPR-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.
ICPRICPR-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.
KDDKDD-2014-AhmedDNK #graph
Graph sample and hold: a framework for big-graph analytics (NKA, NGD, JN, RRK), pp. 1446–1455.
KDDKDD-2014-EmbarPB #network
A bayesian framework for estimating properties of network diffusions (VRE, RKP, IB), pp. 1216–1225.
KEODKEOD-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.
KEODKEOD-2014-TawfikGB #interactive #multi #platform
An Interactive Platform for Multilingual Linguistic Resource Enrichment (AT, FG, FB), pp. 195–206.
KMISKMIS-2014-PascalT #clustering #experience #information management #memory management #platform
Transactive Memory System in Clusters — The Knowledge Management Platform Experience (AP, CT), pp. 5–14.
KRKR-2014-DoutreHP #logic
A Dynamic Logic Framework for Abstract Argumentation (SD, AH, LP).
KRKR-2014-StrassW #approximate #complexity #fixpoint
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory (HS, JPW).
RecSysRecSys-2014-BauerN #matrix
A framework for matrix factorization based on general distributions (JB, AN), pp. 249–256.
RecSysRecSys-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.
RecSysRecSys-2014-LiuA #recommendation #towards
Towards a dynamic top-N recommendation framework (XL, KA), pp. 217–224.
RecSysRecSys-2014-SaidB #benchmark #comparative #evaluation #metric #recommendation
Comparative recommender system evaluation: benchmarking recommendation frameworks (AS, AB), pp. 129–136.
SEKESEKE-2014-ChenCH #energy
Applications of Slow Intelligence Frameworks for Energy-Saving Control (WHC, SKC, WPH), pp. 511–515.
SEKESEKE-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.
SEKESEKE-2014-OliveiraMGND #source code #testing
An Extensible Framework to Implement Test Oracle for Non-Testable Programs (RAPO, AMM, VNG, FLSN, MED), pp. 199–204.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-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.
BXBX-2014-MacedoCP #model transformation #multi #towards
Towards a Framework for Multidirectional Model Transformations (NM, AC, HP), pp. 71–74.
ECMFAECMFA-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.
ECMFAECMFA-2014-LaurentBBG #alloy #process #verification
Alloy4SPV : A Formal Framework for Software Process Verification (YL, RB, SB, MPG), pp. 83–100.
ECMFAECMFA-2014-PierreCGB #adaptation
A Family-Based Framework for i-DSML Adaptation (SP, EC, OLG, FB), pp. 164–179.
ECMFAECMFA-2014-YueA #metric #modelling #quality
A MOF-Based Framework for Defining Metrics to Measure the Quality of Models (TY, SA), pp. 213–229.
MODELSMoDELS-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.
MODELSMoDELS-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.
ECOOPECOOP-2014-KarimDG #legacy
Retargetting Legacy Browser Extensions to Modern Extension Frameworks (RK, MD, VG), pp. 463–488.
ECOOPECOOP-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.
ECOOPECOOP-2014-NittaKT #identification
Identifying Mandatory Code for Framework Use via a Single Application Trace (NN, IK, YT), pp. 593–617.
AdaEuropeAdaEurope-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.
AdaEuropeAdaEurope-2014-Shawky #challenge #design #embedded
Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems (MS), pp. 7–10.
HILTHILT-2014-RathjeR #java #model checking #network #source code
A framework for model checking UDP network programs with Java pathfinder (WR, BR), pp. 81–86.
LOPSTRLOPSTR-2014-LucasMG #2d #dependence #term rewriting
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems (SL, JM, RG), pp. 113–130.
PLDIPLDI-2014-LeG #named
FlashExtract: a framework for data extraction by examples (VL, SG), p. 55.
PLDIPLDI-2014-StockKGPRRS #order #reuse
A framework for enhancing data reuse via associative reordering (KS, MK, TG, LNP, FR, JR, PS), p. 10.
RERE-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.
REFSQREFSQ-2014-VierhauserRG #monitoring #requirements
A Requirements Monitoring Infrastructure for Very-Large-Scale Software Systems (MV, RR, PG), pp. 88–94.
ASEASE-2014-Vierhauser #monitoring #requirements
A requirements monitoring infrastructure for systems of systems (MV), pp. 887–890.
FSEFSE-2014-Joseph #interactive #machine learning
Software programmer management: a machine learning and human computer interaction framework for optimal task assignment (HRJ), pp. 826–828.
FSEFSE-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.
ICSEICSE-2014-ManotasPC #energy #named
SEEDS: a software engineer’s energy-optimization decision support framework (ILMG, LLP, JC), pp. 503–514.
ICSEICSE-2014-YuSR #automation #named #testing
SimRT: an automated framework to support regression testing for data races (TY, WSa, GR), pp. 48–59.
SACSAC-2014-BoghratiHK #process #using
Activities performed by programmers while using framework examples as a guide (RB, AH, MK), pp. 1146–1151.
SACSAC-2014-CamaraLLVV #adaptation #evaluation #robust #self
Robustness evaluation of the rainbow framework for self-adaptation (JC, RdL, NL, RV, MV), pp. 376–383.
SACSAC-2014-FanC #approximate #network #scalability #social
An approximate framework for scaling social influence computation in large networks (YCF, HC), pp. 610–615.
SACSAC-2014-FieldAE #development #energy #named
EACOF: a framework for providing energy transparency to enable energy-aware software development (HF, GA, KE), pp. 1194–1199.
SACSAC-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.
SACSAC-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.
SACSAC-2014-KinaiBWMWS #platform
Traffic 411: a traffic congestion routing and awareness platform for Nairobi (AK, REB, AWB, EM, KW, OS), pp. 1475–1476.
SACSAC-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.
SACSAC-2014-Le #android #modelling
A model driven framework for modeling and composing service based Android applications (CL), pp. 450–457.
SACSAC-2014-MesmoudiH #declarative #query #scalability
A test framework for large scale declarative queries: preliminary results (AM, MSH), pp. 858–859.
SACSAC-2014-OliveiraNV #towards
Towards a framework for relevant guidance (EHTO, EHN, RMV), pp. 241–242.
SACSAC-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.
SACSAC-2014-Sechting #independence #platform
A platform independent scheduler framework (CRS), pp. 1552–1553.
SACSAC-2014-SeoKTC #analysis #network #social
A structural analysis of literary fictions with social network framework (JS, SHK, HT, HGC), pp. 634–640.
SACSAC-2014-WangZC #composition #energy #network
An energy-aware service composition framework for service-oriented wireless sensor networks (TW, KZ, LC), pp. 408–410.
SACSAC-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.
GPCEGPCE-2014-HillF #object-oriented
Pin++: an object-oriented framework for writing pintools (JHH, DCF), pp. 133–141.
SLESLE-2014-ChisGN #debugging
The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers (AC, TG, ON), pp. 102–121.
SLESLE-2014-MeyersDLSVW #generative #named
ProMoBox: A Framework for Generating Domain-Specific Property Languages (BM, RD, LL, ES, HV, MW), pp. 1–20.
SLESLE-2014-PredaGLMG #adaptation #distributed #named
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications (MDP, SG, IL, JM, MG), pp. 161–170.
ASPLOSASPLOS-2014-WangGSKLK
Underprovisioning backup power infrastructure for datacenters (DW, SG, AS, AK, JL, BK), pp. 177–192.
CASECASE-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.
CASECASE-2014-HerrNV #complexity #distributed #scheduling
Prognostics-based scheduling in a distributed platform: Model, complexity and resolution (NH, JMN, CV), pp. 1054–1059.
CASECASE-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.
CASECASE-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.
CASECASE-2014-MatsumotoY #3d #classification #image
An object classification framework based on unmeasurable area patterns found in 3D range images (KM, KY), pp. 242–248.
CASECASE-2014-XuZHCLC #multi #optimisation #simulation
An ordinal transformation framework for multi-fidelity simulation optimization (JX, SZ, EH, CHC, LHL, NC), pp. 385–390.
CASECASE-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.
DACDAC-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.
DACDAC-2014-KongKPSW #embedded #named #novel #platform
PUFatt: Embedded Platform Attestation Based on Novel Processor-Based PUFs (JK, FK, PKP, ARS, CW), p. 6.
DACDAC-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.
DACDAC-2014-SagstetterAWLSCK #architecture #integration
Schedule Integration Framework for Time-Triggered Automotive Architectures (FS, SA, PW, ML, HS, SC, AK), p. 6.
DACDAC-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.
DACDAC-2014-YangHCLRX #behaviour #certification #scalability #synthesis
Scalable Certification Framework for Behavioral Synthesis Front-End (ZY, KH, KC, LL, SR, FX), p. 6.
DACDAC-2014-ZhangYYX #approximate #named
ApproxIt: An Approximate Computing Framework for Iterative Methods (QZ, FY, RY, QX), p. 6.
DACDAC-2014-ZhuangWLC #distributed #named #network #simulation
MATEX: A Distributed Framework for Transient Simulation of Power Distribution Networks (HZ, SHW, JHL, CKC), p. 6.
DATEDATE-2014-BournoutianO #mobile #optimisation
On-device objective-C application optimization framework for high-performance mobile processors (GB, AO), pp. 1–6.
DATEDATE-2014-ChenWP #capacity #concurrent #distributed
Concurrent placement, capacity provisioning, and request flow control for a distributed cloud infrastructure (SC, YW, MP), pp. 1–6.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-LeeF #named #realtime #runtime #scheduling
GPU-EvR: Run-time event based real-time scheduling framework on GPGPU platform (HL, MAAF), pp. 1–6.
DATEDATE-2014-LeeWP #configuration management #manycore #named
VRCon: Dynamic reconfiguration of voltage regulators in a multicore platform (WL, YW, MP), pp. 1–6.
DATEDATE-2014-MaliukM #network #prototype
An analog non-volatile neural network platform for prototyping RF BIST solutions (DM, YM), pp. 1–6.
DATEDATE-2014-MottaghiRD #named #network #performance
RETLab: A fast design-automation framework for arbitrary RET networks (MDM, AR, CD), pp. 1–6.
DATEDATE-2014-RosvallS #constraints #design #realtime
A constraint-based design space exploration framework for real-time applications on MPSoCs (KR, IS), pp. 1–6.
DATEDATE-2014-ZhangDGLZXS #named #simulation
MSim: A general cycle accurate simulation platform for memcomputing studies (CZ, PD, HG, JL, QZ, JX, YS), pp. 1–5.
DATEDATE-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.
HPDCHPDC-2014-DaiCKRZ #incremental #named
Domino: an incremental computing framework in cloud with eventual synchronization (DD, YC, DK, RBR, XZ), pp. 291–294.
HPDCHPDC-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.
HPDCHPDC-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.
LCTESLCTES-2014-BebelisFG #data flow #manycore #parametricity #platform
A framework to schedule parametric dataflow applications on many-core platforms (VB, PF, AG), pp. 125–134.
OSDIOSDI-2014-GonzalezXDCFS #data flow #distributed #graph #named
GraphX: Graph Processing in a Distributed Dataflow Framework (JEG, RSX, AD, DC, MJF, IS), pp. 599–613.
OSDIOSDI-2014-WangLZCT #interpreter #kernel #named
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure (XW, DL, NZ, AC, ZT), pp. 33–47.
PDPPDP-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.
PPoPPPPoPP-2014-MehtaLY
Revisiting loop fusion in the polyhedral framework (SM, PHL, PCY), pp. 233–246.
PPoPPPPoPP-2014-YanLZZ #named
yaSpMV: yet another SpMV framework on GPUs (SY, CL, YZ, HZ), pp. 107–118.
FASEFASE-2014-CristiaMF #integration #testing
Integration Testing in the Test Template Framework (MC, JM, CSF), pp. 400–414.
WRLAWRLA-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.
WRLAWRLA-2014-ZhangCO #semantics #standard #𝕂
A Formal Semantics of the OSEK/VDX Standard in 𝕂 Framework and Its Applications (MZ, YC, KO), pp. 280–296.
CAVCAV-2014-0001LMN #invariant #learning #named #robust
ICE: A Robust Framework for Learning Invariants (PG, CL, PM, DN), pp. 69–87.
ICSTICST-2014-KimXKCR #hybrid #testing
Hybrid Directed Test Suite Augmentation: An Interleaving Framework (YK, ZX, MK, MBC, GR), pp. 263–272.
ICSTICST-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.
ICTSSICTSS-2014-ChabotP #embedded #hardware #monitoring
A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems (MC, LP), pp. 173–179.
ICTSSICTSS-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.
IJCARIJCAR-2014-StumpST #logic #named
StarExec: A Cross-Community Infrastructure for Logic Solving (AS, GS, CT), pp. 367–373.
ISSTAISSTA-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.
ISSTAISSTA-2014-Just #analysis #java #mutation testing #performance #scalability
The major mutation framework: efficient and scalable mutation analysis for Java (RJ), pp. 433–436.
ISSTAISSTA-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.
ICSTSAT-2014-Gableske #satisfiability
An Ising Model Inspired Extension of the Product-Based MP Framework for SAT (OG), pp. 367–383.
VMCAIVMCAI-2014-DragoiHVWZ #algorithm #verification
A Logic-Based Framework for Verifying Consensus Algorithms (CD, TAH, HV, JW, DZ), pp. 161–181.
CBSECBSE-2013-JohnsonCK #component #incremental #verification
An incremental verification framework for component-based software systems (KJ, RC, SK), pp. 33–42.
CBSECBSE-2013-VanwormhoudtF #adaptation #component #named
CIAO: a component model and its OSGi framework for dynamically adaptable telephony applications (GV, AF), pp. 23–32.
QoSAQoSA-2013-TekinerdoganD #architecture #evaluation
Evaluation framework for software architecture viewpoint languages (BT, ED), pp. 89–98.
DocEngDocEng-2013-SadallahEMP #documentation #re-engineering
A framework for usage-based document reengineering (MS, BE, AeM, YP), pp. 99–102.
DRRDRR-2013-KumarWGS #keyword #using
Segmentation-free keyword spotting framework using dynamic background model (GK, SW, VG, RS).
DRRDRR-2013-MaA #documentation #image
A super resolution framework for low resolution document image OCR (DM, GA).
HTHT-2013-ZhangZLM #collaboration #matrix
A general collaborative filtering framework based on matrix bordered block diagonal forms (YZ, MZ, YL, SM), pp. 219–224.
ICDARICDAR-2013-HebertNP #documentation #image
Discrete CRF Based Combination Framework for Document Image Binarization (DH, SN, TP), pp. 1165–1169.
ICDARICDAR-2013-MoghaddamMC #automation #documentation #image
Unsupervised Ensemble of Experts (EoE) Framework for Automatic Binarization of Document Images (RFM, FFM, MC), pp. 703–707.
ICDARICDAR-2013-RamaiahSG #modelling
A Bayesian Framework for Modeling Accents in Handwriting (CR, AS, VG), pp. 917–921.
ICDARICDAR-2013-ShiSG #documentation #image #modelling
A Model Based Framework for Table Processing in Degraded Document Images (ZS, SS, VG), pp. 963–967.
ICDARICDAR-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.
PODSPODS-2013-FaginKRV #information management #named
Spanners: a formal framework for information extraction (RF, BK, FR, SV), pp. 37–48.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2013-SimitsisW0 #data flow #named #platform
xPAD: a platform for analytic data flows (AS, KW, PJ), pp. 1109–1112.
TPDLTPDL-2013-SompelNKS #named
ResourceSync: The NISO/OAI Resource Synchronization Framework (HVdS, MLN, MK, RS), pp. 488–489.
VLDBVLDB-2013-ArmenatzoglouPP #query
A General Framework for Geo-Social Query Processing (NA, SP, DP), pp. 913–924.
VLDBVLDB-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.
VLDBVLDB-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.
VLDBVLDB-2013-ChunCCRSW #execution #named
REEF: Retainable Evaluator Execution Framework (BGC, TC, CC, RR, RS, MW), pp. 1370–1373.
VLDBVLDB-2013-EldawyM #performance #pipes and filters
A Demonstration of SpatialHadoop: An Efficient MapReduce Framework for Spatial Data (AE, MFM), pp. 1230–1233.
VLDBVLDB-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.
VLDBVLDB-2013-GeertsMPS
The LLUNATIC Data-Cleaning Framework (FG, GM, PP, DS), pp. 625–636.
VLDBVLDB-2013-HendawiBM #named #network #predict #query #scalability
iRoad: A Framework For Scalable Predictive Query Processing On Road Networks (AMH, JB, MFM), pp. 1262–1265.
VLDBVLDB-2013-LinMRRW #mining #named #online #parametricity
PARAS: A Parameter Space Framework for Online Association Mining (XL, AM, EAR, CR, MOW), pp. 193–204.
VLDBVLDB-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.
VLDBVLDB-2013-MottinMRDPV #optimisation #probability #problem
A Probabilistic Optimization Framework for the Empty-Answer Problem (DM, AM, SBR, GD, TP, YV), pp. 1762–1773.
VLDBVLDB-2013-NagendraC #named
SkySuite: A Framework of Skyline-Join Operators for Static and Stream Environments (MN, KSC), pp. 1266–1269.
VLDBVLDB-2013-RamazzinaBS #platform
A New Service for Customer Care Based on the TrentoRise BigData Platform (SR, CLB, DS), pp. 1162–1163.
VLDBVLDB-2013-SatheO0A #named #platform #query
EnviroMeter: A Platform for Querying Community-Sensed Data (SS, AO, DC, KA), pp. 1294–1297.
VLDBVLDB-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.
VLDBVLDB-2014-WangC13 #multi #optimisation #pipes and filters
Multi-Query Optimization in MapReduce Framework (GW, CYC), pp. 145–156.
CSEETCSEET-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.
ITiCSEITiCSE-2013-EdwardsA #android #named
Sofia: the simple open framework for inventive android applications (SHE, AA), p. 321.
ITiCSEITiCSE-2013-MellodgeR #arduino #case study #experience #learning #platform #student #using
Using the arduino platform to enhance student learning experiences (PM, IR), p. 338.
ITiCSEITiCSE-2013-Paule-RuizGPG #evaluation #interactive #learning
Voice interactive learning: a framework and evaluation (MPPR, VMÁG, JRPP, MRG), pp. 34–39.
ITiCSEITiCSE-2013-ReedZ #learning
A hierarchical framework for mapping and quantitatively assessing program and learning outcomes (JR, HZ), pp. 52–57.
SIGITESIGITE-2013-Gibbons #design #game studies #named
COR: a new course framework based on elements of game design (TEG), pp. 77–82.
SIGITESIGITE-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.
CSMRCSMR-2013-Businge #co-evolution #eclipse #plugin
Co-evolution of the Eclipse SDK Framework and Its Third-Party Plug-Ins (JB), pp. 427–430.
CSMRCSMR-2013-JamshidiGAP #architecture #evolution #research
A Framework for Classifying and Comparing Architecture-centric Software Evolution Research (PJ, MG, AA, CP), pp. 305–314.
CSMRCSMR-2013-PengABCTR #named #process
MDO: Framework for Context-Aware Process Mobility in Building-Maintenance Domain (TP, GA, DB, AC, TJT, MR), pp. 449–452.
ICPCICPC-2013-MayerS #java
Patterns of cross-language linking in java frameworks (PM, AS), pp. 113–122.
ICSMEICSM-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.
ICSMEICSM-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.
ICSMEICSM-2013-MinelliL #mobile #named #platform #visual notation
SAMOA — A Visual Software Analytics Platform for Mobile Applications (RM, ML), pp. 476–479.
ICSMEICSM-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.
ICSMEICSM-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.
SCAMSCAM-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.
WCREWCRE-2013-CosentinoCABP #cobol #modelling
Extracting business rules from COBOL: A model-based framework (VC, JC, PA, PB, JP), pp. 409–416.
WCREWCRE-2013-MontandonBFV #api #lessons learnt #platform
Documenting APIs with examples: Lessons learned with the APIMiner platform (JEM, HB, DF, MTV), pp. 401–408.
WCREWCRE-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.
RTARTA-2013-AvanziniM #complexity
A Combination Framework for Complexity (MA, GM), pp. 55–70.
SEFMSEFM-2013-CristiaRF #generative #testing
{log} as a Test Case Generator for the Test Template Framework (MC, GR, CSF), pp. 229–243.
ICFPICFP-2013-KeepD #compilation #development
A nanopass framework for commercial compiler development (AWK, RKD), pp. 343–350.
IFLIFL-2013-GijzelN #implementation #modelling #towards #verification
Towards a framework for the implementation and verification of translations between argumentation models (BvG, HN), p. 93.
AIIDEAIIDE-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).
DiGRADiGRA-2013-Friedhoff13a #platform
Untangling Twine: A Platform Study (JF).
FDGFDG-2013-JanssenCG #game studies
A framework for biometric playtesting of games (DPJ, LC, SG), pp. 423–424.
FDGFDG-2013-Karhulahti #concept #game studies
Adventure games in kinesthetic videogame theory - A demand-based framework for conceptualizing the narrative (VMK), pp. 472–473.
FDGFDG-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.
CoGVS-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.
CoGVS-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.
CoGVS-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.
CHICHI-2013-AndersenGP #education
A trace-based framework for analyzing and synthesizing educational progressions (EA, SG, ZP), pp. 773–782.
CHICHI-2013-JacksonB
Infrastructure and vocation: field, calling and computation in ecology (SJJ, SB), pp. 2873–2882.
CHICHI-2013-ThiryLBR #authoring #timeline
Authoring personal histories: exploring the timeline as a framework for meaning making (ET, SEL, RB, TR), pp. 1619–1628.
CHICHI-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.
CSCWCSCW-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.
CSCWCSCW-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.
HCIDHM-SET-2013-DemirelD #design
A Sustainable Human Centered Design Framework Based on Human Factors (HOD, VGD), pp. 307–315.
HCIDUXU-CXC-2013-WilkosinskaAGJ #implementation #online #towards
Towards a Common Implementation Framework for Online Virtual Museums (KW, AA, HG, YJ), pp. 321–330.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-AMTE-2013-HumayounEE #case study #mobile #platform #using
Developing Mobile Apps Using Cross-Platform Frameworks: A Case Study (SRH, SE, AE), pp. 371–380.
HCIHCI-AMTE-2013-JanderA #evaluation #human-computer #interactive
Human-Machine Interaction Evaluation Framework (HJ, JA), pp. 221–230.
HCIHCI-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.
HCIHCI-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.
HCIHCI-AS-2013-MarsicoST #personalisation
A Framework to Support Social-Collaborative Personalized e-Learning (MDM, AS, MT), pp. 351–360.
HCIHCI-AS-2013-TogawaK
Private Cloud Cooperation Framework for Reducing the Earthquake Damage on e-Learning Environment (ST, KK), pp. 503–510.
HCIHCI-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.
HCIHCI-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.
HCIHIMI-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.
HCIHIMI-D-2013-Terawaki #quality #requirements
Framework for Quantitatively Evaluating the Quality Requirements of Software System (YT), pp. 383–392.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-LCCB-2013-HadhrawiNAS #collaboration #interface #named #platform
CoPI: A Web-Based Collaborative Planning Interface Platform (MKH, MN, AA, AS), pp. 287–296.
HCIHIMI-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.
HCIOCSC-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.
CAiSECAiSE-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.
CAiSECAiSE-2013-ChatzikonstantinouKA #data analysis
A Goal Driven Framework for Software Project Data Analytics (GC, KK, IMA), pp. 546–561.
CAiSECAiSE-2013-Espada0A #complexity #modelling
A Framework to Evaluate Complexity and Completeness of KAOS Goal Models (PE, MG, JA), pp. 562–577.
CAiSECAiSE-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.
EDOCEDOC-2013-Herzberg0W #platform #process
An Event Processing Platform for Business Process Management (NH, AM, MW), pp. 107–116.
EDOCEDOC-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v1-2013-PeltomaaV #information management #ontology
Ontology in the Core of Information Management — Information Management in Infrastructure Building (IP, EV), pp. 161–168.
ICEISICEIS-v2-2013-KandjaniMAS #concept #information management
A Conceptual Framework to Classify Strategic Information Systems Planning Methodologies (HK, AM, AEA, RS), pp. 190–196.
ICEISICEIS-v2-2013-OBrienSH #quality
The Value of Good Data — A Quality Perspective — A Framework for Discussion (TO, AS, MH), pp. 555–562.
ICEISICEIS-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.
ICEISICEIS-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, ), pp. 427–434.
ICEISICEIS-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.
ICEISICEIS-v2-2013-VianaDPP #named
F3 — From Features to Framework (MCV, RSD, RADP, AFdP), pp. 110–117.
ICEISICEIS-v3-2013-AmmarM #evaluation #modelling #usability
Early Usability Evaluation in Model Driven Framework (LBA, AM), pp. 23–30.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
CIKMCIKM-2013-LiGLYS #multimodal
A multimodal framework for unsupervised feature fusion (XL, JG, HL, LY, RKS), pp. 897–902.
CIKMCIKM-2013-VolkovsZ
CRF framework for supervised preference aggregation (MV, RSZ), pp. 89–98.
ECIRECIR-2013-DowieA #exclamation #information management
Re-leashed! The PuppyIR Framework for Developing Information Services for Children, Adults and Dogs (DD, LA), pp. 824–827.
ECIRECIR-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.
ICMLICML-c1-2013-ChenWY #combinator #multi
Combinatorial Multi-Armed Bandit: General Framework and Applications (WC, YW, YY), pp. 151–159.
ICMLICML-c1-2013-MenonTGLK #machine learning #programming
A Machine Learning Framework for Programming by Example (AKM, OT, SG, BWL, AK), pp. 187–195.
ICMLICML-c2-2013-CaiZH #named #robust
SADA: A General Framework to Support Robust Causation Discovery (RC, ZZ, ZH), pp. 208–216.
ICMLICML-c2-2013-MinhBM #learning #multi
A unifying framework for vector-valued manifold regularization and multi-view learning (HQM, LB, VM), pp. 100–108.
ICMLICML-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.
ICMLICML-c3-2013-GeorgievN #collaboration #strict
A non-IID Framework for Collaborative Filtering with Restricted Boltzmann Machines (KG, PN), pp. 1148–1156.
KDDKDD-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.
KDDKDD-2013-GilpinED #algorithm #learning
Guided learning for role discovery (GLRD): framework, algorithms, and applications (SG, TER, IND), pp. 113–121.
KDDKDD-2013-KermanyMBNM #analysis
Analysis of advanced meter infrastructure data of water consumption in apartment buildings (EK, HM, DB, YN, HM), pp. 1159–1167.
KDDKDD-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.
KDDKDD-2013-TranPLHBV #predict #risk management
An integrated framework for suicide risk prediction (TT, DQP, WL, RH, MB, SV), pp. 1410–1418.
KDDKDD-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.
KDDKDD-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.
KDDKDD-2013-WuNTWXX #privacy
A privacy preserving framework for managing vehicle data in road pricing systems (HW, WSN, KLT, WW, SX, MX), pp. 1427–1435.
KDDKDD-2013-ZhaoYNG #learning #twitter
A transfer learning based framework of crowd-selection on twitter (ZZ, DY, WN, SG), pp. 1514–1517.
KDIRKDIR-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.
KEODKEOD-2013-FiorelliPS #semantics #web
A Comprehensive Framework for Semantic Annotation of Web Content (MF, MTP, AS), pp. 245–252.
KEODKEOD-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.
KEODKEOD-2013-Liang #collaboration #concept #design #ontology
Applying Ontology-based Knowledge Methodology in Product Innovative Collaborative Conceptual Design Framework (JSL), pp. 324–330.
KEODKEOD-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.
RecSysRecSys-2013-GarcinF #personalisation #recommendation
PEN RecSys: a personalized news recommender systems framework (FG, BF), pp. 469–470.
SEKESEKE-2013-CabralSC
Framework for digital voting systems (PDC, RPeS, RSdC), pp. 715–720.
SEKESEKE-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.
SEKESEKE-2013-KalayciS #adaptation #multi #runtime #workflow
Pattern-based Decentralization and Run-time Adaptation Framework for Multi-site Workflow Orchestrations (SK, SMS), pp. 709–714.
SIGIRSIGIR-2013-GolbusA #analysis #information retrieval
A mutual information-based framework for the analysis of information retrieval systems (PBG, JAA), pp. 683–692.
SIGIRSIGIR-2013-Limsopatham #comprehension #query
A query and patient understanding framework for medical records search (NL), p. 1145.
SIGIRSIGIR-2013-LukeSM #recommendation
A framework for specific term recommendation systems (TL, PS, PM), pp. 1093–1094.
SIGIRSIGIR-2013-SakaiD #evaluation #information management #retrieval #summary
Summaries, ranked retrieval and sessions: a unified framework for information access evaluation (TS, ZD), pp. 473–482.
BXBX-2013-Wilson-KanamoriH #bidirectional #collaboration #development
A Bidirectional Collaboration Framework for Bio-Model Development (JRWK, SH), pp. 111–128.
ICMTICMT-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.
PLEASEPLEASE-2013-KleinM #platform
System-of-systems platform scoping (JK, JDM), pp. 1–4.
PLEASEPLEASE-2013-Zhang0 #named #reverse engineering #towards #variability
RECoVar: A solution framework towards reverse engineering variability (BZ, MB), pp. 45–48.
SPLCSPLC-2013-MuthigS #product line
A framework for role-based feature management in software product line organizations (DM, JS), pp. 178–187.
SPLCSPLC-2013-RubinCC #experience
Managing cloned variants: a framework and experience (JR, KC, MC), pp. 101–110.
OnwardOnward-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.
AdaEuropeAdaEurope-2013-SalazarAMP #ada #modelling #realtime #safety
A Model-Based Framework for Developing Real-Time Safety Ada Systems (ES, AA, MAdM, JAdlP), pp. 127–142.
PLDIPLDI-2013-BlackshearL #composition #semantics #specification
Almost-correct specifications: a modular semantic framework for assigning confidence to warnings (SB, SKL), pp. 209–218.
PLDIPLDI-2013-NowatzkiSCSER #architecture #constraints #scheduling
A general constraint-centric scheduling framework for spatial architectures (TN, MST, LDC, KS, CE, BR), pp. 495–506.
REER-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).
REER-BR-2013-VarelaCS #portuguese
Integrando o Framework I* com a Gerência de Risco (JPV, JC, VFAS).
RERE-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.
SACSAC-PL-J-2012-HaraburdaT13
Binary trees as a computational framework (DH, PT), pp. 163–181.
ASEASE-2013-KwonZX #execution #independence #named #platform
PIEtrace: Platform independent executable trace (YK, XZ, DX), pp. 48–58.
ASEASE-2013-SchaeferDS #independence #named #testing #towards
Crushinator: A framework towards game-independent testing (CS, HD, BMS), pp. 726–729.
ESEC-FSEESEC-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-FSEESEC-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-FSEESEC-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-FSEESEC-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-FSEESEC-FSE-2013-Tikhonova #domain-specific language #semantics
A framework for defining the dynamic semantics of DSLs (UT), pp. 735–738.
ICSEICSE-2013-DyerNRN #named #repository #scalability
Boa: a language and infrastructure for analyzing ultra-large-scale software repositories (RD, HAN, HR, TNN), pp. 422–431.
ICSEICSE-2013-HatcliffRCB #execution #symbolic computation #verification
Explicating symbolic execution (xSymExe): an evidence-based verification framework (JH, R, PC, JB), pp. 222–231.
ICSEICSE-2013-Perino #self
A framework for self-healing software systems (NP), pp. 1397–1400.
ICSEICSE-2013-RubinC
A framework for managing cloned product variants (JR, MC), pp. 1233–1236.
ICSEICSE-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.
ICSEICSE-2013-Yu #testing
An observable and controllable testing framework for modern systems (TY), pp. 1377–1380.
ICSEICSE-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.
SACSAC-2013-BrandaoFMPC #pervasive
The CAS project: a general infrastructure for pervasive capture and access systems (RB, PF, AM, FP, RC), pp. 975–980.
SACSAC-2013-BraunCHMM #named #realtime #visualisation
CrowdVis: a framework for real time crowd visualization (HB, VJC, RH, FPM, SRM), pp. 989–995.
SACSAC-2013-BucchiaroneMMP #adaptation #concept
A conceptual framework for collective adaptive systems (AB, AM, CAM, MP), pp. 1935–1936.
SACSAC-2013-Callau-ZoriJGPFP #named
STONE: a stream-based DDoS defense framework (MCZ, RJP, VG, MP, ZF, MPM), pp. 807–812.
SACSAC-2013-CavalinKMO #multi #recognition
A multiple feature vector framework for forest species recognition (PRC, MNK, JM, LESdO), pp. 16–20.
SACSAC-2013-ChaudhariZW #component #ranking #towards
Towards a ranking framework for software components (DC, MZ, KW), pp. 495–498.
SACSAC-2013-DionisisCP #adaptation #exception
An integrated framework for QoS-based adaptation and exception resolution in WS-BPEL scenarios (MD, VC, GP), pp. 1900–1906.
SACSAC-2013-EgnersM #multi
Secure roaming and infrastructure sharing for multi-operator WMNs (AE, UM), pp. 1800–1807.
SACSAC-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.
SACSAC-2013-HabibVM #trust
A framework for evaluating trust of service providers in cloud marketplaces (SMH, VV, MM), pp. 1963–1965.
SACSAC-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.
SACSAC-2013-HoelzR #semantics
A framework for semantic annotation of digital evidence (BWPH, CGR), pp. 1966–1971.
SACSAC-2013-HollEGV #lifecycle #multi #product line
An infrastructure for the life cycle management of multi product lines (GH, CE, PG, MV), pp. 1742–1749.
SACSAC-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.
SACSAC-2013-MartinsLSN #fault tolerance #middleware #platform #realtime
Stheno, a real-time fault-tolerant P2P middleware platform for light-train systems (RM, LMBL, FMAS, PN), pp. 431–438.
SACSAC-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.
SACSAC-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.
SACSAC-2013-OliveiraP #experience #middleware
Experience with a middleware infrastructure for service oriented financial applications (JPO, JP), pp. 479–484.
SACSAC-2013-PerazzoWM
A data warehouse as an infrastructure to mine molecular descriptors for virtual screening (GXP, ATW, KSM), pp. 1335–1336.
SACSAC-2013-TripletB #benchmark #biology #metric #named
BenchDW: a generic framework for biological data warehouse benchmarking (TT, GB), pp. 1328–1334.
SACSAC-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.
GPCEGPCE-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.
GPCEGPCE-2013-ErdwegR
A framework for extensible languages (SE, FR), pp. 3–12.
GPCEGPCE-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.
SLESLE-2013-ArusoaieLR #execution #symbolic computation
A Generic Framework for Symbolic Execution (AA, DL, VR), pp. 281–301.
SLESLE-2013-PearceG #named #platform #research #verification
Whiley: A Platform for Research in Software Verification (DJP, LG), pp. 238–248.
CASECASE-2013-CecilGCS #collaboration #generative
A next generation collaborative framework for advanced manufacturing (JC, RG, PC, SS), pp. 128–132.
CASECASE-2013-KruseRW
A sensor-based dual-arm tele-robotic manipulation platform (DK, RJR, JTW), pp. 350–355.
CASECASE-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.
CASECASE-2013-RoyZR #behaviour #representation
The information framework for material behavior representation (UR, BZ, DJR), pp. 380–385.
CASECASE-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.
CCCC-2013-BhaskaracharyaB #data flow #named #visual notation
PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow Language (SGB, UB), pp. 123–143.
CGOCGO-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.
CGOCGO-2013-RuanLWS #on the #platform
On the platform specificity of STM instrumentation mechanisms (WR, YL, CW, MFS), p. 10.
CGOCGO-2013-ZhouWDS #flexibility #migration #named
Profmig: A framework for flexible migration of program profiles across software versions (MZ, BW, YD, XS), p. 12.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-2013-LiP #modelling
An accurate semi-analytical framework for full-chip TSV-induced stress modeling (YL, DZP), p. 8.
DACDAC-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.
DACDAC-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.
DATEDATE-2013-CarvajalF #platform #realtime
An open platform for mixed-criticality real-time ethernet (GC, SF), pp. 153–156.
DATEDATE-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.
DATEDATE-2013-NavasSO #array #configuration management #flexibility #platform #reuse
The RecoBlock SoC platform: a flexible array of reusable run-time-reconfigurable IP-blocks (BN, IS, ), pp. 833–838.
DATEDATE-2013-ObergMSK #hardware #testing
A practical testing framework for isolating hardware timing channels (JO, SM, TS, RK), pp. 1281–1284.
DATEDATE-2013-OjailDLG #embedded #lightweight #manycore #named
ARTM: a lightweight fork-join framework for many-core embedded systems (MO, RD, YL, AG), pp. 1510–1515.
DATEDATE-2013-Pedram #communication
Creating a sustainable information and communication infrastructure (MP), p. 2.
DATEDATE-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.
DATEDATE-2013-WangJSZ #fault tolerance #scheduling
A work-stealing scheduling framework supporting fault tolerance (YW, WJ, FS, QZ), pp. 695–700.
DATEDATE-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.
HPDCHPDC-2013-BehzadHLABYKP
A framework for auto-tuning HDF5 applications (BB, JH, HVTL, RAA, SB, YY, QK, P), pp. 127–128.
HPDCHPDC-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.
HPDCHPDC-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.
PDPPDP-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.
PDPPDP-2013-KotenkoSN #network #simulation
Simulation of Protection Mechanisms Based on “Nervous Network System” against Infrastructure Attacks (IVK, AS, EN), pp. 526–533.
PDPPDP-2013-SmykT #algorithm #execution #monitoring #search-based
Genetic Algorithms Hierarchical Execution Control under a Global Application State Monitoring Infrastructure (AS, MT), pp. 16–23.
PDPPDP-2013-WuGTSGFS #hardware #named
SecMon: A Secure Introspection Framework for Hardware Virtualization (XW, YG, XT, YS, BG, BF, YS), pp. 282–286.
PLOSPLOS-2013-FernandezKKA #component #platform #towards
Towards a verified component platform (MF, IK, GK, JA), p. 7.
PPoPPPPoPP-2013-ShunB #graph #lightweight #memory management #named
Ligra: a lightweight graph processing framework for shared memory (JS, GEB), pp. 135–146.
SOSPSOSP-2013-NguyenLP #graph #lightweight
A lightweight infrastructure for graph analytics (DN, AL, KP), pp. 456–471.
FASEFASE-2013-GudemannPSD #named #verification
VerChor: A Framework for Verifying Choreographies (MG, PP, GS, AD), pp. 226–230.
ICSTICST-2013-ErikssonLO #empirical #independence #platform #testing
Transformation Rules for Platform Independent Testing: An Empirical Study (AE, BL, JO), pp. 202–211.
ICSTICST-2013-MunetohY #agile #development #named #security #testing
RAILROADMAP: An Agile Security Testing Framework for Web-application Development (SM, NY), pp. 491–492.
ICSTICST-2013-NetterGB #composition #modelling #simulation #validation
Real-Data Validation of Simulation Models in a Function-Based Modular Framework (FN, FG, BB), pp. 41–47.
ICSTICST-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.
ICSTICST-2013-ShuSHP #analysis #dependence #named #platform
JavaPDG: A New Platform for Program Dependence Analysis (GS, BS, TADH, AP), pp. 408–415.
ICTSSICTSS-2013-GastonHG #distributed #implementation
An Implementation Relation and Test Framework for Timed Distributed Systems (CG, RMH, PLG), pp. 82–97.
ISSTAISSTA-2013-YuSR #automation #named #testing
SimRacer: an automated framework to support testing for process-level races (TY, WSa, GR), pp. 167–177.
QoSAQoSA-2012-EklundB #architecture #ecosystem #multi #platform #using
Using architecture for multiple levels of access to an ecosystem platform (UE, JB), pp. 143–148.
WICSA-ECSAWICSA-ECSA-2012-GarciaKMD #architecture
A Framework for Obtaining the Ground-Truth in Architectural Recovery (JG, IK, NM, CD), pp. 292–296.
WICSA-ECSAWICSA-ECSA-2012-HerzigAS #enterprise #gamification #platform
A Generic Platform for Enterprise Gamification (PH, MA, AS), pp. 219–223.
WICSA-ECSAWICSA-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-ECSAWICSA-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-ECSAWICSA-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.
DocEngDocEng-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.
DocEngDocEng-2012-WidlocherM #corpus #mining #platform
The Glozz platform: a corpus annotation and mining tool (AW, YM), pp. 171–180.
DRRDRR-2012-PorwalRG #identification
An Oracle-based co-training framework for writer identification in offline handwriting (UP, SR, VG).
HTHT-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.
PODSPODS-2012-KiferM #privacy
A rigorous and customizable framework for privacy (DK, AM), pp. 77–88.
SIGMODSIGMOD-2012-KonstantinouATBKS #named #platform
TIRAMOLA: elastic nosql provisioning through a cloud management platform (IK, EA, DT, CB, NK, SS), pp. 725–728.
SIGMODSIGMOD-2012-PeltS #crowdsourcing #design #platform #scalability
Designing a scalable crowdsourcing platform (CVP, AS), pp. 765–766.
SIGMODSIGMOD-2012-WangLF #adaptation #similarity
Can we beat the prefix filtering?: an adaptive framework for similarity join and search (JW, GL, JF), pp. 85–96.
VLDBVLDB-2012-DasTADY #analysis #what
Who Tags What? An Analysis Framework (MD, ST, SAY, GD, CY), pp. 1567–1578.
VLDBVLDB-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.
VLDBVLDB-2012-LeeLLLR #data analysis #twitter
The Unified Logging Infrastructure for Data Analytics at Twitter (GL, JL, CL, AL, DVR), pp. 1771–1780.
VLDBVLDB-2012-LiuRLMB #constraints #declarative #distributed #named #optimisation #platform
Cologne: A Declarative Distributed Constraint Optimization Platform (CL, LR, BTL, YM, PB), pp. 752–763.
VLDBVLDB-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.
VLDBVLDB-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.
VLDBVLDB-2012-MorishimaSMAF #crowdsourcing #declarative #named #platform
CyLog/Crowd4U: A Declarative Platform for Complex Data-centric Crowdsourcing (AM, NS, TM, HA, SF), pp. 1918–1921.
VLDBVLDB-2012-ZhuKA #effectiveness #performance #retrieval #sequence
A Generic Framework for Efficient and Effective Subsequence Retrieval (HZ, GK, VA), pp. 1579–1590.
ITiCSEITiCSE-2012-CamaraPV #collaboration #evaluation #learning #programming
Evaluation of a collaborative instructional framework for programming learning (LMSC, MPV, JÁVI), pp. 162–167.
ITiCSEITiCSE-2012-Moreno #comparison #evaluation #source code
A qualitative framework for comparison and evaluation of computer science doctoral programs (MdCCM), p. 398.
ITiCSEITiCSE-2012-XuHT #named #network #platform
V-lab: a cloud-based virtual laboratory platform for hands-on networking courses (LX, DH, WTT), pp. 256–261.
CSMRCSMR-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.
CSMRCSMR-2012-SchrettnerFBKG #industrial #quality
Software Quality Model and Framework with Applications in Industrial Context (LS, LJF, ÁB, ÁK, TG), pp. 453–456.
ICSMEICSM-2012-BauerHHJC #analysis #incremental #quality #scalability
A framework for incremental quality analysis of large software systems (VB, LH, BH, EJ, MC), pp. 537–546.
ICSMEICSM-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.
MSRMSR-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.
MSRMSR-2012-ShihabKB #android #challenge #mining #platform
Mining challenge 2012: The Android platform (ES, YK, PB), pp. 112–115.
SCAMSCAM-2012-GutzmannLL #analysis #points-to
Collections Frameworks for Points-To Analysis (TG, JL, WL), pp. 4–13.
WCREWCRE-2012-AllierAHD #algorithm #ranking
A Framework to Compare Alert Ranking Algorithms (SA, NA, AH, SD), pp. 277–285.
CIAACIAA-2012-EhrenfeuchtR #process
A Formal Framework for Processes Inspired by the Functioning of Living Cells (AE, GR), pp. 25–27.
FMFM-2012-HeatherS #modelling
A Formal Framework for Modelling Coercion Resistance and Receipt Freeness (JH, SS), pp. 217–231.
IFMIFM-2012-BorgerCG #analysis #web
Contribution to a Rigorous Analysis of Web Application Frameworks (EB, AC, VG), pp. 1–20.
IFMIFM-2012-LensinkSE #concurrent #proving #source code
A Proof Framework for Concurrent Programs (LL, SS, MCJDvE), pp. 174–190.
RTARTA-2012-KanovichKNSTP #process
A Rewriting Framework for Activities Subject to Regulations (MIK, TBK, VN, AS, CLT, RP), pp. 305–322.
FLOPSFLOPS-2012-GuzmanCHS #implementation
A General Implementation Framework for Tabled CLP (PCdG, MC, MVH, PJS), pp. 104–119.
FDGFDG-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.
FDGFDG-2012-MitgutschA #assessment #design #game studies
Purposeful by design?: a serious game design assessment framework (KM, NA), pp. 121–128.
FDGFDG-2012-ShaffnerS #game studies #platform #social
Building social games: from platform to product (RS, ZS), p. 4.
FDGFDG-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.
CoGVS-Games-2012-BahreiniNW #game studies #online
FILTWAM - A Framework for Online Affective Computing in Serious Games (KB, RN, WW), pp. 45–52.
CoGVS-Games-2012-HulusicP #learning #quote
“LeFCA”: Learning Framework for Children with Autism (VH, NP), pp. 4–16.
CoGVS-Games-2012-ObikweluR #game studies #learning
The Serious Game Constructivist Framework for Children's Learning (CO, JCR), pp. 32–37.
CoGVS-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.
CoGVS-Games-2012-VardaxoglouB #game studies #platform
Developing a Platform for Serious Gaming: Open Innovation through Closed Innovation (GV, EB), pp. 111–121.
CoGVS-Games-2012-WattanasoontornBBS #simulation
The Framework of a Life Support Simulation Application (VW, IB, CB, MS), pp. 293–294.
ICGTICGT-2012-LopesF #design #graph
A Graph-Based Design Framework for Services (AL, JLF), pp. 1–19.
ICGTICGT-2012-Lowe #algebra #graph grammar #graph transformation
Refined Graph Rewriting in Span-Categories — A Framework for Algebraic Graph Transformation (ML), pp. 111–125.
ICGTICGT-2012-SerbanutaR #concurrent #graph transformation #semantics #𝕂
A Truly Concurrent Semantics for the 𝕂 Framework Based on Graph Transformations (TFS, GR), pp. 294–310.
CSCWCSCW-2012-HsuJSC #named #platform #realtime #video
SynTag: a web-based platform for labeling real-time video (YCH, TJ, YTS, PCC), pp. 715–718.
CSCWCSCW-2012-Poole #research
Interacting with infrastructure: a case for breaching experiments in home computing research (ESP), pp. 759–768.
CSCWCSCW-2012-StuartDKKK #social
Social transparency in networked information exchange: a theoretical framework (HCS, LAD, SBK, PK, RK), pp. 451–460.
CSCWCSCW-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.
CAiSECAiSE-2012-AtzeniBR #database #platform
Uniform Access to Non-relational Database Systems: The SOS Platform (PA, FB, LR), pp. 160–174.
EDOCEDOC-2012-HarrisonBADN #detection #identification
A Framework for Detecting Malware in Cloud by Identifying Symptoms (KH, BB, STTA, CID, APN), pp. 164–172.
EDOCEDOC-2012-ParaisoHRMS #middleware #platform
A Middleware Platform to Federate Complex Event Processing (FP, GH, RR, PM, LS), pp. 113–122.
EDOCEDOC-2012-PereiraS #towards
Towards an Integrated IT Governance and IT Management Framework (RFdSP, MMdS), pp. 191–200.
EDOCEDOC-2012-SilvaPS #composition #flexibility #named
A-DynamiCoS: A Flexible Framework for User-centric Service Composition (EGdS, LFP, MvS), pp. 81–92.
ICEISICEIS-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.
ICEISICEIS-J-2012-GottardiPC12a #approach #modelling #reuse #using
Accelerating Crosscutting Framework Reuse Using a Model-Based Approach (TG, OPL, VVdC), pp. 257–273.
ICEISICEIS-J-2012-VianaPP12a #domain-specific language #modelling
Building Domain-Specific Modeling Languages for Frameworks (MCV, RADP, AFdP), pp. 191–206.
ICEISICEIS-v2-2012-GottardiPC #approach #modelling #reuse
A Model-based Approach for Reusing Crosscutting Frameworks (TG, OPL, VVdC), pp. 46–55.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v3-2012-AversanoGT
A Characterization Framework for Evaluating Business/IT Alignment Strategies (LA, CG, MT), pp. 155–164.
CIKMCIKM-2012-ChenGK #named
Cager: a framework for cross-page search (ZC, BJG, QK), pp. 2704–2706.
CIKMCIKM-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.
CIKMCIKM-2012-DongFSZY #mining
A general framework to encode heterogeneous information sources for contextual pattern mining (WD, WF, LS, CZ, XY), pp. 65–74.
CIKMCIKM-2012-JiangVLN #named #topic #web
G-WSTD: a framework for geographic web search topic discovery (DJ, JV, KWTL, WN), pp. 1143–1152.
CIKMCIKM-2012-KoenigsteinRS #matrix #performance #recommendation #retrieval
Efficient retrieval of recommendations in a matrix factorization framework (NK, PR, YS), pp. 535–544.
CIKMCIKM-2012-KurlandSHRCR #predict #probability
Back to the roots: a probabilistic framework for query-performance prediction (OK, AS, SH, FR, DC, OR), pp. 823–832.
CIKMCIKM-2012-LiL #named #recommendation
MEET: a generalized framework for reciprocal recommender systems (LL, TL), pp. 35–44.
CIKMCIKM-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.
CIKMCIKM-2012-OhY #named
iSampling: framework for developing sampling methods considering user’s interest (JO, HY), pp. 1667–1671.
CIKMCIKM-2012-SalomatinLY #delivery #online #optimisation
A unified optimization framework for auction and guaranteed delivery in online advertising (KS, TYL, YY), pp. 2005–2009.
CIKMCIKM-2012-WangGWCY #algorithm #evolution #novel
Polygene-based evolution: a novel framework for evolutionary algorithms (SW, BJG, SW, GC, YY), pp. 2263–2266.
CIKMCIKM-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.
CIKMCIKM-2012-WangWYHDC #learning #modelling #novel
A novel local patch framework for fixing supervised learning models (YW, BW, JY, YH, ZHD, ZC), pp. 1233–1242.
CIKMCIKM-2012-ZhangWW #interactive #learning #ontology
An interaction framework of service-oriented ontology learning (JZ, YW, HW), pp. 2303–2306.
ECIRECIR-2012-BosmaMW #detection #network #social
A Framework for Unsupervised Spam Detection in Social Networking Sites (MB, EM, WW), pp. 364–375.
ECIRECIR-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.
ICMLICML-2012-KumarNKD #classification #kernel #learning #multi
A Binary Classification Framework for Two-Stage Multiple Kernel Learning (AK, ANM, KK, HDI), p. 173.
ICMLICML-2012-XiangMCCTZ #clustering
A Split-Merge Framework for Comparing Clusterings (QX, QM, KMAC, HLC, IWT, ZZ), p. 164.
ICPRICPR-2012-BaoSYA
An edge-preserving filtering framework for visibility restoration (LB, YS, QY, NA), pp. 384–387.
ICPRICPR-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.
ICPRICPR-2012-HuangOSU #detection #multi #recognition
Scene character detection and recognition based on multiple hypotheses framework (RH, SO, PS, SU), pp. 717–720.
ICPRICPR-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.
ICPRICPR-2012-LewinJC #algorithm #composition #evaluation #performance
Framework for quantitative performance evaluation of shape decomposition algorithms (SL, XJ, AC), pp. 3696–3699.
ICPRICPR-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.
ICPRICPR-2012-RoyG #detection #image #locality #probability
A probabilistic framework for logo detection and localization in natural scene images (AR, UG), pp. 2051–2054.
ICPRICPR-2012-SilvaL #automation #education #platform #recognition
Automatic content recognition of teaching boards in the Tableau platform (GdFPeS, RDL), pp. 645–648.
ICPRICPR-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.
ICPRICPR-2012-TiribuziPVR #detection #kernel #learning #multi
A Multiple Kernel Learning framework for detecting altered fingerprints (MT, MP, PV, ER), pp. 3402–3405.
ICPRICPR-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.
ICPRICPR-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.
KDDKDD-2012-ChakrabartiCCX #robust
A framework for robust discovery of entity synonyms (KC, SC, TC, DX), pp. 1384–1392.
KDDKDD-2012-SondhiSTZ #graph #mining #named
SympGraph: a framework for mining clinical notes through symptom relation graphs (PS, JS, HT, CZ), pp. 1167–1175.
KDDKDD-2012-TianSCM
Intelligent advertising framework for digital signage (PT, AVS, KC, SMM), pp. 1532–1535.
KDDKDD-2012-XieHCZCA #named #social
VOXSUP: a social engagement framework (YX, DH, ANC, KZ, YC, AA), pp. 1556–1559.
KDDKDD-2012-YangGRP #twitter
A framework for summarizing and analyzing twitter feeds (XY, AG, YR, SP), pp. 370–378.
KDIRKDIR-2012-AbdullinN #clustering #data type #learning
A Semi-supervised Learning Framework to Cluster Mixed Data Types (AA, ON), pp. 45–54.
KDIRKDIR-2012-Beranek
A Framework for Situation Inference based on Belief Function Theory (LB), pp. 358–361.
KDIRKDIR-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.
KEODKEOD-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.
KEODKEOD-2012-HenriquesS #ontology
An Ontology-based Framework for Syndromic Surveillance Method Selection (GH, DAS), pp. 396–400.
KEODKEOD-2012-HlomaniS #analysis #towards #workflow
Towards an Ontology-driven Framework for Workflow Analysis (HH, DAS), pp. 405–410.
KEODKEOD-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.
KEODKEOD-2012-VegettiRGHL #development #named #ontology #process
ONTOTracED: A Framework to Capture and Trace Ontology Development Processes (MV, MLR, SG, GPH, HPL), pp. 419–422.
KMISKMIS-2012-BaqueroM #process
A Framework to Support Business Process Analytics (AVB, OM), pp. 321–332.
KMISKMIS-2012-GoncalvesSCP #social
A Social Framework to Underpin Collective Awareness in BPM (NPG, SS, FC, JASP), pp. 335–340.
KMISKMIS-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.
KMISKMIS-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.
KMISKMIS-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.
KMISKMIS-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.
KMISKMIS-2012-WangK #development #on the
On the Development of a Theoretical Framework for New Product Development (LW, AK), pp. 49–59.
KRKR-2012-BudanLCS #modelling #reliability
Modelling Time and Reliability in Structured Argumentation Frameworks (MCB, MJGL, CIC, GRS).
KRKR-2012-Coste-MarquisKMO
Weighted Attacks in Argumentation Frameworks (SCM, SK, PM, MAO).
KRKR-2012-FebbraroLGR #java #named #programming #set
JASP: A Framework for Integrating Answer Set Programming with Java (OF, NL, GG, FR).
KRKR-2012-LawryD
A Bipolar Framework for Combining Beliefs about Vague Propositions (JL, DD).
KRKR-2012-MaBL
Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework (JM, SB, WL).
KRKR-2012-WilsonM #axiom #diagrams #order
An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities (NW, RM).
RecSysRecSys-2012-Heitmann #graph #multi #personalisation #semantics
An open framework for multi-source, cross-domain personalisation with semantic interest graphs (BH), pp. 313–316.
SEKESEKE-2012-ChandaMB #architecture #interactive #knowledge base
Interactive Business Rules Framework for Knowledge Based Service Oriented Architecture (DC, DDM, SB), pp. 315–318.
SEKESEKE-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.
SEKESEKE-2012-MarchettiG #logic #model transformation #using
Model Transformation for Frameworks Using Logical Planning (GAM, ESG), pp. 563–569.
SEKESEKE-2012-SalamiA #algorithm #diagrams #retrieval #search-based #using
A Framework for Class Diagram Retrieval Using Genetic Algorithm (HOS, MAA), pp. 737–740.
SIGIRSIGIR-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.
SIGIRSIGIR-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.
SIGIRSIGIR-2012-OzertemCDV #machine learning #query #ranking
Learning to suggest: a machine learning framework for ranking query suggestions (UO, OC, PD, EV), pp. 25–34.
SIGIRSIGIR-2012-RoyGCL #evaluation #query #segmentation #web
An IR-based evaluation framework for web search query segmentation (RSR, NG, MC, SL), pp. 881–890.
AMTAMT-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.
ECMFAECMFA-2012-GeP #realtime #safety #uml #verification
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems (NG, MP), pp. 352–367.
ICMTICMT-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
SPLCSPLC-2012-GomezPCBL #documentation #generative #named
DPLfw: a framework for variable content document generation (AG, MdCP, JHC, MRSB, ML), pp. 96–105.
ECOOPECOOP-2012-DohertyH #matlab #named #static analysis
McSAF: A Static Analysis Framework for MATLAB (JD, LJH), pp. 132–155.
ECOOPECOOP-2012-KarimDGS #analysis
An Analysis of the Mozilla Jetpack Extension Framework (RK, MD, VG, CcS), pp. 333–355.
OOPSLAOOPSLA-2012-BarowyCBM #named #platform
AutoMan: a platform for integrating human-based and digital computation (DWB, CC, EDB, AM), pp. 639–654.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-2012-DattaSS #collaboration #developer #platform
Talk versus work: characteristics of developer collaboration on the jazz platform (SD, RS, BS), pp. 655–668.
TOOLSTOOLS-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.
TOOLSTOOLS-EUROPE-2012-OlahMS #constraints #representation
Representing Uniqueness Constraints in Object-Relational Mapping — The Natural Entity Framework (MJO, DM, DS), pp. 236–251.
AdaEuropeAdaEurope-2012-SaezRC #multi #realtime
An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications (SS, JR, AC), pp. 18–34.
LOPSTRLOPSTR-2012-RojasG #constraints #generative #logic programming #testing
A Framework for Guided Test Case Generation in Constraint Logic Programming (JMR, MGZ), pp. 176–193.
PLDIPLDI-2012-LiuZJDK #compilation #parallel
A compiler framework for extracting superword level parallelism (JL, YZ, OJ, WD, MTK), pp. 347–358.
POPLPOPL-2012-CousotC #abstract interpretation #termination
An abstract interpretation framework for termination (PC, RC), pp. 245–258.
RERE-2012-CailliauL #analysis #probability
A probabilistic framework for goal-oriented risk analysis (AC, AvL), pp. 201–210.
RERE-2012-KukrejaBPP #requirements
Selecting an appropriate framework for value-based requirements prioritization (NK, BWB, SSP, SP), pp. 303–308.
ASEASE-2012-BiallasBK #logic #platform #programmable #verification
Arcade.PLC: a verification platform for programmable logic controllers (SB, JB, SK), pp. 338–341.
ASEASE-2012-NguyenVLG #detection #knowledge-based #named #requirements
REInDetector: a framework for knowledge-based requirements engineering (THN, BQV, ML, JG), pp. 386–389.
FSEFSE-2012-ShepherdDRF #code search #named
Sando: an extensible local code search framework (DS, KD, BR, TF), p. 15.
ICSEICSE-2012-BoosFJK #cyber-physical #debugging #named
BRACE: An assertion framework for debugging cyber-physical systems (KB, CLF, CJ, MK), pp. 1341–1344.
ICSEICSE-2012-CunhaFMS #modelling #named #spreadsheet
MDSheet: A framework for model-driven spreadsheet engineering (JC, JPF, JM, JS), pp. 1395–1398.
ICSEICSE-2012-FuhrmanCA #education #re-engineering #tool support
Integrating tools and frameworks in undergraduate software engineering curriculum (CF, RC, AA), pp. 1195–1204.
ICSEICSE-2012-JinMLR #monitoring #named #parametricity #performance #runtime
JavaMOP: Efficient parametric runtime monitoring framework (DJ, POM, CL, GR), pp. 1427–1430.
ICSEICSE-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.
ICSEICSE-2012-MengWZM #approach #evolution #identification
A history-based matching approach to identification of framework evolution (SM, XW, LZ, HM), pp. 353–363.
ICSEICSE-2012-ZhangLY #debugging
An integrated bug processing framework (XZ, ML, KY), pp. 1469–1470.
SACSAC-2012-AmericoRD #java #platform #realtime
Managing the dynamism of the OSGi Service Platform in real-time Java applications (JCA, WR, DD), pp. 1115–1122.
SACSAC-2012-DandamudiWH #animation #comprehension #source code
An animation framework for improving the comprehension of TinyOS programs (SD, SKW, JOH), pp. 1625–1631.
SACSAC-2012-FerreiraBMCLF #architecture #crawling
An architecture-centered framework for developing blog crawlers (RF, PHdSB, JM, EC, RL, FLGdF), pp. 1131–1136.
SACSAC-2012-FerreiraLMCFL #crawling #named
RetriBlog: a framework for creating blog crawlers (RF, RL, JM, EC, FLGdF, HPLL), pp. 696–701.
SACSAC-2012-HuangHL #algorithm
Evaluating force-directed algorithms with a new framework (MLH, WH, CCL), pp. 1030–1032.
SACSAC-2012-KeshishzadehIM #automaton #model checking
A Büchi automata based model checking framework for reo connectors (SK, MI, AM), pp. 1536–1543.
SACSAC-2012-KorahSS #multi #realtime #scalability
Multi-agent framework for real-time processing of large and dynamic search spaces (JK, EES, ESJ), pp. 755–762.
SACSAC-2012-MaiaFFCAT #mobile #social
Framework for building intelligent mobile social applications (MEFM, JBFF, CABdQF, RC, RMCA, FT), pp. 525–530.
SACSAC-2012-MannS #android #detection #privacy #static analysis
A framework for static detection of privacy leaks in android applications (CM, AS), pp. 1457–1462.
SACSAC-2012-MavrogiannopoulosTP #encryption #kernel #linux
A linux kernel cryptographic framework: decoupling cryptographic keys from applications (NM, MT, BP), pp. 1435–1442.
SACSAC-2012-NakagawaBM #architecture #knowledge-based
A knowledge-based framework for reference architectures (EYN, MB, JCM), pp. 1197–1202.
SACSAC-2012-OliveiraFPC #product line
Investigating framework product lines (ALdO, FCF, RADP, VVdC), pp. 1177–1182.
SACSAC-2012-ProencaCVA #coordination #distributed #named
Dreams: a framework for distributed synchronous coordination (JP, DC, EPdV, FA), pp. 1510–1515.
SACSAC-2012-RodoperBJT #mobile #performance #security
An efficient security framework for mobile WiMAX (MR, AB, EJ, WT), pp. 1494–1501.
SACSAC-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.
SACSAC-2012-SalemBD #xml
An Active XML-based framework for integrating complex data (RS, OB, JD), pp. 888–892.
SACSAC-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.
SACSAC-2012-ShinWC #distributed #in the cloud
A policy-based decentralized authorization management framework for cloud computing (DS, YW, WC), pp. 465–470.
SACSAC-2012-SousaC #modelling #named #open source #symbolic computation
SageRobotics: open source framework for symbolic computation of robot models (CDS, RC), pp. 262–267.
SACSAC-2012-VerheijKFVH #query #ranking
Querying and ranking news items in the hermes framework (AV, AK, FF, DV, FH), pp. 672–679.
SACSAC-2012-WeiWRR #artificial reality #challenge
Examining the practical challenges of an Augmented Reality cyber-infrastructure framework (CW, CNW, RR, JR), pp. 531–536.
GPCEGPCE-2012-BagheriS #architecture #named #platform #synthesis
Pol: specification-driven synthesis of architectural code frameworks for platform-based applications (HB, KJS), pp. 93–102.
SLESLE-2012-AnjorinSRS #bidirectional #platform
A Framework for Bidirectional Model-to-Platform Transformations (AA, KS, SR, AS), pp. 124–143.
CASECASE-2012-KimCLK #fault #monitoring #process
Task-oriented synchronous error monitoring framework in robotic manufacturing process (HK, JC, SL, JK), pp. 485–490.
CASECASE-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.
CASECASE-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.
CASECASE-2012-LeeB #execution #lifecycle #simulation #using
Executable simulation lifecycle management framework using extensible and interoperable simulation language (HL, AB), pp. 237–242.
CASECASE-2012-Markovski
A process-theoretic state-based framework for live supervision (JM), pp. 680–685.
CASECASE-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.
CASECASE-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.
CASECASE-2012-YiLTW #scheduling
A new operational framework to job shop scheduling for reducing carbon emissions (QY, CL, YT, QW), pp. 58–63.
CCCC-2012-JimboreanMLC #named #program analysis
VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework (AJ, LM, VL, PC), pp. 220–239.
DACDAC-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.
DACDAC-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.
DATEDATE-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.
DATEDATE-2012-Al-HashimiM #hardware #platform #question #verification
Accelerators and emulators: Can they become the platform of choice for hardware verification? (BMAH, RM), p. 430.
DATEDATE-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.
DATEDATE-2012-CupaiuoloI #flexibility #implementation #performance #platform
A flexible and fast software implementation of the FFT on the BPE platform (TC, DLI), pp. 1467–1470.
DATEDATE-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.
DATEDATE-2012-LiDT #authentication #detection #hardware #self
A sensor-assisted self-authentication framework for hardware trojan detection (ML, AD, MT), pp. 1331–1336.
DATEDATE-2012-LiuFQ #manycore #platform
Neighbor-aware dynamic thermal management for multi-core platform (GL, MF, GQ), pp. 187–192.
DATEDATE-2012-MahmoodSD #linear #modelling #multi #performance
An efficient framework for passive compact dynamical modeling of multiport linear systems (ZM, RS, LD), pp. 1203–1208.
DATEDATE-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.
DATEDATE-2012-PanagopoulosAR #approach #hybrid #simulation
A framework for simulating hybrid MTJ/CMOS circuits: Atoms to system approach (GP, CA, KR), pp. 1443–1446.
DATEDATE-2012-VyagrheswaruduDR #interactive #named #optimisation #platform
PowerAdviser: An RTL power platform for interactive sequential optimizations (NV, SD, AR), pp. 550–553.
HPDCHPDC-2012-Budiu #artificial reality #big data #platform
Putting a “big-data” platform to good use: training kinect (MB), pp. 1–2.
HPDCHPDC-2012-GamellRPM #platform #power management
Exploring cross-layer power management for PGAS applications on the SCC platform (MG, IR, MP, RM), pp. 235–246.
HPDCHPDC-2012-MooreK #encapsulation #logic #performance
A resiliency model for high performance infrastructure based on logical encapsulation (JJM, CK), pp. 283–294.
PDPPDP-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.
PDPPDP-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.
PPoPPPPoPP-2012-HuynhHWG #multi #scalability #streaming
Scalable framework for mapping streaming applications onto multi-GPU systems (HPH, AH, WFW, RSMG), pp. 1–10.
PPoPPPPoPP-2012-JimboreanCPML #adaptation #parallel #performance
Adapting the polyhedral model as a framework for efficient speculative parallelization (AJ, PC, BP, LM, VL), pp. 295–296.
PPoPPPPoPP-2012-NollG #optimisation #parallel #source code
An infrastructure for dynamic optimization of parallel programs (AN, TRG), pp. 325–326.
PPoPPPPoPP-2012-SimDKV #analysis #identification #performance
A performance analysis framework for identifying potential benefits in GPGPU applications (JS, AD, HK, RWV), pp. 11–22.
ESOPESOP-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.
ESOPESOP-2012-LeeOCY #first-order #named
GMeta: A Generic Formal Metatheory Framework for First-Order Representations (GL, BCdSO, SC, KY), pp. 436–455.
FASEFASE-2012-BruniCGLV #adaptation #concept
A Conceptual Framework for Adaptation (RB, AC, FG, ALL, AV), pp. 240–254.
FASEFASE-2012-HatvaniPS #adaptation #automaton #embedded #verification
Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems (LH, PP, CCS), pp. 115–129.
FASEFASE-2012-MaggiMA #constraints #monitoring
An Operational Decision Support Framework for Monitoring Business Constraints (FMM, MM, WMPvdA), pp. 146–162.
TACASTACAS-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.
TACASTACAS-2012-HeussnerGS #communication #named #verification
McScM: A General Framework for the Verification of Communicating Machines (AH, TLG, GS), pp. 478–484.
TACASTACAS-2012-JegourelLS #model checking #performance #platform #statistics
A Platform for High Performance Statistical Model Checking — PLASMA (CJ, AL, SS), pp. 498–503.
TACASTACAS-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.
WRLAWRLA-2012-LucanuSR #𝕂
𝕂 Framework Distilled (DL, TFS, GR), pp. 31–53.
WRLAWRLA-2012-TushkanovaGRK #rule-based
A Rule-Based Framework for Building Superposition-Based Decision Procedures (ET, AG, CR, OK), pp. 221–239.
CAVCAV-2012-AlbarghouthiLGC #named #verification
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification (AA, YL, AG, MC), pp. 672–678.
ICSTICST-2012-CalvarTH #monitoring #runtime
A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments (JC, RTL, SH), pp. 499–508.
ICSTICST-2012-ChittimalliS #modelling #named #source code
GEMS: A Generic Model Based Source Code Instrumentation Framework (PKC, VS), pp. 909–914.
ICSTICST-2012-KauffmanK #industrial #research #testing
A Framework to Support Research in and Encourage Industrial Adoption of Regression Testing Techniques (JMK, GMK), pp. 907–908.
ICSTICST-2012-TranP #graph transformation #towards #verification
Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations (HNT, CP), pp. 946–953.
ICTSSICTSS-2012-MayerSWM #named #performance #testing
CaPTIF: Comprehensive Performance TestIng Framework (DAM, OS, SW, UM), pp. 55–70.
ICSTSAT-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.
TAPTAP-2012-CreignouES #random #satisfiability #specification
A Framework for the Specification of Random SAT and QSAT Formulas (NC, UE, MS), pp. 163–168.
VMCAIVMCAI-2012-SackZ #probability
A General Framework for Probabilistic Characterizing Formulae (JS, LZ), pp. 396–411.
CBSECBSE-2011-KoziolekR #component #modelling #optimisation #quality #towards
Towards a generic quality optimisation framework for component-based system models (AK, RHR), pp. 103–108.
CBSECBSE-2011-LoiretRSM #component #re-engineering
Software engineering of component-based systems-of-systems: a reference framework (FL, RR, LS, PM), pp. 61–66.
CBSECBSE-2011-MeloP #component #open source #recommendation
A component-based open-source framework for general-purpose recommender systems (FMM, ÁRPJ), pp. 67–72.
CBSECBSE-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.
ECSAECSA-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.
ECSAECSA-2011-EbadA #comparison #delivery
Software Packaging Approaches — A Comparison Framework (SAE, MAA), pp. 438–446.
ECSAECSA-2011-EhlersH #adaptation #component #monitoring #self
A Self-adaptive Monitoring Framework for Component-Based Software Systems (JE, WH), pp. 278–286.
ECSAECSA-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.
QoSAQoSA-ISARCS-2011-HauckKHR #named
Ginpex: deriving performance-relevant infrastructure properties through goal-oriented experiments (MH, MK, NH, RHR), pp. 53–62.
QoSAQoSA-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.
QoSAQoSA-ISARCS-2011-Perez-PalacinMM #adaptation #energy #self
Enhancing a QoS-based self-adaptive framework with energy management capabilities (DPP, RM, JM), pp. 165–170.
WICSAWICSA-2011-NewmanK #embedded #runtime
A Runtime Resource-Management Framework for Embedded Service-Oriented Systems (PN, GK), pp. 123–126.
WICSAWICSA-2011-PappuSS
A Supportability Framework (NP, SS, FS), pp. 137–146.
WICSAWICSA-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.
DocEngDocEng-2011-LuongLN #design #tool support
A framework with tools for designing web-based geographic applications (TNL, SL, TN), pp. 33–42.
DRRDRR-2011-EynardME #corpus #navigation
A framework to improve digital corpus uses: image-mode navigation (LE, VM, HE), pp. 1–10.
ICDARICDAR-2011-AroraN #recognition
A Semi-supervised SVM Framework for Character Recognition (AA, AMN), pp. 1105–1109.
ICDARICDAR-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.
JCDLJCDL-2011-NascimentoLSG #independence #recommendation #research
A source independent framework for research paper recommendation (CN, AHFL, ASdS, MAG), pp. 297–306.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2011-OlstonR #debugging #distributed #monitoring
Inspector gadget: a framework for custom monitoring and debugging of distributed dataflows (CO, BR), pp. 1221–1224.
SIGMODSIGMOD-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.
TPDLTPDL-2011-AgelliCRGMS #multi #platform #web
NotreDAM, a Multi-user, Web Based Digital Asset Management Platform (MA, MLC, MDR, DG, OM, FS), pp. 453–456.
TPDLTPDL-2011-BudikovaBZ #evaluation #image #platform #retrieval
Evaluation Platform for Content-Based Image Retrieval Systems (PB, MB, PZ), pp. 130–142.
TPDLTPDL-2011-DeclerckCMRB #corpus
A Text Technology Infrastructure for Annotating Corpora in the eHumanities (TD, UC, KM, CR, GB), pp. 457–460.
TPDLTPDL-2011-PearsonB #multi #named
CloudBooks: An Infrastructure for Reading on Multiple Devices (JSP, GB), pp. 488–492.
TPDLTPDL-2011-SimonJH
The YUMA Media Annotation Framework (RS, JJ, BH), pp. 434–437.
VLDBVLDB-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.
VLDBVLDB-2011-ChenVWOO #in the cloud
A Framework for Supporting DBMS-like Indexes in the Cloud (GC, HTV, SW, BCO, MTÖ), pp. 702–713.
VLDBVLDB-2011-KotsifakosPHG #sequence
A Subsequence Matching with Gaps-Range-Tolerances Framework: A Query-By-Humming Application (AK, PP, JH, DG), pp. 761–771.
VLDBVLDB-2011-OlstonR #debugging #distributed #monitoring
Inspector Gadget: A Framework for Custom Monitoring and Debugging of Distributed Dataflows (CO, BR), pp. 1237–1248.
CSEETCSEET-2011-KehrerACV #architecture
A software architecture orientation framework (TK, IA, AC, OV), p. 560.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2011-ChuaB
Integrating scholarly articles within e-learning courses: a framework (BBC, DVB), p. 392.
ITiCSEITiCSE-2011-CraigFFL #evaluation
Evaluation framework underpinning the digital divas programme (AC, JF, HF, CL), pp. 313–317.
ITiCSEITiCSE-2011-EganCT #evaluation
The academic enhancement program in introductory CS: a workshop framework description and evaluation (RE, DC, DMT), pp. 278–282.
ITiCSEITiCSE-2011-JourjonKY #platform
Impact of an e-learning platform on CSE lectures (GJ, SSK, JY), pp. 83–87.
SIGITESIGITE-2011-Li #concept #open source #using
Introducing virtualization management concepts using open source cloud infrastructure managers (PL), pp. 309–310.
SIGITESIGITE-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.
SIGITESIGITE-2011-RoweLH #assessment #identification #source code
An assessment framework for identifying information technology programs (DCR, BML, CRGH), pp. 123–128.
SCAMSCAM-J-2009-ClipshamMBM11 #development #multi
Proposing a multi-agency development framework (PC, EM, LB, PM), pp. 381–391.
ICPCICPC-2011-HouL #api #case study #using
Obstacles in Using Frameworks and APIs: An Exploratory Study of Programmers’ Newsgroup Discussions (DH, LL), pp. 91–100.
ICPCICPC-2011-Wu #api #evolution #modelling #multi #optimisation #problem
Modeling Framework API Evolution as a Multi-objective Optimization Problem (WW), pp. 262–265.
ICSMEICSM-2011-SahaRS #automation
An automatic framework for extracting and classifying near-miss clone genealogies (RKS, CKR, KAS), pp. 293–302.
WCREWCRE-2011-LammelLPV #dot-net
A Framework Profile of .NET (RL, RL, EP, AV), pp. 141–150.
RTARTA-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.
SEFMSEFM-2011-CrespoK #logic #relational
A Machine-Checked Framework for Relational Separation Logic (JMC, CK), pp. 122–137.
CoGCIG-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.
CoGCIG-2011-MunozYMHGS #game studies #platform #towards
Towards gaze-controlled platform games (JM, GNY, FM, DWH, GG, AS), pp. 47–54.
CoGCIG-2011-NygrenDSA #automation #game studies #generative #platform
User-preference-based automated level generation for platform games (NN, JD, BS, JA), pp. 55–62.
DiGRADiGRA-2011-HamariE #design #game studies
Framework for Designing and Evaluating Game Achievements (JH, VE).
DiGRADiGRA-2011-Schultheiss #game studies #research
MUsE - A Framework for Reception-based Gaming Research (DS).
CoGVS-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.
CoGVS-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.
CHICHI-2011-ChangL #migration #mobile #using
Deep shot: a framework for migrating tasks across devices using mobile phone cameras (THC, YL), pp. 2163–2172.
CHICHI-2011-Hincapie-RamosTB #named #volunteer
GridOrbit: an infrastructure awareness system for increasing contribution in volunteer computing (JDHR, AT, JEB), pp. 1899–1908.
CHICHI-2011-MuellerEVGABS #design #game studies
Designing sports: a framework for exertion games (FM, DE, FV, MRG, SA, BB, JGS), pp. 2651–2660.
CSCWCSCW-2011-BrubakerH11a #representation
SELECT * FROM USER: infrastructure and socio-technical representation (JRB, GRH), pp. 369–378.
CSCWCSCW-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.
HCIDHM-2011-HodgesUBHSK #platform
Second Life as a Platform for Creating Intelligent Virtual Agents (LFH, ACU, TB, ALH, JMS, BK), pp. 292–301.
HCIDHM-2011-KaklanisMMT #assessment #automation
A Framework for Automatic Simulated Accessibility Assessment in Virtual Environments (NK, PM, KM, DT), pp. 302–311.
HCIDUXU-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.
HCIHCD-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.
HCIHCI-DDA-2011-AbdullahAN #design #development #towards #user interface
Towards a Cognitive-Based User Interface Design Framework Development (NA, WAWA, NLMN), pp. 17–24.
HCIHCI-DDA-2011-AdikariMC #design #experience #user interface
A Design Science Framework for Designing and Assessing User Experience (SA, CM, JAC), pp. 25–34.
HCIHCI-DDA-2011-HornungB #concept #design #interactive #towards #web
Towards a Conceptual Framework for Interaction Design for the Pragmatic Web (HHH, MCCB), pp. 72–81.
HCIHCI-DDA-2011-Komischke #design #experience #user interface
The Impact of Rich Application Frameworks on User Experience Design (TK), pp. 92–97.
HCIHCI-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.
HCIHCI-DDA-2011-Richardson #design
Design and Rich Application Frameworks (KHR), pp. 131–135.
HCIHCI-DDA-2011-Sandnes #configuration management #image #scalability
A Configurable Photo Browser Framework for Large Image Collections (FES), pp. 643–652.
HCIHCI-ITE-2011-WuJMM
A Framework Interweaving Tangible Objects, Surfaces and Spaces (AW, JJ, SM, AM), pp. 148–157.
HCIHCI-MIIE-2011-Abril-JimenezVWAG #platform #user interface
User Interface Framework for Ambient Intelligence Platforms (PAJ, CVM, MTAW, HA, JRBG), pp. 129–136.
HCIHCI-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.
HCIHCI-MIIE-2011-ChaoFK #simulation
A Framework for Agent-Based Simulation in Tourism Planning (DC, KF, TK), pp. 280–287.
HCIHCI-UA-2011-HayakawaNOFN #learning #visualisation
Visualization Framework for Computer System Learning (EH, YN, HO, MF, YN), pp. 21–26.
HCIHCI-UA-2011-LuhC #geometry #platform #sketching
CAI Platform for Fundamental Geometric Training on Perspective Sketching (DBL, SNC), pp. 86–92.
HCIHIMI-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.
HCIIDGD-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.
HCIIDGD-2011-HsuLL #case study #design #development #process
A Study of Framework and Process Development for Cultural Product Design (CHH, CLL, RL), pp. 55–64.
HCIIDGD-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.
HCIOCSC-2011-LeeTYW
An M-Pill Framework in the Electronic Healthcare (NCL, HT, AY, JW), pp. 213–218.
CAiSECAiSE-2011-LemaitreH #database #evaluation #fault #quality #taxonomy #using
Quality Evaluation and Improvement Framework for Database Schemas — Using Defect Taxonomies (JL, JLH), pp. 536–550.
CAiSECAiSE-2011-LiuSJMC #design
A Design of Business-Technology Alignment Consulting Framework (KL, LS, DJ, VM, SC), pp. 422–435.
CAiSECAiSE-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.
CAiSECAiSE-2011-WeigandJAAB #design
Management Services — A Framework for Design (HW, PJ, BA, JJA, MB), pp. 582–596.
EDOCEDOC-2011-AgaramL #development #independence
An Engine-Independent Framework for Business Rules Development (MKA, CL), pp. 75–84.
EDOCEDOC-2011-BalinskyPS
System Call Interception Framework for Data Leak Prevention (HB, DSP, SJS), pp. 139–148.
EDOCEDOC-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.
ICEISICEIS-J-2011-BorekHGP
IS/IT Resources and Business Value: Operationalization of an Information Oriented Framework (AB, MH, MG, AKP), pp. 420–434.
ICEISICEIS-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.
ICEISICEIS-J-2011-Schulte11a #collaboration #distributed #information management
A Service-Oriented Framework for Distributed Collaborative Knowledge Work (JS), pp. 405–419.
ICEISICEIS-v1-2011-DiEM #platform #research
Research and Application of Carrier-grade Mashup Platform on OneAPI (JD, HE, LM), pp. 504–509.
ICEISICEIS-v1-2011-JiG #process #research
Research Process Oriented Intelligent Decision Support System Framework (YJ, JG), pp. 534–538.
ICEISICEIS-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.
ICEISICEIS-v1-2011-LingEL #internet #mobile
A New Framework of Location-based Services in Mobile Internet (XL, HE, LL), pp. 539–544.
ICEISICEIS-v1-2011-LiuEK #convergence #platform #web
A Cloud Telecom Open Platform for Converging IMS and Web 2.0 (LL, HE, XK), pp. 545–549.
ICEISICEIS-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.
ICEIS