BibSLEIGH — process tag

process

process

Tag #process

3899 papers:

EDM-2019-BoulangerK #automation: Shedding Light on the Automated Essay Scoring Process (DB, VK).
EDM-2019-HicksCL #analysis #student #using: Students' Use of Support Functions in DBAs: Analysis of NAEP Grade 8 Mathematics Process Data (JH, RC, M(L).
EDM-2019-JeonSBLR #online #student #using: Time-series Insights into the Process of Passing or Failing Online University Courses using Neural-Induced Interpretable Student States (BJ, ES, LB, JL, CPR).
EDM-2019-KangAYL #collaboration #game studies #problem #similarity: Collaborative Problem-Solving Process in A Science Serious Game: Exploring Group Action Similarity Trajectory (JK, DA, LY, ML0).
EDM-2019-MalekianBKBN #analysis #student #using: Characterising Students' Writing Processes Using Temporal Keystroke Analysis (DM, JB0, GEK, PGdB, SN).
EDM-2019-ShimadaMTOTK #learning #optimisation #student: Optimizing Assignment of Students to Courses based on Learning Activity Analytics (AS, KM, YT, HO, RiT, SK).
EDM-2019-TaniguchiSK #c #fault #programming: Investigating Error Resolution Processes in C Programming Exercise Courses (YT, AS, SK).
ICPC-2019-ChenYHLH #development: Analyzing performance-aware code changes in software development process (JC, DY, HH, ZL, HH), pp. 300–310.
ICSME-2019-ElazharySEZ #git #guidelines #question: Do as I Do, Not as I Say: Do Contribution Guidelines Match the GitHub Contribution Process? (OE, MADS, NAE, AZ), pp. 286–290.
MSR-2019-TonderTG #development #git #set: A panel data set of cryptocurrency development activity on GitHub (RvT, AT, CLG), pp. 186–190.
SCAM-2019-HendersonPK #automation #fault #locality #markov #using: Evaluating Automatic Fault Localization Using Markov Processes (TADH, AP, YK), pp. 115–126.
FM-2019-TapplerA0EL #learning #markov: L*-Based Learning of Markov Decision Processes (MT, BKA, GB0, ME, KGL), pp. 651–669.
SEFM-2019-Aalst #convergence #mining: Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data (WMPvdA), pp. 3–25.
CHI-PLAY-2019-Cuevas: The Creativity Process behind GRIS (AC), p. 3.
CHI-PLAY-2019-PonnadaCTMJI #crowdsourcing #design #game studies #recognition #research: Designing Videogames to Crowdsource Accelerometer Data Annotation for Activity Recognition Research (AP, SC, BTC, JAM, DJ, SSI), pp. 135–147.
CHI-PLAY-2019-SeeringMHCCH #feedback #game studies #industrial: Peer Feedback Processes in the Game Industry (JS, RM, EH, TC, ASC, JH), pp. 427–438.
CIKM-2019-MaoSSSS #learning: Investigating the Learning Process in Job Search: A Longitudinal Study (JM, DS, SS, FS, MS), pp. 2461–2464.
CIKM-2019-PratamaCXL0 #atl #information management #named #streaming: ATL: Autonomous Knowledge Transfer from Many Streaming Processes (MP, MdC, RX, EL, JL0), pp. 269–278.
CIKM-2019-QianW0 #behaviour #comprehension #modelling #named: BePT: A Behavior-based Process Translator for Interpreting and Understanding Process Models (CQ, LW, AK0), pp. 1873–1882.
CIKM-2019-WangCCCHHLC #bound #interactive #mining #mobile #named #visualisation: TraVis: An Interactive Visualization System for Mining Inbound Traveler Activities by Leveraging Mobile Ad Request Data (PXW, HC, WQC, CCC, YHH, THH, YL, CHC), pp. 2881–2884.
ECIR-p2-2019-AkbariCBOSW #modelling #using: Modeling User Return Time Using Inhomogeneous Poisson Process (MA, AC, SB, ADO, MS, JW0), pp. 37–44.
ECIR-p2-2019-Thode #image #integration #retrieval: Integration of Images into the Patent Retrieval Process (WT), pp. 359–363.
ICML-2019-AyedLC #behaviour #modelling #statistics: Beyond the Chinese Restaurant and Pitman-Yor processes: Statistical Models with double power-law behavior (FA, JL, FC), pp. 395–404.
ICML-2019-BurtRW #convergence: Rates of Convergence for Sparse Variational Gaussian Process Regression (DRB, CER, MvdW), pp. 862–871.
ICML-2019-ElfekiCRE #learning #named #using: GDPP: Learning Diverse Generations using Determinantal Point Processes (ME, CC, MR, ME), pp. 1774–1783.
ICML-2019-GeistSP #formal method #markov: A Theory of Regularized Markov Decision Processes (MG, BS, OP), pp. 2160–2169.
ICML-2019-GillenwaterKMV #performance: A Tree-Based Method for Fast Repeated Sampling of Determinantal Point Processes (JG, AK, ZM, SV), pp. 2260–2268.
ICML-2019-IalongoWHR #approximate #modelling: Overcoming Mean-Field Approximations in Recurrent Gaussian Process Models (ADI, MvdW, JH, CER), pp. 2931–2940.
ICML-2019-LimA #kernel #learning #markov #robust: Kernel-Based Reinforcement Learning in Robust Markov Decision Processes (SHL, AA), pp. 3973–3981.
ICML-2019-MaLH: Variational Implicit Processes (CM, YL, JMHL), pp. 4222–4233.
ICML-2019-MartensCY #modelling: Decomposing feature-level variation with Covariate Gaussian Process Latent Variable Models (KM, KRC, CY), pp. 4372–4381.
ICML-2019-RadanovicDPS #learning #markov: Learning to Collaborate in Markov Decision Processes (GR, RD, DCP, AS), pp. 5261–5270.
ICML-2019-RezaeiG #polynomial: A Polynomial Time MCMC Method for Sampling from Continuous Determinantal Point Processes (AR, SOG), pp. 5438–5447.
ICML-2019-RosenbergM #markov #online #optimisation: Online Convex Optimization in Adversarial Markov Decision Processes (AR0, YM), pp. 5478–5486.
ICML-2019-SalimbeniDHD: Deep Gaussian Processes with Importance-Weighted Variational Inference (HS, VD, JH, MPD), pp. 5589–5598.
ICML-2019-TrouleauEGKT #learning: Learning Hawkes Processes Under Synchronization Noise (WT, JE, MG, NK, PT), pp. 6325–6334.
ICML-2019-WalkerG #graph: Graph Convolutional Gaussian Processes (IW, BG), pp. 6495–6504.
ICML-2019-WildnerK #markov: Moment-Based Variational Inference for Markov Jump Processes (CW, HK), pp. 6766–6775.
KDD-2019-HossainR #learning #recognition: Active Deep Learning for Activity Recognition with Context Aware Annotator Selection (HMSH, NR), pp. 1862–1870.
KDD-2019-LinSQL0ZJ #precise #realtime #robust: Robust Gaussian Process Regression for Real-Time High Precision GPS Signal Enhancement (ML, XS, QQ, HL, LS0, SZ, RJ), pp. 2838–2847.
KDD-2019-OkawaIK0TU #information management #predict: Deep Mixture Point Processes: Spatio-temporal Event Prediction with Rich Contextual Information (MO, TI, TK, YT0, HT, NU), pp. 373–383.
KDD-2019-WarlopMG #recommendation: Tensorized Determinantal Point Processes for Recommendation (RW, JM, MG), pp. 1605–1615.
KDD-2019-YanXL #modelling: Modeling and Applications for Temporal Point Processes (JY, HX, LL), pp. 3227–3228.
POPL-2019-KokkeMP #semantics: Better late than never: a fully-abstract semantics for classical processes (WK, FM, MP), p. 29.
QAPL-2019-PedersenBL #markov: A Faster-Than Relation for Semi-Markov Decision Processes (MRP, GB, KGL), pp. 29–42.
ASE-2019-PalmerinoYDK #adaptation #self: Improving the Decision-Making Process of Self-Adaptive Systems by Accounting for Tactic Volatility (JP, QY, TD, DEK), pp. 949–961.
ASE-2019-Vassallo #integration: Enabling Continuous Improvement of a Continuous Integration Process (CV), pp. 1246–1249.
ESEC-FSE-2019-Nurgalieva #development: The lessons software engineers can extract from painters to improve the software development process (MN), pp. 1211–1213.
ICSE-2019-Chattopadhyay0G #case study #developer #how: Latent patterns in activities: a field study of how developers manage context (SC, NN0, YRG, AAL, RP, AS), pp. 373–383.
ICSE-2019-RamsauerLM #commit #reliability: The list is the process: reliable pre-integration tracking of commits on mailing lists (RR, DL, WM), pp. 807–818.
CASE-2019-BenakisDPF #industrial #monitoring: Welding Process Monitoring Applications and Industry 4.0 (MB, CD, AP, RF), pp. 1755–1760.
CASE-2019-BhatnagarSGB #markov: Robotic Harvesting of a Moving Swarm Represented by a Markov Process (SB, SSS, JG, ATB), pp. 1157–1162.
CASE-2019-ChengJM #detection #monitoring #robust: Data-Efficient Process Monitoring and Failure Detection for Robust Robotic Screwdriving (XC, ZJ, MTM), pp. 1705–1711.
CASE-2019-ChenLVR #machine learning #using: Strip Snap Analytics in Cold Rolling Process Using Machine Learning (ZC, YL, AVM, FR), pp. 368–373.
CASE-2019-Dagnino #data mining #mining: Data Mining Methods to Analyze Alarm Logs in IoT Process Control Systems (AD), pp. 323–330.
CASE-2019-KanekolTPODKM #image #learning #modelling: Learning Deep Dynamical Models of a Waste Incineration Plant from In-furnace Images and Process Data (TK, YT, JP, YO, YD, KK, TM), pp. 873–878.
CASE-2019-KangJ #health #optimisation #realtime #sequence: Joint Optimization of Operating Mode and Part Sequence for Robot Loading Process Considering Real-time Health Condition (YK, FJ), pp. 48–53.
CASE-2019-KorabiGAOP #monitoring: Monitoring of a sampled process data under Run-to-Run control: application to a semiconductor process (TEK, GG, EMEA, MO, JP), pp. 930–935.
CASE-2019-KrambergerWRMUS #automation #flexibility: Automatic Fingertip Exchange System for Robotic Grasping in Flexible Production Processes (AK, AW, MHR, MM, AU, CS), pp. 1664–1669.
CASE-2019-MaggipintoSZM #case study #fault #multi #predict #what: What are the Most Informative Data for Virtual Metrology? A use case on Multi-Stage Processes Fault Prediction (MM, GAS, FZ, SFM), pp. 1796–1801.
CASE-2019-PengZZZ #analysis #component #detection #fault #kernel #markov #multi: Hidden Markov Model Combined with Kernel Principal Component Analysis for Nonlinear Multimode Process Fault Detection (PP, JZ, YZ, HZ), pp. 1586–1591.
CASE-2019-PotluriD #detection #injection #learning #performance: Deep Learning based Efficient Anomaly Detection for Securing Process Control Systems against Injection Attacks (SP, CD), pp. 854–860.
CASE-2019-SchulerS #analysis #automation #modelling #towards #using: Spray pattern analysis using wet-mix concrete for model based process control towards automated construction (BS, OS), pp. 661–666.
CASE-2019-TaheritanjaniSB #automation #detection: Automatic Damage Detection of Fasteners in Overhaul Processes (ST, RS, BB), pp. 1289–1295.
CASE-2019-TanNNL #data-driven #predict: Data-Driven Decision-Support for Process Improvement through Predictions of Bed Occupancy Rates (KWT, QYN, FNHLN, SSWL), pp. 133–139.
CASE-2019-TheisMD #logic #mining #programmable: Process Mining of Programmable Logic Controllers: Input/Output Event Logs (JT, IM, HD), pp. 216–221.
CASE-2019-WangS0JH #estimation: Reaction temperature estimation in Shell coal gasification process (KW, CS, FY0, YJ, DH), pp. 861–866.
CASE-2019-YanYS #detection #fault #monitoring: Image-based Process Monitoring via Adversarial Autoencoder with Applications to Rolling Defect Detection (HY, HMY, NS), pp. 311–316.
ESOP-2019-BocchiMVY: Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes (LB, MM, VTV, NY), pp. 583–610.
ESOP-2019-GlabbeekHM #algebra #protocol: A Process Algebra for Link Layer Protocols (RvG, PH, MM), pp. 668–693.
FASE-2019-FritscheKST #automation #performance: Efficient Model Synchronization by Automatically Constructed Repair Processes (LF, JK, AS, GT), pp. 116–133.
FASE-2019-TootsTYDGLMPPPT #analysis #privacy: Business Process Privacy Analysis in Pleak (AT, RT, MY, MD, LGB, PL, RM, AP, MP, PP, JT), pp. 306–312.
CAV-2019-AshokKW #game studies #markov #model checking #probability #statistics: PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games (PA, JK, MW), pp. 497–519.
ICTSS-2019-AragaoASCLD #named #type system: TestDCat: Catalog of Test Debt Subtypes and Management Activities (BSA, RMCA, ISS, RNSC, VL, TGRD), pp. 279–295.
TAP-2019-HuraultQ #algorithm #proving: Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ + (AH, PQ), pp. 147–166.
ICSA-2018-KoziolekBD #architecture #automation #industrial #self: Self-Commissioning Industrial IoT-Systems in Process Automation: A Reference Architecture (HK, AB, JD), pp. 196–205.
JCDL-2018-AndrewsHK #repository: Applying the Analytic Hierarchy Process to an Institutional Repository Collection (PA, KH, AK), pp. 37–40.
EDM-2018-AguerrebereCW #deployment #learning #online #student: Estimating the Treatment Effect of New Device Deployment on Uruguayan Students' Online Learning Activity (CA, CC, JW).
EDM-2018-CarvalhoGMK #learning #online: Analyzing the relative learning benefits of completing required activities and optional readings in online courses (PFC, MG, BM, KK).
EDM-2018-HayashiT #online #self: The influence of task activity and the learner's personal characteristics on self-confidence during an online explanation activity with a conversational agent (YH, YT).
ICPC-2018-DeLozierDNM #agile #development #feature model #testing: Leveraging the agile development process for selecting invoking/excluding tests to support feature location (GSD, MJD, CDN, JIM), pp. 370–379.
ICSME-2018-LeemansABSL #analysis #legacy #lessons learnt: Software Process Analysis Methodology - A Methodology Based on Lessons Learned in Embracing Legacy Software (ML, WMPvdA, MGJvdB, RRHS, LL), pp. 665–674.
MSR-2018-JoonbakhshS #ide #interactive #metric #mining: Mining and extraction of personal software process measures through IDE interaction logs (AJ, AS), pp. 78–81.
MSR-2018-ProkschAN #dataset #developer #empirical: Enriched event streams: a general dataset for empirical studies on in-IDE activities of software developers (SP, SA, SN), pp. 62–65.
MSR-2018-Rahman #comprehension #programming #question: Comprehension effort and programming activities: related? or not related? (AR), pp. 66–69.
MSR-2018-Soto-ValeroBB #analysis #behaviour #debugging #detection: Detection and analysis of behavioral T-patterns in debugging activities (CSV, JB, BB), pp. 110–113.
SANER-2018-LeemansAB18a #analysis #mining #scalability #statechart #using: The Statechart Workbench: Enabling scalable software event log analysis using process mining (ML, WMPvdA, MGJvdB), pp. 502–506.
Haskell-2018-MistaRH #branch #generative #quickcheck: Branching processes for QuickCheck generators (AM, AR, JH), pp. 1–13.
CHI-PLAY-2018-KlarkowskiJWP0: Don't Sweat the Small Stuff: The Effect of Challenge-Skill Manipulation on Electrodermal Activity (MK, DJ0, PW, CP, SS0), pp. 231–242.
CIG-2018-SalemMG: The Evolutionary Race: Improving the Process of Evaluating Car Controllers in Racing Simulators (MS, AMM, JJMG), pp. 1–8.
CIG-2018-TziortziotiMMVC #education #game studies #internet #using: Scenarios for Educational and Game Activities using Internet of Things Data (CT, IM, GM, AV, IC), pp. 1–8.
ICGJ-2018-PirkerLPD #aspect-oriented #development #game studies #social: Social Aspects of the Game Development Process in the Global Gam Jam (JP, IL, AP, AD), pp. 9–16.
VS-Games-2018-LeeFCS #mobile #physics: Puzzle Walk: A Gamified Mobile App to Increase Physical Activity in Adults with Autism Spectrum Disorder (DL, GF, AC, PCS), pp. 1–4.
CIKM-2018-CaiBWSSW #behaviour #interactive #modelling #online: Modeling Sequential Online Interactive Behaviors with Temporal Point Process (RC, XB, ZW, YS, PS, HW), pp. 873–882.
CIKM-2018-MoraesPH #learning: Contrasting Search as a Learning Activity with Instructor-designed Learning (FM, SRP, CH), pp. 167–176.
CIKM-2018-SahaSGD #information management #modelling #named: CRPP: Competing Recurrent Point Process for Modeling Visibility Dynamics in Information Diffusion (AS, BS, NG, AD), pp. 537–546.
CIKM-2018-WilhelmRBJCG #recommendation: Practical Diversified Recommendations on YouTube with Determinantal Point Processes (MW, AR, AB, SJ, EHC, JG), pp. 2165–2173.
CIKM-2018-WuYZGWC #predict: Adversarial Training Model Unifying Feature Driven and Point Process Perspectives for Event Popularity Prediction (QW, CY, HZ, XG, PW, GC), pp. 517–526.
CIKM-2018-YangCR #predict: Recurrent Spatio-Temporal Point Process for Check-in Time Prediction (GY, YC, CKR), pp. 2203–2211.
ICML-2018-EvansN #scalability: Scalable Gaussian Processes with Grid-Structured Eigenfunctions (GP-GRIEF) (TWE, PBN), pp. 1416–1425.
ICML-2018-GarneloRMRSSTRE: Conditional Neural Processes (MG, DR, CM, TR, DS, MS, YWT, DJR, SMAE), pp. 1690–1699.
ICML-2018-HeinonenYMIL #learning #modelling: Learning unknown ODE models with Gaussian processes (MH, CY, HM, JI, HL), pp. 1964–1973.
ICML-2018-JohnH #fourier #scalability #using: Large-Scale Cox Process Inference using Variational Fourier Features (STJ, JH), pp. 2367–2375.
ICML-2018-Kim #markov #modelling: Markov Modulated Gaussian Cox Processes for Semi-Stationary Intensity Modeling of Events Data (MK), pp. 2645–2653.
ICML-2018-LiuCWO #robust #scalability: Generalized Robust Bayesian Committee Machine for Large-scale Gaussian Process Regression (HL, JC, YW, YSO), pp. 3137–3146.
ICML-2018-MetelliMR #configuration management #markov: Configurable Markov Decision Processes (AMM, MM, MR), pp. 3488–3497.
ICML-2018-NickischSG: State Space Gaussian Processes with Non-Gaussian Likelihood (HN, AS, AG), pp. 3786–3795.
ICML-2018-PleissGWW #predict: Constant-Time Predictive Distributions for Gaussian Processes (GP, JRG, KQW, AGW), pp. 4111–4120.
ICML-2018-SuiZBY #optimisation: Stagewise Safe Bayesian Optimization with Gaussian Processes (YS, VZ, JWB, YY), pp. 4788–4796.
ICML-2018-SunZWZLG #composition #kernel #learning: Differentiable Compositional Kernel Learning for Gaussian Processes (SS, GZ, CW, WZ, JL, RBG), pp. 4835–4844.
ICML-2018-XuCZ #learning: Learning Registered Point Processes from Idiosyncratic Observations (HX, LC, HZ), pp. 5439–5448.
ICML-2018-YangK #modelling #network #relational: Dependent Relational Gamma Process Models for Longitudinal Networks (SY, HK), pp. 5547–5556.
ICPR-2018-DehzangiBI #detection #multi #using: Activity Detection using Fusion of Multi-Pressure Sensors in Insoles (OD, BAB, OI), pp. 3315–3321.
ICPR-2018-DehzangiS #analysis #recognition #reduction #robust #using: IMU-Based Robust Human Activity Recognition using Feature Analysis, Extraction, and Reduction (OD, VS), pp. 1402–1407.
ICPR-2018-LiDHCH #multi #semantics: Multi-label Semantic Decoding from Human Brain Activity (DL, CD, LH, ZC, HH), pp. 3796–3801.
ICPR-2018-Pham0V #graph #memory management #network #predict: Graph Memory Networks for Molecular Activity Prediction (TP, TT0, SV), pp. 639–644.
ICPR-2018-RuedaF #learning #recognition #representation: Learning Attribute Representation for Human Activity Recognition (FMR, GAF), pp. 523–528.
ICPR-2018-XuPYL #network #recognition: Human Activity Recognition Based On Convolutional Neural Network (WX, YP, YY, YL), pp. 165–170.
KDD-2018-CobbEMR #calculus #identification #multi: Identifying Sources and Sinks in the Presence of Multiple Agents with Gaussian Process Vector Calculus (ADC, RE, AM, SJR), pp. 1254–1262.
KDD-2018-WuYYZ #learning: Decoupled Learning for Factorial Marked Temporal Point Processes (WW, JY, XY, HZ), pp. 2516–2525.
KDD-2018-ZhangZGWC #estimation #infinity: Simultaneous Urban Region Function Discovery and Popularity Estimation via an Infinite Urbanization Process Model (BZ, LZ, TG, YW0, FC0), pp. 2692–2700.
ECMFA-2018-MustafizDKT #ide #modelling #named: MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems (SM, GD, FK, MT), pp. 164–178.
ECMFA-2018-Ramadan0SRJ #detection #modelling #requirements #security: Detecting Conflicts Between Data-Minimization and Security Requirements in Business Process Models (QR, DS, MS, VR, JJ), pp. 179–198.
MoDELS-2018-HenriquesLAG #developer #experience #modelling: Improving the Developer Experience with a Low-Code Process Modelling Language (HH, HL, VA, MG), pp. 200–210.
MoDELS-2018-RioMBB #energy #modelling #performance: Efficient use of local energy: An activity oriented modeling to guide Demand Side Management (AR, YM, OB, YB), pp. 458–468.
OOPSLA-2018-XuCBZY #implementation #jit #named: ShareJIT: JIT code cache sharing across processes and its practical implementation (XX, KC, JB, YZ, HY), p. 23.
LOPSTR-2018-PapapanagiotouF #approach #composition #linear #logic #scalability #using: A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference (PP, JDF), pp. 77–93.
SAS-2018-MidtgaardNN #static analysis: Process-Local Static Analysis of Synchronous Processes (JM, FN, HRN), pp. 284–305.
ASE-2018-YanDWW0Z #android #identification: Characterizing and identifying misexposed activities in Android applications (JY, XD, PW, TW, JY0, JZ), pp. 691–701.
ESEC-FSE-2018-Brindescu #developer #how #tool support: How do developers resolve merge conflicts? an investigation into the processes, tools, and improvements (CB), pp. 952–955.
ESEC-FSE-2018-ValievVH #case study #ecosystem #open source: Ecosystem-level determinants of sustained activity in open-source projects: a case study of the PyPI ecosystem (MV, BV, JDH), pp. 644–655.
ICSE-2018-BaoXXLH #development #interactive: Inference of development activities from interaction with uninstrumented applications (LB, ZX, XX0, DL0, AEH), p. 897.
ICSE-2018-RamasubbuK #framework #quality #technical debt #testing: Integrating technical debt management and software quality management processes: a framework and field tests (NR, CFK), p. 883.
ICSE-2018-ZhangSX #analysis: Launch-mode-aware context-sensitive activity transition analysis (YZ0, YS, JX), pp. 598–608.
GPCE-2018-ChristopheRBM #analysis #distributed #javascript #source code: Orchestrating dynamic analyses of distributed processes for full-stack JavaScript programs (LC, CDR, EGB, WDM), pp. 107–118.
CASE-2018-FleischerBCRKT #automation #behaviour #integration #metric: Integration of Electronic Pipettes into a Dual-arm Robotic System for Automated Analytical Measurement Processes Behaviors (HF, DB, XC, TR, MK, KT), pp. 22–27.
CASE-2018-GalvanauskasSLB #algorithm #design #development #performance: Development and Investigation of Efficient Substrate Feeding and Dissolved Oxygen Control Algorithms for Design of Recombinant E. coli Cultivation Process (VG, RS, DL, MB, RU), pp. 657–660.
CASE-2018-HarleBF #simulation: Process simulation on single-board computers (CH, MB, AF), pp. 1548–1555.
CASE-2018-InuiEMZ #geometry #gpu #simulation #using: Geometric Simulation of Infeed Grinding Process of Silicon Wafer Using GPU (MI, YE, TM, LZ), pp. 1519–1524.
CASE-2018-LuPC #automation #identification: Automated Process State Identification for Metal Additive Manufacturing based on Power Data (ZL, TP, WC), pp. 1587–1592.
CASE-2018-ParkHGS #learning: Robot Model Learning with Gaussian Process Mixture Model (SP, YH, CFG, KS), pp. 1263–1268.
CASE-2018-SarkaleNCEM #markov #optimisation #simulation: Solving Markov decision processes for network-level post-hazard recovery via simulation optimization and rollout (YS, SN, EKPC, BRE, HM), pp. 906–912.
CASE-2018-StutzM #automation #design #development #how #object-oriented #source code: How object-oriented design principles enhance the development of complex automation programs - A Best Practice Paper on how to develop service-interlaces for process modules as defined in VDI/VDE/NAMUR 2658 (AS, MM), pp. 156–159.
FASE-2018-GioulekasPKBP #network #parallel #streaming: A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism (FG, PP, PK, SB, PP), pp. 94–110.
CAV-2018-ChatterjeeHLOT #algorithm #graph #markov: Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives (KC, MH, VL, SO, VT), pp. 178–197.
ECSA-2017-NguyenOG #analysis #design #performance #repository: PARAD Repository: On the Capitalization of the Performance Analysis Process for AADL Designs (TDN, YO, EG), pp. 22–39.
ICSA-2017-RimbaTWSPX #execution: Comparing Blockchain and Cloud Services for Business Process Execution (PR, ABT, IW, MS, AP, XX), pp. 257–260.
ICSA-2017-RostamiHBR #architecture #impact analysis #information management: Architecture-Based Change Impact Analysis in Information Systems and Business Processes (KR, RH, AB, RHR), pp. 179–188.
CSEET-2017-LeildeR #assessment #learning: Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project (VL, VR), pp. 197–201.
ICSME-2017-Gupta #maintenance #mining #predict #using: Improving Software Maintenance Using Process Mining and Predictive Analytics (MG0), pp. 681–686.
MSR-2017-GautamVS #empirical #integration #testing: An empirical study of activity, popularity, size, testing, and stability in continuous integration (AG, SV, FS), pp. 495–498.
SANER-2017-MibeTKK: Business process recovery based on system log and information of organizational structure (RM, TT, TK, SK), pp. 531–535.
SANER-2017-ProkschNAM #fine-grained #source code: Enriching in-IDE process information with fine-grained source code history (SP, SN, SA, MM), pp. 250–260.
SCAM-2017-WangPXFZ #feature model #interactive #recommendation: Contextual Recommendation of Relevant Program Elements in an Interactive Feature Location Process (JW, XP0, ZX, KF, WZ), pp. 61–70.
IFM-2017-KrishnaPS #automation #named #verification: VBPMN: Automated Verification of BPMN Processes (Tool Paper) (AK0, PP, GS), pp. 323–331.
CHI-PLAY-2017-KappenMN #gamification #physics: Gamification through the Application of Motivational Affordances for Physical Activity Technology (DLK, PMB, LEN), pp. 5–18.
FDG-2017-Dalsen #education #implementation: Classroom implementation of a games-based activity on astronomy in higher education (JD), p. 3.
CIKM-2017-DhakadDBDKM #named #using: SOPER: Discovering the Influence of Fashion and the Many Faces of User from Session Logs using Stick Breaking Process (LD, MKD, CB, SD, MK, VM), pp. 1609–1618.
CIKM-2017-LiGBC #approach #correlation #modelling #named #online: FM-Hawkes: A Hawkes Process Based Approach for Modeling Online Activity Correlations (SL, XG, WB, GC), pp. 1119–1128.
CIKM-2017-LyuHLP #collaboration #learning #privacy #recognition: Privacy-Preserving Collaborative Deep Learning with Application to Human Activity Recognition (LL, XH, YWL, MP), pp. 1219–1228.
CIKM-2017-MenonL #predict: Predicting Short-Term Public Transport Demand via Inhomogeneous Poisson Processes (AKM, YL), pp. 2207–2210.
CIKM-2017-ParmarBBK #online #using: Forecasting Ad-Impressions on Online Retail Websites using Non-homogeneous Hawkes Processes (KP, SB, SB, SK), pp. 1089–1098.
ICML-2017-AlaaHS #learning: Learning from Clinical Judgments: Semi-Markov-Modulated Marked Hawkes Processes for Risk Prognosis (AMA, SH, MvdS), pp. 60–69.
ICML-2017-CutajarBMF #random: Random Feature Expansions for Deep Gaussian Processes (KC, EVB, PM, MF), pp. 884–893.
ICML-2017-DaxbergerL #distributed #optimisation: Distributed Batch Gaussian Process Optimization (EAD, BKHL), pp. 951–960.
ICML-2017-FarajtabarYYXTK: Fake News Mitigation via Point Process Based Intervention (MF, JY, XY, HX, RT, EBK, SL0, LS, HZ), pp. 1097–1106.
ICML-2017-FutomaHH #classification #detection #learning #multi: Learning to Detect Sepsis with a Multitask Gaussian Process RNN Classifier (JF, SH, KAH), pp. 1174–1182.
ICML-2017-HanKPS #performance: Faster Greedy MAP Inference for Determinantal Point Processes (IH, PK, KP, JS), pp. 1384–1393.
ICML-2017-JiangKALS #rank: Contextual Decision Processes with low Bellman rank are PAC-Learnable (NJ, AK, AA, JL0, RES), pp. 1704–1713.
ICML-2017-PallaKG: A Birth-Death Process for Feature Allocation (KP, DAK, ZG), pp. 2751–2759.
ICML-2017-PanYTB #nondeterminism #predict: Prediction under Uncertainty in Sparse Spectrum Gaussian Processes with Applications to Filtering and Control (YP, XY, EAT, BB), pp. 2760–2768.
ICML-2017-PengZZQ #distributed: Asynchronous Distributed Variational Gaussian Process for Regression (HP, SZ, XZ, YQ), pp. 2788–2797.
ICML-2017-RanaL0NV #optimisation: High Dimensional Bayesian Optimization with Elastic Gaussian Process (SR, CL0, SG0, VN0, SV), pp. 2883–2891.
ICML-2017-UrschelBMR #learning: Learning Determinantal Point Processes with Moments and Cycles (JU, VEB, AM, PR), pp. 3511–3520.
ICML-2017-Villacampa-Calvo #classification #multi #scalability #using: Scalable Multi-Class Gaussian Process Classification using Expectation Propagation (CVC, DHL), pp. 3550–3559.
ICML-2017-WalderB #estimation #performance: Fast Bayesian Intensity Estimation for the Permanental Process (CJW, ANB), pp. 3579–3588.
ICML-2017-WangWTS #policy: Variational Policy for Guiding Point Processes (YW0, GW, EAT, LS), pp. 3684–3693.
ICML-2017-WeiSKOG #multi #similarity: Source-Target Similarity Modelings for Multi-Source Transfer Gaussian Process Regression (PW, RS, YK, YSO, CKG), pp. 3722–3731.
ICML-2017-XuLZ #learning #sequence: Learning Hawkes Processes from Short Doubly-Censored Event Sequences (HX, DL, HZ), pp. 3831–3840.
KDD-2017-FayyadCRPCL #benchmark #metric #question: Benchmarks and Process Management in Data Science: Will We Ever Get Over the Mess? (UMF, AC, EAdlR, SP, AC, JYL), pp. 31–32.
KDD-2017-LiuFMRSX #analysis #effectiveness #internet #realtime: Effective and Real-time In-App Activity Analysis in Encrypted Internet Traffic Streams (JL, YF, JM, YR, LS, HX), pp. 335–344.
KDD-2017-QiTWL: Mixture Factorized Ornstein-Uhlenbeck Processes for Time-Series Forecasting (GJQ, JT, JW, JL), pp. 987–995.
KDD-2017-WangFLHA #detection: Human Mobility Synchronization and Trip Purpose Detection with Mixture of Hawkes Processes (PW, YF, GL, WH, CCA), pp. 495–503.
KDD-2017-WuG #higher-order #markov: Retrospective Higher-Order Markov Processes for User Trails (TW, DFG), pp. 1185–1194.
KDD-2017-YangDSZFXBM #data-driven #framework #recommendation: A Data-driven Process Recommender Framework (SY, XD, LS, YZ, RAF, HX, RSB, IM), pp. 2111–2120.
KDD-2017-ZangCF0 #memory management #modelling #social: Long Short Memory Process: Modeling Growth Dynamics of Microscopic Social Connectivity (CZ, PC0, CF, WZ0), pp. 565–574.
MoDELS-2017-BeckmannMSV #diagrams #uml: Removal of Redundant Elements within UML Activity Diagrams (MB, VNM, AS, AV), pp. 334–343.
MoDELS-2017-RamadanS0JG #modelling #security #verification: From Secure Business Process Modeling to Design-Level Security Verification (QR, MS, DS, JJ, PG), pp. 123–133.
Onward-2017-WrennK #classification #design #error message #fault: Error messages are classifiers: a process to design and evaluate error messages (JW, SK), pp. 134–147.
ASE-2017-CorradiniFP0TV #framework #modelling #named #verification: BProVe: a formal verification framework for business process models (FC, FF, AP, BR0, FT, AV), pp. 217–228.
ASE-2017-CorradiniFP0TV17a #named #tool support #verification: BProVe: tool support for business process verification (FC, FF, AP, BR0, FT, AV), pp. 937–942.
ASE-2017-LeeHR #all about #detection #injection #semantics: All about activity injection: threats, semantics, and detection (SL, SH, SR), pp. 252–262.
ICSE-2017-FilippovaTH #development: From diversity by numbers to diversity as process: supporting inclusiveness in software development teams with brainstorming (AF, EHT, JDH), pp. 152–163.
ASPLOS-2017-KotraSCK #co-evolution #design #scheduling: Hardware-Software Co-design to Mitigate DRAM Refresh Overheads: A Case for Refresh-Aware Process Scheduling (JBK, NS, ZAC, MTK), pp. 723–736.
CASE-2017-HuZY #evaluation #network #quality #research: Research on quality fluctuation evaluation based on state information network entropy in intelligent manufacturing process (SH, LZ0, YY), pp. 446–450.
CASE-2017-JiangL #adaptation #algorithm #robust #scheduling: An adaptive sampling-estimation of distribution algorithm for robust scheduling in the steelmaking-continuous casting process (SlJ, QL), pp. 440–445.
CASE-2017-LeeJFBGBL #analysis #modelling #simulation #using: Modeling and analysis of postoperative intervention process for total joint replacement patients using simulations (HKL, RJ, YF, PAB, JG, CB, JL), pp. 568–573.
CASE-2017-LiLTL #energy #integration #optimisation #parametricity: Integration of process planning and cutting parameter optimization for energy-aware CNC machining (LL, CL, YT, LL), pp. 263–268.
CASE-2017-LuanPH #statistics: Statistical process control of in-plane shape deformation for additive manufacturing (HL, BKP, QH), pp. 1274–1279.
CASE-2017-LuanWZCZ #detection #fault: Porosity defect detection based on FastICA-RBF during pulsed TIG welding process (RL, GW, RZ, ZC, ZZ), pp. 548–553.
CASE-2017-LuLXZB #data mining #industrial #mining #research: Research on data mining service and its application case in complex industrial process (QL, ZJL, QX, YZ, JB), pp. 1124–1129.
CASE-2017-MazakWP #markov #reverse engineering: Reverse engineering of production processes based on Markov chains (AM, MW, PPB), pp. 680–686.
CASE-2017-MengZRLT #case study #power management: Study on the power consumption of different milling modes and number of inserts in face milling processes (LM, CZ, YR, ML, GT), pp. 1475–1480.
CASE-2017-NingHHG #3d #approach #continuation: A cloud-supported cps approach to control decision of process manufacturing: 3D ONoC (ZN, WH, XH0, XG), pp. 458–463.
CASE-2017-RuppertSKSP #hybrid: Hybrid dynamic control of a sewage sludge dewatering and incineration process (SR, CS, MK, PS, JP), pp. 451–457.
CASE-2017-WakabayashiKKK #concept #named: KitPaDy: Robot co-worker in kitting process: Basic concept and computation of working time (YW, MK, JK, KK), pp. 320–327.
CASE-2017-WangQQ #design: Process planning service model design for cloud manufacturing (JW, LQ, YQ), pp. 1169–1173.
CASE-2017-WasserfallH0 #adaptation #revisited #slicing: Adaptive slicing for the FDM process revisited (FW, NH, JZ0), pp. 49–54.
CASE-2017-XiaoLYW #data-driven #database #energy #industrial #parametricity #performance: An industrial data based investigation into effects of process parameters on cutting power and energy efficiency (QX, CL, QY, QW), pp. 1481–1486.
CASE-2017-ZhongPPJ #analysis #case study #health #modelling: Modeling and analysis of primary care to specialty care referral process: A case study at the university of florida health Jacksonville (XZ, AMP, LP, RJ), pp. 819–824.
CASE-2017-ZiarnetzkyMPE: Rolling horizon planning with engineering activities in semiconductor supply chains (TZ, LM, TP, HE), pp. 1024–1025.
ESOP-2017-Atkey #communication #semantics: Observed Communication Semantics for Classical Processes (RA), pp. 56–82.
CADE-2017-PapapanagiotouF #composition #framework #named #specification #workflow: WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition (PP, JDF), pp. 357–370.
CAV-2017-AshokCDKM #markov: Value Iteration for Long-Run Average Reward in Markov Decision Processes (PA, KC, PD, JK, TM), pp. 201–221.
CAV-2017-Baier0L0W #markov #model checking #reliability: Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes (CB, JK0, LL, DP0, SW), pp. 160–180.
VMCAI-2017-BotbolCG #communication #static analysis #transducer #using: Static Analysis of Communicating Processes Using Symbolic Transducers (VB, EC, TLG), pp. 73–90.
VMCAI-2017-MuschollSW #parametricity #reachability: Reachability for Dynamic Parametric Processes (AM, HS, IW), pp. 424–441.
ECSA-2016-SchroderRS #architecture: Architecture Enforcement Concerns and Activities - An Expert Study (SS, MR, MS), pp. 247–262.
WICSA-2016-AmalfitanoSFLS #design #experience #industrial #modelling #product line: Introducing Software Product Lines in Model-Based Design Processes: An Industrial Experience (DA, VDS, ARF, ML, SS), pp. 287–290.
JCDL-2016-JacksonLMR #interface #web: Desiderata for Exploratory Search Interfaces to Web Archives in Support of Scholarly Activities (AJ, JJL, IM, NR), pp. 103–106.
CSEET-2016-HajjejHA #development #reverse engineering: A Generic E-Assessment Process Development Based on Reverse Engineering and Cloud Services (FH, YBH, LJBA), pp. 157–165.
CSEET-2016-MarsicanoMFF #approach #education #modelling #requirements: An Integrated Approach to the Requirements Engineering and Process Modelling Teaching (GM, FFM, MVF, SAAdF), pp. 166–174.
CSEET-2016-OkuboNTU #design #development #independence #validation #verification: Applying an Instructional Design Process to Development of an Independent Verification and Validation Training Program (NO, KN, ST, YU), pp. 237–240.
EDM-2016-AllenJDRKLM #analysis: {ENTER}ing the Time Series {SPACE}: Uncovering the Writing Process through Keystroke Analyses (LKA, MEJ, MD, RDR, KK, ADL, DSM), pp. 22–29.
EDM-2016-BorgeR #automation #case study #collaboration #experience #feedback #quality: Automated Feedback on the Quality of Collaborative Processes: An Experience Report (MB, CPR), pp. 573–574.
EDM-2016-ChenLXSMD #multimodal #problem: Riding an emotional roller-coaster: A multimodal study of young child's math problem solving activities (LC, XL, ZX, ZS, LPM, AD), pp. 38–45.
EDM-2016-DongKB #comparison #learning #mining #multi: Comparison of Selection Criteria for Multi-Feature Hierarchical Activity Mining in Open Ended Learning Environments (YD, JSK, GB), pp. 591–592.
EDM-2016-DoroudiHAB16a #how #matter #sequence: Sequence Matters, But How Exactly? A Method for Evaluating Activity Sequences from Data (SD, KH, VA, EB), pp. 70–77.
EDM-2016-MlynarskaCG #analysis: Time Series Analysis of VLE Activity Data (EM, PC, DG), pp. 613–614.
EDM-2016-Yee-Kingd #collaboration #learning #markov #online #social: Stimulating collaborative activity in online social learning environments with Markov decision processes (MYK, Md), pp. 652–653.
ICSME-2016-LevinY #developer #maintenance #predict #semantics #using: Using Temporal and Semantic Developer-Level Information to Predict Maintenance Activity Profiles (SL, AY), pp. 463–467.
MSR-2016-DesarmeauxPM #lifecycle #maintenance: The dispersion of build maintenance activity across maven lifecycle phases (CD, AP, SM), pp. 492–495.
MSR-2016-Izquierdo-Cortazar #case study #code review #experience #overview: Characterization of the Xen project code review process: an experience report (DIC, LK, JMGB, SD, NS), pp. 386–390.
MSR-2016-YangKYI #code review #dataset #mining #overview #people #repository: Mining the modern code review repositories: a dataset of people, process and product (XY, RGK, NY, HI), pp. 460–463.
SANER-2016-SohYKG #maintenance #programming #question #smell: Do Code Smells Impact the Effort of Different Maintenance Programming Activities? (ZS, AY, FK, YGG), pp. 393–402.
ICFP-2016-CastroHS #morphism #parallel #pipes and filters #reasoning #using: Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms (DC, KH, SS), pp. 4–17.
CIG-2016-BeyerAALNWRRPPV #game studies: An integrated process for game balancing (MB, AA, AA, CL, FN, JW, MR, MR, NP, MP, VV), pp. 1–8.
CIG-2016-ViljanenAPH16a #difference #equation #game studies #mobile #question: User activity decay in mobile games determined by simple differential equations? (MV, AA, TP, JH), pp. 1–8.
DiGRA-FDG-2016-ParkerG #community #game studies #performance: Creative Communities: Shaping Process through Performance and Play (LP, DG).
VS-Games-2016-CardonaCPBR #case study #experience #game studies: Modulation of Physiological Responses and Activity Levels during Exergame Experiences (JEMC, MSC, TP, SBiB, ER), pp. 1–8.
VS-Games-2016-JiangCDJYZ #comprehension #game studies #prototype #safety: Game Prototype for Understanding Safety Issues of Life Boat Launching Process (MJ0, JC, MD, JJ, HjY, JJZ0), pp. 1–8.
CIKM-2016-Bao #modelling #predict #self: Modeling and Predicting Popularity Dynamics via an Influence-based Self-Excited Hawkes Process (PB), pp. 1897–1900.
CIKM-2016-GuoXYHLLGC #data flow #machine learning: Ease the Process of Machine Learning with Dataflow (TG, JX0, XY, JH, PL, ZL, JG, XC), pp. 2437–2440.
CIKM-2016-MishraRX #predict: Feature Driven and Point Process Approaches for Popularity Prediction (SM, MAR, LX), pp. 1069–1078.
CIKM-2016-RongZYSL #approach #markov #optimisation #performance: The Rich and the Poor: A Markov Decision Process Approach to Optimizing Taxi Driver Revenue Efficiency (HR, XZ, CY, MZS, AXL), pp. 2329–2334.
ICML-2016-BuiHHLT #approximate #using: Deep Gaussian Processes for Regression using Approximate Expectation Propagation (TDB, DHL, JMHL, YL, RET), pp. 1472–1481.
ICML-2016-GuanRW #learning #markov #multi #performance #recognition #using: Efficient Multi-Instance Learning for Activity Recognition from Time Series Data Using an Auto-Regressive Hidden Markov Model (XG, RR, WKW), pp. 2330–2339.
ICML-2016-HoangHL #distributed #framework #modelling #parallel: A Distributed Variational Inference Framework for Unifying Parallel Sparse Gaussian Process Regression Models (TNH, QMH, BKHL), pp. 382–391.
ICML-2016-KanagawaSKST #parametricity: Gaussian process nonparametric tensor estimator and its minimax optimality (HK, TS, HK, NS, YT), pp. 1632–1641.
ICML-2016-LeeLO #probability: Hawkes Processes with Stochastic Excitations (YL, KWL, CSO), pp. 79–88.
ICML-2016-PanRAG: Markov-modulated Marked Poisson Processes for Check-in Data (JP, VAR, PKA, AEG), pp. 2244–2253.
ICML-2016-PrabhakaranACP: Dirichlet Process Mixture Model for Correcting Technical Variation in Single-Cell Gene Expression Data (SP, EA, AC, DP), pp. 1070–1079.
ICML-2016-VinogradskaBNRS #modelling: Stability of Controllers for Gaussian Process Forward Models (JV, BB, DNT, AR, HS, JP0), pp. 545–554.
ICML-2016-WangXDS: Isotonic Hawkes Processes (YW0, BX0, ND, LS), pp. 2226–2234.
ICML-2016-XuFZ #learning: Learning Granger Causality for Hawkes Processes (HX, MF, HZ), pp. 1717–1726.
ICPR-2016-CaoN #fine-grained #learning #recognition: Exploring deep learning based solutions in fine grained activity recognition in the wild (SC, RN), pp. 384–389.
ICPR-2016-GarrettRS #3d #artificial reality: GPU-accelerated descriptor extraction process for 3D registration in Augmented Reality (TG, RR, JWS), pp. 3085–3090.
ICPR-2016-KimKAK #markov #modelling #recognition: Integrating hidden Markov models based on Mixture-of-Templates and k-NN2 ensemble for activity recognition (YJK, YK, JA, DK0), pp. 1636–1641.
ICPR-2016-KulhareSPP #recognition: Key frame extraction for salient activity recognition (SK, SS, SP, RWP), pp. 835–840.
ICPR-2016-LeeL #predict: Human activity prediction based on Sub-volume Relationship Descriptor (DGL, SWL), pp. 2060–2065.
ICPR-2016-NakamuraOB #detection: Detection of groups in crowd considering their activity state (KN, TO, NB), pp. 277–282.
ICPR-2016-OrriteRM #distance #learning #sequence #using: One-shot learning of temporal sequences using a distance dependent Chinese Restaurant Process (CO, MR, CM), pp. 2694–2699.
ICPR-2016-OrueG #graph #recognition #using: Face recognition using activities of directed graphs in spatial pyramid (JPMO, WNG), pp. 3162–3167.
ICPR-2016-StephensB #modelling #recognition: Human group activity recognition based on modelling moving regions interdependencies (KS, AGB), pp. 2115–2120.
ICPR-2016-VandoniHA #detection: Crack detection based on a Marked Point Process model (JV, SLHM, EA), pp. 3933–3938.
KDD-2016-DuDTUGS: Recurrent Marked Temporal Point Processes: Embedding Event History to Vector (ND, HD, RT, UU, MGR, LS), pp. 1555–1564.
SKY-2016-Fraga #industrial #requirements: Systems Engineering in the Industrial Environment: Requirements Engineering Processes (AF), pp. 78–80.
MoDELS-2016-KalenkovaALR #mining #modelling #using: Process mining using BPMN: relating event logs and process models (AAK, WMPvdA, IAL, VAR), p. 123.
LOPSTR-2016-AngelisFMPP #horn clause #using #verification: Verification of Time-Aware Business Processes Using Constrained Horn Clauses (EDA, FF, MCM, AP, MP), pp. 38–55.
PPDP-2016-MidtgaardNN #analysis #regular expression: Iterated process analysis over lattice-valued regular expressions (JM, FN, HRN), pp. 132–145.
PPDP-2016-YangEMMS #algebra #semantics: Strand spaces with choice via a process algebra semantics (FY, SE, CAM, JM, SS), pp. 76–89.
FSE-2016-BaumLNS #code review #industrial #overview: Factors influencing code review processes in industry (TB, OL, KN, KS), pp. 85–96.
GPCE-2016-MakkiLJ #automation #delivery #framework #testing: Automated regression testing of BPMN 2.0 processes: a capture and replay framework for continuous delivery (MM, DVL, WJ), pp. 178–189.
CASE-2016-GargSKJMMG #adaptation #automation #locality #using: Tumor localization using automated palpation with Gaussian Process Adaptive Sampling (AG, SS, RK, YJ, SM, LM, KG), pp. 194–200.
CASE-2016-GonzalezF #detection #online: MEMS accelerometer-based system for inexpensive online CNC milling process chatter detection (DMOG, JCEF), pp. 978–983.
CASE-2016-HsuYL #analysis #using: Effect analysis and optimal combination of cutting conditions on the cutting torque of tapping processes using Taguchi methods (CCH, SSY, JIL), pp. 1215–1218.
CASE-2016-LinLZHZ #petri net #scheduling: Scheduling and control of batch chemical processes with timed Petri nets (WL, JL, JZ, YSH, MZ), pp. 421–426.
CASE-2016-MengZZT #power management #predict: A new model for predicting power consumption of machining processes: A turning case (LM, MZ, CZ, GT), pp. 1289–1294.
CASE-2016-PosadaDOKHV #automation #generative: Automatic optimal motion generation for robotic manufacturing processes: Optimal collision avoidance in robotic welding (JRDP, TD, PO, AK, MH, AV), pp. 154–161.
CASE-2016-QiaoZWZL #clustering #linear #optimisation #tool support: Optimizing close-down processes of single-robot cluster tools via linear programing (YQ, MZ, NW, QZ, ZL), pp. 148–153.
CASE-2016-SabbaghiH #3d #predict: Predictive model building across different process conditions and shapes in 3D printing (AS, QH), pp. 774–779.
CASE-2016-TohidiH #adaptation #multi #predict #self: Self-Tuning Adaptive Multiple Model Predictive Control with application to pH Control process (AT, HH), pp. 1219–1224.
CASE-2016-TsaiWPXLFZ #behaviour #predict #smarttech #using: Context-aware activity prediction using human behavior pattern in real smart home environments (MJT, CLW, SKP, YX, TYL, LCF, YCZ), pp. 168–173.
CASE-2016-ZhangSMLZF #analysis #design #parametricity #simulation #towards: Robotic additive manufacturing process simulation - towards design and analysis with building parameter in consideration (GQZ, AS, CM, DTL, BZ, TAF), pp. 609–613.
ESOP-2016-BresGH #algebra #network: A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract) (EB, RJvG, PH), pp. 95–122.
ESOP-2016-KouzapasPY #higher-order #on the: On the Relative Expressiveness of Higher-Order Session Processes (DK, JAP, NY), pp. 446–475.
FASE-2016-SuCFRT #adaptation #markov #self: An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems (GS, TC, YF0, DSR, PST), pp. 269–286.
CSL-2016-AlurFKS #markov: Hedging Bets in Markov Decision Processes (RA, MF, SK, NS), p. 20.
CBSE-2015-PlateniusSA #framework #named: MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (MCP, WS, SA), pp. 75–84.
DRR-2015-FengPL #recognition: Gaussian process style transfer mapping for historical Chinese character recognition (JF, LP, FL).
HT-2015-HuynhLM #twitter: A Dynamical Model of Twitter Activity Profiles (HNH, EFTL, CPM), pp. 49–57.
HT-2015-JangHL: No Reciprocity in “Liking” Photos: Analyzing Like Activities in Instagram (JYJ, KH, DL), pp. 273–282.
EDM-2015-BazalduaKDHLW #behaviour #collaboration #convergence #on the: On Convergence of Cognitive and Non-cognitive Behavior in Collaborative Activity (DLB, SMK, AAvD, JH, LL, ZW), pp. 496–499.
EDM-2015-EmondB #classification #sequence #student #using: Analyzing Student Inquiry Data Using Process Discovery and Sequence Classification (BE, SB), pp. 412–415.
EDM-2015-Hayashi #analysis #feedback #network #online: Psychological Effects of In-Group Activity Feedback in an Online Explanation Task: Lexical Network Analysis (YH), pp. 484–487.
EDM-2015-RamineniCL #automation #evaluation: Integrating Process and Product Data: The Case of an Automated Writing Evaluation System (CR, TC, CL), pp. 626–627.
EDM-2015-WangZ #education #recommendation: Discovering Process in Curriculum Data to Provide Recommendation (RW, ORZ), pp. 580–581.
EDM-2015-YeKSB #behaviour #learning #multi #sequence: Learning Behavior Characterization with Multi-Feature, Hierarchical Activity Sequences (CY, JSK, JRS, GB), pp. 380–383.
ITiCSE-2015-Cukierman #learning #predict #student: Predicting Success in University First Year Computing Science Courses: The Role of Student Participation in Reflective Learning Activities and in I-clicker Activities (DC), pp. 248–253.
ITiCSE-2015-KirkpatrickP #assurance #operating system #using: Using the Readiness Assurance Process and Metacognition in an Operating Systems Course (MSK, SP), pp. 183–188.
ICPC-2015-BenomarASPS #detection #development #evolution: Detection of software evolution phases based on development activities (OB, HA, HAS, PP, MAS), pp. 15–24.
MSR-2015-GermanAH #dataset #git #linux: A Dataset of the Activity of the Git Super-repository of Linux in 2012 (DMG, BA, AEH), pp. 470–473.
MSR-2015-GuptaSPA #challenge #identification #overview #scalability: Identifying Software Process Management Challenges: Survey of Practitioners in a Large Global IT Company (MG, AS, SP, AMA), pp. 346–356.
SANER-2015-BrandtnerMLG #integration #named #rule-based: SQA-Profiles: Rule-based activity profiles for Continuous Integration environments (MB, SCM, PL, HCG), pp. 301–310.
SANER-2015-Jiang #integration #scalability: Improving the integration process of large software systems (YJ), p. 598.
ICALP-v2-2015-EtessamiSY #branch #equation #fixpoint #markov #polynomial #probability #reachability: Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes (KE, AS, MY), pp. 184–196.
FM-2015-DeboisHS #composition #information management #liveness #refinement #runtime #safety: Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (SD, TTH, TS), pp. 143–160.
SEFM-2015-DawC #diagrams #semantics #uml: An Extensible Operational Semantics for UML Activity Diagrams (ZD, RC), pp. 360–368.
CHI-PLAY-2015-KetchesonYG #design #game studies #how #physics: Designing for Exertion: How Heart-Rate Power-ups Increase Physical Activity in Exergames (MK, ZY, TCNG), pp. 79–89.
CHI-PLAY-2015-McMahonWJ #category theory #challenge #game studies: From Challenges to Activities: Categories of Play in Videogames (NM, PW, DMJ0), pp. 637–642.
CIG-2015-ChauvinLDN #architecture: Making sense of emergent narratives: An architecture supporting player-triggered narrative processes (SC, GL, JYD, SN), pp. 91–98.
DiGRA-2015-HarrerS #design #game studies: Inviting Grief into Games: The Game Design Process as Personal Dialogue (SH, HSF).
ICGT-2015-KwantesGKR #modelling #towards #verification: Towards Compliance Verification Between Global and Local Process Models (PMK, PVG, JK, AR), pp. 221–236.
CHI-2015-0005RSP #mobile #named #physics: CrowdMonitor: Mobile Crowd Sensing for Assessing Physical and Digital Activities of Citizens during Emergencies (TL, CR, TS, VP), pp. 4083–4092.
CHI-2015-DandapatPMCG #named: ActivPass: Your Daily Activity is Your Password (SKD, SP, BM, RRC, NG), pp. 2325–2334.
CHI-2015-JohnsonWCW #difference #experience #game studies: Cooperative Game Play with Avatars and Agents: Differences in Brain Activity and the Experience of Play (DJ, PW, MC, CW), pp. 3721–3730.
CHI-2015-JokelaOO #multi: A Diary Study on Combining Multiple Information Devices in Everyday Activities and Tasks (TJ, JO, TO), pp. 3903–3912.
CHI-2015-KhotLAHM #design #named #physics: TastyBeats: Designing Palatable Representations of Physical Activity (RAK, JL, DA, LH, F'M), pp. 2933–2942.
CHI-2015-LeeCN #visualisation: Patina Engraver: Visualizing Activity Logs as Patina in Fashionable Trackers (MHL, SC, TJN), pp. 1173–1182.
CHI-2015-LugerURG #design #game studies #using: Playing the Legal Card: Using Ideation Cards to Raise Data Protection Issues within the Design Process (EL, LU, TR, MG), pp. 457–466.
CHI-2015-MarlowDF #design #online #quality: Exploring the Role of Activity Trace Design on Evaluations of Online Worker Quality (JM, LAD, JLF), pp. 1617–1620.
CHI-2015-MunsonKRR #physics: Effects of Public Commitments and Accountability in a Technology-Supported Physical Activity Intervention (SAM, EK, CRR, PR), pp. 1135–1144.
CHI-2015-NissenB #named: Data-Things: Digital Fabrication Situated within Participatory Data Translation Activities (BN, JB), pp. 2467–2476.
CHI-2015-RaganGT #how #memory management #visual notation: Evaluating How Level of Detail of Visual History Affects Process Memory (EDR, JRG, AT), pp. 2711–2720.
CHI-2015-RooksbyRMC: Pass the Ball: Enforced Turn-Taking in Activity Tracking (JR, MR, AM, MC), pp. 2417–2426.
CHI-2015-TsugawaKKNIO #twitter: Recognizing Depression from Twitter Activity (ST, YK, FK, KN, YI, HO), pp. 3187–3196.
CHI-2015-VigoJS #authoring #concept #ontology: Constructing Conceptual Knowledge Artefacts: Activity Patterns in the Ontology Authoring Process (MV, CJ, RS), pp. 3385–3394.
CSCW-2015-JiaWXRC #behaviour #learning #online #privacy: Risk-taking as a Learning Process for Shaping Teen’s Online Information Privacy Behaviors (HJ, PJW, HX, MBR, JMC), pp. 583–599.
CSCW-2015-KangLOKHS #comprehension #facebook #relational #towards: Towards Understanding Relational Orientation: Attachment Theory and Facebook Activities (BK, SL, AO, SK, IH, JS), pp. 1404–1415.
CSCW-2015-KeeganB #coordination #quote #wiki: “Is” to “Was”: Coordination and Commemoration in Posthumous Activity on Wikipedia Biographies (BCK, JRB), pp. 533–546.
CSCW-2015-MarlowD #behaviour #visualisation: The Effects of Visualizing Activity History on Attitudes and Behaviors in a Peer Production Context (JM, LAD), pp. 757–764.
CSCW-2015-XuRDB #design #feedback #using: A Classroom Study of Using Crowd Feedback in the Iterative Design Process (AX, HR, SPD, BPB), pp. 1637–1648.
CSCW-2015-ZytkoFGHJ #collaboration #evaluation #online: Enhancing Evaluation of Potential Dates Online Through Paired Collaborative Activities (DZ, GF, SAG, SCH, QJ), pp. 1849–1859.
DHM-EH-2015-KollingKHC #design #evaluation #feedback #interactive #using: Estimating Ergonomic Comfort During the Process of Mechanism Design by Interaction with a Haptic Feedback-System — Evaluation of Simulated and Kinesthetically Displayed Mechanisms Using the Haptic Feedback System RePlaLink (TK, MK, MH, BC), pp. 62–73.
DHM-EH-2015-OkaTGYO #metric: Electromyography Measurement of Workers at the Second Lining Pounding Process for Hanging Scrolls (YO, YT, AG, HY, KO), pp. 205–215.
DHM-EH-2015-SirisuwanYYH: EMG Activity of Arms Muscles and Body Movement During Chucking in Lathebetween Expert and Non-expert (PS, HY, TY, HH), pp. 216–226.
DHM-EH-2015-UchidaHKEMOUG #analysis #using: Process Analysis of the Hand Lay-Up Method Using CFRP Prepreg Sheets (TU, HH, KK, AE, MM, JO, TU, AG), pp. 227–236.
DHM-HM-2015-ChottikamponMMM: Improvement of Needle Bar in Textile Machine by Hitting Process (KC, SM, HM, RM, HN, HH), pp. 235–244.
DHM-HM-2015-EndoYASSH #difference: Effect of Skill Level Difference in the Polishing Process of the Maki-e Making Technique (AE, HY, CA, TS, YS, HH), pp. 24–34.
DHM-HM-2015-KitajimaKMMMH #analysis #comprehension: Process Analysis of Manufacturing of Sewing Scissors by All Forging Process and Understanding of Its Sharpness (YK, KK, MM, KM, YM, HH), pp. 124–132.
DHM-HM-2015-KurataniHHKUGH #analysis #comparison: Expert vs. Elementary Skill Comparison and Process Analysis in VaRTM-Manufactured Carbon Fiber Reinforced Composites (YK, KH, TH, TK, TU, AG, HH), pp. 133–142.
DHM-HM-2015-OkaTGOO #research: Researching Sounds Generated During the Second Lining Pounding Process (YO, YT, AG, KO, KO), pp. 154–164.
DHM-HM-2015-SendaSKST #analysis: Process Analysis of Kyo Karakami Manufacturing (SS, ES, TK, MS, YT), pp. 368–378.
DHM-HM-2015-SudaTHYGH #analysis: Process Analysis of Expert and Non-expert Engineers in Quartz Glass Joint Process (MS, TT, AH, YY, AG, HH), pp. 389–398.
DHM-HM-2015-SugimotoINYG #difference: Difference in Polishing Process of FRP Between Expert and Non-expert (TS, DI, HN, YY, AG), pp. 174–181.
DHM-HM-2015-SugimotoTNG #comparison #eye tracking: Comparison of Eye Movement During the Polishing Process of Metallographic Sample Between Expert and Nonexpert (TS, YT, HN, AG), pp. 399–410.
DHM-HM-2015-SugimotoYNG #analysis: EMG Activity Analysis of Expert Skills on Handheld Grinding Work for Metallographic Sample (TS, HY, HN, AG), pp. 165–173.
DHM-HM-2015-WangTTTGH #analysis: Motion Analysis of Interval Time During “Kana-ami” Making Process (ZW, KiT, TT, YT, AG, HH), pp. 201–211.
DHM-HM-2015-WangTTTGH15a #analysis: Brain Activity Analysis on “Kana-Ami” Making Process (ZW, KiT, TT, YT, AG, HH), pp. 212–219.
DUXU-DD-2015-CyprianoP #design #interactive #prototype #testing: Prototyping and Testing Throughout all the Design Process as a Methodology for Developing Interaction Design Projects (LC, MP), pp. 157–166.
DUXU-DD-2015-KuruF #experience #physics: Engaging Experience with Physical Activity Tracking Products (AK, JF), pp. 490–501.
DUXU-IXD-2015-CandelloBC #design #network #social: Design Process of a Social Network System for Storage and Share Files in the Workplace (HC, SB, LC), pp. 13–24.
DUXU-UI-2015-DaggeFR #analysis #comparative #named: HARSim: Posterior Load Comparative Analysis Process (RD, EF, FR), pp. 34–44.
DUXU-UI-2015-InoueYHS #design #interface: Applying Human Centered Design Process for Designing Air Traffic Control Interfaces (SI, KY, HH, TS), pp. 307–316.
DUXU-UI-2015-SoutoFS #approach #comprehension #design #towards #women: The Creative Process in Digital Design: Towards an Understanding of Women’s Approach (VTS, PCLAF, FAdS), pp. 252–263.
DUXU-UI-2015-WollnerLC #design #framework #modelling #user interface: Integrating a Cognitive Modelling Framework into the Design Process of Touchscreen User Interfaces (PKAW, PML, PJC), pp. 473–484.
HCI-DE-2015-AbibA #design #guidelines #interactive #social: Guidelines to Integrate Professional, Personal and Social Context in Interaction Design Process: Studies in Healthcare Environment (JCA, JCA), pp. 119–131.
HCI-DE-2015-Bakke #approach: An Activity Theory Approach to Intuitiveness: From Artefact to Process (SB), pp. 3–13.
HCI-DE-2015-BorzaM #assurance #design #usability: Incorporating Marketing Strategies to Improve Usability Assurance in User-Centered Design Processes (ICB, JAM), pp. 152–162.
HCI-IT-2015-HaescherTMBUK #multi #named #smarttech: aHead: Considering the Head Position in a Multi-sensory Setup of Wearables to Recognize Everyday Activities with Intelligent Sensor Fusions (MH, JT, DJCM, GB, BU, TK), pp. 741–752.
HCI-UC-2015-LawsonSW #industrial: VR Processes in the Automotive Industry (GL, DS, BW), pp. 208–217.
HIMI-IKC-2015-HayashiH #analysis #concept #learning: Analysis of the Relationship Between Metacognitive Ability and Learning Activity with Kit-Build Concept Map (YH, TH), pp. 304–312.
HIMI-IKC-2015-MayerBPGV #automation #generative #using #visualisation: Automatic Generation of Integrated Process Data Visualizations Using Human Knowledge (FM, UB, DP, DG, BVH), pp. 488–498.
HIMI-IKC-2015-TakedaHKN #lifecycle #modelling: Modelling of a Business Process for Alarm Management Lifecycle in Chemical Industries (KT, TH, NK, MN), pp. 579–587.
HIMI-IKD-2015-MaierKMK #interactive #monitoring #visual notation: Visual Interactive Process Monitoring (SM, HK, TM, AK), pp. 74–85.
SCSM-2015-Flor #3d: 3D Virtual Worlds: An Ethnography of Key Artifacts and Processes (NVF), pp. 20–29.
SCSM-2015-HallC #collaboration #information management #performance #social: Analysing Yammer Usage Pattern in the Context of Social Collaborative Activity Performance by Knowledge Workers (JH, BBC), pp. 127–137.
CAiSE-2015-Batoulis0BDW #logic #modelling: Extracting Decision Logic from Process Models (KB, AM, EB, GD, MW), pp. 349–366.
CAiSE-2015-CabanillasKRRMC #named #visual notation: RALph: A Graphical Notation for Resource Assignments in Business Processes (CC, DK, MR, MR, JM, ARC), pp. 53–68.
CAiSE-2015-EckLLA #mining #named: PM²: A Process Mining Project Methodology (MLvE, XL, SJJL, WMPvdA), pp. 297–313.
CAiSE-2015-EstanolST #modelling #uml #validation #verification: Verification and Validation of UML Artifact-Centric Business Process Models (ME, MRS, ET), pp. 434–449.
CAiSE-2015-GiacomoDMM #declarative #modelling: Declarative Process Modeling in BPMN (GDG, MD, FMM, MM), pp. 84–100.
CAiSE-2015-HarmanBJRK #elicitation #memory management: Virtual Business Role-Play: Leveraging Familiar Environments to Prime Stakeholder Memory During Process Elicitation (JH, RB, DJ, SRM, UK), pp. 166–180.
CAiSE-2015-KoschmiderUHO: Revising the Vocabulary of Business Process Element Labels (AK, MU, AH, AO), pp. 69–83.
CAiSE-2015-LeopoldMFPSM #automation #modelling #towards: Towards the Automated Annotation of Process Models (HL, CM, MF, FP, HS, JM), pp. 401–416.
CAiSE-2015-MrasekMB #automation #declarative #generative #modelling #specification: Automatic Generation of Optimized Process Models from Declarative Specifications (RM, JAM, KB), pp. 382–397.
CAiSE-2015-OrtegaGTRC #modelling #outsourcing: Modelling Service Level Agreements for Business Process Outsourcing Services (AdRO, AMG, ADT, MR, ARC), pp. 485–500.
CAiSE-2015-SenderovichWGMK #network #validation: Discovery and Validation of Queueing Networks in Scheduled Processes (AS, MW, AG, AM, SK, CAB), pp. 417–433.
ICEIS-v1-2015-ArevaloRC #approach #information management #legacy #modelling: Discovering Business Models for Software Process Management — An Approach for Integrating Time and Resource Perspectives from Legacy Information Systems (CA, IMR, MJEC), pp. 353–359.
ICEIS-v1-2015-BerroMT #graph #open data #statistics: Graph-based ETL Processes for Warehousing Statistical Open Data (AB, IM, OT), pp. 271–278.
ICEIS-v1-2015-CaballeroBP #assessment #towards: Towards Principled Data Science Assessment — The Personal Data Science Process (PdsP) (IC, LBE, MP), pp. 374–378.
ICEIS-v1-2015-FolinoGP #behaviour #modelling #on the: On the Discovery of Explainable and Accurate Behavioral Models for Complex Lowly-structured Business Processes (FF, MG, LP), pp. 206–217.
ICEIS-v1-2015-RezendeJ #concurrent #using #workflow: Deadlock Avoidance in Interorganizational Business Processes using a Possibilistic WorkFlow Net (LPdR, SJ), pp. 429–439.
ICEIS-v1-2015-SunB #classification #mining: Function-based Case Classification for Improving Business Process Mining (YS, BB), pp. 251–258.
ICEIS-v2-2015-AlahmadiLN #detection #internet #profiling #using: Using Internet Activity Profiling for Insider-threat Detection (BAA, PAL, JRCN), pp. 709–720.
ICEIS-v2-2015-CruzMS #modelling #set: Deriving a Data Model from a Set of Interrelated Business Process Models (EFC, RJM, MYS), pp. 49–59.
ICEIS-v2-2015-CruzMS15a #modelling #set: Bridging the Gap between a Set of Interrelated Business Process Models and Software Models (EFC, RJM, MYS), pp. 338–345.
ICEIS-v2-2015-FilhoVC #experience: Applying Knowledge Codification in a Post-mortem Process — A Practical Experience (ESdSF, DV, TC), pp. 153–165.
ICEIS-v2-2015-FrantzSRYE #ecosystem #integration #markov #on the #using: On using Markov Decision Processes to Model Integration Solutions for Disparate Resources in Software Ecosystems (RZF, SS, FRF, IY, MTME), pp. 260–267.
ICEIS-v2-2015-GlocknerML #evaluation: Engineering and Evaluation of Process Alternatives in Tactical Logistics Planning (MG, SM, AL), pp. 166–176.
ICEIS-v2-2015-MeloFOS #approach #diagrams #modelling #uml: A Model-driven Approach to Transform SysML Internal Block Diagrams to UML Activity Diagrams (MdSM, JMSF, EAOJ, MSS), pp. 92–101.
ICEIS-v2-2015-MikhaylovFSZFT #locality #network: System of Localisation of the Network Activity Source in APCS Data Lines (DM, SDF, YYS, AZ, ASF, AT), pp. 245–251.
ICEIS-v2-2015-PerezNGD #analysis #development: A Tool for the Analysis of Change Management Processes in Software Development Cycles (MP, ÁN, HAPG, JCD), pp. 482–485.
ICEIS-v3-2015-KhiderB #case study #comparative #social: Social Business Process Management Approaches — A Comparative Study (HK, AB), pp. 340–345.
ICEIS-v3-2015-PassosJ #verification #workflow: Relaxed Soundness Verification for Interorganizational Workflow Processes (LMSP, SJ), pp. 221–228.
ICEIS-v3-2015-SaidCAB #adaptation #modelling #named #using: BPMN4V — An Extension of BPMN for Modelling Adaptive Processes using Versions (IBS, MAC, EA, RB), pp. 258–267.
ICEIS-v3-2015-SantosTF: Investigating Completeness of Coding in Business Process Model and Notation (CHdS, LHT, MF), pp. 328–333.
ICEIS-v3-2015-SilvaVC #development #usability: Integrating the Usability into the Software Development Process — A Systematic Mapping Study (WS, NMCV, TC), pp. 105–113.
ICEIS-v3-2015-ThabetGG #analysis #mining #petri net: Petri Net Model Cost Extension based on Process Mining — Cost Data Description and Analysis (DT, SAG, HHBG), pp. 268–275.
ICEIS-v3-2015-TiamSM: An Operational Model of Variable Business Process (RTT, ADS, RM), pp. 162–172.
ICEIS-v3-2015-Wissotzki #approach #identification: A Process Approach for Capability Identification and Management (MW), pp. 204–212.
CIKM-2015-Chatzis #knowledge base: Inducing Space Dirichlet Process Mixture Large-Margin Entity RelationshipInference in Knowledge Bases (SPC), pp. 1311–1320.
CIKM-2015-RoychoudhuryKB #documentation #ontology #using: Analyzing Document Intensive Business Processes using Ontology (SR, VK, NB), pp. 1899–1902.
CIKM-2015-TandonMDW #mining #named: Knowlywood: Mining Activity Knowledge From Hollywood Narratives (NT, GdM, AD, GW), pp. 223–232.
ECIR-2015-SadeghiBMSSV #predict: Predicting Re-finding Activity and Difficulty (SS, RB, PM, MS, FS, DV), pp. 715–727.
ICML-2015-DeisenrothN #distributed: Distributed Gaussian Processes (MPD, JWN), pp. 1481–1490.
ICML-2015-FilipponeE #linear #probability #scalability: Enabling scalable stochastic gradient-based inference for Gaussian processes by employing the Unbiased LInear System SolvEr (ULISSE) (MF, RE), pp. 1015–1024.
ICML-2015-FlaxmanWNNS #performance: Fast Kronecker Inference in Gaussian Processes with non-Gaussian Likelihoods (SF, AGW, DN, HN, AJS), pp. 607–616.
ICML-2015-GalCG #category theory #estimation #multi: Latent Gaussian Processes for Distribution Estimation of Multivariate Categorical Data (YG, YC, ZG), pp. 645–654.
ICML-2015-GalT #approximate #nondeterminism #representation: Improving the Gaussian Process Sparse Spectrum Approximation by Representing Uncertainty in Frequency Inputs (YG, RT), pp. 655–664.
ICML-2015-GarnettHS: Finding Galaxies in the Shadows of Quasars with Gaussian Processes (RG, SH, JS), pp. 1025–1033.
ICML-2015-GeCWG #distributed #modelling: Distributed Inference for Dirichlet Process Mixture Models (HG, YC, MW, ZG), pp. 2276–2284.
ICML-2015-GeigerZSGJ #component #identification: Causal Inference by Identification of Vector Autoregressive Processes with Hidden Components (PG, KZ, BS, MG, DJ), pp. 1917–1925.
ICML-2015-HoangHL #big data #framework #modelling #probability: A Unifying Framework of Anytime Sparse Gaussian Process Regression Models with Stochastic Variational Inference for Big Data (TNH, QMH, BKHL), pp. 569–578.
ICML-2015-HugginsNSM #markov #named: JUMP-Means: Small-Variance Asymptotics for Markov Jump Processes (JHH, KN, AS, VKM), pp. 693–701.
ICML-2015-JewellSB: Atomic Spatial Processes (SJ, NS, ABC), pp. 248–256.
ICML-2015-Kandemir #learning #symmetry: Asymmetric Transfer Learning with Deep Gaussian Processes (MK), pp. 730–738.
ICML-2015-KimXVS: Manifold-valued Dirichlet Processes (HJK, JX, BCV, VS), pp. 1199–1208.
ICML-2015-LiangP: Landmarking Manifolds with Gaussian Processes (DL, JP), pp. 466–474.
ICML-2015-LianHRLC #multi #predict: A Multitask Point Process Predictive Model (WL, RH, VR, JEL, LC), pp. 2030–2038.
ICML-2015-LloydGOR: Variational Inference for Gaussian Process Modulated Poisson Processes (CML, TG, MAO, SJR), pp. 1814–1822.
ICML-2015-MacdonaldHH #modelling: Controversy in mechanistic modelling with Gaussian processes (BM, CFH, DH), pp. 1539–1547.
ICML-2015-MarietS #algorithm #fixpoint #learning: Fixed-point algorithms for learning determinantal point processes (ZM, SS), pp. 2389–2397.
ICML-2015-Osogami #markov #robust: Robust partially observable Markov decision process (TO), pp. 106–115.
ICML-2015-QiuXHLC #estimation #matrix #robust: Robust Estimation of Transition Matrices in High Dimensional Heavy-tailed Vector Autoregressive Processes (HQ, SX, FH, HL, BC), pp. 1843–1851.
ICML-2015-SamoR #parametricity #scalability: Scalable Nonparametric Bayesian Inference on Point Processes with Gaussian Processes (YLKS, SR), pp. 2227–2236.
ICML-2015-ShahKG #algorithm #empirical #probability: An Empirical Study of Stochastic Variational Inference Algorithms for the Beta Bernoulli Process (AS, DAK, ZG), pp. 1594–1603.
ICML-2015-SuiGBK #optimisation: Safe Exploration for Optimization with Gaussian Processes (YS, AG, JWB, AK), pp. 997–1005.
ICML-2015-WangLWC #metadata: Metadata Dependent Mondrian Processes (YW, BL, YW, FC), pp. 1339–1347.
ICML-2015-WilsonN #kernel #scalability: Kernel Interpolation for Scalable Structured Gaussian Processes (KISS-GP) (AGW, HN), pp. 1775–1784.
ICML-2015-YenLZRD #approach #modelling: A Convex Exemplar-based Approach to MAD-Bayes Dirichlet Process Mixture Models (IEHY, XL, KZ, PKR, ISD), pp. 2418–2426.
KDD-2015-CostaYTTF #mining #modelling #named #social #social media: RSC: Mining and Modeling Temporal Activity in Social Media (AFC, YY, AJMT, CTJ, CF), pp. 269–278.
KDD-2015-DuFASS #clustering #documentation: Dirichlet-Hawkes Processes with Applications to Clustering Continuous-Time Document Streams (ND, MF, AA, AJS, LS), pp. 219–228.
KDD-2015-MinorDC #algorithm #data-driven #evaluation #predict: Data-Driven Activity Prediction: Algorithms, Evaluation Methodology, and Applications (BM, JRD, DJC), pp. 805–814.
KDD-2015-YuanBM #re-engineering #using: Gas Concentration Reconstruction for Coal-Fired Boilers Using Gaussian Process (CY, MB, BM), pp. 2247–2256.
KDD-2015-ZhaoEHRL #named #predict #self #twitter: SEISMIC: A Self-Exciting Point Process Model for Predicting Tweet Popularity (QZ, MAE, HYH, AR, JL), pp. 1513–1522.
RecSys-2015-MagnusonDM #recommendation #twitter #using: Event Recommendation using Twitter Activity (AM, VD, DM), pp. 331–332.
SEKE-2015-AndoSUWFIOHKSNY #developer #development #experience #fault #how #question: How Does Defect Removal Activity of Developer Vary with Development Experience? (RA, SS, CU, HW, YF, SI, HO, YH, MK, KS, KN, MY), pp. 540–545.
SEKE-2015-BrondaniBF #evaluation #quality: Quality Evaluation of Artifacts in Tailored Software Process Lines (CB, GB, LMF), pp. 223–226.
SEKE-2015-TerencianiPLC #modelling #representation #towards #variability: BPMN* — A Notation for Representation of Variability in Business Process Towards Supporting Business Process Line Modeling (MT, DMBP, GL, MIC), pp. 227–230.
SEKE-2015-TrinkenreichSCS #metric #towards #using: Toward using Business Process Intelligence to Support Incident Management Metrics Selection and Service Improvement (BT, GS, VTFC, FMS), pp. 522–527.
SEKE-2015-ValeSSA #agile #analysis #evaluation #industrial #named: RiSE-DA: An Agile Domain Analysis Process and its Industrial Evaluation (TV, ISS, IFdS, ESdA), pp. 696–699.
SIGIR-2015-LiDDCZB #behaviour #markov #query: Analyzing User’s Sequential Behavior in Query Auto-Completion via Markov Processes (LL, HD, AD, YC, HZ, RABY), pp. 123–132.
SIGIR-2015-RenR #parametricity: Summarizing Contrastive Themes via Hierarchical Non-Parametric Processes (ZR, MdR), pp. 93–102.
SIGIR-2015-ShovonNDVC #web: Cognitive Activity during Web Search (MHIS, NN, JTD, RV, BC), pp. 967–970.
MoDELS-2015-LeemansA #distributed #mining #modelling #transaction: Process mining in software systems: Discovering real-life business transactions and process models from distributed systems (ML, WMPvdA), pp. 44–53.
MoDELS-2015-SimmondsPBS #evolution #megamodelling #modelling: A megamodel for Software Process Line modeling and evolution (JS, DP, MCB, LS), pp. 406–415.
SPLC-2015-KassmeyerSS #impact analysis #safety #variability: A process to support a systematic change impact analysis of variability and safety in automotive functions (MK, MS, MS), pp. 235–244.
Onward-2015-Kell #towards: Towards a dynamic object model within Unix processes (SK), pp. 224–239.
REFSQ-2015-HarbersDN #requirements: Embedding Stakeholder Values in the Requirements Engineering Process (MH, CD, MAN), pp. 318–332.
REFSQ-2015-HiisilaKK #case study #challenge #outsourcing #requirements: Challenges of the Customer Organization’s Requirements Engineering Process in the Outsourced Environment — A Case Study (HH, MK, SK), pp. 214–229.
ASE-2015-BaoXWZ #developer: Tracking and Analyzing Cross-Cutting Activities in Developers’ Daily Work (N) (LB, ZX, XW, BZ), pp. 277–282.
ESEC-FSE-2015-TreudeFK #development: Summarizing and measuring development activity (CT, FMFF, UK), pp. 625–636.
ESEC-FSE-2015-ZhengMZ #capacity #constraints #identification #problem: A method to identify and correct problematic software activity data: exploiting capacity constraints and data redundancies (QZ, AM, MZ), pp. 637–648.
ICSE-v1-2015-Ralph #re-engineering: Developing and Evaluating Software Engineering Process Theories (PR), pp. 20–31.
ICSE-v2-2015-EtienneMAD #modelling #performance #predict #proving #trust: Improving Predictability, Efficiency and Trust of Model-Based Proof Activity (JFÉ, MM, FA, VD), pp. 139–148.
ICSE-v2-2015-Inozemtseva #comprehension #fault: Understanding the Software Fault Introduction Process (LI), pp. 843–846.
ICSE-v2-2015-Mesh: Supporting Scientific SE Process Improvement (ESM), pp. 923–926.
ICSE-v2-2015-PecchiaCCC #assessment #development #industrial: Industry Practices and Event Logging: Assessment of a Critical Software Development Process (AP, MC, GC, DC), pp. 169–178.
SAC-2015-0001RMW #approach #behaviour #constraints: Matching of events and activities: an approach based on behavioral constraint satisfaction (TB, ARS, JM, MW), pp. 1225–1230.
SAC-2015-AbibA #design #guidelines: Integrating contexts in healthcare: guidelines to help the designers at design process (JCA, JCA), pp. 182–184.
SAC-2015-AlyI #named #realtime #recognition: ubiMonitor: intelligent fusion of body-worn sensors for real-time human activity recognition (HA, MAI), pp. 563–568.
SAC-2015-AwadBESAS #anti #approach #detection #runtime: Runtime detection of business process compliance violations: an approach based on anti patterns (AA, AB, AE, RES, AA, SS), pp. 1203–1210.
SAC-2015-GarciaPMR: A software process line for service-oriented applications (CG, MP, AM, SSR), pp. 1680–1687.
SAC-2015-KhelladiBBLG #consistency #framework #verification: A framework to formally verify conformance of a software process to a software method (DEK, RB, SB, YL, MPG), pp. 1518–1525.
SAC-2015-MarquesRA15a #requirements #towards #traceability: Towards a requirements traceability process centered on the traceability model (AM, FR, WdLA), pp. 1364–1369.
SAC-2015-MinHJCH #distributed #performance #scalability: An efficient backup-recovery technique to process large data in distributed key-value store (DM, TH, JJ, YC, JH), pp. 2072–2074.
SAC-2015-NonnenmacherOBV #modelling: Modelling consumers decision-making process about excluding products as a result of mutual influence (VN, LPLdO, BEJB, MBV), pp. 1123–1128.
SAC-2015-PintoMCS #using: Using event logs and the Ψ-theory to analyse business processes (PLP, CM, AC, MMdS), pp. 1195–1202.
SAC-2015-RuyFBG #ontology #pattern matching #standard #towards: Towards an ontology pattern language for harmonizing software process related ISO standards (FBR, RdAF, MPB, GG), pp. 388–395.
SAC-2015-SantosOA #development #mining: Mining software development process variations (RMSS, TCO, FBeA), pp. 1657–1660.
SAC-2015-SilvaSBVS #assessment #framework #using: Using ArchiMate to model a process assessment framework (NS, MMdS, BB, MV, PS), pp. 1189–1194.
SAC-2015-WeberFMS #mining #multi: Mining processes with multi-instantiation (IW, MF, JM, JGS), pp. 1231–1237.
SLE-2015-UmuhozaBRC #empirical #modelling: An empirical study on simplification of business process modeling languages (EU, MB, DR, JC), pp. 13–24.
CASE-2015-BoH #clustering #fault: Qualitative trend clustering of process data for fault diagnosis (ZB, YH), pp. 1584–1588.
CASE-2015-ChenY #monitoring: Heterogeneous recurrence T2 charts for monitoring and control of nonlinear dynamic processes (YC, HY), pp. 1066–1071.
CASE-2015-ChouTHC #adaptation #algorithm #design #parametricity: Adaptive neuro-fuzzy inference system with evolutionary algorithm for designing process parameters of color filter (PYC, JTT, WHH, JHC), pp. 1555–1556.
CASE-2015-FerrerALVLH #approach #assembly #automation: An approach for knowledge-driven product, process and resource mappings for assembly automation (BRF, BA, AL, DAV, JLML, RH), pp. 1104–1109.
CASE-2015-ForsmanR: Chemical process control practice — Some examples and observations (KF, JR), pp. 892–893.
CASE-2015-HolmOFUHAK #evolution #industrial #integration #performance: Engineering method for the integration of modules into fast evolving production systems in the process industry (TH, MO, AF, LU, UH, TA, SK), pp. 1042–1047.
CASE-2015-LiuZ #adaptation #human-computer #modelling #predict: Adaptive predictive ANFIS based human arm movement modeling and control in machine-human cooperative GTAW process (YL, YZ), pp. 1465–1470.
CASE-2015-MicioFMBL #automation #mining #towards: RTLS-based Process Mining: Towards an automatic process diagnosis in healthcare (RM, FF, GM, PB, ML), pp. 1397–1402.
CASE-2015-MoalDC #case study #monitoring #on the #overview: On the feasibility of a monitoring system for the friction stir welding process: Literature review and experimental study (GLM, FD, DC), pp. 1576–1583.
CASE-2015-PanZQ #clustering #how #tool support: How to start-up dual-arm cluster tools involving a wafer revisiting process (CP, MZ, YQ), pp. 1194–1199.
CASE-2015-ProdelAXJL #database #integer #linear #mining #programming #using: Discovery of patient pathways from a national hospital database using process mining and integer linear programming (MP, VA, XX, BJ, LL), pp. 1409–1414.
CASE-2015-ReisgenLMBW #modelling #quality: Process control of gas metal arc welding processes by optical weld pool observation with combined quality models (UR, PL, SM, GB, KW), pp. 407–410.
CASE-2015-SongLBKNSSC #cyber-physical #industrial #integration #modelling: Model-based cyber-physical system integration in the process industry (ZS, PL, RB, WK, SN, SS, LS, AC), pp. 1012–1017.
CASE-2015-SterlingSZC #algorithm #optimisation #parametricity: Welding parameter optimization based on Gaussian process regression Bayesian optimization algorithm (DS, TS, YZ, HC), pp. 1490–1496.
CASE-2015-XieZLSD #agile #analysis #approach #multi: Analysis of multi-patient rapid response processes: An iterative approach (XX, ZZ, JL, CHS, PD), pp. 740–745.
CASE-2015-ZafarKSMJA #health #monitoring #using: Tool health monitoring for wood milling process using airborne acoustic emission (TZ, KK, ZS, SM, AJ, UA), pp. 1521–1526.
CASE-2015-ZhuCS #energy #linear #recognition #using: Using unlabeled acoustic data with locality-constrained linear coding for energy-related activity recognition in buildings (QZ, ZC, YCS), pp. 174–179.
DAC-2015-ZaheerWGL #markov #named #performance: mTunes: efficient post-silicon tuning of mixed-signal/RF integrated circuits based on Markov decision process (MZ, FW, CG, XL), p. 6.
DATE-2015-0001CY #approach #optimisation #robust: A robust approach for process variation aware mask optimization (JK, WKC, EFYY), pp. 1591–1594.
DATE-2015-ShonikerCHP #design #simulation #verification: Minimizing the number of process corner simulations during design verification (MS, BFC, JH, WP), pp. 289–292.
DATE-2015-WangWXWWYDLMW #adaptation: Adaptively tolerate power-gating-induced power/ground noise under process variations (ZW, XW, JX, XW, ZW, PY, LHKD, HL, RKVM, ZW), pp. 483–488.
PDP-2015-EvrardL #automation #code generation #concurrent #distributed #formal method #modelling: Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes (HE, FL), pp. 459–466.
PDP-2015-GlantzMN #algorithm #architecture #grid #parallel: Algorithms for Mapping Parallel Processes onto Grid and Torus Architectures (RG, HM, AN), pp. 236–243.
PDP-2015-HenrioMM #named #network: pNets: An Expressive Model for Parameterised Networks of Processes (LH, EM, MM), pp. 492–496.
PDP-2015-LundKETLHF #data flow #execution #network #platform: Execution of Dataflow Process Networks on OpenCL Platforms (WL, SK, JE, LT, JL, JH, UF), pp. 618–625.
FoSSaCS-2015-GeblerLT #calculus #composition #metric #probability #reasoning: Compositional Metric Reasoning with Probabilistic Process Calculi (DG, KGL, ST), pp. 230–245.
TACAS-2015-NamjoshiT #analysis #network: Analysis of Dynamic Process Networks (KSN, RJT), pp. 164–178.
TACAS-2015-SoudjaniGA #abstraction #probability: FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes (SEZS, CG, AA), pp. 272–286.
CAV-2015-BrazdilCCFK #learning #markov: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes (TB, KC, MC, AF, JK), pp. 158–177.
CAV-2015-RandourRS #markov #multi #query: Percentile Queries in Multi-dimensional Markov Decision Processes (MR, JFR, OS), pp. 123–139.
ICST-2015-Salloum #data transformation #development #information management #integration: Seamless Integration of Test Information Management and Calibration Data Management in the Overall Automotive Development Process (CES), pp. 1–3.
LICS-2015-ChatterjeeKK #markov #multi: Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (KC, ZK, JK), pp. 244–256.
LICS-2015-CzerwinskiJ #branch #similarity: Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME (WC, PJ), pp. 168–179.
TAP-2015-MijatovMLK #diagrams #functional #requirements #testing #uml: Testing Functional Requirements in UML Activity Diagrams (SM, TM, PL, GK), pp. 173–190.
VMCAI-2015-GanjeiREP: Abstracting and Counting Synchronizing Processes (ZG, AR, PE, ZP), pp. 227–244.
VMCAI-2015-SalaunY #algebra #debugging #specification: Debugging Process Algebra Specifications (GS, LY), pp. 245–262.
CBSE-2014-MateescuSY #model checking #parallel #using: Quantifying the parallelism in BPMN processes using model checking (RM, GS, LY), pp. 159–168.
ECSA-2014-OliveiraLFON #architecture #design #towards: Towards a Process to Design Architectures of Service-Oriented Robotic Systems (LBRdO, EL, KRF, FO, EYN), pp. 218–225.
WICSA-2014-BaresiGM #consistency #evolution #runtime: Consistent Runtime Evolution of Service-Based Business Processes (LB, SG, VPLM), pp. 77–86.
WICSA-2014-NakagawaGMFO #architecture #design #evaluation #representation: Consolidating a Process for the Design, Representation, and Evaluation of Reference Architectures (EYN, MG, JCM, DF, FO), pp. 143–152.
HT-2014-SharmaSS #social #twitter: Inferring social ties from common activities in twitter (US, AS, SS), pp. 318–320.
JCDL-2014-MayerRA #library: A context model for digital preservation of processes and its application to a digital library system (RM, AR, GA), pp. 459–460.
VLDB-2014-DeutchMT #analysis #framework: A Provenance Framework for Data-Dependent Process Analysis (DD, YM, VT), pp. 457–468.
CSEET-2014-Barker: Workshop on improving the CSEE&T submissions process (MB), pp. 183–185.
CSEET-2014-RongZS #case study #education #experience #matter: Where does experience matter in software process education? An experience report (GR, HZ, DS), pp. 129–138.
CSEET-2014-SedelmaierL #modelling #requirements #using: Using business process models to foster competencies in requirements engineering (YS, DL), pp. 13–22.
EDM-2014-PaquetteCBO #case study #detection #game studies #re-engineering: Reengineering the Feature Distillation Process: A case study in detection of Gaming the System (LP, AMJBdC, RSB, JO), pp. 284–287.
EDM-2014-YeKB #identification #learning #mining #multi: Mining and Identifying Relationships Among Sequential Patterns in Multi-Feature, Hierarchical Learning Activity Data (CY, JSK, GB), pp. 389–390.
ITiCSE-2014-Isomottonen #student: Making group processes explicit to student: a case of justice (VI), pp. 195–200.
ITiCSE-2014-MonasorVPNB #assessment #development: Assessment process for a simulation-based training environment in global software development (MJM, AV, MP, JN, SB), pp. 231–236.
ITiCSE-2014-StrieweG #assessment #automation #diagrams #uml: Automated assessment of UML activity diagrams (MS, MG), p. 336.
SIGITE-2014-Kussmaul #concept #student: Guiding students to discover concepts and develop process skills with POGIL (CK), pp. 159–160.
SIGITE-2014-Ruhi #development #education: Prospects & practices for end-user development activities in business computing education (UR), pp. 1–2.
CSMR-WCRE-2014-VosTPKBHS #automation #internet #named #testing: FITTEST: A new continuous and automated testing process for future Internet applications (TEJV, PT, WP, PMK, AB, MH, OS), pp. 407–410.
ICSME-2014-AlvesSD #automation #quality #standard: Applying ISO/IEC 25010 Standard to Prioritize and Solve Quality Issues of Automatic ETL Processes (TLA, PS, MSD), pp. 573–576.
MSR-2014-GuptaSP #fault #mining #multi #perspective #repository: Process mining multiple repositories for software defect resolution from control and organizational perspective (MG, AS, SP), pp. 122–131.
MSR-2014-KhodabandelouHDS #modelling: Unsupervised discovery of intentional process models from event logs (GK, CH, RD, CS), pp. 282–291.
LATA-2014-KonitzerS #automaton #bound: DFA with a Bounded Activity Level (MK, HUS), pp. 478–489.
LATA-2014-LiPT #probability #simulation: Probabilistic Simulation for Probabilistic Data-Aware Business Processes (HL, FP, FT), pp. 503–515.
FM-2014-AntoninoSW #analysis #concurrent #csp #network #refinement: A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes (PRGA, AS, JW), pp. 62–77.
FM-2014-RoySS #case study #experience #industrial: Diagnosing Industrial Business Processes: Early Experiences (SR, ASMS, SS), pp. 703–717.
IFM-2014-FathabadiSB #manycore #modelling #runtime: Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems (ASF, CFS, MJB), pp. 120–135.
RTA-TLCA-2014-HondaYB #interactive #π-calculus: Process Types as a Descriptive Tool for Interaction — Control and the π-Calculus (KH, NY, MB), pp. 1–20.
CHI-PLAY-2014-Chiapello #design #game studies: A model of game design activity: new perspectives on creativity and innovation (LC), pp. 287–290.
CHI-PLAY-2014-ZhuFMPVN #education #game studies #towards: Towards balancing learner autonomy and pedagogical process in educational games (JZ, AF, GM, JHP, JVV, DN), pp. 455–456.
CIG-2014-GreenwoodA #comprehension #question: Does the moran process hinder our understanding of cooperation in human populations? (GWG, PMA), pp. 1–6.
VS-Games-2014-NgDC #game studies: Applying Activity Theory in Comparatively Evaluating Serious Games (TN0, KD, AC), pp. 1–7.
ICGT-2014-Bruggink #graph transformation #mining #towards: Towards Process Mining with Graph Transformation Systems (HJSB), pp. 253–268.
CHI-2014-BentonVKJG #design #framework: Diversity for design: a framework for involving neurodiverse children in the technology design process (LB, AV, RK, HJ, DG), pp. 3747–3756.
CHI-2014-FritzHMZ #case study #persuasion #using: Persuasive technology in the real world: a study of long-term use of activity sensing devices for fitness (TF, EMH, GCM, TZ), pp. 487–496.
CHI-2014-KhotHM #3d #comprehension #physics: Understanding physical activity through 3D printed material artifacts (RAK, LH, F'M), pp. 3835–3844.
CHI-2014-LeavittC #social: Upvoting hurricane Sandy: event-based news production processes on a social news site (AL, JAC), pp. 1495–1504.
CHI-2014-MarkICJ #online: Bored mondays and focused afternoons: the rhythm of attention and online activity in the workplace (GM, STI, MC, PJ), pp. 3025–3034.
CHI-2014-MarkWN #empirical #multi #online: Stress and multitasking in everyday college life: an empirical study of online activity (GM, YW, MN), pp. 41–50.
CHI-2014-MuellerGVE #design #game studies: Supporting the creative game design process with exertion cards (FM, MRG, FV, DE), pp. 2211–2220.
CHI-2014-SinghKJFTKBW #design #people #physics: Motivating people with chronic pain to do physical activity: opportunities for technology design (AS, AK, JJ, AF, ATJ, NK, NBB, ACdCW), pp. 2803–2812.
CHI-2014-ThreattMGWBH #design #evaluation: An assistive robotic table for older and post-stroke adults: results from participatory design and evaluation activities with clinical staff (AT, JM, KEG, IDW, JOB, SH), pp. 673–682.
CHI-2014-YurutenZP #mobile #predict: Predictors of life satisfaction based on daily activities from mobile sensor data (OY, JZ, PHZP), pp. 497–500.
CSCW-2014-VitakK #facebook #how #people #quote: “You can’t block people offline”: examining how facebook’s affordances shape the disclosure process (JV, JK), pp. 461–474.
CSCW-2014-YueHH #collaboration #modelling #using #web: Modeling search processes using hidden states in collaborative exploratory web search (ZY, SH, DH), pp. 820–830.
DHM-2014-AbibBA #communication #comprehension: Understanding and Facilitating the Communication Process among Healthcare Professionals (JCA, AOB, JCA), pp. 313–324.
DHM-2014-GoreW #concept: A Task Analytic Process to Define Future Concepts in Aviation (BFG, CW), pp. 236–246.
DHM-2014-OtaWKTGH #comparison: Comparison of Different Tea Whisk Influence on Bubble Form in Processes of “The Way of Tea” (TO, ZW, SK, YT, AG, HH), pp. 197–203.
DUXU-DI-2014-HusseinMT #development #human-computer #user interface #web: HCI Knowledge for UX Practices in the Web Development Process (IH, MM, AOMT), pp. 116–126.
DUXU-DI-2014-MuukkonenHLV #mobile: Tracking Mobile Workers’ Daily Activities with the Contextual Activity Sampling System (HM, KH, SL, MV), pp. 289–300.
DUXU-DI-2014-PalomakiHVH #mobile #overview #perspective: Methods to Study Everyday Activities in a Mobile Work Context — A Literature Overview (EP, KH, MV, MH), pp. 301–312.
DUXU-DI-2014-ShinKKJS #design #game studies #interactive: A New Design Process for Viewer Participation in Interactive TV Program: Focused on the Interactive TV Game Show Hae-un-dae (JS, HJK, JIK, BGJ, CS), pp. 763–772.
DUXU-DP-2014-HamachiTN #integration #quality: Activities to Improve System Integration and Service Quality and Add Additional Values — Reducing the Cost in Applying Human-Centered-Design Process (RH, IT, HN), pp. 32–38.
DUXU-DP-2014-Heimgartner #standard #usability: ISO 9241-210 and Culture? — The Impact of Culture on the Standard Usability Engineering Process (RH), pp. 39–48.
DUXU-DP-2014-ShimizuINMHKWK: Consideration for Interpretation of Brain Activity Pattern during Car Driving Based on Human Movements (SS, HI, HN, FM, NH, SK, EW, SK), pp. 458–468.
DUXU-TMT-2014-InoueSNTMHKWK #physics: Attempts to Quantitative Analyze for the Change of Human Brain Activity with Physical and Psychological Load (HI, SS, HN, TT, FM, NH, SK, EW, SK), pp. 240–249.
DUXU-TMT-2014-KeckLG #design #user interface: Revisiting Graspable User Interfaces — A Design Process for Developing User Interface Metaphors (MK, EL, RG), pp. 130–141.
DUXU-TMT-2014-LaamanenSH #design: Tracing Design Work through Contextual Activity Sampling (TKL, PSH, KH), pp. 142–152.
HCI-AIMT-2014-FleischmannSS #case study #comparative #interactive #modelling: Tangible or Not Tangible — A Comparative Study of Interaction Types for Process Modeling Support (AF, WS, CS), pp. 544–555.
HCI-AIMT-2014-ReddyC #artificial reality #recognition #using: Human Activity Recognition from Kinect Captured Data Using Stick Model (VRR, TC), pp. 305–315.
HCI-AS-2014-Kawecka-EndlerM #enterprise: Humanization of Work and Environmental Protection in Activity of Enterprise (AKE, BM), pp. 700–709.
HCI-AS-2014-MurrayWHSMGBTSCSH #animation #interactive #people #physics #question: Can a Theory-Informed Interactive Animation Increase Intentions to Engage in Physical Activity in Young People with Asthma? (JM, BW, GH, SS, JM, DG, GB, ST, FS, LC, AS, SH), pp. 289–300.
HCI-AS-2014-YoungCGC #metric #mobile #performance #physics: Snappy App: A Mobile Continuous Performance Test with Physical Activity Measurement for Assessing Attention Deficit Hyperactivity Disorder (ZY, MPC, MG, JC), pp. 363–373.
HCI-TMT-2014-Bakke #approach #user interface: Immediacy in User Interfaces: An Activity Theoretical Approach (SB), pp. 14–22.
HCI-TMT-2014-BatistaUF #adaptation #design #guidelines #interface #web: A Model and Guidelines for the Interface Design Process for Adaptive Web Applications (IDPAWA) (CRB, VRU, AMdVF), pp. 387–398.
HCI-TMT-2014-RaneburgerPKAS #automation #design #generative #incremental #interactive #user interface: An Iterative and Incremental Process for Interaction Design through Automated GUI Generation (DR, RP, HK, AA, VS), pp. 373–384.
HCI-TMT-2014-Zuanon #design #interactive #named: Design-Neuroscience: Interactions between the Creative and Cognitive Processes of the Brain and Design (RZ), pp. 167–174.
HIMI-AS-2014-MaeshiroM #network: Polyhedron Network Model to Describe Creative Processes (TM, MM), pp. 535–545.
HIMI-AS-2014-SeigerSMS #concept #cyber-physical #interactive: A Resilient Interaction Concept for Process Management on Tabletops for Cyber-Physical Systems (RS, SS, SM, TS), pp. 347–358.
HIMI-AS-2014-YamaguchiTT #learning #visualisation: Visualizing Mental Learning Processes with Invisible Mazes for Continuous Learning (TY, KT, KT), pp. 137–148.
HIMI-DE-2014-TanikawaSKF #design #problem #usability #verification: Problems in Usability Improvement Activity by Software Engineers — Consideration through Verification Experiments for Human- Centered Design Process Support Environment (YT, HS, HK, SF), pp. 641–651.
LCT-NLE-2014-BattaiolaAP #animation #design #education: Canvas to Improve the Design Process of Educational Animation (ALB, MMA, REP), pp. 13–24.
LCT-NLE-2014-Choffat-Durr #distance: Distance Exchange Projects at Elementary School: A Focus on a Co-learning Process (ACD), pp. 380–387.
LCT-NLE-2014-GiannakosJL #programming #women: Happy Girls Engaging with Technology: Assessing Emotions and Engagement Related to Programming Activities (MNG, LJ, IL), pp. 398–409.
LCT-NLE-2014-Piki #collaboration #learning #question: Learner Engagement in Computer-Supported Collaborative Learning Activities: Natural or Nurtured? (AP), pp. 107–118.
LCT-TRE-2014-Bharali #learning #online: Enhancing Online Learning Activities for Groups in Flipped Classrooms (RB), pp. 269–276.
LCT-TRE-2014-IshikawaAKSTD #learning #self #student: Sustaining Outside-of-Class CALL Activities by Means of a Student Self-Evaluation System in a University Blended Learning EFL Course (YI, RAY, MK, CS, YT, MD), pp. 146–154.
SCSM-2014-AbdallaY #network #online #overview #social #using: A Review of Using Online Social Networks for Investigative Activities (AA, SYY), pp. 3–12.
SCSM-2014-FraidakiPD #how #information management #social #social media: Living in the Era of Social Media: How the Different Types of Social Media May Affect Information Acquisition Process (KF, KP, GID), pp. 178–185.
SCSM-2014-SakamotoN #game studies #hybrid #social #social media: Gamifying Social Media to Encourage Social Activities with Digital-Physical Hybrid Role-Playing (MS, TN), pp. 581–591.
CAiSE-2014-0001PBKLSFW #automation: Automating Data Exchange in Process Choreographies (AM, LP, KB, SK, TL, TS, DF, MW), pp. 316–331.
CAiSE-2014-BastarricaMRSV #how #quality #question: How does Quality of Formalized Software Processes Affect Adoption? (MCB, GM, RR, LS, RV), pp. 226–240.
CAiSE-2014-ChanYGM #development #execution #mining: Mining Event Logs to Assist the Development of Executable Process Variants (NNC, KY, WG, JM), pp. 548–563.
CAiSE-2014-EpureHDB #flexibility #mining #what: What Shall I Do Next? — Intention Mining for Flexible Process Enactment (EVE, CH, RD, SB), pp. 473–487.
CAiSE-2014-FolinoGP #low level #mining #modelling #multi #predict: Mining Predictive Process Models out of Low-level Multidimensional Logs (FF, MG, LP), pp. 533–547.
CAiSE-2014-LaurentBBG #formal method #verification: Formalization of fUML: An Application to Process Verification (YL, RB, SB, MPG), pp. 347–363.
CAiSE-2014-MaggiFDG #monitoring #predict: Predictive Monitoring of Business Processes (FMM, CDF, MD, CG), pp. 457–472.
CAiSE-2014-MurguzurCTS #runtime #staged: Context-Aware Staged Configuration of Process Variants@Runtime (AM, XDC, ST, GS), pp. 241–255.
CAiSE-2014-OhlssonHJCR #tool support: Prioritizing Business Processes Improvement Initiatives: The Seco Tools Case (JO, SH, PJ, FC, LR), pp. 256–270.
CAiSE-2014-PolyvyanyyRH #modelling #performance #retrieval #using: Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings (AP, MLR, AHMtH), pp. 439–456.
CAiSE-2014-RuizCEFP #analysis #information management: Integrating the Goal and Business Process Perspectives in Information System Analysis (MR, DC, SE, XF, OP), pp. 332–346.
CAiSE-2014-SenderovichWGM #mining #predict #queue: Queue Mining — Predicting Delays in Service Processes (AS, MW, AG, AM), pp. 42–57.
CAiSE-2014-SubeljBKB #mining: Automatization of the Stream Mining Process (LS, ZB, MK, MB), pp. 409–423.
EDOC-2014-0002HHDKS #towards: Towards Process Support for Cloud Manufacturing (SS, PH, CH, SD, MK, DS), pp. 142–149.
EDOC-2014-Aalst #enterprise #mining: Process Mining as the Superglue Between Data Science and Enterprise Computing (WMPvdA), p. 1.
EDOC-2014-FrancescomarinoRGV #modelling #semantics: The Role of Semantic Annotations in Business Process Modelling (CDF, MR, CG, AV), pp. 181–189.
EDOC-2014-GarciaV #abstraction #architecture #framework #implementation: Object-Business Process Mapping Frameworks: Abstractions, Architecture, and Implementation (RG, MTV), pp. 160–169.
EDOC-2014-Pufahl0W: Batch Regions: Process Instance Synchronization Based on Data (LP, AM, MW), pp. 150–159.
EDOC-2014-SungurBBL: Informal Process Essentials (CTS, TB, UB, FL), pp. 200–209.
EDOC-2014-Weber #comprehension #how #modelling #towards: Investigating the Process of Process Modeling: Towards an in-Depth Understanding of How Process Models Are Created (BW), p. 180.
ICEIS-v1-2014-0001DFL #classification #constraints #documentation: Service Level Agreement Constraints into Processes for Document Classification (MB, MD, FF, AL), pp. 545–550.
ICEIS-v1-2014-FreireCSS #query #semantics: Preserving the Original Query Semantics in Routing Processes (CF, NC, DS, ACS), pp. 70–80.
ICEIS-v1-2014-GrogerSM #information management #repository: The Manufacturing Knowledge Repository — Consolidating Knowledge to Enable Holistic Process Knowledge Management in Manufacturing (CG, HS, BM), pp. 39–51.
ICEIS-v1-2014-JavidrooziACS #challenge #enterprise #integration: Business Process Change in Enterprise Systems Integration — Challenges and Opportunities (VJ, AA, AC, HS), pp. 128–135.
ICEIS-v1-2014-OliveiraB #independence #platform #specification #towards: ETL Patterns on YAWL — Towards to the Specification of Platform-independent Data Warehousing Populating Processes (BCdSO, OB), pp. 299–307.
ICEIS-v2-2014-AntonioRF #embedded #modelling #validation #verification: Verification and Validation Activities for Embedded Systems — A Feasibility Study on a Reading Technique for SysML Models (EAA, RR, SCPFF), pp. 233–240.
ICEIS-v2-2014-HoosGKM #analysis #framework #identification #mobile: Improving Business Processes Through Mobile Apps — An Analysis Framework to Identify Value-added App Usage Scenarios (EH, CG, SK, BM), pp. 71–82.
ICEIS-v2-2014-KaramtiTG #image #network #retrieval #using: Vectorization of Content-based Image Retrieval Process Using Neural Network (HK, MT, FG), pp. 435–439.
ICEIS-v2-2014-MerouaniMS #approach #consistency #formal method #testing #towards: Formalizing Artifact-Centric Business Processes — Towards a Conformance Testing Approach (HM, FM, HSB), pp. 368–374.
ICEIS-v2-2014-ShamsuzzohaAKH #collaboration #internet #monitoring #realtime #repository: Smart Collaborative Processes Monitoring in Real-time Business Environment — Applications of Internet of Things and Cloud-data Repository (AS, SA, SK, PTH), pp. 556–563.
ICEIS-v2-2014-ShamsuzzohaFAAH #collaboration #visualisation: Visualization Functionality of Virtual Factories — An Enhancement to Collaborative Business Process Management (AS, FF, SA, AA, PTH), pp. 599–604.
ICEIS-v2-2014-ShumskyRW #calculus #execution: Processes Construction and π-calculus-based Execution and Tracing (LS, VR, VW), pp. 448–453.
ICEIS-v2-2014-SilvaMTW #modelling: Business Process Modeling and Instantiation in Home Care Environments (JKKdS, GMM, LHT, LKW), pp. 513–525.
ICEIS-v2-2014-SilvaTDO: Combining the Spray Technique with Routes to Improve the Routing Process in VANETS (MJdS, FAT, SED, RARO), pp. 583–590.
ICEIS-v3-2014-AlkhaldiCG #development #ontology: Supporting Process Model Development with Enterprise-Specific Ontologies (NA, SC, FG), pp. 236–248.
ICEIS-v3-2014-AzevedoF #case study #education #learning #student: The Response Systems in the Student’s Learning/Teaching Process — A Case Study in a Portuguese School (PA, MJF), pp. 79–86.
ICEIS-v3-2014-GoncalvesSC #case study #diagrams #metric #using: Using Activity Diagrams and DEMO to Capture Relevant Measures in an Organizational Control — A Case Study on Remote Assistance Service (AG, PS, AC), pp. 303–310.
ICEIS-v3-2014-OrdonezCCWT #collaboration #evaluation #modelling #repository: Collaborative Evaluation to Build Closed Repositories on Business Process Models (HO, JCC, CC, LKW, LHT), pp. 311–318.
ICEIS-v3-2014-RavasanRH #approach #framework #fuzzy #using: A Practical Framework for Business Process Management Suites Selection Using Fuzzy TOPSIS Approach (AZR, SR, HH), pp. 295–302.
ICEIS-v3-2014-SaidCAB #metamodelling #modelling: Extending BPMN 2.0 Meta-models for Process Version Modelling (IBS, MAC, EA, RB), pp. 384–393.
ICEIS-v3-2014-SilvaGS #case study #gesture #interactive: Gesture Vocabulary for Natural Interaction with Virtual Museums — Case Study: A Process Created and Tested Within a Bilingual Deaf Children School (LRdS, LSG, LS), pp. 5–13.
ICEIS-v3-2014-SilvaOAL #declarative #empirical #imperative: Declarative Versus Imperative Business Process Languages — A Controlled Experiment (NCS, CALdO, FALAA, RMFL), pp. 394–401.
ICEIS-v3-2014-ThabetGG #mining #petri net #towards: Towards Business Process Model Extension with Cost Perspective Based on Process Mining — Petri Net Model Case (DT, SAG, HHBG), pp. 335–342.
CIKM-2014-CalvaneseMET #modelling #uml: Verifiable UML Artifact-Centric Business Process Models (DC, MM, ME, ET), pp. 1289–1298.
CIKM-2014-PhanDXPK #analysis #health #network #physics #social: Analysis of Physical Activity Propagation in a Health Social Network (NP, DD, XX, BP, DK), pp. 1329–1338.
CIKM-2014-SuTJ #recognition #smarttech: Accelerometer-based Activity Recognition on Smartphone (XS, HT, PJ), pp. 2021–2023.
ICML-c1-2014-DickGS #learning #markov #online #sequence: Online Learning in Markov Decision Processes with Changing Cost Sequences (TD, AG, CS), pp. 512–520.
ICML-c1-2014-LianREC #correlation #markov #modelling: Modeling Correlated Arrival Events with Latent Semi-Markov Processes (WL, VR, BE, LC), pp. 396–404.
ICML-c1-2014-MillerBAG #analysis: Factorized Point Process Intensities: A Spatial Analysis of Professional Basketball (AM, LB, RPA, KG), pp. 235–243.
ICML-c1-2014-NguyenB #performance: Fast Allocation of Gaussian Process Experts (TVN, EVB), pp. 145–153.
ICML-c2-2014-AffandiFAT #kernel #learning #parametricity: Learning the Parameters of Determinantal Point Process Kernels (RHA, EBF, RPA, BT), pp. 1224–1232.
ICML-c2-2014-BarberW #difference #equation #estimation: Gaussian Processes for Bayesian Estimation in Ordinary Differential Equations (DB, YW), pp. 1485–1493.
ICML-c2-2014-BartunovV #distance: Variational Inference for Sequential Distance Dependent Chinese Restaurant Process (SB, DV), pp. 1404–1412.
ICML-c2-2014-BenavoliCMZR: A Bayesian Wilcoxon signed-rank test based on the Dirichlet process (AB, GC, FM, MZ, FR), pp. 1026–1034.
ICML-c2-2014-BratieresQNG #graph #grid #predict #scalability: Scalable Gaussian Process Structured Prediction for Grid Factor Graph Applications (SB, NQ, SN, ZG), pp. 334–342.
ICML-c2-2014-CelikkayaS #markov #probability: Deterministic Anytime Inference for Stochastic Continuous-Time Markov Processes (EBC, CRS), pp. 1962–1970.
ICML-c2-2014-ChwialkowskiG #independence #kernel #random: A Kernel Independence Test for Random Processes (KC, AG), pp. 1422–1430.
ICML-c2-2014-ContalPV #optimisation: Gaussian Process Optimization with Mutual Information (EC, VP, NV), pp. 253–261.
ICML-c2-2014-GalG #parallel #using: Pitfalls in the use of Parallel Inference for the Dirichlet Process (YG, ZG), pp. 208–216.
ICML-c2-2014-GrandeWH #learning #performance: Sample Efficient Reinforcement Learning with Gaussian Processes (RCG, TJW, JPH), pp. 1332–1340.
ICML-c2-2014-HoangLJK #learning: Nonmyopic ϵ-Bayes-Optimal Active Learning of Gaussian Processes (TNH, BKHL, PJ, MSK), pp. 739–747.
ICML-c2-2014-KimO #scalability: Hierarchical Dirichlet Scaling Process (DK, AHO), pp. 973–981.
ICML-c2-2014-LindermanA #network: Discovering Latent Network Structure in Point Process Data (SWL, RPA), pp. 1413–1421.
ICML-c2-2014-NakanoIKYU: Rectangular Tiling Process (MN, KI, AK, TY, NU), pp. 361–369.
ICML-c2-2014-RodriguesPR #classification #learning #multi: Gaussian Process Classification and Active Learning with Multiple Annotators (FR, FCP, BR), pp. 433–441.
ICML-c2-2014-SatoN #analysis #approximate #equation #probability #using: Approximation Analysis of Stochastic Gradient Langevin Dynamics by using Fokker-Planck Equation and Ito Process (IS, HN), pp. 982–990.
ICPR-2014-FahadTR #classification #clustering #recognition #smarttech #using: Activity Recognition in Smart Homes Using Clustering Based Classification (LGF, SFT, MR), pp. 1348–1353.
ICPR-2014-Filippone #classification #pseudo: Bayesian Inference for Gaussian Process Classifiers with Annealing and Pseudo-Marginal MCMC (MF), pp. 614–619.
ICPR-2014-GuerreroR: Circular Regression Based on Gaussian Processes (PG, JRdS), pp. 3672–3677.
ICPR-2014-IwashitaTKR #recognition: First-Person Animal Activity Recognition from Egocentric Videos (YI, AT, RK, MSR), pp. 4310–4315.
ICPR-2014-KimCL #interactive #recognition: Group Activity Recognition with Group Interaction Zone (YJK, NGC, SWL), pp. 3517–3521.
ICPR-2014-KimPZGZB #overview #recognition #smarttech: Activity Recognition for a Smartphone Based Travel Survey Based on Cross-User History Data (YK, FCP, FZ, AG, PCZ, MEBA), pp. 432–437.
ICPR-2014-NguyenGVP #framework #parametricity #recognition #using: A Bayesian Nonparametric Framework for Activity Recognition Using Accelerometer Data (TN, SKG, SV, DQP), pp. 2017–2022.
ICPR-2014-NocetiO #classification #graph #kernel: A Spectral Graph Kernel and Its Application to Collective Activities Classification (NN, FO), pp. 3892–3897.
ICPR-2014-OGormanLY #multi #network: Creating a Unified, Wide-Area Activity Map for Multi-camera Networks (LO, DL, GY), pp. 4588–4593.
ICPR-2014-Ohn-BarMTT #recognition: Head, Eye, and Hand Patterns for Driver Activity Recognition (EOB, SM, AT, MMT), pp. 660–665.
ICPR-2014-SouzaSSS: Pattern Theory-Based Interpretation of Activities (FDMdS, SS, AS, JS), pp. 106–111.
ICPR-2014-TuXN #analysis #detection: Computational Auditory Scene Analysis Based Voice Activity Detection (MT, XX, XN), pp. 797–802.
ICPR-2014-UmakanthanDFS #learning #multi #representation #taxonomy: Multiple Instance Dictionary Learning for Activity Representation (SU, SD, CF, SS), pp. 1377–1382.
ICPR-2014-YiMHP #classification #invariant #locality #multi: Pose Invariant Activity Classification for Multi-floor Indoor Localization (SY, PWM, TKH, VP), pp. 3505–3510.
ICPR-2014-ZhaoFW0LL #modelling #recognition: Discriminative Context Models for Collective Activity Recognition (CZ, WF, JW, XB, QL, HL), pp. 648–653.
KDD-2014-AgarwalCGHHIKMSSZ #ranking: Activity ranking in LinkedIn feed (DA, BCC, RG, JH, QH, AI, SK, YM, PS, AS, LZ), pp. 1603–1612.
KDD-2014-ChengL #equivalence #parallel: Parallel gibbs sampling for hierarchical dirichlet processes via gamma processes equivalence (DC, YL), pp. 562–571.
KDD-2014-LiDDCZ #identification: Identifying and labeling search tasks via query-based hawkes processes (LL, HD, AD, YC, HZ), pp. 731–740.
KDD-2014-LiuGXXGP #modelling #probability #workflow: Proactive workflow modeling by stochastic processes with application to healthcare operation and management (CL, YG, HX, KX, WG, MP), pp. 1593–1602.
KDD-2014-LiuTL #online: Online chinese restaurant process (CLL, THT, CHL), pp. 591–600.
KDD-2014-RossCCD #clustering: Dual beta process priors for latent cluster discovery in chronic obstructive pulmonary disease (JCR, PJC, MHC, JGD), pp. 155–162.
KDD-2014-RozenshteinAGT #detection #network: Event detection in activity networks (PR, AA, AG, NT), pp. 1176–1185.
KDD-2014-ZhengZLJXLSZLTLDLW #data mining #mining #optimisation: Applying data mining techniques to address critical process optimization needs in advanced manufacturing (LZ, CZ, LL, YJ, WX, JL, CS, WZ, HL, LT, TL, BD, ML, PW), pp. 1739–1748.
KDIR-2014-Mustonen-Ollila14a: Actors and Factors in IS Process Innovation Decisions (EMO, JH, PP), pp. 202–209.
KEOD-2014-Aalst #mining #people #what: No Knowledge Without Processes — Process Mining as a Tool to Find Out What People and Organizations Really Do (WMPvdA), pp. 1–11.
KEOD-2014-Grabska #approach #concept #ontology: An Ontology based Approach for Assisting Conceptualisation in CAD Processes (EG), pp. 272–279.
KEOD-2014-LietoMPRF #architecture #ontology: A Dual Process Architecture for Ontology-based Systems (AL, AM, AP, DPR, MF), pp. 48–55.
KEOD-2014-LincolnW #repository: Business Process Search within Unstructured Repositories (ML, AW), pp. 467–474.
KEOD-2014-NefziFFS #automation #ontology: A Semi-automatic Mapping Selection in the Ontology Alignment Process (HN, MF, IRF, BS), pp. 459–466.
KMIS-2014-GattnarSDHSE #information management: Knowledge Management in Consulting Activities (EG, JS, AD, SH, BS, OE), pp. 255–260.
KMIS-2014-Grim-Yefsah #case study #information management #requirements #using: A First Step in Improving the Requirements Engineering Process by Using the Knowledge Management Perspective — Case Study from French Public Institute (MGY), pp. 280–288.
KMIS-2014-ThomasN #concept: Quantitative Process Maps — A Concept for Prioritization of Business Process Improvement Projects (CT, TN), pp. 441–446.
KMIS-2014-WoitB #collaboration #consistency #development #programming: Commitment and Consistency in the Collaborative Software Development Process of Extreme Programming (DMW, KJB), pp. 375–381.
KR-2014-MarrellaMS #adaptation #calculus #named: SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (AM, MM, SS).
RecSys-2014-JannachF #data mining #mining #modelling #recommendation: Recommendation-based modeling support for data mining processes (DJ, SF), pp. 337–340.
RecSys-2014-VanchinathanNBK #recommendation: Explore-exploit in top-N recommender systems via Gaussian processes (HPV, IN, FDB, AK), pp. 225–232.
SEKE-2014-AssoudiL #approach #multi: A Multi-Agent-Based Approach for Autonomic Data Exchange Processes (HA, HL), pp. 334–337.
SEKE-2014-ChourabiA #automation #specification: Automated transformation of business rules specification to business process model (OC, JA), pp. 684–687.
SEKE-2014-DalliloAF #approach #multi: Making the link between strategy and process model collections: a multi-layered approach (FD, JPdA, MF), pp. 387–392.
SEKE-2014-FernandesALG #modelling #probability #reduction: A Dimensionality Reduction Process to Forecast Events through Stochastic Models (PF, JA, LL, SG), pp. 534–539.
SEKE-2014-GayedLB #case study #forensics #lightweight #ontology #using: Creating Proprietary Terms Using Lightweight Ontology: A Case Study on Acquisition Phase in a Cyber Forensic Process (TFG, HL, MB), pp. 76–81.
SEKE-2014-KrollRA #development: Proposing a Software Process Model for Follow the Sun Development (JK, IR, JLNA), pp. 412–415.
SEKE-2014-LeungLZ #scheduling: Snowball Effects on Risk Mitigation Scheduling: Process and Tool (HKNL, KML, PZ), pp. 582–585.
SEKE-2014-LingZF #approach #modelling #similarity: An Improved Structure-based Approach to Measure Similarity of Business Process Models (JL, LZ, QF), pp. 377–380.
SEKE-2014-SchotsRS #analysis #performance: A Body of Knowledge for Executing Performance Analysis of Software Processes (NCLS, ARR, GS), pp. 560–565.
SIGIR-2014-ColeHBS #information management: Discrimination between tasks with user activity patterns during information search (MJC, CH, NJB, CS), pp. 567–576.
SIGIR-2014-NguyenKB #recommendation: Gaussian process factorization machines for context-aware recommendations (TVN, AK, LB), pp. 63–72.
SIGIR-2014-SinglaWHH #personalisation: Enhancing personalization via search activity attribution (AS, RWW, AHA, EH), pp. 1063–1066.
ECMFA-2014-LaurentBBG #alloy #framework #verification: Alloy4SPV : A Formal Framework for Software Process Verification (YL, RB, SB, MPG), pp. 83–100.
ECMFA-2014-Ritter #case study #experience #integration #modelling: Experiences with Business Process Model and Notation for Modeling Integration Patterns (DR), pp. 254–266.
MoDELS-2014-ChavarriagaNCJ #detection #multi: Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process (JC, CN, RC, VJ), pp. 337–352.
SPLC-2014-MennickeLSW #automation #feature model #petri net #verification #workflow: Automated verification of feature model configuration processes based on workflow Petri nets (SM, ML, JS, TW), pp. 62–71.
SPLC-2014-Tribastone #algebra #behaviour: Behavioral relations in a process algebra for variants (MT), pp. 82–91.
PEPM-2014-PayetS #android #semantics: An operational semantics for android activities (ÉP, FS), pp. 121–132.
PPDP-2014-DownenMAV #continuation: Continuations, Processes, and Sharing (PD, LM, ZMA, DV), pp. 69–80.
QAPL-2014-MiculanP #aspect-oriented #nondeterminism: GSOS for non-deterministic processes with quantitative aspects (MM, MP), pp. 17–33.
QAPL-2014-TschaikowskiT #algebra #biology #difference #performance: Extended Differential Aggregations in Process Algebra for Performance and Biology (MT, MT), pp. 34–47.
RE-2014-Buksa: Business processes and regulations compliance management technology (IB), pp. 489–493.
RE-2014-WittFSH #validation #verification: Business Application Modeler: A process model Validation and Verification tool (SW, SF, AS, CH), pp. 333–334.
ASE-2014-BurgDMDGH #consistency #nondeterminism: Tracing software build processes to uncover license compliance inconsistencies (SvdB, ED, SM, JD, DMG, AH), pp. 731–742.
ASE-2014-KuschkeM #modelling #uml: Pattern-based auto-completion of UML modeling activities (TK, PM), pp. 551–556.
SAC-2014-BoghratiHK #framework #using: Activities performed by programmers while using framework examples as a guide (RB, AH, MK), pp. 1146–1151.
SAC-2014-CogniniCGPR #adaptation #challenge #research: Research challenges in business process adaptability (RC, FC, SG, AP, BR), pp. 1049–1054.
SAC-2014-EvermannA #algorithm #big data #implementation #mining: Big data meets process mining: implementing the alpha algorithm with map-reduce (JE, GA), pp. 1414–1416.
SAC-2014-FdhilaR #co-evolution #collaboration #predict: Predicting change propagation impacts in collaborative business processes (WF, SRM), pp. 1378–1385.
SAC-2014-KawsarAL #detection #multimodal #smarttech #using: Smartphone based multimodal activity detection system using plantar pressure sensors (FAK, SIA, RL), pp. 468–469.
SAC-2014-KolbZWR #design #distance #empirical #how #modelling #social: How social distance of process designers affects the process of process modeling: insights from a controlled experiment (JK, MZ, BW, MR), pp. 1364–1370.
SAC-2014-LabdaMS #modelling #privacy: Modeling of privacy-aware business processes in BPMN to protect personal data (WL, NM, PS), pp. 1399–1405.
SAC-2014-LaurentBBG #declarative: Planning for declarative processes (YL, RB, SB, MPG), pp. 1126–1133.
SAC-2014-MolkaRDCZG #consistency #modelling: Conformance checking for BPMN-based process models (TM, DR, MD, AC, XJZ, WG), pp. 1406–1413.
SAC-2014-RaneburgerKPSA #automation #design #generative #interactive #user interface: A process for facilitating interaction design through automated GUI generation (DR, HK, RP, VS, AA), pp. 1324–1330.
SAC-2014-Rohrig #domain-specific language #scheduling: A domain specific language for process scheduling (DR), pp. 1550–1551.
SAC-2014-SaarsenD #assessment #towards: Towards an assessment model for balancing process model production and use (TS, MD), pp. 1386–1392.
SAC-2014-WangWPSC #collaboration #network: A collaborative processes synchronization method with regards to system crashes and network failures (LW, AW, LFP, MvS, CC), pp. 1393–1398.
SAC-2014-ZhaoXKLL #debugging #empirical: An empirical study of bugs in build process (XZ, XX, PSK, DL, SL), pp. 1187–1189.
CASE-2014-FeyzabadiC #markov #using: Risk-aware path planning using hirerachical constrained Markov Decision Processes (SF, SC), pp. 297–303.
CASE-2014-KanagarajPL #algorithm #optimisation: Application of a hybridized cuckoo search-genetic algorithm to path optimization for PCB holes drilling process (GK, SGP, WCEL), pp. 373–378.
CASE-2014-LiLT #petri net #probability #scheduling: A color petri net based scheduling model for remanufacturing system with stochastic process routing (LL, CL, YT), pp. 474–479.
CASE-2014-LuXJ #markov: A Markov Decision Process model for elective inpatient admission with delay announcement (YL, XX, ZJ), pp. 552–557.
CASE-2014-MahlerKLSMKPWFAG #learning #using: Learning accurate kinematic control of cable-driven surgical robots using data cleaning and Gaussian Process Regression (JM, SK, ML, SS, AM, BK, SP, JW, MF, PA, KYG), pp. 532–539.
CASE-2014-PampuriSWJOM: Insight extraction for semiconductor manufacturing processes (SP, GAS, JW, ABJ, PGO, SFM), pp. 786–791.
CASE-2014-SongWHT #modelling: Shape deviation modeling for fused deposition modeling processes (SS, AW, QH, FT), pp. 758–763.
CASE-2014-TiengYHC #approach #multi #optimisation: A multi-objective optimization approach for selecting key features of machining processes (HT, HCY, MHH, FTC), pp. 899–904.
CASE-2014-YugmaBDV #bibliography #integration #scheduling: Integration of scheduling and advanced process control in semiconductor manufacturing: review and outlook (CY, JB, SDP, PV), pp. 93–98.
CC-2014-PrinzSA #compilation #towards: A First Step towards a Compiler for Business Processes (TMP, NS, WA), pp. 238–243.
DAC-2014-GaoXYP #named #optimisation: MOSAIC: Mask Optimizing Solution With Process Window Aware Inverse Correction (JRG, XX, BY, DZP), p. 6.
DAC-2014-LiuFC #self #using: Overlay-Aware Detailed Routing for Self-Aligned Double Patterning Lithography Using the Cut Process (IJL, SYF, YWC), p. 6.
DAC-2014-RehmanKSSH #adaptation #code generation #dependence #named #reliability: dTune: Leveraging Reliable Code Generation for Adaptive Dependability Tuning under Process Variation and Aging-Induced Effects (SR, FK, DS, MS, JH), p. 6.
DAC-2014-ZhaoJZX: SLC-enabled Wear Leveling for MLC PCM Considering Process Variation (MZ, LJ, YZ, CJX), p. 6.
DATE-2014-AguileraLFMSK #algorithm #clustering #multi: Process variation-aware workload partitioning algorithms for GPUs supporting spatial-multitasking (PA, JL, AFF, KM, MJS, NSK), pp. 1–6.
DATE-2014-DuW #optimisation #standard: Optimization of standard cell based detailed placement for 16 nm FinFET process (YD, MDFW), pp. 1–6.
DATE-2014-NejatAA #power management: Dynamic Flip-Flop conversion to tolerate process variation in low power circuits (MN, BA, AAK), pp. 1–4.
HPCA-2014-AgrawalAT #energy #locality #named: Mosaic: Exploiting the spatial locality of process variation to reduce refresh energy in on-chip eDRAM modules (AA, AA, JT), pp. 84–95.
PDP-2014-DamP #independence #network: Location Independent Routing in Process Network Overlays (MD, KP), pp. 715–724.
PDP-2014-RiekeRZE #monitoring #security: Monitoring Security Compliance of Critical Processes (RR, JR, MZ, JE), pp. 552–560.
FoSSaCS-2014-0001MS #markov: Limit Synchronization in Markov Decision Processes (LD, TM, MS), pp. 58–72.
FoSSaCS-2014-BonnetKL #analysis #parallel #probability: Analysis of Probabilistic Basic Parallel Processes (RB, SK, AWL), pp. 43–57.
FoSSaCS-2014-Fu #bound #markov #probability #reachability: Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes (HF), pp. 73–87.
TACAS-2014-SoudjaniA #approximate #markov #precise #probability: Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance (SEZS, AA), pp. 547–561.
LICS-CSL-2014-BilokonE #approach #probability: A domain-theoretic approach to Brownian motion and general continuous stochastic processes (PB, AE), p. 10.
TAP-2014-KurthSW #constraints #generative #interface #testing #theorem proving #uml #using: Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers (FK, SS, SW), pp. 169–186.
VMCAI-2014-Song0G #bisimulation #logic #markov: Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes (LS, LZ, JCG), pp. 98–117.
QoSA-2013-FeugasMD #evolution #predict #quality: A causal model to predict the effect of business process evolution on quality of service (AF, SM, LD), pp. 143–152.
HT-2013-DiazST #web: Activity fragmentation in the web: empowering users to support their own webflows (OD, JDS, ST), pp. 69–78.
ICDAR-2013-KunzeSIK #detection #documentation #off the shelf #recognition #using: Reading Activity Recognition Using an Off-the-Shelf EEG — Detecting Reading Activities and Distinguishing Genres of Documents (KK, YS, SI, KK), pp. 96–100.
ICDAR-2013-RomeroS13a #evaluation: Human Evaluation of the Transcription Process of a Marriage License Book (VR, JAS), pp. 1255–1259.
JCDL-2013-SchonebergSH #distributed #scalability #workflow: A scalable, distributed and dynamic workflow system for digitization processes (HS, HGS, WH), pp. 359–362.
PODS-2013-CalvaneseGM #analysis #database #perspective: Foundations of data-aware process analysis: a database theory perspective (DC, GDG, MM), pp. 1–12.
SIGMOD-2013-HullSV #data transformation #overview #perspective #tutorial: Data management perspectives on business process management: tutorial overview (RH, JS, RV), pp. 943–948.
SIGMOD-2013-LappasVGT #mining #named: STEM: a spatio-temporal miner for bursty activity (TL, MRV, DG, VJT), pp. 1021–1024.
SIGMOD-2013-LiuTZSLKM #comparison #multi #named #semantics: CTrace: semantic comparison of multi-granularity process traces (QL, KT, XZ, GS, XL, CK, RM), pp. 1121–1124.
TPDL-2013-HedgesB #library: Digital Libraries for Experimental Data: Capturing Process through Sheer Curation (MH, TB), pp. 108–119.
TPDL-2013-MayerGR #evaluation: Evaluation of Preserved Scientific Processes (RM, MG, AR), pp. 434–437.
TPDL-2013-MayerPRPG #research: From Preserving Data to Preserving Research: Curation of Process and Context (RM, SP, AR, RP, DG), pp. 490–491.
VLDB-2013-DeutchMT #analysis #named: PROPOLIS: Provisioned Analysis of Data-Centric Processes (DD, YM, VT), pp. 1302–1305.
VLDB-2014-ShuaiYYC13 #optimisation #social: Willingness Optimization for Social Group Activity (HHS, DNY, PSY, MSC), pp. 253–264.
CSEET-2013-BollinHS #assurance #development #education #simulation: Teaching software development processes by simulation: Wuality assurance as a factor of success (AB, EH, LS), pp. 362–364.
CSEET-2013-CiancariniDZ #case study #comparative #modelling #student: A double comparative study: Process models and student skills (PC, CD, SZ), pp. 189–198.
CSEET-2013-EterovicGB #approach #education: Teaching software processes to professionals: The approach taken by an evening master’s degree program (YE, GG, JB), pp. 309–313.
CSEET-2013-RongZS #education #game studies: Applying competitive bidding games in software process education (GR, HZ, DS), pp. 129–138.
ITiCSE-2013-BundeDS #assessment: Making the most of the assessment process (DPB, JFD, JS), p. 359.
ITiCSE-2013-GouwsBW #education #evaluation #game studies: Computational thinking in educational activities: an evaluation of the educational game light-bot (LAG, KLB, PW), pp. 10–15.
ITiCSE-2013-MatsuzawaOS #programming #student #visualisation: Programming process visualizer: a proposal of the tool for students to observe their programming process (YM, KO, SS), pp. 46–51.
CSMR-2013-Molitorisz #refactoring #source code: Pattern-Based Refactoring Process of Sequential Source Code (KM), pp. 357–360.
CSMR-2013-PengABCTR #framework #named: MDO: Framework for Context-Aware Process Mobility in Building-Maintenance Domain (TP, GA, DB, AC, TJT, MR), pp. 449–452.
ICPC-2013-LanzaDBHR #named #realtime #visual notation: Manhattan: Supporting real-time visual team activity awareness (ML, MD, AB, LH, FR), pp. 207–210.
ICPC-2013-YamanakaCYIS #development #industrial: Applying clone change notification system into an industrial development process (YY, EC, NY, KI, TS), pp. 199–206.
ICSM-2013-AsaduzzamanRSP13a #maintenance #named #source code: LHDiff: Tracking Source Code Lines to Support Software Maintenance Activities (MA, CKR, KAS, MDP), pp. 484–487.
ICSM-2013-GharehyaziePF #developer #predict #social: Social Activities Rival Patch Submission for Prediction of Developer Initiation in OSS Projects (MG, DP, VF), pp. 340–349.
ICSM-2013-ToroiRV #case study #identification #testing: Identifying Process Improvement Targets in Test Processes: A Case Study (TT, AR, LV), pp. 11–19.
MSR-2013-NaguibNBH #debugging #recommendation #using: Bug report assignee recommendation using activity profiles (HN, NN, BB, DH), pp. 22–30.
MSR-2013-TsunodaTFKNU #development #estimation: Revisiting software development effort estimation based on early phase development activities (MT, KT, KF, YK, MN, NU), pp. 429–438.
WCRE-2013-SohKGA #comprehension #developer #how #maintenance #towards: Towards understanding how developers spend their effort during maintenance activities (ZS, FK, YGG, GA), pp. 152–161.
ICALP-v2-2013-Basset #automaton #probability: A Maximal Entropy Stochastic Process for a Timed Automaton, (NB), pp. 61–73.
LATA-2013-BiondiLNW #markov: Maximizing Entropy over Markov Processes (FB, AL, BFN, AW), pp. 128–140.
CHI-2013-KelleyCS #privacy: Privacy as part of the app decision-making process (PGK, LFC, NMS), pp. 3393–3402.
CHI-2013-MacveanR #behaviour #comprehension #game studies #motivation #physics: Understanding exergame users’ physical activity, motivation and behavior over time (APM, JR), pp. 1251–1260.
CHI-2013-NeustaedterBM #energy #how #product line: Everyday activities and energy consumption: how families understand the relationship (CN, LB, AM), pp. 1183–1192.
CSCW-2013-AbrahamR #coordination: Re-coordinating activities: an investigation of articulation work in patient transfers (JA, MCR), pp. 67–78.
CSCW-2013-Al-AniBWTKMRP #developer #distributed #trust: Globally distributed system developers: their trust expectations and processes (BAA, MJB, YW, ET, BK, SM, DFR, RP), pp. 563–574.
CSCW-2013-Hautasaari #analysis #quote #wiki: “Could someone please translate this?”: activity analysis of wikipedia article translation by non-experts (AMJH), pp. 945–954.
CSCW-2013-InkpenTJTV #case study #experience #named #product line: Experiences2Go: sharing kids’ activities outside the home with remote family members (KI, BT, SJ, JCT, GV), pp. 1329–1340.
CSCW-2013-LaseckiSKB #realtime #recognition: Real-time crowd labeling for deployable activity recognition (WSL, YCS, HAK, JPB), pp. 1203–1212.
CSCW-2013-MarlowD #developer: Activity traces and signals in software developer recruitment and hiring (JM, LD), pp. 145–156.
CSCW-2013-MarlowDH #git #online: Impression formation in online peer production: activity traces and personal profiles in github (JM, LD, JDH), pp. 117–128.
CSCW-2013-NguyenF #communication: Effect of message content on communication processes in intercultural and same-culture instant messaging conversations (DTN, SRF), pp. 19–32.
CSCW-2013-PanLCL #social #what: To answer or not: what non-qa social activities can tell (YP, LL, CYC, QL), pp. 1253–1263.
CSCW-2013-TowneKKH #quality #wiki: Your process is showing: controversy management and perceived quality in wikipedia (WBT, AK, PK, JDH), pp. 1059–1068.
CSCW-2013-YaroshMZE #enterprise #exclamation #taxonomy: I need someone to help!: a taxonomy of helper-finding activities in the enterprise (SY, TM, MXZ, KE), pp. 1375–1386.
DHM-HB-2013-BazleyB #information management: A Knowledge Transfer Process: Establishing Training in New Technology for an Ageing Workforce (CMB, DB), pp. 3–9.
DHM-HB-2013-IkenoboKKGK #case study: A Study of the Effect of the Shape, the Color, and the Texture of Ikebana on a Brain Activity (YI, YK, NK, AG, AK), pp. 59–65.
DHM-HB-2013-KimATBHJ #performance #type system: The Effects of Touch Screen Virtual Keyboard Key Sizes on Typing Performance, Typing Biomechanics and Muscle Activity (JHK, LSA, OT, MCB, CAH, PWJ), pp. 239–244.
DHM-SET-2013-MazzolaMBPAPP: Explicit Tracking in the Diagnostic Process for Hand Dermatological Practices (LM, SM, SB, FP, FA, ODP, PP), pp. 248–257.
DHM-SET-2013-NagataHKMKNAKOO #development #evaluation #metric #self: Development of a Measurement and Evaluation System for Bed-Making Activity for Self-training (AN, ZH, MKP, JM, YK, MN, KA, NK, TO, JO), pp. 268–275.
DUXU-CXC-2013-MartinsG #information management: Information Accessibility in Museums with a Focus on Technology and Cognitive Process (LBM, FG), pp. 257–265.
DUXU-CXC-2013-SchoperH #design #human-computer #lessons learnt #project management: Lessons from Intercultural Project Management for the Intercultural HCI Design Process (YS, RH), pp. 95–104.
DUXU-PMT-2013-CamposLNCS: The Conjunction Fallacy and Its Impacts in the User’s Data Acquisition Process (FC, DL, MN, WC, MMS), pp. 203–211.
DUXU-PMT-2013-ChangL #design #modelling: Design Process and Knowledge Searching Model Based on User Creativity (CLC, DBL), pp. 469–478.
DUXU-PMT-2013-ChiuT #design #effectiveness #idea #network #social: User Involvement in Idea Brainstorming of Design Process: Finding the Effective Strategy in Social Network Service (SCC, KT), pp. 593–598.
DUXU-PMT-2013-KangS #case study #design #how: How to Observe, Share and Apply in Design Process? — Focusing on International Design Workshops as a Case Study (NK, HS), pp. 498–505.
DUXU-PMT-2013-LuhCK #concept #design #development: A Design Process for New Concept Development (DBL, F(HC, V(HK), pp. 545–553.
DUXU-WM-2013-CagiltayAOE #certification #challenge: Developing ISO 9241-151 Product Certification Process: Challenges (KÇ, ÖA, NO, FE), pp. 334–341.
DUXU-WM-2013-InoueHSAFY #concept #design #interface: Developing a Concept Interface Design of ATM Systems Based on Human-Centred Design Processes (SI, HH, TS, HA, YF, KY), pp. 506–514.
DUXU-WM-2013-LeNDP #interactive: Scaffolding Computer Supported Argumentation Processes through Mini Map Based Interaction Techniques (NTL, SN, DD, NP), pp. 533–542.
DUXU-WM-2013-LoLC #design #effectiveness #interface #named: dJOE: design Jigsaw On sitE — A Computational Interface of Displacing Ideas in the Design Productive Process (CHNL, ICL, TWC), pp. 402–407.
DUXU-WM-2013-OliveiraKHO #design #development #experience: Design of Experience: Measuring the Co-production with the Consumer Engagement during the Product Development Process (STdO, VK, AH, MLLRO), pp. 414–423.
HCI-AMTE-2013-FedericiBM #assessment #evaluation #framework #interactive: Environmental Evaluation of a Rehabilitation Aid Interaction under the Framework of the Ideal Model of Assistive Technology Assessment Process (SF, SB, MLM), pp. 203–210.
HCI-AMTE-2013-FleischmannSS #execution #modelling #semantics: Semantic Execution of Subject-Oriented Process Models (AF, WS, CS), pp. 330–339.
HCI-AMTE-2013-MayasHK #classification #diagrams: Extending the Information of Activity Diagrams with a User Input Classification (CM, SH, HK), pp. 391–400.
HCI-AMTE-2013-OhKHJ #design #perspective: User Centered Inclusive Design Process: A “Situationally-Induced Impairments and Disabilities” Perspective (HJO, HCK, HH, YGJ), pp. 103–108.
HCI-AS-2013-BitontoLRR #collaboration #recommendation: Recommendation of Collaborative Activities in E-learning Environments (PDB, ML, TR, VR), pp. 484–492.
HCI-AS-2013-CarvalhoLCAMCAL #mobile #re-engineering: Software Engineering in Telehealth, an Extension of Sana Mobile Applied to the Process of a Routine Hospital (AVdC, CJPdL, EJRC, PHCA, PAdSeSM, GRdC, FRLdA, GVCL), pp. 3–12.
HCI-AS-2013-GotodaSMNM #learning #realtime: A Server-Based System Supporting Motor Learning through Real-Time and Reflective Learning Activities (NG, YS, KM, KN, CM), pp. 84–93.
HCI-AS-2013-KrauseB #information management #using: Subjective Ratings in an Ergonomic Engineering Process Using the Example of an In-Vehicle Information System (MK, KB), pp. 596–605.
HCI-AS-2013-LekkasGTMS #behaviour #component #experience #how #learning: Personality and Emotion as Determinants of the Learning Experience: How Affective Behavior Interacts with Various Components of the Learning Process (ZL, PG, NT, CM, GS), pp. 418–427.
HCI-AS-2013-LimongelliLMS #education: A Teacher Model to Speed Up the Process of Building Courses (CL, ML, AM, FS), pp. 434–443.
HCI-UC-2013-KleinS #approach #development #industrial #social #social media: Social Media in the Product Development Process of the Automotive Industry: A New Approach (AK, GS), pp. 396–401.
HCI-UC-2013-UangL #design #development: The Development of an Innovative Design Process for Eco-efficient Green Products (STU, CLL), pp. 475–483.
HIMI-D-2013-ShiozuYS #community: Incentive Structure of Participation in Community Activity (YS, KY, KS), pp. 259–268.
HIMI-D-2013-TakemoriYST #interactive #learning #modelling: Modeling a Human’s Learning Processes to Support Continuous Learning on Human Computer Interaction (KT, TY, KS, KT), pp. 555–564.
HIMI-LCCB-2013-BrynielssonJL #communication #design #prototype #social #social media #using #video: Using Video Prototyping as a Means to Involve Crisis Communication Personnel in the Design Process: Innovating Crisis Management by Creating a Social Media Awareness Tool (JB, FJ, SL), pp. 559–568.
HIMI-LCCB-2013-HashimotoTAF #estimation: Estimation of Interruptibility during Office Work Based on PC Activity and Conversation (SH, TT, KA, KF), pp. 297–306.
HIMI-LCCB-2013-WatabeMH: Application to Help Learn the Process of Transforming Mathematical Expressions with a Focus on Study Logs (TW, YM, YH), pp. 157–164.
HIMI-LCCB-2013-WatanabeN: Interpersonal Service Support Based on Employee’s Activity Model (KW, TN), pp. 401–409.
HIMI-LCCB-2013-WuN #interactive #recommendation: Integrating the Anchoring Process with Preference Stability for Interactive Movie Recommendations (ICW, YFN), pp. 639–648.
OCSC-2013-FardounZC #collaboration #education #facebook #using: Using Facebook for Collaborative Academic Activities in Education (HMF, BZ, APC), pp. 137–146.
CAiSE-2013-BeheshtiBN #ad hoc #analysis #aspect-oriented: Enabling the Analysis of Cross-Cutting Aspects in Ad-Hoc Processes (SMRB, BB, HRMN), pp. 51–67.
CAiSE-2013-ConfortiLRA #execution: Supporting Risk-Informed Decisions during Business Process Execution (RC, MdL, MLR, WMPvdA), pp. 116–132.
CAiSE-2013-Eid-SabbaghW #architecture: Analyzing Business Process Architectures (RHES, MW), pp. 208–223.
CAiSE-2013-KapurugeHCK13a #ad hoc #adaptation: Enabling Ad-hoc Business Process Adaptations through Event-Driven Task Decoupling (MK, JH, AC, IK), pp. 384–399.
CAiSE-2013-MeyerRM #internet #modelling: Internet of Things-Aware Process Modeling: Integrating IoT Devices as Business Process Resources (SM, AR, CM), pp. 84–98.
CAiSE-2013-MilaniDM #composition #modelling: Decomposition Driven Consolidation of Process Models (FM, MD, RM), pp. 193–207.
CAiSE-2013-PetruselM #comprehension: Eye-Tracking the Factors of Process Model Comprehension Tasks (RP, JM), pp. 224–239.
CAiSE-2013-PikaAFHW #profiling: Profiling Event Logs to Configure Risk Indicators for Process Delays (AP, WMPvdA, CJF, AHMtH, MTW), pp. 465–481.
CAiSE-2013-RamirezBVW #generative #multi: Generating Multi-objective Optimized Business Process Enactment Plans (AJR, IB, CDV, BW), pp. 99–115.
CAiSE-2013-SuriadiWOHD #behaviour #case study #comprehension #scalability: Understanding Process Behaviours in a Large Insurance Company in Australia: A Case Study (SS, MTW, CO, AHMtH, NJvD), pp. 449–464.
EDOC-2013-0001W #modelling: Extracting Data Objects and Their States from Process Models (AM, MW), pp. 27–36.
EDOC-2013-Herzberg0W #framework #platform: An Event Processing Platform for Business Process Management (NH, AM, MW), pp. 107–116.
EDOC-2013-LenhardW #execution: Measuring the Portability of Executable Service-Oriented Processes (JL, GW), pp. 117–126.
EDOC-2013-NagelGEP #consistency #modelling: Ensuring Consistency among Business Goals and Business Process Models (BN, CG, GE, JP), pp. 17–26.
EDOC-2013-NowakBLU #power management #re-engineering: Determining Power Consumption of Business Processes and Their Activities to Enable Green Business Process Reengineering (AN, TB, FL, NU), pp. 259–266.
ICEIS-J-2013-BevacquaCFGP13a #data-driven #framework #monitoring #predict: A Data-Driven Prediction Framework for Analyzing and Monitoring Business Process Performances (AB, MC, FF, MG, LP), pp. 100–117.
ICEIS-J-2013-HernandesBF13a #overview: An Overview of Experimental Studies on Software Inspection Process (EMH, AB, SF), pp. 118–134.
ICEIS-J-2013-KalsingITN13a #incremental #legacy #mining #modelling #using: Re-learning of Business Process Models from Legacy System Using Incremental Process Mining (ACK, CI, LHT, GSdN), pp. 314–330.
ICEIS-v1-2013-BevacquaCFGP #abstraction #adaptation #approach #predict: A Data-adaptive Trace Abstraction Approach to the Prediction of Business Process Performances (AB, MC, FF, MG, LP), pp. 56–65.
ICEIS-v1-2013-HernandesBF: Experimental Studies in Software Inspection Process — A Systematic Mapping (EMH, AB, SF), pp. 66–76.
ICEIS-v1-2013-OliveiraB #approach #modelling #novel #standard: ETL Standard Processes Modelling — A Novel BPMN Approach (BCdSO, OB), pp. 120–127.
ICEIS-v1-2013-ShamsuzzohaAH #adaptation #enterprise: Adaptive Virtual Enterprise Process Management — Perspective of Cloud-based Data Storage (AS, SA, PH), pp. 88–94.
ICEIS-v1-2013-SilveiraMAC #development #library #matrix #memory management: A Library to Support the Development of Applications that Process Huge Matrices in External Memory (JAS, SVGM, MVAA, VSC), pp. 153–160.
ICEIS-v2-2013-DomingosMC #internet: Internet of Things Aware WS-BPEL Business Process (DD, FM, CC), pp. 505–512.
ICEIS-v2-2013-KalsingITN #incremental #learning #legacy #mining #modelling #using: Evolutionary Learning of Business Process Models from Legacy Systems using Incremental Process Mining (ACK, CI, LHT, GSdN), pp. 58–69.
ICEIS-v2-2013-LiL #agile #network #object-oriented #predict #using: Predicting Fault-proneness of Object-Oriented System Developed with Agile Process using Learned Bayesian Network (LL, HL), pp. 5–16.
ICEIS-v2-2013-SoaresB #development: Projects Characteristics Determining Suitability of Software Development Process (MdSS, JB), pp. 118–125.
ICEIS-v2-2013-WolfengagenRSBS #approach #modelling #towards: Applicative Approach to Information Processes Modeling — Towards a Constructive Information Theory (VW, VR, LS, AB, AS), pp. 323–328.
ICEIS-v3-2013-AhmadO #approach #architecture #enterprise #semantics: A New Approach to Semantically Derive Enterprise Information Architecture from Business Process Architecture (MA, MO), pp. 363–369.
ICEIS-v3-2013-CheikhrouhouKGJ #modelling #overview: A Survey on Time-aware Business Process Modeling (SC, SK, NG, MJ), pp. 236–242.
ICEIS-v3-2013-MalekanA #collaboration #modelling #network: Business Process Modeling Languages Supporting Collaborative Networks (HSM, HA), pp. 258–266.
ICEIS-v3-2013-PanTG #approach #dependence #modelling #ontology: Artefact-oriented Business Process Modelling — An Ontological Dependency Approach (YCP, YT, SRG), pp. 223–230.
ICEIS-v3-2013-RomaniB #design #social: Exploring Human Computation and Social Computing to Inform the Design Process (RR, MCCB), pp. 67–74.
ICEIS-v3-2013-SbaiFK #adaptation #approach #configuration management #modelling #towards: Towards a Process Patterns based Approach for Promoting Adaptability in Configurable Process Models (HS, MF, LK), pp. 382–387.
CIKM-2013-MishraRT #network #predict: Estimating the relative utility of networks for predicting user activities (NM, DMR, PT), pp. 1047–1056.
CIKM-2013-QinZ #functional: Functional dirichlet process (LQ, XZ), pp. 1331–1340.
CIKM-2013-ZhuZPWZY #network #predict #social: Predicting user activity level in social networks (YZ, EZ, SJP, XW, MZ, QY), pp. 159–168.
ECIR-2013-UstinovskyMS #segmentation: Intent-Based Browse Activity Segmentation (YU, AM, PS), pp. 242–253.
ICML-c1-2013-GilboaSCG #approximate #multi #scalability #using: Scaling Multidimensional Gaussian Processes using Projected Additive Approximations (EG, YS, JPC, EG), pp. 454–461.
ICML-c1-2013-WulsinFL #correlation #markov #parsing #using: Parsing epileptic events using a Markov switching process model for correlated time series (DW, EBF, BL), pp. 356–364.
ICML-c2-2013-Lopez-PazHG #dependence #multi: Gaussian Process Vine Copulas for Multivariate Dependence (DLP, JMHL, ZG), pp. 10–18.
ICML-c2-2013-YangZ: Mixture of Mutually Exciting Processes for Viral Diffusion (SHY, HZ), pp. 1–9.
ICML-c3-2013-AhmedHS #documentation #modelling: Nested Chinese Restaurant Franchise Process: Applications to User Tracking and Document Modeling (AA, LH, AJS), pp. 1426–1434.
ICML-c3-2013-KoppulaS #detection #learning: Learning Spatio-Temporal Structure from RGB-D Videos for Human Activity Detection and Anticipation (HSK, AS), pp. 792–800.
ICML-c3-2013-ReedG #scalability: Scaling the Indian Buffet Process via Submodular Maximization (CR, ZG), pp. 1013–1021.
ICML-c3-2013-RossD #constraints #parametricity: Nonparametric Mixture of Gaussian Processes with Constraints (JCR, JGD), pp. 1346–1354.
ICML-c3-2013-WilsonA #kernel: Gaussian Process Kernels for Pattern Discovery and Extrapolation (AGW, RPA), pp. 1067–1075.
ICML-c3-2013-ZhouZS #kernel #learning #multi: Learning Triggering Kernels for Multi-dimensional Hawkes Processes (KZ, HZ, LS), pp. 1301–1309.
KDD-2013-BahadoriLX #learning #performance #probability: Fast structure learning in generalized stochastic processes with latent factors (MTB, YL, EPX), pp. 284–292.
KDD-2013-HallakCM #markov: Model selection in markovian processes (AH, DDC, SM), pp. 374–382.
KDD-2013-IwataSG #online #social: Discovering latent influence in online social activities via shared cascade poisson processes (TI, AS, ZG), pp. 266–274.
KDD-2013-LiuYK #adaptation #modelling #using: Adaptive collective routing using gaussian process dynamic congestion models (SL, YY, RK), pp. 704–712.
KDD-2013-SenatorGMYRPHRBCEJBCGKZBMMWDFWDEILKFCFGJ #database #detection: Detecting insider threats in a real corporate database of computer usage activity (TES, HGG, AM, WTY, BR, RP, DH, MR, DAB, EC, IAE, JJ, VB, DHC, OG, OK, AZ, EB, RLMI, RM, LW, TGD, AF, WKW, SD, AE, JI, JYL, DK, CF, DDC, LF, AG, DJ), pp. 1393–1401.
KDD-2013-SongLLY #classification #collaboration #microblog: Collaborative boosting for activity classification in microblogs (YS, ZL, CWkL, QY), pp. 482–490.
KDIR-KMIS-2013-ArgiolasCFLMPQS: Knowledge in Construction Processes (CA, GC, MDF, MIL, FM, FEP, EQ, DS), pp. 397–404.
KDIR-KMIS-2013-BachmannNMBAC #information management #safety: Preservation and Redeployment of Sensor Acquisition Processes from a Dam Safety Information System (AB, MAN, HM, JB, GA, AC), pp. 490–495.
KDIR-KMIS-2013-ItalaH #behaviour #diagrams #using: Using Stocks and Flows Diagrams to Understand Business Process Behavior (TI, MH), pp. 552–558.
KDIR-KMIS-2013-OliveiraOC #recommendation #student: Recommending the Right Activities based on the Needs of each Student (EO, MGdO, PMC), pp. 183–190.
KDIR-KMIS-2013-PapulaVH #analysis #enterprise #network: Knowledge Networks as a Source of Knowledge Initiatives and Innovation Activity in Small and Medium Enterprises — Regression Analysis for EU 27 Countries (JP, JV, JH), pp. 389–396.
KDIR-KMIS-2013-SaidiDZC #requirements #semantics #towards #unification #using: Towards Unification of Requirements Engineering Approaches using Semantics-based Process (IES, TD, NZ, PJC), pp. 443–450.
KDIR-KMIS-2013-SaijoSWK #analysis #case study #collaboration #community #multi: An Analysis of Multi-disciplinary — Inter-agency Collaboration Process — Case Study of a Japanese Community Care Access Center (MS, TS, MW, SK), pp. 470–475.
KDIR-KMIS-2013-VanthienenC #modelling #question: Modeling Business Decisions and Processes — Which Comes First? (JV, FC), pp. 451–456.
RecSys-2013-HuY #learning #recommendation: Interview process learning for top-n recommendation (FH, YY), pp. 331–334.
SEKE-2013-AbdouGK #open source #testing: Managing Corrective Actions to Closure in Open Source Software Test Process (TA, PG, PK), pp. 306–311.
SEKE-2013-Bouzar-BenlabiodBB #correlation #performance: An efficient QCL-based alert correlation process (LBB, SB, TBT), pp. 388–393.
SEKE-2013-ChenC #recognition: Swimming Activity Recognition Based on Slow Intelligence Systems (WHC, SKC), pp. 273–276.
SEKE-2013-GayedLB #case study #forensics #representation: Representing Chains of Custody Along a Forensic Process: A Case Study on Kruse Model (TFG, HL, MB), pp. 674–680.
SEKE-2013-GomedeB #development #quality #re-engineering: A Non-Intrusive Process to Software Engineering Decision Support focused on increasing the Quality of Software Development (EG, RMB), pp. 95–100.
SEKE-2013-LinMC #commit #developer #empirical #open source: Empirical Evidence on Developer’s Commit Activity for Open-Source Software Projects (SL, YM, JC), pp. 455–460.
SEKE-2013-MolleriSB #approach #automation #overview: Proposal of an Automated Approach to Support the Systematic Review of Literature Process (JSM, LEdS, FBVB), pp. 488–493.
SEKE-2013-Perez-CastilloFPC #how #modelling #question #refactoring: How Does Refactoring Affect Understandability of Business Process Models? (RPC, MFR, MP, DC), pp. 644–649.
SEKE-2013-PortugalO #specification: Introducing Software Process Specification to Task Context (IdSP, TCO), pp. 22–25.
SEKE-2013-RamosRO #source code #towards: Towards a strategy for analysing benefits of Software Process Improvement programs (CSR, ARR, KMdO), pp. 638–643.
SEKE-2013-SadiqJ #approach #elicitation #fuzzy #requirements: A fuzzy based approach for requirements prioritization in goal oriented requirements elicitation process (MS, SKJ), pp. 54–58.
SEKE-2013-SilvaOL #declarative #explosion #modelling #problem: A Solution to the State Space Explosion Problem in Declarative Business Process Modeling (NCS, CALO, RMFL), pp. 26–29.
SIGIR-2013-WestWH #predict #query: Here and there: goals, activities, and predictions about location from geotagged queries (RW, RWW, EH), pp. 817–820.
ECMFA-2013-KholkarYTDS #experience #industrial #modelling #testing: Experience with Industrial Adoption of Business Process Models for User Acceptance Testing (DK, PY, HT, AD, AS), pp. 192–206.
ECMFA-2013-KusterVFBC: Supporting Different Process Views through a Shared Process Model (JMK, HV, CF, MCB, KC), pp. 20–36.
MoDELS-2013-CazzolaRAF #evolution #fine-grained #modelling #uml #using: Fine-Grained Software Evolution Using UML Activity and Class Models (WC, NAR, MAR, RBF), pp. 271–286.
MoDELS-2013-KuschkeMR #modelling #recommendation: Recommending Auto-completions for Software Modeling Activities (TK, PM, PR), pp. 170–186.
PLEASE-2013-SimmondsBSQ #industrial #modelling #requirements #variability: Variability in software process models: Requirements for adoption in industrial settings (JS, MCB, LS, AQ), pp. 33–36.
SPLC-2013-Nakagawa0M #architecture #design #product line #towards: Towards a process to design product line architectures based on reference architectures (EYN, MB, JCM), pp. 157–161.
AdaEurope-2013-BicchieraiBNV #development #functional #integration #ontology #safety #using: Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems (IB, GB, CN, EV), pp. 95–108.
HILT-2013-WardRL #approach #integration: An approach to integration of complex systems: the SAVI virtual integration process (DTW, DAR, BAL), pp. 43–46.
QAPL-2013-BernardoNL #behaviour #nondeterminism #probability: The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 81–96.
ER-BR-2013-AlvesSC #integration #modelling: A bi-directional integration between i* and BPMN models in the context of business process management: A position paper (RA, CTLLS, JC).
ER-BR-2013-HadadD #requirements #variability: Introducing Variability in a Client-Oriented Requirements Engineering Process (GDSH, JHD).
ER-BR-2013-MartinsOB #embedded #requirements #towards: Towards Requirements Engineering Process for Embedded Systems (LEGM, JCO, AB).
ER-BR-2013-SantosPPOC: Business Process Configuration with NFRs and Context-Awereness (ES, JP, TP, KO, JC).
ER-BR-2013-SoaresPSCV #automation #modelling: Automatic Models Transformation for the STREAM process (MS, JP, CTLLS, JC, JV).
REFSQ-2013-Bennett-TherkildsenJNR #development #requirements: Redefinition of the Requirements Engineer Role in Mjølner’s Software Development Process (ABT, JBJ, KN, NMR), pp. 285–291.
REFSQ-2013-Bjarnason #development #requirements: Distances between Requirements Engineering and Later Software Development Activities: A Systematic Map (EB), pp. 292–307.
REFSQ-2013-HoffmannBL #comprehension #development: The Emergence of Mutual and Shared Understanding in the System Development Process (AH, EACB, JML), pp. 174–189.
REFSQ-2013-Zorn-PauliPBKR #case study #industrial #release planning: Analyzing an Industrial Strategic Release Planning Process — A Case Study at Roche Diagnostics (GZP, BP, TB, HK, GR), pp. 269–284.
ICSE-2013-KuhrmannFM #education #modelling: Teaching software process modeling (MK, DMF, JM), pp. 1138–1147.
ICSE-2013-LiuYCY #monitoring #novel #parallel: Selecting checkpoints along the time line: a novel temporal checkpoint selection strategy for monitoring a batch of parallel business processes (XL, YY, DC, DY), pp. 1281–1284.
ICSE-2013-RahmanD #how #metric #why: How, and why, process metrics are better (FR, PTD), pp. 432–441.
SAC-2013-AccorsiSM #mining #on the #security: On the exploitation of process mining for security audits: the process discovery case (RA, TS, GM), pp. 1462–1468.
SAC-2013-CogniniFPPR #collaboration #modelling #named #verification: HawkEye: a tool for collaborative business process modelling and verification (RC, DF, AP, AP, BR), pp. 785–786.
SAC-2013-Fernandez-RoperoPCP #refactoring: Assessing the best-order for business process model refactoring (MFR, RPC, JACL, MP), pp. 1397–1402.
SAC-2013-HippMMR #delivery #framework #visualisation: A framework for the intelligent delivery and user-adequate visualization of process information (MH, BM, BM, MR), pp. 1383–1390.
SAC-2013-KhalfallahFBG: Product-based business processes interoperability (MK, NF, MB, PG), pp. 1472–1473.
SAC-2013-KolbR #abstraction #adaptation #data flow: Data flow abstractions and adaptations through updatable process views (JK, MR), pp. 1447–1453.
SAC-2013-LaneseBF #approach #calculus #internet: Internet of things: a process calculus approach (IL, LB, MDF), pp. 1339–1346.
SAC-2013-LeoniA #mining #using: Data-aware process mining: discovering decisions in processes using alignments (MdL, WMPvdA), pp. 1454–1461.
SAC-2013-Markovski #communication #coordination #probability #reliability: Reliable supervisory coordination of stochastic communicating processes with data (JM), pp. 1347–1354.
SAC-2013-ProencaVASB0K #maturity: Evaluating a process for developing a capability maturity model (DP, RV, GA, MMdS, JLB, CB, HK), pp. 1474–1475.
SAC-2013-WombacherI #estimation: Start time and duration distribution estimation in semi-structured processes (AW, MEI), pp. 1403–1409.
SAC-2013-YiSLC #mobile #towards: Towards a total recall: an activity tracking and recall mechanism for mobile devices (SY, JS, YL, HJC), pp. 570–572.
CASE-2013-BrownB: A queuing model for systems with rework and process downtime (AJB, FB), pp. 789–794.
CASE-2013-ChenCLZZF #assembly #automation #performance: Performance improvement for high accuracy assembly process in manufacturing automation (HC, HC, JL, BZ, GZ, TAF), pp. 540–545.
CASE-2013-RoyS #constraints #generative: Generative process planning with environmental constraints (UR, SS), pp. 534–539.
CASE-2013-SustoJOM #multi #predict: Virtual metrology enabled early stage prediction for enhanced control of multi-stage fabrication processes (GAS, ABJ, PGO, SFM), pp. 201–206.
CASE-2013-XieLSD #analysis #approach #markov #modelling: Modeling and analysis of hospital inpatient rescue process: A Markov chain approach (XX, JL, CHS, YD), pp. 978–983.
CASE-2013-YanLS #detection #fault #statistics: Fault detection of cooling coils based on unscented Kalman filters and statistical process control (YY, PBL, BS), pp. 237–242.
CASE-2013-YueH13a #assembly #concurrent #petri net #policy #polynomial: A polynomial deadlock avoidance policy for a class of assembly processes based on Petri nets (HY, HH), pp. 1151–1156.
CASE-2013-ZhongLEHF #analysis #modelling #testing: Modeling and analysis of mammography testing process at a breast imaging center of University of Wisconsin medical foundation (XZ, JL, SME, CH, LF), pp. 611–616.
DAC-2013-Kahng #design #roadmap: The ITRS design technology and system drivers roadmap: process and status (ABK), p. 6.
DAC-2013-RaiSST #algorithm #analysis #distributed #network: Distributed stable states for process networks: algorithm, analysis, and experiments on intel SCC (DR, LS, NS, LT), p. 10.
DAC-2013-TajikHD #3d #architecture #manycore #named: VAWOM: temperature and process variation aware wearout management in 3D multicore architecture (HT, HH, ND), p. 8.
DATE-2013-ChenRSIFC #analysis: A SPICE-compatible model of graphene nano-ribbon field-effect transistors enabling circuit-level delay and power analysis under process variation (YYC, AR, AS, GI, GF, DC), pp. 1789–1794.
DATE-2013-ChenWLL #automation #flexibility: Automatic circuit sizing technique for the analog circuits with flexible TFTs considering process variation and bending effects (YLC, WRW, GRL, CNJL), pp. 1458–1461.
DATE-2013-GhaidaG #design #development #multi: Role of design in multiple patterning: technology development, design enablement and process control (RSG, PG), pp. 314–319.
DATE-2013-Hara-AzumiFKT: Instruction-set extension under process variation and aging effects (YHA, FF, SK, MBT), pp. 182–187.
DATE-2013-Kae-NuneP #anti #testing: Qualification and testing process to implement anti-counterfeiting technologies into IC packages (NKN, SP), pp. 1131–1136.
DATE-2013-MagarshackFC #design #energy: UTBB FD-SOI: a process/design symbiosis for breakthrough energy-efficiency (PM, PF, GC), pp. 952–957.
DATE-2013-RaghunathanTGM #multi #named: Cherry-picking: exploiting process variations in dark-silicon homogeneous chip multi-processors (BR, YT, SG, DM), pp. 39–44.
DATE-2013-ZhaoOX #synthesis: Profit maximization through process variation aware high level synthesis with speed binning (MZ, AO, CJX), pp. 176–181.
PLOS-2013-AryaDVC #automation #debugging: Semi-automated debugging via binary search through a process lifetime (KA, TD, AMV, GC), p. 7.
ESOP-2013-PetersNG #calculus #on the: On Distributability in Process Calculi (KP, UN, UG), pp. 310–329.
ESOP-2013-ToninhoCP #higher-order #integration #monad: Higher-Order Processes, Functions, and Sessions: A Monadic Integration (BT, LC, FP), pp. 350–369.
FASE-2013-AutiliRSIT #modelling #synthesis: A Model-Based Synthesis Process for Choreography Realizability Enforcement (MA, DDR, ADS, PI, MT), pp. 37–52.
FASE-2013-LeoniDG #branch #execution: Discovering Branching Conditions from Business Process Execution Logs (MdL, MD, LGB), pp. 114–129.
FASE-2013-StruberTJS #distributed #modelling #towards: Towards a Distributed Modeling Process Based on Composite Models (DS, GT, SJ, TS), pp. 6–20.
FoSSaCS-2013-ClementeHSS #communication #reachability: Reachability of Communicating Timed Processes (LC, FH, AS, GS), pp. 81–96.
FoSSaCS-2013-DreierELL #composition #on the #π-calculus: On Unique Decomposition of Processes in the Applied π-Calculus (JD, CE, PL, YL), pp. 50–64.
FoSSaCS-2013-HainryMP #analysis #complexity #type system: Type-Based Complexity Analysis for Fork Processes (EH, JYM, RP), pp. 305–320.
FoSSaCS-2013-MioS #composition #concurrent #probability #proving #verification: A Proof System for Compositional Verification of Probabilistic Concurrent Processes (MM, AS), pp. 161–176.
CAV-2013-ChatterjeeL #algorithm #markov #performance: Faster Algorithms for Markov Decision Processes with Low Treewidth (KC, JL), pp. 543–558.
CSL-2013-ChatterjeeCT #decidability #markov #what: What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives (KC, MC, MT), pp. 165–180.
ICLP-J-2013-GiordanoMSD #constraints #programming #set #verification: Business process verification with constraint temporal answer set programming (LG, AM, MS, DTD), pp. 641–655.
ICST-2013-CompagnaGB #as a service #security #validation: Business Process Compliance via Security Validation as a Service (LC, PG, ADB), pp. 455–462.
ICST-2013-Mercaldo #database #identification: Identification of Anomalies in Processes of Database Alteration (FM), pp. 513–514.
LICS-2013-BrazdilCFK #markov #performance: Trading Performance for Stability in Markov Decision Processes (TB, KC, VF, AK), pp. 331–340.
LICS-2013-KozenLMP #markov: Stone Duality for Markov Processes (DK, KGL, RM, PP), pp. 321–330.
VMCAI-2013-NamjoshiT #network #symmetry: Uncovering Symmetries in Irregular Process Networks (KSN, RJT), pp. 496–514.
TPDL-2012-AdamsN #design #library: Digital Library Sustainability and Design Processes (AA, PN), pp. 76–88.
TPDL-2012-MayerRNTA #design: Preserving Scientific Processes from Design to Publications (RM, AR, MAN, JT, GA), pp. 113–124.
ITiCSE-2012-Luxton-ReillyDPS #how #learning #student: Activities, affordances and attitude: how student-generated questions assist learning (ALR, PD, BP, RS), pp. 4–9.
ITiCSE-2012-ZaritskyB #community: Computer science as a community involvement activity (AZ, OB), pp. 365–366.
CSMR-2012-Izquierdo-Cortazar #comprehension #debugging #distributed: Global and Geographically Distributed Work Teams: Understanding the Bug Fixing Process and Potentially Bug-prone Activity Patterns (DIC), pp. 505–508.
ICPC-2012-Mahmoud #automation #effectiveness #towards: Toward an effective automated tracing process (AM), pp. 269–272.
ICSM-2012-LotufoMC #debugging #modelling: Modelling the “Hurried” bug report reading process to summarize bug reports (RL, ZM, KC), pp. 430–439.
ICSM-2012-Perez-Castillo #approach #information management #legacy #named: MARBLE: Modernization approach for recovering business processes from legacy information systems (RPC), pp. 671–676.
ICSM-2012-TomasiMFS #named: reBPMN: Recovering and reducing business processes (AT, AM, CDF, AS), pp. 666–669.
CIAA-2012-EhrenfeuchtR #framework: A Formal Framework for Processes Inspired by the Functioning of Living Cells (AE, GR), pp. 25–27.
ICALP-v1-2012-EtessamiSY #algorithm #branch #equation #markov #polynomial #probability: Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations (KE, AS, MY), pp. 314–326.
ICALP-v2-2012-AcetoCEI #algebra: Algebraic Synchronization Trees and Processes (LA, AC, ZÉ, AI), pp. 30–41.
ICALP-v2-2012-BrazdilKNW #markov #termination: Minimizing Expected Termination Time in One-Counter Markov Decision Processes (TB, AK, PN, DW), pp. 141–152.
ICALP-v2-2012-Fu #game studies #markov #metric: Computing Game Metrics on Markov Decision Processes (HF), pp. 227–238.
FM-2012-BenkiraneNSS #algebra #using: Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra (SB, RN, ES, CS), pp. 101–115.
IFM-2012-CalderS #algebra #case study #network #runtime #verification: Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management (MC, MS), pp. 21–23.
RTA-2012-KanovichKNSTP #framework: A Rewriting Framework for Activities Subject to Regulations (MIK, TBK, VN, AS, CLT, RP), pp. 305–322.
SEFM-2012-OuchaniMD #abstraction #diagrams #performance #probability: Efficient Probabilistic Abstraction for SysML Activity Diagrams (SO, OAM, MD), pp. 263–277.
AIIDE-2012-GowCCM #experience #mining: Mining Rules from Player Experience and Activity Data (JG, SC, PAC, PM).
FDG-2012-GualeniJC #design #game studies #how: How psychophysiology can aid the design process of casual games: a tale of stress, facial muscles, and paper beasts (SG, DPJ, LC), pp. 149–155.
VS-Games-2012-PadrosRU #collaboration #convergence #game studies: Measuring the Knowledge Convergence Process in the Collaborative Game MetaVals (AP, MR, MU), pp. 193–202.
GT-VMT-2012-Heussner #communication #graph #graph grammar #model checking: Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO (AH).
CHI-2012-Friess #case study #design: Personas and decision making in the design process: an ethnographic case study (EF), pp. 1209–1218.
CHI-2012-KashiwabaraOSI #named #smarttech: TEROOS: a wearable avatar to enhance joint activities (TK, HO, KS, MI), pp. 2001–2004.
CHI-2012-PiperWH #authoring #game studies #interactive #tool support: TAP & PLAY: an end-user toolkit for authoring interactive pen and paper language activities (AMP, NW, JDH), pp. 149–158.
CSCW-2012-BasuRJ #collaboration #ubiquitous: Ubiquitous collaborative activity virtual environments (AB, AR, KJ), pp. 647–650.
CSCW-2012-BorgeGSC #analysis: Patterns of team processes and breakdowns in information analysis tasks (MB, CHG, SIS, JMC), pp. 1105–1114.
CSCW-2012-CarrollLLSW: Bodies in critique: a technological intervention in the dance production process (EAC, DML, CL, VS, MW), pp. 705–714.
CSCW-2012-DowelingSG #design #interactive: A model for the design of interactive systems based on activity theory (SD, BS, AG), pp. 539–548.
CSCW-2012-Meum: Electronic medication management: a socio — technical change process in clinical practice (TM), pp. 877–886.
CSCW-2012-Nagar #community #online #what: What do you think?: the structuring of an online community as a collective-sensemaking process (YN), pp. 393–402.
CSCW-2012-NobaranyHF #approach #collaboration #distributed #reuse: Facilitating the reuse process in distributed collaboration: a distributed cognition approach (SN, MH, BDF), pp. 1223–1232.
CSCW-2012-PhillipsRS #development #integration #parallel #scalability: Information needs for integration decisions in the release process of large-scale parallel development (SP, GR, JS), pp. 1371–1380.
CAiSE-2012-BinderDDDFGGHHRRW #case study #clustering #experience #on the: On Analyzing Process Compliance in Skin Cancer Treatment: An Experience Report from the Evidence-Based Medical Compliance Cluster (EBMC2) (MB, WD, GD, RD, KAF, WG, WG, KH, MH, SRM, CR, SW), pp. 398–413.
CAiSE-2012-BrouckeWBV #generative: Improved Artificial Negative Event Generation to Enhance Process Event Logs (SKLMvB, JDW, BB, JV), pp. 254–269.
CAiSE-2012-ComuzziAV #monitoring: Patterns to Enable Mass-Customized Business Process Monitoring (MC, SA, JV), pp. 445–459.
CAiSE-2012-DumasRMMRS #comprehension #cost analysis #modelling: Understanding Business Process Models: The Costs and Benefits of Structuredness (MD, MLR, JM, RM, HAR, NS), pp. 31–46.
CAiSE-2012-EngelAZPW #case study #mining #modelling: Mining Inter-organizational Business Process Models from EDI Messages: A Case Study from the Automotive Sector (RE, WMPvdA, MZ, CP, HW), pp. 222–237.
CAiSE-2012-GronerAMGPB #modelling #validation: Validation of User Intentions in Process Models (GG, MA, BM, DG, FSP, MB), pp. 366–381.
CAiSE-2012-LeopoldMP #generative #modelling #natural language: Generating Natural Language Texts from Business Process Models (HL, JM, AP), pp. 64–79.
CAiSE-2012-LiptchinskyKTD #approach #collaboration #modelling #novel #social: A Novel Approach to Modeling Context-Aware and Social Collaboration Processes (VL, RK, HLT, SD), pp. 565–580.
CAiSE-2012-LonnUWJ #configuration management #modelling: Configurable Process Models for the Swedish Public Sector (CML, EU, PW, GJS), pp. 190–205.
CAiSE-2012-LyIMR #data transformation #mining #semantics: Data Transformation and Semantic Log Purging for Process Mining (LTL, CI, JM, SRM), pp. 238–253.
CAiSE-2012-MaggiBA #declarative #modelling #performance: Efficient Discovery of Understandable Declarative Process Models from Event Logs (FMM, RPJCB, WMPvdA), pp. 270–285.
CAiSE-2012-MartinCM #assessment #empirical: Process Redesign for Liquidity Planning in Practice: An Empirical Assessment (JM, TC, AM), pp. 581–596.
CAiSE-2012-Petrusel #modelling: Aggregating Individual Models of Decision-Making Processes (RP), pp. 47–63.
CAiSE-2012-Priego-RocheTFRM #design #modelling: Business Process Design from Virtual Organization Intentional Models (LMPR, LHT, AF, DR, JM), pp. 549–564.
EDOC-2012-BurattinMAS #analysis #declarative: Techniques for a Posteriori Analysis of Declarative Processes (AB, FMM, WMPvdA, AS), pp. 41–50.
EDOC-2012-MichelbergerMR #enterprise: Process-oriented Information Logistics: Aligning Enterprise Information with Business Processes (BM, BM, MR), pp. 21–30.
EDOC-2012-WangWPSC: A State Synchronization Mechanism for Orchestrated Processes (LW, AW, LFP, MvS, CC), pp. 51–60.
EDOC-2012-ZarghamiSES #as a service #logic: Decision as a Service: Separating Decision-making from Application Process Logic (AZ, BS, MZE, MvS), pp. 103–112.
ICEIS-J-2012-PereiraBB12a #aspect-oriented #design: Values and Cultural Aspects in Design: Artifacts for Making Them Explicit in Design Activities (RP, SBB, MCCB), pp. 358–375.
ICEIS-J-2012-RenardCR12a #evaluation #fault #towards: Towards a Leaner Evaluation Process: Application to Error Correction Systems (AR, SC, BR), pp. 228–242.
ICEIS-J-2012-RibeiroFBKE #algorithm #approach #learning #markov: Combining Learning Algorithms: An Approach to Markov Decision Processes (RR, FF, MACB, ALK, FE), pp. 172–188.
ICEIS-v2-2012-AleixoKFCN #case study #comparative #modelling #using: Modularizing Software Process Lines using Model-driven Approaches — A Comparative Study (FAA, UK, MAF, DAdC, ECN), pp. 120–125.
ICEIS-v2-2012-GassenMTO #design #ontology: Ontology Support for Home Care Process Design (JBG, AM, LHT, JPMdO), pp. 84–89.
ICEIS-v2-2012-NishiokaO #concept #enterprise #information management #integration: Systematic Process of Conceptualization — For Enterprise Information System Renewal and Integration (KN, KO), pp. 63–69.
ICEIS-v2-2012-PolasikGWKPT #analysis #mobile: Chronometric Analysis of a Payment Process for Cash, Cards and Mobile Devices (MP, JG, GW, JK, KP, NT), pp. 220–229.
ICEIS-v2-2012-ReichelR #requirements #using: Prioritization of Product Requirements using the Analytic Hierarchy Process (TR, GR), pp. 70–76.
ICEIS-v2-2012-RenardCR #documentation #fault: A Tool to Evaluate Error Correction Resources and Processes Suited for Documents Improvement (AR, SC, BR), pp. 27–35.
ICEIS-v3-2012-BauerEFH #analysis #consistency: Resource-oriented Consistency Analysis of Engineering Processes (BB, TE, CF, BH), pp. 206–211.
ICEIS-v3-2012-CaronV #design #enterprise #information management #paradigm: Moving Across Paradigms between the Process Design and Enactment Phase in Enterprise Information Systems (FC, JV), pp. 218–223.
ICEIS-v3-2012-SchiefBW #modelling: Transforming Software Business Models into Business Processes (MS, AB, TW), pp. 167–172.
ICEIS-v3-2012-WangWZLW #detection #modelling: Detecting Infeasible Traces in Process Models (ZW, LW, XZ, YL, JW), pp. 212–217.
CIKM-2012-CaoYDWW #graph #modelling #recommendation #workflow: Graph-based workflow recommendation: on improving business process modeling (BC, JY, SD, DW, ZW), pp. 1527–1531.
CIKM-2012-GuySBRD #enterprise: Swimming against the streamz: search and analytics over the enterprise activity stream (IG, TS, MB, IR, TD), pp. 1587–1591.
CIKM-2012-HuangCLL #predict #probability #social #using: Predicting aggregate social activities using continuous-time stochastic process (SH, MC, BL, DL), pp. 982–991.
CIKM-2012-Jin #analysis #multi #profiling: User activity profiling with multi-layer analysis (HJ), pp. 2030–2034.
CIKM-2012-KimKKO #modelling #recursion #topic: Modeling topic hierarchies with the recursive chinese restaurant process (JHK, DK, SK, AHO), pp. 783–792.
CIKM-2012-LiS #network #social: Composing activity groups in social networks (CTL, MKS), pp. 2375–2378.
ECIR-2012-DiriyeTB #interactive #query: A Little Interaction Can Go a Long Way: Enriching the Query Formulation Process (AD, AT, AB), pp. 531–534.
ECIR-2012-HienertSSM #information retrieval #interactive #library #visualisation: Integrating Interactive Visualizations in the Search Process of Digital Libraries and IR Systems (DH, FS, PS, PM), pp. 447–450.
ICML-2012-BoukouvalasBC #using: Gaussian Process Quantile Regression using Expectation Propagation (AB, RB, DC), p. 123.
ICML-2012-ChenCK #optimisation: Joint Optimization and Variable Selection of High-dimensional Gaussian Processes (BC, RMC, AK), p. 179.
ICML-2012-DesautelsKB #optimisation #trade-off: Parallelizing Exploration-Exploitation Tradeoffs with Gaussian Process Bandit Optimization (TD, AK, JWB), p. 109.
ICML-2012-FreitasSZ #bound #exponential: Exponential Regret Bounds for Gaussian Process Bandits with Deterministic Observations (NdF, AJS, MZ), p. 125.
ICML-2012-KimKO #metric #parametricity #random #topic: Dirichlet Process with Mixed Random Measures: A Nonparametric Topic Model for Labeled Data (DK, SK, AHO), p. 90.
ICML-2012-MoldovanA #markov: Safe Exploration in Markov Decision Processes (TMM, PA), p. 188.
ICML-2012-RifaiDVB #generative: A Generative Process for Contractive Auto-Encoders (SR, YD, PV, YB), p. 235.
ICML-2012-WangC: Levy Measure Decompositions for the Beta and Gamma Processes (YW, LC), p. 68.
ICML-2012-WilsonKG #network: Gaussian Process Regression Networks (AGW, DAK, ZG), p. 149.
ICML-2012-WulsinJL #clustering #modelling #multi: A Hierarchical Dirichlet Process Model with Multiple Levels of Clustering for Human EEG Seizure Modeling (DW, SJ, BL), p. 67.
ICML-2012-ZhaiHBW #image #modelling #using: Modeling Images using Transformed Indian Buffet Processes (KZ, YH, JLBG, SW), p. 118.
ICPR-2012-BanerjeeN #kernel #learning #multi #recognition #using: Pose based activity recognition using Multiple Kernel learning (PB, RN), pp. 445–448.
ICPR-2012-BoresB #monitoring: Urban traffic monitoring from aerial LIDAR data with a Two-Level Marked Point Process model (AB, CB), pp. 1379–1382.
ICPR-2012-ChikhaouiWP #pervasive #recognition #statistics: A new statistical model for activity discovery and recognition in pervasive environments (BC, SW, HP), pp. 3435–3438.
ICPR-2012-DhallG #estimation: Group expression intensity estimation in videos via Gaussian Processes (AD, RG), pp. 3525–3528.
ICPR-2012-FreytagFRD #kernel #performance #segmentation #semantics: Efficient semantic segmentation with Gaussian processes and histogram intersection kernels (AF, BF, ER, JD), pp. 3313–3316.
ICPR-2012-KanekoSOFS #consistency #recognition: Consistent collective activity recognition with fully connected CRFs (TK, MS, SO, RF, TS), pp. 2792–2795.
ICPR-2012-LiF #approach #named #recognition: ARMA-HMM: A new approach for early recognition of human activity (KL, YF), pp. 1779–1782.
ICPR-2012-LinL #bottom-up #top-down: Integrating bottom-up and top-down processes for accurate pedestrian counting (YL, NL), pp. 2508–2511.
ICPR-2012-LiZJ #recognition: Simultaneous facial activity tracking and recognition (YL, YZ, QJ), pp. 1017–1020.
ICPR-2012-McCloskeyD #detection #metadata #using #video: Activity detection in the wild using video metadata (SM, PD), pp. 3140–3143.
ICPR-2012-MengQYMCM #recognition #semantics: Activity recognition based on semantic spatial relation (LM, LQ, PY, JM, XC, DNM), pp. 609–612.
ICPR-2012-PinquierKLGMBGD #multi #recognition #smarttech: Strategies for multiple feature fusion with Hierarchical HMM: Application to activity recognition from wearable audiovisual sensors (JP, SK, LL, PG, RM, JBP, YG, JFD), pp. 3192–3195.
ICPR-2012-SuematsuH: Time series alignment with Gaussian processes (NS, AH), pp. 2355–2358.
ICPR-2012-TaoKNT #recognition: Camera view usage of binary infrared sensors for activity recognition (ST, MK, HN, JT), pp. 1759–1762.
ICPR-2012-WangJ12b #learning #network #recognition: Learning dynamic Bayesian network discriminatively for human activity recognition (XW, QJ), pp. 3553–3556.
ICPR-2012-YilmazYK #multimodal #network: Non-linear weighted averaging for multimodal information fusion by employing Analytical Network Process (TY, AY, MK), pp. 234–237.
ICPR-2012-ZhangXSS #modelling #recognition #representation #smarttech #using: Sparse representation for motion primitive-based human activity modeling and recognition using wearable sensors (MZ, WX, AAS, MS), pp. 1807–1810.
KDD-2012-AndersonHKL #case study #community #stack overflow: Discovering value from community activity on focused question answering sites: a case study of stack overflow (AA, DPH, JMK, JL), pp. 850–858.
KDD-2012-KimLX #image #multi #predict #using #web: Web image prediction using multivariate point processes (GK, FFL, EPX), pp. 1068–1076.
KDD-2012-SatoKN: Practical collapsed variational bayes inference for hierarchical dirichlet process (IS, KK, HN), pp. 105–113.
KDIR-2012-MiaoLWZ #infinity #modelling #semantics #topic #wiki: Infinite Topic Modelling for Trend Tracking — Hierarchical Dirichlet Process Approaches with Wikipedia Semantic based Method (YM, CL, HW, LZ), pp. 35–44.
KEOD-2012-NegruB #modelling #ontology #web: Persona Modeling Process — From Microdata-based Templates to Specific Web Ontologies (SN, SCB), pp. 34–42.
KEOD-2012-VegettiRGHL #development #framework #named #ontology: ONTOTracED: A Framework to Capture and Trace Ontology Development Processes (MV, MLR, SG, GPH, HPL), pp. 419–422.
KEOD-2012-ZainolN #design: Conflict Resolution in Overlapping Information Fields for Context-based Activity Design (ZZ, KN), pp. 190–195.
KMIS-2012-BaqueroM #framework: A Framework to Support Business Process Analytics (AVB, OM), pp. 321–332.
KMIS-2012-GringelSS #architecture #enterprise #towards: Towards Process Orientation in Enterprise Architecture Management (PG, JS, US), pp. 145–151.
KMIS-2012-LageA12a #approach: Information and Knowledge Sharing in Inter-organizational Relationships under the Process Approach (EL, BA), pp. 273–276.
KMIS-2012-MarianoF #collaboration: Social-GTD for Collaborative Activity Support in Organizations (FAdSM, JBLF), pp. 341–345.
KMIS-2012-MenasselM #case study #formal method #novel: A Novel Formalization Process for Use Case Maps (YM, FM), pp. 307–310.
MLDM-2012-GlodekSP #detection #recognition: Detecting Actions by Integrating Sequential Symbolic and Sub-symbolic Information in Human Activity Recognition (MG, FS, GP), pp. 394–404.
SEKE-2012-CuiWLBZL #aspect-oriented #diagrams #petri net #verification: Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer (ZC, LW, XL, LB, JZ, XL), pp. 369–374.
SEKE-2012-FreireCAK #monitoring #statistics #using #workflow: Software Process Monitoring Using Statistical Process Control Integrated in Workflow Systems (MAF, DAdC, EA, UK), pp. 557–562.
SEKE-2012-HoritaBB #development #quality: A Process Model for Human Resources Management Focused on Increasing the Quality of Software Development (FEAH, JDB, RMdB), pp. 225–230.
SEKE-2012-HossianG #concept #requirements: Phases, Activities, and Techniques for a Requirements Conceptualization Process (AH, RGM), pp. 25–32.
SEKE-2012-JlaielA #approach #novel #reuse #semantics #towards: Towards a Novel Semantic Approach for Process Patterns’ Capitalization and Reuse (NJ, MBA), pp. 505–510.
SEKE-2012-MolleriB #automation #overview #perspective: Automated Approaches to Support Secondary Study Processes: a Systematic Review (JSM, FBVB), pp. 143–147.
SEKE-2012-NarkngamL #diagrams #domain-specific language #uml: Rendering UML Activity Diagrams as a Domain Specific Language — ADL (CN, YL), pp. 724–729.
SEKE-2012-OliveiraCEP #modelling #towards: Towards Autonomic Business Process Models (KO, JC, SE, OP), pp. 531–536.
SEKE-2012-RadulovicG #network #recommendation #semantics: Semantic Technology Recommendation Based on the Analytic Network Process (FR, RGC), pp. 611–616.
SIGIR-2012-HuangWBW #modelling #using: Improving searcher models using mouse cursor activity (JH, RWW, GB, KW), pp. 195–204.
ECMFA-2012-ElaasarL #case study #testing: Model Interchange Testing: A Process and a Case Study (ME, YL), pp. 49–61.
MoDELS-2012-BrancoTCKV #abstraction #workflow: Matching Business Process Workflows across Abstraction Levels (MCB, JT, KC, JMK, HV), pp. 626–641.
MoDELS-2012-SindicoNS #architecture #design #industrial #modelling: An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design (AS, MDN, ALSV), pp. 810–826.
PLEASE-2012-BoffoliCCV #consistency #flexibility #product line: Driving flexibility and consistency of business processes by means of product-line engineering and decision tables (NB, DC, DC, GV), pp. 33–36.
OOPSLA-2012-BocqD #monad #named #network #streaming #using #virtual machine: Molecule: using monadic and streaming I/O to compose process networks on the JVM (SB, KD), pp. 315–334.
TOOLS-EUROPE-2012-CorralSSSV #development #mobile #named #proximity: DroidSense: A Mobile Tool to Analyze Software Development Processes by Measuring Team Proximity (LC, AS, GS, JS, JV), pp. 17–33.
QAPL-2012-Bernardo #bisimulation #concurrent #markov: Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes (MB), pp. 122–136.
RE-2012-KongHDD #case study #traceability: Process improvement for traceability: A study of human fallibility (WKK, JHH, AD, OD), pp. 31–40.
ICSE-2012-AndronickJKKSZZ #perspective #scalability #verification: Large-scale formal verification in practice: A process perspective (JA, DRJ, GK, RK, MS, HZ, LZ), pp. 1002–1011.
ICSE-2012-Blincoe #coordination #developer #performance: Timely and efficient facilitation of coordination of software developers’ activities (KB), pp. 1539–1542.
ICSE-2012-CasatiDDEFKMMOPQRSTV #enterprise #network #physics #towards: Towards business processes orchestrating the physical enterprise with wireless sensor networks (FC, FD, GD, JE, NF, SK, PMM, LM, FJO, GPP, AQ, KR, PS, ST, TV), pp. 1357–1360.
ICSE-2012-LavalleeR #developer #overview #perspective: The impacts of software process improvement on developers: A systematic review (ML, PNR), pp. 113–122.
ICSE-2012-MitchellS #identification: Software process improvement through the identification and removal of project-level knowledge flow obstacles (SMM, CBS), pp. 1265–1268.
ICSE-2012-PloomSG #migration #scalability: Methodology for migration of long running process instances in a global large scale BPM environment in Credit Suisse’s SOA landscape (TP, SS, AG), pp. 977–986.
ICSE-2012-RoehmM #automation #detection #developer #development #problem: Automatically detecting developer activities and problems in software development work (TR, WM), pp. 1261–1264.
SAC-2012-AccorsiS #consistency #mining #on the #security: On the exploitation of process mining for security audits: the conformance checking case (RA, TS), pp. 1709–1716.
SAC-2012-DelgadoRGP #collaboration #model transformation: Model transformations for Business-IT alignment: from collaborative business process to SoaML service model (AD, FR, IGRdG, MP), pp. 1720–1722.
SAC-2012-FlorezD #interactive #video: Discovering activity interactions in a single pass over a video stream (OUF, CED), pp. 819–826.
SAC-2012-GocicS #paradigm: Service-oriented paradigm for analyzing hydrological processes (MG, DS), pp. 1994–1995.
SAC-2012-JafarinezhadR #requirements #towards: Towards a process factory for developing situational requirements engineering processes (OJ, RR), pp. 1089–1090.
SAC-2012-LassaigneP #approximate #markov #scalability #verification: Approximate planning and verification for large markov decision processes (RL, SP), pp. 1314–1319.
SAC-2012-MonakovaBS #safety #security: Security and safety of assets in business processes (GM, ADB, AS), pp. 1667–1673.
SAC-2012-NetoA #analysis: Keeping decisions and rationale explicit in business process analysis (MSdSN, RMdA), pp. 1702–1708.
SAC-2012-ReichertKBB #personalisation #scalability #visualisation: Enabling personalized visualization of large business processes through parameterizable views (MR, JK, RB, TB), pp. 1653–1660.
SAC-2012-SantosCSLB #analysis #heuristic #identification #modelling: Analysis of heuristics to identify crosscutting concerns in business process models (FJNS, CC, FMS, JCSdPL, TVB), pp. 1725–1726.
SAC-2012-WangTWWG #algorithm #behaviour #empirical #evaluation #mining: An empirical evaluation of process mining algorithms based on structural and behavioral similarities (JW, ST, LW, RKW, QG), pp. 211–213.
SAC-2012-ZhaoLCSS #information management #modelling #question: Can business process modeling bridge the gap between business and information systems? (LZ, KL, EVC, SdFMS, PS), pp. 1723–1724.
CASE-2012-AnKP #learning #modelling: Grasp motion learning with Gaussian Process Dynamic Models (BA, HK, FCP), pp. 1114–1119.
CASE-2012-Chang #detection #fault #feature model #using: Fault detection for plasma-enhanced chemical vapor deposition process using feature extraction (YJC), pp. 491–496.
CASE-2012-ChenZD #fourier: Mitigation of chatter instability in milling processes by active fourier series compensation (ZC, HTZ, HD), pp. 167–171.
CASE-2012-KimCLK #fault #framework #monitoring: Task-oriented synchronous error monitoring framework in robotic manufacturing process (HK, JC, SL, JK), pp. 485–490.
CASE-2012-LiLS #constraints: Dispatching rule considering time-constraints on processes for semiconductor wafer fabrication facility (LL, YFL, ZJS), pp. 407–412.
CASE-2012-NganYY #modelling: Modeling of traffic data characteristics by Dirichlet Process Mixtures (HYTN, NHCY, AGOY), pp. 224–229.
CASE-2012-PampuriSSLBN #multi: Multistep virtual metrology approaches for semiconductor manufacturing processes (SP, AS, GAS, CDL, AB, GDN), pp. 91–96.
CASE-2012-RusslandEP #workflow: A workflow management system for cross-system processes in semiconductor supply chains (TR, HE, TP), pp. 635–640.
CASE-2012-WeiM #design #framework #order #scheduling: Design of an order acceptance and scheduling module in a unified framework with product and process features (JW, YSM), pp. 968–973.
CASE-2012-YangHTLSL #automation: A vacuum-pumped microfluidic device for automated in-line mixing and focusing processes (ASY, HHH, LYT, PHL, TLS, CLL), pp. 109–114.
DAC-2012-KongC #3d: Exploiting narrow-width values for process variation-tolerant 3-D microprocessors (JK, SWC), pp. 1197–1206.
DAC-2012-SeoDWPCMBM #architecture: Process variation in near-threshold wide SIMD architectures (SS, RGD, MW, YP, CC, SAM, DB, TNM), pp. 980–987.
DATE-2012-EllenEO #automation #development #embedded #safety: Automatic transition between structural system views in a safety relevant embedded systems development process (CE, CE, MO), pp. 820–823.
DATE-2012-KamalASP #approach #architecture: An architecture-level approach for mitigating the impact of process variations on extensible processors (MK, AAK, SS, MP), pp. 467–472.
DATE-2012-LiDX: Custom on-chip sensors for post-silicon failing path isolation in the presence of process variations (ML, AD, LX), pp. 1591–1596.
DATE-2012-LiuWWQS #embedded #memory management: A block-level flash memory management scheme for reducing write activities in PCM-based embedded systems (DL, TW, YW, ZQ, ZS), pp. 1447–1450.
DATE-2012-MarinissenVGHRMB #detection: EDA solutions to new-defect detection in advanced process technologies (EJM, GV, SKG, FH, JR, NM, SB), pp. 123–128.
HPCA-2012-MillerPTST #named: Booster: Reactive core acceleration for mitigating the effects of process variation and application imbalance in low-voltage chips (TNM, XP, RT, NS, RT), pp. 27–38.
PDP-2012-BorkowskiT #distributed #source code: Global Control in Distributed Programs with Dynamic Process Membership (JB, MT), pp. 525–529.
ESOP-2012-FehnkerGHMPT #algebra #network: A Process Algebra for Wireless Mesh Networks (AF, RJvG, PH, AM, MP, WLT), pp. 295–315.
FASE-2012-Aalst #consistency #distributed: Distributed Process Discovery and Conformance Checking (WMPvdA), pp. 1–25.
FoSSaCS-2012-BernardoNL #nondeterminism #probability #testing: Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 195–209.
FoSSaCS-2012-ToninhoCP: Functions as Session-Typed Processes (BT, LC, FP), pp. 346–360.
STOC-2012-EtessamiSY #algorithm #branch #context-free grammar #multi #polynomial #probability: Polynomial time algorithms for multi-type branching processes and stochastic context-free grammars (KE, AS, MY), pp. 579–588.
ICST-2012-PaciMBD #evolution #requirements #testing: Managing Evolution by Orchestrating Requirements and Testing Engineering Processes (FP, FM, FB, SD), pp. 834–841.
ECSA-2011-StolAB #design pattern #evaluation #identification #open source: Design and Evaluation of a Process for Identifying Architecture Patterns in Open Source Software (KJS, PA, MAB), pp. 147–163.
QoSA-ISARCS-2011-CavalcantiAM #quality #variability: Extending the RiPLE-DE process with quality attribute variability realization (RdOC, ESdA, SRLM), pp. 159–164.
QoSA-ISARCS-2011-Durdik #agile #architecture #development #modelling #towards: Towards a process for architectural modelling in agile software development (ZD), pp. 183–192.
WICSA-2011-HeeschA #architecture #maturity #overview #reasoning: Mature Architecting — A Survey about the Reasoning Process of Professional Architects (UvH, PA), pp. 260–269.
DocEng-2011-PortierC #documentation #multi: Introduction of a dynamic assistance to the creative process of adding dimensions to multistructured documents (PEP, SC), pp. 167–170.
PODS-2011-DeutchM #database #research: A quest for beauty and wealth (or, business processes for database researchers) (DD, TM), pp. 1–12.
CSEET-2011-GalvaoARAFG #education #learning #logic programming: A proposal for an educational system service to support teaching/learning process for logic programming (ERDG, RRdA, CMOR, SCA, FF, VCG), p. 556.
CSEET-2011-LiB #education #re-engineering #research #validation #verification: Making winners for both education and research: Verification and validation process improvement practice in a software engineering course (QL, BWB), pp. 304–313.
CSEET-2011-SouzaMB #evaluation #named #programming #testing: ProgTest: An environment for the submission and evaluation of programming assignments based on testing activities (DMdS, JCM, EFB), pp. 1–10.
ITiCSE-2011-Goldweber #learning #turing machine: Two kinesthetic learning activities: turing machines and basic computer organization (MG), p. 335.
ITiCSE-2011-HarrachA #collaboration #learning #optimisation #recommendation #using: Optimizing collaborative learning processes by using recommendation systems (SH, MA), p. 389.
ITiCSE-2011-MesserK #problem #using: The use of mediating artifacts in embedding problem solving processes in an e-learning environment (OMM, AK), p. 390.
ITiCSE-2011-PearsonBG #evaluation #web: A tool to support the web accessibility evaluation process for novices (EP, CB, SG), pp. 28–32.
ITiCSE-2011-WolzMS #learning: Kinesthetic learning of computing via “off-beat” activities (UW, MM, MS), pp. 68–72.
ICPC-J-2009-SamalikovaKTWS11 #case study #experience #towards: Toward objective software process information: experiences from a case study (JS, RJK, JJMT, TW, PS), pp. 101–120.
CSMR-2011-MantylaV #case study #challenge #deployment: Software Deployment Activities and Challenges — A Case Study of Four Software Product Companies (MM, JV), pp. 131–140.
CSMR-2011-PoncinSB #mining #repository: Process Mining Software Repositories (WP, AS, MvdB), pp. 5–14.
CSMR-2011-ZillmannWHTTFHREKUZ #industrial: The SOAMIG Process Model in Industrial Applications (CZ, AW, AH, WT, MT, AF, TH, VR, UE, UK, DU, YZ), pp. 339–342.
ICPC-2011-HuangW #detection #monitoring: Anomaly Detection by Monitoring Filesystem Activities (LH, KW), pp. 221–222.
ICPC-2011-TothVBG #complexity #metric #predict: Adding Process Metrics to Enhance Modification Complexity Prediction (GT, AZV, ÁB, TG), pp. 201–204.
ICSM-2011-Hindle #perspective: Evidence-based software process recovery: A post-doctoral view (AH), pp. 562–567.
ICSM-2011-PaymalPBS #evolution #graph #metric #using: Measuring disruption from software evolution activities using graph-based metrics (PP, RP, SB, HPS), pp. 532–535.
ICSM-2011-Perez-CastilloFGP: MARBLE. A business process archeology tool (RPC, MFR, IGRdG, MP), pp. 578–581.
ICSM-2011-WangPXZ #case study #feature model: An exploratory study of feature location process: Distinct phases, recurring patterns, and elementary actions (JW, XP, ZX, WZ), pp. 213–222.
MSR-2011-HindleEGM #analysis #automation #maintenance #topic: Automated topic naming to support cross-project analysis of software maintenance activities (AH, NAE, MWG, JM), pp. 163–172.
ICALP-v1-2011-Coja-OghlanP #random #satisfiability: The Decimation Process in Random k-SAT (ACO, AYPP), pp. 305–316.
FM-2011-ChenLW #communication #refinement: Failure-Divergence Refinement of Compensating Communicating Processes (ZC, ZL, JW), pp. 262–277.
SEFM-2011-HildebrandtMS #declarative: Safe Distribution of Declarative Processes (TTH, RRM, TS), pp. 237–252.
SEFM-2011-Pedercini #communication #modelling #policy: Models and Communication in the Policy Process (MP), pp. 35–37.
SEFM-2011-TongSJ #approach #formal method #information management: A Formal Approach to Analysing Knowledge Transfer Processes in Developing Countries (JT, SAS, AEJ), pp. 486–501.
CIG-2011-UribeLSA #execution #game studies #markov #trade-off: Discount and speed/execution tradeoffs in Markov Decision Process games (RU, FL, KS, CA), pp. 79–86.
DiGRA-2011-RoesselM #collaboration #composition #game studies: Collaboration and Team Composition in Applied Game Creation Processes (LvR, JvMI).
DiGRA-2011-Schoenau-Fog #continuation #game studies: The Player Engagement Process - An Exploration of Continuation Desire in Digital Games (HSF).
DiGRA-2011-SturmTDBS #design #named: PlayFit: Designing playful activity interventions for teenagers (JS, RT, MD, TB, BAMS).
FDG-2011-DrachenBV #game studies: Only the good... get pirated: game piracy activity vs. metacritic score (AD, KB, RWDV), pp. 292–294.
FDG-2011-KerrCA: Recognizing players' activities and hidden state (WK, PRC, NMA), pp. 84–90.
VS-Games-2011-VourvopoulosL: Brain-Controlled NXT Robot: Tele-operating a Robot through Brain Electrical Activity (AV, FL), pp. 140–143.
AGTIVE-2011-FurstMM #graph grammar #heuristic #induction: Graph Grammar Induction as a Parser-Controlled Heuristic Search Process (LF, MM, VM), pp. 121–136.
CHI-2011-BaumerT #analysis #distributed #video: Comparing activity theory with distributed cognition for video analysis: beyond “kicking the tires” (EPSB, BT), pp. 133–142.
CHI-2011-ChilanaGF #multi: Modern software product support processes and the usage of multimedia formats (PKC, TG, GWF), pp. 3093–3102.
CHI-2011-DearmanST: Opportunities exist: continuous discovery of places to perform activities (DD, TS, KNT), pp. 2429–2438.
CHI-2011-MendelsFO #design #multi #named: Freed: a system for creating multiple views of a digital collection during the design process (PM, JWF, KO), pp. 1481–1490.
CSCW-2011-BardramD #analysis: Activity analysis: applying activity theory to analyze complex work in hospitals (JB, AD), pp. 455–464.
CSCW-2011-GuibourdencheVGFH #distributed #multi #product line #using: Using multiple scores for transcribing the distributed activities of a family (JG, JVR, MG, MF, YH), pp. 637–640.
DHM-2011-FritzscheJLBJP #editing #performance #simulation: Introducing ema (Editor for Manual Work Activities) — A New Tool for Enhancing Accuracy and Efficiency of Human Simulations in Digital Production Planning (LF, RJ, WL, SB, TJ, AP), pp. 272–281.
DUXU-v1-2011-ChampneyKS #design #performance: Making the Design Process More Usable: Aligning Design with User Performance (RKC, CK, KMS), pp. 33–42.
DUXU-v1-2011-FaliagkaKRSTT #integration: Investigating the Integration of Hand-Held Haptic Devices in Daily Work Activities: The Case of a Tennis Coaching Assistant on iPhone (EF, PK, MR, SS, GT, AKT), pp. 555–563.
DUXU-v1-2011-HeckerB #case study #enterprise #experience #scalability #user interface: Scalability of UX Activities in Large Enterprises: An Experience Report from SAP AG (BH, MB), pp. 425–431.
DUXU-v1-2011-KimLML #collaboration #design #generative #idea #interface: Developing Idea Generation for the Interface Design Process with Mass Collaboration System (DK, SSL, SM, KPL), pp. 69–76.
DUXU-v1-2011-Renner #design #how #image #question #visual notation: Image, Imagination, Innovation: How Can We Overcome the Common Ground in the Processes of Visual Design? (MR), pp. 285–294.
HCD-2011-ChaudronGMC #safety: Building Human Profile by Aggregation of Activities — Application to Aeronautics Safety (LC, DG, NM, JC), pp. 389–396.
HCD-2011-ChoiS #approach #design #implementation: A Design-Supporting Tool for Implementing the Learning-Based Approach: Accommodating Users’ Domain Knowledge into Design Processes (JMC, KS), pp. 369–378.
HCD-2011-FischerNK #re-engineering #usability: A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities (HF, KN, FK), pp. 28–37.
HCD-2011-KoikeOTMMKUKY #collaboration #communication: Co-creation Process of Collaborative Work with Communication Robot (SK, TO, ST, TM, YM, DK, KU, KK, KY), pp. 417–424.
HCI-DDA-2011-Fernandez-LlatasMSN #interactive #simulation: Process Choreography for Human Interaction Computer-Aided Simulation (CFL, JBM, PS, JCN), pp. 214–220.
HCI-MIIE-2011-CasillasM #documentation: Field to File: A Tool for Activity Documentation Work in Remote Mobility Environments (RC, ALM), pp. 3–12.
HCI-MIIE-2011-HondaSN #recognition #risk management: Activity Recognition for Risk Management with Installed Sensor in Smart and Cell Phone (DH, NS, SN), pp. 230–239.
HCI-UA-2011-Klenner-Moore #learning: Creating a New Context for Activity in Blended Learning Environments: Engaging the Twitchy Fingers (JKM), pp. 61–67.
HCI-UA-2011-NagaiKI #learning: A Drawing Learning Support System with Auto-evaluating Function Based on the Drawing Process Model (TN, MK, KI), pp. 97–106.
HIMI-v1-2011-HirasawaOY #design #user interface: Connecting Envisioning Process to User Interface Design Process (NH, SO, KYK), pp. 13–19.
HIMI-v1-2011-IidaINM: Utilization of Shadow Media — Supporting Co-Creation of Bodily Expression Activity in a Group (KI, SI, HN, YM), pp. 408–417.
HIMI-v1-2011-MaeshiroNM #composition #music #representation: Representation of Decision Making Process in Music Composition Based on Hypernetwork Model (TM, SiN, MM), pp. 109–117.
HIMI-v1-2011-MurakamiK #music #parametricity: Auditory Feature Parameters for Music Based on Human Auditory Processes (MM, TK), pp. 612–617.
HIMI-v1-2011-TakahashiSHNIHKWK #analysis: Basic Study of Analysis of Human Brain Activities during Car Driving (NT, SS, YH, HN, HI, NH, SK, EW, SK), pp. 627–635.
HIMI-v1-2011-YanoAFJ #modelling #performance #predict: Feasibility Study of Predictive Human Performance Modeling Technique in Field Activities (NY, TA, SF, BEJ), pp. 180–189.
HIMI-v2-2011-LeeCT #comparison #re-engineering: ICT-Enabled Business Process Re-engineering: International Comparison (YCL, PYC, HLT), pp. 278–284.
HIMI-v2-2011-SakataM #collaboration #communication: Process in Establishing Communication in Collaborative Creation (MS, KM), pp. 315–324.
HIMI-v2-2011-SejimaIW #interactive: A Virtual Audience System for Enhancing Embodied Interaction Based on Conversational Activity (YS, YI, TW), pp. 180–189.
IDGD-2011-HsuLL #case study #design #development #framework: A Study of Framework and Process Development for Cultural Product Design (CHH, CLL, RL), pp. 55–64.
OCSC-2011-Alducin-QuinteroCMGJ #design #modelling #using: Productivity Improvement by Using Social-Annotations about Design Intent in CAD Modelling Process (GAQ, MC, JMG, DAGZ, MDJ), pp. 153–161.
OCSC-2011-GamberiniMSBF #feedback #network #quote #social: “Your Team Cohesion is Low”: A Systematic Study of the Effects of Social Network Feedback on Mediated Activity (LG, FM, AS, RB, MF), pp. 172–181.
CAiSE-2011-AuerBKS #case study #research: Exploratory Case Study Research on SOA Investment Decision Processes in Austria (LA, EB, NK, CS), pp. 329–336.
CAiSE-2011-AwadGTW #approach #synthesis: An Iterative Approach for Business Process Template Synthesis from Compliance Rules (AA, RG, JT, MW), pp. 406–421.
CAiSE-2011-BiderJS #architecture #case study #communication #experience #using: Experiences of Using Different Communication Styles in Business Process Support Systems with the Shared Spaces Architecture (IB, PJ, RS), pp. 299–313.
CAiSE-2011-BoseAZP #concept #mining: Handling Concept Drift in Process Mining (RPJCB, WMPvdA, IZ, MP), pp. 391–405.
CAiSE-2011-CabanillasRCA #automation #generative: Automatic Generation of a Data-Centered View of Business Processes (CC, MR, ARC, AA), pp. 352–366.
CAiSE-2011-ComuzziV #collaboration #design #monitoring #workflow: Product-Based Workflow Design for Monitoring of Collaborative Business Processes (MC, ITPV), pp. 154–168.
CAiSE-2011-DelgadoRGP #generative: Business Process Service Oriented Methodology (BPSOM) with Service Generation in SoaML (AD, FR, IGRdG, MP), pp. 672–680.
CAiSE-2011-DornD #self: Supporting Dynamic, People-Driven Processes through Self-learning of Message Flows (CD, SD), pp. 657–671.
CAiSE-2011-FernandezAI #development #evaluation #modelling #usability #web: A Web Usability Evaluation Process for Model-Driven Web Development (AF, SA, EI), pp. 108–122.
CAiSE-2011-FiglL #complexity #modelling: Cognitive Complexity in Business Process Modeling (KF, RL), pp. 452–466.
CAiSE-2011-FriedrichMP #generative #natural language: Process Model Generation from Natural Language Text (FF, JM, FP), pp. 482–496.
CAiSE-2011-GronerWBPWHGS #product line #validation: Validation of Families of Business Processes (GG, CW, MB, FSP, TW, FH, DG, SS), pp. 551–565.
CAiSE-2011-KabicherR #analysis: Human-Centered Process Engineering Based on Content Analysis and Process View Aggregation (SK, SRM), pp. 467–481.
CAiSE-2011-KhalufGE #constraints #formal method #modelling #quality: Pattern-Based Modeling and Formalizing of Business Process Quality Constraints (LK, CG, GE), pp. 521–535.
CAiSE-2011-LeopoldMR #automation #modelling #on the: On the Automatic Labeling of Process Models (HL, JM, HAR), pp. 512–520.
CAiSE-2011-LuebbeW #empirical #modelling: Tangible Media in Process Modeling — A Controlled Experiment (AL, MW), pp. 283–298.
CAiSE-2011-SmirnovRW #abstraction #approach #semantics: A Semantic Approach for Business Process Model Abstraction (SS, HAR, MW), pp. 497–511.
CAiSE-2011-WeidlichMW #approach #variability: A Foundational Approach for Managing Process Variability (MW, JM, MW), pp. 267–282.
EDOC-2011-MilanovicGR #flexibility #modelling: Modeling Flexible Business Processes with Business Rule Patterns (MM, DG, LR), pp. 65–74.
EDOC-2011-Papazoglou #standard: Making Business Processes Compliant to Standards and Regulations (MPP), pp. 3–13.
EDOC-2011-TongBKPL #architecture #challenge #embedded #enterprise #industrial #mobile: Enterprise Architecture for Addressing Business Transformation Challenges: The Case of Embedded Mobile Provisioning Process in the Telecommunications Industry (MT, HB, MK, JP, GL), pp. 35–43.
EDOC-2011-UotiJKOG #collaboration #configuration management: Project Alignment: A Configurable Model and Tool for Managing Critical Shared Processes in Collaborative Projects (MU, KJ, IK, MO, SG), pp. 87–96.
EDOC-2011-VaculinHHCNS #declarative #modelling: Declarative business artifact centric modeling of decision and knowledge intensive business processes (RV, RH, TH, CC, AN, PS), pp. 151–160.
ICEIS-J-2011-BezerraH11a #community #wiki: Applying Conflict Management Process to Wiki Communities (JdMB, CMH), pp. 333–348.
ICEIS-J-2011-ChangS11a #analysis #mobile #research #simulation: Research on Grid-Based Mobile Business Process and Analysis on Process Simulation (DC, LS), pp. 349–361.
ICEIS-J-2011-GuLZWLSLW #enterprise #evaluation #generative #information management #safety: Intelligent Information Acquisition and Utilization in Safety Evaluation Decision Making Process of Power Generation Enterprises (DxG, CyL, JZ, JW, WL, JS, WL, YW), pp. 162–177.
ICEIS-J-2011-PereiraBOM #consistency #set: A Set of Well-Formedness Rules to Checking the Consistency of the Software Processes Based on SPEM 2.0 (EBP, RMB, TCO, MCM), pp. 284–299.
ICEIS-J-2011-TahamtanOTH11a: Temporal Management of WS-BPEL Processes (AT, CO, AMT, AH), pp. 256–269.
ICEIS-v1-2011-ChangLZ #e-commerce #grid #mobile #research #simulation: Simulation Research on the Mobile e-Commerce Process of Non-grid and Grid based on Arena (DC, YL, SZ), pp. 486–494.
ICEIS-v1-2011-JiG #framework #research: Research Process Oriented Intelligent Decision Support System Framework (YJ, JG), pp. 534–538.
ICEIS-v1-2011-PreisslerHL #cost analysis #deployment: Cost-based Business Process Deployment Advisor (SP, DH, WL), pp. 211–216.
ICEIS-v1-2011-RamirezC #fault #using: Fault Diagnosis of Batch Processes Release using PCA Contribution Plots as Fault Signatures (AWR, JCL), pp. 223–228.
ICEIS-v1-2011-WangRP #research: Research of Circular Logistics Process of Telecommunications Operators (YW, YR, LP), pp. 308–313.
ICEIS-v1-2011-YamaguchiDF #guidelines #visualisation: Guidelines for the Choice of Visualization Techniques Applied in the Process of Knowledge Extraction (JKY, MMD, CF), pp. 183–189.
ICEIS-v2-2011-CanoCSF #analysis #architecture #integration #multi #segmentation: Multisensory Architecture for Intelligent Surveillance Systems — Integration of Segmentation, Tracking and Activity Analysis (FAC, JCC, JSC, AFC), pp. 157–162.
ICEIS-v3-2011-BoudebousBBS #approach #design #distributed #industrial: Design Approach of Distributed Systems for the Control of Industrial Process (DB, JB, SB, NS), pp. 157–164.
ICEIS-v3-2011-CamposO #development #modelling: Modeling Work Processes and Software Development — Notation and Tool (ALNC, TCdO), pp. 337–343.
ICEIS-v3-2011-HastbackaKK #development #industrial #modelling: Business Process Modeling and SOA in Industrial O&M Application Development (DH, PK, SK), pp. 277–285.
ICEIS-v3-2011-LazarteVCTI #design #integration #modelling: An MDA-based Method for Designing Integration Process Models in B2B Collaborations (IML, PDV, OC, LHT, CI), pp. 55–65.
ICEIS-v3-2011-LutteriR #case study #enterprise: Characterization of Consultant Activities in ERP Projects — A Case Study (EL, BR), pp. 293–300.
ICEIS-v3-2011-PereiraBMO #consistency: Improving the Consistency of SPEM-based Software Processes (EBP, RMB, MdCM, TCdO), pp. 76–86.
ICEIS-v3-2011-WangCLX #evaluation: Application of Analytic Hierarchy Process on Calculating the Weights of Economic Model Evaluation (DW, DC, NL, JX), pp. 108–116.
ICEIS-v4-2011-BezerraH #community: Conflict Management Process for Virtual Communities (JdMB, CMH), pp. 33–42.
ICEIS-v4-2011-ChangS #mobile #research #simulation: Research on Grid-based Mobile Business Process and Simulation (DC, LS), pp. 86–93.
ICEIS-v4-2011-Ganesan #enterprise #framework #modelling #using: Composite Enterprise Process Modeling (CEProM) Framework — Setting up a Process Modeling Center of Excellence using CEProM Framework (EG), pp. 378–383.
ICEIS-v4-2011-Naderipour #ad hoc #industrial #mining #using: Mining of Ad-hoc Business Processes using Microsoft Sharepoint, Nitro & Prom 6.0 — An Industrial Practice (FN), pp. 413–418.
ICEIS-v4-2011-NgosiHCW #architecture #design #development #enterprise #network: Design Science and Actor Network Theory Nexus — A Perspective of Content Development of a Critical Process for Enterprise Architecture Management (TN, MH, MC, EW), pp. 449–456.
ICEIS-v4-2011-OndoaDS #case study #evaluation #industrial: A Cross Industry Evaluation of Critical Success Factors for Alignment of Strategy and Business Processes — A Case Study of SMEs in the Region of Jönköping in Sweden (MNEO, FAD, US), pp. 338–347.
ICEIS-v4-2011-SchiefKZRWSMME #internet: The ADiWa Project — On the Way to Just-in-time Process Dynamics based on Events from the Internet of Things (MS, CK, BZ, PR, WW, JS, DM, HM, JE), pp. 371–377.
ICEIS-v4-2011-ShiZ #enterprise #industrial #re-engineering: The Business Process Reengineering Study of Steel Industry based on ERP (XS, BZ), pp. 591–594.
ICEIS-v4-2011-SongH #design #internet #optimisation: Optimization of Import Business Process and System Design in Bulk Port based on Internet of Things (XS, LH), pp. 509–512.
CIKM-2011-ChenHAXHP #image #modelling: Perspective hierarchical dirichlet process for user-tagged image modeling (XC, XH, YA, ZX, TH, EKP), pp. 1341–1346.
CIKM-2011-KimO #dependence: Accounting for data dependencies within a hierarchical dirichlet process mixture model (DK, AHO), pp. 873–878.
CIKM-2011-MirzaCCHH #detection: Switch detector: an activity spotting system for desktop (HTM, LC, GC, IH, XH), pp. 2285–2288.
CIKM-2011-PeukertER #rule-based: Rule-based construction of matching processes (EP, JE, ER), pp. 2421–2424.
CIKM-2011-RenMWL #thread #topic #web: Summarizing web forum threads based on a latent topic propagation process (ZR, JM, SW, YL), pp. 879–884.
ICML-2011-ChenPSDC #analysis #learning: The Hierarchical Beta Process for Convolutional Factor Analysis and Deep Learning (BC, GP, GS, DBD, LC), pp. 361–368.
ICML-2011-KuleszaT #named: k-DPPs: Fixed-Size Determinantal Point Processes (AK, BT), pp. 1193–1200.
ICML-2011-Lazaro-GredillaT: Variational Heteroscedastic Gaussian Process Regression (MLG, MKT), pp. 841–848.
ICML-2011-MannorT #markov #optimisation: Mean-Variance Optimization in Markov Decision Processes (SM, JNT), pp. 177–184.
ICML-2011-PaisleyCB: Variational Inference for Stick-Breaking Beta Process Priors (JWP, LC, DMB), pp. 889–896.
ICML-2011-RaiD: Beam Search based MAP Estimates for the Indian Buffet Process (PR, HDI), pp. 705–712.
ICML-2011-ThomasB #markov: Conjugate Markov Decision Processes (PST, AGB), pp. 137–144.
ICML-2011-ZhuCX #infinity #kernel: Infinite SVM: a Dirichlet Process Mixture of Large-margin Kernel Machines (JZ, NC, EPX), pp. 617–624.
KDD-2011-ChenDWSNL #analysis: Activity analysis based on low sample rate smart meters (FC, JD, BW, SS, MRN, CTL), pp. 240–248.
KDIR-2011-RomeiT #programming #using #xquery: Programming the KDD Process using XQuery (AR, FT), pp. 131–139.
KEOD-2011-MunozCLCP #enterprise #framework #integration #ontology: Ontological Framework for the Enterprise from a Process Perspective — Operational, Tactical and Strategic Integration for Improved Decision-making (EM, ECG, JML, AEC, LP), pp. 538–546.
KEOD-2011-OmraneNS #concept #ontology: From Linguistics to Ontologies — The Role of Named Entities in the Conceptualisation Process (NO, AN, SS), pp. 249–254.
KMIS-2011-FortierS #modelling #requirements #using: Defining Information Requirements — Using Business Process Modeling for Incident Response for Chemical Facilities (SCF, GLS), pp. 411–417.
KMIS-2011-GoncalvesP #approach #challenge #towards: Business Processes and Organisations — Challenges and Opportunities Towards a People-centric Approach (NPG, JASP), pp. 418–423.
KMIS-2011-GretschMH #implementation: The Difficulty of Finding Experts — Implementation Process of Corporate Yellow Pages (SG, HM, JH), pp. 48–56.
KMIS-2011-Grim-YefsahRT11a #network #robust #using: Using Information of an Informal Network to Evaluate Business Process Robustness (MGY, CRS, VTG), pp. 430–435.
KMIS-2011-Jurczyk-BunkowskaJ #case study #experience #information management: Perspectives of Knowledge Management System Application in Innovation Processes — A Study based on Experience of Polish IT Company (MJB, KJ), pp. 287–293.
KMIS-2011-NiedermannSM #optimisation #repository: Managing Insights: A Repository for Process Analytics, Optimization and Decision Support (FN, HS, BM), pp. 424–429.
KMIS-2011-Nishioka #using: Quotation Process Management of One-of-a-kind Production using PSLX Information Model (YN), pp. 167–172.
KMIS-2011-RamosSB: A Method for Discovering the Relevance of External Context Variables to Business Processes (ECR, FMS, FAB), pp. 399–408.
MLDM-2011-ShengT: Boosting Inspired Process for Improving AUC (VSS, RT), pp. 199–209.
RecSys-2011-GuyRR #personalisation: Personalized activity streams: sifting through the “river of news” (IG, IR, AR), pp. 181–188.
SEKE-2011-AlmeidaMA #analysis #execution #using: Analysis of the continuity of software processes execution in software organizations assessed in MPS.BR using Grounded Theory (CDAdA, TCM, AA), pp. 792–797.
SEKE-2011-BalbinoAM #agile #product line: An Agile Scoping Process for Software Product Lines (MB, ESdA, SRdLM), pp. 717–722.
SEKE-2011-BasriO #development #information management: The Impact of Software Development Team Dynamics on the Knowledge Management Process(S) (SB, RVO), pp. 339–342.
SEKE-2011-BozRSTNP #information management: A Virtual Catalyst in the Knowledge Acquisition Process (GBJ, MPR, GYS, CAT, JCN, ECP), pp. 149–152.
SEKE-2011-ChenHS #adaptation #analysis #modelling #towards #validation: Towards Modeling and Validating Analysis Processes for Software Adaptation (XC, GH, LS), pp. 547–552.
SEKE-2011-DiawLC #implementation #metamodelling #specification: Specification and Implementation of SPEM4MDE, a metamodel for MDE software processes (SD, RL, BC), pp. 646–653.
SEKE-2011-FreireAKAC #approach #automation #deployment #modelling #monitoring: Automatic Deployment and Monitoring of Software Processes: A Model-Driven Approach (MAF, FAA, UK, EA, RC), pp. 42–47.
SEKE-2011-GuntherNGD #network: Causal Networks Based Process Improvement (DG, RN, KG, RRD), pp. 462–465.
SEKE-2011-Krishna #approach #non-functional #requirements #uml: A Process Oriented Approach to Model Non-Functional Requirements Proposition Extending UML (AK), pp. 736–739.
SEKE-2011-LemosSLO #consistency #development #mining: Conformance Checking of Software Development Processes Through Process Mining (AML, CCS, RMFL, CALO), pp. 654–659.
SEKE-2011-MachadoNAM #named #product line #testing: RiPLE-TE: A Process for Testing Software Product Lines (IdCM, PAdMSN, ESdA, SRdLM), pp. 711–716.
SEKE-2011-MordinyiMBD #adaptation #flexibility: Flexible Support for Adaptable Software and Systems Engineering Processes (RM, TM, SB, DD), pp. 608–612.
SEKE-2011-WagnerFF #security #using: Using Security Patterns to Tailor Software Process (RW, LMF, ABF), pp. 672–677.
SEKE-2011-XieLW #modelling #reliability #web #web service: A Web Service Reliability Model Based on Birth-Death Process (CX, BL, XW), pp. 625–628.
SEKE-2011-ZhouWC #information management: Knowledge Engineering in the domain of Carbon Dioxide Capture Process System (QZ, AJW, CWC), pp. 414–419.
ECMFA-2011-EllnerADJKP #distributed #execution #modelling: A FUML-Based Distributed Execution Machine for Enacting Software Process Models (RE, SAH, JD, MJ, DK, MP), pp. 19–34.
ECMFA-2011-GessenharterR #approach #code generation #development #diagrams #modelling #towards #uml: Code Generation for UML 2 Activity Diagrams — Towards a Comprehensive Model-Driven Development Approach (DG, MR), pp. 205–220.
MoDELS-2011-Kraemer #android #uml: Engineering Android Applications Based on UML Activities (FAK), pp. 183–197.
MoDELS-2011-ReggioRSCD #modelling #precise: A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (GR, FR, GS, FDC, GD), pp. 138–152.
SPLC-2011-ChenE #optimisation: Optimizing the Product Derivation Process (SC, ME), pp. 35–44.
SPLC-2011-YoshimuraSOOAKWF #experience #multi #product line: Key Activities for Introducing Software Product Lines into Multiple Divisions: Experience at Hitachi (KY, JS, TO, CO, YA, SK, SW, KF), pp. 261–266.
POPL-2011-FengDY #bisimulation #quantum: Bisimulation for quantum processes (YF, RD, MY), pp. 523–534.
QAPL-2011-DengGHM #probability #testing: Real-Reward Testing for Probabilistic Processes (YD, RJvG, MH, CM), pp. 61–73.
RE-2011-KomssiKTLD #analysis #perspective: Integrating analysis of customers’ processes into roadmapping: The value-creation perspective (MK, MK, HT, LL, AMD), pp. 57–66.
REFSQ-2011-MarkovHC #case study #industrial #requirements: Requirements Engineering Process Improvement: An Industrial Case Study (GAM, AH, OC), pp. 34–47.
ASE-2011-ChenHX #approach #evaluation #machine learning: Software process evaluation: A machine learning approach (NC, SCHH, XX), pp. 333–342.
ASE-2011-LeungwattanakitAHTY #distributed #model checking: Model checking distributed systems by combining caching and process checkpointing (WL, CA, MH, YT, MY), pp. 103–112.
ASE-2011-SilvaBB #execution: Deviation management during process execution (MAAdS, XB, RB), pp. 528–531.
ASE-2011-TellB #development #paradigm: Supporting activity based computing paradigm in global software development (PT, MAB), pp. 508–511.
ESEC-FSE-2011-CostacheKK #design #implementation #validation: Design and validation of feature-based process model tailoring: a sample implementation of PDE (DC, GK, MK), pp. 464–467.
ESEC-FSE-2011-MaozRR #diagrams #difference #named #semantics: ADDiff: semantic differencing for activity diagrams (SM, JOR, BR), pp. 179–189.
ESEC-FSE-2011-Mori #adaptation #lifecycle: A software lifecycle process for context-aware adaptive systems (MM), pp. 412–415.
ESEC-FSE-2011-Prause #quality #research #self: Reputation-based self-management of software process artifact quality in consortium research projects (CP), pp. 380–383.
ICSE-2011-CuddebackDHHK #requirements #towards: Towards overcoming human analyst fallibility in the requirements tracing process (DC, AD, JHH, JH, WKK), pp. 860–863.
ICSE-2011-FujiiDF #assessment #development #incremental #reliability #towards: Towards quantitative software reliability assessment in incremental development processes (TF, TD, TF), pp. 41–50.
ICSE-2011-LaymanBZF #case study #safety: A case study of measuring process risk for early insights into software safety (LL, VRB, MVZ, KLF), pp. 623–632.
ICSE-2011-Salah #agile #design #development #framework #integration: A framework for the integration of user centered design and agile software development processes (DS), pp. 1132–1133.
ICSE-2011-Sethanandha #open source #tool support: Improving open source software patch contribution process: methods and tools (BDS), pp. 1134–1135.
ICSE-2011-SimidchievaO: Characterizing process variation (BIS, LJO), pp. 836–839.
ICSE-2011-ZhangJHHZ #simulation: Impact of process simulation on software practice: an initial report (HZ, DRJ, DH, LH, LZ), pp. 1046–1056.
SAC-2011-ClevenWW #analysis #design #performance #problem: Process performance management: illuminating design issues through a systematic problem analysis (AC, RW, FW), pp. 280–286.
SAC-2011-JanieschMMVB #architecture #named #realtime: Slipstream: architecture options for real-time process analytics (CJ, MM, OM, RV, JB), pp. 295–300.
SAC-2011-LiOZ #approach #collaboration #modelling: An integrated approach for modeling and facilitating RFID-based collaborative logistics processes (YL, AO, HZ), pp. 301–307.
SAC-2011-Perez-CastilloGPWP #comparison #empirical #mining: An empirical comparison of static and dynamic business process mining (RPC, IGRdG, MP, BW, ÁSP), pp. 272–279.
SAC-2011-RamosCAA #case study #modelling #towards: Towards the improvement of use case models: the AIRDoc process (RAR, JBdC, JA, FMRA), pp. 708–709.
SAC-2011-TranCTV #automation #modelling #reuse #using: Automatic reuse of process patterns in process modeling (HNT, BC, TDT, MHV), pp. 1431–1438.
SLE-2011-ErwigW #design #exclamation #semantics: Semantics First! — Rethinking the Language Design Process (ME, EW), pp. 243–262.
CASE-2011-AngererEHRR #automation #design: Design of an automation system for preforming processes in aerospace industries (AA, CE, AH, WR, GR), pp. 557–562.
CASE-2011-LiTL: A GERT-based analytical method for remanufacturing process routing (CL, YT, CL), pp. 462–467.
CASE-2011-MikosFG #agile #approach #distributed #injection #reasoning: A distributed system for rapid determination of nonconformance causes and solutions for the thermoplastic injection molding process: A Case-Based Reasoning Agents approach (WLM, JCEF, FGCG), pp. 755–760.
CASE-2011-SenoussiCDZ #detection #fault #feature model: Feature selection for fault detection systems: Application to the Tennessee Eastman Process (HS, BCM, MD, NZ), pp. 189–194.
CASE-2011-ThramboulidisSF #automation #industrial #safety #towards #verification: Towards an automated verification process for industrial safety applications (KT, DS, GF), pp. 482–487.
DAC-2011-AarestadLPAA: Characterizing within-die and die-to-die delay variations introduced by process variations and SOI history effect (JA, CL, JP, DA, KA), pp. 534–539.
DAC-2011-DyerMK #hybrid #modelling: Hybrid modeling of non-stationary process variations (ELD, MM, FK), pp. 194–199.
DAC-2011-HaoTSS #analysis #bound #performance: Performance bound analysis of analog circuits considering process variations (ZH, SXDT, RS, GS), pp. 310–315.
DAC-2011-LeeJ #framework #modelling #named: CACTI-FinFET: an integrated delay and power modeling framework for FinFET-based caches under process variations (CYL, NKJ), pp. 866–871.
DAC-2011-SharifiK #multi: Process variation-aware routing in NoC based multicores (AS, MTK), pp. 924–929.
DAC-2011-ZhaiNS #adaptation #modelling #network #streaming: Modeling adaptive streaming applications with parameterized polyhedral process networks (JTZ, HN, TS), pp. 116–121.
DATE-2011-FerreiraBCMM #algorithm: Impact of process variation on endurance algorithms for wear-prone memories (APF, SB, BRC, RGM, DM), pp. 962–967.
DATE-2011-JuanGM #3d #evaluation #multi #statistics: Statistical thermal evaluation and mitigation techniques for 3D Chip-Multiprocessors in the presence of process variations (DCJ, SG, DM), pp. 383–388.
DATE-2011-KunduS #design #modelling: Modeling manufacturing process variation for design and test (SK, AS), pp. 1147–1152.
DATE-2011-LiuHRG #optimisation #using: Global optimization of integrated transformers for high frequency microwave circuits using a Gaussian process based surrogate model (BL, YH, PR, GGEG), pp. 1101–1106.
DATE-2011-LopezMBPGE #design #interface #programmable: Systematic design of a programmable low-noise CMOS neural interface for cell activity recording (CML, SM, CB, RP, GGEG, WE), pp. 818–823.
DATE-2011-NarayananZT #correctness #pattern matching #using: Ensuring correctness of analog circuits in presence of noise and process variations using pattern matching (RN, MHZ, ST), pp. 1188–1191.
DATE-2011-RemondNBM #approach #design #empirical #simulation: Mathematical approach based on a “Design of Experiment” to simulate process variations (ER, EN, CB, RM), pp. 1486–1490.
DATE-2011-SreedharK #design #identification #on the: On design of test structures for lithographic process corner identification (AS, SK), pp. 800–805.
DATE-2011-WelpK #approach #markov #synthesis: An approach for dynamic selection of synthesis transformations based on Markov Decision Processes (TW, AK), pp. 1533–1536.
HPCA-2011-CarreteroVARMG #hardware #using: Hardware/software-based diagnosis of load-store queues using expandable activity logs (JC, XV, JA, TR, MM, AG), pp. 321–331.
SOSP-2011-LaadanVTBYN #detection #pervasive: Pervasive detection of process races in deployed systems (OL, NV, CcT, CB, JY, JN), pp. 353–367.
FoSSaCS-2011-PierardS #bisimulation #calculus #distributed #higher-order: Sound Bisimulations for Higher-Order Distributed Process Calculus (AP, ES), pp. 123–137.
TACAS-2011-GaravelLMS #analysis #distributed: CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (HG, FL, RM, WS), pp. 372–387.
TACAS-2011-KieferW #on the #parallel #probability #source code: On Probabilistic Parallel Programs with Process Creation and Synchronisation (SK, DW), pp. 296–310.
TACAS-2011-RavnSV #modelling #protocol #verification #web #web service: Modelling and Verification of Web Services Business Activity Protocol (APR, JS, SV), pp. 357–371.
CAV-2011-ChatterjeeHJS #algorithm #analysis #automaton #markov: Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives (KC, MH, MJ, NS), pp. 260–276.
LICS-2011-BrazdilBCFK #markov #multi: Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (TB, VB, KC, VF, AK), pp. 33–42.
VMCAI-2011-GawlitzaLMSW #analysis #concurrent #reachability #source code: Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation (TMG, PL, MMO, HS, AW), pp. 199–213.
ECSA-2010-ChardignyS #architecture #documentation #object-oriented #source code: Software Architecture Recovery Process Based on Object-Oriented Source Code and Documentation (SC, AS), pp. 409–416.
ECSA-2010-HeeschA #architecture #comprehension #overview #reasoning #student: Naive Architecting — Understanding the Reasoning Process of Students — A Descriptive Survey (UvH, PA), pp. 24–37.
ECSA-2010-KrupaviciuteF #automation #distributed: Expert Activities Automation through Enhanced Business Services Orchestration (AK, JF), pp. 497–500.
QoSA-2010-BirkmeierO #architecture #development #diagrams #empirical #uml #usability: Is BPMN Really First Choice in Joint Architecture Development? An Empirical Study on the Usability of BPMN and UML Activity Diagrams for Business Users (DB, SO), pp. 119–134.
ECDL-2010-JacquinDC #approach #documentation #modelling #towards: Xeproc(c): A Model-Based Approach towards Document Process Preservation (TJ, HD, JPC), pp. 538–541.
VLDB-2010-DeutchMPY #evaluation #query: Optimal Top-K Query Evaluation for Weighted Business Processes (DD, TM, NP, TY), pp. 940–951.
EDM-2010-Bian #clustering #learning #student: Clustering Student Learning Activity Data (HB), pp. 277–278.
EDM-2010-HershkovitzN #persistent #question #student: Is Students’ Activity in LMS Persistent? (AH, RN), pp. 295–296.
EDM-2010-HowardJN #mining #using: Examining Learner Control in a Structured Inquiry Cycle Using Process Mining (LH, JJ, CN), pp. 71–80.
EDM-2010-SouthavilayYC #collaboration #mining #student: Process Mining to Support Students’ Collaborative Writing (VS, KY, RAC), pp. 257–266.
ITiCSE-2010-Larraza-MendiluzeG #game studies #learning #topic #using: Changing the learning process of the input/output topic using a game in a portable console (ELM, NGV), p. 316.
CSMR-2010-LanzaHG #collaboration #development #realtime #visualisation: Supporting Collaboration Awareness with Real-Time Visualization of Development Activity (ML, LH, AG), pp. 202–211.
ICPC-2010-AversanoMT #component #traceability: Recovering Traceability Links between Business Process and Software System Components (LA, FM, MT), pp. 52–53.
ICSM-2010-HasanSBA: Analyzing natural-language artifacts of the software process (MH, ES, DB, MHA), pp. 1–5.
ICSM-2010-HindleGH #using: Software process recovery using Recovered Unified Process Views (AH, MWG, RCH), pp. 1–10.
MSR-2010-BachmannB #correlation #dataset #debugging #quality #re-engineering: When process data quality affects the number of bugs: Correlations in software engineering datasets (AB, AB), pp. 62–71.
WCRE-2010-Hindle: Software Process Recovery: Recovering Process from Artifacts (AH), pp. 305–308.
ICALP-v2-2010-LanesePSS #calculus #communication #higher-order #on the: On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi (IL, JAP, DS, AS), pp. 442–453.
LATA-2010-HemmerlingSK #difference #equation #network #programming language #specification: A Programming Language Tailored to the Specification and Solution of Differential Equations Describing Processes on Networks (RH, KS, WK), pp. 297–308.
SEFM-2010-MassinkLBH #algebra #analysis #approach #scalability: A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis (MM, DL, AB, MDH), pp. 169–180.
CIG-2010-AcamporaFL #behaviour #fuzzy: Synthesizing bots emotional behaviors through fuzzy cognitive processes (GA, FF, VL), pp. 329–336.
VS-Games-2010-GrauTCMR #3d #design: Design of 3D Virtual Neuropsychological Rehabilitation Activities (SG, DT, RC, SM, MR), pp. 109–116.
ICGT-2010-Monreale #automaton #calculus #encoding #lts #semantics #visual notation: LTS Semantics for Process Calculi from Their Graphical Encodings (GVM), pp. 403–406.
CHI-2010-BerkovskyCFBB #game studies #physics: Physical activity motivating games: virtual rewards for real activity (SB, MC, JF, DB, NB), pp. 243–252.
CHI-2010-BurkeML #network #social: Social network activity and social well-being (MB, CM, TML), pp. 1909–1912.
CHI-2010-FlorLJPKC #case study #mobile: The case of the disappearing Ox: a field study of mobile activity and context logging (GdlF, PL, MJ, JP, RK, AC), pp. 473–482.
CHI-2010-HiranoYMNBH #evaluation #named: vSked: evaluation of a system to support classroom activities for children with autism (SHH, MTY, GM, DHN, LAB, GRH), pp. 1633–1642.
CHI-2010-KarkkainenVV #case study #mobile: I don’t mind being logged, but want to remain in control: a field study of mobile activity and context logging (TK, TV, KVVM), pp. 163–172.
CHI-2010-LiNLDC #reuse #web #what: Here’s what i did: sharing and reusing web activity with ActionShot (IL, JN, TAL, CD, AC), pp. 723–732.
CHI-2010-ParkZ: Investigating the opportunity for a smart activity bag (SYP, JZ), pp. 2543–2552.
CHI-2010-ShastriFBTP: O job can you return my mojo: improving human engagement and enjoyment in routine activities (DS, YF, RB, PT, IP), pp. 2491–2498.
CHI-2010-SjolieBEEJN #3d: Effects of interactivity and 3D-motion on mental rotation brain activity in an immersive virtual environment (DS, KB, EE, JE, LEJ, LN), pp. 869–878.
SOFTVIS-2010-AlbrechtEHK #algorithm #automation #layout: An automatic layout algorithm for BPEL processes (BA, PE, MH, MK), pp. 173–182.
CAiSE-2010-AalstPS #mining: Beyond Process Mining: From the Past to Present and Future (WMPvdA, MP, MS), pp. 38–52.
CAiSE-2010-Rittgen #modelling: Success Factors of e-Collaboration in Business Process Modeling (PR), pp. 24–37.
CAiSE-2010-WeidlichDM #framework #identification #modelling: The ICoP Framework: Identification of Correspondences between Process Models (MW, RMD, JM), pp. 483–498.
CAiSE-2010-WeidlichPDM #behaviour #metric: Process Compliance Measurement Based on Behavioural Profiles (MW, AP, ND, JM), pp. 499–514.
EDOC-2010-AtkinsonDG #specification: Typed Business Process Specification (CA, DD, VG), pp. 69–78.
EDOC-2010-EshuisN #framework #outsourcing #using: A Framework for Service Outsourcing Using Process Views (RE, AN), pp. 99–108.
EDOC-2010-KalsingNIT #approach #incremental #legacy #mining: An Incremental Process Mining Approach to Extract Knowledge from Legacy Systems (AK, GSdN, CI, LHT), pp. 79–88.
EDOC-2010-MilanovicG #modelling: Modeling Service Choreographies with Rule-Enhanced Business Processes (MM, DG), pp. 194–203.
EDOC-2010-NezhadBGSS #approach: IT Support Conversation Manager: A Conversation-Centered Approach and Tool for Managing Best Practice IT Processes (HRMN, CB, SG, SS, SS), pp. 247–256.
EDOC-2010-SchummLS: Process Viewing Patterns (DS, FL, AS), pp. 89–98.
EDOC-2010-TerresNS #automation: Selection of Business Process for Autonomic Automation (LDT, JARN, JMdS), pp. 237–246.
ICEIS-AIDSS-2010-CuzzocreaFP #abstraction #analysis #collaboration #effectiveness #flexibility #mining: Effective Analysis of Flexible Collaboration Processes by Way of Abstraction and Mining Techniques (AC, FF, LP), pp. 157–166.
ICEIS-AIDSS-2010-GilS #implementation #performance #using: Using Key Performance Indicators to Facilitate the Strategy Implementation and Business Process Improvement in SME’s (MMG, DNS), pp. 193–197.
ICEIS-AIDSS-2010-KrammerM #collaboration #named: DecisionWave — Embedding Collaborative Decision Making into Business Processes (CK, AM), pp. 232–237.
ICEIS-AIDSS-2010-MianiYSF #algorithm #optimisation #semantics: NARFO* Algorithm — Optimizing the Process of Obtaining Non-redundant and Generalized Semantic Association Rules (RGM, CAY, MTPS, VRTF), pp. 320–325.
ICEIS-AIDSS-2010-VialeBGP #approach #modelling #scalability #sequence #using: Modeling Large Scale Manufacturing Process from Timed Data — Using the TOM4L Approach and Sequence Alignment Information for Modeling STMicroelectronics’ Production Processes (PV, NB, MLG, JP), pp. 129–138.
ICEIS-DISI-2010-BenzartiTMHY #web #web service: Engineering Process for Capacity-driven Web Services (IB, ST, ZM, NBHA, MMY), pp. 84–95.
ICEIS-DISI-2010-HernandesSF #concept #named #ontology: ONTOP — A Process to Support Ontology Conceptualization (EMH, DS, SF), pp. 58–65.
ICEIS-DISI-2010-KalsingTI #algorithm #incremental #mining: An Incremental Process Mining Algorithm (AK, LHT, CI), pp. 263–268.
ICEIS-DISI-2010-PopovicCJ #quality #using: Absorption of Information Provided by Business Intelligence Systems — The Effect of Information Quality on the Use of Information in Business Processes (AP, PSC, JJ), pp. 176–181.
ICEIS-DISI-2010-SantosC #information management #reasoning #reuse: Organizational Knowledge Management through Software Process Reuse and Case-based Reasoning (VAS, MIC), pp. 223–228.
ICEIS-DISI-2010-SellamiBAF #composition: Improving Real World Schema Matching with Decomposition Process (SS, ANB, YA, FF), pp. 151–158.
ICEIS-ISAS-2010-AleixoFSK #approach #modelling: A Model-driven Approach to Managing and Customizing Software Process Variabilities (FAA, MAF, WCdS, UK), pp. 92–100.
ICEIS-ISAS-2010-BeestSW #concurrent: Assessing the Interference in Concurrent Business Processes (NRTPvB, NBS, JCW), pp. 261–270.
ICEIS-ISAS-2010-CappelliSNBD #estimation: An Estimation Procedure to Determine the Effort Required to Model Business Processes (CC, FMS, VTN, MdOB, JRD), pp. 178–184.
ICEIS-ISAS-2010-EspindolaA #metamodelling: A SPEM based Software Process Improvement Meta-model (RSdE, JLNA), pp. 301–306.
ICEIS-ISAS-2010-FernandesPMP #execution #optimisation: Integrating and Optimizing Business Process Execution in P2P Environments (MF, MP, JAM, JSP), pp. 171–177.
ICEIS-ISAS-2010-GoncalvesSB #collaboration #elicitation: Collaborative Business Process Elicitation through Group Storytelling (JCdARG, FMS, FAB), pp. 295–300.
ICEIS-ISAS-2010-GradlMWK #enterprise #modelling #network #using: Modeling ERP Business Processes using Layered Queueing Networks (SG, MM, HW, HK), pp. 255–260.
ICEIS-ISAS-2010-IizukaIT #analysis #approach #effectiveness #re-engineering: Analysis of Effective Approach for Business Process re-Engineering — From the Perspective of Organizational Factors (KI, YI, KT), pp. 384–389.
ICEIS-ISAS-2010-KikuchiMAM #mining: Process Mining for Job Nets in Integrated Complex Computer Systems (SK, YM, MA, SM), pp. 5–12.
ICEIS-ISAS-2010-LinS #constraints #data transformation #dependence: Managing Data Dependency Constraints through Business Processes (JYCL, SWS), pp. 52–59.
ICEIS-ISAS-2010-MacielSM #approach #modelling: Applying and Evaluating an MDA Process Modeling Approach (RSPM, BCdS, APFM), pp. 185–190.
ICEIS-ISAS-2010-MoralesTP #composition #verification: Compositional Verification of Business Processes Modelled with BPMN (LEMM, MICT, MAP), pp. 113–122.
ICEIS-ISAS-2010-NunesWS: Context-based Process Line (VTN, CW, FMS), pp. 277–282.
ICEIS-ISAS-2010-SeemuellerVHB #approach #development: Situational Method Engineering Applied for the Enactment of Development Processes — An Agent based Approach (HS, HV, BH, BB), pp. 399–405.
ICEIS-ISAS-2010-SetiawanS #analysis: Socialization of Work Practice through Business Process Analysis (MAS, SWS), pp. 165–170.
ICEIS-ISAS-2010-SharonSBBV #development #framework: A Decision Framework for Selecting a Suitable Software Development Process (IS, MdSS, JB, JvdB, JLMV), pp. 34–43.
ICEIS-J-2010-AleixoFSK10a #approach #automation #deployment #modelling #variability: Automating the Variability Management, Customization and Deployment of Software Processes: A Model-Driven Approach (FAA, MAF, WCdS, UK), pp. 372–387.
ICEIS-J-2010-KikuchiMAM10a #enterprise #mining: Process Mining for Job Nets in Integrated Enterprise Systems (SK, YM, MA, SM), pp. 299–310.
ICEIS-J-2010-LinS10a #approach #constraints #dependence: A Business Process Driven Approach to Manage Data Dependency Constraints (JYCL, SWS), pp. 326–339.
ICEIS-J-2010-MoralesTP10a #composition #formal method #verification: A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes (LEMM, MICT, MAP), pp. 388–403.
ICEIS-J-2010-PreisslerHL10a #concept #execution #streaming #xml: An XML-Based Streaming Concept for Business Process Execution (SP, DH, WL), pp. 60–75.
CIKM-2010-CumminsLO #induction #information retrieval #perspective: Examining the information retrieval process from an inductive perspective (RC, ML, CO), pp. 89–98.
CIKM-2010-FlorezD #mining: Mining rules to explain activities in videos (OUF, CED), pp. 1577–1580.
CIKM-2010-TomazelaHCC #integration #named: Print: a provenance model to support integration processes (BT, CSH, RRC, CDdAC), pp. 1349–1352.
CIKM-2010-WangJ #adaptation #online #personalisation #social: Exploring online social activities for adaptive search personalization (QW, HJ), pp. 999–1008.
CIKM-2010-WangJL #collaboration #mining: Collaboration analytics: mining work patterns from collaboration activities (QW, HJ, YL), pp. 1861–1864.
ICML-2010-BartlettPW #constant #memory management: Forgetting Counts: Constant Memory Inference for a Dependent Hierarchical Pitman-Yor Process (NB, DP, FW), pp. 63–70.
ICML-2010-BleiF #distance: Distance dependent Chinese restaurant processes (DMB, PIF), pp. 87–94.
ICML-2010-CaniniSG #categorisation #learning #modelling: Modeling Transfer Learning in Human Categorization with the Hierarchical Dirichlet Process (KRC, MMS, TLG), pp. 151–158.
ICML-2010-KimT10a #learning #multi: Gaussian Processes Multiple Instance Learning (MK, FDlT), pp. 535–542.
ICML-2010-PaisleyZWGC: A Stick-Breaking Construction of the Beta Process (JWP, AKZ, CWW, GSG, LC), pp. 847–854.
ICML-2010-PetrikTPZ #approximate #feature model #linear #markov #source code #using: Feature Selection Using Regularization in Approximate Linear Programs for Markov Decision Processes (MP, GT, RP, SZ), pp. 871–878.
ICML-2010-Ryabko #clustering: Clustering processes (DR), pp. 919–926.
ICML-2010-SaatciTR #modelling: Gaussian Process Change Point Models (YS, RDT, CER), pp. 927–934.
ICML-2010-SrinivasKKS #design #optimisation: Gaussian Process Optimization in the Bandit Setting: No Regret and Experimental Design (NS, AK, SK, MWS), pp. 1015–1022.
ICML-2010-VogtPFR #clustering #distance #invariant: The Translation-invariant Wishart-Dirichlet Process for Clustering Distance Data (JEV, SP, TJF, VR), pp. 1111–1118.
ICML-2010-WilliamsonWHB #modelling #topic: The IBP Compound Dirichlet Process and its Application to Focused Topic Modeling (SW, CW, KAH, DMB), pp. 1151–1158.
ICML-2010-YanQ: Sparse Gaussian Process Regression via L1 Penalization (FY, Y(Q), pp. 1183–1190.
ICPR-2010-AsheriRPR #adaptation #fault #framework #kernel: A Gaussian Process Regression Framework for Spatial Error Concealment with Adaptive Kernels (HA, HRR, NP, MHR), pp. 4541–4544.
ICPR-2010-BenedekDZ #detection #image: Building Detection in a Single Remotely Sensed Image with a Point Process of Rectangles (CB, XD, JZ), pp. 1417–1420.
ICPR-2010-ChengQHJT #estimation #recognition: Group Activity Recognition by Gaussian Processes Estimation (ZC, LQ, QH, SJ, QT), pp. 3228–3231.
ICPR-2010-DengH #composition #detection #exponential: Voice Activity Detection Based on Complex Exponential Atomic Decomposition and Likelihood Ratio Test (SD, JH), pp. 89–92.
ICPR-2010-JunG #classification: Nearest-Manifold Classification with Gaussian Processes (GJ, JG), pp. 914–917.
ICPR-2010-KaramanBMDDG #monitoring #smarttech: Human Daily Activities Indexing in Videos from Wearable Cameras for Monitoring of Patients with Dementia Diseases (SK, JBP, RM, VD, JFD, YG), pp. 4113–4116.
ICPR-2010-LiuLLLS #detection #markov #modelling: Noise-Robust Voice Activity Detector Based on Hidden Semi-Markov Models (XL, YL, YL, HL, BS), pp. 81–84.
ICPR-2010-OhH #learning #using #video: Unsupervised Learning of Activities in Video Using Scene Context (SO, AH), pp. 3579–3582.
ICPR-2010-PetersenK #analysis #estimation #modelling #statistics: Statistical Analysis of Kalman Filters by Conversion to Gauss-Helmert Models with Applications to Process Noise Estimation (AP, RK), pp. 2386–2389.
ICPR-2010-SethiC #analysis #motivation #probability #video: A Neurobiologically Motivated Stochastic Method for Analysis of Human Activities in Video (RJS, AKRC), pp. 281–285.
ICPR-2010-ShimosakaINSM #detection: Detecting Human Activity Profiles with Dirichlet Enhanced Inhomogeneous Poisson Processes (MS, TI, HN, TS, TM), pp. 4384–4387.
ICPR-2010-SuS #predict: Latent Fingerprint Core Point Prediction Based on Gaussian Processes (CS, SNS), pp. 1634–1637.
ICPR-2010-UlkerGC #modelling: Annealed SMC Samplers for Dirichlet Process Mixture Models (YÜ, BG, ATC), pp. 2808–2811.
ICPR-2010-VenkateshaT #recognition #using: Human Activity Recognition Using Local Shape Descriptors (SV, MT), pp. 3704–3707.
ICPR-2010-WangJMS #using: Decoding Finger Flexion from Electrocorticographic Signals Using a Sparse Gaussian Process (ZW, QJ, KJM, GS), pp. 3756–3759.
ICPR-2010-WangM #learning #order #using: Gaussian Process Learning from Order Relationships Using Expectation Propagation (RW, SJM), pp. 605–608.
ICPR-2010-ZhaoWSS #feature model #recognition: Motif Discovery and Feature Selection for CRF-based Activity Recognition (LZ, XW, GS, RS), pp. 3826–3829.
KDD-2010-SatoN #modelling #topic #using: Topic models with power-law using Pitman-Yor process (IS, HN), pp. 673–682.
KDD-2010-YuHW #clustering #documentation #feature model: Document clustering via dirichlet process mixture model with feature selection (GY, RzH, ZW), pp. 763–772.
KDD-2010-ZhangSZL #corpus #correlation #multi: Evolutionary hierarchical dirichlet processes for multiple correlated time-varying corpora (JZ, YS, CZ, SL), pp. 1079–1088.
KDIR-2010-GabrielSN #clustering #folksonomy #named: Crosssense — Sensemaking in a Folksonomy with Cross-modal Clustering over Content and User Activities (HHG, MS, AN), pp. 100–111.
KDIR-2010-JunGRO #image #predict: Predicting Ground-based Aerosol Optical Depth with Satellite Images Via Gaussian Processes (GJ, JG, VR, ZO), pp. 370–375.
KDIR-2010-Studer #lightweight #modelling #semantics #using #web: Process-oriented Semantic Web Search — Using Lightweight Semantic Models for Supporting the Search Process (RS), p. 7.
KEOD-2010-BarrosoAG #encryption #hardware #in the cloud: Key Management Process on the Hardware Cryptographic Module in the Cloud Computing (JMDB, LJA, PGG), pp. 493–496.
KEOD-2010-HughesWC #development #modelling #ontology: Ontological Modelling to Support the Planning of is Development Processes — A Position Paper (RTH, GW, KC), pp. 319–324.
KMIS-2010-ButanOSCP #information management: A New Knowledge Management Tool to Facilitate Process Innovation in Manufacturing Companies (DB, EO, MS, SC, MP), pp. 342–347.
KMIS-2010-ChakrabortyZ #approach #towards: A Systematic Approach Towards Collection, Processing & Distribution of Information about Competitor Activities & Customer Needs in Terms of Products & Services (SC, MZ), pp. 348–353.
KMIS-2010-EtoMKM #evaluation: Externalization Method and Its Evaluation of Know-how Information for Care Planning Processes by Awareness of Novices (KE, MM, YK, TM), pp. 201–206.
KMIS-2010-KhalifaS #approach #information management: An Integrated Approach in Developing Knowledge Management Process Capabilities (MK, KNS), pp. 121–128.
KMIS-2010-RiosRR #modelling #project management: Modeling Knowledge Flows in Software Project Management Processes (BLFR, SLGR, OMRE), pp. 213–217.
KMIS-2010-ScheibmayerIB #analysis #approach #framework: A Framework to Measure the Impact of Knowledge Process Supporting Technologies — An Integrated Approach for a Technology-oriented Business Benefit Analysis (MS, AI, MB), pp. 253–259.
KMIS-2010-SonntagR #multimodal #semantics #towards: Towards a Process of Building Semantic Multimodal Dialogue Demonstrators (DS, NR), pp. 322–331.
KMIS-2010-XuB #design #information management #integration: Integration of Knowledge Management in Product Design Process (YX, AB), pp. 338–341.
RecSys-2010-BerkovskyFCB #algorithm #game studies #recommendation: Recommender algorithms in activity motivating games (SB, JF, MC, DB), pp. 175–182.
RecSys-2010-LeeB #collaboration #recommendation #self #using: Using self-defined group activities for improvingrecommendations in collaborative tagging systems (DHL, PB), pp. 221–224.
SEKE-2010-AlvesCL #agile #estimation #integration: Scrum and Plan-driven Process Integration and its Impact on Effort Estimation (NA, WC, ELJ), pp. 710–715.
SEKE-2010-ChangK #architecture #modelling: A Model-based Business Process Diagnosis Method in Service Oriented Architecture (SHC, SDK), pp. 458–461.
SEKE-2010-DongSX #empirical #evaluation #online: An Empirical Evaluation on the Relationship Between Final Auction Price and Shilling Activity in Online Auctions (FD, SMS, HX), pp. 286–291.
SEKE-2010-MadieshW #top-down: A Top-Down Method for Secure SOA-based B2B Processes (MM, GW), pp. 698–703.
SEKE-2010-MauczkaBG #case study #classification #metric: Analyzing the Relationship of Process Metrics And Classified Changes — A Pilot Study (AM, MB, TG), pp. 269–272.
SEKE-2010-PeixotoBRP #case study #implementation: A Case Study of Software Process Improvement Implementation (DCCP, VAB, RFR, CIPSP), pp. 716–721.
SEKE-2010-Rodriguez-SoriaCMM #estimation #modelling #overview #parametricity: A Review of Parametric Effort Estimation Models for the Software Project Planning Process (PRS, JJCG, JAGdM, BMH), pp. 135–140.
SEKE-2010-SilvaGFT #development #distributed #web #web service: Negotiating Software Acquisition Supported by Web Services in a Distributed Software Development Process (GCS, IMdSG, MF, MBFdT), pp. 221–224.
SEKE-2010-TrujilloPP: Supporting Software Process Improvement in Very Small Entities through a Template-based Guide (MMT, GEI, FJP, MP), pp. 704–709.
SEKE-2010-WangHGJ #reuse #weaving: Software Process Reuse by Pattern Weaving (YsW, XyH, JgG, JrJ), pp. 722–725.
SEKE-2010-WangHW #analysis #petri net: A Hierarchical Timed Coloured Petri Nets for BPMN-based Process Analysis (CHW, PSH, FJW), pp. 417–420.
SEKE-2010-WangPACC #analysis #automation: An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language (DW, JP, GSA, LAC, BC), pp. 765–770.
SEKE-2010-ZhangUV #architecture #component #development #evolution: Architecture-centric development and evolution processes for component-based software (H(Z, CU, SV), pp. 680–685.
SIGIR-2010-LiZM #analysis: Exploring desktop resources based on user activity analysis (YL, XZ, XM), p. 700.
ECMFA-2010-CharfiMM #aspect-oriented #modelling: Aspect-Oriented Business Process Modeling with AO4BPMN (AC, HM, MM), pp. 48–61.
ECMFA-2010-KusterGE #modelling: Dynamic Computation of Change Operations in Version Management of Business Process Models (JMK, CG, GE), pp. 201–216.
ECMFA-2010-YueBL #approach #automation #case study #diagrams: An Automated Approach to Transform Use Cases into Activity Diagrams (TY, LCB, YL), pp. 337–353.
ICMT-2010-Perez-CastilloGP #implementation #qvt: Implementing Business Process Recovery Patterns through QVT Transformations (RPC, IGRdG, MP), pp. 168–183.
MoDELS-v1-2010-GronnigerRR #diagrams #semantics #towards: Towards a Semantics of Activity Diagrams with Semantic Variation Points (HG, DR, BR), pp. 331–345.
MoDELS-v2-2010-GerthKLE #detection #precise #using: Precise Detection of Conflicting Change Operations Using Process Model Terms (CG, JMK, ML, GE), pp. 93–107.
MoDELS-v2-2010-GorpE #execution #java #modelling: Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program (PVG, RE), pp. 258–272.
MoDELS-v2-2010-JohannesA #composition #development #modelling: Concern-Based (de)composition of Model-Driven Software Development Processes (JJ, UA), pp. 47–62.
MoDELS-v2-2010-SilvaBBG #detection #modelling: Early Deviation Detection in Modeling Activities of MDE Processes (MAAdS, RB, XB, MPG), pp. 303–317.
MoDELS-v2-2010-SilvaMBRB #empirical: Artifact or Process Guidance, an Empirical Study (MAAdS, AM, RB, JR, XB), pp. 318–330.
SPLC-2010-BagheriAGS: Stratified Analytic Hierarchy Process: Prioritization and Selection of Software Features (EB, MA, DG, SS), pp. 300–315.
SPLC-2010-HeuerBKLP #diagrams #semantics #syntax #variability: Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams (AH, CJB, SK, KL, KP), pp. 62–76.
LOPSTR-2010-LlorensOST #csp #generative #graph: Graph Generation to Statically Represent CSP Processes (ML, JO, JS, ST), pp. 52–66.
PPDP-2010-DemeyerALV #declarative #flexibility #workflow: Declarative workflows to efficiently manage flexible and advanced business processes (RD, MVA, LL, WV), pp. 209–218.
QAPL-2010-GeorgievskaA #probability #testing: Testing Reactive Probabilistic Processes (SG, SA), pp. 99–113.
REFSQ-2010-OmoronyiaSSBMS #elicitation #ontology #requirements: A Domain Ontology Building Process for Guiding Requirements Elicitation (IO, GS, TS, SB, TM, WDS), pp. 188–202.
ASE-2010-GabrysiakGS #behaviour #interactive #multi #requirements #validation: Deriving behavior of multi-user processes from interactive requirements validation (GG, HG, AS), pp. 355–356.
ICSE-2010-BoehmL #incremental: New processes for new horizons: the incremental commitment model (BWB, JAL), pp. 501–502.
ICSE-2010-Magdaleno #collaboration #development: Balancing collaboration and discipline in software development processes (AMM), pp. 331–332.
SAC-2010-AraujoSCA #validation: A method for validating the compliance of business processes to business rules (BdMA, EAS, ALC, AJA), pp. 145–149.
SAC-2010-AversanoGT #case study: Measuring the alignment between business processes and software systems: a case study (LA, CG, MT), pp. 2330–2336.
SAC-2010-BernalFMD #approach #identification #rule-based: Dynamic context-aware business process: a rule-based approach supported by pattern identification (JFMB, PF, MM, JD), pp. 470–474.
SAC-2010-CaetanoST #composition #principle: A method for business process decomposition based on the separation of concerns principle (AC, ARS, JMT), pp. 79–85.
SAC-2010-CorreiaVL: Asynchronous Byzantine consensus with 2f+1 processes (MC, GSV, LCL), pp. 475–480.
SAC-2010-IbanezVEB #semantics: Semantically enabled business process discovery (MJI, GV, JE, SB), pp. 1396–1403.
SAC-2010-KangZKB #similarity: A knowledge-rich similarity measure for improving IT incident resolution process (YBK, ABZ, SK, CB), pp. 1781–1788.
SAC-2010-LuoTLTDW #design #enterprise #evaluation #visualisation: Visualizing time-series data in processlines: design and evaluation of a process enterprise application (XL, FT, WL, DT, GD, HW), pp. 1165–1172.
SAC-2010-Perez-CastilloGP #on the #using: On the use of patterns to recover business processes (RPC, IGRdG, MP), pp. 165–166.
SAC-2010-Rittgen #modelling #quality: Quality and perceived usefulness of process models (PR), pp. 65–72.
SAC-2010-SulaymanM #web: Quantitative assessments of key success factors in software process improvement for small and medium web companies (MS, EM), pp. 2319–2323.
SAC-2010-ThapaS #impact analysis #refactoring: Assessing the impact of refactoring activities on the JHotDraw project (IT, HPS), pp. 2369–2370.
SAC-2010-WetzsteinKKLZ #monitoring: Cross-organizational process monitoring based on service choreographies (BW, DK, OK, FL, DZ), pp. 2485–2490.
SAC-2010-ZaplataL #as a service #mobile #towards: Towards mobile process as a service (SZ, WL), pp. 372–379.
CASE-2010-CaiM #analysis #approach #hybrid #industrial: Dwell-time approach to stability analysis for hybrid control systems: Application to an industrial refrigeration process (CC, SM), pp. 728–733.
CASE-2010-ChenWZZF #analysis #performance #towards: Towards performance analysis of wheel loading process in automotive manufacturing (HC, JW, BZ, GZ, TAF), pp. 234–239.
CASE-2010-DahaneR #integration: Integration of subcontracting activity in a production planning for randomly failing manufacturing system: Feasibility and profitability conditions (MD, NR), pp. 100–105.
CASE-2010-GengAXJ #case study: Experimental study of Magnetic Resonance Imaging examination reservation process for stroke patients (NG, VA, XX, ZJ), pp. 774–779.
CASE-2010-SaundersJMOM #automation #design #modelling: Model-based design automation and process automation in titanium sheet metal manufacturing (GS, MKJ, JM, CO, MM), pp. 873–878.
CASE-2010-SchirruPN #maintenance #predict #robust: Particle filtering of hidden Gamma processes for robust Predictive Maintenance in semiconductor manufacturing (AS, SP, GDN), pp. 51–56.
CASE-2010-SchirruPN10a #multi #statistics: Multilevel statistical process control of asynchronous multi-stream processes in semiconductor manufacturing (AS, SP, GDN), pp. 57–62.
CASE-2010-WuZ #bound #clustering #petri net #scheduling #tool support: Petri net-based scheduling of time-constrained dual-arm cluster tools with bounded activity time variation (NW, MZ), pp. 465–470.
DAC-2010-HuangX #performance #scheduling: Performance yield-driven task allocation and scheduling for MPSoCs under process variation (LH, QX), pp. 326–331.
DAC-2010-HuXTHQS #embedded #migration: Reducing write activities on non-volatile memories in embedded CMPs via data migration and recomputation (JH, CJX, WCT, YH, MQ, EHMS), pp. 350–355.
DAC-2010-NiuCXX: Impact of process variations on emerging memristor (DN, YC, CX, YX), pp. 877–882.
DATE-2010-BashirM #reliability #towards: Towards a chip level reliability simulator for copper/low-k backend processes (MB, LSM), pp. 279–282.
DATE-2010-BoydSS #detection #trade-off: Power-accuracy tradeoffs in human activity transition detection (JB, HS, AS), pp. 1524–1529.
DATE-2010-BsoulMS: Reliability- and process variation-aware placement for FPGAs (AAMB, NM, LS), pp. 1809–1814.
DATE-2010-HernandezSD: A methodology for the characterization of process variation in NoC links (CH, FS, JD), pp. 685–690.
DATE-2010-Kheradmand-BoroujeniPL #independence #novel: AVGS-Mux style: A novel technology and device independent technique for reducing power and compensating process variations in FPGA fabrics (BKB, CP, YL), pp. 339–344.
DATE-2010-MeijerNS #modelling #network #throughput: Throughput modeling to evaluate process merging transformations in polyhedral process networks (SM, HN, TS), pp. 747–752.
DATE-2010-NarayananAZTP #verification: Formal verification of analog circuits in the presence of noise and process variation (RN, BA, MHZ, ST, LCP), pp. 1309–1312.
DATE-2010-PengYTC #fault: High-quality pattern selection for screening small-delay defects considering process variations and crosstalk (KP, MY, MT, KC), pp. 1426–1431.
DATE-2010-WangT #novel #physics: Novel Physical Unclonable Function with process and environmental variations (XW, MT), pp. 1065–1070.
DATE-2010-ZhuoSB #reliability: Process variation and temperature-aware reliability management (CZ, DS, DB), pp. 580–585.
LCTES-2010-ViskicLG #automation #design #framework #generative #network #platform: Design exploration and automatic generation of MPSoC platform TLMs from Kahn Process Network applications (IV, LY, DG), pp. 77–84.
OSDI-2010-BerganHCG: Deterministic Process Groups in dOS (TB, NH, LC, SDG), pp. 177–191.
PDP-2010-PinhoRS #algorithm #biology #optimisation #parallel: Pluggable Parallelization of Evolutionary Algorithms Applied to the Optimization of Biological Processes (JHMdP, MFdAPdR, JLFS), pp. 395–402.
FASE-2010-CortellessaMRT #effectiveness #identification #performance: A Process to Effectively Identify “Guilty” Performance Antipatterns (VC, AM, RHR, CT), pp. 368–382.
FoSSaCS-2010-PopescuG #algebra #formal method #incremental #induction: Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization (AP, ELG), pp. 109–127.
FoSSaCS-2010-WiesZH #analysis #bound: Forward Analysis of Depth-Bounded Processes (TW, DZ, TAH), pp. 94–108.
ICLP-2010-Lopez10 #modelling: Models for Trustworthy Service and Process Oriented Systems (HAL), pp. 270–276.
ICST-2010-FeldtTAR #challenge #industrial #validation #verification: Challenges with Software Verification and Validation Activities in the Space Industry (RF, RT, EA, BR), pp. 225–234.
ICST-2010-Kasurinen #testing: Elaborating Software Test Processes and Strategies (JK), pp. 355–358.
ICST-2010-Laurent #concept #formal method #testing #using #validation #verification: Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process (OL), pp. 1–10.
ISSTA-2010-KettunenKTS #case study #testing: A study on agility and testing processes in software organizations (VK, JK, OT, KS), pp. 231–240.
LICS-2010-BartolettiZ #calculus: A Calculus of Contracting Processes (MB, RZ), pp. 332–341.
TAP-2010-BousquetL #analysis #evaluation #mutation testing #proving: Proof Process Evaluation with Mutation Analysis (LdB, ML), pp. 55–60.
VMCAI-2010-Esparza #analysis #probability: Analysis of Systems with Stochastic Process Creation (JE), p. 1.
CBSE-2009-KouroshfarSR #component #development: Process Patterns for Component-Based Software Development (EK, HYS, RR), pp. 54–68.
QoSA-2009-ChanP #architecture #behaviour #composition #predict: Compositional Prediction of Timed Behaviour for Process Control Architecture (KC, IP), pp. 86–100.
WICSA-ECSA-2009-BontaB #algebra #architecture #code generation #java #named: PADL2Java: A Java code generator for process algebraic architectural descriptions (EB, MB), pp. 161–170.
ECDL-2009-DussinF #evaluation #scalability: Managing the Knowledge Creation Process of Large-Scale Evaluation Campaigns (MD, NF), pp. 63–74.
HT-2009-AlfordM #research: Scholarly research process: investigating the effects of link type and directionality (MLA, EM), pp. 99–108.
HT-2009-Choudhury #modelling #online #predict #social #social media: Modeling and predicting group activity over time in online social media (MDC), pp. 349–350.
HT-2009-YahiaouiPB #documentation #framework: The redocumentation process of computer mediated activity traces: a general framework (LY, YP, ZB), pp. 363–364.
ICDAR-2009-DriraLE #documentation #image #recognition: Document Images Restoration by a New Tensor Based Diffusion Process: Application to the Recognition of Old Printed Documents (FD, FL, HE), pp. 321–325.
ICDAR-2009-ImpedovoMFS #roadmap: New Trends in Digital Scanning Processes (SI, RM, AF, ES), pp. 1071–1075.
CSEET-2009-TaranRMB #collaboration #design #feedback #implementation #source code: A Training Process for Faculty Members in Collaborative Degree Programs: Design, Implementation and Feedback (GT, MZR, PM, PB), pp. 122–129.
EDM-2009-PechenizkiyTVAB #assessment #mining #online: Process Mining Online Assessment Data (MP, NT, EV, WMPvdA, PDB), pp. 279–288.
EDM-2009-QuevedoM #assessment #education #learning: Obtaining weights of a rubric through a pairwise learning model when the assessment process involves more than one lecturer (JRQ, EM), pp. 289–298.
ITiCSE-2009-Boisvert #programming #visualisation: A visualisation tool for the programming process (CB), pp. 328–332.
ITiCSE-2009-CurzonMCB #reuse: Enthusing & inspiring with reusable kinaesthetic activities (PC, PWM, QIC, TB), pp. 94–98.
ITiCSE-2009-Porcheron #education: The bologna process in European education (PP), p. 3.
SIGITE-2009-Watkins #education #evaluation #project management #re-engineering #web: Peer evaluation as a needed web 2.0 activity in project management for teaching practical software engineering (KZW), pp. 173–177.
CSMR-2009-Chikofsky #architecture #using: Using the ACART Process for Architecture Compliance (EJC), pp. 313–314.
CSMR-2009-FrancescomarinoMT #reverse engineering #web: Reverse Engineering of Business Processes exposed as Web Applications (CDF, AM, PT), pp. 139–148.
ICPC-2009-CarneiroMM #approach #comprehension #visual notation: Proposing a visual approach to support the characterization of software comprehension activities (GdFC, MGM, RCM), pp. 291–292.
ICPC-2009-MurphyVS #behaviour #programming #using: Using activity traces to characterize programming behaviour beyond the lab (GCM, PV, DCS), pp. 90–94.
ICSM-2009-CaiYW #approach #empirical #maintenance: Business process recovery for system maintenance — An empirical approach (ZC, XY, XW), pp. 399–402.
ICSM-2009-Zimmermann #debugging #development #mining #predict: Changes and bugs — Mining and predicting development activities (TZ), pp. 443–446.
MSR-2009-SchackmannL #gnome #quality: Evaluating process quality in GNOME based on change request data (HS, HL), pp. 95–98.
SCAM-2009-LangeM #communication #csp #named #thread #towards: thr2csp: Toward Transforming Threads into Communicating Sequential Processes (RCL, SM), pp. 3–12.
ICALP-v2-2009-ChaputDPP #approximate #markov: Approximating Markov Processes by Averaging (PC, VD, PP, GDP), pp. 127–138.
ICALP-v2-2009-NicolaLLM #calculus #probability: Rate-Based Transition Systems for Stochastic Process Calculi (RDN, DL, ML, MM), pp. 435–446.
FM-2009-HarrisKCJR #bound #data flow #verification: Verifying Information Flow Control over Unbounded Processes (WRH, NK, SC, SJ, TWR), pp. 773–789.
FM-2009-KohlhaseLSS: Formal Management of CAD/CAM Processes (MK, JL, LS, ES), pp. 223–238.
FM-2009-SunLRLD #abstraction #model checking: Fair Model Checking with Process Counter Abstraction (JS, YL, AR, SL, JSD), pp. 123–139.
IFM-2009-MilhauFF #automation #error message #execution #fault #generative #symbolic computation: Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions (JM, BF, MF), pp. 337–351.
IFM-2009-SalaunB #algebra #encoding #using: Realizability of Choreographies Using Process Algebra Encodings (GS, TB), pp. 167–182.
IFM-2009-StockerLG #parallel #realtime: Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (JS, FL, HG), pp. 88–102.
TLCA-2009-MostrousY #communication #higher-order #mobile #optimisation: Session-Based Communication Optimisation for Higher-Order Mobile Processes (DM, NY), pp. 203–218.
CEFP-2009-CesariniT #behaviour #design pattern #erlang #programming: Erlang Behaviours: Programming with Process Design Patterns (FC, SJT), pp. 19–41.
DiGRA-2009-FerreiraF #game studies #video: Through the Looking Glass: Weavings between the Magic Circle and Immersive Processes in Video Games (EF, TF).
DiGRA-2009-Taylor09a #game studies: Negotiating Play: The Process of Rule Construction inProfessional Computer Gaming (TLT).
GT-VMT-2009-BottoniS #adaptation #diagrams #workflow: Resource-based enactment and adaptation of workflows from activity diagrams (PB, AS), pp. 159–170.
CHI-2009-ChinKW: Exploring the analytical processes of intelligence analysts (GCJ, OAK, KEW), pp. 11–20.
CHI-2009-ConvertinoMRSC: Supporting content and process common ground in computer-supported teamwork (GC, HMM, MBR, AS, JMC), pp. 2339–2348.
CHI-2009-OleksikWTRKSMJ #lightweight: Lightweight tagging expands information and activity management practices (GO, MLW, CST, EMR, GK, GS, NMF, RJ), pp. 279–288.
CHI-2009-SchwarzMM: Reflections of everyday activities in spending data (JS, JM, HSM), pp. 1737–1740.
CHI-2009-SharminBCH #comprehension #design #information management #reuse: Understanding knowledge management practices for early design activity and its implications for reuse (MS, BPB, CC, KH), pp. 2367–2376.
CHI-2009-SpelmezanJHB #physics: Tactile motion instructions for physical activities (DS, MJ, AH, JOB), pp. 2243–2252.
DHM-2009-NiedermaierDEK #usability: The New BMW iDrive — Applied Processes and Methods to Assure High Usability (BN, SD, LE, AK), pp. 443–452.
HCD-2009-BradshawFJBBEJLUD #tool support: From Tools to Teammates: Joint Activity in Human-Agent-Robot Teams (JMB, PJF, MJ, MRB, LB, TCE, HJ, JL, AU, JvD), pp. 935–944.
HCD-2009-GonzalezPST #development #interface: Development of CSCW Interfaces from a User-Centered Viewpoint: Extending the TOUCHE Process Model through Defeasible Argumentation (MPG, VMRP, GRS, RT), pp. 955–964.
HCD-2009-KremsB: Driving and Situation Awareness: A Cognitive Model of Memory-Update Processes (JFK, MRKB), pp. 986–994.
HCD-2009-Kushi #case study #concept #design #interface #research #student #video #visualisation: Organized Reframing Process with Video Ethnography: A Case Study of Students’ Design Project for New Interface Concept from Research to Visualization (KK), pp. 239–246.
HCD-2009-LoveHA #case study #design #industrial #mobile #requirements: Accommodating Real User and Organisational Requirements in the Human Centered Design Process: A Case Study from the Mobile Phone Industry (SL, PH, MA), pp. 758–764.
HCD-2009-MoranC #comprehension #documentation: Understanding Activity Documentation Work in Remote Mobility Environments (ALM, RC), pp. 1023–1032.
HCD-2009-RiversCT #collaboration #design #interface: Combining Activity Theory and Grounded Theory for the Design of Collaborative Interfaces (CR, JC, AT), pp. 312–321.
HCD-2009-RoblesAAP: Accelerating the Knowledge Innovation Process (GCR, GAH, AAAL, RPG), pp. 184–192.
HCD-2009-RuggeRS #development #human-computer #smarttech #towards: Changes of HCI Methods towards the Development Process of Wearable Computing Solutions (IR, CR, BSR), pp. 302–311.
HCD-2009-SanchezZG #development #game studies #usability #video: From Usability to Playability: Introduction to Player-Centred Video Game Development Process (JLGS, NPZ, FLG), pp. 65–74.
HCD-2009-TeixeiraSFS #development #information management: The User’s Role in the Development Process of a Clinical Information System: An Example in Hemophilia Care (LT, VS, CF, BSS), pp. 922–931.
HCI-AUII-2009-GronliG #interactive #social: Human Computer Interaction with a PIM Application: Merging Activity, Location and Social Setting into Context (TMG, GG), pp. 30–38.
HCI-NIMT-2009-Alexandris #approach #editing: A Speech-Act Oriented Approach for User-Interactive Editing and Regulation Processes Applied in Written and Spoken Technical Texts (CA), pp. 645–653.
HCI-NIMT-2009-PantforderVS #3d #evaluation #interactive #problem #visualisation: Benefit and Evaluation of Interactive 3D Process Data Visualization for the Presentation of Complex Problems (DP, BVH, KS), pp. 869–878.
HCI-NT-2009-KimWW #adaptation #parametricity #recognition #research #using: The Research on Adaptive Process for Emotion Recognition by Using Time-Dependent Parameters of Autonomic Nervous Response (JK, MCW, JW), pp. 77–84.
HCI-NT-2009-MiuraSK #collaboration: Augmented Collaborative Card-Based Creative Activity with Digital Pens (MM, TS, SK), pp. 644–651.
HCI-NT-2009-RajK #agile #consistency #design pattern #interactive #library #mobile #named #user interface: RUCID: Rapid Usable Consistent Interaction Design Patterns-Based Mobile Phone UI Design Library, Process and Tool (AR, VK), pp. 677–686.
HCI-VAD-2009-DogusoyC #comprehension #eye tracking #learning: An Innovative Way of Understanding Learning Processes: Eye Tracking (BD, KÇ), pp. 94–100.
HCI-VAD-2009-KashiwagiXSKO #learning #physics: A Language Learning System Utilizing RFID Technology for Total Physical Response Activities (HK, YX, YS, MK, KO), pp. 119–128.
HCI-VAD-2009-OHearB #enterprise #user interface #using: Using Activity Descriptions to Generate User Interfaces for ERP Software (TO, YB), pp. 577–586.
HCI-VAD-2009-TakeuchiWIO #named: DiamondTheater: A System for Reproducing Theater and Supporting Creative Activities (TT, KW, TI, KiO), pp. 416–425.
HIMI-DIE-2009-FuchigamiOT: Brain Activities Supporting Finger Operations, Analyzed by Neuro-NIRS (MF, AO, HT), pp. 495–504.
HIMI-DIE-2009-KojimaFI #web #web service: Web Service Systems fo