BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
base (2166)
use (1456)
system (1419)
check (983)
softwar (879)

Stem model$ (all stems)

12774 papers:

CBSECBSE-2015-EscoffierLG #component #mobile
A Component Model to Manage the Heterogeneity and Dynamism in Mobile Applications (CE, PL, OG), pp. 85–90.
CBSECBSE-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.
CBSECBSE-2015-LanoreP #component #configuration management
A Reconfigurable Component Model for HPC (VL, CP), pp. 1–10.
CBSECBSE-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.
ECSAECSA-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.
ECSAECSA-2015-PautassoIS #diagrams #modelling #rest
Modeling RESTful Conversations with Extended BPMN Choreography Diagrams (CP, AI, SS), pp. 87–94.
ECSAECSA-2015-StierKGR #analysis #architecture #energy #modelling #performance
Model-Based Energy Efficiency Analysis of Software Architectures (CS, AK, HG, RHR), pp. 221–238.
ECSAECSA-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.
ECSAECSA-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.
QoSAQoSA-2015-AlzahraniP #aspect-oriented #fault tolerance #modelling #reuse
Modeling Fault Tolerance Tactics with Reusable Aspects (NAMA, DCP), pp. 43–52.
QoSAQoSA-2015-ArcelliCFL #adaptation #modelling
Control Theory for Model-based Performance-driven Software Adaptation (DA, VC, AF, AL), pp. 11–20.
QoSAQoSA-2015-IzurietaRG #modelling #quality #technical debt
Preemptive Management of Model Driven Technical Debt for Improving Software Quality (CI, GR, IG), pp. 31–36.
QoSAQoSA-2015-Kramer #approach #consistency #generative #modelling #multi
A Generative Approach to Change-Driven Consistency in Multi-View Modeling (MEK), pp. 129–134.
QoSAQoSA-2015-WuLG #architecture #modelling #performance
Exploring Performance Models of Hadoop Applications on Cloud Architecture (XW, YL, IG), pp. 93–101.
WICSAWICSA-2015-BarnettVT #architecture #concept #mobile
A Conceptual Model for Architecting Mobile Applications (SB, RV, AT), pp. 105–114.
WICSAWICSA-2015-HauptLP #api #approach #modelling #rest
A Conversation Based Approach for Modeling REST APIs (FH, FL, CP), pp. 165–174.
WICSAWICSA-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.
CASECASE-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.
CASECASE-2015-ArdakaniORJ #generative #predict #realtime #using
Real-time trajectory generation using model predictive control (MMGA, BO, AR, RJ), pp. 942–948.
CASECASE-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.
CASECASE-2015-BasileCC #identification #modelling #petri net #realtime
Real time identification of Time Petri net faulty models (FB, PC, JC), pp. 280–285.
CASECASE-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.
CASECASE-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.
CASECASE-2015-David-HenrietRH #constraints #modelling
Modeling and control for (max, +)-linear systems with set-based constraints (XDH, JR, LH, BC), pp. 1369–1374.
CASECASE-2015-HaufMPF #energy #modelling
Energy consumption modeling within the virtual commissioning tool chain (DH, DM, P, JF), pp. 1357–1362.
CASECASE-2015-HayakawaI #fault #linear #reduction
GPS error range reduction method based on linear kinematic model (TH, MI), pp. 1515–1520.
CASECASE-2015-Houssin #problem
An exension of the heap of pieces model for the Cyclic Jobshop Problem (LH), pp. 1182–1187.
CASECASE-2015-HuangCZ #modelling
Interval model based human welder’s movement control in machine assisted manual GTAW torch operation (NH, SC, YZ), pp. 395–400.
CASECASE-2015-JiangDZZ #formal method #mobile #modelling #verification
Formal modeling and verification of secure mobile agent systems (MJ, ZD, MZ, YZ), pp. 545–550.
CASECASE-2015-KamraA #integer #multi #programming
A mixed integer programming model for timed deliveries in multirobot systems (NK, NA), pp. 612–617.
CASECASE-2015-KanY #image #modelling #monitoring #network
Network models for monitoring high-dimensional image profiles (CK, HY), pp. 1078–1083.
CASECASE-2015-KloetzerM #modelling #multi #petri net
Accomplish multi-robot tasks via Petri net models (MK, CM), pp. 304–309.
CASECASE-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.
CASECASE-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.
CASECASE-2015-LinSPV #modelling #order
A SysML profile supporting change orders in model driven engineering (HYL, SS, NP, VV), pp. 1054–1059.
CASECASE-2015-LiS #parallel
A parallel computing model for container terminal logistics (BL, WS), pp. 267–273.
CASECASE-2015-LiuY #modelling #predict #self
A self-organizing method for predictive modeling with highly-redundant variables (GL, HY), pp. 1084–1089.
CASECASE-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.
CASECASE-2015-LuanH #3d #geometry #modelling #predict
Predictive modeling of in-plane geometric deviation for 3D printed freeform products (HL, QH), pp. 912–917.
CASECASE-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.
CASECASE-2015-LuoZHZ #modelling #synthesis
Discrete-event controller synthesis based on state space models (JL, QZ, YSH, MZ), pp. 87–92.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-2015-QiuZL #modelling
Visible light communication-based indoor environment modeling and metric-free path planning (KQ, FZ, ML), pp. 200–205.
CASECASE-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.
CASECASE-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.
CASECASE-2015-SabbaghiHD #3d #modelling #quality
Bayesian additive modeling for quality control of 3D printed products (AS, QH, TD), pp. 906–911.
CASECASE-2015-Schwung #automaton #cyber-physical #hybrid #modelling #using
Cyber-physical modeling of compression systems using hybrid automata (AS), pp. 1125–1130.
CASECASE-2015-SikstromCL #case study #feedback #modelling
Model based feedback control of gas tungsten arc welding — An experimental study (FS, AKC, BL), pp. 411–416.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-2015-TsaiCLT #modelling
Dynamic modeling and vibration suppression of the feed drive system (MST, SJC, CCL, PYT), pp. 106–110.
CASECASE-2015-UeharaHK #modelling #petri net
Mesoscopic modeling of airport surface by object Petri nets (KU, KH, KK), pp. 298–303.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-2015-ZhongLBM #analysis #modelling
Modeling and analysis of e-visits in primary care (XZ, JL, PAB, AJM), pp. 955–960.
CASECASE-2015-ZhuLTL #energy
A comprehensive energy model for CNC machining (YZ, CL, YT, LL), pp. 27–32.
CASECASE-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.
DACDAC-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.
DACDAC-2015-BockHKS #algorithm #modelling
Local search algorithms for timing-driven placement under arbitrary delay models (AB, SH, NK, US), p. 6.
DACDAC-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.
DACDAC-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.
DACDAC-2015-ChenSC #flexibility
A SPICE model of flexible transition metal dichalcogenide field-effect transistors (YYC, ZS, DC), p. 6.
DACDAC-2015-ChenTSHK #analysis #modelling #multi #reliability
Interconnect reliability modeling and analysis for multi-branch interconnect trees (HBC, SXDT, VS, XH, TK), p. 6.
DACDAC-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.
DACDAC-2015-KagalwallaG #effectiveness #modelling #reduction
Effective model-based mask fracturing for mask cost reduction (AAK, PG), p. 6.
DACDAC-2015-KrishnaNRT #analysis #composition #modelling #product line
Compositional modeling and analysis of automotive feature product lines (SNK, GKN, SR, AT), p. 6.
DACDAC-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.
DACDAC-2015-NishimiyaSS #evaluation #functional #interface #mockup #modelling #network
Evaluation of functional mock-up interface for vehicle power network modeling (KN, TS, SS), p. 6.
DACDAC-2015-PetersWPKD #constraints #modelling #representation #uml
A generic representation of CCSL time constraints for UML/MARTE models (JP, RW, NP, UK, RD), p. 6.
DACDAC-2015-PetrenkoTR #challenge #modelling #testing
Model-based testing of automotive software: some challenges and solutions (AP, ONT, SR), p. 6.
DACDAC-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.
DACDAC-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.
DACDAC-2015-YuJTSS #challenge #integration #modelling
The challenge of interoperability: model-based integration for automotive control software (HY, PJ, JPT, SKS, SS), p. 6.
DATEDATE-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.
DATEDATE-2015-BiondiB #analysis #modelling
Engine control: task modeling and analysis (AB, GCB), pp. 525–530.
DATEDATE-2015-BurnsSY #modelling #synthesis #verification
GALS synthesis and verification for xMAS models (FPB, DS, AY), pp. 1419–1424.
DATEDATE-2015-ChangD #analysis #model checking #modelling #using
May-happen-in-parallel analysis of ESL models using UPPAAL model checking (CWC, RD), pp. 1567–1570.
DATEDATE-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.
DATEDATE-2015-DaneseGP #automation #behaviour #execution #modelling
Automatic extraction of assertions from execution traces of behavioural models (AD, TG, GP), pp. 67–72.
DATEDATE-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.
DATEDATE-2015-DghaisR #empirical #modelling #simulation
Empirical modelling of FDSOI CMOS inverter for signal/power integrity simulation (WD, JR), pp. 1555–1558.
DATEDATE-2015-DoustiPP #generative #modelling
Accurate electrothermal modeling of thermoelectric generators (MJD, AP, MP), pp. 1603–1606.
DATEDATE-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.
DATEDATE-2015-FuggerNNS #modelling #physics #towards
Towards binary circuit models that faithfully capture physical solvability (MF, RN, TN, US), pp. 1455–1460.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2015-KimFPSL #framework #implementation #modelling #verification
Platform-specific timing verification framework in model-based implementation (BK, LF, LTXP, OS, IL), pp. 235–240.
DATEDATE-2015-KobbeBH #adaptation #modelling #on the fly #performance
Adaptive on-the-fly application performance modeling for many cores (SK, LB, JH), pp. 730–735.
DATEDATE-2015-LiaperdosSATAL #deployment #performance #using
Fast deployment of alternate analog test using Bayesian model fusion (JL, HGDS, LA, YT, AA, XL), pp. 1030–1035.
DATEDATE-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.
DATEDATE-2015-MohammadiGM #fault #modelling
Fault modeling in controllable polarity silicon nanowire circuits (HGM, PEG, GDM), pp. 453–458.
DATEDATE-2015-NguyenASS #gpu #simulation
Accelerating complex brain-model simulations on GPU platforms (HADN, ZAA, GS, CS), pp. 974–979.
DATEDATE-2015-NiemannHGW #formal method #generative #modelling
Assisted generation of frame conditions for formal models (PN, FH, MG, RW), pp. 309–312.
DATEDATE-2015-PaganiCSH #modelling #named #performance
MatEx: efficient transient and peak temperature computation for compact thermal models (SP, JJC, MS, JH), pp. 1515–1520.
DATEDATE-2015-PoplavkoSBBB #execution #modelling #multi #realtime
Models for deterministic execution of real-time multiprocessor applications (PP, DS, PB, SB, MB), pp. 1665–1670.
DATEDATE-2015-PorembaMLVX #3d #modelling #named
DESTINY: a tool for modeling emerging 3D NVM and eDRAM caches (MP, SM, DL, JSV, YX), pp. 1543–1546.
DATEDATE-2015-RaiT #manycore #modelling
A calibration based thermal modeling technique for complex multicore systems (DR, LT), pp. 1138–1143.
DATEDATE-2015-VijayakumarK #design #modelling #novel
A novel modeling attack resistant PUF design based on non-linear voltage transfer characteristics (AV, SK), pp. 653–658.
DATEDATE-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.
DocEngDocEng-2015-BarabucciBIMM #detection #documentation #modelling #visualisation
Document Changes: Modeling, Detection, Storage and Visualization (DChanges 2015) (GB, UMB, ADI, SM, EVM), pp. 227–228.
DRRDRR-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.
HTHT-2015-HuynhLM #process #twitter
A Dynamical Model of Twitter Activity Profiles (HNH, EFTL, CPM), pp. 49–57.
PODSPODS-2015-BeameBGS #first-order #symmetry
Symmetric Weighted First-Order Model Counting (PB, GVdB, EG, DS), pp. 313–328.
SIGMODSIGMOD-2015-DongS #challenge #modelling
Knowledge Curation and Knowledge Fusion: Challenges, Models and Applications (XLD, DS), pp. 2063–2066.
SIGMODSIGMOD-2015-HeimelKM #estimation #kernel #modelling #multi #self
Self-Tuning, GPU-Accelerated Kernel Density Models for Multidimensional Selectivity Estimation (MH, MK, VM), pp. 1477–1492.
SIGMODSIGMOD-2015-KumarNP #learning #linear #modelling #normalisation
Learning Generalized Linear Models Over Normalized Data (AK, JFN, JMP), pp. 1969–1984.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
VLDBVLDB-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.
VLDBVLDB-2015-KhanC #graph #modelling #nondeterminism #on the #query
On Uncertain Graphs Modeling and Queries (AK, LC), pp. 2042–2053.
CSEETCSEET-2015-Budgen #education
Applying the SE2014 Curriculum Model (DB), pp. 17–20.
ITiCSEITiCSE-2015-BrindaKHR #object-oriented #programming #towards
Towards a Competency Model for Object-Oriented Programming (TB, MK, PH, AR), p. 345.
ITiCSEITiCSE-2015-Meerbaum-Salant #industrial
“Computer Science, Academia and Industry” as pedagogical model to enhance Computational thinking (OMS, BH, SP), p. 341.
FASEFASE-2015-ArcelliCT #fuzzy #refactoring
Performance-Based Software Model Refactoring in Fuzzy Contexts (DA, VC, CT), pp. 149–164.
FASEFASE-2015-CanalS #adaptation #communication #modelling
Model-Based Adaptation of Software Communicating via FIFO Buffers (CC, GS), pp. 252–266.
FASEFASE-2015-DaniaC #modelling #reasoning
Model-Based Formal Reasoning about Data-Management Applications (CD, MC), pp. 218–232.
FASEFASE-2015-FedyukovichDHS #bound #dependence #detection #model checking
Symbolic Detection of Assertion Dependencies for Bounded Model Checking (GF, ACD, AEJH, NS), pp. 186–201.
FASEFASE-2015-GomezTSC #modelling #persistent #scalability
Map-Based Transparent Persistence for Very Large Models (AG, MT, GS, JC), pp. 19–34.
FASEFASE-2015-SalayC #framework #modelling
A Generalized Formal Framework for Partial Modeling (RS, MC), pp. 133–148.
FASEFASE-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.
FoSSaCSFoSSaCS-2015-GrelloisM #linear #logic
An Infinitary Model of Linear Logic (CG, PAM), pp. 41–55.
TACASTACAS-2015-AbdullaAAJLS #model checking
Stateless Model Checking for TSO and PSO (PAA, SA, MFA, BJ, CL, KFS), pp. 353–367.
TACASTACAS-2015-CimattiGMT #hybrid #model checking #named #smt
HyComp: An SMT-Based Model Checker for Hybrid Systems (AC, AG, SM, ST), pp. 52–67.
TACASTACAS-2015-DuggiralaMVP #modelling #named #verification
C2E2: A Verification Tool for Stateflow Models (PSD, SM, MV, MP), pp. 68–82.
TACASTACAS-2015-GiacobbeGGHPP #model checking #network
Model Checking Gene Regulatory Networks (MG, CCG, AG, TAH, TP, TP), pp. 469–483.
TACASTACAS-2015-HansenWCNK #model checking #semantics #statistics
Semantic Importance Sampling for Statistical Model Checking (JPH, LW, SC, DdN, MHK), pp. 241–255.
TACASTACAS-2015-KantLMPBD #independence #model checking #named
LTSmin: High-Performance Language-Independent Model Checking (GK, AL, JM, JvdP, SB, TvD), pp. 692–707.
TACASTACAS-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.
TACASTACAS-2015-MolnarDVB #incremental #induction #ltl #model checking #proving
Saturation-Based Incremental LTL Model Checking with Inductive Proofs (VM, DD, AV, TB), pp. 643–657.
TACASTACAS-2015-RenaultDKP #automaton #model checking #parallel
Parallel Explicit Model Checking for Generalized Büchi Automata (ER, ADL, FK, DP), pp. 613–627.
TACASTACAS-2015-Thierry-Mieg #model checking #using
Symbolic Model-Checking Using ITS-Tools (YTM), pp. 231–237.
SCAMSCAM-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.
ICPCICPC-2015-RomanelliML #modelling #towards #visual notation
Towards visual reflexion models (MR, AM, ML), pp. 277–280.
ICPCICPC-2015-SaeidiHKJ #analysis #interactive #modelling #named #source code #topic
ITMViz: interactive topic modeling for source code analysis (AS, JH, RK, SJ), pp. 295–298.
ICSMEICSME-2015-CorleyKK #feature model #modelling #topic
Modeling changeset topics for feature location (CSC, KLK, NAK), pp. 71–80.
ICSMEICSME-2015-Verebi #approach #modelling #refactoring
A model-based approach to software refactoring (IV), pp. 606–609.
ICSMEICSME-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.
MSRMSR-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.
MSRMSR-2015-HellendoornDB #modelling
Will They Like This? Evaluating Code Contributions with Language Models (VH, PTD, AB), pp. 157–167.
SANERSANER-2015-Erfani #metamodelling #ontology #towards
Towards an ontology-based context-aware meta-model for the software domain (ME), pp. 605–606.
SANERSANER-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.
SANERSANER-2015-HeroldEBCC #detection #modelling
Detection of violation causes in reflexion models (SH, ME, JB, SC, MÓC), pp. 565–569.
SANERSANER-2015-HuSLL #development #evolution #modelling #topic #using
Modeling the evolution of development topics using Dynamic Topic Models (JH, XS, DL, BL), pp. 3–12.
SANERSANER-2015-LadanyiTFK #quality
A software quality model for RPG (GL, ZT, RF, TK), pp. 91–100.
SANERSANER-2015-LemmaLM #modelling #named
CEL: Touching software modeling in essence (RL, ML, AM), pp. 439–448.
SANERSANER-2015-LityBS #incremental #product line #slicing #towards
Towards incremental model slicing for delta-oriented software product lines (SL, HB, IS), pp. 530–534.
SANERSANER-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.
SANERSANER-2015-SharmaTL #automation #identification #named #twitter
NIRMAL: Automatic identification of software relevant tweets leveraging language model (AS, YT, DL), pp. 449–458.
SCAMSCAM-2015-RaposSAC #named #navigation
SimNav: Simulink navigation of model clone classes (EJR, AS, MHA, JRC), pp. 241–246.
SCAMSCAM-2015-RenatusBE #modelling #security #using
Improving prioritization of software weaknesses using security models with AVUS (SR, CB, JE), pp. 259–264.
PLDIPLDI-2015-Huang #concurrent #model checking #reduction #source code
Stateless model checking concurrent programs with maximal causality reduction (JH), pp. 165–174.
PLDIPLDI-2015-KangHMGZV #c #memory management
A formal C memory model supporting integer-pointer casts (JK, CKH, WM, DG, SZ, VV), pp. 326–335.
PLDIPLDI-2015-KoskinenP #transaction
The Push/Pull model of transactions (EK, MJP), pp. 186–195.
PLDIPLDI-2015-LuciaR #execution #programming
A simpler, safer programming and execution model for intermittent systems (BL, BR), pp. 575–585.
PLDIPLDI-2015-ZhangKW #memory management #modelling #partial order #reduction
Dynamic partial order reduction for relaxed memory models (NZ, MK, CW), pp. 250–259.
STOCSTOC-2015-Bresler #graph #learning #modelling
Efficiently Learning Ising Models on Arbitrary Graphs (GB), pp. 771–782.
STOCSTOC-2015-MosselNS #consistency
Consistency Thresholds for the Planted Bisection Model (EM, JN, AS), pp. 69–75.
CIAACIAA-2015-Bollig #automaton #concurrent #logic #modelling
Automata and Logics for Concurrent Systems: Five Models in Five Pages (BB), pp. 3–12.
DLTDLT-2015-CzybaST #automaton #finite #infinity #modelling
Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change (CC, CS, WT), pp. 203–214.
ICALPICALP-v2-2015-LahavV #memory management #modelling #reasoning
Owicki-Gries Reasoning for Weak Memory Models (OL, VV), pp. 311–323.
LATALATA-2015-Salem #automaton #ltl #model checking #testing
Single-Pass Testing Automata for LTL Model Checking (AEBS), pp. 563–576.
FMFM-2015-0001K #bound #model checking #using
Property-Driven Fence Insertion Using Reorder Bounded Model Checking (SJ, DK), pp. 291–307.
FMFM-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.
FMFM-2015-ConchonMZ #model checking
Certificates for Parameterized Model Checking (SC, AM, FZ), pp. 126–142.
FMFM-2015-DerrickS #correctness #framework #memory management #modelling
A Framework for Correctness Criteria on Weak Memory Models (JD, GS), pp. 178–194.
FMFM-2015-DurandS #formal method #framework #generative #named
Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems (WD, SS), pp. 577–580.
FMFM-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.
FMFM-2015-KroeningLW #automaton #bound #model checking #proving #safety
Proving Safety with Trace Automata and Bounded Model Checking (DK, ML, GW), pp. 325–341.
FMFM-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.
FMFM-2015-Lecomte #modelling #verification
Formal Virtual Modelling and Data Verification for Supervision Systems (TL), pp. 597–600.
FMFM-2015-Nakajima #behaviour #energy #maude #realtime #using
Using Real-Time Maude to Model Check Energy Consumption Behavior (SN), pp. 378–394.
FMFM-2015-SafilianMD #feature model #formal method #modelling #semantics
The Semantics of Cardinality-Based Feature Models via Formal Languages (AS, TSEM, ZD), pp. 453–469.
FMFM-2015-SchneiderLW #modelling #problem #validation
Model-Based Problem Solving for University Timetable Validation and Improvement (DS, ML, TW), pp. 487–495.
FMFM-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.
SEFMSEFM-2015-NicolaMPST #interactive #interpreter #modelling #twitter
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter (RDN, AM, MP, AS, FT), pp. 327–343.
SEFMSEFM-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.
SEFMSEFM-2015-RockaiSB #c #c++ #model checking
Techniques for Memory-Efficient Model Checking of C and C++ Code (PR, VS, JB), pp. 268–282.
SEFMSEFM-2015-SavaryFLL #modelling #robust #testing #using
Model-Based Robustness Testing in Event-B Using Mutation (AS, MF, ML, JLL), pp. 132–147.
SFMSFM-2015-Alglave #architecture #modelling
Modeling of Architectures (JA), pp. 97–145.
GaMGaM-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.
GaMGaM-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.
GCMGCM-2015-BottoniNP #constraints #contract #modelling #policy
Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling (PB, RN, FPP), pp. 18–33.
ICGTICGT-2015-KwantesGKR #modelling #process #towards #verification
Towards Compliance Verification Between Global and Local Process Models (PMK, PVG, JK, AR), pp. 221–236.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CHICHI-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.
CHICHI-2015-ChangM #spreadsheet #streaming
A Spreadsheet Model for Handling Streaming Data (KSPC, BAM), pp. 3399–3402.
CHICHI-2015-ChenBBOH #behaviour #interactive
The Emergence of Interactive Behavior: A Model of Rational Menu Search (XC, GB, DPB, AO, AH), pp. 4217–4226.
CHICHI-2015-DergousoffM #crowdsourcing #gamification #mobile
Mobile Gamification for Crowdsourcing Data Collection: Leveraging the Freemium Model (KKD, RLM), pp. 1065–1074.
CHICHI-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.
CHICHI-2015-Mayer0SH #modelling
Modeling Distant Pointing for Compensating Systematic Displacements (SM, KW, SS, NH), pp. 4165–4168.
CHICHI-2015-PengZG #3d #approach #design #modelling #named
D-Coil: A Hands-on Approach to Digital 3D Models Design (HP, AZ, FG), pp. 1807–1815.
CHICHI-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.
CSCWCSCW-2015-KnowlesRHDBHWW #modelling #trust
Models and Patterns of Trust (BK, MR, MH, ND, LB, JH, JW, DW), pp. 328–338.
CSCWCSCW-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.
CSCWCSCW-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.
CSCWCSCW-2015-SharmaC #modelling #people #resource management
Studying and Modeling the Connection between People’s Preferences and Content Sharing (AS, DC), pp. 1246–1257.
HCIDHM-EH-2015-EndoTM #estimation #modelling
Estimation of Arbitrary Human Models from Anthropometric Dimensions (YE, MT, MM), pp. 3–14.
HCIDHM-EH-2015-FuLCZ #modelling #simulation
Modeling and Simulating Lifting Task of Below-Knee Amputees (YF, SL, QC, WZ), pp. 134–143.
HCIDHM-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.
HCIDHM-EH-2015-GoffRB #effectiveness #interactive #towards
Toward a Model for Effective Human-Automation Interaction: The Mediated Agency (KLG, AR, BB), pp. 274–283.
HCIDHM-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.
HCIDHM-EH-2015-MeryS #modelling #requirements #using
Analyzing Requirements Using Environment Modelling (DM, NKS), pp. 345–357.
HCIDHM-EH-2015-PerestreloTNS #framework #modelling #simulation
Modeling of a Virtual Open Platform for Human Cranium Simulation (PP, MT, PN, JS), pp. 358–366.
HCIDHM-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.
HCIDHM-HM-2015-BoringJM #analysis #modelling #performance #reliability
Human Performance Modeling for Dynamic Human Reliability Analysis (RLB, JCJ, DM), pp. 223–234.
HCIDHM-HM-2015-FassG #modelling #physics #towards
Towards a Theory for Bio — — Cyber Physical Systems Modelling (DF, FG), pp. 245–255.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-DD-2015-Robier #experience
Innovation, Exceptional Experience and Sustainable Success Made Easy: The NI© Needs Innovation Model (JR), pp. 348–355.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-UI-2015-ChammasQM
Children’s Mental Model as a Tool to Provide Innovation in Digital Products (AC, MQ, CRM), pp. 23–33.
HCIDUXU-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.
HCIHCI-DE-2015-Kurosu #quality #usability
Usability, Quality in Use and the Model of Quality Characteristics (MK), pp. 227–237.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-IT-2015-ZhaoH #concept #game studies #online
A Conceptual Model of Online Game Continuance Playing (FZ, QH), pp. 660–669.
HCIHCI-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.
HCIHCI-UC-2015-ZhaoH15a #assessment #concept #enterprise
Post-Implementation ERP Success Assessment: A Conceptual Model (FZ, EH), pp. 246–255.
HCIHIMI-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.
HCIHIMI-IKC-2015-KimitaMMNIS #education #learning
Learning State Model for Value Co-Creative Education Services (KK, KM, SM, YN, TI, YS), pp. 341–349.
HCIHIMI-IKC-2015-PatitadS #collaboration #representation
Representation Model of Collaboration Mechanism with Channel Theory (PP, HS), pp. 511–521.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-IKD-2015-GilbertZ #information management #towards #wiki
Towards a Class-Based Model of Information Organization in Wikipedia (MG, MZ), pp. 301–309.
HCIHIMI-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.
HCIHIMI-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.
HCILCT-2015-CastilloDSTC #detection #student
Model for Detecting Student Difficulties in Solving Formative Assessments (CC, NDD, AS, VT, DAOC), pp. 199–207.
HCILCT-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.
HCILCT-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.
HCILCT-2015-XueZZ #interactive #modelling
Human-Human Interaction Modeling of Trainer (HX, WZ, XZ), pp. 528–534.
HCILCT-2015-YusoffK #design #game studies #interactive #learning #persuasion
Game Rhetoric: Interaction Design Model of Persuasive Learning for Serious Games (ZY, AK), pp. 644–654.
HCISCSM-2015-Sookhanaphibarn #modelling #social #social media
User Modeling on Social Media for Art Museums and Galleries (KS, UC, KNN), pp. 89–95.
AdaEuropeAdaEurope-2015-BaldovinZNP #development #modelling
The CONCERTO Methodology for Model-Based Development of Avionics Software (AB, AZ, GN, SP), pp. 131–145.
AdaEuropeAdaEurope-2015-MkaouarZHJ #specification
From AADL Model to LNT Specification (HM, BZ, JH, MJ), pp. 146–161.
AdaEuropeAdaEurope-2015-PinhoMMT #ada #execution #fine-grained #parallel
An Execution Model for Fine-Grained Parallelism in Ada (LMP, BM, SM, STT), pp. 196–211.
CAiSECAiSE-2015-0001H #adaptation #integration #modelling
Integration Adapter Modeling (DR, MH), pp. 468–482.
CAiSECAiSE-2015-Batoulis0BDW #logic #modelling #process
Extracting Decision Logic from Process Models (KB, AM, EB, GD, MW), pp. 349–366.
CAiSECAiSE-2015-EstanolST #modelling #process #uml #validation #verification
Verification and Validation of UML Artifact-Centric Business Process Models (ME, MRS, ET), pp. 434–449.
CAiSECAiSE-2015-GiacomoDMM #declarative #modelling #process
Declarative Process Modeling in BPMN (GDG, MD, FMM, MM), pp. 84–100.
CAiSECAiSE-2015-GuarinoG #modelling #quote
“We Need to Discuss the Relationship”: Revisiting Relationships as Modeling Constructs (NG, GG), pp. 279–294.
CAiSECAiSE-2015-LeopoldMFPSM #automation #modelling #process #towards
Towards the Automated Annotation of Process Models (HL, CM, MF, FP, HS, JM), pp. 401–416.
CAiSECAiSE-2015-MrasekMB #automation #declarative #generative #modelling #process #specification
Automatic Generation of Optimized Process Models from Declarative Specifications (RM, JAM, KB), pp. 382–397.
CAiSECAiSE-2015-OrtegaGTRC #modelling #outsourcing #process
Modelling Service Level Agreements for Business Process Outsourcing Services (AdRO, AMG, ADT, MR, ARC), pp. 485–500.
CAiSECAiSE-2015-PalmieriCA #product line
Handling Regulatory Goal Model Families as Software Product Lines (AP, PC, DA), pp. 181–196.
CAiSECAiSE-2015-YeddulaDR #approach #enterprise #migration #modelling
A Model-Driven Approach to Enterprise Data Migration (RRY, PD, SR), pp. 230–243.
ICEISICEIS-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.
ICEISICEIS-v1-2015-BrodskyL #knowledge base #modelling #reuse #towards
Decision Guidance Analytics Language (DGAL) — Toward Reusable Knowledge Base Centric Modeling (AB, JL), pp. 67–78.
ICEISICEIS-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.
ICEISICEIS-v1-2015-MorriHS #modelling #multi
Multi-agent Modelling for a Regulation Support System of Public Transport (NM, SEH, LBS), pp. 624–629.
ICEISICEIS-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.
ICEISICEIS-v1-2015-RibeiroTWBE #learning
A Learning Model for Intelligent Agents Applied to Poultry Farming (RR, MT, ALW, APB, FE), pp. 495–503.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v1-2015-ZhengLL #contest
A Game-theory based Model for Analyzing E-marketplace Competition (JZ, WL, DLL), pp. 650–657.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v2-2015-BraunE #enterprise #framework #modelling
A Generic Framework for Modifying and Extending Enterprise Modeling Languages (RB, WE), pp. 277–286.
ICEISICEIS-v2-2015-CruzMS #modelling #process #set
Deriving a Data Model from a Set of Interrelated Business Process Models (EFC, RJM, MYS), pp. 49–59.
ICEISICEIS-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.
ICEISICEIS-v2-2015-FrancaS #named #quality
SOAQM: Quality Model for SOA Applications based on ISO 25010 (JMSF, MSS), pp. 60–70.
ICEISICEIS-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.
ICEISICEIS-v2-2015-GalalE #modelling #twitter
Dynamic Modeling of Twitter Users (AG, AEK), pp. 585–593.
ICEISICEIS-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.
ICEISICEIS-v2-2015-LucenaAAAJ #approach #modelling
Integrating User Stories and i* Models — A Systematic Approach (ML, CA, FMRA, EA, AJ), pp. 428–438.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v2-2015-MoraisS #interface #modelling #quality
Assessing the Quality of User-interface Modeling Languages (FM, ARdS), pp. 311–319.
ICEISICEIS-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.
ICEISICEIS-v2-2015-PereiraBD #formal method #uml
Mapping Formal Results Back to UML Semi-formal Model (VP, LB, MED), pp. 320–329.
ICEISICEIS-v2-2015-SarmientoALS #modelling #petri net
Mapping Textual Scenarios to Analyzable Petri-Net Models (ES, EA, JCSdPL, GS), pp. 494–501.
ICEISICEIS-v2-2015-TrinkenreichS #case study #maturity #metric #modelling
Metrics to Support It Service Maturity Models — A Case Study (BT, GS), pp. 395–403.
ICEISICEIS-v2-2015-TrinkenreichSB #maturity #metric #modelling
Metrics to Support IT Service Maturity Models — A Systematic Mapping Study (BT, GS, MPB), pp. 330–337.
ICEISICEIS-v2-2015-WeissAHK #modelling #reuse
Fostering Reuse in Choreography Modeling Through Choreography Fragments (AW, VA, MH, DK), pp. 28–36.
ICEISICEIS-v3-2015-AversanoT #bibliography #enterprise #modelling
A Review of Enterprise Modelling Studies (LA, MT), pp. 346–351.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v3-2015-RosaZ #mobile #network #privacy #social
Location-sharing Model in Mobile Social Networks with Privacy Guarantee (TAR, SDZ), pp. 44–54.
ICEISICEIS-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.
ICEISICEIS-v3-2015-SantosTF #process
Investigating Completeness of Coding in Business Process Model and Notation (CHdS, LHT, MF), pp. 328–333.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v3-2015-TiamSM #process
An Operational Model of Variable Business Process (RTT, ADS, RM), pp. 162–172.
ICEISICEIS-v3-2015-VolpentestaF #interactive #modelling #smarttech
Modeling NFC-triggered User Interactions with Simple Services in a Smart Environment (APV, NF), pp. 96–104.
ECIRECIR-2015-ChongDL #modelling #predict #topic #using
Prediction of Venues in Foursquare Using Flipped Topic Models (WHC, BTD, EPL), pp. 623–634.
ECIRECIR-2015-JameelLB #modelling #parametricity #topic #using
Nonparametric Topic Modeling Using Chinese Restaurant Franchise with Buddy Customers (SJ, WL, LB), pp. 648–659.
ECIRECIR-2015-KotovRAR #microblog #modelling #retrieval
Geographical Latent Variable Models for Microblog Retrieval (AK, VR, EA, CKR), pp. 635–647.
ECIRECIR-2015-LiS #summary
A Hierarchical Tree Model for Update Summarization (RL, HS), pp. 660–665.
ECIRECIR-2015-SabetghadamLBR #analysis #graph #reachability
Reachability Analysis of Graph Modelled Collections (SS, ML, RB, AR), pp. 370–381.
ECIRECIR-2015-Tutubalina #problem #topic
Target-Based Topic Model for Problem Phrase Extraction (ET), pp. 271–277.
ECIRECIR-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.
ECIRECIR-2015-VieiraSCM #self #web
A Self-training CRF Method for Recognizing Product Model Mentions in Web Forums (HSV, ASdS, MC, ESdM), pp. 257–264.
ICMLICML-2015-AllamanisTGW #modelling #natural language #source code
Bimodal Modelling of Source Code and Natural Language (MA, DT, ADG, YW), pp. 2123–2132.
ICMLICML-2015-BelangerK #linear
A Linear Dynamical System Model for Text (DB, SMK), pp. 833–842.
ICMLICML-2015-ChenSYU #learning #modelling
Learning Deep Structured Models (LCC, AGS, ALY, RU), pp. 1785–1794.
ICMLICML-2015-CortesKMS #modelling
Structural Maxent Models (CC, VK, MM, US), pp. 391–399.
ICMLICML-2015-DasBB #modelling #order #parametricity
Ordered Stick-Breaking Prior for Sequential MCMC Inference of Bayesian Nonparametric Models (MKD, TB, CB), pp. 550–559.
ICMLICML-2015-DjolongaK #modelling #scalability
Scalable Variational Inference in Log-supermodular Models (JD, AK), pp. 1804–1813.
ICMLICML-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.
ICMLICML-2015-GanCHCC #analysis #modelling #scalability #topic
Scalable Deep Poisson Factor Analysis for Topic Modeling (ZG, CC, RH, DEC, LC), pp. 1823–1832.
ICMLICML-2015-GeCWG #distributed #modelling #process
Distributed Inference for Dirichlet Process Mixture Models (HG, YC, MW, ZG), pp. 2276–2284.
ICMLICML-2015-GuL #algorithm #fault
A New Generalized Error Path Algorithm for Model Selection (BG, CXL), pp. 2549–2558.
ICMLICML-2015-HallakSMM #learning #modelling
Off-policy Model-based Learning under Unknown Factored Dynamics (AH, FS, TAM, SM), pp. 711–719.
ICMLICML-2015-HanXA #consistency #estimation #modelling #multi
Consistent estimation of dynamic and multi-layer block models (QH, KSX, EA), pp. 1511–1520.
ICMLICML-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.
ICMLICML-2015-Hernandez-Lobato #feature model #multi #probability
A Probabilistic Model for Dirty Multi-task Feature Selection (DHL, JMHL, ZG), pp. 1073–1082.
ICMLICML-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.
ICMLICML-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.
ICMLICML-2015-JiangKS #abstraction #learning #modelling
Abstraction Selection in Model-based Reinforcement Learning (NJ, AK, SS), pp. 179–188.
ICMLICML-2015-KandasamySP #modelling #optimisation
High Dimensional Bayesian Optimisation and Bandits via Additive Models (KK, JGS, BP), pp. 295–304.
ICMLICML-2015-KvetonSWA #learning #rank
Cascading Bandits: Learning to Rank in the Cascade Model (BK, CS, ZW, AA), pp. 767–776.
ICMLICML-2015-LianHRLC #multi #predict #process
A Multitask Point Process Predictive Model (WL, RH, VR, JEL, LC), pp. 2030–2038.
ICMLICML-2015-LiuFFM #modelling #relational #scalability
Scalable Model Selection for Large-Scale Factorial Relational Models (CL, LF, RF, YM), pp. 1227–1235.
ICMLICML-2015-MacdonaldHH #modelling #process
Controversy in mechanistic modelling with Gaussian processes (BM, CFH, DH), pp. 1539–1547.
ICMLICML-2015-MiyauchiIFK
Threshold Influence Model for Allocating Advertising Budgets (AM, YI, TF, NK), pp. 1395–1404.
ICMLICML-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.
ICMLICML-2015-ShethWK #modelling
Sparse Variational Inference for Generalized GP Models (RS, YW, RK), pp. 1302–1311.
ICMLICML-2015-SteinhardtL #modelling
Reified Context Models (JS, PL), pp. 1043–1052.
ICMLICML-2015-SteinhardtL15a #learning #modelling #predict
Learning Fast-Mixing Models for Structured Prediction (JS, PL), pp. 1063–1072.
ICMLICML-2015-SunSK #message passing #modelling #visual notation
Message Passing for Collective Graphical Models (TS, DS, AK), pp. 853–861.
ICMLICML-2015-TraskGR #modelling #order #scalability #word
Modeling Order in Neural Word Embeddings at Scale (AT, DG, MR), pp. 2266–2275.
ICMLICML-2015-VirtanenG #modelling
Ordinal Mixed Membership Models (SV, MG), pp. 588–596.
ICMLICML-2015-WinnerBS
Inference in a Partially Observed Queuing Model with Applications in Ecology (KW, GB, DS), pp. 2512–2520.
ICMLICML-2015-WuS #algorithm #learning #modelling #online
An Online Learning Algorithm for Bilinear Models (YW, SS), pp. 890–898.
ICMLICML-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.
ICMLICML-2015-YuanHTLC #modelling
Non-Gaussian Discriminative Factor Models via the Max-Margin Rank-Likelihood (XY, RH, ET, RL, LC), pp. 1254–1263.
ICMLICML-2015-ZhangP #markov #modelling
Markov Mixed Membership Models (AZ, JP), pp. 475–483.
KDDKDD-2015-BarajasA #approach #health #modelling
Dynamically Modeling Patient’s Health State from Electronic Medical Records: A Time Series Approach (KLCB, RA), pp. 69–78.
KDDKDD-2015-BeutelAF #behaviour #detection #graph #modelling #predict
Graph-Based User Behavior Modeling: From Prediction to Fraud Detection (AB, LA, CF), pp. 2309–2310.
KDDKDD-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.
KDDKDD-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.
KDDKDD-2015-DuncanE #modelling #probability
Probabilistic Modeling of a Sales Funnel to Prioritize Leads (BAD, CPE), pp. 1751–1758.
KDDKDD-2015-FrenoSJA #modelling #ranking #recommendation
One-Pass Ranking Models for Low-Latency Product Recommendations (AF, MS, RJ, CA), pp. 1789–1798.
KDDKDD-2015-FuLPXGZZ #modelling #ranking
Real Estate Ranking via Mixed Land-use Latent Models (YF, GL, SP, HX, YG, HZ, CZ), pp. 299–308.
KDDKDD-2015-GabelKS #distributed #modelling #monitoring
Monitoring Least Squares Models of Distributed Streams (MG, DK, AS), pp. 319–328.
KDDKDD-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.
KDDKDD-2015-GongSRG #modelling
Instance Weighting for Patient-Specific Risk Stratification Models (JJG, TMS, JDR, JVG), pp. 369–378.
KDDKDD-2015-GroverKH #hybrid
A Deep Hybrid Model for Weather Forecasting (AG, AK, EH), pp. 379–386.
KDDKDD-2015-HanT #community #network #probability #social
Probabilistic Community and Role Model for Social Networks (YH, JT), pp. 407–416.
KDDKDD-2015-KalyanamMSVL #evolution #modelling #social #topic
Leveraging Social Context for Modeling Topic Evolution (JK, AM, DST, HV, GRGL), pp. 517–526.
KDDKDD-2015-LakretzCFR #modelling #probability #visual notation
Probabilistic Graphical Models of Dyslexia (YL, GC, NF, MRZ), pp. 1919–1928.
KDDKDD-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.
KDDKDD-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.
KDDKDD-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.
KDDKDD-2015-Verroios0JG #clustering #modelling
Client Clustering for Hiring Modeling in Work Marketplaces (VV, PP, RJ, HGM), pp. 2187–2196.
KDDKDD-2015-WangFM #modelling
Trading Interpretability for Accuracy: Oblique Treed Sparse Additive Models (JW, RF, YM), pp. 1245–1254.
KDDKDD-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.
KDDKDD-2015-WangZHSY #topic
Discerning Tactical Patterns for Professional Soccer Teams: An Enhanced Topic Model with Applications (QW, HZ, WH, ZS, YY), pp. 2197–2206.
KDDKDD-2015-XieDX #documentation #modelling #strict
Diversifying Restricted Boltzmann Machine for Document Modeling (PX, YD, EPX), pp. 1315–1324.
KDDKDD-2015-Yang #industrial #internet #modelling
User Modeling in Telecommunications and Internet Industry (QY0), p. 1639.
KDDKDD-2015-YangH #learning #multi
Model Multiple Heterogeneity via Hierarchical Multi-Latent Space Learning (PY, JH), pp. 1375–1384.
KDDKDD-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.
KDDKDD-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.
KDDKDD-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.
KDDKDD-2015-ZhangW #recommendation
A Collective Bayesian Poisson Factorization Model for Cold-start Local Event Recommendation (WZ, JW), pp. 1455–1464.
KDDKDD-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.
KDDKDD-2015-ZhengYX #composition #linear #modelling #topic #using
Linear Time Samplers for Supervised Topic Models using Compositional Proposals (XZ, YY, EPX), pp. 1523–1532.
KDDKDD-2015-ZhiZTGYJH #modelling
Modeling Truth Existence in Truth Discovery (SZ, BZ, WT, JG, DY, HJ, JH), pp. 1543–1552.
KDDKDD-2015-ZhuPCZZ #modelling #network #social
Modeling User Mobility for Location Promotion in Location-based Social Networks (WYZ, WCP, LJC, KZ, XZ), pp. 1573–1582.
MLDMMLDM-2015-RibeiroOFVC #modelling
Patient-Specific Modeling of Medical Data (GASR, ACMdO, ALSF, SV, GFC), pp. 415–424.
RecSysRecSys-2015-AghdamHMB #adaptation #markov #modelling #recommendation #using
Adapting Recommendations to Contextual Changes Using Hierarchical Hidden Markov Models (MHA, NH, BM, RDB), pp. 241–244.
RecSysRecSys-2015-BetzalelSR #exclamation #quote #recommendation
“Please, Not Now!”: A Model for Timing Recommendations (NDB, BS, LR), pp. 297–300.
RecSysRecSys-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.
RecSysRecSys-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.
RecSysRecSys-2015-Hidasi #modelling
Context-aware Preference Modeling with Factorization (BH), pp. 371–374.
RecSysRecSys-2015-MouliC #dependence #feedback #modelling
Making the Most of Preference Feedback by Modeling Feature Dependencies (SCM, SC), pp. 285–288.
RecSysRecSys-2015-Valcarce #modelling #recommendation #statistics
Exploring Statistical Language Models for Recommender Systems (DV), pp. 375–378.
RecSysRecSys-2015-ValcarcePB #case study #modelling #recommendation
A Study of Priors for Relevance-Based Language Modelling of Recommender Systems (DV, JP, AB), pp. 237–240.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2015-ChenZWLPW #mining #probability #specification
Mining Universal Specification Based on Probabilistic Model (DC, YZ, RW, XL, LP, WW), pp. 471–476.
SEKESEKE-2015-DingZ #modelling #petri net #using
Modeling and Analyzing Publish Subscribe Architcture using Petri Nets (JD, DZ), pp. 589–594.
SEKESEKE-2015-FanYC #adaptation #composition #energy #modelling
Modeling and Analyzing Adaptive Energy Consumption for Service Composition (GF, HY, LC), pp. 585–588.
SEKESEKE-2015-FariasGSOV #architecture #composition #towards
Toward an Architecture for Model Composition Techniques (KF, LG, MS, TCO, MV), pp. 656–659.
SEKESEKE-2015-GoncalesFSOV #comparison #difference
Model Comparison: a Systematic Mapping Study (LG, KF, MS, TCO, MV), pp. 546–551.
SEKESEKE-2015-KchaouBB #modelling #uml
CQV-UML Tool: a tool for managing the impact of change on UML models (DK, NB, HBA), pp. 670–673.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2015-ManiPW #co-evolution #modelling #performance #using
Exploring SOA Pattern Performance using Coupled Transformations and Performance Models (NM, DCP, CMW), pp. 552–557.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2015-TunnellA #fault #modelling #predict #release planning #using
Using Time Series Models for Defect Prediction in Software Release Planning (JT, JA), pp. 451–454.
SEKESEKE-2015-ZhangGAU #analysis #mobile
Test Model and Coverage Analysis for Location-based Mobile Services (TZ, JG, OEKA, TU), pp. 80–86.
SIGIRSIGIR-2015-AzzopardiZ #modelling #retrieval #tutorial #using
Building and Using Models of Information Seeking, Search and Retrieval: Full Day Tutorial (LA, GZ), pp. 1107–1110.
SIGIRSIGIR-2015-ChuklinMR #information retrieval #modelling #tutorial
Advanced Click Models and their Applications to IR: SIGIR 2015 Tutorial (AC, IM, MdR), pp. 1111–1112.
SIGIRSIGIR-2015-ChuklinMR15a #modelling #tutorial #web
An Introduction to Click Models for Web Search: SIGIR 2015 Tutorial (AC, IM, MdR), pp. 1113–1115.
SIGIRSIGIR-2015-ClarkeSY #behaviour #effectiveness #evaluation #information retrieval #modelling
IR Evaluation: Modeling User Behavior for Measuring Effectiveness (CLAC, MDS, EY), pp. 1117–1120.
SIGIRSIGIR-2015-EickhoffVH #dependence #modelling
Modelling Term Dependence with Copulas (CE, APdV, TH), pp. 783–786.
SIGIRSIGIR-2015-EswaranBP #classification #modelling #scalability #topic
Modeling Website Topic Cohesion at Scale to Improve Webpage Classification (DE, PNB, JJPI), pp. 787–790.
SIGIRSIGIR-2015-GangulyRMJ #information retrieval #word
Word Embedding based Generalized Language Model for Information Retrieval (DG, DR, MM, GJFJ), pp. 795–798.
SIGIRSIGIR-2015-KrstovskiSK #analysis #modelling #retrieval
Evaluating Retrieval Models through Histogram Analysis (KK, DAS, MJK), pp. 859–862.
SIGIRSIGIR-2015-LagunA #interactive #modelling
Inferring Searcher Attention by Jointly Modeling User Interactions and Content Salience (DL, EA), pp. 483–492.
SIGIRSIGIR-2015-LiLZS #matrix #modelling #multi #retrieval #using
Modeling Multi-query Retrieval Tasks Using Density Matrix Transformation (QL, JL, PZ, DS), pp. 871–874.
SIGIRSIGIR-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.
SIGIRSIGIR-2015-OdijkMSR #modelling #query
Dynamic Query Modeling for Related Content Finding (DO, EM, IS, MdR), pp. 33–42.
SIGIRSIGIR-2015-Paik #information retrieval #probability
A Probabilistic Model for Information Retrieval Based on Maximum Value Distribution (JHP), pp. 585–594.
SIGIRSIGIR-2015-ParkC #concept #retrieval #using
Using Key Concepts in a Translation Model for Retrieval (JHP, WBC), pp. 927–930.
SIGIRSIGIR-2015-QuezadaPP #social #social media
Location-Aware Model for News Events in Social Media (MQ, VPA, BP), pp. 935–938.
SIGIRSIGIR-2015-RuotsaloPEGRJMK #interactive #modelling #named
SciNet: Interactive Intent Modeling for Information Discovery (TR, JP, MJAE, DG, AR, GJ, PM, SK), pp. 1043–1044.
SIGIRSIGIR-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.
SIGIRSIGIR-2015-VolkovsY #effectiveness #feedback #modelling #recommendation
Effective Latent Models for Binary Feedback in Recommender Systems (MV, GWY), pp. 313–322.
SIGIRSIGIR-2015-VulicM #information retrieval #modelling #word
Monolingual and Cross-Lingual Information Retrieval Models Based on (Bilingual) Word Embeddings (IV, MFM), pp. 363–372.
SIGIRSIGIR-2015-WangGLXWC #learning #recommendation #representation
Learning Hierarchical Representation Model for NextBasket Recommendation (PW, JG, YL, JX, SW, XC), pp. 403–412.
SIGIRSIGIR-2015-WangLWZNM #behaviour #modelling
Incorporating Non-sequential Behavior into Click Models (CW, YL, MW, KZ, JYN, SM), pp. 283–292.
SIGIRSIGIR-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.
SIGIRSIGIR-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.
SIGIRSIGIR-2015-YangKML #modelling #parametricity #sentiment #topic
Parametric and Non-parametric User-aware Sentiment Topic Models (ZY, AK, AM, SL), pp. 413–422.
SIGIRSIGIR-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.
SIGIRSIGIR-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.
MODELSMoDELS-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.
MODELSMoDELS-J-2011-BlouinCBB15 #generative #modelling #named
Kompren: modeling and generating model slicers (AB, BC, BB, OB), pp. 321–337.
MODELSMoDELS-J-2011-Espinazo-PaganCM15 #model management #repository #scalability
A repository for scalable model management (JEP, JSC, JGM), pp. 219–239.
MODELSMoDELS-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.
MODELSMoDELS-J-2011-Steimann15 #refactoring
From well-formedness to meaning preservation: model refactoring for almost free (FS), pp. 307–320.
MODELSMoDELS-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.
MODELSMoDELS-J-2011-BlouinCBB15 #generative #modelling #named
Kompren: modeling and generating model slicers (AB, BC, BB, OB), pp. 321–337.
MODELSMoDELS-J-2011-Espinazo-PaganCM15 #model management #repository #scalability
A repository for scalable model management (JEP, JSC, JGM), pp. 219–239.
MODELSMoDELS-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.
MODELSMoDELS-J-2011-Steimann15 #refactoring
From well-formedness to meaning preservation: model refactoring for almost free (FS), pp. 307–320.
ECMFAECMFA-J-2012-ButtnerC15 #lightweight #reasoning #string
Lightweight string reasoning in model finding (FB, JC), pp. 413–427.
ECMFAECMFA-J-2012-LaraGC15 #metamodelling #modelling
Model-driven engineering with domain-specific meta-modelling languages (JdL, EG, JSC), pp. 429–459.
ECMFAECMFA-J-2012-PuissantSM15 #automation #consistency #nondeterminism #using
Resolving model inconsistencies using automated regression planning (JPP, RVDS, TM), pp. 461–481.
ECMFAECMFA-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.
ICMTICMT-J-2012-AtkinsonGT15 #model transformation #modelling #multi
Enhancing classic transformation languages to support multi-level modeling (CA, RG, CVT), pp. 645–666.
ICMTICMT-J-2012-DemuthLE15 #constraints #modelling
Constraint-driven modeling through transformation (AD, RELH, AE), pp. 573–596.
ICMTICMT-J-2012-GuerraS15 #model transformation #testing
Specification-driven model transformation testing (EG, MS), pp. 623–644.
ICMTICMT-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.
ICMTICMT-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.
AMTAMT-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.
AMTAMT-2015-GholizadehDKM #analysis #model transformation
Analysis of Source-to-Target Model Transformations in QueST (HG, ZD, SK, TSEM), pp. 46–55.
AMTAMT-2015-HilkenBGV #development #modelling #using
Iterative Development of Transformation Models by Using Classifying Terms (FH, LB, MG, AV), pp. 1–6.
AMTAMT-2015-HoislS #benchmark #evolution #metric #model-to-text #towards
Towards Benchmarking Evolution Support in Model-to-Text Transformation Systems (BH, SS), pp. 16–25.
AMTAMT-2015-RabbiLYK #approach #diagrams
A Diagrammatic Approach to Model Completion (FR, YL, IY, LK), pp. 56–65.
AMTAMT-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.
ECMFAECMFA-2015-BarmpisSK #incremental #scalability #towards
Towards Incremental Updates in Large-Scale Model Indexes (KB, SMS, DSK), pp. 137–153.
ECMFAECMFA-2015-BhalotiaK #interface #reuse
Reusable Model Interfaces with Instantiation Cardinalities (SB, JK), pp. 108–124.
ECMFAECMFA-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.
ECMFAECMFA-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.
ECMFAECMFA-2015-JahanbanifarKT #approach #integration #modelling
A Model-Based Approach for the Integration of Configuration Fragments (AJ, FK, MT), pp. 125–136.
ECMFAECMFA-2015-OgunyomiRK #incremental #model-to-text
Property Access Traces for Source Incremental Model-to-Text Transformation (BO, LMR, DSK), pp. 187–202.
ECMFAECMFA-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.
ECMFAECMFA-2015-SafdarIK #empirical #evaluation #modelling #tool support #uml
Empirical Evaluation of UML Modeling Tools — A Controlled Experiment (SAS, MZI, MUK), pp. 33–44.
ECMFAECMFA-2015-SaxonBA #black box #model transformation
Opening the Black-Box of Model Transformation (JTS, BB, DHA), pp. 171–186.
ECMFAECMFA-2015-ZolotasMDKP #flexibility #modelling #type inference
Type Inference in Flexible Model-Driven Engineering (AZ, NDM, SD, DSK, RFP), pp. 75–91.
MoDELSMoDELS-2015-AhmarGDP #communication #modelling #uml #visual notation
Enhancing the communication value of UML models with graphical layers (YEA, SG, CD, XLP), pp. 64–69.
MoDELSMoDELS-2015-AtkinsonGK15a #approach #modelling #multi
A unifying approach to connections for multi-level modeling (CA, RG, TK), pp. 216–225.
MoDELSMoDELS-2015-CuadradoGL #atl #model transformation
Quick fixing ATL model transformations (JSC, EG, JdL), pp. 146–155.
MoDELSMoDELS-2015-Easterbrook #modelling
Modelling the climate system: Is model-based science like model-based engineering? (Keynote) (SME), p. 1.
MoDELSMoDELS-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.
MoDELSMoDELS-2015-GogollaVBH #model transformation #testing
Employing classifying terms for testing model transformations (MG, AV, LB, FH), pp. 312–321.
MoDELSMoDELS-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.
MoDELSMoDELS-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.
MoDELSMoDELS-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.
MoDELSMoDELS-2015-KetataMFLC #migration #modelling #performance #predict
Performance prediction upon toolchain migration in model-based software (AK, CM, SF, JHL, KC), pp. 302–311.
MoDELSMoDELS-2015-KrikavaRS #framework #modelling #resource management #runtime #towards
Infrastructure as runtime models: Towards Model-Driven resource management (FK, RR, LS), pp. 100–105.
MoDELSMoDELS-2015-KuselEKRSS #co-evolution #consistency #modelling
Consistent co-evolution of models and transformations (AK, JE, EK, WR, WS, JS), pp. 116–125.
MoDELSMoDELS-2015-LaraGC #modelling #type system
A-posteriori typing for Model-Driven Engineering (JdL, EG, JSC), pp. 156–165.
MoDELSMoDELS-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.
MoDELSMoDELS-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.
MoDELSMoDELS-2015-LuddeckeSSS #modelling #network #using
Modeling user intentions for in-car infotainment systems using Bayesian networks (DL, CS, JS, IS), pp. 378–385.
MoDELSMoDELS-2015-MaozR #difference #framework #semantics
A framework for relating syntactic and semantic model differences (SM, JOR), pp. 24–33.
MoDELSMoDELS-2015-Moawad0FNKT #modelling #performance
Beyond discrete modeling: A continuous and efficient model for IoT (AM, TH, FF, GN, JK, YLT), pp. 90–99.
MoDELSMoDELS-2015-MontaghamiR #debugging #declarative #modelling
Pattern-based debugging of declarative models (VM, DR), pp. 322–327.
MoDELSMoDELS-2015-PescadorGGCL #development #domain-specific language #modelling
Pattern-based development of Domain-Specific Modelling Languages (AP, AG, EG, JSC, JdL), pp. 166–175.
MoDELSMoDELS-2015-PrzigodaHWPD #behaviour #concurrent #modelling #ocl #uml
Checking concurrent behavior in UML/OCL models (NP, CH, RW, JP, RD), pp. 176–185.
MoDELSMoDELS-2015-Rodriguez-Echeverria #analysis #approach #evolution #model transformation #statistics
A statistical analysis approach to assist model transformation evolution (RRE, FM), pp. 226–235.
MoDELSMoDELS-2015-S #challenge #modelling #named #smarttech
Automobile: Aircraft or smartphone? Modeling challenges and opportunities in Automotive Systems (keynote) (RS), p. 3.
MoDELSMoDELS-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.
MoDELSMoDELS-2015-SchottleK #api #modelling #reuse
Concern-oriented interfaces for model-based reuse of APIs (MS, JK), pp. 286–291.
MoDELSMoDELS-2015-SimmondsPBS #evolution #megamodelling #modelling #process
A megamodel for Software Process Line modeling and evolution (JS, DP, MCB, LS), pp. 406–415.
MoDELSMoDELS-2015-SoltanaSSB #framework #modelling #policy #probability #simulation
A model-based framework for probabilistic simulation of legal policies (GS, NS, MS, LCB), pp. 70–79.
MoDELSMoDELS-2015-StephanC #clone detection #detection #identification #using
Identification of Simulink model antipattern instances using model clone detection (MS, JRC), pp. 276–285.
MoDELSMoDELS-2015-SunkleKK #case study #modelling
Model-driven regulatory compliance: A case study of “Know Your Customer” regulations (SS, DK, VK), pp. 436–445.
MoDELSMoDELS-2015-SzvetitsZ #modelling #reuse #runtime
Reusable event types for models at runtime to support the examination of runtime phenomena (MS, UZ), pp. 4–13.
MoDELSMoDELS-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.
ECOOPECOOP-2015-ImamS #parallel #programming
The Eureka Programming Model for Speculative Task Parallelism (SI, VS), pp. 421–444.
OnwardOnward-2015-Kell #process #towards
Towards a dynamic object model within Unix processes (SK), pp. 224–239.
OOPSLAOOPSLA-2015-DemskyL #model checking #named
SATCheck: SAT-directed stateless model checking for SC and TSO (BD, PL), pp. 20–36.
OOPSLAOOPSLA-2015-JensenMRDV #model checking
Stateless model checking of event-driven applications (CSJ, AM, VR, DD, MTV), pp. 57–73.
GPCEGPCE-2015-FontAHC #metamodelling #modelling #product line
Addressing metamodel revisions in model-based software product lines (JF, LA, ØH, CC), pp. 161–170.
GPCEGPCE-2015-NogueraJ #modelling #query
Model querying with query models (CN, VJ), pp. 181–184.
PPDPPPDP-2015-BartakDZ #logic programming #modelling #on the #problem
On modeling planning problems in tabled logic programming (RB, AD, NFZ), pp. 31–42.
QAPLQAPL-2015-BortolussiH #markov #modelling #performance
Efficient Checking of Individual Rewards Properties in Markov Population Models (LB, JH), pp. 32–47.
POPLPOPL-2015-Chlipala #named #programming #web
Ur/Web: A Simple Model for Programming the Web (AC), pp. 153–165.
POPLPOPL-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.
REFSQREFSQ-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.
REFSQREFSQ-2015-CanchiD #functional #interactive #modelling #requirements
Functional Requirements Modelling for Interactive TV Applications (SC, JED), pp. 254–261.
REFSQREFSQ-2015-GharibG #modelling #quality #reasoning #requirements
Modeling and Reasoning About Information Quality Requirements (MG, PG), pp. 49–64.
REFSQREFSQ-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.
SACSAC-2015-AldeaIHQBF #modelling
Modelling strategy with ArchiMate (AA, MEI, JvH, DACQ, LB, HMF), pp. 1211–1218.
SACSAC-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.
SACSAC-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.
SACSAC-2015-CordobaL #design #effectiveness #java #modelling
A modelling language for the effective design of Java annotations (IC, JdL), pp. 2087–2092.
SACSAC-2015-CostaCFR #diagrams #modelling #precise #uml
From UML diagrams to simulink models: a precise and verified translation (AC, SAdCC, LF, LR), pp. 1547–1552.
SACSAC-2015-DermoucheKVL #modelling #sentiment #topic
A joint model for topic-sentiment modeling from text (MD, LK, JV, SL), pp. 819–824.
SACSAC-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.
SACSAC-2015-FonsecaNRP #execution #parallel #realtime
A multi-DAG model for real-time parallel applications with conditional execution (JCF, VN, GR, LMP), pp. 1925–1932.
SACSAC-2015-FrankM0
Alternating model trees (EF, MM, SK), pp. 871–878.
SACSAC-2015-GassaraRJ #approach #architecture #deployment #modelling #multi
A multi-scale modeling approach for software architecture deployment (AG, IBR, MJ), pp. 1405–1410.
SACSAC-2015-Grossl #modelling #network
Modeling dependable systems with continuous time Bayesian networks (MG), pp. 436–441.
SACSAC-2015-HamataniUH #smarttech #using
Estimating core body temperature based on human thermal model using wearable sensors (TH, AU, TH), pp. 521–526.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-2015-KhlifKKD #approach #architecture #modelling #multi #towards
Towards a multi-scale modeling approach for software architectures (IK, MHK, AHK, KD), pp. 1468–1470.
SACSAC-2015-KimHC #clustering #documentation #representation #semantics
Semantically enriching text representation model for document clustering (HjK, KjH, JyC), pp. 922–925.
SACSAC-2015-KundeM #middleware #resource management
Workload characterization model for optimal resource allocation in cloud middleware (SK, TM), pp. 442–447.
SACSAC-2015-LasagniR #3d
Force model of a robotic particle chain for 3d displays (ML, KR), pp. 314–319.
SACSAC-2015-MakrisVV #classification #predict
Classification model for predicting cost slippage in governmental ICT projects (CM, PV, JV), pp. 1238–1241.
SACSAC-2015-MarquesRA15a #process #requirements #towards #traceability
Towards a requirements traceability process centered on the traceability model (AM, FR, WdLA), pp. 1364–1369.
SACSAC-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.
SACSAC-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.
SACSAC-2015-Morelli #automation #generative #modelling
Automated generation of robotics applications from simulink and SysML models (MM), pp. 1948–1954.
SACSAC-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.
SACSAC-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.
SACSAC-2015-RiccobeneS #adaptation #formal method #modelling #self
Formal modeling self-adaptive service-oriented applications (ER, PS), pp. 1704–1710.
SACSAC-2015-SanchezJ #interactive #modelling #music #testing
Model based testing of an interactive music system (CPS, FJ), pp. 1759–1764.
SACSAC-2015-SantiagoPH #approach #detection #modelling
A modeling approach for credit card fraud detection in electronic payment services (GPS, AMP, RHJ), pp. 2328–2331.
SACSAC-2015-SilvaSBVS #assessment #framework #process #using
Using ArchiMate to model a process assessment framework (NS, MMdS, BB, MV, PS), pp. 1189–1194.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-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-FSEESEC-FSE-2015-ArcainiGR #composition #generative #modelling #testing
Improving model-based test generation by model decomposition (PA, AG, ER), pp. 119–130.
ESEC-FSEESEC-FSE-2015-DakaCFDW #modelling #readability #testing
Modeling readability to improve unit tests (ED, JC, GF, JD, WW), pp. 107–118.
ESEC-FSEESEC-FSE-2015-HermannREM #java #towards
Getting to know you: towards a capability model for Java (BH, MR, ME, MM), pp. 758–769.
ESEC-FSEESEC-FSE-2015-HeuleSC #modelling #named
Mimic: computing models for opaque code (SH, MS, SC), pp. 710–720.
ESEC-FSEESEC-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-FSEESEC-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-FSEESEC-FSE-2015-Olajubu #domain-specific language #modelling
A textual domain specific language for requirement modelling (OO), pp. 1060–1062.
ESEC-FSEESEC-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-FSEESEC-FSE-2015-SiegmundGAK #configuration management #modelling
Performance-influence models for highly configurable systems (NS, AG, SA, CK), pp. 284–294.
ICSEICSE-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.
ICSEICSE-v1-2015-BocicB #performance #verification
Coexecutability for Efficient Verification of Data Model Updates (IB, TB), pp. 744–754.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-v1-2015-NguyenN #graph #statistics
Graph-Based Statistical Language Model for Code (ATN, TNN), pp. 858–868.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-v1-2015-ZhuLL #programming
A Programming Model for Sustainable Software (HSZ, CL, YDL), pp. 767–777.
ICSEICSE-v2-2015-Assuncao #architecture #migration #product line #search-based
Search-Based Migration of Model Variants to Software Product Line Architectures (WKGA), pp. 895–898.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-v2-2015-FamelisBSSC #ide #named #nondeterminism
MU-MMINT: An IDE for Model Uncertainty (MF, NBD, ADS, RS, MC), pp. 697–700.
ICSEICSE-v2-2015-FranksTDH #modelling #named
CACHECA: A Cache Language Model Based Code Suggestion Tool (CF, ZT, PTD, VH), pp. 705–708.
ICSEICSE-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.
ICSEICSE-v2-2015-Kallehbasti #modelling #scalability #uml #verification
Scalable Formal Verification of UML Models (MMPK), pp. 847–850.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-v2-2015-Ouriques #modelling #testing
Strategies for Prioritizing Test Cases Generated Through Model-Based Testing Approaches (JFSO), pp. 879–882.
ICSEICSE-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.
SLESLE-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.
SLESLE-2015-EramoPR #bidirectional #model transformation #nondeterminism
Managing uncertainty in bidirectional model transformations (RE, AP, GR), pp. 49–58.
SLESLE-2015-KuehnBGA #formal method #relational
A combined formal model for relational context-dependent roles (TK, SB, SG, UA), pp. 113–124.
SLESLE-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.
SLESLE-2015-OchoaRT #feature model #modelling #using
Using decision rules for solving conflicts in extended feature models (LO, OGR, TT), pp. 149–160.
SLESLE-2015-UmuhozaBRC #empirical #modelling #process
An empirical study on simplification of business process modeling languages (EU, MB, DR, JC), pp. 13–24.
SPLCSPLC-2015-BecanBGA #feature model #modelling #synthesis
Synthesis of attributed feature models from product descriptions (GB, RB, AG, MA), pp. 1–10.
SPLCSPLC-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.
SPLCSPLC-2015-Beuche #feature model #modelling #variability
Managing variability with feature models (DB), p. 386.
SPLCSPLC-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.
SPLCSPLC-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.
SPLCSPLC-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.
SPLCSPLC-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.
SPLCSPLC-2015-FontAHC #concept #product line
Building software product lines from conceptualized model patterns (JF, LA, ØH, CC), pp. 46–55.
SPLCSPLC-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.
SPLCSPLC-2015-GaetaC #modelling #product line
Modeling aerospace systems product lines in SysML (JPG, KC), pp. 293–302.
SPLCSPLC-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.
SPLCSPLC-2015-MontalvilloD #branch #development #git #modelling #repository
Tuning GitHub for SPL development: branching models & repository operations for product engineers (LM, OD), pp. 111–120.
SPLCSPLC-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.
SPLCSPLC-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.
SPLCSPLC-2015-TraskR #architecture #modelling #product line
Leveraging model driven engineering in software product line architectures (BT, AR), p. 392.
ASPLOSASPLOS-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.
CCCC-2015-PingaliB #context-free grammar #parsing #visual notation
A Graphical Model for Context-Free Grammar Parsing (KP, GB), pp. 3–27.
CGOCGO-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.
HPDCHPDC-2015-ElliottHM #fault #linear
A Numerical Soft Fault Model for Iterative Linear Solvers (JE, MH, FM), pp. 271–274.
HPDCHPDC-2015-LiTKC #named #parallel #thread #visual notation
Transit: A Visual Analytical Model for Multithreaded Machines (AL, YCT, AK, HC), pp. 101–106.
LCTESLCTES-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.
PPoPPPPoPP-2015-AcharyaB #locality #modelling #parallel
PLUTO+: near-complete modeling of affine transformations for parallelism and locality (AA, UB), pp. 54–64.
PPoPPPPoPP-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.
PPoPPPPoPP-2015-KimLV #multi #programming
An OpenACC-based unified programming model for multi-accelerator systems (JK, SL, JSV), pp. 257–258.
PPoPPPPoPP-2015-MuralidharanGCSH #performance #programming
A collection-oriented programming model for performance portability (SM, MG, BCC, AS, MWH), pp. 263–264.
PPoPPPPoPP-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.
PPoPPPPoPP-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.
CADECADE-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.
CADECADE-2015-Ji #deduction #model checking
CTL Model Checking in Deduction Modulo (KJ), pp. 295–310.
CADECADE-2015-SaghafiDD
Exploring Theories with a Model-Finding Assistant (SS, RD, DJD), pp. 434–449.
CAVCAV-2015-AydinBB #constraints #string
Automata-Based Model Counting for String Constraints (AA, LB, TB), pp. 255–272.
CAVCAV-2015-BozzanoCGM #analysis #modelling #performance #safety
Efficient Anytime Techniques for Model-Based Safety Analysis (MB, AC, AG, CM), pp. 603–621.
CAVCAV-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.
CAVCAV-2015-Durand-Gasselin #model checking
Model Checking Parameterized Asynchronous Shared-Memory Systems (ADG, JE, PG, RM), pp. 67–84.
CAVCAV-2015-FinkbeinerRS #algorithm #model checking
Algorithms for Model Checking HyperLTL and HyperCTL ^* (BF, MNR, CS), pp. 30–48.
CAVCAV-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.
CAVCAV-2015-MajumdarW #bound #model checking #named #source code
Bbs: A Phase-Bounded Model Checker for Asynchronous Programs (RM, ZW), pp. 496–503.
CAVCAV-2015-ManskyGZ #axiom #memory management #modelling #specification
An Axiomatic Specification for Sequential Memory Models (WM, DG, SZ), pp. 413–428.
CSLCSL-2015-BreuvartP #linear #logic #modelling #relational #semantics
Modelling Coeffects in the Relational Semantics of Linear Logic (FB, MP), pp. 567–581.
CSLCSL-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.
CSLCSL-2015-MolinariMP #logic #model checking
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives (AM, AM, AP), pp. 193–210.
CSLCSL-2015-SalvatiW #behaviour #higher-order #source code
A Model for Behavioural Properties of Higher-order Programs (SS, IW), pp. 229–243.
ICLPICLP-2015-LeeMW #logic #markov #semantics
Markov Logic Style Weighted Rules under the Stable Model Semantics (JL, YM, YW).
ICLPICLP-2015-MartinezRIAT #learning #modelling #probability
Learning Probabilistic Action Models from Interpretation Transitions (DM, TR, KI, GA, CT).
ICSTICST-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.
ICSTICST-2015-ArcainiGV #detection #fault #feature model #generative #modelling #testing
Generating Tests for Detecting Faults in Feature Models (PA, AG, PV), pp. 1–10.
ICSTICST-2015-BaiSP #fault #named #using
NUMFL: Localizing Faults in Numerical Software Using a Value-Based Causal Model (ZB, GS, AP), pp. 1–10.
ICSTICST-2015-BrajnikBF #integration #latency #modelling #testing #web
Model-Based Continuous Integration Testing of Responsiveness of Web Applications (GB, AB, SF), pp. 1–2.
ICSTICST-2015-Felbinger #assessment #model inference #quality #testing #using
Test Suite Quality Assessment Using Model Inference Techniques (HF), pp. 1–2.
ICSTICST-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.
ICSTICST-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.
ICSTICST-2015-Lorber #modelling #mutation testing #realtime #testing
Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems (FL), pp. 1–2.
ICSTICST-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.
ICSTICST-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.
ICSTICST-2015-Rapos #co-evolution #industrial #modelling #testing
Co-Evolution of Model-Based Tests for Industrial Automotive Software (EJR), pp. 1–2.
ICSTICST-2015-RodriguesBCZO #modelling #named #performance #testing
PLeTsPerf — A Model-Based Performance Testing Tool (EdMR, MB, LTC, AFZ, FMdO), pp. 1–8.
ICSTICST-2015-Tiran #incremental #modelling #mutation testing #testing
Incremental Model-Based Mutation Testing (ST), pp. 1–2.
ICSTICST-2015-ZhangAC #exclamation #model checking #verification
Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications (HZ, TA, YC), pp. 1–10.
ISSTAISSTA-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.
LICSLICS-2015-CastellanCW #game studies #parallel
The Parallel Intensionally Fully Abstract Games Model of PCF (SC, PC, GW), pp. 232–243.
LICSLICS-2015-KobayashiL #abstraction #model checking #refinement
Automata-Based Abstraction Refinement for μHORS Model Checking (NK, XL), pp. 713–724.
LICSLICS-2015-McIverMR #data flow #markov #modelling #monad
Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow (AM, CM, TMR), pp. 597–608.
LICSLICS-2015-Ong #bibliography #higher-order #model checking #perspective
Higher-Order Model Checking: An Overview (LO), pp. 1–15.
RTARTA-2015-Talcott #execution #formal method #logic #modelling
Executable Formal Models in Rewriting Logic (Invited Talk) (CLT), p. 22.
ICSTSAT-2015-AzizCMS
#∃SAT: Projected Model Counting (RAA, GC, CJM, PJS), pp. 121–137.
TAPTAP-2015-AichernigNT #behaviour #generative #incremental #modelling #scalability #testing
Scalable Incremental Test-case Generation from Large Behavior Models (BKA, DN, ST), pp. 1–18.
TAPTAP-2015-BirchFP #fault #locality #modelling #performance #testing
Fast Model-Based Fault Localisation with Test Suites (GB, BF, MRP), pp. 38–57.
TAPTAP-2015-DutleMNB #animation #validation
Software Validation via Model Animation (AD, CAM, AN, RWB), pp. 92–108.
TAPTAP-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.
TAPTAP-2015-GrinchteinCP #analysis #constraints #optimisation #protocol
A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs (OG, MC, JP), pp. 137–154.
TLCATLCA-2015-AtkeyGFRS #modelling #morphism #physics #polymorphism
Models for Polymorphism over Physical Dimension (RA, NG, FNF, TR, SS), pp. 45–59.
VMCAIVMCAI-2015-DanMVY #abstraction #effectiveness #memory management #modelling #verification
Effective Abstractions for Verification under Relaxed Memory Models (AMD, YM, MTV, EY), pp. 449–466.
VMCAIVMCAI-2015-WaezWDR #industrial #realtime
A Model for Industrial Real-Time Systems (MTBW, AW, JD, KR), pp. 153–171.
CBSECBSE-2014-BenedittoW #configuration management #runtime #using
Using a model to generate reconfiguration plans at runtime (MEMDB, CMLW), pp. 65–74.
CBSECBSE-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.
CBSECBSE-2014-Lau #component #modelling #past present future
Software component models: past, present and future (KKL), pp. 185–186.
CBSECBSE-2014-MateescuSY #model checking #parallel #process #using
Quantifying the parallelism in BPMN processes using model checking (RM, GS, LY), pp. 159–168.
CBSECBSE-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.
CBSECBSE-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.
CBSECBSE-2014-SmaaliCB #metamodelling #towards
Towards a meta-model for dynamic applications (SS, AC, FB), pp. 23–28.
CBSECBSE-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.
ECSAECSA-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.
ECSAECSA-2014-SolimanR #architecture #interactive #modelling
Modeling the Interactions between Decisions within Software Architecture Knowledge (MS, MR), pp. 33–40.
QoSAQoSA-2014-BrunnertWK #architecture #enterprise #modelling #performance #using
Using architecture-level performance models as resource profiles for enterprise applications (AB, KW, HK), pp. 53–62.
QoSAQoSA-2014-BuhnovaCF #bibliography #modelling #predict #reliability
Failure data collection for reliability prediction models: a survey (BB, SC, LF), pp. 83–92.
QoSAQoSA-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.
QoSAQoSA-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.
QoSAQoSA-2014-MirandolaP #adaptation #formal method #modelling #self
Software QoS enhancement through self-adaptation and formal models (RM, DPP), pp. 145–146.
QoSAQoSA-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.
QoSAQoSA-2014-Perez-PalacinM #modelling #nondeterminism #performance
Dealing with uncertainties in the performance modelling of software systems (DPP, RM), pp. 33–42.
WICSAWICSA-2014-BaroniMMW #architecture #modelling #semantics #wiki
Architecture Description Leveraging Model Driven Engineering and Semantic Wikis (AB, HM, IM, EW), pp. 251–254.
WICSAWICSA-2014-DamRE #architecture #consistency #modelling #nondeterminism
Inconsistency Resolution in Merging Versions of Architectural Models (HKD, AR, AE), pp. 153–162.
WICSAWICSA-2014-PerovichB #architecture #formal method #modelling
Model-Based Formalization of Software Architecture Knowledge (DP, MCB), pp. 235–238.
WICSAWICSA-2014-SeeleSB #architecture #functional #modelling #web
The Functional Architecture Modeling Method Applied on Web Browsers (WS, SS, SB), pp. 171–174.
WICSAWICSA-2014-SyromiatnikovW #design pattern
A Journey through the Land of Model-View-Design Patterns (AS, DW), pp. 21–30.
ASEASE-2014-ArifulinaWBP #composition #modelling #named
SeSAME: modeling and analyzing high-quality service compositions (SA, SW, MB, MCP), pp. 839–842.
ASEASE-2014-BergmayrTW #evolution
From out-place transformation evolution to in-place model patching (AB, JT, MW), pp. 647–652.
ASEASE-2014-GayRH #automation
Improving the accuracy of oracle verdicts through automated model steering (GG, SR, MPEH), pp. 527–538.
ASEASE-2014-KehrerKR #modelling #visual notation
Workspace updates of visual models (TK, UK, DR), pp. 827–830.
ASEASE-2014-KuschkeM #modelling #process #uml
Pattern-based auto-completion of UML modeling activities (TK, PM), pp. 551–556.
ASEASE-2014-Lopez-FernandezGL #metamodelling #validation #verification
Meta-Model validation and verification with MetaBest (JJLF, EG, JdL), pp. 831–834.
ASEASE-2014-LutzD #comparison #data flow #difference #interactive #programming #using #visual notation
Using visual dataflow programming for interactive model comparison (RL, SD), pp. 653–664.
ASEASE-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.
ASEASE-2014-MatinnejadNBB14a #named #testing
CoCoTest: a tool for model-in-the-loop testing of continuous controllers (RM, SN, LCB, TB), pp. 855–858.
ASEASE-2014-MaYHC #modelling #uml #web
A web based UML modeling tool with touch screens (ZM, CYY, HH, HC), pp. 835–838.
ASEASE-2014-MoreiraP #modelling #testing #user interface
PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing (RMLMM, ACRP), pp. 863–866.
ASEASE-2014-OhmannHFHPBB #behaviour #model inference #resource management
Behavioral resource-aware model inference (TO, MH, SF, AH, MP, IB, YB), pp. 19–30.
ASEASE-2014-PadhyeMS #modelling #named
NeedFeed: taming change notifications by modeling code relevance (RP, SM, VSS), pp. 665–676.
ASEASE-2014-Priefer #content management #development #modelling
Model-driven development of content management systems based on Joomla (DP), pp. 911–914.
ASEASE-2014-Schneider #fault #modelling
Tracking down root causes of defects in simulink models (JS), pp. 599–604.
ASEASE-2014-Schneider14a #fault #modelling #runtime
Determining the most probable root causes of run-time errors in simulink models (JS), pp. 875–878.
ASEASE-2014-TarvoR #analysis #automation #modelling #parallel #performance #source code #thread
Automated analysis of multithreaded programs for performance modeling (AT, SPR), pp. 7–18.
CASECASE-2014-BehlNM #named #performance
IMpACT: Inverse model accuracy and control performance toolbox for buildings (MB, TXN, RM), pp. 1109–1114.
CASECASE-2014-ChangL #mobile #multi
Inverse observation model and multiple hypothesis tracking for indoor mobile robots (FMC, FLL), pp. 1200–1205.
CASECASE-2014-ChenLL #adaptation #design #predict #using
Design of lane keeping system using adaptive model predictive control (BCC, BCL, KL), pp. 922–926.
CASECASE-2014-ChenLY #distributed #modelling #network
Sparse particle filtering for modeling space-time dynamics in distributed sensor networks (YC, GL, HY), pp. 626–631.
CASECASE-2014-ChenS #approach #markov #modelling #novel #using
Modeling building occupancy using a novel inhomogeneous Markov chain approach (ZC, YCS), pp. 1079–1084.
CASECASE-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.
CASECASE-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.
CASECASE-2014-HeidingsfeldKTS #fault #modelling
Model-based sensor fault diagnosis for the Stuttgart SmartShell (MH, UK, CT, OS), pp. 846–851.
CASECASE-2014-HerrNV #complexity #distributed #framework #scheduling
Prognostics-based scheduling in a distributed platform: Model, complexity and resolution (NH, JMN, CV), pp. 1054–1059.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-2014-KeferZX #industrial
A versatile, non-linear and elasto-static stiffness model of articulated industrial robots (MK, JZ, HX), pp. 208–214.
CASECASE-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.
CASECASE-2014-LiuKCY #functional #modelling #monitoring #parametricity
Model-driven parametric monitoring of high-dimensional nonlinear functional profiles (GL, CK, YC, HY), pp. 722–727.
CASECASE-2014-LiWC #using
Pedestrian tracking system by using human shape prior model (KCL, HCW, JMC), pp. 1139–1143.
CASECASE-2014-LuoHA #online #predict
Online trajectory tracking based on model predictive control for Service Robot (RCL, KCH, RA), pp. 1238–1243.
CASECASE-2014-LuW #industrial #modelling
Modeling of forced convection heat transfer from the swing plate on an industrial robot (QL, DW), pp. 202–207.
CASECASE-2014-LuXJ #markov #process
A Markov Decision Process model for elective inpatient admission with delay announcement (YL, XX, ZJ), pp. 552–557.
CASECASE-2014-MaDLZ #learning #modelling #simulation
Modeling and simulation of product diffusion considering learning effect (KPM, XD, CFL, JZ), pp. 665–670.
CASECASE-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.
CASECASE-2014-OberlanderKHRD #3d #multi
A multi-resolution 3-D environment model for autonomous planetary exploration (JO, SK, GH, AR, RD), pp. 229–235.
CASECASE-2014-ShamsAY #modelling #predict
Predicting patient risk of readmission with frailty models in the Department of Veteran Affairs (IS, SA, KY), pp. 576–581.
CASECASE-2014-SongWHT #modelling #process
Shape deviation modeling for fused deposition modeling processes (SS, AW, QH, FT), pp. 758–763.
CASECASE-2014-WuCT #analysis #memory management #modelling #multi
Multistage semiconductor memory inventory model based on survival analysis (JZW, CFC, YCT), pp. 613–618.
CASECASE-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.
CASECASE-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.
CASECASE-2014-YangFD #modelling
Modeling on the fluid temperature distribution of a spiral heat exchanger (SY, KF, MD), pp. 170–175.
CASECASE-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.
CASECASE-2014-ZhaoCWJD #case study
Experimental study of group thermal comfort model (QZ, ZC, FW, YJ, JD), pp. 1075–1078.
CASECASE-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.
DACDAC-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.
DACDAC-2014-GuoBS #modelling #self
Modeling and Experimental Demonstration of Accelerated Self-Healing Techniques (XG, WB, MRS), p. 6.
DACDAC-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.
DACDAC-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.
DACDAC-2014-MunawarS #functional #modelling #scalability
Scalable Co-Simulation of Functional Models With Accurate Event Exchange (AM, SS), p. 6.
DACDAC-2014-NiKA #component #design #implementation
Design and Implementation of a Dynamic Component Model for Federated AUTOSAR Systems (ZN, AK, JA), p. 6.
DACDAC-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.
DACDAC-2014-ShinMP #modelling #statistics
Statistical Battery Models and Variation-Aware Battery Management (DS, EM, MP), p. 6.
DACDAC-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.
DACDAC-2014-WasicekDL #aspect-oriented #cyber-physical #modelling
Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems (AW, PD, EAL), p. 6.
DACDAC-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.
DACDAC-2014-ZhuoGS #design #grid #modelling #optimisation #power management
Early-Stage Power Grid Design: Extraction, Modeling and Optimization (CZ, HG, WKS), p. 6.
DATEDATE-2014-AfacanAFDB #automation #design #modelling #optimisation
Model based hierarchical optimization strategies for analog design automation (EA, SA, FVF, GD, IFB), pp. 1–4.
DATEDATE-2014-AyariABCKR #predict
New implementions of predictive alternate analog/RF test with augmented model redundancy (HA, FA, SB, MC, VK, MR), pp. 1–4.
DATEDATE-2014-BahrebarS #approach #network
Improving hamiltonian-based routing methods for on-chip networks: A turn model approach (PB, DS), pp. 1–4.
DATEDATE-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.
DATEDATE-2014-BanagaayaAST #network #order #reduction
Implicit index-aware model order reduction for RLC/RC networks (NB, GA, WHAS, CT), pp. 1–6.
DATEDATE-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.
DATEDATE-2014-BiewerGH #novel #smt
A novel model for system-level decision making with combined ASP and SMT solving (AB, JG, CH), pp. 1–4.
DATEDATE-2014-ButtazzoBB #adaptation #analysis #design
Rate-adaptive tasks: Model, analysis, and design issues (GCB, EB, DB), pp. 1–6.
DATEDATE-2014-ChenCT #performance #simulation
An activity-sensitive contention delay model for highly efficient deterministic full-system simulations (SYC, CHC, RST), pp. 1–6.
DATEDATE-2014-ChenHD #analysis #graph #modelling
May-happen-in-parallel analysis based on segment graphs for safe ESL models (WC, XH, RD), pp. 1–6.
DATEDATE-2014-FischerCM #analysis #design #modelling
Power modeling and analysis in early design phases (BF, CC, HM), pp. 1–6.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-LiuSZSC #constraints #latency #optimisation #streaming
Resource optimization for CSDF-modeled streaming applications with latency constraints (DL, JS, JTZ, TS, GC), pp. 1–6.
DATEDATE-2014-LongLY #analysis #bound #evaluation #modelling #multi
Analysis and evaluation of per-flow delay bound for multiplexing models (YL, ZL, XY), pp. 1–4.
DATEDATE-2014-MooreC #modelling #performance
Program affinity performance models for performance and utilization (RWM, BRC), pp. 1–4.
DATEDATE-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.
DATEDATE-2014-Pomeranz14a #fault
Substituting transition faults with path delay faults as a basic delay fault model (IP), pp. 1–6.
DATEDATE-2014-QiZ #modelling #performance #simulation
Efficient simulation and modelling of non-rectangular NoC topologies (JQ, MZ), pp. 1–4.
DATEDATE-2014-RuhrmairS #bibliography #modelling #perspective
PUF modeling attacks: An introduction and overview (UR, JS), pp. 1–6.
DATEDATE-2014-SalunkheMB #analysis #data flow #modelling
Mode-Controlled Dataflow based modeling & analysis of a 4G-LTE receiver (HS, OM, KvB), pp. 1–4.
DATEDATE-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.
DATEDATE-2014-SwaminathanKCSPSN #architecture #modelling
Modeling steep slope devices: From circuits to architectures (KS, MSK, NC, BS, RP, JS, VN), pp. 1–6.
DATEDATE-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.
DATEDATE-2014-VijaykumarV #analysis #canonical #statistics #using
Statistical static timing analysis using a skew-normal canonical delay model (MV, VV), pp. 1–6.
DATEDATE-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.
DATEDATE-2014-ZebeleinHFST #communication #modelling #multi #protocol
Model-based actor multiplexing with application to complex communication protocols (CZ, CH, JF, TS, JT), pp. 1–4.
DocEngDocEng-2014-BarabucciBIMM #detection #documentation #modelling #visualisation
Document changes: modeling, detection, storage and visualization (DChanges 2014) (GB, UMB, ADI, SM, EVM), pp. 207–208.
DRRDRR-2014-KumarWG #documentation #keyword
Variational dynamic background model for keyword spotting in handwritten documents (GK, SW, VG), pp. 902104–9.
DRRDRR-2014-PuriSH #modelling #probability
Probabilistic modeling of children’s handwriting (MP, SNS, LH), pp. 902103–13.
HTHT-2014-ChoiAL #authoring #hypermedia #modelling
Spatial hypertext modeling for dynamic contents authoring system based on transclusion (JRC, SA, SBL), pp. 303–304.
HTHT-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.
PODSPODS-2014-Haas #challenge #ecosystem #roadmap #tool support
Model-data Ecosystems: challenges, tools, and trends (PJH), pp. 76–87.
SIGMODSIGMOD-2014-ChiangDN #evolution #modelling
Modeling entity evolution for temporal record matching (YHC, AD, JFN), pp. 1175–1186.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
VLDBVLDB-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.
CSEETCSEET-2014-GaarT #collaboration #integration #modelling #social #social media
Improving model-based collaboration by social media integration (WG, ET), pp. 158–162.
CSEETCSEET-2014-Lethbridge #development #education #effectiveness #modelling #using
Teaching modeling using Umple: Principles for the development of an effective tool (TCL), pp. 23–28.
CSEETCSEET-2014-SedelmaierL #modelling #process #requirements #using
Using business process models to foster competencies in requirements engineering (YS, DL), pp. 13–22.
ITiCSEITiCSE-2014-BurdenA #modelling
Mastering model-driven engineering (HB, TA), p. 351.
ITiCSEITiCSE-2014-ChenD #development #education #mobile
A teaching model for development of sensor-driven mobile applications (HC, KD), pp. 147–152.
ITiCSEITiCSE-2014-HeldalSBM #communication #industrial
Supporting communication within industrial doctoral projects: the thesis steering model (IH, ES, LB, RM), p. 325.
ESOPESOP-2014-BenzakenCD #coq #formal method #relational
A Coq Formalization of the Relational Data Model (VB, EC, SD), pp. 189–208.
ESOPESOP-2014-BrainDKS #generative #proving #source code
Model and Proof Generation for Heap-Manipulating Programs (MB, CD, DK, PS), pp. 432–452.
FASEFASE-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.
FASEFASE-2014-CunhaMG #relational
Target Oriented Relational Model Finding (AC, NM, TG), pp. 17–31.
FASEFASE-2014-KrauseTG #graph transformation #implementation #parallel
Implementing Graph Transformations in the Bulk Synchronous Parallel Model (CK, MT, HG), pp. 325–339.
FASEFASE-2014-StruberRTC #crawling #information retrieval #modelling #using
Splitting Models Using Information Retrieval and Model Crawling Techniques (DS, JR, GT, MC), pp. 47–62.
FoSSaCSFoSSaCS-2014-Munch-Maccagnoni #composition #modelling
Models of a Non-associative Composition (GMM), pp. 396–410.
FoSSaCSFoSSaCS-2014-Tsukada0 #call-by #complexity #model checking #source code
Complexity of Model-Checking Call-by-Value Programs (TT, NK), pp. 180–194.
TACASTACAS-2014-ArmandoCC #model checking #named #satisfiability
SATMC: A SAT-Based Model Checker for Security-Critical Systems (AA, RC, LC), pp. 31–45.
TACASTACAS-2014-BaierKKM #markov #modelling
Computing Conditional Probabilities in Markovian Models Efficiently (CB, JK, SK, SM), pp. 515–530.
TACASTACAS-2014-BeekFHHMMR #modelling
CIF 3: Model-Based Engineering of Supervisory Controllers (DAvB, WF, DH, AH, JM, JMvdMF, MAR), pp. 575–580.
TACASTACAS-2014-HartmannsH #ide #modelling #tool support #verification
The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification (AH, HH), pp. 593–598.
TACASTACAS-2014-JahierDML #case study #modelling #testing
Environment-Model Based Testing of Control Systems: Case Studies (EJ, SDD, CM, EL), pp. 636–650.
TACASTACAS-2014-KroeningT #bound #c #contest #model checking #named
CBMC — C Bounded Model Checker — (Competition Contribution) (DK, MT), pp. 389–391.
TACASTACAS-2014-ReinekeT #modelling #multi #problem
Basic Problems in Multi-View Modeling (JR, ST), pp. 217–232.
TACASTACAS-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.
WRLAWRLA-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.
WRLAWRLA-2014-BaeM #infinity #model checking #using
Infinite-State Model Checking of LTLR Formulas Using Narrowing (KB, JM), pp. 113–129.
WRLAWRLA-2014-BartolettiMSZ #maude #modelling #verification
Modelling and Verifying Contract-Oriented Systems in Maude (MB, MM, AS, RZ), pp. 130–146.
SANERCSMR-WCRE-2014-AlalfiCD #analysis #clustering #experience #industrial
Analysis and clustering of model clones: An automotive industrial experience (MHA, JRC, TRD), pp. 375–378.
SANERCSMR-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.
SANERCSMR-WCRE-2014-GrantC #maintenance #similarity #topic
Examining the relationship between topic model similarity and software maintenance (SG, JRC), pp. 303–307.
SANERCSMR-WCRE-2014-MihanceaM #named #security #verification #web
JMODEX: Model extraction for verifying security properties of web applications (PFM, MM), pp. 450–453.
SANERCSMR-WCRE-2014-PanichellaOL #fault #modelling #predict
Cross-project defect prediction models: L’Union fait la force (AP, RO, ADL), pp. 164–173.
SANERCSMR-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.
ICPCICPC-2014-GuptaS #program analysis #quality
A semiautomated method for classifying program analysis rules into a quality model (SG, HKS), pp. 266–270.
ICPCICPC-2014-McBurneyLMW #source code #summary #topic
Improving topic model source code summarization (PWM, CL, CM, TW), pp. 291–294.
ICPCICPC-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.
ICPCICPC-2014-VasconcelosSW #feature model #visualisation
An information visualization feature model for supporting the selection of software visualizations (RV, MS, CW), pp. 122–125.
ICSMEICSME-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.
ICSMEICSME-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.
ICSMEICSME-2014-Rapos #co-evolution #industrial #modelling #testing
Co-evolution of Model-Based Tests for Industrial Automotive Software (EJR), p. 663.
ICSMEICSME-2014-Stephan #analysis #clone detection #detection #evaluation #mutation testing #using
Model Clone Detector Evaluation Using Mutation Analysis (MS), pp. 633–638.
ICSMEICSME-2014-WangLL #composition #debugging #locality #modelling
Compositional Vector Space Models for Improved Bug Localization (SW, DL, JL), pp. 171–180.
ICSMEICSME-2014-ZouH #modelling #topic
LDA Analyzer: A Tool for Exploring Topic Models (CZ, DH), pp. 593–596.
MSRMSR-2014-0001MKZ #fault #predict #towards
Towards building a universal defect prediction model (FZ, AM, IK, YZ), pp. 182–191.
MSRMSR-2014-CampbellHA #fault #modelling #syntax
Syntax errors just aren’t natural: improving error reporting with language models (JCC, AH, JNA), pp. 252–261.
MSRMSR-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.
MSRMSR-2014-KhodabandelouHDS #modelling #process
Unsupervised discovery of intentional process models from event logs (GK, CH, RD, CS), pp. 282–291.
MSRMSR-2014-TulsianKKLN #algorithm #model checking #named
MUX: algorithm selection for software model checkers (VT, AK, RK, AL, AVN), pp. 132–141.
MSRMSR-2014-WilliamsRMRK #dataset #modelling
Models of OSS project meta-information: a dataset of three forges (JRW, DDR, NDM, JDR, DSK), pp. 408–411.
PLDIPLDI-2014-AlglaveMT #memory management #modelling #simulation #testing
Herding cats: modelling, simulation, testing, and data-mining for weak memory (JA, LM, MT), p. 7.
PLDIPLDI-2014-LuuSSD #bound #constraints #string
A model counter for constraints over unbounded strings (LL, SS, PS, BD), p. 57.
PLDIPLDI-2014-RaychevVY #code completion #modelling #statistics
Code completion with statistical language models (VR, MTV, EY), p. 44.
STOCSTOC-2014-KesselheimTRV #online
Primal beats dual on online packing LPs in the random-order model (TK, KR, AT, BV), pp. 303–312.
STOCSTOC-2014-MakarychevMV #approximate #constant
Constant factor approximation for balanced cut in the PIE model (KM, YM, AV), pp. 41–49.
AFLAFL-2014-CarayolH #algorithm #automaton #model checking
Saturation algorithms for model-checking pushdown systems (AC, MH), pp. 1–24.
ICALPICALP-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.
ICALPICALP-v1-2014-ChildsGW
The Bose-Hubbard Model is QMA-complete (AMC, DG, ZW), pp. 308–319.
ICALPICALP-v1-2014-HegdeIS #linear #modelling
Nearly Linear-Time Model-Based Compressive Sensing (CH, PI, LS), pp. 588–599.
ICALPICALP-v1-2014-KusumotoY #morphism #testing
Testing Forest-Isomorphism in the Adjacency List Model (MK, YY), pp. 763–774.
ICALPICALP-v2-2014-AschnerK #bound #constraints #modelling #network
Bounded-Angle Spanning Tree: Modeling Networks with Angular Constraints (RA, MJK), pp. 387–398.
LATALATA-2014-DingSXHMC #modelling #probability
Stochastic k-Tree Grammar and Its Application in Biomolecular Structure Modeling (LD, AS, XX, XH, RLM, LC), pp. 308–322.
LATALATA-2014-FinkbeinerT #linear #logic #modelling
Counting Models of Linear-Time Temporal Logic (BF, HT), pp. 360–371.
LATALATA-2014-KleinMBK #automaton #model checking #probability #question
Are Good-for-Games Automata Good for Probabilistic Model Checking? (JK, DM, CB, SK), pp. 453–465.
FMFM-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.
FMFM-2014-BowenR #interactive #modelling #semantics
A Simplified Z Semantics for Presentation Interaction Models (JB, SR), pp. 148–162.
FMFM-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.
FMFM-2014-HahnLSTZ #model checking #named #probability
iscasMc: A Web-Based Probabilistic Model Checker (EMH, YL, SS, AT, LZ), pp. 312–317.
FMFM-2014-LinH #composition #concurrent #learning #model checking #synthesis
Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning (SWL, PAH), pp. 416–431.
IFMIFM-2014-AbbasBR #modelling #uml
Modeling UML Template Classes with FoCaLiZe (MA, CBBY, RR), pp. 87–102.
IFMIFM-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.
IFMIFM-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.
IFMIFM-2014-OliveiraSF #model checking #specification
Model-Checking Circus State-Rich Specifications (MVMO, ACAS, MSCF), pp. 39–54.
SEFMSEFM-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.
SEFMSEFM-2014-BonifacioM #modelling #testing
Test Suite Completeness and Partial Models (ALB, AVM), pp. 96–110.
SEFMSEFM-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.
SEFMSEFM-2014-HajisheykhiEK #fault #modelling #using
Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL (RH, AE, SSK), pp. 175–189.
SEFMSEFM-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.
SEFMSEFM-2014-MotaFDW #agile #model checking #prototype #semantics
Rapid Prototyping of a Semantically Well Founded Circus Model Checker (AM, AF, AD, JW), pp. 235–249.
SEFMSEFM-2014-ReicherdtG #matlab #modelling #using #verification
Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie (RR, SG), pp. 190–204.
SFMSFM-2014-AbrahamBDJKW #bibliography #generative #markov #modelling
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (, BB, CD, NJ, JPK, RW), pp. 65–121.
SFMSFM-2014-BubelMH #analysis #execution #modelling
Analysis of Executable Software Models (RB, AFM, RH), pp. 1–25.
SFMSFM-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.
SFMSFM-2014-LochauPKS #modelling #testing
Model-Based Testing (ML, SP, MK, IS), pp. 310–342.
GRAPHITEGRAPHITE-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-VMTGT-VMT-2014-HusseinHDS #adaptation #modelling #network
Modelling Adaptive Networks: The Case of the Petrified Voters (MH, RH, VD, PS).
GT-VMTGT-VMT-2014-StuckrathW #adaptation #modelling #petri net #user interface
Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models (JS, BW).
GT-VMTGT-VMT-2014-WangBL #alloy #graph #model transformation #using #verification
Verification of Graph-based Model Transformations Using Alloy (XW, FB, YL).
ICGTICGT-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.
ICGTICGT-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.
ICGTICGT-2014-Delzanno #distributed #model checking #protocol #verification
Parameterized Verification and Model Checking for Distributed Broadcast Protocols (GD), pp. 1–16.
ICGTICGT-2014-SelimLCDO #graph #model transformation #specification #verification
Specification and Verification of Graph-Based Model Transformation Properties (GMKS, LL, JRC, JD, BJO), pp. 113–129.
CHICHI-2014-BaillyOBH #linear #visual notation
Model of visual search and selection time in linear menus (GB, AO, DPB, AH), pp. 3865–3874.
CHICHI-2014-Bergstrom-LehtovirtaO #functional #mobile #modelling
Modeling the functional area of the thumb on mobile touchscreen surfaces (JBL, AO), pp. 1991–2000.
CHICHI-2014-ChenGWSHFA #3d #authoring #modelling
History assisted view authoring for 3D models (HTC, TG, LYW, RMS, BH, GWF, MA), pp. 2027–2036.
CHICHI-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.
CHICHI-2014-HongMD #behaviour #framework
A smartphone-based sensing platform to model aggressive driving behaviors (JHH, BM, AKD), pp. 4047–4056.
CHICHI-2014-KierasH #modelling #predict #towards #visual notation
Towards accurate and practical predictive models of active-vision-based visual search (DEK, AJH), pp. 3875–3884.
CHICHI-2014-MarananASPSB #design #modelling #using
Designing for movement: evaluating computational models using LMA effort qualities (DSM, SFA, TS, PP, PS, LB), pp. 991–1000.
CHICHI-2014-NancelC #concept #interactive #named
Causality: a conceptual model of interaction history (MN, AC), pp. 1777–1786.
CHICHI-2014-NicosiaOK #modelling #performance
Modeling the perception of user performance (MN, AO, POK), pp. 1747–1756.
CHICHI-2014-Oulasvirta #automation #human-computer #modelling
Automated nonlinear regression modeling for HCI (AO), pp. 3899–3902.
CHICHI-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.
CHICHI-2014-ZhangH #comprehension #modelling #multi
Understanding multitasking through parallelized strategy exploration and individualized cognitive modeling (YZ, AJH), pp. 3885–3894.
CSCWCSCW-2014-YueHH #collaboration #modelling #process #using #web
Modeling search processes using hidden states in collaborative exploratory web search (ZY, SH, DH), pp. 820–830.
HCIDHM-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.
HCIDHM-2014-FacoettiVCR #low cost #modelling
A Low Cost Haptic Mouse for Prosthetic Socket Modeling (GF, AV, GC, CR), pp. 508–515.
HCIDHM-2014-FuCLCZ #framework #modelling
Evaluating Work Disability of Lower Limb Handicapped within a Human Modeling Framework (YF, XC, SL, JGC, BZ), pp. 516–526.
HCIDHM-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.
HCIDHM-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.
HCIDHM-2014-MarlerBVJRD #design
A Digital Human Model for Performance-Based Design (TM, SB, UV, RJ, VR, BD), pp. 136–147.
HCIDHM-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.
HCIDUXU-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.
HCIDUXU-DI-2014-Fadel #design #web
Experience-Centered Web Design Model (LMF), pp. 92–103.
HCIDUXU-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.
HCIDUXU-DI-2014-MushtahaT #concept #design #locality
The Cultural Conceptual Model for Simplifying the Design of Localized Websites (AM, ODT), pp. 158–169.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-DP-2014-ChapmanP #effectiveness #maturity #user interface
A UX Maturity Model: Effective Introduction of UX into Organizations (LC, SP), pp. 12–22.
HCIDUXU-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.
HCIDUXU-TMT-2014-ChangHL #design #experience
Cultural Creativity in Experience Design Model (SHC, CHH, RL), pp. 622–630.
HCIDUXU-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-AIMT-2014-ReddyC #artificial reality #process #recognition #using
Human Activity Recognition from Kinect Captured Data Using Stick Model (VRR, TC), pp. 305–315.
HCIHCI-AIMT-2014-RestyanditoCP
The Effect of Voice Instruction on the Construction of Mental Model (R, AHSC, UP), pp. 481–491.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-AS-2014-WienkenMHK
Model of Mobility Oriented Agenda Planning (TW, CM, SH, HK), pp. 537–544.
HCIHCI-TMT-2014-AraujoJ #human-computer #interactive #modelling
Psychological Personas for Universal User Modeling in Human-Computer Interaction (CFdA, PTAJ), pp. 3–13.
HCIHCI-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.
HCIHCI-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.
HCIHCI-TMT-2014-Brahnam #human-computer #modelling #prototype
HCI Prototyping and Modeling of Future Psychotherapy Technologies in Second Life (SB), pp. 273–284.
HCIHCI-TMT-2014-BuchholzF #design #modelling #smarttech
Combining Design of Models for Smart Environments with Pattern-Based Extraction (GB, PF), pp. 285–294.
HCIHCI-TMT-2014-EngelHM #development #evaluation #modelling #user interface
Evaluation of Model-Based User Interface Development Approaches (JE, CH, CM), pp. 295–307.
HCIHCI-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.
HCIHCI-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.
HCIHIMI-AS-2014-HirashimaYH #learning #problem #word
Triplet Structure Model of Arithmetical Word Problems for Learning by Problem-Posing (TH, SY, YH), pp. 42–50.
HCIHIMI-AS-2014-KometaniTFA #behaviour #education #estimation #student
An Improved Teaching Behavior Estimation Model from Student Evaluations (YK, TT, TF, TA), pp. 59–68.
HCIHIMI-AS-2014-KwonJKY
A Knowledge Distribution Model to Support an Author in Narrative Creation (HK, SJ, HTK, WCY), pp. 511–522.
HCIHIMI-AS-2014-MaeshiroM #network #process
Polyhedron Network Model to Describe Creative Processes (TM, MM), pp. 535–545.
HCIHIMI-AS-2014-NozakiY #internet #modelling
Modeling Consumers with TV and Internet (AN, KY), pp. 614–621.
HCIHIMI-AS-2014-ZhangXCZL #fault #predict #probability
Predictive Probability Model of Pilot Error Based on CREAM (XZ, HX, YC, LZ, GL), pp. 296–304.
HCIHIMI-DE-2014-Ainoya #towards
KADEN Project — Towards the Construction of Model for Sharing Cognition in Manufacturing - (TA), pp. 291–297.
HCIHIMI-DE-2014-CunhaFPS #modelling #query #spreadsheet #visual notation
Graphical Querying of Model-Driven Spreadsheets (JC, JPF, RP, JS), pp. 419–430.
HCIHIMI-DE-2014-KatoM #deployment #modelling #quality #using
Quality Function Deployment Using Improved Interpretive Structural Modeling (TK, YM), pp. 352–363.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-DE-2014-UedaA14a #twitter
Suggestion of Operation Method of the Interest Shift Model of the Twitter User (YU, YA), pp. 664–677.
HCILCT-NLE-2014-LimongelliS #fuzzy #modelling #personalisation #student
Fuzzy Student Modeling for Personalization of e-Learning Courses (CL, FS), pp. 292–301.
HCILCT-NLE-2014-SousaLD #human-computer #towards #trust
A Model for Human-Computer Trust — Contributions Towards Leveraging User Engagement (SCS, DRL, PD), pp. 128–137.
HCILCT-TRE-2014-BosseP #towards
Towards Aggression De-escalation Training with Virtual Agents: A Computational Model (TB, SP), pp. 375–387.
HCISCSM-2014-AhangamaLKP #analysis #mobile #monitoring
Revolutionizing Mobile Healthcare Monitoring Technology: Analysis of Features through Task Model (SA, YSL, SYK, DCCP), pp. 298–305.
HCISCSM-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.
HCISCSM-2014-PlikynasRR #interactive #modelling #social
Modelling of Excitation Propagation for Social Interactions (DP, AR, SR), pp. 242–252.
HILTHILT-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.
HILTHILT-2014-Feiler #modelling
AADL and model-based engineering (PHF), pp. 17–18.
HILTHILT-2014-GacekBCSW #architecture #assurance #modelling #named
Resolute: an assurance case language for architecture models (AG, JB, DDC, KS, MWW), pp. 19–28.
HILTHILT-2014-HuguesG #ada #modelling
Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models (JH, CG), pp. 39–46.
HILTHILT-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.
HILTHILT-2014-Seidewitz #execution #modelling #uml
UML with meaning: executable modeling in foundational UML and the Alf action language (ES), pp. 61–68.
CAiSECAiSE-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.
CAiSECAiSE-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.
CAiSECAiSE-2014-GralhaG0 #composition #identification #modelling #requirements
Identifying Modularity Improvement Opportunities in Goal-Oriented Requirements Models (CG, MG, JA), pp. 91–104.
CAiSECAiSE-2014-PolyvyanyyRH #modelling #performance #process #retrieval #using
Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings (AP, MLR, AHMtH), pp. 439–456.
CAiSECAiSE-2014-WauteletHKM #modelling
Unifying and Extending User Story Models (YW, SH, MK, IM), pp. 211–225.
EDOCEDOC-2014-0001HPW #execution #framework #implementation #modelling
Implementation Framework for Production Case Management: Modeling and Execution (AM, NH, FP, MW), pp. 190–199.
EDOCEDOC-2014-FlorezSV #analysis #approach #automation #enterprise #modelling
Extensible Model-Based Approach for Supporting Automatic Enterprise Analysis (HF, MES, JV), pp. 32–41.
EDOCEDOC-2014-FrancescomarinoRGV #modelling #process #semantics
The Role of Semantic Annotations in Business Process Modelling (CDF, MR, CG, AV), pp. 181–189.
EDOCEDOC-2014-KurodaG #dependence #modelling #scalability
Model-Based IT Change Management for Large System Definitions with State-Related Dependencies (TK, ASG), pp. 170–179.
EDOCEDOC-2014-NardiFA #analysis #modelling #ontology
An Ontological Analysis of Service Modeling at ArchiMate’s Business Layer (JCN, RdAF, JPAA), pp. 92–100.
EDOCEDOC-2014-RitterS #exception #integration #modelling
Modeling Exception Flows in Integration Systems (DR, JS), pp. 12–21.
EDOCEDOC-2014-SchutzS #modelling
Customization of Domain-Specific Reference Models for Data Warehouses (CGS, MS), pp. 61–70.
EDOCEDOC-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.
ICEISICEIS-v1-2014-DahlbomR #modelling #visual notation
Situation Modeling and Visual Analytics for Decision Support in Sports (AD, MR), pp. 539–544.
ICEISICEIS-v1-2014-FolinoGP #framework #modelling #predict
A Framework for the Discovery of Predictive Fix-time Models (FF, MG, LP), pp. 99–108.
ICEISICEIS-v1-2014-FreitasBL #ontology #pervasive #workflow
Workflow Model for Management of Ontology of Homecare Pervasive Systems (LOF, EB, GRL), pp. 241–248.
ICEISICEIS-v1-2014-HenriquesA #database #generative #modelling #sequence
Generative Modeling of Itemset Sequences Derived from Real Databases (RH, CA), pp. 264–272.
ICEISICEIS-v1-2014-MamcenkoG #mobile #predict #using
Customer Churn Prediction in Mobile Operator Using Combined Model (JM, JG), pp. 233–240.
ICEISICEIS-v1-2014-Olive #agile #concept #development #information management #modelling
Conceptual Modeling in Agile Information Systems Development (AO), p. XI.
ICEISICEIS-v1-2014-RouhaniAA #evaluation #fuzzy
Fuzzy DEMATEL Model for Evaluation Criteria of Business Intelligence (SR, AA, SA), pp. 456–463.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v2-2014-SilvaMTW #modelling #process
Business Process Modeling and Instantiation in Home Care Environments (JKKdS, GMM, LHT, LKW), pp. 513–525.
ICEISICEIS-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.
ICEISICEIS-v3-2014-AlkhaldiCG #development #ontology #process
Supporting Process Model Development with Enterprise-Specific Ontologies (NA, SC, FG), pp. 236–248.
ICEISICEIS-v3-2014-BalinaAMS #development #metamodelling
Meta Model of e-Learning Materials Development (SB, IA, IM, ES), pp. 150–155.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v3-2014-RohlfsGP #architecture #comprehension #concept #enterprise
Understanding Enterprise Architecture through Bodies of Knowledge — A Conceptual Model (CLdRR, GG, FSP), pp. 249–259.
ICEISICEIS-v3-2014-RoychoudhuryRKK #enterprise #modelling
Models to Aid Decision Making in Enterprises (SR, AR, VK, DK), pp. 465–471.
ICEISICEIS-v3-2014-SaidCAB #metamodelling #modelling #process
Extending BPMN 2.0 Meta-models for Process Version Modelling (IBS, MAC, EA, RB), pp. 384–393.
ICEISICEIS-v3-2014-SinghJIS #architecture #enterprise #modelling
Modeling Value Creation with Enterprise Architecture (PMS, HJ, MEI, MvS), pp. 343–351.
ICEISICEIS-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.
CIKMCIKM-2014-CalvaneseMET #modelling #process #uml
Verifiable UML Artifact-Centric Business Process Models (DC, MM, ME, ET), pp. 1289–1298.
CIKMCIKM-2014-ChangZGCXT #modelling #online #predict
Predicting the Popularity of Online Serials with Autoregressive Models (BC, HZ, YG, EC, HX, CT), pp. 1339–1348.
CIKMCIKM-2014-DeBBGC #learning #linear
Learning a Linear Influence Model from Transient Opinion Dynamics (AD, SB, PB, NG, SC), pp. 401–410.
CIKMCIKM-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.
CIKMCIKM-2014-DerntlGTKJ #modelling #topic #web
Building and Exploring Dynamic Topic Models on the Web (MD, NG, AT, RK, MJ), pp. 2012–2014.
CIKMCIKM-2014-DingL
Model Selection with the Covering Number of the Ball of RKHS (LZD, SL), pp. 1159–1168.
CIKMCIKM-2014-DrumondDSN #modelling #multi #optimisation
Optimizing Multi-Relational Factorization Models for Multiple Target Relations (LRD, EDA, LST, WN), pp. 191–200.
CIKMCIKM-2014-EickhoffV #modelling
Modelling Complex Relevance Spaces with Copulas (CE, APdV), pp. 1831–1834.
CIKMCIKM-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.
CIKMCIKM-2014-GuiSHB #modelling #multi #network #topic
Modeling Topic Diffusion in Multi-Relational Bibliographic Information Networks (HG, YS, JH, GB), pp. 649–658.
CIKMCIKM-2014-Huo0LM #performance #query
Improving Tail Query Performance by Fusion Model (SH, MZ, YL, SM), pp. 559–568.
CIKMCIKM-2014-HustonC #comparison #dependence #modelling #retrieval #using
A Comparison of Retrieval Models using Term Dependencies (SH, WBC), pp. 111–120.
CIKMCIKM-2014-KimHYCK #retrieval
Exploiting Knowledge Structure for Proximity-aware Movie Retrieval Model (SK, KH, MYY, SC, SK), pp. 1847–1850.
CIKMCIKM-2014-KimTS
Tracking Temporal Dynamics of Purchase Decisions via Hierarchical Time-Rescaling Model (HK, NT, HS), pp. 1389–1398.
CIKMCIKM-2014-KiselevaCBD #detection #modelling #user satisfaction
Modelling and Detecting Changes in User Satisfaction (JK, EC, RB, RD), pp. 1449–1458.
CIKMCIKM-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.
CIKMCIKM-2014-LimsopathamMO #modelling #multi #ranking #towards
Modelling Relevance towards Multiple Inclusion Criteria when Ranking Patients (NL, CM, IO), pp. 1639–1648.
CIKMCIKM-2014-LinJXWCW #analysis #sentiment
A Cross-Lingual Joint Aspect/Sentiment Model for Sentiment Analysis (ZL, XJ, XX, WW, XC, YW), pp. 1089–1098.
CIKMCIKM-2014-LinLYC #classification #modelling #sentiment
Exploring Ensemble of Models in Taxonomy-based Cross-Domain Sentiment Classification (CKL, YYL, CHY, HHC), pp. 1279–1288.
CIKMCIKM-2014-LiuWZNZM #web
From Skimming to Reading: A Two-stage Examination Model for Web Search (YL, CW, KZ, JYN, MZ, SM), pp. 849–858.
CIKMCIKM-2014-LvZ #feedback
Revisiting the Divergence Minimization Feedback Model (YL, CZ), pp. 1863–1866.
CIKMCIKM-2014-MarkovKNSRC #effectiveness #metric #modelling
Vertical-Aware Click Model-Based Effectiveness Metrics (IM, EK, VN, PS, MdR, FC), pp. 1867–1870.
CIKMCIKM-2014-MaSYC #hashtag #modelling #probability #twitter
Tagging Your Tweets: A Probabilistic Modeling of Hashtag Annotation in Twitter (ZM, AS, QY, GC), pp. 999–1008.
CIKMCIKM-2014-ShenHGDM #information retrieval #semantics
A Latent Semantic Model with Convolutional-Pooling Structure for Information Retrieval (YS, XH, JG, LD, GM), pp. 101–110.
CIKMCIKM-2014-TakayamaTIOFC #detection #probability
A Word-Scale Probabilistic Latent Variable Model for Detecting Human Values (YT, YT, EI, DWO, KRF, ASC), pp. 1489–1498.
CIKMCIKM-2014-TkachenkoL #generative #modelling
Generative Modeling of Entity Comparisons in Text (MT, HWL), pp. 859–868.
CIKMCIKM-2014-TuLLH #ad hoc #documentation #information retrieval
Log-Bilinear Document Language Model for Ad-hoc Information Retrieval (XT, JL, BL, TH), pp. 1895–1898.
CIKMCIKM-2014-VineZKSB #semantics #similarity
Medical Semantic Similarity with a Neural Language Model (LDV, GZ, BK, LS, PB), pp. 1819–1822.
CIKMCIKM-2014-WangGL #modelling #personalisation #recommendation #transaction
Modeling Retail Transaction Data for Personalized Shopping Recommendation (PW, JG, YL), pp. 1979–1982.
CIKMCIKM-2014-WuF14a #modelling #performance #query
Analytical Performance Modeling for Top-K Query Processing (HW, HF), pp. 1619–1628.
CIKMCIKM-2014-YeLQPM #generative
A Generative Model for Generating Relevance Labels from Human Judgments and Click-Logs (XY, JL, ZQ, BP, DM), pp. 1907–1910.
ECIRECIR-2014-BaiGLC #documentation #linear #matrix #modelling
Local Linear Matrix Factorization for Document Modeling (LB, JG, YL, XC), pp. 398–411.
ECIRECIR-2014-BansalPGV #ambiguity #modelling #named
EDIUM: Improving Entity Disambiguation via User Modeling (RB, SP, MG, VV), pp. 418–423.
ECIRECIR-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.
ECIRECIR-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.
ECIRECIR-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.
ICMLICML-c1-2014-ChanA #consistency #graph #modelling
A Consistent Histogram Estimator for Exchangeable Graph Models (SHC, EA), pp. 208–216.
ICMLICML-c1-2014-GopalY #clustering #modelling
Von Mises-Fisher Clustering Models (SG, YY), pp. 154–162.
ICMLICML-c1-2014-InouyeRD #dependence #topic #word
Admixture of Poisson MRFs: A Topic Model with Word Dependencies (DI, PDR, ISD), pp. 683–691.
ICMLICML-c1-2014-LianREC #correlation #markov #modelling #process
Modeling Correlated Arrival Events with Latent Semi-Markov Processes (WL, VR, BE, LC), pp. 396–404.
ICMLICML-c1-2014-LiWLZT #dependence #modelling #on the #topic
On Modelling Non-linear Topical Dependencies (ZL, SW, JL, PZ, JT), pp. 458–466.
ICMLICML-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.
ICMLICML-c1-2014-RabinovichB #topic
The Inverse Regression Topic Model (MR, DMB), pp. 199–207.
ICMLICML-c1-2014-SamdaniCR #clustering #online
A Discriminative Latent Variable Model for Online Clustering (RS, KWC, DR), pp. 1–9.
ICMLICML-c1-2014-SoufianiPX #modelling #parametricity #ranking
Computing Parametric Ranking Models via Rank-Breaking (HAS, DCP, LX), pp. 360–368.
ICMLICML-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.
ICMLICML-c1-2014-ZhangZZ #infinity #markov #modelling
Max-Margin Infinite Hidden Markov Models (AZ, JZ, BZ), pp. 315–323.
ICMLICML-c2-2014-BothaB #composition #modelling #word
Compositional Morphology for Word Representations and Language Modelling (JAB, PB), pp. 1899–1907.
ICMLICML-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.
ICMLICML-c2-2014-ChagantyL #modelling #using #visual notation
Estimating Latent-Variable Graphical Models using Moments and Likelihoods (ATC, PL), pp. 1872–1880.
ICMLICML-c2-2014-Chapados #effectiveness #modelling
Effective Bayesian Modeling of Groups of Related Count Time Series (NC), pp. 1395–1403.
ICMLICML-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.
ICMLICML-c2-2014-ChenX #modelling #statistics
Statistical-Computational Phase Transitions in Planted Models: The High-Dimensional Setting (YC, JX), pp. 244–252.
ICMLICML-c2-2014-HeinemannG #modelling #visual notation
Inferning with High Girth Graphical Models (UH, AG), pp. 1260–1268.
ICMLICML-c2-2014-Hernandez-LobatoHG #matrix #modelling #probability #scalability
Stochastic Inference for Scalable Probabilistic Modeling of Binary Matrices (JMHL, NH, ZG), pp. 379–387.
ICMLICML-c2-2014-JohnsonW #modelling #probability
Stochastic Variational Inference for Bayesian Time Series Models (MJ, ASW), pp. 1854–1862.
ICMLICML-c2-2014-KirosSZ #modelling #multimodal
Multimodal Neural Language Models (RK, RS, RSZ), pp. 595–603.
ICMLICML-c2-2014-KpotufeSJS #consistency
Consistency of Causal Inference under the Additive Noise Model (SK, ES, DJ, BS), pp. 478–486.
ICMLICML-c2-2014-LiuSD #approximate #modelling #visual notation
Gaussian Approximation of Collective Graphical Models (LPL, DS, TGD), pp. 1602–1610.
ICMLICML-c2-2014-LiuZBP #dependence #modelling #multi #testing #visual notation
Multiple Testing under Dependence via Semiparametric Graphical Models (JL, CZ, ESB, DP), pp. 955–963.
ICMLICML-c2-2014-MaddisonT #generative #modelling #source code
Structured Generative Models of Natural Source Code (CJM, DT), pp. 649–657.
ICMLICML-c2-2014-McGibbonRSKP #comprehension #markov #modelling
Understanding Protein Dynamics with L1-Regularized Reversible Hidden Markov Models (RM, BR, MS, GK, VSP), pp. 1197–1205.
ICMLICML-c2-2014-MengEH #learning #modelling #visual notation
Learning Latent Variable Gaussian Graphical Models (ZM, BE, AOHI), pp. 1269–1277.
ICMLICML-c2-2014-NgoT #modelling #relational
Model-Based Relational RL When Object Existence is Partially Observable (NAV, MT), pp. 559–567.
ICMLICML-c2-2014-NiepertD #modelling
Exchangeable Variable Models (MN, PMD), pp. 271–279.
ICMLICML-c2-2014-RezendeMW #approximate #generative #modelling #probability
Stochastic Backpropagation and Approximate Inference in Deep Generative Models (DJR, SM, DW), pp. 1278–1286.
ICMLICML-c2-2014-ScholzLIW #object-oriented
A Physics-Based Model Prior for Object-Oriented MDPs (JS, ML, CLIJ, DW), pp. 1089–1097.
ICMLICML-c2-2014-SongADX #estimation #modelling #multi #parametricity
Nonparametric Estimation of Multi-View Latent Variable Models (LS, AA, BD, BX), pp. 640–648.
ICMLICML-c2-2014-ToulisAR #analysis #linear #modelling #probability #statistics
Statistical analysis of stochastic gradient methods for generalized linear models (PT, EA, JR), pp. 667–675.
ICMLICML-c2-2014-TrigeorgisBZS #learning
A Deep Semi-NMF Model for Learning Hidden Representations (GT, KB, SZ, BWS), pp. 1692–1700.
ICMLICML-c2-2014-WangHS #learning
Active Transfer Learning under Model Shift (XW, TKH, JS), pp. 1305–1313.
ICMLICML-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.
ICMLICML-c2-2014-WenYG #learning #nondeterminism #robust
Robust Learning under Uncertain Test Distributions: Relating Covariate Shift to Model Misspecification (JW, CNY, RG), pp. 631–639.
ICPRICPR-2014-0005ZTS #detection #segmentation
Human Hair Segmentation and Length Detection for Human Appearance Model (YW, ZZ, EKT, BS), pp. 450–454.
ICPRICPR-2014-AfkhamEC #framework #modelling
A Topological Framework for Training Latent Variable Models (HMA, CHE, SC), pp. 2471–2476.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2014-DanckaersHLLVDS
Correspondence Preserving Elastic Surface Registration with Shape Model Prior (FD, TH, DL, AL, SV, SVD, JS), pp. 2143–2148.
ICPRICPR-2014-DengWGZZ #modelling #multi
Multiple View Based Building Modeling with Multi-box Grammar (RD, QW, RG, GZ, HZ), pp. 4027–4032.
ICPRICPR-2014-DonoserHS #multi
Multiple Model Fitting by Evolutionary Dynamics (MD, MH, DS), pp. 3816–3821.
ICPRICPR-2014-DrewsNXC
Generalized Optical Flow Model for Scattering Media (PDJ, ERN, AX, MFMC), pp. 3999–4004.
ICPRICPR-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.
ICPRICPR-2014-DuCZ #aspect-oriented #identification #using
A Product Aspects Identification Method by Using Translation-Based Language Model (JD, WC, XZ), pp. 2790–2795.
ICPRICPR-2014-DuDA #modelling #topic #using
Signature Matching Using Supervised Topic Models (XD, DSD, WAA), pp. 327–332.
ICPRICPR-2014-FrazES #recognition
Mid-level-Representation Based Lexicon for Vehicle Make and Model Recognition (MF, EAE, MSS), pp. 393–398.
ICPRICPR-2014-GiordanoPS #estimation #kernel #modelling #using
Kernel Density Estimation Using Joint Spatial-Color-Depth Data for Background Modeling (DG, SP, CS), pp. 4388–4393.
ICPRICPR-2014-HaqBBA #modelling #segmentation #using
Using Shape-Aware Models for Lumbar Spine Intervertebral Disc Segmentation (RH, DAB, RCB, MAA), pp. 3191–3196.
ICPRICPR-2014-HasnatAT #clustering #image #using
Unsupervised Clustering of Depth Images Using Watson Mixture Model (MAH, OA, AT), pp. 214–219.
ICPRICPR-2014-HouHW #modelling #synthesis #video
Cloud Model-Based Dynamic Texture Synthesis for Video Coding (ZH, RH, ZW), pp. 838–842.
ICPRICPR-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.
ICPRICPR-2014-JudV #using
Using Object Probabilities in Deformable Model Fitting (CJ, TV), pp. 3310–3314.
ICPRICPR-2014-LiangLLFL #detection #modelling
Accurate Facial Landmarks Detection for Frontal Faces with Extended Tree-Structured Models (AL, WL, LL, MRF, VL), pp. 538–543.
ICPRICPR-2014-LiangZ #3d #modelling #recognition
3D Motion Trail Model Based Pyramid Histograms of Oriented Gradient for Action Recognition (BL, LZ), pp. 1952–1957.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2014-LiuKFYG #semantics
Model Semantic Relations with Extended Attributes (YL, XK, HF, XY, YG), pp. 2549–2554.
ICPRICPR-2014-LiuWF #modelling
Modeling the Relationship of Action, Object, and Scene (JL, XW, YF), pp. 2005–2010.
ICPRICPR-2014-LiuZZL #detection #realtime
Real-Time Scene Text Detection Based on Stroke Model (YL, DZ, YZ, SL), pp. 3116–3120.
ICPRICPR-2014-LiWQ #visual notation
Visual Tracking via Saliency Weighted Sparse Coding Appearance Model (WL, PW, HQ), pp. 4092–4097.
ICPRICPR-2014-LuoZYY #estimation
Region Tree Based Sparse Model for Optical Flow Estimation (WL, FZ, JY, JYY), pp. 2077–2082.
ICPRICPR-2014-LuWMST #detection #modelling
Anomaly Detection through Spatio-temporal Context Modeling in Crowded Scenes (TL, LW, XM, PS, CLT), pp. 2203–2208.
ICPRICPR-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.
ICPRICPR-2014-MavadatiM #automation #metric #modelling
Temporal Facial Expression Modeling for Automated Action Unit Intensity Measurement (SMM, MHM), pp. 4648–4653.
ICPRICPR-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.
ICPRICPR-2014-MontealegreH #interactive #named #tool support #visual notation
GIST: Graphical Interactive Display Tools Defining a Model for Interactive Search (IM, RMH), pp. 2984–2989.
ICPRICPR-2014-NieJ #learning #linear #using
Feature Learning Using Bayesian Linear Regression Model (SN, QJ), pp. 1502–1507.
ICPRICPR-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.
ICPRICPR-2014-OnalAVFOOY #analysis #modelling
Modeling the Brain Connectivity for Pattern Analysis (IO, EA, BV, OF, MO, , FTYV), pp. 3339–3344.
ICPRICPR-2014-OsogamiK
A Hierarchical Bayesian Choice Model with Visibility (TO, TK), pp. 3618–3623.
ICPRICPR-2014-PlanincK #modelling
Combining Spatial and Temporal Information for Inactivity Modeling (RP, MK), pp. 4234–4239.
ICPRICPR-2014-QureshiHA #probability #using
A Probabilistic Model for the Optimal Configuration of Retinal Junctions Using Theoretically Proven Features (TAQ, AH, BAD), pp. 3304–3309.
ICPRICPR-2014-RamaiahPG #generative
A Sigma-Lognormal Model for Handwritten Text CAPTCHA Generation (CR, RP, VG), pp. 250–255.
ICPRICPR-2014-RiabchenkoKC #generative #learning #modelling
Learning Generative Models of Object Parts from a Few Positive Examples (ER, JKK, KC), pp. 2287–2292.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2014-ShivramRG #case study #comparative #identification #modelling #online
Data Sufficiency for Online Writer Identification: A Comparative Study of Writer-Style Space vs. Feature Space Models (AS, CR, VG), pp. 3121–3125.
ICPRICPR-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.
ICPRICPR-2014-SunZL #adaptation #detection
An Adaptive-Profile Active Shape Model for Facial-Feature Detection (KS, HZ, KML), pp. 2849–2854.
ICPRICPR-2014-TamboBLHY #comprehension #video
Integrated Model for Understanding Pollen Tube Growth in Video (ALT, BB, NL, GH, ZY), pp. 2727–2732.
ICPRICPR-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.
ICPRICPR-2014-TsuchiyaMT #network
Exemplar Network: A Generalized Mixture Model (CT, TM, AT), pp. 598–603.
ICPRICPR-2014-WangGJ #learning #using
Learning with Hidden Information Using a Max-Margin Latent Variable Model (ZW, TG, QJ), pp. 1389–1394.
ICPRICPR-2014-WangWJ14a #markov #modelling #recognition #using
Early Facial Expression Recognition Using Hidden Markov Models (JW, SW, QJ), pp. 4594–4599.
ICPRICPR-2014-WangZWB #learning #modelling
Learning Room Occupancy Patterns from Sparsely Recovered Light Transport Models (QW, XZ, MW, KLB), pp. 1987–1992.
ICPRICPR-2014-WenZLDC #3d #multi #retrieval #sketching
Sketch-Based 3D Model Retrieval via Multi-feature Fusion (YW, CZ, JL, SD, SC), pp. 4570–4575.
ICPRICPR-2014-Wilson #graph #modelling #network
Graph Signatures for Evaluating Network Models (RCW), pp. 100–105.
ICPRICPR-2014-YangLLYL #estimation #identification #modelling
Color Models and Weighted Covariance Estimation for Person Re-identification (YY, SL, ZL, DY, SZL), pp. 1874–1879.
ICPRICPR-2014-YangYHD #modelling #recognition
A Hierarchical Model Based on Latent Dirichlet Allocation for Action Recognition (SY, CY, WH, XD), pp. 2613–2618.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2014-ZamunerBB #adaptation
A Pose-Adaptive Constrained Local Model for Accurate Head Pose Tracking (LZ, KB, EB), pp. 2525–2530.
ICPRICPR-2014-ZhangCQ #realtime
Real-Time Object Tracking with Generalized Part-Based Appearance Model and Structure-Constrained Motion Model (HZ, SC, LQ), pp. 1224–1229.
ICPRICPR-2014-ZhangHWZ #multi #parsing
Enhanced Human Parsing with Multiple Feature Fusion and Augmented Pose Model (ZZ, JH, YW, YZ), pp. 369–374.
ICPRICPR-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.
ICPRICPR-2014-ZhangYZJT #adaptation
Overlapped Fingerprints Separation Based on Adaptive Orientation Model Fitting (NZ, XY, YZ, XJ, JT), pp. 678–683.
ICPRICPR-2014-ZhaoFW0LL #modelling #process #recognition
Discriminative Context Models for Collective Activity Recognition (CZ, WF, JW, XB, QL, HL), pp. 648–653.
ICPRICPR-2014-ZhaoSJ #classification #markov
Coupled Hidden Markov Model for Electrocorticographic Signal Classification (RZ, GS, QJ), pp. 1858–1862.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2014-ZhuYLL #3d #robust
Robust 3D Morphable Model Fitting by Sparse SIFT Flow (XZ, DY, ZL, SZL), pp. 4044–4049.
ICPRICPR-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.
KDDKDD-2014-BuntineM #modelling #parametricity #topic
Experiments with non-parametric topic models (WLB, SM), pp. 881–890.
KDDKDD-2014-Chapelle #feedback #modelling
Modeling delayed feedback in display advertising (OC), pp. 1097–1105.
KDDKDD-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.
KDDKDD-2014-GhassemiNDBJRS #modelling
Unfolding physiological state: mortality modelling in intensive care units (MG, TN, FDV, NB, RJ, AR, PS), pp. 75–84.
KDDKDD-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.
KDDKDD-2014-GuSJWC #estimation #network #topic
Topic-factorized ideal point estimation model for legislative voting network (YG, YS, NJ, BW, TC), pp. 183–192.
KDDKDD-2014-HuHA #e-commerce #modelling #scalability #social
Style in the long tail: discovering unique interests with latent variable models in large scale social E-commerce (DJH, RH, JA), pp. 1640–1649.
KDDKDD-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.
KDDKDD-2014-LeeLTS #modelling #recommendation #scalability
Modeling impression discounting in large-scale recommender systems (PL, LVSL, MT, SS), pp. 1837–1846.
KDDKDD-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.
KDDKDD-2014-LiARS #complexity #modelling #topic
Reducing the sampling complexity of topic models (AQL, AA, SR, AJS), pp. 891–900.
KDDKDD-2014-LichmanS #kernel #modelling
Modeling human location data with mixtures of kernel densities (ML, PS), pp. 35–44.
KDDKDD-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.
KDDKDD-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.
KDDKDD-2014-PoaloH #case study #modelling #predict
Predictive modeling in practice: a case study from sprint (TDP, JH), p. 1517.
KDDKDD-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.
KDDKDD-2014-RadosavljevikP #interface #modelling #predict #scalability
Large scale predictive modeling for micro-simulation of 3G air interface load (DR, PvdP), pp. 1620–1629.
KDDKDD-2014-SarawagiC #modelling #query #web
Open-domain quantity queries on web tables: annotation, response, and consensus models (SS, SC), pp. 711–720.
KDDKDD-2014-WangNH #adaptation #induction #learning #scalability
Large-scale adaptive semi-supervised learning via unified inductive and transductive model (DW, FN, HH), pp. 482–491.
KDDKDD-2014-WangSW #learning #modelling
Unsupervised learning of disease progression models (XW, DS, FW), pp. 85–94.
KDDKDD-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.
KDDKDD-2014-XieGFTY
Class-distribution regularized consensus maximization for alleviating overfitting in model combination (SX, JG, WF, DST, PSY), pp. 303–312.
KDDKDD-2014-XuLGBB #mining #modelling #similarity
Modeling professional similarity by mining professional career trajectories (YX, ZL, AG, AB, AB), pp. 1945–1954.
KDDKDD-2014-YangH #learning #parametricity
Learning with dual heterogeneity: a nonparametric bayes model (HY, JH), pp. 582–590.
KDDKDD-2014-YangKSG #modelling #scalability #topic #twitter
Large-scale high-precision topic modeling on twitter (SHY, AK, AS, PG), pp. 1907–1916.
KDDKDD-2014-YinW #approach #clustering #modelling #multi
A dirichlet multinomial mixture model-based approach for short text clustering (JY, JW), pp. 233–242.
KDDKDD-2014-YuanCL #generative #named #recommendation
COM: a generative model for group recommendation (QY, GC, CYL), pp. 163–172.
KDIRKDIR-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.
KDIRKDIR-2014-BigdeliMRM #clustering #summary
Arbitrary Shape Cluster Summarization with Gaussian Mixture Model (EB, MM, BR, SM), pp. 43–52.
KDIRKDIR-2014-FakhfakhAA #fuzzy #information retrieval #modelling
Fuzzy User Profile Modeling for Information Retrieval (RF, ABA, CBA), pp. 431–436.
KDIRKDIR-2014-SaiaBC #modelling #recommendation #semantics
Semantic Coherence-based User Profile Modeling in the Recommender Systems Context (RS, LB, SC), pp. 154–161.
KDIRKDIR-2014-SenkoDPRK #modelling
A Method for Evaluating Validity of Piecewise-linear Models (OVS, DSD, EAP, LYR, AVK), pp. 437–443.
KEODKEOD-2014-0002FZ #documentation #named #xml
Galaxy-Gen — A Tool for Building Galaxy Model from XML Documents (IBM, JF, GZ), pp. 84–95.
KEODKEOD-2014-BrucatoD #modelling #ontology #simulation
The Minimal Ontology Principle — Philosophical Foundations of OPM-based Modelling and Simulation (JB, DD), pp. 405–409.
KEODKEOD-2014-FatyaniIP #ontology #petri net #simulation
Transformation of DEMO Model into Coloured Petri Net — Ontology based Simulation (TF, JI, JP), pp. 388–396.
KEODKEOD-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.
KEODKEOD-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.
KEODKEOD-2014-KoitO #modelling
Modelling Debates on the Computer (MK, ), pp. 361–368.
KEODKEOD-2014-TawambaNBT #evolution #named #ontology
MS-ONTO — Model and System for Supporting Ontology Evolution (ET, RN, BB, CT), pp. 319–326.
KEODKEOD-2014-WicklerCM #information management #modelling #named
KEWI — A Knowledge Engineering Tool for Modelling AI Planning Tasks (GW, LC, TLM), pp. 36–47.
KMISKMIS-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.
KMISKMIS-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.
KMISKMIS-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.
KMISKMIS-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.
KMISKMIS-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.
KMISKMIS-2014-Wagner #concept #memory management
The Concept of Team Transactive Memory Systems — Developing an Extended Model for Organizational Contexts (VW), pp. 319–325.
KMISKMIS-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.
KRKR-2014-BartholomewL #modelling #multi
Stable Models of Multi-Valued Formulas: Partial versus Total Functions (MB, JL).
KRKR-2014-BorgwardtDP #decidability #logic
Decidable Gödel Description Logics without the Finitely-Valued Model Property (SB, FD, RP).
KRKR-2014-BroeckMD #first-order
Skolemization for Weighted First-Order Model Counting (GVdB, WM, AD).
KRKR-2014-GarciaLS #finite #logic #reasoning
Finite Model Reasoning in Horn Description Logics (YAIG, CL, TS).
KRKR-2014-GottlobHKL #logic #semantics
Stable Model Semantics for Guarded Existential Rules and Description Logics (GG, AH, CK, TL).
KRKR-2014-Halpern #modelling
Appropriate Causal Models and Stability of Causation (JYH).
KRKR-2014-LomuscioM14a #bound #model checking
Model Checking Unbounded Artifact-Centric Systems (AL, JM).
MLDMMLDM-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.
MLDMMLDM-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.
MLDMMLDM-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.
MLDMMLDM-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.
MLDMMLDM-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.
RecSysRecSys-2014-JannachF #data mining #mining #modelling #process #recommendation
Recommendation-based modeling support for data mining processes (DJ, SF), pp. 337–340.
RecSysRecSys-2014-KimC #collaboration #predict
Bayesian binomial mixture model for collaborative prediction with non-random missing data (YDK, SC), pp. 201–208.
RecSysRecSys-2014-LiuSM #robust
A robust model for paper reviewer assignment (XL, TS, NDM), pp. 25–32.
RecSysRecSys-2014-RafailidisN #modelling
Modeling the dynamics of user preferences in coupled tensor factorization (DR, AN), pp. 321–324.
RecSysRecSys-2014-Sharma #modelling #people #social
Modeling the effect of people’s preferences and social forces on adopting and sharing items (AS), pp. 421–424.
RecSysRecSys-2014-ZhangOFL #modelling #network #scalability #social
Scalable audience targeted models for brand advertising on social networks (KZ, AMO, SF, HL), pp. 341–344.
SEKESEKE-2014-BarreirosM #flexibility #modelling #product line
Flexible Modeling and Product Derivation in Software Product Lines (JB, AMDM), pp. 67–70.
SEKESEKE-2014-ChourabiA #automation #process #specification
Automated transformation of business rules specification to business process model (OC, JA), pp. 684–687.
SEKESEKE-2014-DalliloAF #approach #multi #process
Making the link between strategy and process model collections: a multi-layered approach (FD, JPdA, MF), pp. 387–392.
SEKESEKE-2014-FernandesALG #modelling #probability #process #reduction
A Dimensionality Reduction Process to Forecast Events through Stochastic Models (PF, JA, LL, SG), pp. 534–539.
SEKESEKE-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.
SEKESEKE-2014-GuptaAWD #empirical #modelling #verification
Evaluating the Use of Model-Based Requirement Verification Method: An Empirical Study (MG, DA, GSW, HD), pp. 397–401.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2014-JiangCKZD #model transformation #source code #testing #using
Testing Model Transformation Programs using Metamorphic Testing (MJ, TYC, FCK, ZZ, ZD), pp. 94–99.
SEKESEKE-2014-KrollRA #development #process
Proposing a Software Process Model for Follow the Sun Development (JK, IR, JLNA), pp. 412–415.
SEKESEKE-2014-LingZF #approach #modelling #process #similarity
An Improved Structure-based Approach to Measure Similarity of Business Process Models (JL, LZ, QF), pp. 377–380.
SEKESEKE-2014-MaazounBB #feature model
Feature model recovery from product variants based on a cloning technique (JM, NB, HBA), pp. 431–436.
SEKESEKE-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.
SEKESEKE-2014-PereiraRA #sequence
Extending RBAC Model to Control Sequences of CRUD Expressions (ÓMP, DDR, RLA), pp. 463–469.
SEKESEKE-2014-QueirozB #approach #embedded #modelling #product line
A Critical Embedded System Product Line Model-based Approach (PGGQ, RTVB), pp. 71–75.
SEKESEKE-2014-ThiryFZ #development #named
GreenRM: Reference Model for Sustainable Software Development (MT, LF, AZ), pp. 39–42.
SEKESEKE-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.
SIGIRSIGIR-2014-AnilSS #evolution #kernel #modelling #network #social #using
Modeling evolution of a social network using temporalgraph kernels (AA, NS, SRS), pp. 1051–1054.
SIGIRSIGIR-2014-ArakiC #ranking #similarity #validation
An annotation similarity model in passage ranking for historical fact validation (JA, JC), pp. 1111–1114.
SIGIRSIGIR-2014-Azzopardi #interactive #modelling
Modelling interaction with economic models of search (LA), pp. 3–12.
SIGIRSIGIR-2014-CanCM #feedback #modelling #ranking
Incorporating query-specific feedback into learning-to-rank models (EFC, WBC, RM), pp. 1035–1038.
SIGIRSIGIR-2014-CarterCP #community #enterprise #modelling #query
Latent community discovery through enterprise user search query modeling (KMC, RSC, BP), pp. 871–874.
SIGIRSIGIR-2014-ChengYWL #behaviour #multi #recommendation
Group latent factor model for recommendation with multiple user behaviors (JC, TY, JW, HL), pp. 995–998.
SIGIRSIGIR-2014-ChuklinZSSR #modelling
Evaluating intuitiveness of vertical-aware click models (AC, KZ, AS, FS, MdR), pp. 1075–1078.
SIGIRSIGIR-2014-CostaCS #learning #modelling #ranking
Learning temporal-dependent ranking models (MC, FMC, MJS), pp. 757–766.
SIGIRSIGIR-2014-FangG #modelling
Modeling the dynamics of personal expertise (YF, AG), pp. 1107–1110.
SIGIRSIGIR-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.
SIGIRSIGIR-2014-FangZ #analysis #axiom #information retrieval #modelling #optimisation
Axiomatic analysis and optimization of information retrieval models (HF, CZ), p. 1288.
SIGIRSIGIR-2014-FerranteFM #injection #markov #modelling #precise
Injecting user models and time into precision via Markov chains (MF, NF, MM), pp. 597–606.
SIGIRSIGIR-2014-GolbusA #difference #modelling #on the #retrieval #standard
On the information difference between standard retrieval models (PBG, JAA), pp. 1135–1138.
SIGIRSIGIR-2014-Gupta #modelling
Modelling of terms across scripts through autoencoders (PG), p. 1279.
SIGIRSIGIR-2014-HaiCCLC #bibliography #sentiment
Coarse-to-fine review selection via supervised joint aspect and sentiment model (ZH, GC, KC, WL, PC), pp. 617–626.
SIGIRSIGIR-2014-Ifada #modelling #personalisation #recommendation #topic #using
A tag-based personalized item recommendation system using tensor modeling and topic model approaches (NI), p. 1280.
SIGIRSIGIR-2014-Kharitonov #behaviour #evaluation #modelling #online #web
Improving offline and online web search evaluation by modelling the user behaviour (EK), p. 1278.
SIGIRSIGIR-2014-LiDWDCZ #2d #query
A two-dimensional click model for query auto-completion (YL, AD, HW, HD, YC, CZ), pp. 455–464.
SIGIRSIGIR-2014-LinSKC #modelling #recommendation
New and improved: modeling versions to improve app recommendation (JL, KS, MYK, TSC), pp. 647–656.
SIGIRSIGIR-2014-LuMC #topic
A collective topic model for milestone paper discovery (ZL, NM, DWC), pp. 1019–1022.
SIGIRSIGIR-2014-Murdock #modelling
Dynamic location models (VM), pp. 1231–1234.
SIGIRSIGIR-2014-ParkS #detection #higher-order #modelling #probability
Second order probabilistic models for within-document novelty detection in academic articles (LAFP, SS), pp. 1103–1106.
SIGIRSIGIR-2014-RadhakrishnanGV #evolution #modelling
Modeling the evolution of product entities (PR, MG, VV), pp. 923–926.
SIGIRSIGIR-2014-TsolmonL #analysis #modelling #timeline
An event extraction model based on timeline and user analysis in Latent Dirichlet allocation (BT, KSL), pp. 1187–1190.
SIGIRSIGIR-2014-VoseckyLN #collaboration #modelling #personalisation #topic #twitter
Collaborative personalized Twitter search with topic-language models (JV, KWTL, WN), pp. 53–62.
SIGIRSIGIR-2014-WangSCHHW #modelling #predict
Modeling action-level satisfaction for search task satisfaction prediction (HW, YS, MWC, XH, AHA, RWW), pp. 123–132.
SIGIRSIGIR-2014-YanCW #modelling #personalisation
Cohort modeling for enhanced personalized search (JY, WC, RWW), pp. 505–514.
SIGIRSIGIR-2014-YangS0 #information management #information retrieval #modelling
Dynamic information retrieval modeling (HY, MS, JW), p. 1290.
SIGIRSIGIR-2014-YaoHHZ #modelling #recommendation #trust
Modeling dual role preferences for trust-aware recommendation (WY, JH, GH, YZ), pp. 975–978.
SIGIRSIGIR-2014-YaoZJBCSY #modelling #probability #topic
Probabilistic text modeling with orthogonalized topics (EY, GZ, OJ, SB, KC, ZS, YY), pp. 907–910.
SIGIRSIGIR-2014-YeH #effectiveness #feedback #pseudo
A simple term frequency transformation model for effective pseudo relevance feedback (ZY, JXH), pp. 323–332.
SIGIRSIGIR-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.
SIGIRSIGIR-2014-ZhangLY #documentation #ranking
A POMDP model for content-free document re-ranking (SZ, JL, HY), pp. 1139–1142.
SIGIRSIGIR-2014-ZhangZLG #modelling
Supervised hashing with latent factor models (PZ, WZ, WJL, MG), pp. 173–182.
SIGIRSIGIR-2014-ZhangZLG14a #crowdsourcing #modelling #multi
Multidimensional relevance modeling via psychometrics and crowdsourcing (YZ, JZ, ML, JG), pp. 435–444.
SIGIRSIGIR-2014-ZhaoH #information retrieval #probability #proximity
An enhanced context-sensitive proximity model for probabilistic information retrieval (JZ, JXH), pp. 1131–1134.
SIGIRSIGIR-2014-ZhuNG #adaptation #learning #random #social
An adaptive teleportation random walk model for learning social tag relevance (XZ, WN, MG), pp. 223–232.
SKYSKY-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.
AMTAMT-2014-GholizadehDM #approach #model transformation #query
A Query Structured Approach for Model Transformation (HG, ZD, TSEM), pp. 54–63.
AMTAMT-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.
AMTAMT-2014-PoskittDPR #bidirectional #model transformation #towards
Towards Rigorously Faking Bidirectional Model Transformations (CMP, MD, RFP, AR), pp. 70–75.
AMTAMT-2014-RentschlerWNHR #automation #clustering #legacy #model transformation
Remodularizing Legacy Model Transformations with Automatic Clustering Techniques (AR, DW, QN, LH, RR), pp. 4–13.
AMTAMT-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.
AMTAMT-2014-TisoRL #model-to-text #testing
Unit Testing of Model to Text Transformations (AT, GR, ML), pp. 14–23.
AMTAMT-2014-TroyaWBV #approximate #model transformation #towards
Towards Approximate Model Transformations (JT, MW, LB, AV), pp. 44–53.
BXBX-2014-MacedoCP #framework #model transformation #multi #towards
Towards a Framework for Multidirectional Model Transformations (NM, AC, HP), pp. 71–74.
BXBX-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.
ECMFAECMFA-2014-AnjorinRDS #graph grammar #performance
Efficient Model Synchronization with View Triple Graph Grammars (AA, SR, FD, AS), pp. 1–17.
ECMFAECMFA-2014-AtkinsonG
Level-Agnostic Designation of Model Elements (CA, RG), pp. 18–34.
ECMFAECMFA-2014-BarmpisK #modelling #query #scalability #towards
Towards Scalable Querying of Large-Scale Models (KB, DSK), pp. 35–50.
ECMFAECMFA-2014-BenelallamGSTL #emf #modelling #persistent #scalability
Neo4EMF, A Scalable Persistence Layer for EMF Models (AB, AG, GS, MT, DL), pp. 230–241.
ECMFAECMFA-2014-MartinezZKT #identification #variability #visualisation
Identifying and Visualising Commonality and Variability in Model Variants (JM, TZ, JK, YLT), pp. 117–131.
ECMFAECMFA-2014-Ritter #case study #experience #integration #modelling #process
Experiences with Business Process Model and Notation for Modeling Integration Patterns (DR), pp. 254–266.
ECMFAECMFA-2014-SchwichtenbergGHE #modelling #normalisation #qvt
Normalizing Heterogeneous Service Description Models with Generated QVT Transformations (SS, CG, ZH, GE), pp. 180–195.
ECMFAECMFA-2014-YueA #framework #metric #modelling #quality
A MOF-Based Framework for Defining Metrics to Measure the Quality of Models (TY, SA), pp. 213–229.
ICMTICMT-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.
ICMTICMT-2014-CuadradoGL #model transformation #reuse #reverse engineering
Reverse Engineering of Model Transformations for Reusability (JSC, EG, JdL), pp. 186–201.
ICMTICMT-2014-DiskinWGC #symmetry #taxonomy #towards
Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization (ZD, AW, HG, KC), pp. 57–73.
ICMTICMT-2014-ErginS #design pattern #graph #model transformation #towards
Towards a Language for Graph-Based Model Transformation Design Patterns (HE, ES), pp. 91–105.
ICMTICMT-2014-GonzalezC #analysis #constraints #generative #model transformation #testing
Test Data Generation for Model Transformations Combining Partition and Constraint Analysis (CAG, JC), pp. 25–41.
ICMTICMT-2014-GuanaS #analysis
ChainTracker, a Model-Transformation Trace Analysis Tool for Code-Generation Environments (VG, ES), pp. 146–153.
ICMTICMT-2014-HilkenHG #modelling #ocl #uml
Transformation of UML and OCL Models into Filmstrip Models (FH, LH, MG), pp. 170–185.
ICMTICMT-2014-JilaniIK #approach #generative #model transformation #testing
A Search Based Test Data Generation Approach for Model Transformations (AAJ, MZI, MUK), pp. 17–24.
ICMTICMT-2014-OrejasP #correctness #graph grammar #incremental
Correctness of Incremental Model Synchronization with Triple Graph Grammars (FO, EP), pp. 74–90.
ICMTICMT-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.
MODELSMoDELS-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.
MODELSMoDELS-2014-BakiSCMF #learning #model transformation
Learning Implicit and Explicit Control in Model Transformations by Example (IB, HAS, QC, PM, MF), pp. 636–652.
MODELSMoDELS-2014-BascianiRIP #automation #metamodelling #model transformation
Automated Chaining of Model Transformations with Incompatible Metamodels (FB, DDR, LI, AP), pp. 602–618.
MODELSMoDELS-2014-BergerNRACW #industrial #modelling #variability
Three Cases of Feature-Based Variability Modeling in Industry (TB, DN, RR, JMA, KC, AW), pp. 302–319.
MODELSMoDELS-2014-BousseCB14a #scalability
Scalable Armies of Model Clones through Data Sharing (EB, BC, BB), pp. 286–301.
MODELSMoDELS-2014-ChakiE #compilation #distributed #modelling #verification
Model-Driven Verifying Compilation of Synchronous Distributed Applications (SC, JRE), pp. 201–217.
MODELSMoDELS-2014-DavidRV #model transformation #streaming
Streaming Model Transformations By Complex Event Processing (ID, IR, DV), pp. 68–83.
MODELSMoDELS-2014-DerakhshanmaneshEIE #component
Model-Integrating Software Components (MD, JE, TI, GE), pp. 386–402.
MODELSMoDELS-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.
MODELSMoDELS-2014-EnriciAP #approach #communication #modelling #uml
A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes (AE, LA, RP), pp. 370–385.
MODELSMoDELS-2014-GomesBA #classification #model transformation #pattern matching #tool support
Classification of Model Transformation Tools: Pattern Matching Techniques (CG, BB, VA), pp. 619–635.
MODELSMoDELS-2014-KolovosMWP #modelling
Model Driven Grant Proposal Engineering (DSK, NDM, JRW, RFP), pp. 420–432.
MODELSMoDELS-2014-KrikavaCF #domain-specific language #named #scala
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations (FK, PC, RBF), pp. 569–585.
MODELSMoDELS-2014-LangerMK #behaviour #difference #semantics #specification
Semantic Model Differencing Utilizing Behavioral Semantics Specifications (PL, TM, GK), pp. 116–132.
MODELSMoDELS-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.
MODELSMoDELS-2014-LuddeckeBS #modelling #ontology
Ontology-Based Modeling of Context-Aware Systems (DL, NB, IS), pp. 484–500.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-2014-Pazzi #behaviour #composition #modelling
Modeling Systemic Behavior by State-Based Holonic Modular Units (LP), pp. 99–115.
MODELSMoDELS-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.
MODELSMoDELS-2014-Reinhartz-BergerFH #feature model #modelling
Comprehending Feature Models Expressed in CVL (IRB, KF, ØH), pp. 501–517.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-2014-SongZFCS0 #adaptation #constraints #modelling #policy
Modelling Adaptation Policies as Domain-Specific Constraints (HS, XZ, NF, FC, AS, GH), pp. 269–285.
MODELSMoDELS-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.
MODELSMoDELS-2014-TatibouetCGT #execution #formal method #modelling #semantics #uml
Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.
MODELSMoDELS-2014-ThummalaO #effectiveness #evaluation
An Evaluation of the Effectiveness of the Atomic Section Model (ST, JO), pp. 35–49.
MODELSMoDELS-2014-VaupelTHSGG #development #mobile #modelling
Model-Driven Development of Mobile Applications Allowing Role-Driven Variants (SV, GT, JPH, RS, RG, MG), pp. 1–17.
MODELSMoDELS-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.
MODELSMoDELS-2014-BakiSCMF #learning #model transformation
Learning Implicit and Explicit Control in Model Transformations by Example (IB, HAS, QC, PM, MF), pp. 636–652.
MODELSMoDELS-2014-BascianiRIP #automation #metamodelling #model transformation
Automated Chaining of Model Transformations with Incompatible Metamodels (FB, DDR, LI, AP), pp. 602–618.
MODELSMoDELS-2014-BergerNRACW #industrial #modelling #variability
Three Cases of Feature-Based Variability Modeling in Industry (TB, DN, RR, JMA, KC, AW), pp. 302–319.
MODELSMoDELS-2014-BousseCB14a #scalability
Scalable Armies of Model Clones through Data Sharing (EB, BC, BB), pp. 286–301.
MODELSMoDELS-2014-ChakiE #compilation #distributed #modelling #verification
Model-Driven Verifying Compilation of Synchronous Distributed Applications (SC, JRE), pp. 201–217.
MODELSMoDELS-2014-DavidRV #model transformation #streaming
Streaming Model Transformations By Complex Event Processing (ID, IR, DV), pp. 68–83.
MODELSMoDELS-2014-DerakhshanmaneshEIE #component
Model-Integrating Software Components (MD, JE, TI, GE), pp. 386–402.
MODELSMoDELS-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.
MODELSMoDELS-2014-EnriciAP #approach #communication #modelling #uml
A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes (AE, LA, RP), pp. 370–385.
MODELSMoDELS-2014-GomesBA #classification #model transformation #pattern matching #tool support
Classification of Model Transformation Tools: Pattern Matching Techniques (CG, BB, VA), pp. 619–635.
MODELSMoDELS-2014-KolovosMWP #modelling
Model Driven Grant Proposal Engineering (DSK, NDM, JRW, RFP), pp. 420–432.
MODELSMoDELS-2014-KrikavaCF #domain-specific language #named #scala
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations (FK, PC, RBF), pp. 569–585.
MODELSMoDELS-2014-LangerMK #behaviour #difference #semantics #specification
Semantic Model Differencing Utilizing Behavioral Semantics Specifications (PL, TM, GK), pp. 116–132.
MODELSMoDELS-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.
MODELSMoDELS-2014-LuddeckeBS #modelling #ontology
Ontology-Based Modeling of Context-Aware Systems (DL, NB, IS), pp. 484–500.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-2014-Pazzi #behaviour #composition #modelling
Modeling Systemic Behavior by State-Based Holonic Modular Units (LP), pp. 99–115.
MODELSMoDELS-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.
MODELSMoDELS-2014-Reinhartz-BergerFH #feature model #modelling
Comprehending Feature Models Expressed in CVL (IRB, KF, ØH), pp. 501–517.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-2014-SongZFCS0 #adaptation #constraints #modelling #policy
Modelling Adaptation Policies as Domain-Specific Constraints (HS, XZ, NF, FC, AS, GH), pp. 269–285.
MODELSMoDELS-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.
MODELSMoDELS-2014-TatibouetCGT #execution #formal method #modelling #semantics #uml
Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.
MODELSMoDELS-2014-ThummalaO #effectiveness #evaluation
An Evaluation of the Effectiveness of the Atomic Section Model (ST, JO), pp. 35–49.
MODELSMoDELS-2014-VaupelTHSGG #development #mobile #modelling
Model-Driven Development of Mobile Applications Allowing Role-Driven Variants (SV, GT, JPH, RS, RG, MG), pp. 1–17.
QAPLQAPL-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.
QAPLQAPL-2014-SpielerHZ #markov #model checking #modelling
Model Checking CSL for Markov Population Models (DS, EMH, LZ), pp. 93–107.
PADLPADL-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.
PADLPADL-2014-SaptawijayaP #logic programming #modelling #towards
Towards Modeling Morality Computationally with Logic Programming (AS, LMP), pp. 104–119.
POPLPOPL-2014-AtkeyGJ #dependent type #parametricity #type system
A relationally parametric model of dependent type theory (RA, NG, PJ), pp. 503–516.
POPLPOPL-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.
RERE-2014-BonfimNDS #case study #experience #modelling
Modelling sustainability in a procurement system: An experience report (CB, WN, LD, MS), pp. 402–411.
RERE-2014-CailliauL #exception #modelling
Integrating exception handling in goal models (AC, AvL), pp. 43–52.
RERE-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.
RERE-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.
RERE-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.
RERE-2014-TranM #approach #evolution #feature model #nondeterminism
An Approach for Decision Support on the Uncertainty in Feature Model Evolution (LMST, FM), pp. 93–102.
RERE-2014-WittFSH #process #validation #verification
Business Application Modeler: A process model Validation and Verification tool (SW, SF, AS, CH), pp. 333–334.
RERE-2014-ZhuMR #modelling #multi
Structured multi-view modeling by tabular notation (XZ, DM, DR), pp. 327–328.
REFSQREFSQ-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.
REFSQREFSQ-2014-NairVMTdB #analysis #problem #safety #traceability
Safety Evidence Traceability: Problem Analysis and Model (SN, JLdlV, AM, GT, LdlB, FB), pp. 309–324.
REFSQREFSQ-2014-SannierB #analysis #approach #modelling #named #requirements
INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis (NS, BB), pp. 135–151.
REFSQREFSQ-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.
SACSAC-PL-J-2013-CazzolaV14 #java
@Java: Bringing a richer annotation model to Java (WC, EV), pp. 2–18.
SACSAC-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.
SACSAC-2014-Al-RefaiCF #modelling #runtime #using
Using models to dynamically refactor runtime code (MAR, WC, RBF), pp. 1108–1113.
SACSAC-2014-AntunesBMBC #analysis #architecture #enterprise #ontology
Ontology-based enterprise architecture model analysis (GA, MB, RM, JLB, AC), pp. 1420–1422.
SACSAC-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.
SACSAC-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.
SACSAC-2014-BelbachirBM #modelling #probability
Probabilistic opinion models based on subjective sources (FB, MB, MMSM), pp. 925–926.
SACSAC-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.
SACSAC-2014-ChenZTWS #modelling #recommendation
Comparing the staples in latent factor models for recommender systems (CC, LZ, AT, KW, SV), pp. 91–96.
SACSAC-2014-ChoiKK #modelling #ontology #using
Modeling for context-aware healthcare service using ontology (JC, JK, PK), pp. 1729–1730.
SACSAC-2014-DieguesOPRR #modelling
Autonomic configuration of HyperDex via analytical modelling (NLD, MO, JP, LETR, PR), pp. 370–375.
SACSAC-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.
SACSAC-2014-FariasGLGCRBO #composition #quality #towards
Towards a quality model for model composition effort (KF, AG, CJPdL, LGJ, CAdC, RdRR, FPB, TCdO), pp. 1181–1183.
SACSAC-2014-GomesBM #network #similarity
A similarity model for virtual networks negotiation (RLG, LFB, ERMM), pp. 489–494.
SACSAC-2014-GriebeG #approach #automation #mobile #modelling #testing
A model-based approach to test automation for context-aware mobile applications (TG, VG), pp. 420–427.
SACSAC-2014-GuimaraesGF #composition #on the #quantifier
On the impact of obliviousness and quantification on model composition effort (EG, AG, KF), pp. 1043–1048.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-2014-JuniorGM #collaboration #constraints #modelling #personalisation
Personalized collaborative filtering: a neighborhood model based on contextual constraints (EBSJ, RG, MGM), pp. 919–924.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-2014-KrikavaCF #adaptation #architecture #modelling #named #self
ACTRESS: domain-specific modeling of self-adaptive software architectures (FK, PC, RBF), pp. 391–398.
SACSAC-2014-KrikavaCF14a #domain-specific language #modelling #using
Manipulating models using internal domain-specific languages (FK, PC, RBF), pp. 1612–1614.
SACSAC-2014-KuhnCJN #flexibility #modelling
Flexible modeling of policy-driven upstream notification strategies (EK, SC, GJ, MN), pp. 1352–1354.
SACSAC-2014-LabdaMS #modelling #privacy #process
Modeling of privacy-aware business processes in BPMN to protect personal data (WL, NM, PS), pp. 1399–1405.
SACSAC-2014-Le #android #framework #modelling
A model driven framework for modeling and composing service based Android applications (CL), pp. 450–457.
SACSAC-2014-LiMZ #using #visualisation
Visualization of oceanographic applications using a common data model (JL, ZPM, KZ), pp. 933–938.
SACSAC-2014-MitranCB #automation #image #ranking
GeoTime-based tag ranking model for automatic image annotation (MM, GC, MB), pp. 896–901.
SACSAC-2014-MolkaRDCZG #consistency #modelling #process
Conformance checking for BPMN-based process models (TM, DR, MD, AC, XJZ, WG), pp. 1406–1413.
SACSAC-2014-MoonPPS #recognition
Improved named entity recognition: patterns in columns model (PCM) (CYM, MP, HyP, JS), pp. 927–928.
SACSAC-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.
SACSAC-2014-OhK #architecture #requirements #traceability
A hierarchical model for traceability between requirements and architecture (JO, SK), pp. 1035–1042.
SACSAC-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.
SACSAC-2014-PatanaikZK #estimation #parametricity #simulation
Parameter estimation and simulation for one-choice Ratcliff diffusion model (AP, VZ, CKK), pp. 3–7.
SACSAC-2014-SaarsenD #assessment #process #towards
Towards an assessment model for balancing process model production and use (TS, MD), pp. 1386–1392.
SACSAC-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.
SACSAC-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.
SACSAC-2014-WayuaWS #modelling
Rethinking agribusiness models in Africa (CW, KW, OS), pp. 1174–1175.
FSEFSE-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.
FSEFSE-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.
FSEFSE-2014-FritzSKSB #developer #modelling
Developers’ code context models for change tasks (TF, DCS, KK, WS, CB), pp. 7–18.
FSEFSE-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.
FSEFSE-2014-Kan #model checking #safety #traceability #verification
Traceability and model checking to support safety requirement verification (SK), pp. 783–786.
FSEFSE-2014-VakiliD #infinity #modelling #smt #using #verification
Verifying CTL-live properties of infinite state models using an SMT solver (AV, NAD), pp. 213–223.
FSEFSE-2014-Wille #approach #modelling
Managing lots of models: the FaMine approach (DW), pp. 817–819.
ICSEICSE-2014-BeschastnikhBEK #behaviour #concurrent #modelling
Inferring models of concurrent systems from logs of their behavior with CSight (IB, YB, MDE, AK), pp. 468–479.
ICSEICSE-2014-BocicB #induction #invariant #verification #web
Inductive verification of data model invariants for web applications (IB, TB), pp. 620–631.
ICSEICSE-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.
ICSEICSE-2014-GhezziPST #behaviour #mining #modelling #web
Mining behavior models from user-intensive web applications (CG, MP, MS, GT), pp. 277–287.
ICSEICSE-2014-GousiosPD #case study #development
An exploratory study of the pull-based software development model (GG, MP, AvD), pp. 345–355.
ICSEICSE-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.
ICSEICSE-2014-MaozRR #component #modelling #verification
Verifying component and connector models against crosscutting structural views (SM, JOR, BR), pp. 95–105.
ICSEICSE-2014-MiyashitaTA #modelling #spreadsheet #using
Controlled modeling environment using flexibly-formatted spreadsheets (HM, HT, SA), pp. 978–988.
ICSEICSE-2014-SalayFRSC #model transformation #product line
Lifting model transformations to product lines (RS, MF, JR, ADS, MC), pp. 117–128.
ICSEICSE-2014-TonellaTN #modelling #n-gram #testing
Interpolated n-grams for model based testing (PT, RT, DCN), pp. 562–572.
ICSEICSE-2014-ZayanAC #comprehension #empirical #using
Effects of using examples on structural model comprehension: a controlled experiment (DZ, MA, KC), pp. 955–966.
SLESLE-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.
SLESLE-2014-BillGKS #model checking #ocl #specification
Model Checking of CTL-Extended OCL Specifications (RB, SG, PK, MS), pp. 221–240.
SLESLE-2014-HarkesV #modelling #navigation
Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation (DH, EV), pp. 241–260.
SLESLE-2014-JaksicFCG #feature model #modelling #usability #visual notation
Evaluating the Usability of a Visual Feature Modeling Notation (AJ, RBF, PC, SG), pp. 122–140.
SLESLE-2014-JukssVVV #model transformation
Dynamic Scope Discovery for Model Transformations (MJ, CV, DV, HV), pp. 302–321.
SLESLE-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.
SLESLE-2014-TisiJDSC #assembly #model transformation
fUML as an Assembly Language for Model Transformation (MT, FJ, JD, ZS, HC), pp. 171–190.
SPLCSPLC-2014-BergerSOHLW #case study #experience #modelling #variability
To connect or not to connect: experiences from modeling topological variability (TB, SS, , ØH, BL, AW), pp. 330–339.
SPLCSPLC-2014-BeucheS #feature model #modelling #variability
Managing variability with feature models (DB, MS), p. 364.
SPLCSPLC-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.
SPLCSPLC-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.
SPLCSPLC-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.
SPLCSPLC-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.
SPLCSPLC-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.
SPLCSPLC-2014-Reinhartz-Berger #automation #domain model #modelling
Can domain modeling be automated?: levels of automation in domain modeling (IRB), p. 359.
SPLCSPLC-2014-Reinhartz-BergerF #modelling #orthogonal #variability
Comprehensibility of orthogonal variability modeling languages: the cases of CVL and OVM (IRB, KF), pp. 42–51.
SPLCSPLC-2014-SteinNC #feature model #multi
Preference-based feature model configuration with multiple stakeholders (JS, IN, EC), pp. 132–141.
SPLCSPLC-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.
SPLCSPLC-2014-TraskR #architecture #modelling #product line
Leveraging model driven engineering in software product line architectures (BT, AR), pp. 360–361.
SPLCSPLC-2014-VacchiCCA #automation #component #implementation #model inference #variability
Automating variability model inference for component-based language implementations (EV, WC, BC, MA), pp. 167–176.
SPLCSPLC-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.
ASPLOSASPLOS-2014-HowerHBGHRW #memory management #modelling
Heterogeneous-race-free memory models (DRH, BAH, BMB, BRG, MDH, SKR, DAW), pp. 427–440.
HPCAHPCA-2014-NugterenBCB #distance #gpu #modelling #reuse
A detailed GPU cache model based on reuse distance theory (CN, GJvdB, HC, HEB), pp. 37–48.
HPDCHPDC-2014-BehzadBWPS #modelling #parallel #performance
Improving parallel I/O autotuning with performance modeling (BB, SB, SMW, P, MS), pp. 253–256.
HPDCHPDC-2014-BestaH #fault tolerance #memory management #modelling #programming
Fault tolerance for remote memory access programming models (MB, TH), pp. 37–48.
ISMMISMM-2014-LiDL #liveness #modelling #using
Modeling heap data growth using average liveness (PL, CD, HL), pp. 71–82.
ISMMISMM-2014-ZakkakP #architecture #java #memory management #named
JDMM: a java memory model for non-cache-coherent memory architectures (FSZ, PP), pp. 83–92.
OSDIOSDI-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.
PPoPPPPoPP-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.
CAVCAV-2014-CavadaCDGMMMRT #model checking
The nuXmv Symbolic Model Checker (RC, AC, MD, AG, AM, AM, SM, MR, ST), pp. 334–342.
CAVCAV-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.
CAVCAV-2014-CookFHIJP #biology #modelling
Finding Instability in Biological Models (BC, JF, BAH, SI, GJ, NP), pp. 358–372.
CAVCAV-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.
CAVCAV-2014-KomuravelliGC #model checking #recursion #smt #source code
SMT-Based Model Checking for Recursive Programs (AK, AG, SC), pp. 17–34.
ICLPICLP-J-2014-CharalambidisER #higher-order #logic programming #semantics
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation (AC, , PR), pp. 725–737.
ICSTICST-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.
ICSTICST-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.
ICSTICST-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.
ICSTICST-2014-LiO #analysis #empirical #modelling #testing
An Empirical Analysis of Test Oracle Strategies for Model-Based Testing (NL, JO), pp. 363–372.
ICSTICST-2014-SchwarzlB #test coverage
Model Dependent Test Coverage Variabilities (CS, HB), pp. 253–262.
ICSTICST-2014-WeisslederS #embedded #evaluation #modelling #testing
An Evaluation of Model-Based Testing in Embedded Applications (SW, HS), pp. 223–232.
ICTSSICTSS-2014-SamihGBAB #approach #modelling #testing
An Approach to Derive Usage Models Variants for Model-Based Testing (HS, HLG, RB, MA, BB), pp. 80–96.
IJCARIJCAR-2014-PapacchiniS #generative #logic
Terminating Minimal Model Generation Procedures for Propositional Modal Logics (FP, RAS), pp. 381–395.
IJCARIJCAR-2014-ZeljicWR #approximate
Approximations for Model Construction (AZ, CMW, PR), pp. 344–359.
ISSTAISSTA-2014-SchurRZ #mining #modelling #multi #named #web
ProCrawl: mining test models from multi-user web applications (MS, AR, AZ), pp. 413–416.
LICSLICS-CSL-2014-BaierDK #analysis #model checking #probability #trade-off
Trade-off analysis meets probabilistic model checking (CB, CD, SK), p. 10.
LICSLICS-CSL-2014-BojanczykDK #calculus #composition #model checking #theorem #μ-calculus
Decomposition theorems and model-checking for the modal μ-calculus (MB, CD, SK), p. 10.
LICSLICS-CSL-2014-BovaGS #logic #model checking #order #set
Model checking existential logic on partially ordered sets (SB, RG, SS), p. 10.
LICSLICS-CSL-2014-Breuvart #modelling #on the
On the characterization of models of H (FB), p. 10.
LICSLICS-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.
RTARTA-TLCA-2014-BizjakBM #nondeterminism #type system
A Model of Countable Nondeterminism in Guarded Type Theory (AB, LB, MM), pp. 108–123.
ICSTSAT-2014-CapelliDM
Hypergraph Acyclicity and Propositional Model Counting (FC, AD, SM), pp. 399–414.
ICSTSAT-2014-Gableske #framework #satisfiability
An Ising Model Inspired Extension of the Product-Based MP Framework for SAT (OG), pp. 367–383.
ICSTSAT-2014-LarrazORR #constraints #polynomial
Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions (DL, AO, ERC, AR), pp. 333–350.
TAPTAP-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.
TAPTAP-2014-ArcainiGR #abstraction #model checking #testing
An Abstraction Technique for Testing Decomposable Systems by Model Checking (PA, AG, ER), pp. 36–52.
TAPTAP-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.
VMCAIVMCAI-2014-AcunaAMS #approach #complexity #heuristic #modelling #network
Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach (VA, AA, AM, AS), pp. 322–336.
VMCAIVMCAI-2014-AminofJKR #model checking
Parameterized Model Checking of Token-Passing Systems (BA, SJ, AK, SR), pp. 262–281.
VMCAIVMCAI-2014-SinghSXKS #composition #modelling #sketching #synthesis #using
Modular Synthesis of Sketches Using Models (RS, RS, ZX, RK, ASL), pp. 395–414.
CBSECBSE-2013-LednickiCS #analysis #execution #worst-case
Model level worst-case execution time analysis for IEC 61499 (LL, JC, KS), pp. 169–178.
CBSECBSE-2013-VanwormhoudtF #adaptation #component #framework #named
CIAO: a component model and its OSGi framework for dynamically adaptable telephony applications (GV, AF), pp. 23–32.
CBSECBSE-2013-YinQCH #component
Mode switch handling for the ProCom component model (HY, HQ, JC, HH), pp. 13–22.
ECSAECSA-2013-CherfiaB #adaptation #towards
Towards a Bigraph-Based Model for Context-Aware Adaptive Systems (TAC, FB), pp. 340–343.
ECSAECSA-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.
ECSAECSA-2013-GoknilSPM #analysis #constraints #modelling
Analysis Support for TADL2 Timing Constraints on EAST-ADL Models (AG, JS, MAPF, FM), pp. 89–105.
ECSAECSA-2013-Kuster #architecture #design #modelling #traceability #validation
Architecture-Centric Modeling of Design Decisions for Validation and Traceability (MK), pp. 184–191.
ECSAECSA-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.
ECSAECSA-2013-TounsiKK #design pattern #modelling #refinement
Building Correct by Construction SOA Design Patterns: Modeling and Refinement (IT, MHK, AHK), pp. 33–44.
QoSAQoSA-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.
QoSAQoSA-2013-DajsurenBSR #assessment #composition #modelling
Simulink models are also software: modularity assessment (YD, MvdB, AS, SAR), pp. 99–106.
QoSAQoSA-2013-DuSHGV #generative #modelling #sequence
Generating service models by trace subsequence substitution (MD, JGS, CMH, JG, SV), pp. 123–132.
QoSAQoSA-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.
QoSAQoSA-2013-TchakaloffSB #energy #modelling #named #quality
ORQA: modeling energy and quality of service within AUTOSAR models (BT, SS, JPB), pp. 3–12.
QoSAQoSA-2013-TrubianiMCAG #analysis #architecture #modelling #nondeterminism #performance
Model-based performance analysis of software architectures under uncertainty (CT, IM, VC, AA, LG), pp. 69–78.
ASEASE-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.
ASEASE-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.
ASEASE-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.
ASEASE-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.
ASEASE-2013-ChoDS #bound #composition #model checking #named #source code</