BibSLEIGH — model stem

Used together with:

base (2166)
use (1456)
system (1419)
check (983)
softwar (879)

Stem model$ (all stems)

12774 papers:

CBSE-2015-EscoffierLG #component #mobile: A Component Model to Manage the Heterogeneity and Dynamism in Mobile Applications (CE, PL, OG), pp. 85–90.
CBSE-2015-KramerLMSB #architecture #component #consistency #contract #modelling: Change-Driven Consistency for Component Code, Architectural Models, and Contracts (MEK, ML, DM, SS, EB), pp. 21–26.
CBSE-2015-LanoreP #component #configuration management: A Reconfigurable Component Model for HPC (VL, CP), pp. 1–10.
CBSE-2015-RamachandranDPM #network: Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks (GSR, WD, JP, SM, WJ, DH, BP), pp. 43–48.
ECSA-2015-PahlJ #architecture #formal method #modelling #roadmap #towards: Software Architecture for the Cloud — A Roadmap Towards Control-Theoretic, Model-Based Cloud Architecture (CP, PJ), pp. 212–220.
ECSA-2015-PautassoIS #diagrams #modelling #rest: Modeling RESTful Conversations with Extended BPMN Choreography Diagrams (CP, AI, SS), pp. 87–94.
ECSA-2015-StierKGR #analysis #architecture #energy #modelling #performance: Model-Based Energy Efficiency Analysis of Software Architectures (CS, AK, HG, RHR), pp. 221–238.
ECSA-2015-TahriDP #architecture #deployment #distributed #feature model #modelling #smarttech #using: Using Feature Models for Distributed Deployment in Extended Smart Home Architecture (AT, LD, JP), pp. 285–293.
ECSA-2015-TrubianiGE #analysis #architecture #modelling #nondeterminism #performance #traceability: Exploiting Traceability Uncertainty Between Software Architectural Models and Performance Analysis Results (CT, AG, AE), pp. 305–321.
QoSA-2015-AlzahraniP #aspect-oriented #fault tolerance #modelling #reuse: Modeling Fault Tolerance Tactics with Reusable Aspects (NAMA, DCP), pp. 43–52.
QoSA-2015-ArcelliCFL #adaptation #modelling: Control Theory for Model-based Performance-driven Software Adaptation (DA, VC, AF, AL), pp. 11–20.
QoSA-2015-IzurietaRG #modelling #quality #technical debt: Preemptive Management of Model Driven Technical Debt for Improving Software Quality (CI, GR, IG), pp. 31–36.
QoSA-2015-Kramer #approach #consistency #generative #modelling #multi: A Generative Approach to Change-Driven Consistency in Multi-View Modeling (MEK), pp. 129–134.
QoSA-2015-WuLG #architecture #modelling #performance: Exploring Performance Models of Hadoop Applications on Cloud Architecture (XW, YL, IG), pp. 93–101.
WICSA-2015-BarnettVT #architecture #concept #mobile: A Conceptual Model for Architecting Mobile Applications (SB, RV, AT), pp. 105–114.
WICSA-2015-HauptLP #api #approach #modelling #rest: A Conversation Based Approach for Modeling REST APIs (FH, FL, CP), pp. 165–174.
WICSA-2015-ZimmermannWKG #architecture #in the cloud #modelling #problem: Architectural Decision Guidance Across Projects — Problem Space Modeling, Decision Backlog Management and Cloud Computing Knowledge (OZ, LW, HK, TG), pp. 85–94.
CASE-2015-AicherRV #abstraction #automation #simulation #towards #verification: Towards finding the appropriate level of abstraction to model and verify automated production systems in discrete event simulation (TA, SR, BVH), pp. 1048–1053.
CASE-2015-ArdakaniORJ #generative #predict #realtime #using: Real-time trajectory generation using model predictive control (MMGA, BO, AR, RJ), pp. 942–948.
CASE-2015-BaeM #markov #modelling #multi #random: Markovian modeling of multiclass deterministic flow lines with random arrivals: The case of a single-channel (SYB, JRM), pp. 649–654.
CASE-2015-BasileCC #identification #modelling #petri net #realtime: Real time identification of Time Petri net faulty models (FB, PC, JC), pp. 280–285.
CASE-2015-CarmenateRLBM #analysis #approach #behaviour #energy #modelling #using: Modeling and analyzing occupant behaviors in building energy analysis using an information space approach (TC, MMR, DL, LB, AM), pp. 425–431.
CASE-2015-ChengTLCH #algorithm #modelling #network #optimisation: Modeling and optimizing tensile strength and yield point on steel bar by artificial neural network with evolutionary algorithm (CKC, JTT, TTL, JHC, KSH), pp. 1562–1563.
CASE-2015-David-HenrietRH #constraints #modelling: Modeling and control for (max, +)-linear systems with set-based constraints (XDH, JR, LH, BC), pp. 1369–1374.
CASE-2015-HaufMPF #energy #modelling: Energy consumption modeling within the virtual commissioning tool chain (DH, DM, P, JF), pp. 1357–1362.
CASE-2015-HayakawaI #fault #linear #reduction: GPS error range reduction method based on linear kinematic model (TH, MI), pp. 1515–1520.
CASE-2015-Houssin #problem: An exension of the heap of pieces model for the Cyclic Jobshop Problem (LH), pp. 1182–1187.
CASE-2015-HuangCZ #modelling: Interval model based human welder’s movement control in machine assisted manual GTAW torch operation (NH, SC, YZ), pp. 395–400.
CASE-2015-JiangDZZ #formal method #mobile #modelling #verification: Formal modeling and verification of secure mobile agent systems (MJ, ZD, MZ, YZ), pp. 545–550.
CASE-2015-KamraA #integer #multi #programming: A mixed integer programming model for timed deliveries in multirobot systems (NK, NA), pp. 612–617.
CASE-2015-KanY #image #modelling #monitoring #network: Network models for monitoring high-dimensional image profiles (CK, HY), pp. 1078–1083.
CASE-2015-KloetzerM #modelling #multi #petri net: Accomplish multi-robot tasks via Petri net models (MK, CM), pp. 304–309.
CASE-2015-LaskeyMMPPBKAG #2d #modelling #multi #nondeterminism: Multi-armed bandit models for 2D grasp planning with uncertainty (ML, JM, ZM, FTP, SP, JPvdB, DK, PA, KG), pp. 572–579.
CASE-2015-LinHWC #development #multitenancy #novel #tool support: Development of a novel cloud-based multi-tenant model creation scheme for machine tools (YCL, MHH, CFW, FTC), pp. 1448–1449.
CASE-2015-LinSPV #modelling #order: A SysML profile supporting change orders in model driven engineering (HYL, SS, NP, VV), pp. 1054–1059.
CASE-2015-LiS #parallel: A parallel computing model for container terminal logistics (BL, WS), pp. 267–273.
CASE-2015-LiuY #modelling #predict #self: A self-organizing method for predictive modeling with highly-redundant variables (GL, HY), pp. 1084–1089.
CASE-2015-LiuZ #adaptation #human-computer #modelling #predict #process: Adaptive predictive ANFIS based human arm movement modeling and control in machine-human cooperative GTAW process (YL, YZ), pp. 1465–1470.
CASE-2015-LuanH #3d #geometry #modelling #predict: Predictive modeling of in-plane geometric deviation for 3D printed freeform products (HL, QH), pp. 912–917.
CASE-2015-LuoCCOLL #fault #geometry #locality #modelling: Enhancement of weld coverage and localization of defect through geometrical modeling for ultrasound inspection of TKY weld (HL, QHC, WSC, ETO, WJL, WL), pp. 1484–1489.
CASE-2015-LuoZHZ #modelling #synthesis: Discrete-event controller synthesis based on state space models (JL, QZ, YSH, MZ), pp. 87–92.
CASE-2015-LuTZ #assessment #design #estimation #industrial #modelling: Model-based temperature estimation methods in design of industrial manipulator and their assessment (QL, GT, JZ), pp. 1242–1248.
CASE-2015-LyuWC #algorithm #heuristic #integer #programming: Mixed integer programming model and heuristic algorithm for production planning of continuous casting and hot rolling (ML, ZW, FTSC), pp. 1503–1508.
CASE-2015-MoradUHCPV #flexibility #modelling: Modelling and control of a water jet cutting probe for flexible surgical robot (SM, CU, PH, JC, KP, RV), pp. 1159–1164.
CASE-2015-NguyenWKLH #geometry #modelling #predict: Predictive models for the geometrical characteristics of channels milled by abrasive waterjet (TDN, JW, NMK, HL, QPH), pp. 1459–1464.
CASE-2015-NonakaSLNKK #analysis #simulation #statistics: The S-Model: A digital manufacturing system combined with autonomous statistical analysis and autonomous discrete-event simulation for smart manufacturing (YN, YS, AL, SN, KK, YK), pp. 1006–1011.
CASE-2015-ParisACAR #behaviour #learning #markov #smarttech #using: Using Hidden Semi-Markov Model for learning behavior in smarthomes (AP, SA, NC, AEA, NR), pp. 752–757.
CASE-2015-QiuZL #modelling: Visible light communication-based indoor environment modeling and metric-free path planning (KQ, FZ, ML), pp. 200–205.
CASE-2015-ReisgenLMBW #modelling #process #quality: Process control of gas metal arc welding processes by optical weld pool observation with combined quality models (UR, PL, SM, GB, KW), pp. 407–410.
CASE-2015-RoyelYLLH #identification #optimisation #parametricity #using: A hysteresis model and parameter identification for MR pin joints using immune particle swarm optimization (SR, YY, YL, JL, QPH), pp. 1319–1324.
CASE-2015-SabbaghiHD #3d #modelling #quality: Bayesian additive modeling for quality control of 3D printed products (AS, QH, TD), pp. 906–911.
CASE-2015-Schwung #automaton #cyber-physical #hybrid #modelling #using: Cyber-physical modeling of compression systems using hybrid automata (AS), pp. 1125–1130.
CASE-2015-SikstromCL #case study #feedback #modelling: Model based feedback control of gas tungsten arc welding — An experimental study (FS, AKC, BL), pp. 411–416.
CASE-2015-SongLBKNSSC #cyber-physical #industrial #integration #modelling #process: Model-based cyber-physical system integration in the process industry (ZS, PL, RB, WK, SN, SS, LS, AC), pp. 1012–1017.
CASE-2015-SrinivasanBSSR #automation #machine learning #modelling #network #using: Modelling time-varying delays in networked automation systems with heterogeneous networks using machine learning techniques (SS, FB, GS, BS, SR), pp. 362–368.
CASE-2015-SundarkumarRNG #api #detection #machine learning #modelling #topic: Malware detection via API calls, topic models and machine learning (GGS, VR, IN, VG), pp. 1212–1217.
CASE-2015-TsaiCLT #modelling: Dynamic modeling and vibration suppression of the feed drive system (MST, SJC, CCL, PYT), pp. 106–110.
CASE-2015-UeharaHK #modelling #petri net: Mesoscopic modeling of airport surface by object Petri nets (KU, KH, KK), pp. 298–303.
CASE-2015-WangZ #modelling #predict #simulation: A prediction method for interior temperature of grain storage via dynamics models: A simulation study (DW, XZ), pp. 1477–1483.
CASE-2015-YeCC #bibliography #energy #modelling #simulation: Metal-based addictive manufacturing: A literature review on modeling, simulation and energy consumption (QY, SC, QC), pp. 218–224.
CASE-2015-ZakharovZYJ #algorithm #configuration management #distributed #fault tolerance #optimisation #performance #predict: A performance optimization algorithm for controller reconfiguration in fault tolerant distributed model predictive control (AZ, EZ, MY, SLJJ), pp. 886–891.
CASE-2015-ZhongLBM #analysis #modelling: Modeling and analysis of e-visits in primary care (XZ, JL, PAB, AJM), pp. 955–960.
CASE-2015-ZhuLTL #energy: A comprehensive energy model for CNC machining (YZ, CL, YT, LL), pp. 27–32.
CASE-2015-ZhuQZ #clustering #modelling #multi #petri net #scheduling #tool support: Petri net modeling and one-wafer scheduling of single-arm tree-like multi-cluster tools (QZ, YQ, MZ), pp. 292–297.
DAC-2015-BalajiFDGA #abstraction #architecture #cyber-physical #modelling: Models, abstractions, and architectures: the missing links in cyber-physical systems (BB, MAAF, NDD, RKG, YA), p. 6.
DAC-2015-BockHKS #algorithm #modelling: Local search algorithms for timing-driven placement under arbitrary delay models (AB, SH, NK, US), p. 6.
DAC-2015-BuiniPG #automation #cyber-physical #design #modelling #physics #variability: Including variability of physical models into the design automation of cyber-physical systems (HMB, SP, TG), p. 6.
DAC-2015-ChaariENTK #approach #modelling #safety: A model-based and simulation-assisted FMEDA approach for safety-relevant E/E systems (MC, WE, CN, BAT, TK), p. 6.
DAC-2015-ChenSC #flexibility: A SPICE model of flexible transition metal dichalcogenide field-effect transistors (YYC, ZS, DC), p. 6.
DAC-2015-ChenTSHK #analysis #modelling #multi #reliability: Interconnect reliability modeling and analysis for multi-branch interconnect trees (HBC, SXDT, VS, XH, TK), p. 6.
DAC-2015-HuangFYZL #estimation #multi #performance: Efficient multivariate moment estimation via Bayesian model fusion for analog and mixed-signal circuits (QH, CF, FY, XZ, XL), p. 6.
DAC-2015-KagalwallaG #effectiveness #modelling #reduction: Effective model-based mask fracturing for mask cost reduction (AAK, PG), p. 6.
DAC-2015-KrishnaNRT #analysis #composition #modelling #product line: Compositional modeling and analysis of automotive feature product lines (SNK, GKN, SR, AT), p. 6.
DAC-2015-MundhenkSLFC #analysis #architecture #model checking #probability #security #using: Security analysis of automotive architectures using probabilistic model checking (PM, SS, ML, SAF, SC), p. 6.
DAC-2015-NishimiyaSS #evaluation #functional #interface #mockup #modelling #network: Evaluation of functional mock-up interface for vehicle power network modeling (KN, TS, SS), p. 6.
DAC-2015-PetersWPKD #constraints #modelling #representation #uml: A generic representation of CCSL time constraints for UML/MARTE models (JP, RW, NP, UK, RD), p. 6.
DAC-2015-PetrenkoTR #challenge #modelling #testing: Model-based testing of automotive software: some challenges and solutions (AP, ONT, SR), p. 6.
DAC-2015-TziantzioulisGF #correlation #fault #float #integer #named: b-HiVE: a bit-level history-based error model with value correlation for voltage-scaled integer and floating point units (GT, AMG, SMF, NH, SOM, SP), p. 6.
DAC-2015-XuLP #adaptation #modelling #physics #statistics #using: Adaptive characterization and emulation of delay-based physical unclonable functions using statistical models (TX, DL, MP), p. 6.
DAC-2015-YuJTSS #challenge #integration #modelling: The challenge of interoperability: model-based integration for automotive control software (HY, PJ, JPT, SKS, SS), p. 6.
DATE-2015-AndradeMVAPL #analysis #data flow #modelling: Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation (LA, TM, AV, CBA, FP, MML), pp. 1671–1676.
DATE-2015-BiondiB #analysis #modelling: Engine control: task modeling and analysis (AB, GCB), pp. 525–530.
DATE-2015-BurnsSY #modelling #synthesis #verification: GALS synthesis and verification for xMAS models (FPB, DS, AY), pp. 1419–1424.
DATE-2015-ChangD #analysis #model checking #modelling #using: May-happen-in-parallel analysis of ESL models using UPPAAL model checking (CWC, RD), pp. 1567–1570.
DATE-2015-ChenYQFM #evaluation #model checking #scheduling #statistics #using: Variation-aware evaluation of MPSoC task allocation and scheduling strategies using statistical model checking (MC, DY, XQ, XF, PM), pp. 199–204.
DATE-2015-DaneseGP #automation #behaviour #execution #modelling: Automatic extraction of assertions from execution traces of behavioural models (AD, TG, GP), pp. 67–72.
DATE-2015-DarkeCVSM #approximate #bound #model checking #using: Over-approximating loops to prove properties using bounded model checking (PD, BC, RV, US, RM), pp. 1407–1412.
DATE-2015-DghaisR #empirical #modelling #simulation: Empirical modelling of FDSOI CMOS inverter for signal/power integrity simulation (WD, JR), pp. 1555–1558.
DATE-2015-DoustiPP #generative #modelling: Accurate electrothermal modeling of thermoelectric generators (MJD, AP, MP), pp. 1603–1606.
DATE-2015-FangHYZLG #estimation #fault #performance: Efficient bit error rate estimation for high-speed link by Bayesian model fusion (CF, QH, FY, XZ, XL, CG), pp. 1024–1029.
DATE-2015-FuggerNNS #modelling #physics #towards: Towards binary circuit models that faithfully capture physical solvability (MF, RN, TN, US), pp. 1455–1460.
DATE-2015-GoncalvesLCTCB #algorithm #modelling #performance #reduction: A fast spatial variation modeling algorithm for efficient test cost reduction of analog/RF circuits (HRG, XL, MVC, VT, JMCJ, KMB), pp. 1042–1047.
DATE-2015-HoqueMS #analysis #approach #maintenance #model checking #probability #reliability #towards: Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking (KAH, OAM, YS), pp. 1635–1640.
DATE-2015-JoostenS #architecture #automation #communication #design #modelling: Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs (SJCJ, JS), pp. 1413–1418.
DATE-2015-KimFPSL #framework #implementation #modelling #verification: Platform-specific timing verification framework in model-based implementation (BK, LF, LTXP, OS, IL), pp. 235–240.
DATE-2015-KobbeBH #adaptation #modelling #on the fly #performance: Adaptive on-the-fly application performance modeling for many cores (SK, LB, JH), pp. 730–735.
DATE-2015-LiaperdosSATAL #deployment #performance #using: Fast deployment of alternate analog test using Bayesian model fusion (JL, HGDS, LA, YT, AA, XL), pp. 1030–1035.
DATE-2015-LiJHWCGLKW #design #optimisation #using: Variation-aware, reliability-emphasized design and optimization of RRAM using SPICE model (HL, ZJ, PH, YW, HYC, BG, XYL, JFK, HSPW), pp. 1425–1430.
DATE-2015-MohammadiGM #fault #modelling: Fault modeling in controllable polarity silicon nanowire circuits (HGM, PEG, GDM), pp. 453–458.
DATE-2015-NguyenASS #gpu #simulation: Accelerating complex brain-model simulations on GPU platforms (HADN, ZAA, GS, CS), pp. 974–979.
DATE-2015-NiemannHGW #formal method #generative #modelling: Assisted generation of frame conditions for formal models (PN, FH, MG, RW), pp. 309–312.
DATE-2015-PaganiCSH #modelling #named #performance: MatEx: efficient transient and peak temperature computation for compact thermal models (SP, JJC, MS, JH), pp. 1515–1520.
DATE-2015-PoplavkoSBBB #execution #modelling #multi #realtime: Models for deterministic execution of real-time multiprocessor applications (PP, DS, PB, SB, MB), pp. 1665–1670.
DATE-2015-PorembaMLVX #3d #modelling #named: DESTINY: a tool for modeling emerging 3D NVM and eDRAM caches (MP, SM, DL, JSV, YX), pp. 1543–1546.
DATE-2015-RaiT #manycore #modelling: A calibration based thermal modeling technique for complex multicore systems (DR, LT), pp. 1138–1143.
DATE-2015-VijayakumarK #design #modelling #novel: A novel modeling attack resistant PUF design based on non-linear voltage transfer characteristics (AV, SK), pp. 653–658.
DATE-2015-Weis0ESVGKW #fault #metric #modelling: Retention time measurements and modelling of bit error rates of WIDE I/O DRAM in MPSoCs (CW, MJ, PE, CS, PV, SG, MK, NW), pp. 495–500.
DocEng-2015-BarabucciBIMM #detection #documentation #modelling #visualisation: Document Changes: Modeling, Detection, Storage and Visualization (DChanges 2015) (GB, UMB, ADI, SM, EVM), pp. 227–228.
DRR-2015-ChenSWLHI #analysis #dataset #documentation #layout: Ground truth model, tool, and dataset for layout analysis of historical documents (KC, MS, HW, ML, JH, RI), p. 940204.
HT-2015-HuynhLM #process #twitter: A Dynamical Model of Twitter Activity Profiles (HNH, EFTL, CPM), pp. 49–57.
PODS-2015-BeameBGS #first-order #symmetry: Symmetric Weighted First-Order Model Counting (PB, GVdB, EG, DS), pp. 313–328.
SIGMOD-2015-DongS #challenge #modelling: Knowledge Curation and Knowledge Fusion: Challenges, Models and Applications (XLD, DS), pp. 2063–2066.
SIGMOD-2015-HeimelKM #estimation #kernel #modelling #multi #self: Self-Tuning, GPU-Accelerated Kernel Density Models for Multidimensional Selectivity Estimation (MH, MK, VM), pp. 1477–1492.
SIGMOD-2015-KumarNP #learning #linear #modelling #normalisation: Learning Generalized Linear Models Over Normalized Data (AK, JFN, JMP), pp. 1969–1984.
SIGMOD-2015-PrasadFGMLXHR #data transfer #distributed #performance #predict #scalability: Large-scale Predictive Analytics in Vertica: Fast Data Transfer, Distributed Model Creation, and In-database Prediction (SP, AF, VG, JM, JL, VX, MH, IR), pp. 1657–1668.
SIGMOD-2015-SahaSSVMC #framework #modelling: Apache Tez: A Unifying Framework for Modeling and Building Data Processing Applications (BS, HS, SS, GV, ACM, CC), pp. 1357–1369.
VLDB-2015-AkidauBCCFLMMPS #approach #bound #correctness #data flow #latency: The Dataflow Model: A Practical Approach to Balancing Correctness, Latency, and Cost in Massive-Scale, Unbounded, Out-of-Order Data Processing (TA, RB, CC, SC, RFM, RL, SM, DM, FP, ES, SW), pp. 1792–1803.
VLDB-2015-KhanC #graph #modelling #nondeterminism #on the #query: On Uncertain Graphs Modeling and Queries (AK, LC), pp. 2042–2053.
CSEET-2015-Budgen #education: Applying the SE2014 Curriculum Model (DB), pp. 17–20.
ITiCSE-2015-BrindaKHR #object-oriented #programming #towards: Towards a Competency Model for Object-Oriented Programming (TB, MK, PH, AR), p. 345.
ITiCSE-2015-Meerbaum-Salant #industrial: “Computer Science, Academia and Industry” as pedagogical model to enhance Computational thinking (OMS, BH, SP), p. 341.
FASE-2015-ArcelliCT #fuzzy #refactoring: Performance-Based Software Model Refactoring in Fuzzy Contexts (DA, VC, CT), pp. 149–164.
FASE-2015-CanalS #adaptation #communication #modelling: Model-Based Adaptation of Software Communicating via FIFO Buffers (CC, GS), pp. 252–266.
FASE-2015-DaniaC #modelling #reasoning: Model-Based Formal Reasoning about Data-Management Applications (CD, MC), pp. 218–232.
FASE-2015-FedyukovichDHS #bound #dependence #detection #model checking: Symbolic Detection of Assertion Dependencies for Bounded Model Checking (GF, ACD, AEJH, NS), pp. 186–201.
FASE-2015-GomezTSC #modelling #persistent #scalability: Map-Based Transparent Persistence for Very Large Models (AG, MT, GS, JC), pp. 19–34.
FASE-2015-SalayC #framework #modelling: A Generalized Formal Framework for Partial Modeling (RS, MC), pp. 133–148.
FASE-2015-StruberRCT #approach #model transformation #performance #reuse #variability: A Variability-Based Approach to Reusable and Efficient Model Transformations (DS, JR, MC, GT), pp. 283–298.
FoSSaCS-2015-GrelloisM #linear #logic: An Infinitary Model of Linear Logic (CG, PAM), pp. 41–55.
TACAS-2015-AbdullaAAJLS #model checking: Stateless Model Checking for TSO and PSO (PAA, SA, MFA, BJ, CL, KFS), pp. 353–367.
TACAS-2015-CimattiGMT #hybrid #model checking #named #smt: HyComp: An SMT-Based Model Checker for Hybrid Systems (AC, AG, SM, ST), pp. 52–67.
TACAS-2015-DuggiralaMVP #modelling #named #verification: C2E2: A Verification Tool for Stateflow Models (PSD, SM, MV, MP), pp. 68–82.
TACAS-2015-GiacobbeGGHPP #model checking #network: Model Checking Gene Regulatory Networks (MG, CCG, AG, TAH, TP, TP), pp. 469–483.
TACAS-2015-HansenWCNK #model checking #semantics #statistics: Semantic Importance Sampling for Statistical Model Checking (JPH, LW, SC, DdN, MHK), pp. 241–255.
TACAS-2015-KantLMPBD #independence #model checking #named: LTSmin: High-Performance Language-Independent Model Checking (GK, AL, JM, JvdP, SB, TvD), pp. 692–707.
TACAS-2015-KriouileS #formal method #using #verification: Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip (AK, WS), pp. 708–722.
TACAS-2015-MolnarDVB #incremental #induction #ltl #model checking #proving: Saturation-Based Incremental LTL Model Checking with Inductive Proofs (VM, DD, AV, TB), pp. 643–657.
TACAS-2015-RenaultDKP #automaton #model checking #parallel: Parallel Explicit Model Checking for Generalized Büchi Automata (ER, ADL, FK, DP), pp. 613–627.
TACAS-2015-Thierry-Mieg #model checking #using: Symbolic Model-Checking Using ITS-Tools (YTM), pp. 231–237.
SCAM-J-2013-CeruloPBCC15 #detection #markov #named: Irish: A Hidden Markov Model to detect coded information islands in free text (LC, MDP, AB, MC, GC), pp. 26–43.
ICPC-2015-RomanelliML #modelling #towards #visual notation: Towards visual reflexion models (MR, AM, ML), pp. 277–280.
ICPC-2015-SaeidiHKJ #analysis #interactive #modelling #named #source code #topic: ITMViz: interactive topic modeling for source code analysis (AS, JH, RK, SJ), pp. 295–298.
ICSME-2015-CorleyKK #feature model #modelling #topic: Modeling changeset topics for feature location (CSC, KLK, NAK), pp. 71–80.
ICSME-2015-Verebi #approach #modelling #refactoring: A model-based approach to software refactoring (IV), pp. 606–609.
ICSME-2015-WangPV #corpus #mining #scalability: Developing a model of loop actions by mining loop characteristics from a large code corpus (XW, LLP, KVS), pp. 51–60.
MSR-2015-AltingerSDW #dataset #embedded #fault #industrial #modelling #novel #predict: A Novel Industry Grade Dataset for Fault Prediction Based on Model-Driven Developed Automotive Embedded Software (HA, SS, YD, FW), pp. 494–497.
MSR-2015-HellendoornDB #modelling: Will They Like This? Evaluating Code Contributions with Language Models (VH, PTD, AB), pp. 157–167.
SANER-2015-Erfani #metamodelling #ontology #towards: Towards an ontology-based context-aware meta-model for the software domain (ME), pp. 605–606.
SANER-2015-GarzonAL #development #framework #modelling #named #object-oriented: Umple: A framework for Model Driven Development of Object-Oriented Systems (MG, HIA, TCL), pp. 494–498.
SANER-2015-HeroldEBCC #detection #modelling: Detection of violation causes in reflexion models (SH, ME, JB, SC, MÓC), pp. 565–569.
SANER-2015-HuSLL #development #evolution #modelling #topic #using: Modeling the evolution of development topics using Dynamic Topic Models (JH, XS, DL, BL), pp. 3–12.
SANER-2015-LadanyiTFK #quality: A software quality model for RPG (GL, ZT, RF, TK), pp. 91–100.
SANER-2015-LemmaLM #modelling #named: CEL: Touching software modeling in essence (RL, ML, AM), pp. 439–448.
SANER-2015-LityBS #incremental #product line #slicing #towards: Towards incremental model slicing for delta-oriented software product lines (SL, HB, IS), pp. 530–534.
SANER-2015-NayrollesHTL #approach #debugging #model checking #named #using: JCHARMING: A bug reproduction approach using crash traces and directed model checking (MN, AHL, ST, AL), pp. 101–110.
SANER-2015-SharmaTL #automation #identification #named #twitter: NIRMAL: Automatic identification of software relevant tweets leveraging language model (AS, YT, DL), pp. 449–458.
SCAM-2015-RaposSAC #named #navigation: SimNav: Simulink navigation of model clone classes (EJR, AS, MHA, JRC), pp. 241–246.
SCAM-2015-RenatusBE #modelling #security #using: Improving prioritization of software weaknesses using security models with AVUS (SR, CB, JE), pp. 259–264.
PLDI-2015-Huang #concurrent #model checking #reduction #source code: Stateless model checking concurrent programs with maximal causality reduction (JH), pp. 165–174.
PLDI-2015-KangHMGZV #c #memory management: A formal C memory model supporting integer-pointer casts (JK, CKH, WM, DG, SZ, VV), pp. 326–335.
PLDI-2015-KoskinenP #transaction: The Push/Pull model of transactions (EK, MJP), pp. 186–195.
PLDI-2015-LuciaR #execution #programming: A simpler, safer programming and execution model for intermittent systems (BL, BR), pp. 575–585.
PLDI-2015-ZhangKW #memory management #modelling #partial order #reduction: Dynamic partial order reduction for relaxed memory models (NZ, MK, CW), pp. 250–259.
STOC-2015-Bresler #graph #learning #modelling: Efficiently Learning Ising Models on Arbitrary Graphs (GB), pp. 771–782.
STOC-2015-MosselNS #consistency: Consistency Thresholds for the Planted Bisection Model (EM, JN, AS), pp. 69–75.
CIAA-2015-Bollig #automaton #concurrent #logic #modelling: Automata and Logics for Concurrent Systems: Five Models in Five Pages (BB), pp. 3–12.
DLT-2015-CzybaST #automaton #finite #infinity #modelling: Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change (CC, CS, WT), pp. 203–214.
ICALP-v2-2015-LahavV #memory management #modelling #reasoning: Owicki-Gries Reasoning for Weak Memory Models (OL, VV), pp. 311–323.
LATA-2015-Salem #automaton #ltl #model checking #testing: Single-Pass Testing Automata for LTL Model Checking (AEBS), pp. 563–576.
FM-2015-0001K #bound #model checking #using: Property-Driven Fence Insertion Using Reorder Bounded Model Checking (SJ, DK), pp. 291–307.
FM-2015-ChimdyalwarDCVC #abstraction #bound #model checking #static analysis #using: Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking (BC, PD, AC, SV, AC), pp. 573–576.
FM-2015-ConchonMZ #model checking: Certificates for Parameterized Model Checking (SC, AM, FZ), pp. 126–142.
FM-2015-DerrickS #correctness #framework #memory management #modelling: A Framework for Correctness Criteria on Weak Memory Models (JD, GS), pp. 178–194.
FM-2015-DurandS #formal method #framework #generative #named: Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems (WD, SS), pp. 577–580.
FM-2015-FengHTZ #model checking #named #protocol #quantum #source code: QPMC: A Model Checker for Quantum Programs and Protocols (YF, EMH, AT, LZ), pp. 265–272.
FM-2015-KroeningLW #automaton #bound #model checking #proving #safety: Proving Safety with Trace Automata and Bounded Model Checking (DK, ML, GW), pp. 325–341.
FM-2015-KuritaIA #documentation #evolution #formal method #mobile #modelling: Practices for Formal Models as Documents: Evolution of VDM Application to “Mobile FeliCa” IC Chip Firmware (TK, FI, KA), pp. 593–596.
FM-2015-Lecomte #modelling #verification: Formal Virtual Modelling and Data Verification for Supervision Systems (TL), pp. 597–600.
FM-2015-Nakajima #behaviour #energy #maude #realtime #using: Using Real-Time Maude to Model Check Energy Consumption Behavior (SN), pp. 378–394.
FM-2015-SafilianMD #feature model #formal method #modelling #semantics: The Semantics of Cardinality-Based Feature Models via Formal Languages (AS, TSEM, ZD), pp. 453–469.
FM-2015-SchneiderLW #modelling #problem #validation: Model-Based Problem Solving for University Timetable Validation and Improvement (DS, ML, TW), pp. 487–495.
FM-2015-ZhuYGZZZ #data flow #graph #model checking #scheduling: Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking (XZ, RY, YLG, JZ, WZ, GZ), pp. 551–569.
SEFM-2015-NicolaMPST #interactive #interpreter #modelling #twitter: Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter (RDN, AM, MP, AS, FT), pp. 327–343.
SEFM-2015-RochaBC #bound #c #generative #memory management #model checking #source code #testing #using: Memory Management Test-Case Generation of C Programs Using Bounded Model Checking (HR, RSB, LCC), pp. 251–267.
SEFM-2015-RockaiSB #c #c++ #model checking: Techniques for Memory-Efficient Model Checking of C and C++ Code (PR, VS, JB), pp. 268–282.
SEFM-2015-SavaryFLL #modelling #robust #testing #using: Model-Based Robustness Testing in Event-B Using Mutation (AS, MF, ML, JLL), pp. 132–147.
SFM-2015-Alglave #architecture #modelling: Modeling of Architectures (JA), pp. 97–145.
GaM-2015-HeussnerPCM #concurrent #graph #object-oriented #towards #verification: Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model (AH, CMP, CC, BM), pp. 32–47.
GaM-2015-ValletKPM #approach #modelling #network #social #visual notation: A Visual Analytics Approach to Compare Propagation Models in Social Networks (JV, HK, BP, GM), pp. 65–79.
GCM-2015-BottoniNP #constraints #contract #modelling #policy: Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling (PB, RN, FPP), pp. 18–33.
ICGT-2015-KwantesGKR #modelling #process #towards #verification: Towards Compliance Verification Between Global and Local Process Models (PMK, PVG, JK, AR), pp. 221–236.
CHI-2015-AchibetCLM #3d #interactive #modelling #named: THING: Introducing a Tablet-based Interaction Technique for Controlling 3D Hand Models (MA, GC, AL, MM), pp. 317–326.
CHI-2015-AmershiCDLSS #analysis #machine learning #named #performance #tool support: ModelTracker: Redesigning Performance Analysis Tools for Machine Learning (SA, MC, SMD, BL, PYS, JS), pp. 337–346.
CHI-2015-BellottiATGDC #modelling #motivation #peer-to-peer #using: A Muddle of Models of Motivation for Using Peer-to-Peer Economy Systems (VB, AA, DT, CG, KD, JMC), pp. 1085–1094.
CHI-2015-BorstTR #problem #what: What Makes Interruptions Disruptive?: A Process-Model Account of the Effects of the Problem State Bottleneck on Task Interruption and Resumption (JPB, NAT, HvR), pp. 2971–2980.
CHI-2015-ChangM #spreadsheet #streaming: A Spreadsheet Model for Handling Streaming Data (KSPC, BAM), pp. 3399–3402.
CHI-2015-ChenBBOH #behaviour #interactive: The Emergence of Interactive Behavior: A Model of Rational Menu Search (XC, GB, DPB, AO, AH), pp. 4217–4226.
CHI-2015-DergousoffM #crowdsourcing #gamification #mobile: Mobile Gamification for Crowdsourcing Data Collection: Leveraging the Freemium Model (KKD, RLM), pp. 1065–1074.
CHI-2015-FowlerPCBOZ #modelling #performance #personalisation #type system: Effects of Language Modeling and its Personalization on Touchscreen Typing Performance (AF, KP, CC, XB, TO, SZ), pp. 649–658.
CHI-2015-Mayer0SH #modelling: Modeling Distant Pointing for Compensating Systematic Displacements (SM, KW, SS, NH), pp. 4165–4168.
CHI-2015-PengZG #3d #approach #design #modelling #named: D-Coil: A Hands-on Approach to Digital 3D Models Design (HP, AZ, FG), pp. 1807–1815.
CHI-2015-ZhangC #modelling #policy #predict #social #social media: Modeling Ideology and Predicting Policy Change with Social Media: Case of Same-Sex Marriage (AXZ, SC), pp. 2603–2612.
CSCW-2015-KnowlesRHDBHWW #modelling #trust: Models and Patterns of Trust (BK, MR, MH, ND, LB, JH, JW, DW), pp. 328–338.
CSCW-2015-LeeP #concept #coordination #framework #matrix: From The Matrix to a Model of Coordinated Action (MoCA): A Conceptual Framework of and for CSCW (CPL, DP), pp. 179–194.
CSCW-2015-LiZLDG #collaboration #editing #trade-off #wiki: Is It Good to Be Like Wikipedia?: Exploring the Trade-offs of Introducing Collaborative Editing Model to Q&A Sites (GL, HZ, TL, XD, NG), pp. 1080–1091.
CSCW-2015-SharmaC #modelling #people #resource management: Studying and Modeling the Connection between People’s Preferences and Content Sharing (AS, DC), pp. 1246–1257.
DHM-EH-2015-EndoTM #estimation #modelling: Estimation of Arbitrary Human Models from Anthropometric Dimensions (YE, MT, MM), pp. 3–14.
DHM-EH-2015-FuLCZ #modelling #simulation: Modeling and Simulating Lifting Task of Below-Knee Amputees (YF, SL, QC, WZ), pp. 134–143.
DHM-EH-2015-GeurtsSKBL #3d #algorithm #comparison #image #modelling #segmentation #statistics #visual notation: Visual Comparison of 3D Medical Image Segmentation Algorithms Based on Statistical Shape Models (AG, GS, AK, MB, TvL), pp. 336–344.
DHM-EH-2015-GoffRB #effectiveness #interactive #towards: Toward a Model for Effective Human-Automation Interaction: The Mediated Agency (KLG, AR, BB), pp. 274–283.
DHM-EH-2015-Hu0LZY #3d #analysis #development #finite: Development of a 3D Finite Element Model of the Chinese 50th Male for the Analysis of Automotive Impact (HH, LD, XL, CZ, YY), pp. 258–265.
DHM-EH-2015-MeryS #modelling #requirements #using: Analyzing Requirements Using Environment Modelling (DM, NKS), pp. 345–357.
DHM-EH-2015-PerestreloTNS #framework #modelling #simulation: Modeling of a Virtual Open Platform for Human Cranium Simulation (PP, MT, PN, JS), pp. 358–366.
DHM-EH-2015-SinghWLMW #formal method #modelling #reasoning #requirements: Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements (NKS, HW, ML, TSEM, AW), pp. 387–398.
DHM-HM-2015-BoringJM #analysis #modelling #performance #reliability: Human Performance Modeling for Dynamic Human Reliability Analysis (RLB, JCJ, DM), pp. 223–234.
DHM-HM-2015-FassG #modelling #physics #towards: Towards a Theory for Bio — — Cyber Physical Systems Modelling (DF, FG), pp. 245–255.
DUXU-DD-2015-AsthanaS #modelling #named #testing #usability #using #xml: Maareech: Usability Testing Tool for Voice Response System Using XML Based User Models (SA, PS), pp. 101–112.
DUXU-DD-2015-Liang #industrial #metaprogramming #on the #online: On Chinese Online P2P Lender’s Model Building on the Macro, Micro and Industry Level (QL), pp. 315–327.
DUXU-DD-2015-Robier #experience: Innovation, Exceptional Experience and Sustainable Success Made Easy: The NI© Needs Innovation Model (JR), pp. 348–355.
DUXU-IXD-2015-Celi #experience #learning #modelling #risk management #user interface: Application of Dashboards and Scorecards for Learning Models IT Risk Management: A User Experience (EC), pp. 153–165.
DUXU-IXD-2015-FioriniFASWRL #3d #education #interactive #modelling #simulation #tool support: Three-Dimensional Models and Simulation Tools Enabling Interaction and Immersion in Medical Education (STF, LF, BAdA, JRLdS, HW, ABR, CJPdL), pp. 662–671.
DUXU-UI-2015-ChammasQM: Children’s Mental Model as a Tool to Provide Innovation in Digital Products (AC, MQ, CRM), pp. 23–33.
DUXU-UI-2015-WollnerLC #design #framework #modelling #process #user interface: Integrating a Cognitive Modelling Framework into the Design Process of Touchscreen User Interfaces (PKAW, PML, PJC), pp. 473–484.
HCI-DE-2015-Kurosu #quality #usability: Usability, Quality in Use and the Model of Quality Characteristics (MK), pp. 227–237.
HCI-DE-2015-SugiuraSO #implementation #metric #security #using: Improving IT Security Through Security Measures: Using Our Game-Theory-Based Model of IT Security Implementation (MS, HS, TO), pp. 82–95.
HCI-IT-2015-MijovicMMMKG #fault #human-computer #predict #towards: Towards Creation of Implicit HCI Model for Prediction and Prevention of Operators’ Error (PM, MM, MM, IM, VK, IG), pp. 341–352.
HCI-IT-2015-MurataMF #modelling #performance: Effects of Target Shape and Display Location on Pointing Performance by Eye-Gaze Input System — Modeling of Pointing Time by Extended Fitts’ Law (AM, MM, DF), pp. 94–106.
HCI-IT-2015-Yigitbas0E #adaptation #framework #modelling #multi #user interface: A Model-Based Framework for Multi-Adaptive Migratory User Interfaces (EY, SS, GE), pp. 563–572.
HCI-IT-2015-ZhaoH #concept #game studies #online: A Conceptual Model of Online Game Continuance Playing (FZ, QH), pp. 660–669.
HCI-UC-2015-OhJK #approach #human-computer #simulation #using: Simulation of an Affordance-Based Human-Machine Cooperative Control Model Using an Agent-Based Simulation Approach (YgO, IJ, NK), pp. 226–237.
HCI-UC-2015-ZhaoH15a #assessment #concept #enterprise: Post-Implementation ERP Success Assessment: A Conceptual Model (FZ, EH), pp. 246–255.
HIMI-IKC-2015-IshiiMKS #clustering #education #topic: A Topic Model for Clustering Learners Based on Contents in Educational Counseling (TI, SM, KK, YS), pp. 323–331.
HIMI-IKC-2015-KimitaMMNIS #education #learning: Learning State Model for Value Co-Creative Education Services (KK, KM, SM, YN, TI, YS), pp. 341–349.
HIMI-IKC-2015-PatitadS #collaboration #representation: Representation Model of Collaboration Mechanism with Channel Theory (PP, HS), pp. 511–521.
HIMI-IKC-2015-TakedaHKN #lifecycle #modelling #process: Modelling of a Business Process for Alarm Management Lifecycle in Chemical Industries (KT, TH, NK, MN), pp. 579–587.
HIMI-IKD-2015-BurkhardtNGAK #impact analysis #modelling #policy #simulation #visualisation: Explorative Visualization of Impact Analysis for Policy Modeling by Bonding Open Government and Simulation Data (DB, KN, EG, AA, JK), pp. 34–45.
HIMI-IKD-2015-ChouSW #case study #quality #using: Improving Service Quality by Prioritizing Service Attributes Using SERVQUAL and Kano Model — A Case Study of Nursing Home in Taiwan (CMC, CS, SKW), pp. 513–525.
HIMI-IKD-2015-GilbertZ #information management #towards #wiki: Towards a Class-Based Model of Information Organization in Wikipedia (MG, MZ), pp. 301–309.
HIMI-IKD-2015-GonzalezCB #approach #design #modelling #sentiment: Modeling User’s Sentiment in User Segmentations: An Argumentation Approach for User Centered Design (MPG, CIC, RFB), pp. 595–606.
HIMI-IKD-2015-SharmaMMTD #graph #modelling: A Team Hiring Solution Based on Graph-Based Modelling of Human Resource Entities (AS, JM, AM, AT, PD), pp. 115–126.
LCT-2015-CastilloDSTC #detection #student: Model for Detecting Student Difficulties in Solving Formative Assessments (CC, NDD, AS, VT, DAOC), pp. 199–207.
LCT-2015-FatahiMZ #performance: A Computational Model to Determine Desirability of Events Based on Personality for Performance Motivational Orientation Learners (SF, HM, ANZ), pp. 227–237.
LCT-2015-KlockCCRAG #adaptation #concept #gamification #student: Gamification in e-Learning Systems: A Conceptual Model to Engage Students and Its Application in an Adaptive e-Learning System (ACTK, LFDC, MFdC, BER, AJA, IG), pp. 595–607.
LCT-2015-XueZZ #interactive #modelling: Human-Human Interaction Modeling of Trainer (HX, WZ, XZ), pp. 528–534.
LCT-2015-YusoffK #design #game studies #interactive #learning #persuasion: Game Rhetoric: Interaction Design Model of Persuasive Learning for Serious Games (ZY, AK), pp. 644–654.
SCSM-2015-Sookhanaphibarn #modelling #social #social media: User Modeling on Social Media for Art Museums and Galleries (KS, UC, KNN), pp. 89–95.
AdaEurope-2015-BaldovinZNP #development #modelling: The CONCERTO Methodology for Model-Based Development of Avionics Software (AB, AZ, GN, SP), pp. 131–145.
AdaEurope-2015-MkaouarZHJ #specification: From AADL Model to LNT Specification (HM, BZ, JH, MJ), pp. 146–161.
AdaEurope-2015-PinhoMMT #ada #execution #fine-grained #parallel: An Execution Model for Fine-Grained Parallelism in Ada (LMP, BM, SM, STT), pp. 196–211.
CAiSE-2015-0001H #adaptation #integration #modelling: Integration Adapter Modeling (DR, MH), pp. 468–482.
CAiSE-2015-Batoulis0BDW #logic #modelling #process: Extracting Decision Logic from Process Models (KB, AM, EB, GD, MW), pp. 349–366.
CAiSE-2015-EstanolST #modelling #process #uml #validation #verification: Verification and Validation of UML Artifact-Centric Business Process Models (ME, MRS, ET), pp. 434–449.
CAiSE-2015-GiacomoDMM #declarative #modelling #process: Declarative Process Modeling in BPMN (GDG, MD, FMM, MM), pp. 84–100.
CAiSE-2015-GuarinoG #modelling #quote: “We Need to Discuss the Relationship”: Revisiting Relationships as Modeling Constructs (NG, GG), pp. 279–294.
CAiSE-2015-LeopoldMFPSM #automation #modelling #process #towards: Towards the Automated Annotation of Process Models (HL, CM, MF, FP, HS, JM), pp. 401–416.
CAiSE-2015-MrasekMB #automation #declarative #generative #modelling #process #specification: Automatic Generation of Optimized Process Models from Declarative Specifications (RM, JAM, KB), pp. 382–397.
CAiSE-2015-OrtegaGTRC #modelling #outsourcing #process: Modelling Service Level Agreements for Business Process Outsourcing Services (AdRO, AMG, ADT, MR, ARC), pp. 485–500.
CAiSE-2015-PalmieriCA #product line: Handling Regulatory Goal Model Families as Software Product Lines (AP, PC, DA), pp. 181–196.
CAiSE-2015-YeddulaDR #approach #enterprise #migration #modelling: A Model-Driven Approach to Enterprise Data Migration (RRY, PD, SR), pp. 230–243.
ICEIS-v1-2015-ArevaloRC #approach #information management #legacy #modelling #process: Discovering Business Models for Software Process Management — An Approach for Integrating Time and Resource Perspectives from Legacy Information Systems (CA, IMR, MJEC), pp. 353–359.
ICEIS-v1-2015-BrodskyL #knowledge base #modelling #reuse #towards: Decision Guidance Analytics Language (DGAL) — Toward Reusable Knowledge Base Centric Modeling (AB, JL), pp. 67–78.
ICEIS-v1-2015-FolinoGP #behaviour #modelling #on the #process: On the Discovery of Explainable and Accurate Behavioral Models for Complex Lowly-structured Business Processes (FF, MG, LP), pp. 206–217.
ICEIS-v1-2015-MorriHS #modelling #multi: Multi-agent Modelling for a Regulation Support System of Public Transport (NM, SEH, LBS), pp. 624–629.
ICEIS-v1-2015-NouriDG #algorithm #flexibility #multi #problem #scheduling #search-based: Genetic Algorithm Combined with Tabu Search in a Holonic Multiagent Model for Flexible Job Shop Scheduling Problem (HEN, OBD, KG), pp. 573–584.
ICEIS-v1-2015-RibeiroTWBE #learning: A Learning Model for Intelligent Agents Applied to Poultry Farming (RR, MT, ALW, APB, FE), pp. 495–503.
ICEIS-v1-2015-Roos-FrantzBFSF #concept #integration #modelling #petri net #simulation #using: Using Petri Nets to Enable the Simulation of Application Integration Solutions Conceptual Models (FRF, MB, RZF, SS, VBF), pp. 87–96.
ICEIS-v1-2015-SautotBJF #clustering #design #modelling #multi #refinement: Mixed Driven Refinement Design of Multidimensional Models based on Agglomerative Hierarchical Clustering (LS, SB, LJ, BF), pp. 547–555.
ICEIS-v1-2015-ZhengLL #contest: A Game-theory based Model for Analyzing E-marketplace Competition (JZ, WL, DLL), pp. 650–657.
ICEIS-v2-2015-BeraOC #component #identification #modelling #representation #variability: Evidence-based SMarty Support for Variability Identification and Representation in Component Models (MHGB, EOJ, TEC), pp. 295–302.
ICEIS-v2-2015-Brant-RibeiroAM #approach #interactive #modelling #petri net #using #web: A User-centered Approach for Modeling Web Interactions Using Colored Petri Nets (TBR, RDA, IM, MSS, RGC), pp. 37–48.
ICEIS-v2-2015-BraunE #enterprise #framework #modelling: A Generic Framework for Modifying and Extending Enterprise Modeling Languages (RB, WE), pp. 277–286.
ICEIS-v2-2015-CruzMS #modelling #process #set: Deriving a Data Model from a Set of Interrelated Business Process Models (EFC, RJM, MYS), pp. 49–59.
ICEIS-v2-2015-CruzMS15a #modelling #process #set: Bridging the Gap between a Set of Interrelated Business Process Models and Software Models (EFC, RJM, MYS), pp. 338–345.
ICEIS-v2-2015-FrancaS #named #quality: SOAQM: Quality Model for SOA Applications based on ISO 25010 (JMSF, MSS), pp. 60–70.
ICEIS-v2-2015-FrantzSRYE #ecosystem #integration #markov #on the #process #using: On using Markov Decision Processes to Model Integration Solutions for Disparate Resources in Software Ecosystems (RZF, SS, FRF, IY, MTME), pp. 260–267.
ICEIS-v2-2015-GalalE #modelling #twitter: Dynamic Modeling of Twitter Users (AG, AEK), pp. 585–593.
ICEIS-v2-2015-GeraldiOCS #empirical #modelling #variability: Checklist-based Inspection of SMarty Variability Models — Proposal and Empirical Feasibility Study (RTG, EOJ, TC, IS), pp. 268–276.
ICEIS-v2-2015-LucenaAAAJ #approach #modelling: Integrating User Stories and i* Models — A Systematic Approach (ML, CA, FMRA, EA, AJ), pp. 428–438.
ICEIS-v2-2015-MazurKW #data access #modelling #on the #performance #security: On the Modelling of the Influence of Access Control Management to the System Security and Performance (KM, BK, AW), pp. 346–354.
ICEIS-v2-2015-MeloFOS #approach #diagrams #modelling #process #uml: A Model-driven Approach to Transform SysML Internal Block Diagrams to UML Activity Diagrams (MdSM, JMSF, EAOJ, MSS), pp. 92–101.
ICEIS-v2-2015-MoraisS #interface #modelling #quality: Assessing the Quality of User-interface Modeling Languages (FM, ARdS), pp. 311–319.
ICEIS-v2-2015-MunizNM #functional #modelling #named #statistics #testing: TCG — A Model-based Testing Tool for Functional and Statistical Testing (LLM, USCN, PHMM), pp. 404–411.
ICEIS-v2-2015-PereiraBD #formal method #uml: Mapping Formal Results Back to UML Semi-formal Model (VP, LB, MED), pp. 320–329.
ICEIS-v2-2015-SarmientoALS #modelling #petri net: Mapping Textual Scenarios to Analyzable Petri-Net Models (ES, EA, JCSdPL, GS), pp. 494–501.
ICEIS-v2-2015-TrinkenreichS #case study #maturity #metric #modelling: Metrics to Support It Service Maturity Models — A Case Study (BT, GS), pp. 395–403.
ICEIS-v2-2015-TrinkenreichSB #maturity #metric #modelling: Metrics to Support IT Service Maturity Models — A Systematic Mapping Study (BT, GS, MPB), pp. 330–337.
ICEIS-v2-2015-WeissAHK #modelling #reuse: Fostering Reuse in Choreography Modeling Through Choreography Fragments (AW, VA, MH, DK), pp. 28–36.
ICEIS-v3-2015-AversanoT #bibliography #enterprise #modelling: A Review of Enterprise Modelling Studies (LA, MT), pp. 346–351.
ICEIS-v3-2015-GhezziCRB #agile #approach #case study #comparative #design #mobile #performance: A Comparative Study on the Impact of Business Model Design & Lean Startup Approach versus Traditional Business Plan on Mobile Startups Performance (AG, AC, AR, RB), pp. 196–203.
ICEIS-v3-2015-LopesMBC #case study #design #human-computer #interactive #modelling: Evaluating HCI Design with Interaction Modeling and Mockups — A Case Study (AL, ABM, SDJB, TC), pp. 79–87.
ICEIS-v3-2015-ProencaNBB #approach #risk management: Digital Curation Costs — A Risk Management Approach Supported by the Business Model Canvas (DP, AN, RB, JLB), pp. 299–306.
ICEIS-v3-2015-RosaZ #mobile #network #privacy #social: Location-sharing Model in Mobile Social Networks with Privacy Guarantee (TAR, SDZ), pp. 44–54.
ICEIS-v3-2015-SaidCAB #adaptation #modelling #named #process #using: BPMN4V — An Extension of BPMN for Modelling Adaptive Processes using Versions (IBS, MAC, EA, RB), pp. 258–267.
ICEIS-v3-2015-SantosTF #process: Investigating Completeness of Coding in Business Process Model and Notation (CHdS, LHT, MF), pp. 328–333.
ICEIS-v3-2015-SilvaMLFNS #architecture #experience #health #information management #modelling #using: An Experience of using SoaML for Modeling a Service-Oriented Architecture for Health Information Systems (FGS, JSSdM, JdSL, JMSF, RPCdN, MSS), pp. 322–327.
ICEIS-v3-2015-Syynimaa #architecture #enterprise #modelling: Modelling the Resistance of Enterprise Architecture Adoption — Linking Strategic Level of Enterprise Architecture to Organisational Changes and Change Resistance (NS), pp. 143–153.
ICEIS-v3-2015-ThabetGG #analysis #mining #petri net #process: Petri Net Model Cost Extension based on Process Mining — Cost Data Description and Analysis (DT, SAG, HHBG), pp. 268–275.
ICEIS-v3-2015-TiamSM #process: An Operational Model of Variable Business Process (RTT, ADS, RM), pp. 162–172.
ICEIS-v3-2015-VolpentestaF #interactive #modelling #smarttech: Modeling NFC-triggered User Interactions with Simple Services in a Smart Environment (APV, NF), pp. 96–104.
ECIR-2015-ChongDL #modelling #predict #topic #using: Prediction of Venues in Foursquare Using Flipped Topic Models (WHC, BTD, EPL), pp. 623–634.
ECIR-2015-JameelLB #modelling #parametricity #topic #using: Nonparametric Topic Modeling Using Chinese Restaurant Franchise with Buddy Customers (SJ, WL, LB), pp. 648–659.
ECIR-2015-KotovRAR #microblog #modelling #retrieval: Geographical Latent Variable Models for Microblog Retrieval (AK, VR, EA, CKR), pp. 635–647.
ECIR-2015-LiS #summary: A Hierarchical Tree Model for Update Summarization (RL, HS), pp. 660–665.
ECIR-2015-SabetghadamLBR #analysis #graph #reachability: Reachability Analysis of Graph Modelled Collections (SS, ML, RB, AR), pp. 370–381.
ECIR-2015-Tutubalina #problem #topic: Target-Based Topic Model for Problem Phrase Extraction (ET), pp. 271–277.
ECIR-2015-ValcarcePB #case study #modelling #recommendation: A Study of Smoothing Methods for Relevance-Based Language Modelling of Recommender Systems (DV, JP, AB), pp. 346–351.
ECIR-2015-VieiraSCM #self #web: A Self-training CRF Method for Recognizing Product Model Mentions in Web Forums (HSV, ASdS, MC, ESdM), pp. 257–264.
ICML-2015-AllamanisTGW #modelling #natural language #source code: Bimodal Modelling of Source Code and Natural Language (MA, DT, ADG, YW), pp. 2123–2132.
ICML-2015-BelangerK #linear: A Linear Dynamical System Model for Text (DB, SMK), pp. 833–842.
ICML-2015-ChenSYU #learning #modelling: Learning Deep Structured Models (LCC, AGS, ALY, RU), pp. 1785–1794.
ICML-2015-CortesKMS #modelling: Structural Maxent Models (CC, VK, MM, US), pp. 391–399.
ICML-2015-DasBB #modelling #order #parametricity: Ordered Stick-Breaking Prior for Sequential MCMC Inference of Bayesian Nonparametric Models (MKD, TB, CB), pp. 550–559.
ICML-2015-DjolongaK #modelling #scalability: Scalable Variational Inference in Log-supermodular Models (JD, AK), pp. 1804–1813.
ICML-2015-FouldsKG #framework #modelling #network #probability #programming #topic: Latent Topic Networks: A Versatile Probabilistic Programming Framework for Topic Models (JRF, SHK, LG), pp. 777–786.
ICML-2015-GanCHCC #analysis #modelling #scalability #topic: Scalable Deep Poisson Factor Analysis for Topic Modeling (ZG, CC, RH, DEC, LC), pp. 1823–1832.
ICML-2015-GeCWG #distributed #modelling #process: Distributed Inference for Dirichlet Process Mixture Models (HG, YC, MW, ZG), pp. 2276–2284.
ICML-2015-GuL #algorithm #fault: A New Generalized Error Path Algorithm for Model Selection (BG, CXL), pp. 2549–2558.
ICML-2015-HallakSMM #learning #modelling: Off-policy Model-based Learning under Unknown Factored Dynamics (AH, FS, TAM, SM), pp. 711–719.
ICML-2015-HanXA #consistency #estimation #modelling #multi: Consistent estimation of dynamic and multi-layer block models (QH, KSX, EA), pp. 1511–1520.
ICML-2015-HeRFGL #modelling #named #network #topic: HawkesTopic: A Joint Model for Network Inference and Topic Modeling from Text-Based Cascades (XH, TR, JRF, LG, YL), pp. 871–880.
ICML-2015-Hernandez-Lobato #feature model #multi #probability: A Probabilistic Model for Dirty Multi-task Feature Selection (DHL, JMHL, ZG), pp. 1073–1082.
ICML-2015-HoangHL #big data #framework #modelling #probability #process: A Unifying Framework of Anytime Sparse Gaussian Process Regression Models with Stochastic Variational Inference for Big Data (TNH, QMH, BKHL), pp. 569–578.
ICML-2015-JerniteRS #approach #learning #markov #modelling #performance #random: A Fast Variational Approach for Learning Markov Random Field Language Models (YJ, AMR, DS), pp. 2209–2217.
ICML-2015-JiangKS #abstraction #learning #modelling: Abstraction Selection in Model-based Reinforcement Learning (NJ, AK, SS), pp. 179–188.
ICML-2015-KandasamySP #modelling #optimisation: High Dimensional Bayesian Optimisation and Bandits via Additive Models (KK, JGS, BP), pp. 295–304.
ICML-2015-KvetonSWA #learning #rank: Cascading Bandits: Learning to Rank in the Cascade Model (BK, CS, ZW, AA), pp. 767–776.
ICML-2015-LianHRLC #multi #predict #process: A Multitask Point Process Predictive Model (WL, RH, VR, JEL, LC), pp. 2030–2038.
ICML-2015-LiuFFM #modelling #relational #scalability: Scalable Model Selection for Large-Scale Factorial Relational Models (CL, LF, RF, YM), pp. 1227–1235.
ICML-2015-MacdonaldHH #modelling #process: Controversy in mechanistic modelling with Gaussian processes (BM, CFH, DH), pp. 1539–1547.
ICML-2015-MiyauchiIFK: Threshold Influence Model for Allocating Advertising Budgets (AM, YI, TF, NK), pp. 1395–1404.
ICML-2015-RegierMMAHLSP #generative #image #named: Celeste: Variational inference for a generative model of astronomical images (JR, AM, JM, RPA, MDH, DL, DS, P), pp. 2095–2103.
ICML-2015-ShethWK #modelling: Sparse Variational Inference for Generalized GP Models (RS, YW, RK), pp. 1302–1311.
ICML-2015-SteinhardtL #modelling: Reified Context Models (JS, PL), pp. 1043–1052.
ICML-2015-SteinhardtL15a #learning #modelling #predict: Learning Fast-Mixing Models for Structured Prediction (JS, PL), pp. 1063–1072.
ICML-2015-SunSK #message passing #modelling #visual notation: Message Passing for Collective Graphical Models (TS, DS, AK), pp. 853–861.
ICML-2015-TraskGR #modelling #order #scalability #word: Modeling Order in Neural Word Embeddings at Scale (AT, DG, MR), pp. 2266–2275.
ICML-2015-VirtanenG #modelling: Ordinal Mixed Membership Models (SV, MG), pp. 588–596.
ICML-2015-WinnerBS: Inference in a Partially Observed Queuing Model with Applications in Ecology (KW, GB, DS), pp. 2512–2520.
ICML-2015-WuS #algorithm #learning #modelling #online: An Online Learning Algorithm for Bilinear Models (YW, SS), pp. 890–898.
ICML-2015-YenLZRD #approach #modelling #process: A Convex Exemplar-based Approach to MAD-Bayes Dirichlet Process Mixture Models (IEHY, XL, KZ, PKR, ISD), pp. 2418–2426.
ICML-2015-YuanHTLC #modelling: Non-Gaussian Discriminative Factor Models via the Max-Margin Rank-Likelihood (XY, RH, ET, RL, LC), pp. 1254–1263.
ICML-2015-ZhangP #markov #modelling: Markov Mixed Membership Models (AZ, JP), pp. 475–483.
KDD-2015-BarajasA #approach #health #modelling: Dynamically Modeling Patient’s Health State from Electronic Medical Records: A Time Series Approach (KLCB, RA), pp. 69–78.
KDD-2015-BeutelAF #behaviour #detection #graph #modelling #predict: Graph-Based User Behavior Modeling: From Prediction to Fraud Detection (AB, LA, CF), pp. 2309–2310.
KDD-2015-CaruanaLGKSE #modelling #predict: Intelligible Models for HealthCare: Predicting Pneumonia Risk and Hospital 30-day Readmission (RC, YL, JG, PK, MS, NE), pp. 1721–1730.
KDD-2015-CostaYTTF #mining #modelling #named #process #social #social media: RSC: Mining and Modeling Temporal Activity in Social Media (AFC, YY, AJMT, CTJ, CF), pp. 269–278.
KDD-2015-DuncanE #modelling #probability: Probabilistic Modeling of a Sales Funnel to Prioritize Leads (BAD, CPE), pp. 1751–1758.
KDD-2015-FrenoSJA #modelling #ranking #recommendation: One-Pass Ranking Models for Low-Latency Product Recommendations (AF, MS, RJ, CA), pp. 1789–1798.
KDD-2015-FuLPXGZZ #modelling #ranking: Real Estate Ranking via Mixed Land-use Latent Models (YF, GL, SP, HX, YG, HZ, CZ), pp. 299–308.
KDD-2015-GabelKS #distributed #modelling #monitoring: Monitoring Least Squares Models of Distributed Streams (MG, DK, AS), pp. 319–328.
KDD-2015-Gomez-Rodriguez #machine learning #modelling #network #probability #problem #research #social: Diffusion in Social and Information Networks: Research Problems, Probabilistic Models and Machine Learning Methods (MGR, LS), pp. 2315–2316.
KDD-2015-GongSRG #modelling: Instance Weighting for Patient-Specific Risk Stratification Models (JJG, TMS, JDR, JVG), pp. 369–378.
KDD-2015-GroverKH #hybrid: A Deep Hybrid Model for Weather Forecasting (AG, AK, EH), pp. 379–386.
KDD-2015-HanT #community #network #probability #social: Probabilistic Community and Role Model for Social Networks (YH, JT), pp. 407–416.
KDD-2015-KalyanamMSVL #evolution #modelling #social #topic: Leveraging Social Context for Modeling Topic Evolution (JK, AM, DST, HV, GRGL), pp. 517–526.
KDD-2015-LakretzCFR #modelling #probability #visual notation: Probabilistic Graphical Models of Dyslexia (YL, GC, NF, MRZ), pp. 1919–1928.
KDD-2015-NoriKYII #modelling #multi #predict: Simultaneous Modeling of Multiple Diseases for Mortality Prediction in Acute Hospital Care (NN, HK, KY, HI, YI), pp. 855–864.
KDD-2015-PotashBLMRWRJMG #health #modelling #predict: Predictive Modeling for Public Health: Preventing Childhood Lead Poisoning (EP, JB, AL, SM, AR, JW, ER, EJ, RM, RG), pp. 2039–2047.
KDD-2015-RongCM #identification #modelling #social #why: Why It Happened: Identifying and Modeling the Reasons of the Happening of Social Events (YR, HC, ZM), pp. 1015–1024.
KDD-2015-Verroios0JG #clustering #modelling: Client Clustering for Hiring Modeling in Work Marketplaces (VV, PP, RJ, HGM), pp. 2187–2196.
KDD-2015-WangFM #modelling: Trading Interpretability for Accuracy: Oblique Treed Sparse Additive Models (JW, RF, YM), pp. 1245–1254.
KDD-2015-WangYCSSZ #generative #named #recommendation: Geo-SAGE: A Geographical Sparse Additive Generative Model for Spatial Item Recommendation (WW, HY, LC, YS, SWS, XZ), pp. 1255–1264.
KDD-2015-WangZHSY #topic: Discerning Tactical Patterns for Professional Soccer Teams: An Enhanced Topic Model with Applications (QW, HZ, WH, ZS, YY), pp. 2197–2206.
KDD-2015-XieDX #documentation #modelling #strict: Diversifying Restricted Boltzmann Machine for Document Modeling (PX, YD, EPX), pp. 1315–1324.
KDD-2015-Yang #industrial #internet #modelling: User Modeling in Telecommunications and Internet Industry (QY0), p. 1639.
KDD-2015-YangH #learning #multi: Model Multiple Heterogeneity via Hierarchical Multi-Latent Space Learning (PY, JH), pp. 1375–1384.
KDD-2015-YanRHC #distributed #learning #modelling #optimisation #performance #scalability: Performance Modeling and Scalability Optimization of Distributed Deep Learning Systems (FY, OR, YH, TMC), pp. 1355–1364.
KDD-2015-ZhangKX #contest #image #modelling #monitoring #online #topic: Dynamic Topic Modeling for Monitoring Market Competition from Online Text and Image Data (HZ, GK, EPX), pp. 1425–1434.
KDD-2015-ZhangLZSKYJ #analysis #biology #image #learning #modelling #multi: Deep Model Based Transfer and Multi-Task Learning for Biological Image Analysis (WZ, RL, TZ, QS, SK, JY, SJ), pp. 1475–1484.
KDD-2015-ZhangW #recommendation: A Collective Bayesian Poisson Factorization Model for Cold-start Local Event Recommendation (WZ, JW), pp. 1455–1464.
KDD-2015-ZhaoEHRL #named #predict #process #self #twitter: SEISMIC: A Self-Exciting Point Process Model for Predicting Tweet Popularity (QZ, MAE, HYH, AR, JL), pp. 1513–1522.
KDD-2015-ZhengYX #composition #linear #modelling #topic #using: Linear Time Samplers for Supervised Topic Models using Compositional Proposals (XZ, YY, EPX), pp. 1523–1532.
KDD-2015-ZhiZTGYJH #modelling: Modeling Truth Existence in Truth Discovery (SZ, BZ, WT, JG, DY, HJ, JH), pp. 1543–1552.
KDD-2015-ZhuPCZZ #modelling #network #social: Modeling User Mobility for Location Promotion in Location-based Social Networks (WYZ, WCP, LJC, KZ, XZ), pp. 1573–1582.
MLDM-2015-RibeiroOFVC #modelling: Patient-Specific Modeling of Medical Data (GASR, ACMdO, ALSF, SV, GFC), pp. 415–424.
RecSys-2015-AghdamHMB #adaptation #markov #modelling #recommendation #using: Adapting Recommendations to Contextual Changes Using Hierarchical Hidden Markov Models (MHA, NH, BM, RDB), pp. 241–244.
RecSys-2015-BetzalelSR #exclamation #quote #recommendation: “Please, Not Now!”: A Model for Timing Recommendations (NDB, BS, LR), pp. 297–300.
RecSys-2015-ChaneyBE #network #personalisation #probability #recommendation #social #using: A Probabilistic Model for Using Social Networks in Personalized Item Recommendation (AJBC, DMB, TER), pp. 43–50.
RecSys-2015-Guardia-Sebaoun #modelling #performance #recommendation: Latent Trajectory Modeling: A Light and Efficient Way to Introduce Time in Recommender Systems (ÉGS, VG, PG), pp. 281–284.
RecSys-2015-Hidasi #modelling: Context-aware Preference Modeling with Factorization (BH), pp. 371–374.
RecSys-2015-MouliC #dependence #feedback #modelling: Making the Most of Preference Feedback by Modeling Feature Dependencies (SCM, SC), pp. 285–288.
RecSys-2015-Valcarce #modelling #recommendation #statistics: Exploring Statistical Language Models for Recommender Systems (DV), pp. 375–378.
RecSys-2015-ValcarcePB #case study #modelling #recommendation: A Study of Priors for Relevance-Based Language Modelling of Recommender Systems (DV, JP, AB), pp. 237–240.
SEKE-2015-AssuncaoFLSV #automaton #generative #markov #modelling #named #network #predict #probability: SANGE — Stochastic Automata Networks Generator. A tool to efficiently predict events through structured Markovian models (JA, PF, LL, AS, JMV), pp. 581–584.
SEKE-2015-ChavezM #information retrieval #ontology #query #using: An Information Retrieval Model using Query Expansion based on Ontologies in the Computer Science Domain (BGCC, AM), pp. 652–655.
SEKE-2015-ChenZWLPW #mining #probability #specification: Mining Universal Specification Based on Probabilistic Model (DC, YZ, RW, XL, LP, WW), pp. 471–476.
SEKE-2015-DingZ #modelling #petri net #using: Modeling and Analyzing Publish Subscribe Architcture using Petri Nets (JD, DZ), pp. 589–594.
SEKE-2015-FanYC #adaptation #composition #energy #modelling: Modeling and Analyzing Adaptive Energy Consumption for Service Composition (GF, HY, LC), pp. 585–588.
SEKE-2015-FariasGSOV #architecture #composition #towards: Toward an Architecture for Model Composition Techniques (KF, LG, MS, TCO, MV), pp. 656–659.
SEKE-2015-GoncalesFSOV #comparison #difference: Model Comparison: a Systematic Mapping Study (LG, KF, MS, TCO, MV), pp. 546–551.
SEKE-2015-KchaouBB #modelling #uml: CQV-UML Tool: a tool for managing the impact of change on UML models (DK, NB, HBA), pp. 670–673.
SEKE-2015-MagalhaesAM #approach #framework #independence #model transformation #on the #specification: On the Specification of Model Transformations through a Platform Independent Approach (APM, AMSA, RSPM), pp. 558–561.
SEKE-2015-MagalhaesMA #case study #design #experience #metamodelling #model transformation #towards: Towards a Metamodel Design Methodology: Experiences from a model transformation metamodel design (APM, RSPM, AMSA), pp. 625–630.
SEKE-2015-ManiPW #co-evolution #modelling #performance #using: Exploring SOA Pattern Performance using Coupled Transformations and Performance Models (NM, DCP, CMW), pp. 552–557.
SEKE-2015-MokniHUVZ #architecture #component #evolution #multi: An evolution management model for multi-level component-based software architectures (AM, MH, CU, SV, HYZ), pp. 674–679.
SEKE-2015-QinMDJ #case study #modelling #safety: Study on the Accident-causing Model Based on Safety Region and Applications in China Railway Transportation System (YQ, HM, MD, LJ), pp. 528–535.
SEKE-2015-SaharAA #approach #case study #detection #image #modelling #prototype: A Case Study Approach: Iterative Prototyping Model Based Detection of Macular Edema in Retinal OCT Images (SS, SA, MUA), pp. 266–271.
SEKE-2015-SantosODN #experience #quality: Reporting an Experience on the Establishment of a Quality Model for Systems-of-Systems (DSS, BRNO, AD, EYN), pp. 304–309.
SEKE-2015-TerencianiPLC #modelling #process #representation #towards #variability: BPMN* — A Notation for Representation of Variability in Business Process Towards Supporting Business Process Line Modeling (MT, DMBP, GL, MIC), pp. 227–230.
SEKE-2015-TunnellA #fault #modelling #predict #release planning #using: Using Time Series Models for Defect Prediction in Software Release Planning (JT, JA), pp. 451–454.
SEKE-2015-ZhangGAU #analysis #mobile: Test Model and Coverage Analysis for Location-based Mobile Services (TZ, JG, OEKA, TU), pp. 80–86.
SIGIR-2015-AzzopardiZ #modelling #retrieval #tutorial #using: Building and Using Models of Information Seeking, Search and Retrieval: Full Day Tutorial (LA, GZ), pp. 1107–1110.
SIGIR-2015-ChuklinMR #information retrieval #modelling #tutorial: Advanced Click Models and their Applications to IR: SIGIR 2015 Tutorial (AC, IM, MdR), pp. 1111–1112.
SIGIR-2015-ChuklinMR15a #modelling #tutorial #web: An Introduction to Click Models for Web Search: SIGIR 2015 Tutorial (AC, IM, MdR), pp. 1113–1115.
SIGIR-2015-ClarkeSY #behaviour #effectiveness #evaluation #information retrieval #modelling: IR Evaluation: Modeling User Behavior for Measuring Effectiveness (CLAC, MDS, EY), pp. 1117–1120.
SIGIR-2015-EickhoffVH #dependence #modelling: Modelling Term Dependence with Copulas (CE, APdV, TH), pp. 783–786.
SIGIR-2015-EswaranBP #classification #modelling #scalability #topic: Modeling Website Topic Cohesion at Scale to Improve Webpage Classification (DE, PNB, JJPI), pp. 787–790.
SIGIR-2015-GangulyRMJ #information retrieval #word: Word Embedding based Generalized Language Model for Information Retrieval (DG, DR, MM, GJFJ), pp. 795–798.
SIGIR-2015-KrstovskiSK #analysis #modelling #retrieval: Evaluating Retrieval Models through Histogram Analysis (KK, DAS, MJK), pp. 859–862.
SIGIR-2015-LagunA #interactive #modelling: Inferring Searcher Attention by Jointly Modeling User Interactions and Content Salience (DL, EA), pp. 483–492.
SIGIR-2015-LiLZS #matrix #modelling #multi #retrieval #using: Modeling Multi-query Retrieval Tasks Using Density Matrix Transformation (QL, JL, PZ, DS), pp. 871–874.
SIGIR-2015-NguyenKNZ #documentation #random #web: A Time-aware Random Walk Model for Finding Important Documents in Web Archives (TNN, NK, CN, XZ), pp. 915–918.
SIGIR-2015-OdijkMSR #modelling #query: Dynamic Query Modeling for Related Content Finding (DO, EM, IS, MdR), pp. 33–42.
SIGIR-2015-Paik #information retrieval #probability: A Probabilistic Model for Information Retrieval Based on Maximum Value Distribution (JHP), pp. 585–594.
SIGIR-2015-ParkC #concept #retrieval #using: Using Key Concepts in a Translation Model for Retrieval (JHP, WBC), pp. 927–930.
SIGIR-2015-QuezadaPP #social #social media: Location-Aware Model for News Events in Social Media (MQ, VPA, BP), pp. 935–938.
SIGIR-2015-RuotsaloPEGRJMK #interactive #modelling #named: SciNet: Interactive Intent Modeling for Information Discovery (TR, JP, MJAE, DG, AR, GJ, PM, SK), pp. 1043–1044.
SIGIR-2015-TranTCN #optimisation #random #ranking #web: A Random Walk Model for Optimization of Search Impact in Web Frontier Ranking (GT, AT, BBC, WN), pp. 153–162.
SIGIR-2015-VolkovsY #effectiveness #feedback #modelling #recommendation: Effective Latent Models for Binary Feedback in Recommender Systems (MV, GWY), pp. 313–322.
SIGIR-2015-VulicM #information retrieval #modelling #word: Monolingual and Cross-Lingual Information Retrieval Models Based on (Bilingual) Word Embeddings (IV, MFM), pp. 363–372.
SIGIR-2015-WangGLXWC #learning #recommendation #representation: Learning Hierarchical Representation Model for NextBasket Recommendation (PW, JG, YL, JX, SW, XC), pp. 403–412.
SIGIR-2015-WangLWZNM #behaviour #modelling: Incorporating Non-sequential Behavior into Click Models (CW, YL, MW, KZ, JYN, SM), pp. 283–292.
SIGIR-2015-WangSWZSLL #cumulative #recommendation: An Entity Class-Dependent Discriminative Mixture Model for Cumulative Citation Recommendation (JW, DS, QW, ZZ, LS, LL, CYL), pp. 635–644.
SIGIR-2015-XiaXLGC #evaluation #learning #metric #optimisation: Learning Maximal Marginal Relevance Model via Directly Optimizing Diversity Evaluation Measures (LX, JX, YL, JG, XC), pp. 113–122.
SIGIR-2015-YangKML #modelling #parametricity #sentiment #topic: Parametric and Non-parametric User-aware Sentiment Topic Models (ZY, AK, AM, SL), pp. 413–422.
SIGIR-2015-ZhangZ #formal method #game studies #information retrieval #interactive #interface #optimisation: Information Retrieval as Card Playing: A Formal Model for Optimizing Interactive Retrieval Interface (YZ, CZ), pp. 685–694.
SIGIR-2015-ZhiltsovKN #ad hoc #dependence #retrieval #web: Fielded Sequential Dependence Model for Ad-Hoc Entity Retrieval in the Web of Data (NZ, AK, FN), pp. 253–262.
MoDELS-J-2011-BavotaGOLTGC15 #analysis #diagrams #fine-grained #maintenance #uml: A fine-grained analysis of the support provided by UML class diagrams and ER diagrams during data model maintenance (GB, CG, RO, ADL, GT, MG, JACL), pp. 287–306.
MoDELS-J-2011-BlouinCBB15 #generative #modelling #named: Kompren: modeling and generating model slicers (AB, BC, BB, OB), pp. 321–337.
MoDELS-J-2011-Espinazo-PaganCM15 #model management #repository #scalability: A repository for scalable model management (JEP, JSC, JGM), pp. 219–239.
MoDELS-J-2011-HermannEOCDXGE15 #correctness #graph grammar: Model synchronization based on triple graph grammars: correctness, completeness and invertibility (FH, HE, FO, KC, ZD, YX, SG, TE), pp. 241–269.
MoDELS-J-2011-Steimann15 #refactoring: From well-formedness to meaning preservation: model refactoring for almost free (FS), pp. 307–320.
MoDELS-J-2011-BavotaGOLTGC15 #analysis #diagrams #fine-grained #maintenance #uml: A fine-grained analysis of the support provided by UML class diagrams and ER diagrams during data model maintenance (GB, CG, RO, ADL, GT, MG, JACL), pp. 287–306.
MoDELS-J-2011-BlouinCBB15 #generative #modelling #named: Kompren: modeling and generating model slicers (AB, BC, BB, OB), pp. 321–337.
MoDELS-J-2011-Espinazo-PaganCM15 #model management #repository #scalability: A repository for scalable model management (JEP, JSC, JGM), pp. 219–239.
MoDELS-J-2011-HermannEOCDXGE15 #correctness #graph grammar: Model synchronization based on triple graph grammars: correctness, completeness and invertibility (FH, HE, FO, KC, ZD, YX, SG, TE), pp. 241–269.
MoDELS-J-2011-Steimann15 #refactoring: From well-formedness to meaning preservation: model refactoring for almost free (FS), pp. 307–320.
ECMFA-J-2012-ButtnerC15 #lightweight #reasoning #string: Lightweight string reasoning in model finding (FB, JC), pp. 413–427.
ECMFA-J-2012-LaraGC15 #metamodelling #modelling: Model-driven engineering with domain-specific meta-modelling languages (JdL, EG, JSC), pp. 429–459.
ECMFA-J-2012-PuissantSM15 #automation #consistency #nondeterminism #using: Resolving model inconsistencies using automated regression planning (JPP, RVDS, TM), pp. 461–481.
ECMFA-J-2012-SelimWCD15 #deployment #industrial #legacy #migration #model transformation #modelling: Model transformations for migrating legacy deployment models in the automotive industry (GMKS, SW, JRC, JD), pp. 365–381.
ICMT-J-2012-AtkinsonGT15 #model transformation #modelling #multi: Enhancing classic transformation languages to support multi-level modeling (CA, RG, CVT), pp. 645–666.
ICMT-J-2012-DemuthLE15 #constraints #modelling: Constraint-driven modeling through transformation (AD, RELH, AE), pp. 573–596.
ICMT-J-2012-GuerraS15 #model transformation #testing: Specification-driven model transformation testing (EG, MS), pp. 623–644.
ICMT-J-2012-KuselSWKRS15 #model transformation #question #reuse: Reuse in model-to-model transformation languages: are we there yet? (AK, JS, MW, GK, WR, WS), pp. 537–572.
ICMT-J-2012-VarroDWS15 #algorithm #emf #generative #modelling #pattern matching: An algorithm for generating model-sensitive search plans for pattern matching on EMF models (GV, FD, MW, AS), pp. 597–621.
AMT-2015-DyckGLSG #automation #behaviour #model transformation #towards #verification: Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (JD, HG, LL, SS, SG), pp. 36–45.
AMT-2015-GholizadehDKM #analysis #model transformation: Analysis of Source-to-Target Model Transformations in QueST (HG, ZD, SK, TSEM), pp. 46–55.
AMT-2015-HilkenBGV #development #modelling #using: Iterative Development of Transformation Models by Using Classifying Terms (FH, LB, MG, AV), pp. 1–6.
AMT-2015-HoislS #benchmark #evolution #metric #model-to-text #towards: Towards Benchmarking Evolution Support in Model-to-Text Transformation Systems (BH, SS), pp. 16–25.
AMT-2015-RabbiLYK #approach #diagrams: A Diagrammatic Approach to Model Completion (FR, YL, IY, LK), pp. 56–65.
AMT-2015-SelimCDLO #case study #debugging #experience #model transformation #verification: Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report (GMKS, JRC, JD, LL, BJO), pp. 26–35.
ECMFA-2015-BarmpisSK #incremental #scalability #towards: Towards Incremental Updates in Large-Scale Model Indexes (KB, SMS, DSK), pp. 137–153.
ECMFA-2015-BhalotiaK #interface #reuse: Reusable Model Interfaces with Instantiation Cardinalities (SB, JK), pp. 108–124.
ECMFA-2015-BruneliereGDKHB #lightweight #metamodelling #modelling #on the #tool support: On Lightweight Metamodel Extension to Support Modeling Tools Agility (HB, JG, PD, DEK, RH, RB, JC), pp. 62–74.
ECMFA-2015-DiskinMC #category theory #imperative #model management #visual notation: A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical (ZD, TSEM, KC), pp. 154–170.
ECMFA-2015-JahanbanifarKT #approach #integration #modelling: A Model-Based Approach for the Integration of Configuration Fragments (AJ, FK, MT), pp. 125–136.
ECMFA-2015-OgunyomiRK #incremental #model-to-text: Property Access Traces for Source Incremental Model-to-Text Transformation (BO, LMR, DSK), pp. 187–202.
ECMFA-2015-RossiniLGN #comparison #modelling #multi: A Comparison of Two-Level and Multi-level Modelling for Cloud-Based Applications (AR, JdL, EG, NN), pp. 18–32.
ECMFA-2015-SafdarIK #empirical #evaluation #modelling #tool support #uml: Empirical Evaluation of UML Modeling Tools — A Controlled Experiment (SAS, MZI, MUK), pp. 33–44.
ECMFA-2015-SaxonBA #black box #model transformation: Opening the Black-Box of Model Transformation (JTS, BB, DHA), pp. 171–186.
ECMFA-2015-ZolotasMDKP #flexibility #modelling #type inference: Type Inference in Flexible Model-Driven Engineering (AZ, NDM, SD, DSK, RFP), pp. 75–91.
MoDELS-2015-AhmarGDP #communication #modelling #uml #visual notation: Enhancing the communication value of UML models with graphical layers (YEA, SG, CD, XLP), pp. 64–69.
MoDELS-2015-AtkinsonGK15a #approach #modelling #multi: A unifying approach to connections for multi-level modeling (CA, RG, TK), pp. 216–225.
MoDELS-2015-CuadradoGL #atl #model transformation: Quick fixing ATL model transformations (JSC, EG, JdL), pp. 146–155.
MoDELS-2015-Easterbrook #modelling: Modelling the climate system: Is model-based science like model-based engineering? (Keynote) (SME), p. 1.
MoDELS-2015-FoucheNGE #diagrams #generative #modelling #standard #tool support: Systematic generation of standard compliant tool support of diagrammatic modeling languages (AF, FN, SG, ME), pp. 348–357.
MoDELS-2015-GogollaVBH #model transformation #testing: Employing classifying terms for testing model transformations (MG, AV, LB, FH), pp. 312–321.
MoDELS-2015-HajriGBS #approach #case study #embedded #industrial #lessons learnt #modelling #product line: Applying product line Use case modeling in an industrial automotive embedded system: Lessons learned and a refined approach (IH, AG, LCB, TS), pp. 338–347.
MoDELS-2015-HartmannMFNKT #distributed #modelling #peer-to-peer #runtime: Stream my models: Reactive peer-to-peer distributed models@run.time (TH, AM, FF, GN, JK, YLT), pp. 80–89.
MoDELS-2015-IftikharIKM #approach #automation #framework #game studies #modelling #testing: An automated model based testing approach for platform games (SI, MZI, MUK, WM), pp. 426–435.
MoDELS-2015-KetataMFLC #migration #modelling #performance #predict: Performance prediction upon toolchain migration in model-based software (AK, CM, SF, JHL, KC), pp. 302–311.
MoDELS-2015-KrikavaRS #framework #modelling #resource management #runtime #towards: Infrastructure as runtime models: Towards Model-Driven resource management (FK, RR, LS), pp. 100–105.
MoDELS-2015-KuselEKRSS #co-evolution #consistency #modelling: Consistent co-evolution of models and transformations (AK, JE, EK, WR, WS, JS), pp. 116–125.
MoDELS-2015-LaraGC #modelling #type system: A-posteriori typing for Model-Driven Engineering (JdL, EG, JSC), pp. 156–165.
MoDELS-2015-LeemansA #distributed #mining #modelling #process #transaction: Process mining in software systems: Discovering real-life business transactions and process models from distributed systems (ML, WMPvdA), pp. 44–53.
MoDELS-2015-LettnerEGP #case study #experience #feature model #industrial #lessons learnt #modelling #scalability: Feature modeling of two large-scale industrial software systems: Experiences and lessons learned (DL, KE, PG, HP), pp. 386–395.
MoDELS-2015-LuddeckeSSS #modelling #network #using: Modeling user intentions for in-car infotainment systems using Bayesian networks (DL, CS, JS, IS), pp. 378–385.
MoDELS-2015-MaozR #difference #framework #semantics: A framework for relating syntactic and semantic model differences (SM, JOR), pp. 24–33.
MoDELS-2015-Moawad0FNKT #modelling #performance: Beyond discrete modeling: A continuous and efficient model for IoT (AM, TH, FF, GN, JK, YLT), pp. 90–99.
MoDELS-2015-MontaghamiR #debugging #declarative #modelling: Pattern-based debugging of declarative models (VM, DR), pp. 322–327.
MoDELS-2015-PescadorGGCL #development #domain-specific language #modelling: Pattern-based development of Domain-Specific Modelling Languages (AP, AG, EG, JSC, JdL), pp. 166–175.
MoDELS-2015-PrzigodaHWPD #behaviour #concurrent #modelling #ocl #uml: Checking concurrent behavior in UML/OCL models (NP, CH, RW, JP, RD), pp. 176–185.
MoDELS-2015-Rodriguez-Echeverria #analysis #approach #evolution #model transformation #statistics: A statistical analysis approach to assist model transformation evolution (RRE, FM), pp. 226–235.
MoDELS-2015-S #challenge #modelling #named #smarttech: Automobile: Aircraft or smartphone? Modeling challenges and opportunities in Automotive Systems (keynote) (RS), p. 3.
MoDELS-2015-SandenRGBJVS #composition #design #modelling: Modular model-based supervisory controller design for wafer logistics in lithography machines (BvdS, MAR, MG, TB, JJ, JV, RRHS), pp. 416–425.
MoDELS-2015-SchottleK #api #modelling #reuse: Concern-oriented interfaces for model-based reuse of APIs (MS, JK), pp. 286–291.
MoDELS-2015-SimmondsPBS #evolution #megamodelling #modelling #process: A megamodel for Software Process Line modeling and evolution (JS, DP, MCB, LS), pp. 406–415.
MoDELS-2015-SoltanaSSB #framework #modelling #policy #probability #simulation: A model-based framework for probabilistic simulation of legal policies (GS, NS, MS, LCB), pp. 70–79.
MoDELS-2015-StephanC #clone detection #detection #identification #using: Identification of Simulink model antipattern instances using model clone detection (MS, JRC), pp. 276–285.
MoDELS-2015-SunkleKK #case study #modelling: Model-driven regulatory compliance: A case study of “Know Your Customer” regulations (SS, DK, VK), pp. 436–445.
MoDELS-2015-SzvetitsZ #modelling #reuse #runtime: Reusable event types for models at runtime to support the examination of runtime phenomena (MS, UZ), pp. 4–13.
MoDELS-2015-VallejoKMB #case study #reuse #symmetry: Improving reuse by means of asymmetrical model migrations: An application to the Orcc case study (PV, MK, KJMM, JPB), pp. 358–367.
ECOOP-2015-ImamS #parallel #programming: The Eureka Programming Model for Speculative Task Parallelism (SI, VS), pp. 421–444.
Onward-2015-Kell #process #towards: Towards a dynamic object model within Unix processes (SK), pp. 224–239.
OOPSLA-2015-DemskyL #model checking #named: SATCheck: SAT-directed stateless model checking for SC and TSO (BD, PL), pp. 20–36.
OOPSLA-2015-JensenMRDV #model checking: Stateless model checking of event-driven applications (CSJ, AM, VR, DD, MTV), pp. 57–73.
GPCE-2015-FontAHC #metamodelling #modelling #product line: Addressing metamodel revisions in model-based software product lines (JF, LA, ØH, CC), pp. 161–170.
GPCE-2015-NogueraJ #modelling #query: Model querying with query models (CN, VJ), pp. 181–184.
PPDP-2015-BartakDZ #logic programming #modelling #on the #problem: On modeling planning problems in tabled logic programming (RB, AD, NFZ), pp. 31–42.
QAPL-2015-BortolussiH #markov #modelling #performance: Efficient Checking of Individual Rewards Properties in Markov Population Models (LB, JH), pp. 32–47.
POPL-2015-Chlipala #named #programming #web: Ur/Web: A Simple Model for Programming the Web (AC), pp. 153–165.
POPL-2015-VafeiadisBCMN #compilation #memory management #optimisation #what: Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it (VV, TB, SC, RM, FZN), pp. 209–220.
REFSQ-2015-Berntsson-Svensson #case study #elicitation #evaluation #quality #requirements: A Case Study Evaluation of the Guideline-Supported QUPER Model for Elicitation of Quality Requirements (RBS, BR), pp. 230–246.
REFSQ-2015-CanchiD #functional #interactive #modelling #requirements: Functional Requirements Modelling for Interactive TV Applications (SC, JED), pp. 254–261.
REFSQ-2015-GharibG #modelling #quality #reasoning #requirements: Modeling and Reasoning About Information Quality Requirements (MG, PG), pp. 49–64.
REFSQ-2015-OliinykPSBS #case study #evaluation #feature model #industrial #metric #modelling: Metrics for the Evaluation of Feature Models in an Industrial Context: A Case Study at Opel (OO, KP, MS, MB, SS), pp. 33–48.
SAC-2015-AldeaIHQBF #modelling: Modelling strategy with ArchiMate (AA, MEI, JvH, DACQ, LB, HMF), pp. 1211–1218.
SAC-2015-CamaraGS0 #adaptation #architecture #game studies #model checking #probability #self: Optimal planning for architecture-based self-adaptation via model checking of stochastic games (JC, DG, BRS, AP), pp. 428–435.
SAC-2015-CamaraHJJ #graph #modelling #persuasion #recommendation #social #using: Using graph-based models in a persuasive social recommendation system (JPC, SH, JJ, VJ), pp. 189–194.
SAC-2015-CordobaL #design #effectiveness #java #modelling: A modelling language for the effective design of Java annotations (IC, JdL), pp. 2087–2092.
SAC-2015-CostaCFR #diagrams #modelling #precise #uml: From UML diagrams to simulink models: a precise and verified translation (AC, SAdCC, LF, LR), pp. 1547–1552.
SAC-2015-DermoucheKVL #modelling #sentiment #topic: A joint model for topic-sentiment modeling from text (MD, LK, JV, SL), pp. 819–824.
SAC-2015-DiazCMR #architecture #model checking #verification #web #web service: Model-checking verification of publish-subscribe architectures in web service contexts (GD, MEC, HM, VVR), pp. 1688–1695.
SAC-2015-FonsecaNRP #execution #parallel #realtime: A multi-DAG model for real-time parallel applications with conditional execution (JCF, VN, GR, LMP), pp. 1925–1932.
SAC-2015-FrankM0: Alternating model trees (EF, MM, SK), pp. 871–878.
SAC-2015-GassaraRJ #approach #architecture #deployment #modelling #multi: A multi-scale modeling approach for software architecture deployment (AG, IBR, MJ), pp. 1405–1410.
SAC-2015-Grossl #modelling #network: Modeling dependable systems with continuous time Bayesian networks (MG), pp. 436–441.
SAC-2015-HamataniUH #smarttech #using: Estimating core body temperature based on human thermal model using wearable sensors (TH, AU, TH), pp. 521–526.
SAC-2015-Homm0G #concurrent #markov #modelling #statistics #testing: Concurrent streams in Markov chain usage models for statistical testing of complex systems (DH, JE, RG), pp. 1803–1807.
SAC-2015-HublerRFS #data flow #named #using: P-SaMI: a data-flow pattern to perform massively-parallel molecular docking experiments using a fully-flexible receptor model (PH, DDAR, JEF, ONdS), pp. 54–57.
SAC-2015-JoshiSIY #architecture #behaviour #design #embedded #functional #modelling: Mapping functional behavior onto architectural model in a model driven embedded system design (PJ, SKS, JPT, HY), pp. 1624–1630.
SAC-2015-KhlifKKD #approach #architecture #modelling #multi #towards: Towards a multi-scale modeling approach for software architectures (IK, MHK, AHK, KD), pp. 1468–1470.
SAC-2015-KimHC #clustering #documentation #representation #semantics: Semantically enriching text representation model for document clustering (HjK, KjH, JyC), pp. 922–925.
SAC-2015-KundeM #middleware #resource management: Workload characterization model for optimal resource allocation in cloud middleware (SK, TM), pp. 442–447.
SAC-2015-LasagniR #3d: Force model of a robotic particle chain for 3d displays (ML, KR), pp. 314–319.
SAC-2015-MakrisVV #classification #predict: Classification model for predicting cost slippage in governmental ICT projects (CM, PV, JV), pp. 1238–1241.
SAC-2015-MarquesRA15a #process #requirements #towards #traceability: Towards a requirements traceability process centered on the traceability model (AM, FR, WdLA), pp. 1364–1369.
SAC-2015-MeftehBB #approach #case study #diagrams #evaluation #feature model #implementation #modelling #uml: Implementation and evaluation of an approach for extracting feature models from documented UML use case diagrams (MM, NB, HBA), pp. 1602–1609.
SAC-2015-MonteiroL #clustering #power management #scalability #web: Scalable model for dynamic configuration and power management in virtualized heterogeneous web clusters (AFM, OL), pp. 464–467.
SAC-2015-Morelli #automation #generative #modelling: Automated generation of robotics applications from simulink and SysML models (MM), pp. 1948–1954.
SAC-2015-NonnenmacherOBV #modelling #process: Modelling consumers decision-making process about excluding products as a result of mutual influence (VN, LPLdO, BEJB, MBV), pp. 1123–1128.
SAC-2015-RajtmajerGMS #behaviour #game studies #network #online #social: An evolutionary game model for the spread of non-cooperative behavior in online social networks (SMR, CG, DM, ACS), pp. 1154–1159.
SAC-2015-RiccobeneS #adaptation #formal method #modelling #self: Formal modeling self-adaptive service-oriented applications (ER, PS), pp. 1704–1710.
SAC-2015-SanchezJ #interactive #modelling #music #testing: Model based testing of an interactive music system (CPS, FJ), pp. 1759–1764.
SAC-2015-SantiagoPH #approach #detection #modelling: A modeling approach for credit card fraud detection in electronic payment services (GPS, AMP, RHJ), pp. 2328–2331.
SAC-2015-SilvaSBVS #assessment #framework #process #using: Using ArchiMate to model a process assessment framework (NS, MMdS, BB, MV, PS), pp. 1189–1194.
SAC-2015-Soares0W #approach #modelling #named #recognition #requirements #speech: VoiceToModel: an approach to generate requirements models from speech recognition mechanisms (FS, JA, FW), pp. 1350–1357.
SAC-2015-TambeN #behaviour #game studies #modelling #resource management #robust #security: Robust resource allocation in security games and ensemble modeling of adversary behavior (AT, TN), pp. 277–282.
SAC-2015-Valverde-Rebaza #modelling #naive bayes #network #online #predict #social: A naïve Bayes model based on ovelapping groups for link prediction in online social networks (JCVR, AV, LB, TdPF, AdAL), pp. 1136–1141.
SAC-2015-VilelaCPSCL #behaviour #modelling: Deriving the behavior of context-sensitive systems from contextual goal models (JV, JBdC, JP, MS, PC, ML), pp. 1397–1400.
ESEC-FSE-2015-ArcainiGR #composition #generative #modelling #testing: Improving model-based test generation by model decomposition (PA, AG, ER), pp. 119–130.
ESEC-FSE-2015-DakaCFDW #modelling #readability #testing: Modeling readability to improve unit tests (ED, JC, GF, JD, WW), pp. 107–118.
ESEC-FSE-2015-HermannREM #java #towards: Getting to know you: towards a capability model for Java (BH, MR, ME, MM), pp. 758–769.
ESEC-FSE-2015-HeuleSC #modelling #named: Mimic: computing models for opaque code (SH, MS, SC), pp. 710–720.
ESEC-FSE-2015-MorenoCGS #adaptation #approach #model checking #nondeterminism #probability #self: Proactive self-adaptation under uncertainty: a probabilistic model checking approach (GAM, JC, DG, BRS), pp. 1–12.
ESEC-FSE-2015-NguyenGA #case study #modelling #rule-based: Rule-based extraction of goal-use case models from text (THN, JCG, MA), pp. 591–601.
ESEC-FSE-2015-Olajubu #domain-specific language #modelling: A textual domain specific language for requirement modelling (OO), pp. 1060–1062.
ESEC-FSE-2015-SaraivaBZ #developer #how #n-gram: Products, developers, and milestones: how should I build my N-Gram language model (JS, CB, TZ), pp. 998–1001.
ESEC-FSE-2015-SiegmundGAK #configuration management #modelling: Performance-influence models for highly configurable systems (NS, AG, SA, CK), pp. 284–294.
ICSE-v1-2015-Ben-DavidSAB #model checking #product line #requirements #satisfiability #using: Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods (SBD, BS, JMA, SB), pp. 189–199.
ICSE-v1-2015-BocicB #performance #verification: Coexecutability for Efficient Verification of Data Model Updates (IB, TB), pp. 744–754.
ICSE-v1-2015-FilieriGL #adaptation #learning #lightweight #modelling #performance #probability: Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models (AF, LG, AL), pp. 200–211.
ICSE-v1-2015-GhotraMH #classification #fault #modelling #performance #predict: Revisiting the Impact of Classification Techniques on the Performance of Defect Prediction Models (BG, SM, AEH), pp. 789–800.
ICSE-v1-2015-NguyenN #graph #statistics: Graph-Based Statistical Language Model for Code (ATN, TNN), pp. 858–868.
ICSE-v1-2015-SuFPHS #data flow #execution #model checking #symbolic computation #testing: Combining Symbolic Execution and Model Checking for Data Flow Testing (TS, ZF, GP, JH, ZS), pp. 654–665.
ICSE-v1-2015-Tantithamthavorn #fault #modelling #performance #predict: The Impact of Mislabelling on the Performance and Interpretation of Defect Prediction Models (CT, SM, AEH, AI, KiM), pp. 812–823.
ICSE-v1-2015-ZhuLL #programming: A Programming Model for Sustainable Software (HSZ, CL, YDL), pp. 767–777.
ICSE-v2-2015-Assuncao #architecture #migration #product line #search-based: Search-Based Migration of Model Variants to Software Product Line Architectures (WKGA), pp. 895–898.
ICSE-v2-2015-BaoLXWZ #behaviour #developer #interactive #modelling #named #using #video: scvRipper: Video Scraping Tool for Modeling Developers’ Behavior Using Interaction Data (LB, JL, ZX, XW, BZ), pp. 673–676.
ICSE-v2-2015-DixitLW #effectiveness #integration #modelling #named #testing: FormTester: Effective Integration of Model-Based and Manually Specified Test Cases (RD, CL, GW), pp. 745–748.
ICSE-v2-2015-EtienneMAD #modelling #performance #predict #process #proving #trust: Improving Predictability, Efficiency and Trust of Model-Based Proof Activity (JFÉ, MM, FA, VD), pp. 139–148.
ICSE-v2-2015-FamelisBSSC #ide #named #nondeterminism: MU-MMINT: An IDE for Model Uncertainty (MF, NBD, ADS, RS, MC), pp. 697–700.
ICSE-v2-2015-FranksTDH #modelling #named: CACHECA: A Cache Language Model Based Code Suggestion Tool (CF, ZT, PTD, VH), pp. 705–708.
ICSE-v2-2015-Hachem #analysis #architecture #data access #modelling #towards: Towards Model Driven Architecture and Analysis of System of Systems Access Control (JEH), pp. 867–870.
ICSE-v2-2015-Kallehbasti #modelling #scalability #uml #verification: Scalable Formal Verification of UML Models (MMPK), pp. 847–850.
ICSE-v2-2015-KlasBDSH #analysis #evaluation #modelling #scalability #testing: A Large-Scale Technology Evaluation Study: Effects of Model-based Analysis and Testing (MK, TB, AD, TS, PH), pp. 119–128.
ICSE-v2-2015-LindvallGAW #case study #experience #modelling #testing: Metamorphic Model-Based Testing Applied on NASA DAT — An Experience Report (ML, DG, RA, REW), pp. 129–138.
ICSE-v2-2015-Ouriques #modelling #testing: Strategies for Prioritizing Test Cases Generated Through Model-Based Testing Approaches (JFSO), pp. 879–882.
ICSE-v2-2015-TannoZHS #automation #enterprise #generative #modelling #testing #tool support: TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications (HT, XZ, TH, KS), pp. 717–720.
SLE-2015-BenelallamGTC #atl #distributed #model transformation #pipes and filters: Distributed model-to-model transformation with ATL on MapReduce (AB, AG, MT, JC), pp. 37–48.
SLE-2015-EramoPR #bidirectional #model transformation #nondeterminism: Managing uncertainty in bidirectional model transformations (RE, AP, GR), pp. 49–58.
SLE-2015-KuehnBGA #formal method #relational: A combined formal model for relational context-dependent roles (TK, SB, SG, UA), pp. 113–124.
SLE-2015-LatombeCCDP #concurrent #domain-specific language #execution #modelling #weaving: Weaving concurrency in executable domain-specific modeling languages (FL, XC, BC, JD, MP), pp. 125–136.
SLE-2015-OchoaRT #feature model #modelling #using: Using decision rules for solving conflicts in extended feature models (LO, OGR, TT), pp. 149–160.
SLE-2015-UmuhozaBRC #empirical #modelling #process: An empirical study on simplification of business process modeling languages (EU, MB, DR, JC), pp. 13–24.
SPLC-2015-BecanBGA #feature model #modelling #synthesis: Synthesis of attributed feature models from product descriptions (GB, RB, AG, MA), pp. 1–10.
SPLC-2015-BeekLLV #analysis #constraints #modelling #probability #product line #statistics: Statistical analysis of probabilistic models of software product lines with quantitative constraints (MHtB, AL, ALL, AV), pp. 11–15.
SPLC-2015-Beuche #feature model #modelling #variability: Managing variability with feature models (DB), p. 386.
SPLC-2015-ChavarriagaRNCJ #case study #configuration management #experience #feature model #modelling #multi #using: Using multiple feature models to specify configuration options for electrical transformers: an experience report (JC, CR, CN, RC, VJ), pp. 216–224.
SPLC-2015-DimovskiABW #model checking #off the shelf #using: Family-based model checking using off-the-shelf model checkers: extended abstract (ASD, ASAS, CB, AW), p. 397.
SPLC-2015-DomisAB #analysis #modelling #safety #tool support #uml #using #variability: Integrating variability and safety analysis models using commercial UML-based tools (DD, RA, MB), pp. 225–234.
SPLC-2015-FangLDEZ #automation #industrial #modelling #towards: Towards model-based derivation of systems in the industrial automation domain (MF, GL, JD, CE, JZ), pp. 283–292.
SPLC-2015-FontAHC #concept #product line: Building software product lines from conceptualized model patterns (JF, LA, ØH, CC), pp. 46–55.
SPLC-2015-FontBHC #automation #formal method #product line #variability: Automating the variability formalization of a model family by means of common variability language (JF, MB, ØH, CC), pp. 411–418.
SPLC-2015-GaetaC #modelling #product line: Modeling aerospace systems product lines in SysML (JPG, KC), pp. 293–302.
SPLC-2015-LiangGCR #analysis #feature model #modelling #satisfiability #scalability: SAT-based analysis of large real-world feature models is easy (JH(L, VG, KC, VR), pp. 91–100.
SPLC-2015-MontalvilloD #branch #development #git #modelling #repository: Tuning GitHub for SPL development: branching models & repository operations for product engineers (LM, OD), pp. 111–120.
SPLC-2015-RumpeSWRM #behaviour #evolution #maintenance #modelling #product line: Behavioral compatibility of simulink models for product line maintenance and evolution (BR, CS, MvW, JOR, PM), pp. 141–150.
SPLC-2015-SoutoGdMKB #debugging #detection #feature model #modelling #performance #product line: Faster bug detection for software product lines with incomplete feature models (SS, DG, Md, DM, SK, DSB), pp. 151–160.
SPLC-2015-TraskR #architecture #modelling #product line: Leveraging model driven engineering in software product line architectures (BT, AR), p. 392.
ASPLOS-2015-MishraZLH #approach #constraints #energy #modelling #performance #probability #visual notation: A Probabilistic Graphical Model-based Approach for Minimizing Energy Under Performance Constraints (NM, HZ, JDL, HH), pp. 267–281.
CC-2015-PingaliB #context-free grammar #parsing #visual notation: A Graphical Model for Context-Free Grammar Parsing (KP, GB), pp. 3–27.
CGO-2015-KimHSLH #architecture #concurrent #cpu #modelling #programming #scheduling #thread: Locality-centric thread scheduling for bulk-synchronous programming models on CPU architectures (HSK, IEH, JAS, SSL, WmWH), pp. 257–268.
HPDC-2015-ElliottHM #fault #linear: A Numerical Soft Fault Model for Iterative Linear Solvers (JE, MH, FM), pp. 271–274.
HPDC-2015-LiTKC #named #parallel #thread #visual notation: Transit: A Visual Analytical Model for Multithreaded Machines (AL, YCT, AK, HC), pp. 101–106.
LCTES-2015-BarijoughHKG #analysis #streaming #trade-off: Implementation-Aware Model Analysis: The Case of Buffer-Throughput Tradeoff in Streaming Applications (KMB, MH, VK, SG), p. 10.
PPoPP-2015-AcharyaB #locality #modelling #parallel: PLUTO+: near-complete modeling of affine transformations for parallelism and locality (AA, UB), pp. 54–64.
PPoPP-2015-JinLMLLPCK #automation #benchmark #generative #identification #metric #modelling #parallel #statistics: Combining phase identification and statistic modeling for automated parallel benchmark generation (YJ, ML, XM, QL, JSL, NP, JYC, SK), pp. 269–270.
PPoPP-2015-KimLV #multi #programming: An OpenACC-based unified programming model for multi-accelerator systems (JK, SL, JSV), pp. 257–258.
PPoPP-2015-MuralidharanGCSH #performance #programming: A collection-oriented programming model for performance portability (SM, MG, BCC, AS, MWH), pp. 263–264.
PPoPP-2015-ShiLDHJLWLZ #gpu #graph #hybrid #optimisation: Optimization of asynchronous graph processing on GPU with hybrid coloring model (XS, JL, SD, BH, HJ, LL, ZW, XL, JZ), pp. 271–272.
PPoPP-2015-VassiliadisPCALBVN #energy #programming #runtime: A programming model and runtime system for significance-aware energy-efficient computing (VV, KP, CC, CDA, SL, NB, HV, DSN), pp. 275–276.
CADE-2015-DinBH #concurrent #deduction #modelling #named #verification: KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS (CCD, RB, RH), pp. 517–526.
CADE-2015-Ji #deduction #model checking: CTL Model Checking in Deduction Modulo (KJ), pp. 295–310.
CADE-2015-SaghafiDD: Exploring Theories with a Model-Finding Assistant (SS, RD, DJD), pp. 434–449.
CAV-2015-AydinBB #constraints #string: Automata-Based Model Counting for String Constraints (AA, LB, TB), pp. 255–272.
CAV-2015-BozzanoCGM #analysis #modelling #performance #safety: Efficient Anytime Techniques for Model-Based Safety Analysis (MB, AC, AG, CM), pp. 603–621.
CAV-2015-DietschHLP #approach #ltl #model checking #modulo theories: Fairness Modulo Theory: A New Approach to LTL Software Model Checking (DD, MH, VL, AP), pp. 49–66.
CAV-2015-Durand-Gasselin #model checking: Model Checking Parameterized Asynchronous Shared-Memory Systems (ADG, JE, PG, RM), pp. 67–84.
CAV-2015-FinkbeinerRS #algorithm #model checking: Algorithms for Model Checking HyperLTL and HyperCTL ^* (BF, MNR, CS), pp. 30–48.
CAV-2015-KonnovVW #abstraction #algorithm #distributed #model checking #smt: SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms (IK, HV, JW), pp. 85–102.
CAV-2015-MajumdarW #bound #model checking #named #source code: Bbs: A Phase-Bounded Model Checker for Asynchronous Programs (RM, ZW), pp. 496–503.
CAV-2015-ManskyGZ #axiom #memory management #modelling #specification: An Axiomatic Specification for Sequential Memory Models (WM, DG, SZ), pp. 413–428.
CSL-2015-BreuvartP #linear #logic #modelling #relational #semantics: Modelling Coeffects in the Relational Semantics of Linear Logic (FB, MP), pp. 567–581.
CSL-2015-GrelloisM #higher-order #linear #logic #model checking #relational #semantics: Relational Semantics of Linear Logic and Higher-order Model Checking (CG, PAM), pp. 260–276.
CSL-2015-MolinariMP #logic #model checking: A Model Checking Procedure for Interval Temporal Logics based on Track Representatives (AM, AM, AP), pp. 193–210.
CSL-2015-SalvatiW #behaviour #higher-order #source code: A Model for Behavioural Properties of Higher-order Programs (SS, IW), pp. 229–243.
ICLP-2015-LeeMW #logic #markov #semantics: Markov Logic Style Weighted Rules under the Stable Model Semantics (JL, YM, YW).
ICLP-2015-MartinezRIAT #learning #modelling #probability: Learning Probabilistic Action Models from Interpretation Transitions (DM, TR, KI, GA, CT).
ICST-2015-AliY #behaviour #cyber-physical #evolution #modelling #named #nondeterminism #testing: U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems (SA, TY), pp. 1–2.
ICST-2015-ArcainiGV #detection #fault #feature model #generative #modelling #testing: Generating Tests for Detecting Faults in Feature Models (PA, AG, PV), pp. 1–10.
ICST-2015-BaiSP #fault #named #using: NUMFL: Localizing Faults in Numerical Software Using a Value-Based Causal Model (ZB, GS, AP), pp. 1–10.
ICST-2015-BrajnikBF #integration #latency #modelling #testing #web: Model-Based Continuous Integration Testing of Responsiveness of Web Applications (GB, AB, SF), pp. 1–2.
ICST-2015-Felbinger #assessment #model inference #quality #testing #using: Test Suite Quality Assessment Using Model Inference Techniques (HF), pp. 1–2.
ICST-2015-KobashiYWFYOK #design pattern #named #security #testing #verification: TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing (TK, MY, HW, YF, NY, TO, HK), pp. 1–8.
ICST-2015-KrennSTAJB #modelling #mutation testing #named #testing #uml: MoMut: : UML Model-Based Mutation Testing for UML (WK, RS, ST, BKA, EJ, HB), pp. 1–8.
ICST-2015-Lorber #modelling #mutation testing #realtime #testing: Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems (FL), pp. 1–2.
ICST-2015-MohacsiFB #case study #modelling #performance #testing: A Case Study on the Efficiency of Model-Based Testing at the European Space Agency (SM, MF, AB), pp. 1–2.
ICST-2015-NardoPB #analysis #generative #modelling #mutation testing #testing: Generating Complex and Faulty Test Data through Model-Based Mutation Analysis (DDN, FP, LCB), pp. 1–10.
ICST-2015-Rapos #co-evolution #industrial #modelling #testing: Co-Evolution of Model-Based Tests for Industrial Automotive Software (EJR), pp. 1–2.
ICST-2015-RodriguesBCZO #modelling #named #performance #testing: PLeTsPerf — A Model-Based Performance Testing Tool (EdMR, MB, LTC, AFZ, FMdO), pp. 1–8.
ICST-2015-Tiran #incremental #modelling #mutation testing #testing: Incremental Model-Based Mutation Testing (ST), pp. 1–2.
ICST-2015-ZhangAC #exclamation #model checking #verification: Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications (HZ, TA, YC), pp. 1–10.
ISSTA-2015-XueWLXSC #behaviour #classification #detection #javascript #modelling: Detection and classification of malicious JavaScript via attack behavior modelling (YX, JW, YL, HX, JS, MC), pp. 48–59.
LICS-2015-CastellanCW #game studies #parallel: The Parallel Intensionally Fully Abstract Games Model of PCF (SC, PC, GW), pp. 232–243.
LICS-2015-KobayashiL #abstraction #model checking #refinement: Automata-Based Abstraction Refinement for μHORS Model Checking (NK, XL), pp. 713–724.
LICS-2015-McIverMR #data flow #markov #modelling #monad: Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow (AM, CM, TMR), pp. 597–608.
LICS-2015-Ong #bibliography #higher-order #model checking #perspective: Higher-Order Model Checking: An Overview (LO), pp. 1–15.
RTA-2015-Talcott #execution #formal method #logic #modelling: Executable Formal Models in Rewriting Logic (Invited Talk) (CLT), p. 22.
SAT-2015-AzizCMS: #∃SAT: Projected Model Counting (RAA, GC, CJM, PJS), pp. 121–137.
TAP-2015-AichernigNT #behaviour #generative #incremental #modelling #scalability #testing: Scalable Incremental Test-case Generation from Large Behavior Models (BKA, DN, ST), pp. 1–18.
TAP-2015-BirchFP #fault #locality #modelling #performance #testing: Fast Model-Based Fault Localisation with Test Suites (GB, BF, MRP), pp. 38–57.
TAP-2015-DutleMNB #animation #validation: Software Validation via Model Animation (AD, CAM, AN, RWB), pp. 92–108.
TAP-2015-GogollaHHS #case study #consistency #experience #ocl #uml: Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study (MG, LH, FH, MS), pp. 129–136.
TAP-2015-GrinchteinCP #analysis #constraints #optimisation #protocol: A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs (OG, MC, JP), pp. 137–154.
TLCA-2015-AtkeyGFRS #modelling #morphism #physics #polymorphism: Models for Polymorphism over Physical Dimension (RA, NG, FNF, TR, SS), pp. 45–59.
VMCAI-2015-DanMVY #abstraction #effectiveness #memory management #modelling #verification: Effective Abstractions for Verification under Relaxed Memory Models (AMD, YM, MTV, EY), pp. 449–466.
VMCAI-2015-WaezWDR #industrial #realtime: A Model for Industrial Real-Time Systems (MTBW, AW, JD, KR), pp. 153–171.
CBSE-2014-BenedittoW #configuration management #runtime #using: Using a model to generate reconfiguration plans at runtime (MEMDB, CMLW), pp. 65–74.
CBSE-2014-BuresHP #architecture #continuation #modelling #product line #runtime: Strengthening architectures of smart CPS by modeling them as runtime product-lines (TB, PH, FP), pp. 91–96.
CBSE-2014-Lau #component #modelling #past present future: Software component models: past, present and future (KKL), pp. 185–186.
CBSE-2014-MateescuSY #model checking #parallel #process #using: Quantifying the parallelism in BPMN processes using model checking (RM, GS, LY), pp. 159–168.
CBSE-2014-NoorshamsRRKR #architecture #modelling #performance #predict #statistics: Enriching software architecture models with statistical models for performance prediction in modern storage environments (QN, RR, AR, SK, RHR), pp. 45–54.
CBSE-2014-Porter #adaptation #component #composition #fine-grained #runtime: Runtime modularity in complex structures: a component model for fine grained runtime adaptation (BP), pp. 29–34.
CBSE-2014-SmaaliCB #metamodelling #towards: Towards a meta-model for dynamic applications (SS, AC, FB), pp. 23–28.
CBSE-2014-SpacekDT #architecture #component #implementation #modelling #programming #prototype: A component-based meta-level architecture and prototypical implementation of a reflective component-based programming and modeling language (PS, CD, CT), pp. 13–22.
ECSA-2014-ChiprianovFSP #architecture #distributed #embedded #modelling #performance #predict #realtime: Architectural Support for Model-Driven Performance Prediction of Distributed Real-Time Embedded Systems of Systems (VC, KEF, CS, GP), pp. 357–364.
ECSA-2014-SolimanR #architecture #interactive #modelling: Modeling the Interactions between Decisions within Software Architecture Knowledge (MS, MR), pp. 33–40.
QoSA-2014-BrunnertWK #architecture #enterprise #modelling #performance #using: Using architecture-level performance models as resource profiles for enterprise applications (AB, KW, HK), pp. 53–62.
QoSA-2014-BuhnovaCF #bibliography #modelling #predict #reliability: Failure data collection for reliability prediction models: a survey (BB, SC, LF), pp. 83–92.
QoSA-2014-GooijerH #case study #experience #industrial #manycore #memory management #modelling #realtime: Experiences with modeling memory contention for multi-core industrial real-time systems (TdG, KEH), pp. 43–52.
QoSA-2014-JohnsenLPH #dependence #graph #modelling #slicing #verification: Regression verification of AADL models through slicing of system dependence graphs (AJ, KL, PP, KH), pp. 103–112.
QoSA-2014-MirandolaP #adaptation #formal method #modelling #self: Software QoS enhancement through self-adaptation and formal models (RM, DPP), pp. 145–146.
QoSA-2014-MzidMBA #concurrent #design pattern #modelling #named #realtime: SRMP: a software pattern for deadlocks prevention inreal-time concurrency models (RM, CM, JPB, MA), pp. 139–144.
QoSA-2014-Perez-PalacinM #modelling #nondeterminism #performance: Dealing with uncertainties in the performance modelling of software systems (DPP, RM), pp. 33–42.
WICSA-2014-BaroniMMW #architecture #modelling #semantics #wiki: Architecture Description Leveraging Model Driven Engineering and Semantic Wikis (AB, HM, IM, EW), pp. 251–254.
WICSA-2014-DamRE #architecture #consistency #modelling #nondeterminism: Inconsistency Resolution in Merging Versions of Architectural Models (HKD, AR, AE), pp. 153–162.
WICSA-2014-PerovichB #architecture #formal method #modelling: Model-Based Formalization of Software Architecture Knowledge (DP, MCB), pp. 235–238.
WICSA-2014-SeeleSB #architecture #functional #modelling #web: The Functional Architecture Modeling Method Applied on Web Browsers (WS, SS, SB), pp. 171–174.
WICSA-2014-SyromiatnikovW #design pattern: A Journey through the Land of Model-View-Design Patterns (AS, DW), pp. 21–30.
ASE-2014-ArifulinaWBP #composition #modelling #named: SeSAME: modeling and analyzing high-quality service compositions (SA, SW, MB, MCP), pp. 839–842.
ASE-2014-BergmayrTW #evolution: From out-place transformation evolution to in-place model patching (AB, JT, MW), pp. 647–652.
ASE-2014-GayRH #automation: Improving the accuracy of oracle verdicts through automated model steering (GG, SR, MPEH), pp. 527–538.
ASE-2014-KehrerKR #modelling #visual notation: Workspace updates of visual models (TK, UK, DR), pp. 827–830.
ASE-2014-KuschkeM #modelling #process #uml: Pattern-based auto-completion of UML modeling activities (TK, PM), pp. 551–556.
ASE-2014-Lopez-FernandezGL #metamodelling #validation #verification: Meta-Model validation and verification with MetaBest (JJLF, EG, JdL), pp. 831–834.
ASE-2014-LutzD #comparison #data flow #difference #interactive #programming #using #visual notation: Using visual dataflow programming for interactive model comparison (RL, SD), pp. 653–664.
ASE-2014-MatinnejadNBB #configuration management #modelling #scalability #testing #using: MiL testing of highly configurable continuous controllers: scalable search using surrogate models (RM, SN, LCB, TB), pp. 163–174.
ASE-2014-MatinnejadNBB14a #named #testing: CoCoTest: a tool for model-in-the-loop testing of continuous controllers (RM, SN, LCB, TB), pp. 855–858.
ASE-2014-MaYHC #modelling #uml #web: A web based UML modeling tool with touch screens (ZM, CYY, HH, HC), pp. 835–838.
ASE-2014-MoreiraP #modelling #testing #user interface: PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing (RMLMM, ACRP), pp. 863–866.
ASE-2014-OhmannHFHPBB #behaviour #model inference #resource management: Behavioral resource-aware model inference (TO, MH, SF, AH, MP, IB, YB), pp. 19–30.
ASE-2014-PadhyeMS #modelling #named: NeedFeed: taming change notifications by modeling code relevance (RP, SM, VSS), pp. 665–676.
ASE-2014-Priefer #content management #development #modelling: Model-driven development of content management systems based on Joomla (DP), pp. 911–914.
ASE-2014-Schneider #fault #modelling: Tracking down root causes of defects in simulink models (JS), pp. 599–604.
ASE-2014-Schneider14a #fault #modelling #runtime: Determining the most probable root causes of run-time errors in simulink models (JS), pp. 875–878.
ASE-2014-TarvoR #analysis #automation #modelling #parallel #performance #source code #thread: Automated analysis of multithreaded programs for performance modeling (AT, SPR), pp. 7–18.
CASE-2014-BehlNM #named #performance: IMpACT: Inverse model accuracy and control performance toolbox for buildings (MB, TXN, RM), pp. 1109–1114.
CASE-2014-ChangL #mobile #multi: Inverse observation model and multiple hypothesis tracking for indoor mobile robots (FMC, FLL), pp. 1200–1205.
CASE-2014-ChenLL #adaptation #design #predict #using: Design of lane keeping system using adaptive model predictive control (BCC, BCL, KL), pp. 922–926.
CASE-2014-ChenLY #distributed #modelling #network: Sparse particle filtering for modeling space-time dynamics in distributed sensor networks (YC, GL, HY), pp. 626–631.
CASE-2014-ChenS #approach #markov #modelling #novel #using: Modeling building occupancy using a novel inhomogeneous Markov chain approach (ZC, YCS), pp. 1079–1084.
CASE-2014-ChuLSO #analysis #contract #flexibility #linear #parametricity #programming #using: Flexibility analysis on a supply chain contract using a parametric Linear Programming model (CC, EEL, XS, DO), pp. 704–709.
CASE-2014-FantiMULV #health #petri net: A Petri net model of an integrated system for the Health Care At Home management (MPF, AMM, WU, JJL, KV), pp. 582–587.
CASE-2014-HeidingsfeldKTS #fault #modelling: Model-based sensor fault diagnosis for the Stuttgart SmartShell (MH, UK, CT, OS), pp. 846–851.
CASE-2014-HerrNV #complexity #distributed #framework #scheduling: Prognostics-based scheduling in a distributed platform: Model, complexity and resolution (NH, JMN, CV), pp. 1054–1059.
CASE-2014-HsiehHP #generative #predict #using: Improving the stability and fuel economy for Belt-Starter Generator Mild HEV at idle speed using model predict control (FCH, YDH, YWP), pp. 916–921.
CASE-2014-HuangNXCSD #3d #approach #geometry #modelling #predict: Predictive modeling of geometric deviations of 3D printed products — A unified modeling approach for cylindrical and polygon shapes (QH, HN, KX, YC, SS, TD), pp. 25–30.
CASE-2014-HungPC #component #industrial: A logistics integrated service model in Taiwan FTZ for foreign key components supply of bicycle industry (YWH, HHP, HCC), pp. 600–602.
CASE-2014-HuYLC #analysis #automation #modelling #multi #petri net: Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis (HH, YY, YL, CC), pp. 449–454.
CASE-2014-KeferZX #industrial: A versatile, non-linear and elasto-static stiffness model of articulated industrial robots (MK, JZ, HX), pp. 208–214.
CASE-2014-LiLT #petri net #probability #process #scheduling: A color petri net based scheduling model for remanufacturing system with stochastic process routing (LL, CL, YT), pp. 474–479.
CASE-2014-LiuKCY #functional #modelling #monitoring #parametricity: Model-driven parametric monitoring of high-dimensional nonlinear functional profiles (GL, CK, YC, HY), pp. 722–727.
CASE-2014-LiWC #using: Pedestrian tracking system by using human shape prior model (KCL, HCW, JMC), pp. 1139–1143.
CASE-2014-LuoHA #online #predict: Online trajectory tracking based on model predictive control for Service Robot (RCL, KCH, RA), pp. 1238–1243.
CASE-2014-LuW #industrial #modelling: Modeling of forced convection heat transfer from the swing plate on an industrial robot (QL, DW), pp. 202–207.
CASE-2014-LuXJ #markov #process: A Markov Decision Process model for elective inpatient admission with delay announcement (YL, XX, ZJ), pp. 552–557.
CASE-2014-MaDLZ #learning #modelling #simulation: Modeling and simulation of product diffusion considering learning effect (KPM, XD, CFL, JZ), pp. 665–670.
CASE-2014-MarkovskiH #framework #modelling #reliability: A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions (JM, HH), pp. 436–442.
CASE-2014-OberlanderKHRD #3d #multi: A multi-resolution 3-D environment model for autonomous planetary exploration (JO, SK, GH, AR, RD), pp. 229–235.
CASE-2014-ShamsAY #modelling #predict: Predicting patient risk of readmission with frailty models in the Department of Veteran Affairs (IS, SA, KY), pp. 576–581.
CASE-2014-SongWHT #modelling #process: Shape deviation modeling for fused deposition modeling processes (SS, AW, QH, FT), pp. 758–763.
CASE-2014-WuCT #analysis #memory management #modelling #multi: Multistage semiconductor memory inventory model based on survival analysis (JZW, CFC, YCT), pp. 613–618.
CASE-2014-XuLYM #integer #probability #programming: A mixed integer programming model for Bed planning considering stochastic length of stay (LX, NL, XY, FM), pp. 1069–1074.
CASE-2014-YamazakiSYI #3d #modelling: 3D shape modeling of movable parts of furniture based on time-series surface correspondence (KY, KS, TY, MI), pp. 249–254.
CASE-2014-YangFD #modelling: Modeling on the fluid temperature distribution of a spiral heat exchanger (SY, KF, MD), pp. 170–175.
CASE-2014-ZengXLMS #evaluation #performance: An analytical model for performance evaluation of operating room schedules in orthopedic surgery (ZZ, XX, JL, HM, SGSR), pp. 570–575.
CASE-2014-ZhaoCWJD #case study: Experimental study of group thermal comfort model (QZ, ZC, FW, YJ, JD), pp. 1075–1078.
CASE-2014-ZhuWQZ #analysis #clustering #constraints #modelling #multi #petri net #scheduling #tool support: Modeling and schedulability analysis of single-arm multi-cluster tools with residency time constraints via Petri nets (QZ, NW, YQ, MZ), pp. 81–86.
DAC-2014-FangYZL #estimation #named #performance: BMF-BD: Bayesian Model Fusion on Bernoulli Distribution for Efficient Yield Estimation of Integrated Circuits (CF, FY, XZ, XL), p. 6.
DAC-2014-GuoBS #modelling #self: Modeling and Experimental Demonstration of Accelerated Self-Healing Techniques (XG, WB, MRS), p. 6.
DAC-2014-IyengarG #analysis #embedded #memory management #modelling #power management #robust: Modeling and Analysis of Domain Wall Dynamics for Robust and Low-Power Embedded Memory (AI, SG), p. 6.
DAC-2014-KimM #3d #design #on the #reliability: On the Design of Reliable 3D-ICs Considering Charged Device Model ESD Events During Die Stacking (DK, SM), p. 6.
DAC-2014-MunawarS #functional #modelling #scalability: Scalable Co-Simulation of Functional Models With Accurate Event Exchange (AM, SS), p. 6.
DAC-2014-NiKA #component #design #implementation: Design and Implementation of a Dynamic Component Model for Federated AUTOSAR Systems (ZN, AK, JA), p. 6.
DAC-2014-SamalPSSDL #3d #modelling #optimisation #performance: Fast and Accurate Thermal Modeling and Optimization for Monolithic 3D ICs (SKS, SP, KS, MS, YD, SKL), p. 6.
DAC-2014-ShinMP #modelling #statistics: Statistical Battery Models and Variation-Aware Battery Management (DS, EM, MP), p. 6.
DAC-2014-SutariaRZRMC #modelling #random #simulation #validation: BTI-Induced Aging under Random Stress Waveforms: Modeling, Simulation and Silicon Validation (KS, AR, RZ, RR, YM, YC), p. 6.
DAC-2014-WasicekDL #aspect-oriented #cyber-physical #modelling: Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems (AW, PD, EAL), p. 6.
DAC-2014-YuSHEAB #metric #parametricity #using: Remembrance of Transistors Past: Compact Model Parameter Extraction Using Bayesian Inference and Incomplete New Measurements (LY, SS, CH, IAME, DAA, DSB), p. 6.
DAC-2014-ZhuoGS #design #grid #modelling #optimisation #power management: Early-Stage Power Grid Design: Extraction, Modeling and Optimization (CZ, HG, WKS), p. 6.
DATE-2014-AfacanAFDB #automation #design #modelling #optimisation: Model based hierarchical optimization strategies for analog design automation (EA, SA, FVF, GD, IFB), pp. 1–4.
DATE-2014-AyariABCKR #predict: New implementions of predictive alternate analog/RF test with augmented model redundancy (HA, FA, SB, MC, VK, MR), pp. 1–4.
DATE-2014-BahrebarS #approach #network: Improving hamiltonian-based routing methods for on-chip networks: A turn model approach (PB, DS), pp. 1–4.
DATE-2014-BalckGP #generative #modelling #protocol #testing #using: Model-based protocol log generation for testing a telecommunication test harness using CLP (KB, OG, JP), pp. 1–4.
DATE-2014-BanagaayaAST #network #order #reduction: Implicit index-aware model order reduction for RLC/RC networks (NB, GA, WHAS, CT), pp. 1–6.
DATE-2014-BeneventiBVDB #analysis #identification #logic: Thermal analysis and model identification techniques for a logic + WIDEIO stacked DRAM test chip (FB, AB, PV, DD, LB), pp. 1–4.
DATE-2014-BiewerGH #novel #smt: A novel model for system-level decision making with combined ASP and SMT solving (AB, JG, CH), pp. 1–4.
DATE-2014-ButtazzoBB #adaptation #analysis #design: Rate-adaptive tasks: Model, analysis, and design issues (GCB, EB, DB), pp. 1–6.
DATE-2014-ChenCT #performance #simulation: An activity-sensitive contention delay model for highly efficient deterministic full-system simulations (SYC, CHC, RST), pp. 1–6.
DATE-2014-ChenHD #analysis #graph #modelling: May-happen-in-parallel analysis based on segment graphs for safe ESL models (WC, XH, RD), pp. 1–6.
DATE-2014-FischerCM #analysis #design #modelling: Power modeling and analysis in early design phases (BF, CC, HM), pp. 1–6.
DATE-2014-GangopadhyayLNR #adaptation #analysis #linear #modelling #performance: Modeling and analysis of digital linear dropout regulators with adaptive control for high efficiency under wide dynamic range digital loads (SG, YL, SBN, AR), pp. 1–6.
DATE-2014-GholipourCSC #modelling #scalability: Highly accurate SPICE-compatible modeling for single- and double-gate GNRFETs with studies on technology scaling (MG, YYC, AS, DC), pp. 1–6.
DATE-2014-HaddadTBF #independence #modelling #on the #probability: On the assumption of mutual independence of jitter realizations in P-TRNG stochastic models (PH, YT, FB, VF), pp. 1–6.
DATE-2014-HeidmannHHWPP #design #modelling: Modeling of an analog recording system design for ECoG and AP signals (NH, NH, TH, TW, DPD, SP), pp. 1–6.
DATE-2014-KimHPSL #approach #implementation #modelling #testing: A layered approach for testing timing in the model-based implementation (BK, HIH, TP, SHS, IL), pp. 1–4.
DATE-2014-LangeSJHLS #correlation #modelling #parametricity #probability #standard: Probabilistic standard cell modeling considering non-Gaussian parameters and correlations (AL, CS, RJ, JH, IL, US), pp. 1–4.
DATE-2014-LiuSZSC #constraints #latency #optimisation #streaming: Resource optimization for CSDF-modeled streaming applications with latency constraints (DL, JS, JTZ, TS, GC), pp. 1–6.
DATE-2014-LongLY #analysis #bound #evaluation #modelling #multi: Analysis and evaluation of per-flow delay bound for multiplexing models (YL, ZL, XY), pp. 1–4.
DATE-2014-MooreC #modelling #performance: Program affinity performance models for performance and utilization (RWM, BRC), pp. 1–4.
DATE-2014-PapadimitriouHBML #clustering #fault #injection #modelling #multi #towards: A multiple fault injection methodology based on cone partitioning towards RTL modeling of laser attacks (AP, DH, VB, PM, RL), pp. 1–4.
DATE-2014-Pomeranz14a #fault: Substituting transition faults with path delay faults as a basic delay fault model (IP), pp. 1–6.
DATE-2014-QiZ #modelling #performance #simulation: Efficient simulation and modelling of non-rectangular NoC topologies (JQ, MZ), pp. 1–4.
DATE-2014-RuhrmairS #bibliography #modelling #perspective: PUF modeling attacks: An introduction and overview (UR, JS), pp. 1–6.
DATE-2014-SalunkheMB #analysis #data flow #modelling: Mode-Controlled Dataflow based modeling & analysis of a 4G-LTE receiver (HS, OM, KvB), pp. 1–4.
DATE-2014-SongDY #analysis #bound #multi #order #parametricity #performance #reduction: Zonotope-based nonlinear model order reduction for fast performance bound analysis of analog circuits with multiple-interval-valued parameter variations (YS, SMPD, HY), pp. 1–6.
DATE-2014-SwaminathanKCSPSN #architecture #modelling: Modeling steep slope devices: From circuits to architectures (KS, MSK, NC, BS, RP, JS, VN), pp. 1–6.
DATE-2014-Velasco-JimenezCRF #composition #implementation #modelling #performance: Implementation issues in the hierarchical composition of performance models of analog circuits (MVJ, RCL, ER, FVF), pp. 1–6.
DATE-2014-VijaykumarV #analysis #canonical #statistics #using: Statistical static timing analysis using a skew-normal canonical delay model (MV, VV), pp. 1–6.
DATE-2014-WangZMYJDP #adaptation #manycore: Adaptive power allocation for many-core systems inspired from multiagent auction model (XW, BZ, TSTM, MY, YJ, MD, MP), pp. 1–4.
DATE-2014-ZebeleinHFST #communication #modelling #multi #protocol: Model-based actor multiplexing with application to complex communication protocols (CZ, CH, JF, TS, JT), pp. 1–4.
DocEng-2014-BarabucciBIMM #detection #documentation #modelling #visualisation: Document changes: modeling, detection, storage and visualization (DChanges 2014) (GB, UMB, ADI, SM, EVM), pp. 207–208.
DRR-2014-KumarWG #documentation #keyword: Variational dynamic background model for keyword spotting in handwritten documents (GK, SW, VG), pp. 902104–9.
DRR-2014-PuriSH #modelling #probability: Probabilistic modeling of children’s handwriting (MP, SNS, LH), pp. 902103–13.
HT-2014-ChoiAL #authoring #hypermedia #modelling: Spatial hypertext modeling for dynamic contents authoring system based on transclusion (JRC, SA, SBL), pp. 303–304.
HT-2014-HerzigMR #detection #social #social media #topic: An author-reader influence model for detecting topic-based influencers in social media (JH, YM, HR), pp. 46–55.
PODS-2014-Haas #challenge #ecosystem #roadmap #tool support: Model-data Ecosystems: challenges, tools, and trends (PJH), pp. 76–87.
SIGMOD-2014-ChiangDN #evolution #modelling: Modeling entity evolution for temporal record matching (YHC, AD, JFN), pp. 1175–1186.
SIGMOD-2014-LiuWZZK #behaviour #modelling #named #scalability #social: HYDRA: large-scale social identity linkage via heterogeneous behavior modeling (SL, SW, FZ, JZ, RK), pp. 51–62.
SIGMOD-2014-ShenHW #network #probability #web: A probabilistic model for linking named entities in web text with heterogeneous information networks (WS, JH, JW), pp. 1199–1210.
SIGMOD-2014-YinCCHH #behaviour #modelling #social #social media: A temporal context-aware model for user behavior modeling in social media systems (HY, BC, LC, ZH, ZH), pp. 1543–1554.
VLDB-2014-SuSGOS #big data #java: Changing Engines in Midstream: A Java Stream Computational Model for Big Data Processing (XS, GS, BG, BO, PS), pp. 1343–1354.
CSEET-2014-GaarT #collaboration #integration #modelling #social #social media: Improving model-based collaboration by social media integration (WG, ET), pp. 158–162.
CSEET-2014-Lethbridge #development #education #effectiveness #modelling #using: Teaching modeling using Umple: Principles for the development of an effective tool (TCL), pp. 23–28.
CSEET-2014-SedelmaierL #modelling #process #requirements #using: Using business process models to foster competencies in requirements engineering (YS, DL), pp. 13–22.
ITiCSE-2014-BurdenA #modelling: Mastering model-driven engineering (HB, TA), p. 351.
ITiCSE-2014-ChenD #development #education #mobile: A teaching model for development of sensor-driven mobile applications (HC, KD), pp. 147–152.
ITiCSE-2014-HeldalSBM #communication #industrial: Supporting communication within industrial doctoral projects: the thesis steering model (IH, ES, LB, RM), p. 325.
ESOP-2014-BenzakenCD #coq #formal method #relational: A Coq Formalization of the Relational Data Model (VB, EC, SD), pp. 189–208.
ESOP-2014-BrainDKS #generative #proving #source code: Model and Proof Generation for Heap-Manipulating Programs (MB, CD, DK, PS), pp. 432–452.
FASE-2014-BaierDKDKMW #model checking #multi #probability #reasoning #standard: Probabilistic Model Checking and Non-standard Multi-objective Reasoning (CB, CD, SK, MD, JK, SM, SW), pp. 1–16.
FASE-2014-CunhaMG #relational: Target Oriented Relational Model Finding (AC, NM, TG), pp. 17–31.
FASE-2014-KrauseTG #graph transformation #implementation #parallel: Implementing Graph Transformations in the Bulk Synchronous Parallel Model (CK, MT, HG), pp. 325–339.
FASE-2014-StruberRTC #crawling #information retrieval #modelling #using: Splitting Models Using Information Retrieval and Model Crawling Techniques (DS, JR, GT, MC), pp. 47–62.
FoSSaCS-2014-Munch-Maccagnoni #composition #modelling: Models of a Non-associative Composition (GMM), pp. 396–410.
FoSSaCS-2014-Tsukada0 #call-by #complexity #model checking #source code: Complexity of Model-Checking Call-by-Value Programs (TT, NK), pp. 180–194.
TACAS-2014-ArmandoCC #model checking #named #satisfiability: SATMC: A SAT-Based Model Checker for Security-Critical Systems (AA, RC, LC), pp. 31–45.
TACAS-2014-BaierKKM #markov #modelling: Computing Conditional Probabilities in Markovian Models Efficiently (CB, JK, SK, SM), pp. 515–530.
TACAS-2014-BeekFHHMMR #modelling: CIF 3: Model-Based Engineering of Supervisory Controllers (DAvB, WF, DH, AH, JM, JMvdMF, MAR), pp. 575–580.
TACAS-2014-HartmannsH #ide #modelling #tool support #verification: The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification (AH, HH), pp. 593–598.
TACAS-2014-JahierDML #case study #modelling #testing: Environment-Model Based Testing of Control Systems: Case Studies (EJ, SDD, CM, EL), pp. 636–650.
TACAS-2014-KroeningT #bound #c #contest #model checking #named: CBMC — C Bounded Model Checker — (Competition Contribution) (DK, MT), pp. 389–391.
TACAS-2014-ReinekeT #modelling #multi #problem: Basic Problems in Multi-View Modeling (JR, ST), pp. 217–232.
TACAS-2014-SalemDKT #automaton #invariant #model checking #testing #using: Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata (AEBS, ADL, FK, YTM), pp. 440–454.
WRLA-2014-AlrahmanABL #concurrent #maude #memory management #modelling #question #source code: Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? (YAA, MA, AB, ALL), pp. 21–41.
WRLA-2014-BaeM #infinity #model checking #using: Infinite-State Model Checking of LTLR Formulas Using Narrowing (KB, JM), pp. 113–129.
WRLA-2014-BartolettiMSZ #maude #modelling #verification: Modelling and Verifying Contract-Oriented Systems in Maude (MB, MM, AS, RZ), pp. 130–146.
CSMR-WCRE-2014-AlalfiCD #analysis #clustering #experience #industrial: Analysis and clustering of model clones: An automotive industrial experience (MHA, JRC, TRD), pp. 375–378.
CSMR-WCRE-2014-BuchlerHMMGO #model inference #security #testing: Model inference and security testing in the spacios project (MB, KH, PFM, MM, RG, CO), pp. 411–414.
CSMR-WCRE-2014-GrantC #maintenance #similarity #topic: Examining the relationship between topic model similarity and software maintenance (SG, JRC), pp. 303–307.
CSMR-WCRE-2014-MihanceaM #named #security #verification #web: JMODEX: Model extraction for verifying security properties of web applications (PFM, MM), pp. 450–453.
CSMR-WCRE-2014-PanichellaOL #fault #modelling #predict: Cross-project defect prediction models: L’Union fait la force (AP, RO, ADL), pp. 164–173.
CSMR-WCRE-2014-UjhelyiHVCSVF #comparison #detection #query: Anti-pattern detection with model queries: A comparison of approaches (ZU, ÁH, DV, NIC, GS, LV, RF), pp. 293–302.
ICPC-2014-GuptaS #program analysis #quality: A semiautomated method for classifying program analysis rules into a quality model (SG, HKS), pp. 266–270.
ICPC-2014-McBurneyLMW #source code #summary #topic: Improving topic model source code summarization (PWM, CL, CM, TW), pp. 291–294.
ICPC-2014-SuzukiSIH #approach #modelling #n-gram #using: An approach for evaluating and suggesting method names using n-gram models (TS, KS, FI, SH), pp. 271–274.
ICPC-2014-VasconcelosSW #feature model #visualisation: An information visualization feature model for supporting the selection of software visualizations (RV, MS, CW), pp. 122–125.
ICSME-2014-AlalfiRSSDC #automation #identification #modelling #representation #variability: Semi-automatic Identification and Representation of Subsystem Variability in Simulink Models (MHA, EJR, AS, MS, TRD, JRC), pp. 486–490.
ICSME-2014-GauthierMST #data access #evolution #maintenance #modelling #web: Supporting Maintenance and Evolution of Access Control Models in Web Applications (FG, EM, ES, DT), pp. 506–510.
ICSME-2014-Rapos #co-evolution #industrial #modelling #testing: Co-evolution of Model-Based Tests for Industrial Automotive Software (EJR), p. 663.
ICSME-2014-Stephan #analysis #clone detection #detection #evaluation #mutation testing #using: Model Clone Detector Evaluation Using Mutation Analysis (MS), pp. 633–638.
ICSME-2014-WangLL #composition #debugging #locality #modelling: Compositional Vector Space Models for Improved Bug Localization (SW, DL, JL), pp. 171–180.
ICSME-2014-ZouH #modelling #topic: LDA Analyzer: A Tool for Exploring Topic Models (CZ, DH), pp. 593–596.
MSR-2014-0001MKZ #fault #predict #towards: Towards building a universal defect prediction model (FZ, AM, IK, YZ), pp. 182–191.
MSR-2014-CampbellHA #fault #modelling #syntax: Syntax errors just aren’t natural: improving error reporting with language models (JCC, AH, JNA), pp. 252–261.
MSR-2014-FukushimaKMYU #empirical #fault #modelling #predict #using: An empirical study of just-in-time defect prediction using cross-project models (TF, YK, SM, KY, NU), pp. 172–181.
MSR-2014-KhodabandelouHDS #modelling #process: Unsupervised discovery of intentional process models from event logs (GK, CH, RD, CS), pp. 282–291.
MSR-2014-TulsianKKLN #algorithm #model checking #named: MUX: algorithm selection for software model checkers (VT, AK, RK, AL, AVN), pp. 132–141.
MSR-2014-WilliamsRMRK #dataset #modelling: Models of OSS project meta-information: a dataset of three forges (JRW, DDR, NDM, JDR, DSK), pp. 408–411.
PLDI-2014-AlglaveMT #memory management #modelling #simulation #testing: Herding cats: modelling, simulation, testing, and data-mining for weak memory (JA, LM, MT), p. 7.
PLDI-2014-LuuSSD #bound #constraints #string: A model counter for constraints over unbounded strings (LL, SS, PS, BD), p. 57.
PLDI-2014-RaychevVY #code completion #modelling #statistics: Code completion with statistical language models (VR, MTV, EY), p. 44.
STOC-2014-KesselheimTRV #online: Primal beats dual on online packing LPs in the random-order model (TK, KR, AT, BV), pp. 303–312.
STOC-2014-MakarychevMV #approximate #constant: Constant factor approximation for balanced cut in the PIE model (KM, YM, AV), pp. 41–49.
AFL-2014-CarayolH #algorithm #automaton #model checking: Saturation algorithms for model-checking pushdown systems (AC, MH), pp. 1–24.
ICALP-v1-2014-BringmannKPPT #performance #physics #simulation: Internal DLA: Efficient Simulation of a Physical Growth Model — (Extended Abstract) (KB, FK, KP, UP, HT), pp. 247–258.
ICALP-v1-2014-ChildsGW: The Bose-Hubbard Model is QMA-complete (AMC, DG, ZW), pp. 308–319.
ICALP-v1-2014-HegdeIS #linear #modelling: Nearly Linear-Time Model-Based Compressive Sensing (CH, PI, LS), pp. 588–599.
ICALP-v1-2014-KusumotoY #morphism #testing: Testing Forest-Isomorphism in the Adjacency List Model (MK, YY), pp. 763–774.
ICALP-v2-2014-AschnerK #bound #constraints #modelling #network: Bounded-Angle Spanning Tree: Modeling Networks with Angular Constraints (RA, MJK), pp. 387–398.
LATA-2014-DingSXHMC #modelling #probability: Stochastic k-Tree Grammar and Its Application in Biomolecular Structure Modeling (LD, AS, XX, XH, RLM, LC), pp. 308–322.
LATA-2014-FinkbeinerT #linear #logic #modelling: Counting Models of Linear-Time Temporal Logic (BF, HT), pp. 360–371.
LATA-2014-KleinMBK #automaton #model checking #probability #question: Are Good-for-Games Automata Good for Probabilistic Model Checking? (JK, DM, CB, SK), pp. 453–465.
FM-2014-BaiHWLLM #formal method #model checking #named #towards: TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms (GB, JH, JW, YL, ZL, AM), pp. 110–126.
FM-2014-BowenR #interactive #modelling #semantics: A Simplified Z Semantics for Presentation Interaction Models (JB, SR), pp. 148–162.
FM-2014-DuggiralaWMVM #modelling #parallel #precedence #protocol: Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol (PSD, LW, SM, MV, CAM), pp. 215–229.
FM-2014-HahnLSTZ #model checking #named #probability: iscasMc: A Web-Based Probabilistic Model Checker (EMH, YL, SS, AT, LZ), pp. 312–317.
FM-2014-LinH #composition #concurrent #learning #model checking #synthesis: Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning (SWL, PAH), pp. 416–431.
IFM-2014-AbbasBR #modelling #uml: Modeling UML Template Classes with FoCaLiZe (MA, CBBY, RR), pp. 87–102.
IFM-2014-FathabadiSB #manycore #modelling #process #runtime: Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems (ASF, CFS, MJB), pp. 120–135.
IFM-2014-LaibinisBPTTP #in the cloud #modelling #simulation: Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud (LL, BB, IP, ET, KET, IP), pp. 103–119.
IFM-2014-OliveiraSF #model checking #specification: Model-Checking Circus State-Rich Specifications (MVMO, ACAS, MSCF), pp. 39–54.
SEFM-2014-BeckerSAB #analysis #constraints #deployment #fault tolerance #formal method: A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems (KB, BS, MA, CB), pp. 205–219.
SEFM-2014-BonifacioM #modelling #testing: Test Suite Completeness and Partial Models (ALB, AVM), pp. 96–110.
SEFM-2014-DobrikovL #model checking #optimisation #partial order #reduction #using: Optimising the ProB Model Checker for B Using Partial Order Reduction (ID, ML), pp. 220–234.
SEFM-2014-HajisheykhiEK #fault #modelling #using: Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL (RH, AE, SSK), pp. 175–189.
SEFM-2014-LaibinisTGMK #behaviour #formal method #modelling #verification: Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B (LL, ET, ZG, FM, AHK), pp. 363–377.
SEFM-2014-MotaFDW #agile #model checking #prototype #semantics: Rapid Prototyping of a Semantically Well Founded Circus Model Checker (AM, AF, AD, JW), pp. 235–249.
SEFM-2014-ReicherdtG #matlab #modelling #using #verification: Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie (RR, SG), pp. 190–204.
SFM-2014-AbrahamBDJKW #bibliography #generative #markov #modelling: Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (EÁ, BB, CD, NJ, JPK, RW), pp. 65–121.
SFM-2014-BubelMH #analysis #execution #modelling: Analysis of Executable Software Models (RB, AFM, RH), pp. 1–25.
SFM-2014-GmeinerKSVW #algorithm #distributed #fault tolerance #model checking #tutorial: Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (AG, IK, US, HV, JW), pp. 122–171.
SFM-2014-LochauPKS #modelling #testing: Model-Based Testing (ML, SP, MK, IS), pp. 310–342.
GRAPHITE-2014-FernandezKP #analysis #framework #graph grammar #interactive #modelling: Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework (MF, HK, BP), pp. 15–29.
GT-VMT-2014-HusseinHDS #adaptation #modelling #network: Modelling Adaptive Networks: The Case of the Petrified Voters (MH, RH, VD, PS).
GT-VMT-2014-StuckrathW #adaptation #modelling #petri net #user interface: Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models (JS, BW).
GT-VMT-2014-WangBL #alloy #graph #model transformation #using #verification: Verification of Graph-based Model Transformations Using Alloy (XW, FB, YL).
ICGT-2014-AnjorinLST #graph grammar #model transformation #performance #static analysis: A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation (AA, EL, AS, GT), pp. 130–145.
ICGT-2014-BelhaouariAGB #geometry #graph transformation #library #modelling #named: Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling (HB, AA, PLG, TB), pp. 269–284.
ICGT-2014-Delzanno #distributed #model checking #protocol #verification: Parameterized Verification and Model Checking for Distributed Broadcast Protocols (GD), pp. 1–16.
ICGT-2014-SelimLCDO #graph #model transformation #specification #verification: Specification and Verification of Graph-Based Model Transformation Properties (GMKS, LL, JRC, JD, BJO), pp. 113–129.
CHI-2014-BaillyOBH #linear #visual notation: Model of visual search and selection time in linear menus (GB, AO, DPB, AH), pp. 3865–3874.
CHI-2014-Bergstrom-LehtovirtaO #functional #mobile #modelling: Modeling the functional area of the thumb on mobile touchscreen surfaces (JBL, AO), pp. 1991–2000.
CHI-2014-ChenGWSHFA #3d #authoring #modelling: History assisted view authoring for 3D models (HTC, TG, LYW, RMS, BH, GWF, MA), pp. 2027–2036.
CHI-2014-HongA #modelling #performance #predict #recommendation #user interface: Novice use of a predictive human performance modeling tool to produce UI recommendations (KWH, RSA), pp. 2251–2254.
CHI-2014-HongMD #behaviour #framework: A smartphone-based sensing platform to model aggressive driving behaviors (JHH, BM, AKD), pp. 4047–4056.
CHI-2014-KierasH #modelling #predict #towards #visual notation: Towards accurate and practical predictive models of active-vision-based visual search (DEK, AJH), pp. 3875–3884.
CHI-2014-MarananASPSB #design #modelling #using: Designing for movement: evaluating computational models using LMA effort qualities (DSM, SFA, TS, PP, PS, LB), pp. 991–1000.
CHI-2014-NancelC #concept #interactive #named: Causality: a conceptual model of interaction history (MN, AC), pp. 1777–1786.
CHI-2014-NicosiaOK #modelling #performance: Modeling the perception of user performance (MN, AO, POK), pp. 1747–1756.
CHI-2014-Oulasvirta #automation #human-computer #modelling: Automated nonlinear regression modeling for HCI (AO), pp. 3899–3902.
CHI-2014-ZadeAGDC #bisimulation #distance #edit distance #evolution #modelling: Edit distance modulo bisimulation: a quantitative measure to study evolution of user models (HZ, SAA, SG, AKD, VC), pp. 1757–1766.
CHI-2014-ZhangH #comprehension #modelling #multi: Understanding multitasking through parallelized strategy exploration and individualized cognitive modeling (YZ, AJH), pp. 3885–3894.
CSCW-2014-YueHH #collaboration #modelling #process #using #web: Modeling search processes using hidden states in collaborative exploratory web search (ZY, SH, DH), pp. 820–830.
DHM-2014-Delgado-GonzaloRCSLBL #algorithm #embedded #energy #modelling #state of the art: Human Energy Expenditure Models: Beyond State-of-the-Art Commercialized Embedded Algorithms (RDG, PR, EMC, JS, CL, MB, ML), pp. 3–14.
DHM-2014-FacoettiVCR #low cost #modelling: A Low Cost Haptic Mouse for Prosthetic Socket Modeling (GF, AV, GC, CR), pp. 508–515.
DHM-2014-FuCLCZ #framework #modelling: Evaluating Work Disability of Lower Limb Handicapped within a Human Modeling Framework (YF, XC, SL, JGC, BZ), pp. 516–526.
DHM-2014-GaoH #approach #fault #nondeterminism #research: Research on the Continuous Descent Approach (CDA) Operational Error of Pilot Base on Cloud Model and Uncertainty Theory (YG, YH), pp. 91–100.
DHM-2014-LiuTZSLSF #assessment #behaviour #framework #modelling #named #performance: COMPAss: A Space Cognitive Behavior Modeling and Performance Assessment Platform (YL, ZT, YZ, QS, JL, JS, FF), pp. 630–636.
DHM-2014-MarlerBVJRD #design: A Digital Human Model for Performance-Based Design (TM, SB, UV, RJ, VR, BD), pp. 136–147.
DHM-2014-ZhangTWHFC #modelling: Modeling Human Control Strategies in Simulated RVD Tasks through the Time-Fuel Optimal Control Model (SZ, YT, CW, SH, YF, SC), pp. 661–670.
DUXU-DI-2014-CambaCJ #3d #case study #comparative #modelling #visual notation: Management of Visual Clutter in Annotated 3D CAD Models: A Comparative Study (JC, MC, MDJ), pp. 405–416.
DUXU-DI-2014-Fadel #design #web: Experience-Centered Web Design Model (LMF), pp. 92–103.
DUXU-DI-2014-LeiXCLCZLG #gesture #human-computer #mobile #named: Gestures: The Reformer of the User’s Mental Model in Mobile HCI (TL, LX, KC, XL, YC, QZ, DL, SG), pp. 586–597.
DUXU-DI-2014-MushtahaT #concept #design #locality: The Cultural Conceptual Model for Simplifying the Design of Localized Websites (AM, ODT), pp. 158–169.
DUXU-DI-2014-RenziF #gesture #interactive #interface #modelling #multi: Affordances and Gestural Interaction on Multi-touch Interface Systems: Building New Mental Models (ABR, SF), pp. 615–623.
DUXU-DI-2014-SpiliotopoulosDK14a #authoring #design #interface #modelling #policy #prototype: Need Driven Prototype Design for a Policy Modeling Authoring Interface (DS, AD, DK), pp. 481–487.
DUXU-DI-2014-WojdziakG #3d #approach #design #interface #modelling: Beyond Perspective — A Model-Based Approach for Camera-Based 3D-Interface Design (JW, RG), pp. 488–498.
DUXU-DP-2014-ChapmanP #effectiveness #maturity #user interface: A UX Maturity Model: Effective Introduction of UX into Organizations (LC, SP), pp. 12–22.
DUXU-ELAS-2014-KamiyaKASNMF #design #using: Timeaxis Design of a Service System Growing Values of Mobility Using the M-V Model (KK, AK, JA, KS, HN, YM, SF), pp. 281–292.
DUXU-TMT-2014-ChangHL #design #experience: Cultural Creativity in Experience Design Model (SHC, CHH, RL), pp. 622–630.
DUXU-TMT-2014-YigitbasFS #adaptation #development #modelling #self #user interface: Model-Based User Interface Development for Adaptive Self-Service Systems (EY, HF, SS), pp. 206–213.
HCI-AIMT-2014-DharmaT #bibliography #elicitation #empirical #heuristic #perspective: A Heuristic Model of Vibrotactile Haptic Feedbacks Elicitation Based on Empirical Review (AAGD, KT), pp. 624–632.
HCI-AIMT-2014-FleischmannSS #case study #comparative #interactive #modelling #process: Tangible or Not Tangible — A Comparative Study of Interaction Types for Process Modeling Support (AF, WS, CS), pp. 544–555.
HCI-AIMT-2014-NieblingSKS #diagrams #editing #gesture #interactive #modelling #multi: Model-Based Multi-touch Gesture Interaction for Diagram Editors (FN, DS, RK, TS), pp. 121–130.
HCI-AIMT-2014-ReddyC #artificial reality #process #recognition #using: Human Activity Recognition from Kinect Captured Data Using Stick Model (VRR, TC), pp. 305–315.
HCI-AIMT-2014-RestyanditoCP: The Effect of Voice Instruction on the Construction of Mental Model (R, AHSC, UP), pp. 481–491.
HCI-AIMT-2014-RoyC #artificial reality #detection #invariant #markov #using: View-Invariant Human Detection from RGB-D Data of Kinect Using Continuous Hidden Markov Model (SR, TC), pp. 325–336.
HCI-AIMT-2014-TawatsujiMM #reasoning #towards: Proposal for the Model of Occurrence of Negative Response toward Humanlike Agent Based on Brain Function by Qualitative Reasoning (YT, KM, TM), pp. 768–778.
HCI-AS-2014-DiasDH #fuzzy #interactive #modelling #quality #using: Exploring B-Learning Scenarios Using Fuzzy Logic-Based Modeling of Users’ LMS Quality of Interaction in Ergonomics and Psychomotor Rehabilitation Academic Courses (SBD, JAD, LJH), pp. 233–243.
HCI-AS-2014-FedericiMRDLBM: A Model of Web-Based Follow-Up to Reduce Assistive Technology Abandonment (SF, MLM, SAR, WD, GL, SB, FM), pp. 674–682.
HCI-AS-2014-LandyLNPLM #analysis #comparative #development #predict: Finding Directions to a Good GPS System — A Comparative Analysis and Development of a Predictive Model (JL, TL, NN, PP, EL, PM), pp. 454–465.
HCI-AS-2014-WienkenMHK: Model of Mobility Oriented Agenda Planning (TW, CM, SH, HK), pp. 537–544.
HCI-TMT-2014-AraujoJ #human-computer #interactive #modelling: Psychological Personas for Universal User Modeling in Human-Computer Interaction (CFdA, PTAJ), pp. 3–13.
HCI-TMT-2014-BatistaUF #adaptation #design #guidelines #interface #process #web: A Model and Guidelines for the Interface Design Process for Adaptive Web Applications (IDPAWA) (CRB, VRU, AMdVF), pp. 387–398.
HCI-TMT-2014-BotegaBAN #data fusion #interactive: A Model to Promote Interaction between Humans and Data Fusion Intelligence to Enhance Situational Awareness (LCB, CBB, RBdA, VPdAN), pp. 399–410.
HCI-TMT-2014-Brahnam #human-computer #modelling #prototype: HCI Prototyping and Modeling of Future Psychotherapy Technologies in Second Life (SB), pp. 273–284.
HCI-TMT-2014-BuchholzF #design #modelling #smarttech: Combining Design of Models for Smart Environments with Pattern-Based Extraction (GB, PF), pp. 285–294.
HCI-TMT-2014-EngelHM #development #evaluation #modelling #user interface: Evaluation of Model-Based User Interface Development Approaches (JE, CH, CM), pp. 295–307.
HCI-TMT-2014-OrtegaLHBRA #formal method #modelling #multi #named #petri net #using: PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net (FRO, SL, FH, AB, NR, MA), pp. 361–372.
HCI-TMT-2014-TombergL #case study #design #education #modelling: Teaching Design for All Through Empathic Modeling: A Case Study in Tallinn University (VT, ML), pp. 259–269.
HIMI-AS-2014-HirashimaYH #learning #problem #word: Triplet Structure Model of Arithmetical Word Problems for Learning by Problem-Posing (TH, SY, YH), pp. 42–50.
HIMI-AS-2014-KometaniTFA #behaviour #education #estimation #student: An Improved Teaching Behavior Estimation Model from Student Evaluations (YK, TT, TF, TA), pp. 59–68.
HIMI-AS-2014-KwonJKY: A Knowledge Distribution Model to Support an Author in Narrative Creation (HK, SJ, HTK, WCY), pp. 511–522.
HIMI-AS-2014-MaeshiroM #network #process: Polyhedron Network Model to Describe Creative Processes (TM, MM), pp. 535–545.
HIMI-AS-2014-NozakiY #internet #modelling: Modeling Consumers with TV and Internet (AN, KY), pp. 614–621.
HIMI-AS-2014-ZhangXCZL #fault #predict #probability: Predictive Probability Model of Pilot Error Based on CREAM (XZ, HX, YC, LZ, GL), pp. 296–304.
HIMI-DE-2014-Ainoya #towards: KADEN Project — Towards the Construction of Model for Sharing Cognition in Manufacturing - (TA), pp. 291–297.
HIMI-DE-2014-CunhaFPS #modelling #query #spreadsheet #visual notation: Graphical Querying of Model-Driven Spreadsheets (JC, JPF, RP, JS), pp. 419–430.
HIMI-DE-2014-KatoM #deployment #modelling #quality #using: Quality Function Deployment Using Improved Interpretive Structural Modeling (TK, YM), pp. 352–363.
HIMI-DE-2014-LiGF #agile #collaboration #framework #research: Collaborative Innovation Research on Co-working Platform Based on Lean Startup Model (YL, QG, ZF), pp. 491–502.
HIMI-DE-2014-SutoPK #collaboration #data type #design #multi: A Collaboration Support Tool for Multi-cultural Design Team Based on Extended ADT Model (HS, PP, NK), pp. 548–557.
HIMI-DE-2014-UedaA14a #twitter: Suggestion of Operation Method of the Interest Shift Model of the Twitter User (YU, YA), pp. 664–677.
LCT-NLE-2014-LimongelliS #fuzzy #modelling #personalisation #student: Fuzzy Student Modeling for Personalization of e-Learning Courses (CL, FS), pp. 292–301.
LCT-NLE-2014-SousaLD #human-computer #towards #trust: A Model for Human-Computer Trust — Contributions Towards Leveraging User Engagement (SCS, DRL, PD), pp. 128–137.
LCT-TRE-2014-BosseP #towards: Towards Aggression De-escalation Training with Virtual Agents: A Computational Model (TB, SP), pp. 375–387.
SCSM-2014-AhangamaLKP #analysis #mobile #monitoring: Revolutionizing Mobile Healthcare Monitoring Technology: Analysis of Features through Task Model (SA, YSL, SYK, DCCP), pp. 298–305.
SCSM-2014-LeonardoFGPSSUWC #identification #social #social media #trust: Identifying Locations of Social Significance: Aggregating Social Media Content to Create a New Trust Model for Exploring Crowd Sourced Data and Information (ADL, SF, AG, FP, WS, TS, AU, DW, JBC), pp. 170–177.
SCSM-2014-PlikynasRR #interactive #modelling #social: Modelling of Excitation Propagation for Social Interactions (DP, AR, SR), pp. 242–252.
HILT-2014-AhmadLBZD #behaviour #cyber-physical #hybrid #interactive #modelling: Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling (EA, BRL, SCB, NZ, YD), pp. 29–38.
HILT-2014-Feiler #modelling: AADL and model-based engineering (PHF), pp. 17–18.
HILT-2014-GacekBCSW #architecture #assurance #modelling #named: Resolute: an assurance case language for architecture models (AG, JB, DDC, KS, MWW), pp. 19–28.
HILT-2014-HuguesG #ada #modelling: Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models (JH, CG), pp. 39–46.
HILT-2014-RathjeR #framework #java #model checking #network #source code: A framework for model checking UDP network programs with Java pathfinder (WR, BR), pp. 81–86.
HILT-2014-Seidewitz #execution #modelling #uml: UML with meaning: executable modeling in foundational UML and the Alf action language (ES), pp. 61–68.
CAiSE-2014-FolinoGP #low level #mining #modelling #multi #predict #process: Mining Predictive Process Models out of Low-level Multidimensional Logs (FF, MG, LP), pp. 533–547.
CAiSE-2014-GarciaDC #adaptation #approach #model-to-text #sql: An Adapter-Based Approach to Co-evolve Generated SQL in Model-to-Text Transformations (JG, OD, JC), pp. 518–532.
CAiSE-2014-GralhaG0 #composition #identification #modelling #requirements: Identifying Modularity Improvement Opportunities in Goal-Oriented Requirements Models (CG, MG, JA), pp. 91–104.
CAiSE-2014-PolyvyanyyRH #modelling #performance #process #retrieval #using: Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings (AP, MLR, AHMtH), pp. 439–456.
CAiSE-2014-WauteletHKM #modelling: Unifying and Extending User Story Models (YW, SH, MK, IM), pp. 211–225.
EDOC-2014-0001HPW #execution #framework #implementation #modelling: Implementation Framework for Production Case Management: Modeling and Execution (AM, NH, FP, MW), pp. 190–199.
EDOC-2014-FlorezSV #analysis #approach #automation #enterprise #modelling: Extensible Model-Based Approach for Supporting Automatic Enterprise Analysis (HF, MES, JV), pp. 32–41.
EDOC-2014-FrancescomarinoRGV #modelling #process #semantics: The Role of Semantic Annotations in Business Process Modelling (CDF, MR, CG, AV), pp. 181–189.
EDOC-2014-KurodaG #dependence #modelling #scalability: Model-Based IT Change Management for Large System Definitions with State-Related Dependencies (TK, ASG), pp. 170–179.
EDOC-2014-NardiFA #analysis #modelling #ontology: An Ontological Analysis of Service Modeling at ArchiMate’s Business Layer (JCN, RdAF, JPAA), pp. 92–100.
EDOC-2014-RitterS #exception #integration #modelling: Modeling Exception Flows in Integration Systems (DR, JS), pp. 12–21.
EDOC-2014-SchutzS #modelling: Customization of Domain-Specific Reference Models for Data Warehouses (CGS, MS), pp. 61–70.
EDOC-2014-Weber #comprehension #how #modelling #process #towards: Investigating the Process of Process Modeling: Towards an in-Depth Understanding of How Process Models Are Created (BW), p. 180.
ICEIS-v1-2014-DahlbomR #modelling #visual notation: Situation Modeling and Visual Analytics for Decision Support in Sports (AD, MR), pp. 539–544.
ICEIS-v1-2014-FolinoGP #framework #modelling #predict: A Framework for the Discovery of Predictive Fix-time Models (FF, MG, LP), pp. 99–108.
ICEIS-v1-2014-FreitasBL #ontology #pervasive #workflow: Workflow Model for Management of Ontology of Homecare Pervasive Systems (LOF, EB, GRL), pp. 241–248.
ICEIS-v1-2014-HenriquesA #database #generative #modelling #sequence: Generative Modeling of Itemset Sequences Derived from Real Databases (RH, CA), pp. 264–272.
ICEIS-v1-2014-MamcenkoG #mobile #predict #using: Customer Churn Prediction in Mobile Operator Using Combined Model (JM, JG), pp. 233–240.
ICEIS-v1-2014-Olive #agile #concept #development #information management #modelling: Conceptual Modeling in Agile Information Systems Development (AO), p. XI.
ICEIS-v1-2014-RouhaniAA #evaluation #fuzzy: Fuzzy DEMATEL Model for Evaluation Criteria of Business Intelligence (SR, AA, SA), pp. 456–463.
ICEIS-v2-2014-AntonioRF #embedded #modelling #process #validation #verification: Verification and Validation Activities for Embedded Systems — A Feasibility Study on a Reading Technique for SysML Models (EAA, RR, SCPFF), pp. 233–240.
ICEIS-v2-2014-BalikJ #adaptation #api #rest: RESTful User Model API for the Exchange of User’s Preferences among Adaptive Systems (MB, IJ), pp. 627–634.
ICEIS-v2-2014-BassoPRF #agile #case study #information management #modelling #web: Study on Combining Model-driven Engineering and Scrum to Produce Web Information Systems (FPB, RMP, FRF, RZF), pp. 137–144.
ICEIS-v2-2014-CasalinoCMGT #effectiveness: Defining a Model for Effective e-Government Services and an Inter-organizational Cooperation in Public Sector (NC, MC, MdM, MG, GT), pp. 400–408.
ICEIS-v2-2014-FerreiraMS #education #social: Social Business — A New Dimension for Education and Training in Organizations — The EToW Model (MJF, FM, MIS), pp. 420–427.
ICEIS-v2-2014-FerreiraS #approach #enterprise #implementation #named #semantics #towards #web: e-swim: Enterprise Semantic Web Implementation Model — Towards a Systematic Approach to Implement the Semantic Web in Enterprises (RF, IS), pp. 653–658.
ICEIS-v2-2014-LangermeierDORB #composition #modelling #ontology #variability: Change and Version Management in Variability Models for Modular Ontologies (ML, TD, HO, PR, BB), pp. 383–390.
ICEIS-v2-2014-MaretLL #ad hoc #community #semantics #web: A Semantic Web Model for Ad Hoc Context-aware Virtual Communities — Application to the Smart Place Scenario (PM, FL, DL), pp. 591–598.
ICEIS-v2-2014-MeloS #design #modelling #uml #using: Model-driven Structural Design of Software-intensive Systems Using SysML Blocks and UML Classes (MdSM, MSS), pp. 193–200.
ICEIS-v2-2014-PanfilenkoEML #impact analysis #independence #model transformation #recommendation #requirements: Recommendations for Impact Analysis of Model Transformations — From the Requirements Model to the Platform-independent Model (DVP, AE, CM, PL), pp. 428–434.
ICEIS-v2-2014-PfisterHN #agile #concurrent #design #diagrams #framework #metamodelling #modelling #synthesis #towards #visual notation: A Framework for Concurrent Design of Metamodels and Diagrams — Towards an Agile Method for the Synthesis of Domain Specific Graphical Modeling Languages (FP, MH, CN), pp. 298–306.
ICEIS-v2-2014-PintoDOC #aspect-oriented #development #framework #modelling #multi #product line #programming #towards: Evaluating the Effort for Modularizing Multiple-Domain Frameworks Towards Framework Product Lines with Aspect-oriented Programming and Model-driven Development (VHSCP, RSD, ALO, VVdC), pp. 60–70.
ICEIS-v2-2014-SilvaMTW #modelling #process: Business Process Modeling and Instantiation in Home Care Environments (JKKdS, GMM, LHT, LKW), pp. 513–525.
ICEIS-v2-2014-ZhengLLZX #e-commerce #framework #game studies: e-Commerce Game Model — Balancing Platform Service Charges with Vendor Profitability (JZ, DLL, WL, ZKZ, HX), pp. 613–619.
ICEIS-v3-2014-AlkhaldiCG #development #ontology #process: Supporting Process Model Development with Enterprise-Specific Ontologies (NA, SC, FG), pp. 236–248.
ICEIS-v3-2014-BalinaAMS #development #metamodelling: Meta Model of e-Learning Materials Development (SB, IA, IM, ES), pp. 150–155.
ICEIS-v3-2014-CuencaBOT #architecture: Business-IT Alignment and Service Oriented Architecture — A Proposal of a Service-Oriented Strategic Alignment Model (LC, AB, ÁOB, JJMT), pp. 490–495.
ICEIS-v3-2014-DSouzaBHWV #assessment #framework #modelling #ontology: An Assessment Framework for Business Model Ontologies to Ensure the Viability of Business Models (AD, NRTPvB, GBH, JCW, HV), pp. 226–235.
ICEIS-v3-2014-OrdonezCCWT #collaboration #evaluation #modelling #process #repository: Collaborative Evaluation to Build Closed Repositories on Business Process Models (HO, JCC, CC, LKW, LHT), pp. 311–318.
ICEIS-v3-2014-RohlfsGP #architecture #comprehension #concept #enterprise: Understanding Enterprise Architecture through Bodies of Knowledge — A Conceptual Model (CLdRR, GG, FSP), pp. 249–259.
ICEIS-v3-2014-RoychoudhuryRKK #enterprise #modelling: Models to Aid Decision Making in Enterprises (SR, AR, VK, DK), pp. 465–471.
ICEIS-v3-2014-SaidCAB #metamodelling #modelling #process: Extending BPMN 2.0 Meta-models for Process Version Modelling (IBS, MAC, EA, RB), pp. 384–393.
ICEIS-v3-2014-SinghJIS #architecture #enterprise #modelling: Modeling Value Creation with Enterprise Architecture (PMS, HJ, MEI, MvS), pp. 343–351.
ICEIS-v3-2014-ThabetGG #mining #petri net #process #towards: Towards Business Process Model Extension with Cost Perspective Based on Process Mining — Petri Net Model Case (DT, SAG, HHBG), pp. 335–342.
CIKM-2014-CalvaneseMET #modelling #process #uml: Verifiable UML Artifact-Centric Business Process Models (DC, MM, ME, ET), pp. 1289–1298.
CIKM-2014-ChangZGCXT #modelling #online #predict: Predicting the Popularity of Online Serials with Autoregressive Models (BC, HZ, YG, EC, HX, CT), pp. 1339–1348.
CIKM-2014-DeBBGC #learning #linear: Learning a Linear Influence Model from Transient Opinion Dynamics (AD, SB, PB, NG, SC), pp. 401–410.
CIKM-2014-Deolalikar14a #behaviour #clustering #modelling #parametricity #retrieval: Parameter Tuning with User Models: Influencing Aggregate User Behavior in Cluster Based Retrieval Systems (VD), pp. 1823–1826.
CIKM-2014-DerntlGTKJ #modelling #topic #web: Building and Exploring Dynamic Topic Models on the Web (MD, NG, AT, RK, MJ), pp. 2012–2014.
CIKM-2014-DingL: Model Selection with the Covering Number of the Ball of RKHS (LZD, SL), pp. 1159–1168.
CIKM-2014-DrumondDSN #modelling #multi #optimisation: Optimizing Multi-Relational Factorization Models for Multiple Target Relations (LRD, EDA, LST, WN), pp. 191–200.
CIKM-2014-EickhoffV #modelling: Modelling Complex Relevance Spaces with Copulas (CE, APdV), pp. 1831–1834.
CIKM-2014-FangZTSFSDZL #behaviour #game studies #modelling #network #social: Modeling Paying Behavior in Game Social Networks (ZF, XZ, JT, WS, ACMF, LS, YD, LZ, JL), pp. 411–420.
CIKM-2014-GuiSHB #modelling #multi #network #topic: Modeling Topic Diffusion in Multi-Relational Bibliographic Information Networks (HG, YS, JH, GB), pp. 649–658.
CIKM-2014-Huo0LM #performance #query: Improving Tail Query Performance by Fusion Model (SH, MZ, YL, SM), pp. 559–568.
CIKM-2014-HustonC #comparison #dependence #modelling #retrieval #using: A Comparison of Retrieval Models using Term Dependencies (SH, WBC), pp. 111–120.
CIKM-2014-KimHYCK #retrieval: Exploiting Knowledge Structure for Proximity-aware Movie Retrieval Model (SK, KH, MYY, SC, SK), pp. 1847–1850.
CIKM-2014-KimTS: Tracking Temporal Dynamics of Purchase Decisions via Hierarchical Time-Rescaling Model (HK, NT, HS), pp. 1389–1398.
CIKM-2014-KiselevaCBD #detection #modelling #user satisfaction: Modelling and Detecting Changes in User Satisfaction (JK, EC, RB, RD), pp. 1449–1458.
CIKM-2014-LimB #sentiment #topic #twitter: Twitter Opinion Topic Model: Extracting Product Opinions from Tweets by Leveraging Hashtags and Sentiment Lexicon (KWL, WLB), pp. 1319–1328.
CIKM-2014-LimsopathamMO #modelling #multi #ranking #towards: Modelling Relevance towards Multiple Inclusion Criteria when Ranking Patients (NL, CM, IO), pp. 1639–1648.
CIKM-2014-LinJXWCW #analysis #sentiment: A Cross-Lingual Joint Aspect/Sentiment Model for Sentiment Analysis (ZL, XJ, XX, WW, XC, YW), pp. 1089–1098.
CIKM-2014-LinLYC #classification #modelling #sentiment: Exploring Ensemble of Models in Taxonomy-based Cross-Domain Sentiment Classification (CKL, YYL, CHY, HHC), pp. 1279–1288.
CIKM-2014-LiuWZNZM #web: From Skimming to Reading: A Two-stage Examination Model for Web Search (YL, CW, KZ, JYN, MZ, SM), pp. 849–858.
CIKM-2014-LvZ #feedback: Revisiting the Divergence Minimization Feedback Model (YL, CZ), pp. 1863–1866.
CIKM-2014-MarkovKNSRC #effectiveness #metric #modelling: Vertical-Aware Click Model-Based Effectiveness Metrics (IM, EK, VN, PS, MdR, FC), pp. 1867–1870.
CIKM-2014-MaSYC #hashtag #modelling #probability #twitter: Tagging Your Tweets: A Probabilistic Modeling of Hashtag Annotation in Twitter (ZM, AS, QY, GC), pp. 999–1008.
CIKM-2014-ShenHGDM #information retrieval #semantics: A Latent Semantic Model with Convolutional-Pooling Structure for Information Retrieval (YS, XH, JG, LD, GM), pp. 101–110.
CIKM-2014-TakayamaTIOFC #detection #probability: A Word-Scale Probabilistic Latent Variable Model for Detecting Human Values (YT, YT, EI, DWO, KRF, ASC), pp. 1489–1498.
CIKM-2014-TkachenkoL #generative #modelling: Generative Modeling of Entity Comparisons in Text (MT, HWL), pp. 859–868.
CIKM-2014-TuLLH #ad hoc #documentation #information retrieval: Log-Bilinear Document Language Model for Ad-hoc Information Retrieval (XT, JL, BL, TH), pp. 1895–1898.
CIKM-2014-VineZKSB #semantics #similarity: Medical Semantic Similarity with a Neural Language Model (LDV, GZ, BK, LS, PB), pp. 1819–1822.
CIKM-2014-WangGL #modelling #personalisation #recommendation #transaction: Modeling Retail Transaction Data for Personalized Shopping Recommendation (PW, JG, YL), pp. 1979–1982.
CIKM-2014-WuF14a #modelling #performance #query: Analytical Performance Modeling for Top-K Query Processing (HW, HF), pp. 1619–1628.
CIKM-2014-YeLQPM #generative: A Generative Model for Generating Relevance Labels from Human Judgments and Click-Logs (XY, JL, ZQ, BP, DM), pp. 1907–1910.
ECIR-2014-BaiGLC #documentation #linear #matrix #modelling: Local Linear Matrix Factorization for Document Modeling (LB, JG, YL, XC), pp. 398–411.
ECIR-2014-BansalPGV #ambiguity #modelling #named: EDIUM: Improving Entity Disambiguation via User Modeling (RB, SP, MG, VV), pp. 418–423.
ECIR-2014-ChenWHY #modelling #personalisation #ranking #social #social media: Facet-Based User Modeling in Social Media for Personalized Ranking (CC, DW, CH, XY), pp. 443–448.
ECIR-2014-YounusOP #approach #behaviour #microblog #modelling #personalisation: A Language Modeling Approach to Personalized Search Based on Users’ Microblog Behavior (AY, CO, GP), pp. 727–732.
ECIR-2014-ZhangZWS #network #recommendation: Content + Attributes: A Latent Factor Model for Recommending Scientific Papers in Heterogeneous Academic Networks (CZ, XZ, KW, JS), pp. 39–50.
ICML-c1-2014-ChanA #consistency #graph #modelling: A Consistent Histogram Estimator for Exchangeable Graph Models (SHC, EA), pp. 208–216.
ICML-c1-2014-GopalY #clustering #modelling: Von Mises-Fisher Clustering Models (SG, YY), pp. 154–162.
ICML-c1-2014-InouyeRD #dependence #topic #word: Admixture of Poisson MRFs: A Topic Model with Word Dependencies (DI, PDR, ISD), pp. 683–691.
ICML-c1-2014-LianREC #correlation #markov #modelling #process: Modeling Correlated Arrival Events with Latent Semi-Markov Processes (WL, VR, BE, LC), pp. 396–404.
ICML-c1-2014-LiWLZT #dependence #modelling #on the #topic: On Modelling Non-linear Topical Dependencies (ZL, SW, JL, PZ, JT), pp. 458–466.
ICML-c1-2014-MeiZZ #first-order #logic #modelling #robust: Robust RegBayes: Selectively Incorporating First-Order Logic Domain Knowledge into Bayesian Models (SM, JZ, JZ), pp. 253–261.
ICML-c1-2014-RabinovichB #topic: The Inverse Regression Topic Model (MR, DMB), pp. 199–207.
ICML-c1-2014-SamdaniCR #clustering #online: A Discriminative Latent Variable Model for Online Clustering (RS, KWC, DR), pp. 1–9.
ICML-c1-2014-SoufianiPX #modelling #parametricity #ranking: Computing Parametric Ranking Models via Rank-Breaking (HAS, DCP, LX), pp. 360–368.
ICML-c1-2014-TangMNMZ #analysis #comprehension #modelling #topic: Understanding the Limiting Factors of Topic Modeling via Posterior Contraction Analysis (JT, ZM, XN, QM, MZ), pp. 190–198.
ICML-c1-2014-ZhangZZ #infinity #markov #modelling: Max-Margin Infinite Hidden Markov Models (AZ, JZ, BZ), pp. 315–323.
ICML-c2-2014-BothaB #composition #modelling #word: Compositional Morphology for Word Representations and Language Modelling (JAB, PB), pp. 1899–1907.
ICML-c2-2014-Busa-FeketeHS #elicitation #modelling #rank #statistics #using: Preference-Based Rank Elicitation using Statistical Models: The Case of Mallows (RBF, EH, BS), pp. 1071–1079.
ICML-c2-2014-ChagantyL #modelling #using #visual notation: Estimating Latent-Variable Graphical Models using Moments and Likelihoods (ATC, PL), pp. 1872–1880.
ICML-c2-2014-Chapados #effectiveness #modelling: Effective Bayesian Modeling of Groups of Related Count Time Series (NC), pp. 1395–1403.
ICML-c2-2014-Chen0 #big data #learning #modelling #topic #using: Topic Modeling using Topics from Many Domains, Lifelong Learning and Big Data (ZC, BL), pp. 703–711.
ICML-c2-2014-ChenX #modelling #statistics: Statistical-Computational Phase Transitions in Planted Models: The High-Dimensional Setting (YC, JX), pp. 244–252.
ICML-c2-2014-HeinemannG #modelling #visual notation: Inferning with High Girth Graphical Models (UH, AG), pp. 1260–1268.
ICML-c2-2014-Hernandez-LobatoHG #matrix #modelling #probability #scalability: Stochastic Inference for Scalable Probabilistic Modeling of Binary Matrices (JMHL, NH, ZG), pp. 379–387.
ICML-c2-2014-JohnsonW #modelling #probability: Stochastic Variational Inference for Bayesian Time Series Models (MJ, ASW), pp. 1854–1862.
ICML-c2-2014-KirosSZ #modelling #multimodal: Multimodal Neural Language Models (RK, RS, RSZ), pp. 595–603.
ICML-c2-2014-KpotufeSJS #consistency: Consistency of Causal Inference under the Additive Noise Model (SK, ES, DJ, BS), pp. 478–486.
ICML-c2-2014-LiuSD #approximate #modelling #visual notation: Gaussian Approximation of Collective Graphical Models (LPL, DS, TGD), pp. 1602–1610.
ICML-c2-2014-LiuZBP #dependence #modelling #multi #testing #visual notation: Multiple Testing under Dependence via Semiparametric Graphical Models (JL, CZ, ESB, DP), pp. 955–963.
ICML-c2-2014-MaddisonT #generative #modelling #source code: Structured Generative Models of Natural Source Code (CJM, DT), pp. 649–657.
ICML-c2-2014-McGibbonRSKP #comprehension #markov #modelling: Understanding Protein Dynamics with L1-Regularized Reversible Hidden Markov Models (RM, BR, MS, GK, VSP), pp. 1197–1205.
ICML-c2-2014-MengEH #learning #modelling #visual notation: Learning Latent Variable Gaussian Graphical Models (ZM, BE, AOHI), pp. 1269–1277.
ICML-c2-2014-NgoT #modelling #relational: Model-Based Relational RL When Object Existence is Partially Observable (NAV, MT), pp. 559–567.
ICML-c2-2014-NiepertD #modelling: Exchangeable Variable Models (MN, PMD), pp. 271–279.
ICML-c2-2014-RezendeMW #approximate #generative #modelling #probability: Stochastic Backpropagation and Approximate Inference in Deep Generative Models (DJR, SM, DW), pp. 1278–1286.
ICML-c2-2014-ScholzLIW #object-oriented: A Physics-Based Model Prior for Object-Oriented MDPs (JS, ML, CLIJ, DW), pp. 1089–1097.
ICML-c2-2014-SongADX #estimation #modelling #multi #parametricity: Nonparametric Estimation of Multi-View Latent Variable Models (LS, AA, BD, BX), pp. 640–648.
ICML-c2-2014-ToulisAR #analysis #linear #modelling #probability #statistics: Statistical analysis of stochastic gradient methods for generalized linear models (PT, EA, JR), pp. 667–675.
ICML-c2-2014-TrigeorgisBZS #learning: A Deep Semi-NMF Model for Learning Hidden Representations (GT, KB, SZ, BWS), pp. 1692–1700.
ICML-c2-2014-WangHS #learning: Active Transfer Learning under Model Shift (XW, TKH, JS), pp. 1305–1313.
ICML-c2-2014-WangLYFWY #algorithm #modelling #parallel #scalability: A Highly Scalable Parallel Algorithm for Isotropic Total Variation Models (JW, QL, SY, WF, PW, JY), pp. 235–243.
ICML-c2-2014-WenYG #learning #nondeterminism #robust: Robust Learning under Uncertain Test Distributions: Relating Covariate Shift to Model Misspecification (JW, CNY, RG), pp. 631–639.
ICPR-2014-0005ZTS #detection #segmentation: Human Hair Segmentation and Length Detection for Human Appearance Model (YW, ZZ, EKT, BS), pp. 450–454.
ICPR-2014-AfkhamEC #framework #modelling: A Topological Framework for Training Latent Variable Models (HMA, CHE, SC), pp. 2471–2476.
ICPR-2014-AlemdarKNME #behaviour #modelling #using: A Unified Model for Human Behavior Modeling Using a Hierarchy with a Variable Number of States (HÖA, TvK, MEN, AM, CE), pp. 3804–3809.
ICPR-2014-BargiXP #adaptation #classification #infinity #learning #online #segmentation #streaming: An Infinite Adaptive Online Learning Model for Segmentation and Classification of Streaming Data (AB, RYDX, MP), pp. 3440–3445.
ICPR-2014-ChenWCN #detection #fault #modelling #network: Confusion Network Based Recurrent Neural Network Language Modeling for Chinese OCR Error Detection (JC, YW, HC, PN), pp. 1266–1271.
ICPR-2014-DanckaersHLLVDS: Correspondence Preserving Elastic Surface Registration with Shape Model Prior (FD, TH, DL, AL, SV, SVD, JS), pp. 2143–2148.
ICPR-2014-DengWGZZ #modelling #multi: Multiple View Based Building Modeling with Multi-box Grammar (RD, QW, RG, GZ, HZ), pp. 4027–4032.
ICPR-2014-DonoserHS #multi: Multiple Model Fitting by Evolutionary Dynamics (MD, MH, DS), pp. 3816–3821.
ICPR-2014-DrewsNXC: Generalized Optical Flow Model for Scattering Media (PDJ, ERN, AX, MFMC), pp. 3999–4004.
ICPR-2014-DuanHZCZ #image #segmentation #using: A Two-Stage Image Segmentation Method Using Euler’s Elastica Regularized Mumford-Shah Model (YD, WH, JZ, HC, TZ), pp. 118–123.
ICPR-2014-DuCZ #aspect-oriented #identification #using: A Product Aspects Identification Method by Using Translation-Based Language Model (JD, WC, XZ), pp. 2790–2795.
ICPR-2014-DuDA #modelling #topic #using: Signature Matching Using Supervised Topic Models (XD, DSD, WAA), pp. 327–332.
ICPR-2014-FrazES #recognition: Mid-level-Representation Based Lexicon for Vehicle Make and Model Recognition (MF, EAE, MSS), pp. 393–398.
ICPR-2014-GiordanoPS #estimation #kernel #modelling #using: Kernel Density Estimation Using Joint Spatial-Color-Depth Data for Background Modeling (DG, SP, CS), pp. 4388–4393.
ICPR-2014-HaqBBA #modelling #segmentation #using: Using Shape-Aware Models for Lumbar Spine Intervertebral Disc Segmentation (RH, DAB, RCB, MAA), pp. 3191–3196.
ICPR-2014-HasnatAT #clustering #image #using: Unsupervised Clustering of Depth Images Using Watson Mixture Model (MAH, OA, AT), pp. 214–219.
ICPR-2014-HouHW #modelling #synthesis #video: Cloud Model-Based Dynamic Texture Synthesis for Video Coding (ZH, RH, ZW), pp. 838–842.
ICPR-2014-IoannidisCL #clustering #modelling #multi #using: Key-Frame Extraction Using Weighted Multi-view Convex Mixture Models and Spectral Clustering (AI, VC, AL), pp. 3463–3468.
ICPR-2014-JudV #using: Using Object Probabilities in Deformable Model Fitting (CJ, TV), pp. 3310–3314.
ICPR-2014-LiangLLFL #detection #modelling: Accurate Facial Landmarks Detection for Frontal Faces with Extended Tree-Structured Models (AL, WL, LL, MRF, VL), pp. 538–543.
ICPR-2014-LiangZ #3d #modelling #recognition: 3D Motion Trail Model Based Pyramid Histograms of Oriented Gradient for Action Recognition (BL, LZ), pp. 1952–1957.
ICPR-2014-LiRPV #modelling #topic #using: Regularizing Topic Discovery in EMRs with Side Information by Using Hierarchical Bayesian Models (CL, SR, DQP, SV), pp. 1307–1312.
ICPR-2014-LitvinovL #incremental #modelling #visual notation: Incremental Solid Modeling from Sparse Structure-from-Motion Data with Improved Visual Artifacts Removal (VL, ML), pp. 2745–2750.
ICPR-2014-LiuKFYG #semantics: Model Semantic Relations with Extended Attributes (YL, XK, HF, XY, YG), pp. 2549–2554.
ICPR-2014-LiuWF #modelling: Modeling the Relationship of Action, Object, and Scene (JL, XW, YF), pp. 2005–2010.
ICPR-2014-LiuZZL #detection #realtime: Real-Time Scene Text Detection Based on Stroke Model (YL, DZ, YZ, SL), pp. 3116–3120.
ICPR-2014-LiWQ #visual notation: Visual Tracking via Saliency Weighted Sparse Coding Appearance Model (WL, PW, HQ), pp. 4092–4097.
ICPR-2014-LuoZYY #estimation: Region Tree Based Sparse Model for Optical Flow Estimation (WL, FZ, JY, JYY), pp. 2077–2082.
ICPR-2014-LuWMST #detection #modelling: Anomaly Detection through Spatio-temporal Context Modeling in Crowded Scenes (TL, LW, XM, PS, CLT), pp. 2203–2208.
ICPR-2014-MaHXP #3d #approach #robust #using: A Lighting Robust Fitting Approach of 3D Morphable Model Using Spherical Harmonic Illumination (MM, XH, YX, SP), pp. 2101–2106.
ICPR-2014-MavadatiM #automation #metric #modelling: Temporal Facial Expression Modeling for Automated Action Unit Intensity Measurement (SMM, MHM), pp. 4648–4653.
ICPR-2014-MoeiniMAF #2d #3d #image #invariant #modelling #recognition #women: Makeup-Invariant Face Recognition by 3D Face: Modeling and Dual-Tree Complex Wavelet Transform from Women’s 2D Real-World Images (AM, HM, FA, KF), pp. 1710–1715.
ICPR-2014-MontealegreH #interactive #named #tool support #visual notation: GIST: Graphical Interactive Display Tools Defining a Model for Interactive Search (IM, RMH), pp. 2984–2989.
ICPR-2014-NieJ #learning #linear #using: Feature Learning Using Bayesian Linear Regression Model (SN, QJ), pp. 1502–1507.
ICPR-2014-NishimuraOAN #image #modelling #speech #using #web: Selection of Unknown Objects Specified by Speech Using Models Constructed from Web Images (HN, YO, YA, MN), pp. 477–482.
ICPR-2014-OnalAVFOOY #analysis #modelling: Modeling the Brain Connectivity for Pattern Analysis (IO, EA, BV, OF, MO, IÖ, FTYV), pp. 3339–3344.
ICPR-2014-OsogamiK: A Hierarchical Bayesian Choice Model with Visibility (TO, TK), pp. 3618–3623.
ICPR-2014-PlanincK #modelling: Combining Spatial and Temporal Information for Inactivity Modeling (RP, MK), pp. 4234–4239.
ICPR-2014-QureshiHA #probability #using: A Probabilistic Model for the Optimal Configuration of Retinal Junctions Using Theoretically Proven Features (TAQ, AH, BAD), pp. 3304–3309.
ICPR-2014-RamaiahPG #generative: A Sigma-Lognormal Model for Handwritten Text CAPTCHA Generation (CR, RP, VG), pp. 250–255.
ICPR-2014-RiabchenkoKC #generative #learning #modelling: Learning Generative Models of Object Parts from a Few Positive Examples (ER, JKK, KC), pp. 2287–2292.
ICPR-2014-RothermelHWB #generative #modelling #performance #robust #semantics #video: Fast and Robust Generation of Semantic Urban Terrain Models from UAV Video Streams (MR, NH, KW, DB), pp. 592–597.
ICPR-2014-SharifzadehZK #estimation #forensics #modelling #multi #parametricity #visualisation: Vein Pattern Visualization through Multiple Mapping Models and Local Parameter Estimation for Forensic Investigation (HRS, HZ, AWKK), pp. 160–165.
ICPR-2014-ShivramRG #case study #comparative #identification #modelling #online: Data Sufficiency for Online Writer Identification: A Comparative Study of Writer-Style Space vs. Feature Space Models (AS, CR, VG), pp. 3121–3125.
ICPR-2014-SinghKZ #detection #difference #image #markov #multi #scalability: A Multilayer Markovian Model for Change Detection in Aerial Image Pairs with Large Time Differences (PS, ZK, JZ), pp. 924–929.
ICPR-2014-SunZL #adaptation #detection: An Adaptive-Profile Active Shape Model for Facial-Feature Detection (KS, HZ, KML), pp. 2849–2854.
ICPR-2014-TamboBLHY #comprehension #video: Integrated Model for Understanding Pollen Tube Growth in Video (ALT, BB, NL, GH, ZY), pp. 2727–2732.
ICPR-2014-TianLL #image #modelling #segmentation: A Histogram-Based Chan-Vese Model Driven by Local Contrast Pattern for Texture Image Segmentation (HT, YL, JHL), pp. 954–959.
ICPR-2014-TsuchiyaMT #network: Exemplar Network: A Generalized Mixture Model (CT, TM, AT), pp. 598–603.
ICPR-2014-WangGJ #learning #using: Learning with Hidden Information Using a Max-Margin Latent Variable Model (ZW, TG, QJ), pp. 1389–1394.
ICPR-2014-WangWJ14a #markov #modelling #recognition #using: Early Facial Expression Recognition Using Hidden Markov Models (JW, SW, QJ), pp. 4594–4599.
ICPR-2014-WangZWB #learning #modelling: Learning Room Occupancy Patterns from Sparsely Recovered Light Transport Models (QW, XZ, MW, KLB), pp. 1987–1992.
ICPR-2014-WenZLDC #3d #multi #retrieval #sketching: Sketch-Based 3D Model Retrieval via Multi-feature Fusion (YW, CZ, JL, SD, SC), pp. 4570–4575.
ICPR-2014-Wilson #graph #modelling #network: Graph Signatures for Evaluating Network Models (RCW), pp. 100–105.
ICPR-2014-YangLLYL #estimation #identification #modelling: Color Models and Weighted Covariance Estimation for Person Re-identification (YY, SL, ZL, DY, SZL), pp. 1874–1879.
ICPR-2014-YangYHD #modelling #recognition: A Hierarchical Model Based on Latent Dirichlet Allocation for Action Recognition (SY, CY, WH, XD), pp. 2613–2618.
ICPR-2014-YuncuHB #automation #modelling #recognition #speech #using: Automatic Speech Emotion Recognition Using Auditory Models with Binary Decision Tree and SVM (EY, HH, CB), pp. 773–778.
ICPR-2014-YunJKHC #detection #modelling #performance #self: Self-Organizing Cascaded Structure of Deformable Part Models for Fast Object Detection (SY, HJ, WSK, BH, JYC), pp. 4246–4250.
ICPR-2014-ZamunerBB #adaptation: A Pose-Adaptive Constrained Local Model for Accurate Head Pose Tracking (LZ, KB, EB), pp. 2525–2530.
ICPR-2014-ZhangCQ #realtime: Real-Time Object Tracking with Generalized Part-Based Appearance Model and Structure-Constrained Motion Model (HZ, SC, LQ), pp. 1224–1229.
ICPR-2014-ZhangHWZ #multi #parsing: Enhanced Human Parsing with Multiple Feature Fusion and Augmented Pose Model (ZZ, JH, YW, YZ), pp. 369–374.
ICPR-2014-ZhangLWZ #image #modelling #multi #statistics #using: Statistical Modeling of Multi-modal Medical Image Fusion Method Using C-CHMM and M-PCNN (HZ, XL, XW, ZZ), pp. 1067–1072.
ICPR-2014-ZhangYZJT #adaptation: Overlapped Fingerprints Separation Based on Adaptive Orientation Model Fitting (NZ, XY, YZ, XJ, JT), pp. 678–683.
ICPR-2014-ZhaoFW0LL #modelling #process #recognition: Discriminative Context Models for Collective Activity Recognition (CZ, WF, JW, XB, QL, HL), pp. 648–653.
ICPR-2014-ZhaoSJ #classification #markov: Coupled Hidden Markov Model for Electrocorticographic Signal Classification (RZ, GS, QJ), pp. 1858–1862.
ICPR-2014-ZhouIWBPKO #learning #performance: Transfer Learning of a Temporal Bone Performance Model via Anatomical Feature Registration (YZ, II, SNRW, JB, PP, GK, SO), pp. 1916–1921.
ICPR-2014-ZhuWYJ #learning #modelling #multi #recognition #semantics: Multiple-Facial Action Unit Recognition by Shared Feature Learning and Semantic Relation Modeling (YZ, SW, LY, QJ), pp. 1663–1668.
ICPR-2014-ZhuYLL #3d #robust: Robust 3D Morphable Model Fitting by Sparse SIFT Flow (XZ, DY, ZL, SZL), pp. 4044–4049.
ICPR-2014-ZouYCDJ #clustering #correlation #topic #video: A Belief Based Correlated Topic Model for Trajectory Clustering in Crowded Video Scenes (JZ, QY, YC, DSD, JJ), pp. 2543–2548.
KDD-2014-BuntineM #modelling #parametricity #topic: Experiments with non-parametric topic models (WLB, SM), pp. 881–890.
KDD-2014-Chapelle #feedback #modelling: Modeling delayed feedback in display advertising (OC), pp. 1097–1105.
KDD-2014-DiaoQWSJW #aspect-oriented #modelling #recommendation #sentiment: Jointly modeling aspects, ratings and sentiments for movie recommendation (JMARS) (QD, MQ, CYW, AJS, JJ, CW), pp. 193–202.
KDD-2014-GhassemiNDBJRS #modelling: Unfolding physiological state: mortality modelling in intensive care units (MG, TN, FDV, NB, RJ, AR, PS), pp. 75–84.
KDD-2014-GunnemannGF #detection #evolution #probability #rating #robust: Detecting anomalies in dynamic rating data: a robust probabilistic model for rating evolution (SG, NG, CF), pp. 841–850.
KDD-2014-GuSJWC #estimation #network #topic: Topic-factorized ideal point estimation model for legislative voting network (YG, YS, NJ, BW, TC), pp. 183–192.
KDD-2014-HuHA #e-commerce #modelling #scalability #social: Style in the long tail: discovering unique interests with latent variable models in large scale social E-commerce (DJH, RH, JA), pp. 1640–1649.
KDD-2014-JinKSDGCPR #community #geometry #modelling #network #social #using: Modeling mass protest adoption in social network communities using geometric brownian motion (FJ, RPK, NS, ERD, SG, FC, BAP, NR), pp. 1660–1669.
KDD-2014-LeeLTS #modelling #recommendation #scalability: Modeling impression discounting in large-scale recommender systems (PL, LVSL, MT, SS), pp. 1837–1846.
KDD-2014-LianZXSCR #matrix #modelling #named #recommendation: GeoMF: joint geographical modeling and matrix factorization for point-of-interest recommendation (DL, CZ, XX, GS, EC, YR), pp. 831–840.
KDD-2014-LiARS #complexity #modelling #topic: Reducing the sampling complexity of topic models (AQL, AA, SR, AJS), pp. 891–900.
KDD-2014-LichmanS #kernel #modelling: Modeling human location data with mixtures of kernel densities (ML, PS), pp. 35–44.
KDD-2014-LiuGXXGP #modelling #probability #process #workflow: Proactive workflow modeling by stochastic processes with application to healthcare operation and management (CL, YG, HX, KX, WG, MP), pp. 1593–1602.
KDD-2014-PapalexakisFSTMF #algorithm #challenge #multi: Good-enough brain model: challenges, algorithms and discoveries in multi-subject experiments (EEP, AF, NDS, PPT, TMM, CF), pp. 95–104.
KDD-2014-PoaloH #case study #modelling #predict: Predictive modeling in practice: a case study from sprint (TDP, JH), p. 1517.
KDD-2014-PurushothamMKO #feature model #higher-order #interactive #learning #modelling: Factorized sparse learning models with interpretable high order feature interactions (SP, MRM, CCJK, RO), pp. 552–561.
KDD-2014-RadosavljevikP #interface #modelling #predict #scalability: Large scale predictive modeling for micro-simulation of 3G air interface load (DR, PvdP), pp. 1620–1629.
KDD-2014-SarawagiC #modelling #query #web: Open-domain quantity queries on web tables: annotation, response, and consensus models (SS, SC), pp. 711–720.
KDD-2014-WangNH #adaptation #induction #learning #scalability: Large-scale adaptive semi-supervised learning via unified inductive and transductive model (DW, FN, HH), pp. 482–491.
KDD-2014-WangSW #learning #modelling: Unsupervised learning of disease progression models (XW, DS, FW), pp. 85–94.
KDD-2014-WuZTH0 #crowdsourcing #modelling #personalisation #topic #using #video: Crowdsourced time-sync video tagging using temporal and personalized topic modeling (BW, EZ, BT, AH, QY), pp. 721–730.
KDD-2014-XieGFTY: Class-distribution regularized consensus maximization for alleviating overfitting in model combination (SX, JG, WF, DST, PSY), pp. 303–312.
KDD-2014-XuLGBB #mining #modelling #similarity: Modeling professional similarity by mining professional career trajectories (YX, ZL, AG, AB, AB), pp. 1945–1954.
KDD-2014-YangH #learning #parametricity: Learning with dual heterogeneity: a nonparametric bayes model (HY, JH), pp. 582–590.
KDD-2014-YangKSG #modelling #scalability #topic #twitter: Large-scale high-precision topic modeling on twitter (SHY, AK, AS, PG), pp. 1907–1916.
KDD-2014-YinW #approach #clustering #modelling #multi: A dirichlet multinomial mixture model-based approach for short text clustering (JY, JW), pp. 233–242.
KDD-2014-YuanCL #generative #named #recommendation: COM: a generative model for group recommendation (QY, GC, CYL), pp. 163–172.
KDIR-2014-AbdallahI #classification #modelling #n-gram #using #web: URL-based Web Page Classification — A New Method for URL-based Web Page Classification Using n-Gram Language Models (TAA, BdlI), pp. 14–21.
KDIR-2014-BigdeliMRM #clustering #summary: Arbitrary Shape Cluster Summarization with Gaussian Mixture Model (EB, MM, BR, SM), pp. 43–52.
KDIR-2014-FakhfakhAA #fuzzy #information retrieval #modelling: Fuzzy User Profile Modeling for Information Retrieval (RF, ABA, CBA), pp. 431–436.
KDIR-2014-SaiaBC #modelling #recommendation #semantics: Semantic Coherence-based User Profile Modeling in the Recommender Systems Context (RS, LB, SC), pp. 154–161.
KDIR-2014-SenkoDPRK #modelling: A Method for Evaluating Validity of Piecewise-linear Models (OVS, DSD, EAP, LYR, AVK), pp. 437–443.
KEOD-2014-0002FZ #documentation #named #xml: Galaxy-Gen — A Tool for Building Galaxy Model from XML Documents (IBM, JF, GZ), pp. 84–95.
KEOD-2014-BrucatoD #modelling #ontology #simulation: The Minimal Ontology Principle — Philosophical Foundations of OPM-based Modelling and Simulation (JB, DD), pp. 405–409.
KEOD-2014-FatyaniIP #ontology #petri net #simulation: Transformation of DEMO Model into Coloured Petri Net — Ontology based Simulation (TF, JI, JP), pp. 388–396.
KEOD-2014-GonenFEBWZP #how #maintenance #modelling #ontology #question: Maintaining SOA Systems of the Future — How Can Ontological Modeling Help? (BG, XF, EES, SB, NW, AZ, IP), pp. 376–381.
KEOD-2014-KarkalasS #concept #learning #modelling #student: Intelligent Student Support in the FLIP Learning System based on Student Initial Misconceptions and Student Modelling (SK, SGS), pp. 353–360.
KEOD-2014-KoitO #modelling: Modelling Debates on the Computer (MK, HÕ), pp. 361–368.
KEOD-2014-TawambaNBT #evolution #named #ontology: MS-ONTO — Model and System for Supporting Ontology Evolution (ET, RN, BB, CT), pp. 319–326.
KEOD-2014-WicklerCM #information management #modelling #named: KEWI — A Knowledge Engineering Tool for Modelling AI Planning Tasks (GW, LC, TLM), pp. 36–47.
KMIS-2014-AngiusCMPS #classification #semantics #social #web: Classification and Indexing of Web Content Based on a Model of Semantic Social Bookmarking (AA, GC, DM, FEP, GS), pp. 313–318.
KMIS-2014-BastosMBFF #data flow #modelling: Information Flow Modeling. A Tool to Support the Integrated Management of Information and Knowledge (CAMB, MRM, ACMB, SJMdSF, JRdFF), pp. 76–86.
KMIS-2014-CabitzaCLS #community #information management: The Knowledge-stream Model — A Comprehensive Model for Knowledge Circulation in Communities of Knowledgeable Practitioners (FC, AC, AL, CS), pp. 367–374.
KMIS-2014-ToureMM14a #information management #modelling #towards #what: What If We Considered Awareness for Sustainable Knowledge Management? Towards a Model for Self Regulated Knowledge Management Systems Based on Acceptance Models of Technologies and Awareness (CET, CM, JCM), pp. 413–418.
KMIS-2014-VelosoPSSRA0 #data mining #mining #modelling #predict #realtime: Real-Time Data Mining Models for Predicting Length of Stay in Intensive Care Units (RV, FP, MFS, ÁMS, FR, AA, JM), pp. 245–254.
KMIS-2014-Wagner #concept #memory management: The Concept of Team Transactive Memory Systems — Developing an Extended Model for Organizational Contexts (VW), pp. 319–325.
KMIS-2014-ZochollA #modelling #nondeterminism #ontology #parametricity #representation: Ontology-based Representation of Time Dependent Uncertainty Information for Parametric Product Data Models (MZ, RA), pp. 400–404.
KR-2014-BartholomewL #modelling #multi: Stable Models of Multi-Valued Formulas: Partial versus Total Functions (MB, JL).
KR-2014-BorgwardtDP #decidability #logic: Decidable Gödel Description Logics without the Finitely-Valued Model Property (SB, FD, RP).
KR-2014-BroeckMD #first-order: Skolemization for Weighted First-Order Model Counting (GVdB, WM, AD).
KR-2014-GarciaLS #finite #logic #reasoning: Finite Model Reasoning in Horn Description Logics (YAIG, CL, TS).
KR-2014-GottlobHKL #logic #semantics: Stable Model Semantics for Guarded Existential Rules and Description Logics (GG, AH, CK, TL).
KR-2014-Halpern #modelling: Appropriate Causal Models and Stability of Causation (JYH).
KR-2014-LomuscioM14a #bound #model checking: Model Checking Unbounded Artifact-Centric Systems (AL, JM).
MLDM-2014-JayabalR #clustering #modelling #performance #student: Clustering Students Based on Student’s Performance — A Partial Least Squares Path Modeling (PLS-PM) Study (YJ, CR), pp. 393–407.
MLDM-2014-JiangDPL #approach #estimation #markov #optimisation #recognition: Modified Bootstrap Approach with State Number Optimization for Hidden Markov Model Estimation in Small-Size Printed Arabic Text Line Recognition (ZJ, XD, LP, CL), pp. 437–441.
MLDM-2014-MountassirBB #algorithm #classification #documentation #representation: The Nearest Centroid Based on Vector Norms: A New Classification Algorithm for a New Document Representation Model (AM, HB, IB), pp. 442–456.
MLDM-2014-UtkinZC #classification #data-driven #database #robust: A Robust One-Class Classification Model with Interval-Valued Data Based on Belief Functions and Minimax Strategy (LVU, YAZ, AIC), pp. 107–118.
MLDM-2014-YuST #detection #modelling #realtime: Semi-supervised Time Series Modeling for Real-Time Flux Domain Detection on Passive DNS Traffic (BY, LS, MT), pp. 258–271.
RecSys-2014-JannachF #data mining #mining #modelling #process #recommendation: Recommendation-based modeling support for data mining processes (DJ, SF), pp. 337–340.
RecSys-2014-KimC #collaboration #predict: Bayesian binomial mixture model for collaborative prediction with non-random missing data (YDK, SC), pp. 201–208.
RecSys-2014-LiuSM #robust: A robust model for paper reviewer assignment (XL, TS, NDM), pp. 25–32.
RecSys-2014-RafailidisN #modelling: Modeling the dynamics of user preferences in coupled tensor factorization (DR, AN), pp. 321–324.
RecSys-2014-Sharma #modelling #people #social: Modeling the effect of people’s preferences and social forces on adopting and sharing items (AS), pp. 421–424.
RecSys-2014-ZhangOFL #modelling #network #scalability #social: Scalable audience targeted models for brand advertising on social networks (KZ, AMO, SF, HL), pp. 341–344.
SEKE-2014-BarreirosM #flexibility #modelling #product line: Flexible Modeling and Product Derivation in Software Product Lines (JB, AMDM), pp. 67–70.
SEKE-2014-ChourabiA #automation #process #specification: Automated transformation of business rules specification to business process model (OC, JA), pp. 684–687.
SEKE-2014-DalliloAF #approach #multi #process: Making the link between strategy and process model collections: a multi-layered approach (FD, JPdA, MF), pp. 387–392.
SEKE-2014-FernandesALG #modelling #probability #process #reduction: A Dimensionality Reduction Process to Forecast Events through Stochastic Models (PF, JA, LL, SG), pp. 534–539.
SEKE-2014-Garcia-NunesSZB #analysis #collaboration #fuzzy #modelling: Mental models analysis based on fuzzy rules for collaborative decision-making (PIGN, AES, ACZ, GB), pp. 695–700.
SEKE-2014-GuptaAWD #empirical #modelling #verification: Evaluating the Use of Model-Based Requirement Verification Method: An Empirical Study (MG, DA, GSW, HD), pp. 397–401.
SEKE-2014-HartmannFNMKT #approach #modelling #reasoning #runtime #using: Reasoning at Runtime using time-distorted Contexts: A Models@run.time based Approach (TH, FF, GN, BM, JK, YLT), pp. 586–591.
SEKE-2014-HuHCC #diagrams #execution #model transformation #uml: Extended DEVSML as a Model Transformation Intermediary to Make UML Diagrams Executable (JH, LH, BC, XC), pp. 314–317.
SEKE-2014-JaliGH #behaviour #case study #generative #ontology: Behavioral Model Generation from Use Cases Based on Ontology Mapping and GRASP Patterns (NJ, DG, PH), pp. 324–329.
SEKE-2014-JiangCKZD #model transformation #source code #testing #using: Testing Model Transformation Programs using Metamorphic Testing (MJ, TYC, FCK, ZZ, ZD), pp. 94–99.
SEKE-2014-KrollRA #development #process: Proposing a Software Process Model for Follow the Sun Development (JK, IR, JLNA), pp. 412–415.
SEKE-2014-LingZF #approach #modelling #process #similarity: An Improved Structure-based Approach to Measure Similarity of Business Process Models (JL, LZ, QF), pp. 377–380.
SEKE-2014-MaazounBB #feature model: Feature model recovery from product variants based on a cloning technique (JM, NB, HBA), pp. 431–436.
SEKE-2014-NetoASFM #architecture #behaviour #data transformation #framework #modelling #named #using: CoMoVi: a Framework for Data Transformation in Credit Behavioral Scoring Applications Using Model Driven Architecture (RFON, PJLA, ACS, DRdCF, GRM), pp. 286–291.
SEKE-2014-PereiraRA #sequence: Extending RBAC Model to Control Sequences of CRUD Expressions (ÓMP, DDR, RLA), pp. 463–469.
SEKE-2014-QueirozB #approach #embedded #modelling #product line: A Critical Embedded System Product Line Model-based Approach (PGGQ, RTVB), pp. 71–75.
SEKE-2014-ThiryFZ #development #named: GreenRM: Reference Model for Sustainable Software Development (MT, LF, AZ), pp. 39–42.
SEKE-2014-WangC #analysis #approach #social #visualisation: User Profile Visualization to facilitate MSLIM-model-based Social Influence Analysis based on Slow Intelligence Approach (YW, SKC), pp. 653–658.
SIGIR-2014-AnilSS #evolution #kernel #modelling #network #social #using: Modeling evolution of a social network using temporalgraph kernels (AA, NS, SRS), pp. 1051–1054.
SIGIR-2014-ArakiC #ranking #similarity #validation: An annotation similarity model in passage ranking for historical fact validation (JA, JC), pp. 1111–1114.
SIGIR-2014-Azzopardi #interactive #modelling: Modelling interaction with economic models of search (LA), pp. 3–12.
SIGIR-2014-CanCM #feedback #modelling #ranking: Incorporating query-specific feedback into learning-to-rank models (EFC, WBC, RM), pp. 1035–1038.
SIGIR-2014-CarterCP #community #enterprise #modelling #query: Latent community discovery through enterprise user search query modeling (KMC, RSC, BP), pp. 871–874.
SIGIR-2014-ChengYWL #behaviour #multi #recommendation: Group latent factor model for recommendation with multiple user behaviors (JC, TY, JW, HL), pp. 995–998.
SIGIR-2014-ChuklinZSSR #modelling: Evaluating intuitiveness of vertical-aware click models (AC, KZ, AS, FS, MdR), pp. 1075–1078.
SIGIR-2014-CostaCS #learning #modelling #ranking: Learning temporal-dependent ranking models (MC, FMC, MJS), pp. 757–766.
SIGIR-2014-FangG #modelling: Modeling the dynamics of personal expertise (YF, AG), pp. 1107–1110.
SIGIR-2014-FangWYZ #information retrieval #learning #modelling #named: VIRLab: a web-based virtual lab for learning and studying information retrieval models (HF, HW, PY, CZ), pp. 1249–1250.
SIGIR-2014-FangZ #analysis #axiom #information retrieval #modelling #optimisation: Axiomatic analysis and optimization of information retrieval models (HF, CZ), p. 1288.
SIGIR-2014-FerranteFM #injection #markov #modelling #precise: Injecting user models and time into precision via Markov chains (MF, NF, MM), pp. 597–606.
SIGIR-2014-GolbusA #difference #modelling #on the #retrieval #standard: On the information difference between standard retrieval models (PBG, JAA), pp. 1135–1138.
SIGIR-2014-Gupta #modelling: Modelling of terms across scripts through autoencoders (PG), p. 1279.
SIGIR-2014-HaiCCLC #bibliography #sentiment: Coarse-to-fine review selection via supervised joint aspect and sentiment model (ZH, GC, KC, WL, PC), pp. 617–626.
SIGIR-2014-Ifada #modelling #personalisation #recommendation #topic #using: A tag-based personalized item recommendation system using tensor modeling and topic model approaches (NI), p. 1280.
SIGIR-2014-Kharitonov #behaviour #evaluation #modelling #online #web: Improving offline and online web search evaluation by modelling the user behaviour (EK), p. 1278.
SIGIR-2014-LiDWDCZ #2d #query: A two-dimensional click model for query auto-completion (YL, AD, HW, HD, YC, CZ), pp. 455–464.
SIGIR-2014-LinSKC #modelling #recommendation: New and improved: modeling versions to improve app recommendation (JL, KS, MYK, TSC), pp. 647–656.
SIGIR-2014-LuMC #topic: A collective topic model for milestone paper discovery (ZL, NM, DWC), pp. 1019–1022.
SIGIR-2014-Murdock #modelling: Dynamic location models (VM), pp. 1231–1234.
SIGIR-2014-ParkS #detection #higher-order #modelling #probability: Second order probabilistic models for within-document novelty detection in academic articles (LAFP, SS), pp. 1103–1106.
SIGIR-2014-RadhakrishnanGV #evolution #modelling: Modeling the evolution of product entities (PR, MG, VV), pp. 923–926.
SIGIR-2014-TsolmonL #analysis #modelling #timeline: An event extraction model based on timeline and user analysis in Latent Dirichlet allocation (BT, KSL), pp. 1187–1190.
SIGIR-2014-VoseckyLN #collaboration #modelling #personalisation #topic #twitter: Collaborative personalized Twitter search with topic-language models (JV, KWTL, WN), pp. 53–62.
SIGIR-2014-WangSCHHW #modelling #predict: Modeling action-level satisfaction for search task satisfaction prediction (HW, YS, MWC, XH, AHA, RWW), pp. 123–132.
SIGIR-2014-YanCW #modelling #personalisation: Cohort modeling for enhanced personalized search (JY, WC, RWW), pp. 505–514.
SIGIR-2014-YangS0 #information management #information retrieval #modelling: Dynamic information retrieval modeling (HY, MS, JW), p. 1290.
SIGIR-2014-YaoHHZ #modelling #recommendation #trust: Modeling dual role preferences for trust-aware recommendation (WY, JH, GH, YZ), pp. 975–978.
SIGIR-2014-YaoZJBCSY #modelling #probability #topic: Probabilistic text modeling with orthogonalized topics (EY, GZ, OJ, SB, KC, ZS, YY), pp. 907–910.
SIGIR-2014-YeH #effectiveness #feedback #pseudo: A simple term frequency transformation model for effective pseudo relevance feedback (ZY, JXH), pp. 323–332.
SIGIR-2014-ZhangL0ZLM #analysis #modelling #recommendation #sentiment: Explicit factor models for explainable recommendation based on phrase-level sentiment analysis (YZ, GL, MZ, YZ, YL, SM), pp. 83–92.
SIGIR-2014-ZhangLY #documentation #ranking: A POMDP model for content-free document re-ranking (SZ, JL, HY), pp. 1139–1142.
SIGIR-2014-ZhangZLG #modelling: Supervised hashing with latent factor models (PZ, WZ, WJL, MG), pp. 173–182.
SIGIR-2014-ZhangZLG14a #crowdsourcing #modelling #multi: Multidimensional relevance modeling via psychometrics and crowdsourcing (YZ, JZ, ML, JG), pp. 435–444.
SIGIR-2014-ZhaoH #information retrieval #probability #proximity: An enhanced context-sensitive proximity model for probabilistic information retrieval (JZ, JXH), pp. 1131–1134.
SIGIR-2014-ZhuNG #adaptation #learning #random #social: An adaptive teleportation random walk model for learning social tag relevance (XZ, WN, MG), pp. 223–232.
SKY-2014-Fernandez-Utrilla #behaviour #predict #web: An Unified Behaviour Model to Predict Web 2.0 Adoption as a Tool for Software-Knowledge Sharing (MFU, PFU, GM), pp. 3–18.
AMT-2014-GholizadehDM #approach #model transformation #query: A Query Structured Approach for Model Transformation (HG, ZD, TSEM), pp. 54–63.
AMT-2014-GogollaHH #dynamic analysis #modelling #ocl #on the #uml: On Static and Dynamic Analysis of UML and OCL Transformation Models (MG, LH, FH), pp. 24–33.
AMT-2014-PoskittDPR #bidirectional #model transformation #towards: Towards Rigorously Faking Bidirectional Model Transformations (CMP, MD, RFP, AR), pp. 70–75.
AMT-2014-RentschlerWNHR #automation #clustering #legacy #model transformation: Remodularizing Legacy Model Transformations with Automatic Clustering Techniques (AR, DW, QN, LH, RR), pp. 4–13.
AMT-2014-RichaBPBR #algebra #graph transformation #model transformation #testing #towards #using: Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation (ER, EB, LP, MB, JFR), pp. 34–43.
AMT-2014-TisoRL #model-to-text #testing: Unit Testing of Model to Text Transformations (AT, GR, ML), pp. 14–23.
AMT-2014-TroyaWBV #approximate #model transformation #towards: Towards Approximate Model Transformations (JT, MW, LB, AV), pp. 44–53.
BX-2014-MacedoCP #framework #model transformation #multi #towards: Towards a Framework for Multidirectional Model Transformations (NM, AC, HP), pp. 71–74.
BX-2014-Wider #bidirectional #domain-specific language #implementation #model transformation #scala: Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala (AW), pp. 63–70.
ECMFA-2014-AnjorinRDS #graph grammar #performance: Efficient Model Synchronization with View Triple Graph Grammars (AA, SR, FD, AS), pp. 1–17.
ECMFA-2014-AtkinsonG: Level-Agnostic Designation of Model Elements (CA, RG), pp. 18–34.
ECMFA-2014-BarmpisK #modelling #query #scalability #towards: Towards Scalable Querying of Large-Scale Models (KB, DSK), pp. 35–50.
ECMFA-2014-BenelallamGSTL #emf #modelling #persistent #scalability: Neo4EMF, A Scalable Persistence Layer for EMF Models (AB, AG, GS, MT, DL), pp. 230–241.
ECMFA-2014-MartinezZKT #identification #variability #visualisation: Identifying and Visualising Commonality and Variability in Model Variants (JM, TZ, JK, YLT), pp. 117–131.
ECMFA-2014-Ritter #case study #experience #integration #modelling #process: Experiences with Business Process Model and Notation for Modeling Integration Patterns (DR), pp. 254–266.
ECMFA-2014-SchwichtenbergGHE #modelling #normalisation #qvt: Normalizing Heterogeneous Service Description Models with Generated QVT Transformations (SS, CG, ZH, GE), pp. 180–195.
ECMFA-2014-YueA #framework #metric #modelling #quality: A MOF-Based Framework for Defining Metrics to Measure the Quality of Models (TY, SA), pp. 213–229.
ICMT-2014-BlouinPDSD #case study #experience #graph grammar #modelling: Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report (DB, AP, PD, FS, JPD), pp. 106–121.
ICMT-2014-CuadradoGL #model transformation #reuse #reverse engineering: Reverse Engineering of Model Transformations for Reusability (JSC, EG, JdL), pp. 186–201.
ICMT-2014-DiskinWGC #symmetry #taxonomy #towards: Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization (ZD, AW, HG, KC), pp. 57–73.
ICMT-2014-ErginS #design pattern #graph #model transformation #towards: Towards a Language for Graph-Based Model Transformation Design Patterns (HE, ES), pp. 91–105.
ICMT-2014-GonzalezC #analysis #constraints #generative #model transformation #testing: Test Data Generation for Model Transformations Combining Partition and Constraint Analysis (CAG, JC), pp. 25–41.
ICMT-2014-GuanaS #analysis: ChainTracker, a Model-Transformation Trace Analysis Tool for Code-Generation Environments (VG, ES), pp. 146–153.
ICMT-2014-HilkenHG #modelling #ocl #uml: Transformation of UML and OCL Models into Filmstrip Models (FH, LH, MG), pp. 170–185.
ICMT-2014-JilaniIK #approach #generative #model transformation #testing: A Search Based Test Data Generation Approach for Model Transformations (AAJ, MZI, MUK), pp. 17–24.
ICMT-2014-OrejasP #correctness #graph grammar #incremental: Correctness of Incremental Model Synchronization with Triple Graph Grammars (FO, EP), pp. 74–90.
ICMT-2014-WieberAS #automation #graph grammar #model transformation #on the #testing: On the Usage of TGGs for Automated Model Transformation Testing (MW, AA, AS), pp. 1–16.
MoDELS-2014-AndolfatoKSSZC #case study #experience #modelling: Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain (LA, RK, MS, HS, MZ, GC), pp. 403–419.
MoDELS-2014-BakiSCMF #learning #model transformation: Learning Implicit and Explicit Control in Model Transformations by Example (IB, HAS, QC, PM, MF), pp. 636–652.
MoDELS-2014-BascianiRIP #automation #metamodelling #model transformation: Automated Chaining of Model Transformations with Incompatible Metamodels (FB, DDR, LI, AP), pp. 602–618.
MoDELS-2014-BergerNRACW #industrial #modelling #variability: Three Cases of Feature-Based Variability Modeling in Industry (TB, DN, RR, JMA, KC, AW), pp. 302–319.
MoDELS-2014-BousseCB14a #scalability: Scalable Armies of Model Clones through Data Sharing (EB, BC, BB), pp. 286–301.
MoDELS-2014-ChakiE #compilation #distributed #modelling #verification: Model-Driven Verifying Compilation of Synchronous Distributed Applications (SC, JRE), pp. 201–217.
MoDELS-2014-DavidRV #model transformation #streaming: Streaming Model Transformations By Complex Event Processing (ID, IR, DV), pp. 68–83.
MoDELS-2014-DerakhshanmaneshEIE #component: Model-Integrating Software Components (MD, JE, TI, GE), pp. 386–402.
MoDELS-2014-EliassonHL0 #agile #case study #industrial #modelling: Agile Model-Driven Engineering in Mechatronic Systems — An Industrial Case Study (UE, RH, JL, CB), pp. 433–449.
MoDELS-2014-EnriciAP #approach #communication #modelling #uml: A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes (AE, LA, RP), pp. 370–385.
MoDELS-2014-GomesBA #classification #model transformation #pattern matching #tool support: Classification of Model Transformation Tools: Pattern Matching Techniques (CG, BB, VA), pp. 619–635.
MoDELS-2014-KolovosMWP #modelling: Model Driven Grant Proposal Engineering (DSK, NDM, JRW, RFP), pp. 420–432.
MoDELS-2014-KrikavaCF #domain-specific language #named #scala: SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations (FK, PC, RBF), pp. 569–585.
MoDELS-2014-LangerMK #behaviour #difference #semantics #specification: Semantic Model Differencing Utilizing Behavioral Semantics Specifications (PL, TM, GK), pp. 116–132.
MoDELS-2014-LiebelMTLH #embedded #modelling: Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain (GL, NM, MT, AL, JH), pp. 166–182.
MoDELS-2014-LuddeckeBS #modelling #ontology: Ontology-Based Modeling of Context-Aware Systems (DL, NB, IS), pp. 484–500.
MoDELS-2014-MussbacherABBCCCFHHKSSSW #modelling: The Relevance of Model-Driven Engineering Thirty Years from Now (GM, DA, RB, JMB, BHCC, PC, BC, RBF, RH, JHH, JK, MS, FS, DRS, JW), pp. 183–200.
MoDELS-2014-OgunyomiRK #incremental #model-to-text #on the: On the Use of Signatures for Source Incremental Model-to-text Transformation (BO, LMR, DSK), pp. 84–98.
MoDELS-2014-Pazzi #behaviour #composition #modelling: Modeling Systemic Behavior by State-Based Holonic Modular Units (LP), pp. 99–115.
MoDELS-2014-RabiserVGDSL #case study #experience #lessons learnt #modelling #multi: Supporting Multiplicity and Hierarchy in Model-Based Configuration: Experiences and Lessons Learned (RR, MV, PG, DD, HS, ML), pp. 320–336.
MoDELS-2014-Reinhartz-BergerFH #feature model #modelling: Comprehending Feature Models Expressed in CVL (IRB, KF, ØH), pp. 501–517.
MoDELS-2014-ShahWKRPB #benchmark #framework #metric #persistent #scalability: A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence (SMS, RW, DSK, LMR, RFP, KB), pp. 586–601.
MoDELS-2014-SoltanaFASB #approach #case study #modelling #uml #using: Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law (GS, EF, MA, MS, LCB), pp. 450–466.
MoDELS-2014-SongZFCS0 #adaptation #constraints #modelling #policy: Modelling Adaptation Policies as Domain-Specific Constraints (HS, XZ, NF, FC, AS, GH), pp. 269–285.
MoDELS-2014-SzarnyasIRHBV #distributed #framework #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.
MoDELS-2014-TatibouetCGT #execution #formal method #modelling #semantics #uml: Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.
MoDELS-2014-ThummalaO #effectiveness #evaluation: An Evaluation of the Effectiveness of the Atomic Section Model (ST, JO), pp. 35–49.
MoDELS-2014-VaupelTHSGG #development #mobile #modelling: Model-Driven Development of Mobile Applications Allowing Role-Driven Variants (SV, GT, JPH, RS, RG, MG), pp. 1–17.
MoDELS-2014-AndolfatoKSSZC #case study #experience #modelling: Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain (LA, RK, MS, HS, MZ, GC), pp. 403–419.
MoDELS-2014-BakiSCMF #learning #model transformation: Learning Implicit and Explicit Control in Model Transformations by Example (IB, HAS, QC, PM, MF), pp. 636–652.
MoDELS-2014-BascianiRIP #automation #metamodelling #model transformation: Automated Chaining of Model Transformations with Incompatible Metamodels (FB, DDR, LI, AP), pp. 602–618.
MoDELS-2014-BergerNRACW #industrial #modelling #variability: Three Cases of Feature-Based Variability Modeling in Industry (TB, DN, RR, JMA, KC, AW), pp. 302–319.
MoDELS-2014-BousseCB14a #scalability: Scalable Armies of Model Clones through Data Sharing (EB, BC, BB), pp. 286–301.
MoDELS-2014-ChakiE #compilation #distributed #modelling #verification: Model-Driven Verifying Compilation of Synchronous Distributed Applications (SC, JRE), pp. 201–217.
MoDELS-2014-DavidRV #model transformation #streaming: Streaming Model Transformations By Complex Event Processing (ID, IR, DV), pp. 68–83.
MoDELS-2014-DerakhshanmaneshEIE #component: Model-Integrating Software Components (MD, JE, TI, GE), pp. 386–402.
MoDELS-2014-EliassonHL0 #agile #case study #industrial #modelling: Agile Model-Driven Engineering in Mechatronic Systems — An Industrial Case Study (UE, RH, JL, CB), pp. 433–449.
MoDELS-2014-EnriciAP #approach #communication #modelling #uml: A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes (AE, LA, RP), pp. 370–385.
MoDELS-2014-GomesBA #classification #model transformation #pattern matching #tool support: Classification of Model Transformation Tools: Pattern Matching Techniques (CG, BB, VA), pp. 619–635.
MoDELS-2014-KolovosMWP #modelling: Model Driven Grant Proposal Engineering (DSK, NDM, JRW, RFP), pp. 420–432.
MoDELS-2014-KrikavaCF #domain-specific language #named #scala: SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations (FK, PC, RBF), pp. 569–585.
MoDELS-2014-LangerMK #behaviour #difference #semantics #specification: Semantic Model Differencing Utilizing Behavioral Semantics Specifications (PL, TM, GK), pp. 116–132.
MoDELS-2014-LiebelMTLH #embedded #modelling: Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain (GL, NM, MT, AL, JH), pp. 166–182.
MoDELS-2014-LuddeckeBS #modelling #ontology: Ontology-Based Modeling of Context-Aware Systems (DL, NB, IS), pp. 484–500.
MoDELS-2014-MussbacherABBCCCFHHKSSSW #modelling: The Relevance of Model-Driven Engineering Thirty Years from Now (GM, DA, RB, JMB, BHCC, PC, BC, RBF, RH, JHH, JK, MS, FS, DRS, JW), pp. 183–200.
MoDELS-2014-OgunyomiRK #incremental #model-to-text #on the: On the Use of Signatures for Source Incremental Model-to-text Transformation (BO, LMR, DSK), pp. 84–98.
MoDELS-2014-Pazzi #behaviour #composition #modelling: Modeling Systemic Behavior by State-Based Holonic Modular Units (LP), pp. 99–115.
MoDELS-2014-RabiserVGDSL #case study #experience #lessons learnt #modelling #multi: Supporting Multiplicity and Hierarchy in Model-Based Configuration: Experiences and Lessons Learned (RR, MV, PG, DD, HS, ML), pp. 320–336.
MoDELS-2014-Reinhartz-BergerFH #feature model #modelling: Comprehending Feature Models Expressed in CVL (IRB, KF, ØH), pp. 501–517.
MoDELS-2014-ShahWKRPB #benchmark #framework #metric #persistent #scalability: A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence (SMS, RW, DSK, LMR, RFP, KB), pp. 586–601.
MoDELS-2014-SoltanaFASB #approach #case study #modelling #uml #using: Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law (GS, EF, MA, MS, LCB), pp. 450–466.
MoDELS-2014-SongZFCS0 #adaptation #constraints #modelling #policy: Modelling Adaptation Policies as Domain-Specific Constraints (HS, XZ, NF, FC, AS, GH), pp. 269–285.
MoDELS-2014-SzarnyasIRHBV #distributed #framework #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.
MoDELS-2014-TatibouetCGT #execution #formal method #modelling #semantics #uml: Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.
MoDELS-2014-ThummalaO #effectiveness #evaluation: An Evaluation of the Effectiveness of the Atomic Section Model (ST, JO), pp. 35–49.
MoDELS-2014-VaupelTHSGG #development #mobile #modelling: Model-Driven Development of Mobile Applications Allowing Role-Driven Variants (SV, GT, JPH, RS, RG, MG), pp. 1–17.
QAPL-2014-Feng #distributed #hybrid #modelling #probability #using: Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE — ZebraNet as an Example (CF0), pp. 64–77.
QAPL-2014-SpielerHZ #markov #model checking #modelling: Model Checking CSL for Markov Population Models (DS, EMH, LZ), pp. 93–107.
PADL-2014-ElsmanS #evaluation #named #rule-based #static typing #user interface: Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces (ME, ASN), pp. 184–199.
PADL-2014-SaptawijayaP #logic programming #modelling #towards: Towards Modeling Morality Computationally with Logic Programming (AS, LMP), pp. 104–119.
POPL-2014-AtkeyGJ #dependent type #parametricity #type system: A relationally parametric model of dependent type theory (RA, NG, PJ), pp. 503–516.
POPL-2014-RamsayNO #abstraction #approach #higher-order #model checking #refinement: A type-directed abstraction refinement approach to higher-order model checking (SJR, RPN, CHLO), pp. 61–72.
RE-2014-BonfimNDS #case study #experience #modelling: Modelling sustainability in a procurement system: An experience report (CB, WN, LD, MS), pp. 402–411.
RE-2014-CailliauL #exception #modelling: Integrating exception handling in goal models (AC, AvL), pp. 43–52.
RE-2014-LiuSYM14a #feature model #reasoning #requirements: Combined goal and feature model reasoning with the User Requirements Notation and jUCMNav (YL, YS, XY, GM), pp. 321–322.
RE-2014-RubythonM #implementation #modelling #off the shelf #requirements #variability: The effect of variability modeling on requirements satisfaction for the configuration and implementation of off-the-shelf software packages (AR, NAMM), pp. 394–401.
RE-2014-SaitoTYA #design #named #quality #requirements #set: RISDM: A requirements inspection systems design methodology: Perspective-based design of the pragmatic quality model and question set to SRS (SS, MT, SY, MA), pp. 223–232.
RE-2014-TranM #approach #evolution #feature model #nondeterminism: An Approach for Decision Support on the Uncertainty in Feature Model Evolution (LMST, FM), pp. 93–102.
RE-2014-WittFSH #process #validation #verification: Business Application Modeler: A process model Validation and Verification tool (SW, SF, AS, CH), pp. 333–334.
RE-2014-ZhuMR #modelling #multi: Structured multi-view modeling by tabular notation (XZ, DM, DR), pp. 327–328.
REFSQ-2014-CooperNL #education #formal method #game studies #modelling #requirements #towards: Towards Model-Driven Requirements Engineering for Serious Educational Games: Informal, Semi-formal, and Formal Models (KMLC, ESN, CSL), pp. 17–22.
REFSQ-2014-NairVMTdB #analysis #problem #safety #traceability: Safety Evidence Traceability: Problem Analysis and Model (SN, JLdlV, AM, GT, LdlB, FB), pp. 309–324.
REFSQ-2014-SannierB #analysis #approach #modelling #named #requirements: INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis (NS, BB), pp. 135–151.
REFSQ-2014-YangLJC #adaptation #analysis #bibliography #modelling #requirements #self: A Systematic Literature Review of Requirements Modeling and Analysis for Self-adaptive Systems (ZY, ZL, ZJ, YC), pp. 55–71.
SAC-PL-J-2013-CazzolaV14 #java: @Java: Bringing a richer annotation model to Java (WC, EV), pp. 2–18.
SAC-2014-AdibuzzamanAL #monitoring #personalisation #smarttech #using: A personalized model for monitoring vital signs using camera of the smart phone (MA, SIA, RL), pp. 444–449.
SAC-2014-Al-RefaiCF #modelling #runtime #using: Using models to dynamically refactor runtime code (MAR, WC, RBF), pp. 1108–1113.
SAC-2014-AntunesBMBC #analysis #architecture #enterprise #ontology: Ontology-based enterprise architecture model analysis (GA, MB, RM, JLB, AC), pp. 1420–1422.
SAC-2014-BassoOF #java #model transformation: Extending JUnit 4 with Java annotations and reflection to test variant model transformation assets (FPB, TCdO, KF), pp. 1601–1608.
SAC-2014-BassoPOF #adaptation #case study #experience #generative #lessons learnt #model transformation: Generative adaptation of model transformation assets: experiences, lessons and drawbacks (FPB, RMP, TCdO, MDDF), pp. 1027–1034.
SAC-2014-BelbachirBM #modelling #probability: Probabilistic opinion models based on subjective sources (FB, MB, MMSM), pp. 925–926.
SAC-2014-BergamascoN #3d #approach #feature model #retrieval #using: A new local feature extraction approach for content-based 3D medical model retrieval using shape descriptor (LCCB, FLSN), pp. 902–907.
SAC-2014-ChenZTWS #modelling #recommendation: Comparing the staples in latent factor models for recommender systems (CC, LZ, AT, KW, SV), pp. 91–96.
SAC-2014-ChoiKK #modelling #ontology #using: Modeling for context-aware healthcare service using ontology (JC, JK, PK), pp. 1729–1730.
SAC-2014-DieguesOPRR #modelling: Autonomic configuration of HyperDex via analytical modelling (NLD, MO, JP, LETR, PR), pp. 370–375.
SAC-2014-EmuraKOT #communication #formal method #implementation #prototype: Building secure and anonymous communication channel: formal model and its prototype implementation (KE, AK, SO, TT), pp. 1641–1648.
SAC-2014-FariasGLGCRBO #composition #quality #towards: Towards a quality model for model composition effort (KF, AG, CJPdL, LGJ, CAdC, RdRR, FPB, TCdO), pp. 1181–1183.
SAC-2014-GomesBM #network #similarity: A similarity model for virtual networks negotiation (RLG, LFB, ERMM), pp. 489–494.
SAC-2014-GriebeG #approach #automation #mobile #modelling #testing: A model-based approach to test automation for context-aware mobile applications (TG, VG), pp. 420–427.
SAC-2014-GuimaraesGF #composition #on the #quantifier: On the impact of obliviousness and quantification on model composition effort (EG, AG, KF), pp. 1043–1048.
SAC-2014-HoritaHSNTO #approach #modelling #refinement #using: Transformation approach from KAOS goal models to BPMN models using refinement patterns (HH, KH, YS, HN, YT, AO), pp. 1023–1024.
SAC-2014-HuangLD #analysis #modelling #multi #network #performance: Modeling and analysis on network performance for cloud service delivery with multiple paths (JH, JL, QD), pp. 667–673.
SAC-2014-HuergoPD #approach #identification #modelling #using: A method to identify services using master data and artifact-centric modeling approach (RSH, PFP, FCD), pp. 1225–1230.
SAC-2014-JuniorGM #collaboration #constraints #modelling #personalisation: Personalized collaborative filtering: a neighborhood model based on contextual constraints (EBSJ, RG, MGM), pp. 919–924.
SAC-2014-KatebFNMAT #framework #modelling #multi #optimisation #runtime: Generic cloud platform multi-objective optimization leveraging models@run.time (DEK, FF, GN, JAM, MA, YLT), pp. 343–350.
SAC-2014-KleffmannBHG #automation #interactive #navigation #scalability #sketching #version control: Automated versioning and temporal navigation for model sketches on large interactive displays (MK, MB, EH, VG), pp. 161–168.
SAC-2014-KolbZWR #design #distance #empirical #how #modelling #process #social: How social distance of process designers affects the process of process modeling: insights from a controlled experiment (JK, MZ, BW, MR), pp. 1364–1370.
SAC-2014-KrikavaCF #adaptation #architecture #modelling #named #self: ACTRESS: domain-specific modeling of self-adaptive software architectures (FK, PC, RBF), pp. 391–398.
SAC-2014-KrikavaCF14a #domain-specific language #modelling #using: Manipulating models using internal domain-specific languages (FK, PC, RBF), pp. 1612–1614.
SAC-2014-KuhnCJN #flexibility #modelling: Flexible modeling of policy-driven upstream notification strategies (EK, SC, GJ, MN), pp. 1352–1354.
SAC-2014-LabdaMS #modelling #privacy #process: Modeling of privacy-aware business processes in BPMN to protect personal data (WL, NM, PS), pp. 1399–1405.
SAC-2014-Le #android #framework #modelling: A model driven framework for modeling and composing service based Android applications (CL), pp. 450–457.
SAC-2014-LiMZ #using #visualisation: Visualization of oceanographic applications using a common data model (JL, ZPM, KZ), pp. 933–938.
SAC-2014-MitranCB #automation #image #ranking: GeoTime-based tag ranking model for automatic image annotation (MM, GC, MB), pp. 896–901.
SAC-2014-MolkaRDCZG #consistency #modelling #process: Conformance checking for BPMN-based process models (TM, DR, MD, AC, XJZ, WG), pp. 1406–1413.
SAC-2014-MoonPPS #recognition: Improved named entity recognition: patterns in columns model (PCM) (CYM, MP, HyP, JS), pp. 927–928.
SAC-2014-NguyenJ0B #automation #diagrams #embedded #modelling #realtime #uml: Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software (MCN, EJ, JC, DHB), pp. 1140–1145.
SAC-2014-OhK #architecture #requirements #traceability: A hierarchical model for traceability between requirements and architecture (JO, SK), pp. 1035–1042.
SAC-2014-OliveiraO #analysis #kernel #linux: Mapping of the synchronization mechanisms of the Linux kernel to the response-time analysis model (DBdO, RSdO), pp. 1543–1544.
SAC-2014-PatanaikZK #estimation #parametricity #simulation: Parameter estimation and simulation for one-choice Ratcliff diffusion model (AP, VZ, CKK), pp. 3–7.
SAC-2014-SaarsenD #assessment #process #towards: Towards an assessment model for balancing process model production and use (TS, MD), pp. 1386–1392.
SAC-2014-SehicNVLD #adaptation #development #named #programming: Entity-adaptation: a programming model for development of context-aware applications (SS, SN, MV, FL, SD), pp. 436–443.
SAC-2014-SilvaPBAP #architecture #cyber-physical #modelling #testing: A model-based architecture for testing medical cyber-physical systems (LCS, MP, FMB, HOA, AP), pp. 25–30.
SAC-2014-WayuaWS #modelling: Rethinking agribusiness models in Africa (CW, KW, OS), pp. 1174–1175.
FSE-2014-CordyHLSDL #abstraction #behaviour #modelling #product line #refinement: Counterexample guided abstraction refinement of product-line behavioural models (MC, PH, AL, PYS, BD, ML), pp. 190–201.
FSE-2014-DziwokGBTHP #cyber-physical #modelling #re-engineering: A tool suite for the model-driven software engineering of cyber-physical systems (SD, CG, SB, ST, CH, UP), pp. 715–718.
FSE-2014-FritzSKSB #developer #modelling: Developers’ code context models for change tasks (TF, DCS, KK, WS, CB), pp. 7–18.
FSE-2014-JiangZZZLSSGS #embedded #modelling #multi #named #synthesis #tool support #validation: Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems (YJ, HZ, HZ, XZ, HL, CS, XS, MG, JGS), pp. 711–714.
FSE-2014-Kan #model checking #safety #traceability #verification: Traceability and model checking to support safety requirement verification (SK), pp. 783–786.
FSE-2014-VakiliD #infinity #modelling #smt #using #verification: Verifying CTL-live properties of infinite state models using an SMT solver (AV, NAD), pp. 213–223.
FSE-2014-Wille #approach #modelling: Managing lots of models: the FaMine approach (DW), pp. 817–819.
ICSE-2014-BeschastnikhBEK #behaviour #concurrent #modelling: Inferring models of concurrent systems from logs of their behavior with CSight (IB, YB, MDE, AK), pp. 468–479.
ICSE-2014-BocicB #induction #invariant #verification #web: Inductive verification of data model invariants for web applications (IB, TB), pp. 620–631.
ICSE-2014-ChenPYNZ #adaptation #generative #incremental #model transformation #runtime #self: Self-adaptation through incremental generative model transformations at runtime (BC, XP, YY, BN, WZ), pp. 676–687.
ICSE-2014-GhezziPST #behaviour #mining #modelling #web: Mining behavior models from user-intensive web applications (CG, MP, MS, GT), pp. 277–287.
ICSE-2014-GousiosPD #case study #development: An exploratory study of the pull-based software development model (GG, MP, AvD), pp. 345–355.
ICSE-2014-LeeJP #behaviour #detection #machine learning #memory management #modelling #using: Detecting memory leaks through introspective dynamic behavior modelling using machine learning (SL, CJ, SP), pp. 814–824.
ICSE-2014-MaozRR #component #modelling #verification: Verifying component and connector models against crosscutting structural views (SM, JOR, BR), pp. 95–105.
ICSE-2014-MiyashitaTA #modelling #spreadsheet #using: Controlled modeling environment using flexibly-formatted spreadsheets (HM, HT, SA), pp. 978–988.
ICSE-2014-SalayFRSC #model transformation #product line: Lifting model transformations to product lines (RS, MF, JR, ADS, MC), pp. 117–128.
ICSE-2014-TonellaTN #modelling #n-gram #testing: Interpolated n-grams for model based testing (PT, RT, DCN), pp. 562–572.
ICSE-2014-ZayanAC #comprehension #empirical #using: Effects of using examples on structural model comprehension: a controlled experiment (DZ, MA, KC), pp. 955–966.
SLE-J-2012-GuizzardiZ #concept #modelling #ontology #using: Using a trope-based foundational ontology for bridging different areas of concern in ontology-driven conceptual modeling (GG, VZ), pp. 417–443.
SLE-2014-BillGKS #model checking #ocl #specification: Model Checking of CTL-Extended OCL Specifications (RB, SG, PK, MS), pp. 221–240.
SLE-2014-HarkesV #modelling #navigation: Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation (DH, EV), pp. 241–260.
SLE-2014-JaksicFCG #feature model #modelling #usability #visual notation: Evaluating the Usability of a Visual Feature Modeling Notation (AJ, RBF, PC, SG), pp. 122–140.
SLE-2014-JukssVVV #model transformation: Dynamic Scope Discovery for Model Transformations (MJ, CV, DV, HV), pp. 302–321.
SLE-2014-KuhnLGSA #metamodelling #modelling #product line #programming language: A Metamodel Family for Role-Based Modeling and Programming Languages (TK, ML, SG, CS, UA), pp. 141–160.
SLE-2014-TisiJDSC #assembly #model transformation: fUML as an Assembly Language for Model Transformation (MT, FJ, JD, ZS, HC), pp. 171–190.
SPLC-2014-BergerSOHLW #case study #experience #modelling #variability: To connect or not to connect: experiences from modeling topological variability (TB, SS, OØ, ØH, BL, AW), pp. 330–339.
SPLC-2014-BeucheS #feature model #modelling #variability: Managing variability with feature models (DB, MS), p. 364.
SPLC-2014-HellebrandS0ZSS #case study #industrial #modelling #variability: Coevolution of variability models and code: an industrial case study (RH, AS, MB, BZ, KS, JS), pp. 274–283.
SPLC-2014-KnappRS #development #modelling #on the #product line #testing: On the use of test cases in model-based software product line development (AK, MR, BHS), pp. 247–251.
SPLC-2014-Lantz #agile #case study #development #modelling #using: Using models to scale agile mechatronics development in cars: case studies at Volvo car group (JL), p. 20.
SPLC-2014-MennickeLSW #automation #feature model #petri net #process #verification #workflow: Automated verification of feature model configuration processes based on workflow Petri nets (SM, ML, JS, TW), pp. 62–71.
SPLC-2014-QuintonPBDB #consistency #evolution #feature model #modelling: Consistency checking for the evolution of cardinality-based feature models (CQ, AP, DLB, LD, GB), pp. 122–131.
SPLC-2014-Reinhartz-Berger #automation #domain model #modelling: Can domain modeling be automated?: levels of automation in domain modeling (IRB), p. 359.
SPLC-2014-Reinhartz-BergerF #modelling #orthogonal #variability: Comprehensibility of orthogonal variability modeling languages: the cases of CVL and OVM (IRB, KF), pp. 42–51.
SPLC-2014-SteinNC #feature model #multi: Preference-based feature model configuration with multiple stakeholders (JS, IN, EC), pp. 132–141.
SPLC-2014-ThumMBHRS #model checking #product line #proving #theorem proving: Potential synergies of theorem proving and model checking for software product lines (TT, JM, FB, MH, AvR, GS), pp. 177–186.
SPLC-2014-TraskR #architecture #modelling #product line: Leveraging model driven engineering in software product line architectures (BT, AR), pp. 360–361.
SPLC-2014-VacchiCCA #automation #component #implementation #model inference #variability: Automating variability model inference for component-based language implementations (EV, WC, BC, MA), pp. 167–176.
SPLC-2014-YuZZJ #automation #case study #feature model #named: TDL: a transformation description language from feature model to use case for automated use case derivation (WY, WZ, HZ, ZJ), pp. 187–196.
ASPLOS-2014-HowerHBGHRW #memory management #modelling: Heterogeneous-race-free memory models (DRH, BAH, BMB, BRG, MDH, SKR, DAW), pp. 427–440.
HPCA-2014-NugterenBCB #distance #gpu #modelling #reuse: A detailed GPU cache model based on reuse distance theory (CN, GJvdB, HC, HEB), pp. 37–48.
HPDC-2014-BehzadBWPS #modelling #parallel #performance: Improving parallel I/O autotuning with performance modeling (BB, SB, SMW, P, MS), pp. 253–256.
HPDC-2014-BestaH #fault tolerance #memory management #modelling #programming: Fault tolerance for remote memory access programming models (MB, TH), pp. 37–48.
ISMM-2014-LiDL #liveness #modelling #using: Modeling heap data growth using average liveness (PL, CD, HL), pp. 71–82.
ISMM-2014-ZakkakP #architecture #java #memory management #named: JDMM: a java memory model for non-cache-coherent memory architectures (FSZ, PP), pp. 83–92.
OSDI-2014-LeesatapornwongsaHJLG #debugging #model checking #named #performance #semantics: SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems (TL, MH, PJ, JFL, HSG), pp. 399–414.
PPoPP-2014-LuoLHKP #hybrid #manycore #programming #runtime: Initial study of multi-endpoint runtime for MPI+OpenMP hybrid programming model on multi-core systems (ML, XL, KH, KCK, DKP), pp. 395–396.
CAV-2014-CavadaCDGMMMRT #model checking: The nuXmv Symbolic Model Checker (RC, AC, MD, AG, AM, AM, SM, MR, ST), pp. 334–342.
CAV-2014-CermakLMM #logic #model checking #named #specification #verification: MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications (PC, AL, FM, AM), pp. 525–532.
CAV-2014-CookFHIJP #biology #modelling: Finding Instability in Biological Models (BC, JF, BAH, SI, GJ, NP), pp. 358–372.
CAV-2014-InversoT0TP #bound #c #concurrent #lazy evaluation #model checking #multi #source code #thread: Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization (OI, ET, BF, SLT, GP), pp. 585–602.
CAV-2014-KomuravelliGC #model checking #recursion #smt #source code: SMT-Based Model Checking for Recursive Programs (AK, AG, SC), pp. 17–34.
ICLP-J-2014-CharalambidisER #higher-order #logic programming #semantics: Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation (AC, ZÉ, PR), pp. 725–737.
ICST-2014-AliH #challenge #lessons learnt #modelling #testing #video: Model-Based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results (SA, HH), pp. 353–362.
ICST-2014-JohanssonSLAG #fuzzing #modelling #named #protocol #robust #testing: T-Fuzz: Model-Based Fuzzing for Robustness Testing of Telecommunication Protocols (WJ, MS, UEL, MA, VG), pp. 323–332.
ICST-2014-LacknerTWW #design #modelling #product line: Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level (HL, MT, FW, SW), pp. 51–60.
ICST-2014-LiO #analysis #empirical #modelling #testing: An Empirical Analysis of Test Oracle Strategies for Model-Based Testing (NL, JO), pp. 363–372.
ICST-2014-SchwarzlB #test coverage: Model Dependent Test Coverage Variabilities (CS, HB), pp. 253–262.
ICST-2014-WeisslederS #embedded #evaluation #modelling #testing: An Evaluation of Model-Based Testing in Embedded Applications (SW, HS), pp. 223–232.
ICTSS-2014-SamihGBAB #approach #modelling #testing: An Approach to Derive Usage Models Variants for Model-Based Testing (HS, HLG, RB, MA, BB), pp. 80–96.
IJCAR-2014-PapacchiniS #generative #logic: Terminating Minimal Model Generation Procedures for Propositional Modal Logics (FP, RAS), pp. 381–395.
IJCAR-2014-ZeljicWR #approximate: Approximations for Model Construction (AZ, CMW, PR), pp. 344–359.
ISSTA-2014-SchurRZ #mining #modelling #multi #named #web: ProCrawl: mining test models from multi-user web applications (MS, AR, AZ), pp. 413–416.
LICS-CSL-2014-BaierDK #analysis #model checking #probability #trade-off: Trade-off analysis meets probabilistic model checking (CB, CD, SK), p. 10.
LICS-CSL-2014-BojanczykDK #calculus #composition #model checking #theorem #μ-calculus: Decomposition theorems and model-checking for the modal μ-calculus (MB, CD, SK), p. 10.
LICS-CSL-2014-BovaGS #logic #model checking #order #set: Model checking existential logic on partially ordered sets (SB, RG, SS), p. 10.
LICS-CSL-2014-Breuvart #modelling #on the: On the characterization of models of H (FB), p. 10.
LICS-CSL-2014-TsukadaO #composition #game studies #higher-order #model checking: Compositional higher-order model checking via ω-regular games over Böhm trees (TT, CHLO), p. 10.
RTA-TLCA-2014-BizjakBM #nondeterminism #type system: A Model of Countable Nondeterminism in Guarded Type Theory (AB, LB, MM), pp. 108–123.
SAT-2014-CapelliDM: Hypergraph Acyclicity and Propositional Model Counting (FC, AD, SM), pp. 399–414.
SAT-2014-Gableske #framework #satisfiability: An Ising Model Inspired Extension of the Product-Based MP Framework for SAT (OG), pp. 367–383.
SAT-2014-LarrazORR #constraints #polynomial: Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions (DL, AO, ERC, AR), pp. 333–350.
TAP-2014-AichernigAJKKSS #industrial #metric #modelling #mutation testing #testing: Model-Based Mutation Testing of an Industrial Measurement Device (BKA, JA, EJ, RK, WK, RS, BVS), pp. 1–19.
TAP-2014-ArcainiGR #abstraction #model checking #testing: An Abstraction Technique for Testing Decomposable Systems by Model Checking (PA, AG, ER), pp. 36–52.
TAP-2014-HilkenNGW #behaviour #comparison #modelling #ocl #uml #verification: Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models (FH, PN, MG, RW), pp. 99–116.
VMCAI-2014-AcunaAMS #approach #complexity #heuristic #modelling #network: Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach (VA, AA, AM, AS), pp. 322–336.
VMCAI-2014-AminofJKR #model checking: Parameterized Model Checking of Token-Passing Systems (BA, SJ, AK, SR), pp. 262–281.
VMCAI-2014-SinghSXKS #composition #modelling #sketching #synthesis #using: Modular Synthesis of Sketches Using Models (RS, RS, ZX, RK, ASL), pp. 395–414.
CBSE-2013-LednickiCS #analysis #execution #worst-case: Model level worst-case execution time analysis for IEC 61499 (LL, JC, KS), pp. 169–178.
CBSE-2013-VanwormhoudtF #adaptation #component #framework #named: CIAO: a component model and its OSGi framework for dynamically adaptable telephony applications (GV, AF), pp. 23–32.
CBSE-2013-YinQCH #component: Mode switch handling for the ProCom component model (HY, HQ, JC, HH), pp. 13–22.
ECSA-2013-CherfiaB #adaptation #towards: Towards a Bigraph-Based Model for Context-Aware Adaptive Systems (TAC, FB), pp. 340–343.
ECSA-2013-GassaraRJ #architecture #deployment #graph #modelling #multi #towards: Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs (AG, IBR, MJ), pp. 122–129.
ECSA-2013-GoknilSPM #analysis #constraints #modelling: Analysis Support for TADL2 Timing Constraints on EAST-ADL Models (AG, JS, MAPF, FM), pp. 89–105.
ECSA-2013-Kuster #architecture #design #modelling #traceability #validation: Architecture-Centric Modeling of Design Decisions for Validation and Traceability (MK), pp. 184–191.
ECSA-2013-LytraTZ #architecture #component #consistency #design #modelling #reuse: Supporting Consistency between Architectural Design Decisions and Component Models through Reusable Architectural Knowledge Transformations (IL, HT, UZ), pp. 224–239.
ECSA-2013-TounsiKK #design pattern #modelling #refinement: Building Correct by Construction SOA Design Patterns: Modeling and Refinement (IT, MHK, AHK), pp. 33–44.
QoSA-2013-BerardinelliLM #analysis #execution #non-functional: Combining fUML and profiles for non-functional analysis based on model execution traces (LB, PL, TM), pp. 79–88.
QoSA-2013-DajsurenBSR #assessment #composition #modelling: Simulink models are also software: modularity assessment (YD, MvdB, AS, SAR), pp. 99–106.
QoSA-2013-DuSHGV #generative #modelling #sequence: Generating service models by trace subsequence substitution (MD, JGS, CMH, JG, SV), pp. 123–132.
QoSA-2013-FeugasMD #evolution #predict #process #quality: A causal model to predict the effect of business process evolution on quality of service (AF, SM, LD), pp. 143–152.
QoSA-2013-TchakaloffSB #energy #modelling #named #quality: ORQA: modeling energy and quality of service within AUTOSAR models (BT, SS, JPB), pp. 3–12.
QoSA-2013-TrubianiMCAG #analysis #architecture #modelling #nondeterminism #performance: Model-based performance analysis of software architectures under uncertainty (CT, IM, VC, AA, LG), pp. 69–78.
ASE-2013-AnnervazKSS #analysis #domain model #modelling #natural language #quality #requirements: Natural language requirements quality analysis based on business domain models (KMA, VSK, SS, MS), pp. 676–681.
ASE-2013-ArthoHPTWY #communication #distributed #model checking: Software model checking for distributed systems with selector-based, non-blocking communication (CA, MH, RP, YT, FW, MY), pp. 169–179.
ASE-2013-AvazpourGG #automation #model transformation #specification #tool support #using #visualisation: Tool support for automatic model transformation specification using concrete visualisations (IA, JG, LG), pp. 718–721.
ASE-2013-ChandramohanTBSP #approach #behaviour #bound #detection #modelling #scalability: A scalable approach for malware detection through bounded feature space behavior modeling (MC, HBKT, LCB, LKS, BMP), pp. 312–322.
ASE-2013-ChoDS #bound #composition #model checking #named #source code</