BibSLEIGH — process stem

Used together with:

model (746)
softwar (513)
system (478)
busi (477)
base (470)

Stem process$ (all stems)

4358 papers:

CBSE-2015-PlateniusSA #framework #named #process: MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (MCP, WS, SA), pp. 75–84.
CASE-2015-AlhwarinFGKST #image: Improving additive manufacturing by image processing and robotic milling (FA, AF, AG, SK, IS, OT), pp. 924–929.
CASE-2015-BoH #clustering #fault #process: Qualitative trend clustering of process data for fault diagnosis (ZB, YH), pp. 1584–1588.
CASE-2015-ChenY #monitoring #process: Heterogeneous recurrence T2 charts for monitoring and control of nonlinear dynamic processes (YC, HY), pp. 1066–1071.
CASE-2015-ChouTHC #adaptation #algorithm #design #parametricity #process: 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 #process: 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 #process: Chemical process control practice — Some examples and observations (KF, JR), pp. 892–893.
CASE-2015-HolmOFUHAK #evolution #industrial #integration #performance #process: 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 #process: 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 #process #towards: RTLS-based Process Mining: Towards an automatic process diagnosis in healthcare (RM, FF, GM, PB, ML), pp. 1397–1402.
CASE-2015-MoalDC #bibliography #case study #monitoring #on the #process: 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 #process #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 #process #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 #process #quality: Process control of gas metal arc welding processes by optical weld pool observation with combined quality models (UR, PL, SM, GB, KW), pp. 407–410.
CASE-2015-ShiLGS #problem: Production planning for a class of batch processing problem (ZS, PL, HG, LS), pp. 1188–1193.
CASE-2015-SongLBKNSSC #cyber-physical #industrial #integration #modelling #process: Model-based cyber-physical system integration in the process industry (ZS, PL, RB, WK, SN, SS, LS, AC), pp. 1012–1017.
CASE-2015-SterlingSZC #algorithm #optimisation #parametricity #process: 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 #process: Analysis of multi-patient rapid response processes: An iterative approach (XX, ZZ, JL, CHS, PD), pp. 740–745.
CASE-2015-ZafarKSMJA #health #monitoring #process #using: Tool health monitoring for wood milling process using airborne acoustic emission (TZ, KK, ZS, SM, AJ, UA), pp. 1521–1526.
DAC-2015-ZaheerWGL #markov #named #performance #process: 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 #process #robust: A robust approach for process variation aware mask optimization (JK, WKC, EFYY), pp. 1591–1594.
DATE-2015-MotamanGR #adaptation #robust: Impact of process-variations in STTRAM and adaptive boosting for robustness (SM, SG, NR), pp. 1431–1436.
DATE-2015-ParkAHYL #big data #energy #gpu #low cost #memory management #performance: Memory fast-forward: a low cost special function unit to enhance energy efficiency in GPU for big data processing (EP, JA, SH, SY, SL), pp. 1341–1346.
DATE-2015-ParkTNII #performance: Platform-aware dynamic configuration support for efficient text processing on heterogeneous system (MSP, OT, VN, MJI, RI), pp. 1503–1508.
DATE-2015-ShonikerCHP #design #process #simulation #verification: Minimizing the number of process corner simulations during design verification (MS, BFC, JH, WP), pp. 289–292.
DATE-2015-WangWXWWYDLMW #adaptation #process: Adaptively tolerate power-gating-induced power/ground noise under process variations (ZW, XW, JX, XW, ZW, PY, LHKD, HL, RKVM, ZW), pp. 483–488.
DRR-2015-FengPL #process #recognition: Gaussian process style transfer mapping for historical Chinese character recognition (JF, LP, FL).
SIGMOD-2015-ArmbrustXLHLBMK #relational #sql: Spark SQL: Relational Data Processing in Spark (MA, RSX, CL, YH, DL, JKB, XM, TK, MJF, AG, MZ), pp. 1383–1394.
SIGMOD-2015-BabarinsaI #database #named: JAFAR: Near-Data Processing for Databases (OOB, SI), pp. 2069–2070.
SIGMOD-2015-BarthelsLAK #in memory #using: Rack-Scale In-Memory Join Processing using RDMA (CB, SL, GA, DK), pp. 1463–1475.
SIGMOD-2015-BraunEGKKWAILL #database #performance #realtime: Analytics in Motion: High Performance Event-Processing AND Real-Time Analytics in the Same Database (LB, TE, GG, MK, DK, DW, AA, AI, EL, NL), pp. 251–264.
SIGMOD-2015-Camacho-Rodriguez #named #parallel #xml: PAXQuery: Parallel Analytical XML Processing (JCR, DC, IM, JAMN), pp. 1117–1122.
SIGMOD-2015-DeshpandeRDA #approach #named: ShareInsights: An Unified Approach to Full-stack Data Processing (MD, DR, SD, AA), pp. 1925–1940.
SIGMOD-2015-FengLKX #in memory #layout #memory management #named: ByteSlice: Pushing the Envelop of Main Memory Data Processing with a New Storage Layout (ZF, EL, BK, WX), pp. 31–46.
SIGMOD-2015-HangKD #data access #named #query: ENKI: Access Control for Encrypted Query Processing (IH, FK, ED), pp. 183–196.
SIGMOD-2015-KatsipoulakisTG #data type #named: CE-Storm: Confidential Elastic Processing of Data Streams (NRK, CT, EAG, AL, AJL, PKC), pp. 859–864.
SIGMOD-2015-KulkarniBFKKMPR #scalability #twitter: Twitter Heron: Stream Processing at Scale (SK, NB, MF, VK, CK, SM, JMP, KR, ST), pp. 239–250.
SIGMOD-2015-LinOWY #distributed #scalability: Scalable Distributed Stream Join Processing (QL, BCO, ZW, CY), pp. 811–825.
SIGMOD-2015-MytilinisGKDTTG #distributed #framework #named #network #social: MoDisSENSE: A Distributed Spatio-Temporal and Textual Processing Platform for Social Networking Services (IM, IG, IK, KD, DT, MT, LG, NK), pp. 895–900.
SIGMOD-2015-SahaSSVMC #framework #modelling: Apache Tez: A Unifying Framework for Modeling and Building Data Processing Applications (BS, HS, SS, GV, ACM, CC), pp. 1357–1369.
SIGMOD-2015-SalamaBKZ #cost analysis #fault tolerance #parallel: Cost-based Fault-tolerance for Parallel Data Processing (AS, CB, TK, EZ), pp. 285–297.
SIGMOD-2015-WongHFXL #approach #as a service #database #named #parallel #using: Thrifty: Offering Parallel Database as a Service using the Shared-Process Approach (PW, ZH, ZF, WX, EL), pp. 1063–1068.
VLDB-2015-AkidauBCCFLMMPS #approach #bound #correctness #data flow #latency: The Dataflow Model: A Practical Approach to Balancing Correctness, Latency, and Cost in Massive-Scale, Unbounded, Out-of-Order Data Processing (TA, RB, CC, SC, RFM, RL, SM, DM, FP, ES, SW), pp. 1792–1803.
VLDB-2015-ChingEKLM #graph: One Trillion Edges: Graph Processing at Facebook-Scale (AC, SE, MK, DL, SM), pp. 1804–1815.
VLDB-2015-HaasAGM #crowdsourcing #named: Argonaut: Macrotask Crowdsourcing for Complex Data Processing (DH, JA, LG, AM), pp. 1642–1653.
VLDB-2015-HanD #execution #graph #parallel: Giraph Unchained: Barrierless Asynchronous Parallel Execution in Pregel-like Graph Processing Systems (MH, KD), pp. 950–961.
VLDB-2015-HeWKCLYL #named #query: SDB: A Secure Query Processing System with Data Interoperability (ZH, WKW, BK, DWLC, RL, SMY, EL), pp. 1876–1887.
VLDB-2015-KatsarouNT #performance #query #scalability: Performance and Scalability of Indexed Subgraph Query Processing Methods (FK, NN, PT), pp. 1566–1577.
VLDB-2015-KimSHHC #morphism #query #rdf: Taming Subgraph Isomorphism for RDF Query Processing (JK, HS, WSH, SH, HC), pp. 1238–1249.
VLDB-2015-LarsonBHHNP #realtime #sql: Real-Time Analytical Processing with SQL Server (PÅL, AB, ENH, WH, MN, VP), pp. 1740–1751.
VLDB-2015-LeisKK0 #performance #query #sql: Efficient Processing of Window Functions in Analytical SQL Queries (VL, KK, AK, TN), pp. 1058–1069.
VLDB-2015-MahmoodAQRDMAHA #distributed #named: Tornado: A Distributed Spatio-Textual Stream Processing System (ARM, AMA, TQ, EKR, AD, AM, ASA, MSH, WGA, SB), pp. 2020–2031.
VLDB-2015-MeehanTZACDKMMP #named #streaming #transaction: S-Store: Streaming Meets Transaction Processing (JM, NT, SZ, CA, UÇ, JD, TK, SM, DM, AP, MS, KT, HW), pp. 2134–2145.
VLDB-2015-NagarkarCB #query: Compressed Spatial Hierarchical Bitmap (cSHB) Indexes for Efficiently Processing Spatial Range Query Workloads (PN, KSC, AB), pp. 1382–1393.
VLDB-2015-ParkMS #pipes and filters #probability #query #using: Processing of Probabilistic Skyline Queries Using MapReduce (YP, JKM, KS), pp. 1406–1417.
VLDB-2015-PottiP #approximate #named #paradigm #query: DAQ: A New Paradigm for Approximate Query Processing (NP, JMP), pp. 898–909.
VLDB-2015-YangCLW #analysis #nearest neighbour #query: Reverse k Nearest Neighbors Query Processing: Experiments and Analysis (SY, MAC, XL, WW), pp. 605–616.
ITiCSE-2015-KirkpatrickP #assurance #operating system #process #using: Using the Readiness Assurance Process and Metacognition in an Operating Systems Course (MSK, SP), pp. 183–188.
FoSSaCS-2015-GeblerLT #calculus #composition #metric #probability #process #reasoning: Compositional Metric Reasoning with Probabilistic Process Calculi (DG, KGL, ST), pp. 230–245.
TACAS-2015-NamjoshiT #analysis #network #process: Analysis of Dynamic Process Networks (KSN, RJT), pp. 164–178.
TACAS-2015-SoudjaniGA #abstraction #probability #process: FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes (SEZS, CG, AA), pp. 272–286.
MSR-2015-GuptaSPA #bibliography #challenge #identification #process #scalability: Identifying Software Process Management Challenges: Survey of Practitioners in a Large Global IT Company (MG, AS, SP, AMA), pp. 346–356.
SANER-2015-Jiang #integration #process #scalability: Improving the integration process of large software systems (YJ), p. 598.
ICALP-v2-2015-EtessamiSY #branch #equation #fixpoint #markov #polynomial #probability #process #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 #process #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.
ICGT-2015-KwantesGKR #modelling #process #towards #verification: Towards Compliance Verification Between Global and Local Process Models (PMK, PVG, JK, AR), pp. 221–236.
CHI-2015-BorstTR #problem #what: What Makes Interruptions Disruptive?: A Process-Model Account of the Effects of the Problem State Bottleneck on Task Interruption and Resumption (JPB, NAT, HvR), pp. 2971–2980.
CHI-2015-DamianTBSLA #behaviour #feedback #interactive #realtime #social #using: Augmenting Social Interactions: Realtime Behavioural Feedback using Social Signal Processing Techniques (ID, CSST, TB, JS, KL, EA), pp. 565–574.
CHI-2015-LugerURG #design #game studies #process #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-MitraHG #quality: Comparing Person- and Process-centric Strategies for Obtaining Quality Data on Amazon Mechanical Turk (TM, CJH, EG), pp. 1345–1354.
CHI-2015-RaganGT #how #memory management #process #visual notation: Evaluating How Level of Detail of Visual History Affects Process Memory (EDR, JRG, AT), pp. 2711–2720.
CHI-2015-VigoJS #authoring #concept #ontology #process: Constructing Conceptual Knowledge Artefacts: Activity Patterns in the Ontology Authoring Process (MV, CJ, RS), pp. 3385–3394.
CSCW-2015-JiaWXRC #behaviour #learning #online #privacy #process: Risk-taking as a Learning Process for Shaping Teen’s Online Information Privacy Behaviors (HJ, PJW, HX, MBR, JMC), pp. 583–599.
CSCW-2015-XuRDB #design #feedback #process #using: A Classroom Study of Using Crowd Feedback in the Iterative Design Process (AX, HR, SPD, BPB), pp. 1637–1648.
DHM-EH-2015-KollingKHC #design #evaluation #feedback #interactive #process #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 #process: Electromyography Measurement of Workers at the Second Lining Pounding Process for Hanging Scrolls (YO, YT, AG, HY, KO), pp. 205–215.
DHM-EH-2015-UchidaHKEMOUG #analysis #process #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 #process: Improvement of Needle Bar in Textile Machine by Hitting Process (KC, SM, HM, RM, HN, HH), pp. 235–244.
DHM-HM-2015-EndoYASSH #difference #process: 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: 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 #process: 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 #process #research: Researching Sounds Generated During the Second Lining Pounding Process (YO, YT, AG, KO, KO), pp. 154–164.
DHM-HM-2015-SendaSKST #analysis #process: Process Analysis of Kyo Karakami Manufacturing (SS, ES, TK, MS, YT), pp. 368–378.
DHM-HM-2015-SudaTHYGH #analysis #process: 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 #process: 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 #process: 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-WangTTTGH #analysis #process: Motion Analysis of Interval Time During “Kana-ami” Making Process (ZW, KiT, TT, YT, AG, HH), pp. 201–211.
DHM-HM-2015-WangTTTGH15a #analysis #process: Brain Activity Analysis on “Kana-Ami” Making Process (ZW, KiT, TT, YT, AG, HH), pp. 212–219.
DUXU-DD-2015-CyprianoP #design #interactive #process #prototype #testing: Prototyping and Testing Throughout all the Design Process as a Methodology for Developing Interaction Design Projects (LC, MP), pp. 157–166.
DUXU-IXD-2015-CandelloBC #design #network #process #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 #process: HARSim: Posterior Load Comparative Analysis Process (RD, EF, FR), pp. 34–44.
DUXU-UI-2015-InoueYHS #design #interface #process: 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 #process #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 #process #user interface: Integrating a Cognitive Modelling Framework into the Design Process of Touchscreen User Interfaces (PKAW, PML, PJC), pp. 473–484.
HCI-DE-2015-AbibA #design #guidelines #interactive #process #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 #process: An Activity Theory Approach to Intuitiveness: From Artefact to Process (SB), pp. 3–13.
HCI-DE-2015-BorzaM #assurance #design #process #usability: Incorporating Marketing Strategies to Improve Usability Assurance in User-Centered Design Processes (ICB, JAM), pp. 152–162.
HCI-UC-2015-LawsonSW #industrial #process: VR Processes in the Automotive Industry (GL, DS, BW), pp. 208–217.
HIMI-IKC-2015-MayerBPGV #automation #generative #process #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 #process: Modelling of a Business Process for Alarm Management Lifecycle in Chemical Industries (KT, TH, NK, MN), pp. 579–587.
HIMI-IKD-2015-GregoryD #human-computer #information management #multi: Multisensory Information Processing for Enhanced Human-Machine Symbiosis (FDG, LD), pp. 354–365.
HIMI-IKD-2015-MaierKMK #interactive #monitoring #process #visual notation: Visual Interactive Process Monitoring (SM, HK, TM, AK), pp. 74–85.
SCSM-2015-Flor #3d #process: 3D Virtual Worlds: An Ethnography of Key Artifacts and Processes (NVF), pp. 20–29.
CAiSE-2015-Batoulis0BDW #logic #modelling #process: Extracting Decision Logic from Process Models (KB, AM, EB, GD, MW), pp. 349–366.
CAiSE-2015-CabanillasKRRMC #named #process #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 #process: PM²: A Process Mining Project Methodology (MLvE, XL, SJJL, WMPvdA), pp. 297–313.
CAiSE-2015-EstanolST #modelling #process #uml #validation #verification: Verification and Validation of UML Artifact-Centric Business Process Models (ME, MRS, ET), pp. 434–449.
CAiSE-2015-GiacomoDMM #declarative #modelling #process: Declarative Process Modeling in BPMN (GDG, MD, FMM, MM), pp. 84–100.
CAiSE-2015-HarmanBJRK #elicitation #memory management #process: 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 #process: Revising the Vocabulary of Business Process Element Labels (AK, MU, AH, AO), pp. 69–83.
CAiSE-2015-LeopoldMFPSM #automation #modelling #process #towards: Towards the Automated Annotation of Process Models (HL, CM, MF, FP, HS, JM), pp. 401–416.
CAiSE-2015-MrasekMB #automation #declarative #generative #modelling #process #specification: Automatic Generation of Optimized Process Models from Declarative Specifications (RM, JAM, KB), pp. 382–397.
CAiSE-2015-OrtegaGTRC #modelling #outsourcing #process: Modelling Service Level Agreements for Business Process Outsourcing Services (AdRO, AMG, ADT, MR, ARC), pp. 485–500.
CAiSE-2015-SenderovichWGMK #network #process #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 #process: Discovering Business Models for Software Process Management — An Approach for Integrating Time and Resource Perspectives from Legacy Information Systems (CA, IMR, MJEC), pp. 353–359.
ICEIS-v1-2015-AwasthiLK #algorithm #linear #problem #sequence #strict: Un-restricted Common Due-Date Problem with Controllable Processing Times — Linear Algorithm for a Given Job Sequence (AA, JL, OK), pp. 526–534.
ICEIS-v1-2015-BerroMT #graph #open data #process #statistics: Graph-based ETL Processes for Warehousing Statistical Open Data (AB, IM, OT), pp. 271–278.
ICEIS-v1-2015-CaballeroBP #assessment #process #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 #process: On the Discovery of Explainable and Accurate Behavioral Models for Complex Lowly-structured Business Processes (FF, MG, LP), pp. 206–217.
ICEIS-v1-2015-MeisenKMRJ #named #online #query: TIDAQL — A Query Language Enabling on-Line Analytical Processing of Time Interval Data (PM, DK, TM, MR, SJ), pp. 54–66.
ICEIS-v1-2015-PfaffK #automation #benchmark #classification #documentation #identification #metric #natural language: Natural Language Processing Techniques for Document Classification in IT Benchmarking — Automated Identification of Domain Specific Terms (MP, HK), pp. 360–366.
ICEIS-v1-2015-RezendeJ #concurrent #process #using #workflow: Deadlock Avoidance in Interorganizational Business Processes using a Possibilistic WorkFlow Net (LPdR, SJ), pp. 429–439.
ICEIS-v1-2015-SunB #classification #mining #process: Function-based Case Classification for Improving Business Process Mining (YS, BB), pp. 251–258.
ICEIS-v2-2015-CruzMS #modelling #process #set: Deriving a Data Model from a Set of Interrelated Business Process Models (EFC, RJM, MYS), pp. 49–59.
ICEIS-v2-2015-CruzMS15a #modelling #process #set: Bridging the Gap between a Set of Interrelated Business Process Models and Software Models (EFC, RJM, MYS), pp. 338–345.
ICEIS-v2-2015-FilhoVC #experience #process: 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 #process #using: On using Markov Decision Processes to Model Integration Solutions for Disparate Resources in Software Ecosystems (RZF, SS, FRF, IY, MTME), pp. 260–267.
ICEIS-v2-2015-GlocknerML #evaluation #process: Engineering and Evaluation of Process Alternatives in Tactical Logistics Planning (MG, SM, AL), pp. 166–176.
ICEIS-v2-2015-PerezNGD #analysis #development #process: 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 #process #social: Social Business Process Management Approaches — A Comparative Study (HK, AB), pp. 340–345.
ICEIS-v3-2015-PassosJ #process #verification #workflow: Relaxed Soundness Verification for Interorganizational Workflow Processes (LMSP, SJ), pp. 221–228.
ICEIS-v3-2015-SaidCAB #adaptation #modelling #named #process #using: BPMN4V — An Extension of BPMN for Modelling Adaptive Processes using Versions (IBS, MAC, EA, RB), pp. 258–267.
ICEIS-v3-2015-SantosTF #process: Investigating Completeness of Coding in Business Process Model and Notation (CHdS, LHT, MF), pp. 328–333.
ICEIS-v3-2015-SilvaVC #development #process #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 #process: Petri Net Model Cost Extension based on Process Mining — Cost Data Description and Analysis (DT, SAG, HHBG), pp. 268–275.
ICEIS-v3-2015-TiamSM #process: An Operational Model of Variable Business Process (RTT, ADS, RM), pp. 162–172.
ICEIS-v3-2015-Wissotzki #approach #identification #process: A Process Approach for Capability Identification and Management (MW), pp. 204–212.
ICML-2015-DeisenrothN #distributed #process: Distributed Gaussian Processes (MPD, JWN), pp. 1481–1490.
ICML-2015-FilipponeE #linear #probability #process #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 #process: 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 #process: Latent Gaussian Processes for Distribution Estimation of Multivariate Categorical Data (YG, YC, ZG), pp. 645–654.
ICML-2015-GalT #approximate #nondeterminism #process #representation: Improving the Gaussian Process Sparse Spectrum Approximation by Representing Uncertainty in Frequency Inputs (YG, RT), pp. 655–664.
ICML-2015-GarnettHS #process: Finding Galaxies in the Shadows of Quasars with Gaussian Processes (RG, SH, JS), pp. 1025–1033.
ICML-2015-GeCWG #distributed #modelling #process: Distributed Inference for Dirichlet Process Mixture Models (HG, YC, MW, ZG), pp. 2276–2284.
ICML-2015-GeigerZSGJ #component #identification #process: 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 #process: A Unifying Framework of Anytime Sparse Gaussian Process Regression Models with Stochastic Variational Inference for Big Data (TNH, QMH, BKHL), pp. 569–578.
ICML-2015-HugginsNSM #markov #named #process: JUMP-Means: Small-Variance Asymptotics for Markov Jump Processes (JHH, KN, AS, VKM), pp. 693–701.
ICML-2015-JewellSB #process: Atomic Spatial Processes (SJ, NS, ABC), pp. 248–256.
ICML-2015-Kandemir #learning #process #symmetry: Asymmetric Transfer Learning with Deep Gaussian Processes (MK), pp. 730–738.
ICML-2015-KimXVS #process: Manifold-valued Dirichlet Processes (HJK, JX, BCV, VS), pp. 1199–1208.
ICML-2015-LiangP #process: Landmarking Manifolds with Gaussian Processes (DL, JP), pp. 466–474.
ICML-2015-LianHRLC #multi #predict #process: A Multitask Point Process Predictive Model (WL, RH, VR, JEL, LC), pp. 2030–2038.
ICML-2015-LloydGOR #process: Variational Inference for Gaussian Process Modulated Poisson Processes (CML, TG, MAO, SJR), pp. 1814–1822.
ICML-2015-MacdonaldHH #modelling #process: Controversy in mechanistic modelling with Gaussian processes (BM, CFH, DH), pp. 1539–1547.
ICML-2015-MarietS #algorithm #fixpoint #learning #process: Fixed-point algorithms for learning determinantal point processes (ZM, SS), pp. 2389–2397.
ICML-2015-Osogami #markov #process #robust: Robust partially observable Markov decision process (TO), pp. 106–115.
ICML-2015-QiuXHLC #estimation #matrix #process #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 #process #scalability: Scalable Nonparametric Bayesian Inference on Point Processes with Gaussian Processes (YLKS, SR), pp. 2227–2236.
ICML-2015-ShahKG #algorithm #empirical #probability #process: An Empirical Study of Stochastic Variational Inference Algorithms for the Beta Bernoulli Process (AS, DAK, ZG), pp. 1594–1603.
ICML-2015-SuiGBK #optimisation #process: Safe Exploration for Optimization with Gaussian Processes (YS, AG, JWB, AK), pp. 997–1005.
ICML-2015-WangLWC #metadata #process: Metadata Dependent Mondrian Processes (YW, BL, YW, FC), pp. 1339–1347.
ICML-2015-WilsonN #kernel #process #scalability: Kernel Interpolation for Scalable Structured Gaussian Processes (KISS-GP) (AGW, HN), pp. 1775–1784.
ICML-2015-YenLZRD #approach #modelling #process: A Convex Exemplar-based Approach to MAD-Bayes Dirichlet Process Mixture Models (IEHY, XL, KZ, PKR, ISD), pp. 2418–2426.
KDD-2015-DuFASS #clustering #documentation #process: Dirichlet-Hawkes Processes with Applications to Clustering Continuous-Time Document Streams (ND, MF, AA, AJS, LS), pp. 219–228.
KDD-2015-YuanBM #process #re-engineering #using: Gas Concentration Reconstruction for Coal-Fired Boilers Using Gaussian Process (CY, MB, BM), pp. 2247–2256.
KDD-2015-ZhaoEHRL #named #predict #process #self #twitter: SEISMIC: A Self-Exciting Point Process Model for Predicting Tweet Popularity (QZ, MAE, HYH, AR, JL), pp. 1513–1522.
MLDM-2015-SalahAM #mining #optimisation #performance #pipes and filters: Optimizing the Data-Process Relationship for Fast Mining of Frequent Itemsets in MapReduce (SS, RA, FM), pp. 217–231.
SEKE-2015-BrondaniBF #evaluation #process #quality: Quality Evaluation of Artifacts in Tailored Software Process Lines (CB, GB, LMF), pp. 223–226.
SEKE-2015-TerencianiPLC #modelling #process #representation #towards #variability: BPMN* — A Notation for Representation of Variability in Business Process Towards Supporting Business Process Line Modeling (MT, DMBP, GL, MIC), pp. 227–230.
SEKE-2015-TrinkenreichSCS #metric #process #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 #process: RiSE-DA: An Agile Domain Analysis Process and its Industrial Evaluation (TV, ISS, IFdS, ESdA), pp. 696–699.
SIGIR-2015-LiDDCZB #behaviour #markov #process #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 #process: Summarizing Contrastive Themes via Hierarchical Non-Parametric Processes (ZR, MdR), pp. 93–102.
MoDELS-2015-LeemansA #distributed #mining #modelling #process #transaction: Process mining in software systems: Discovering real-life business transactions and process models from distributed systems (ML, WMPvdA), pp. 44–53.
MoDELS-2015-SimmondsPBS #evolution #megamodelling #modelling #process: A megamodel for Software Process Line modeling and evolution (JS, DP, MCB, LS), pp. 406–415.
Onward-2015-Kell #process #towards: Towards a dynamic object model within Unix processes (SK), pp. 224–239.
REFSQ-2015-HarbersDN #process #requirements: Embedding Stakeholder Values in the Requirements Engineering Process (MH, CD, MAN), pp. 318–332.
REFSQ-2015-HiisilaKK #case study #challenge #outsourcing #process #requirements: Challenges of the Customer Organization’s Requirements Engineering Process in the Outsourced Environment — A Case Study (HH, MK, SK), pp. 214–229.
SAC-2015-AbibA #design #guidelines #process: Integrating contexts in healthcare: guidelines to help the designers at design process (JCA, JCA), pp. 182–184.
SAC-2015-AwadBESAS #anti #approach #detection #process #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-BritoE #branch #named #performance #query: BranchGuide: an indexing technique for efficient, lossless processing of branching path queries (TBV, GEdS), pp. 1086–1092.
SAC-2015-CorcoglionitiRM #rdf #sorting #streaming #using: Processing billions of RDF triples on a single machine using streaming and sorting (FC, MR, MM, MA), pp. 368–375.
SAC-2015-GarciaPMR #process: A software process line for service-oriented applications (CG, MP, AM, SSR), pp. 1680–1687.
SAC-2015-GoncalvesON #architecture: A meta-process to construct software architectures for system of systems (MBG, FO, EYN), pp. 1411–1416.
SAC-2015-KhelladiBBLG #consistency #framework #process #verification: A framework to formally verify conformance of a software process to a software method (DEK, RB, SB, YL, MPG), pp. 1518–1525.
SAC-2015-MarquesRA15a #process #requirements #towards #traceability: Towards a requirements traceability process centered on the traceability model (AM, FR, WdLA), pp. 1364–1369.
SAC-2015-MinHJCH #distributed #performance #process #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 #process: Modelling consumers decision-making process about excluding products as a result of mutual influence (VN, LPLdO, BEJB, MBV), pp. 1123–1128.
SAC-2015-PintoMCS #process #using: Using event logs and the Ψ-theory to analyse business processes (PLP, CM, AC, MMdS), pp. 1195–1202.
SAC-2015-RuyFBG #ontology #pattern matching #process #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 #process: Mining software development process variations (RMSS, TCO, FBeA), pp. 1657–1660.
SAC-2015-SilvaSBVS #assessment #framework #process #using: Using ArchiMate to model a process assessment framework (NS, MMdS, BB, MV, PS), pp. 1189–1194.
SAC-2015-WeberFMS #mining #multi #process: Mining processes with multi-instantiation (IW, MF, JM, JGS), pp. 1231–1237.
ICSE-v1-2015-Ralph #process #re-engineering: Developing and Evaluating Software Engineering Process Theories (PR), pp. 20–31.
ICSE-v2-2015-ArnaoudovaHMA #natural language #re-engineering #retrieval: The Use of Text Retrieval and Natural Language Processing in Software Engineering (VA, SH, AM, GA), pp. 949–950.
ICSE-v2-2015-Inozemtseva #comprehension #fault #process: Understanding the Software Fault Introduction Process (LI), pp. 843–846.
ICSE-v2-2015-Mesh #process: Supporting Scientific SE Process Improvement (ESM), pp. 923–926.
ICSE-v2-2015-PecchiaCCC #assessment #development #industrial #process: Industry Practices and Event Logging: Assessment of a Critical Software Development Process (AP, MC, GC, DC), pp. 169–178.
SLE-2015-UmuhozaBRC #empirical #modelling #process: An empirical study on simplification of business process modeling languages (EU, MB, DR, JC), pp. 13–24.
SPLC-2015-KassmeyerSS #impact analysis #process #safety #variability: A process to support a systematic change impact analysis of variability and safety in automotive functions (MK, MS, MS), pp. 235–244.
ASPLOS-2015-DhawanHRVCSKPD #architecture #metadata: Architectural Support for Software-Defined Metadata Processing (UD, CH, RR, NV, SC, JMS, TFKJ, BCP, AD), pp. 487–502.
ASPLOS-2015-MullapudiVB #automation #image #named #optimisation #pipes and filters: PolyMage: Automatic Optimization for Image Processing Pipelines (RTM, VV, UB), pp. 429–443.
PPoPP-2015-SeoKK #graph #named #scalability #streaming: GStream: a graph streaming processing method for large-scale graphs on GPUs (HS, JK, MSK), pp. 253–254.
PPoPP-2015-ShiLDHJLWLZ #gpu #graph #hybrid #optimisation: Optimization of asynchronous graph processing on GPU with hybrid coloring model (XS, JL, SD, BH, HJ, LL, ZW, XL, JZ), pp. 271–272.
PPoPP-2015-WangDPWRO #gpu #graph #library #named: Gunrock: a high-performance graph processing library on the GPU (YW, AAD, YP, YW, AR, JDO), pp. 265–266.
SOSP-2015-0002BMZ #graph #named: Chaos: scale-out graph processing from secondary storage (AR, LB, JM, WZ), pp. 410–424.
SOSP-2015-WeiSCCC #in memory #performance #transaction #using: Fast in-memory transaction processing using RDMA and HTM (XW, JS, YC, RC, HC), pp. 87–104.
CAV-2015-BrazdilCCFK #learning #markov #process: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes (TB, KC, MC, AF, JK), pp. 158–177.
CAV-2015-RandourRS #markov #multi #process #query: Percentile Queries in Multi-dimensional Markov Decision Processes (MR, JFR, OS), pp. 123–139.
ICST-2015-HuuhtanenIL #algebra #algorithm #design #testing: Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms (TH, JI, CL), pp. 1–10.
ICST-2015-Salloum #data transformation #development #information management #integration #process: 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 #process: Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (KC, ZK, JK), pp. 244–256.
LICS-2015-CzerwinskiJ #branch #process #similarity: Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME (WC, PJ), pp. 168–179.
VMCAI-2015-GanjeiREP #process: Abstracting and Counting Synchronizing Processes (ZG, AR, PE, ZP), pp. 227–244.
VMCAI-2015-SalaunY #algebra #debugging #process #specification: Debugging Process Algebra Specifications (GS, LY), pp. 245–262.
CBSE-2014-MateescuSY #model checking #parallel #process #using: Quantifying the parallelism in BPMN processes using model checking (RM, GS, LY), pp. 159–168.
ECSA-2014-OliveiraLFON #architecture #design #process #towards: Towards a Process to Design Architectures of Service-Oriented Robotic Systems (LBRdO, EL, KRF, FO, EYN), pp. 218–225.
WICSA-2014-BabazadehP #design #distributed #framework: The Stream Software Connector Design Space: Frameworks and Languages for Distributed Stream Processing (MB, CP), pp. 1–10.
WICSA-2014-BaresiGM #consistency #evolution #process #runtime: Consistent Runtime Evolution of Service-Based Business Processes (LB, SG, VPLM), pp. 77–86.
WICSA-2014-DragomirLB #approach #architecture: Systematic Architectural Decision Management, A Process-Based Approach (AD, HL, TB), pp. 255–258.
WICSA-2014-NakagawaGMFO #architecture #design #evaluation #process #representation: Consolidating a Process for the Design, Representation, and Evaluation of Reference Architectures (EYN, MG, JCM, DF, FO), pp. 143–152.
WICSA-2014-ZernadjiTC #approach #evolution #quality #requirements #web #web service: Processing the Evolution of Quality Requirements of Web Service Orchestrations: A Pattern-Based Approach (TZ, CT, CF), pp. 139–142.
ASE-2014-BurgDMDGH #consistency #nondeterminism #process: Tracing software build processes to uncover license compliance inconsistencies (SvdB, ED, SM, JD, DMG, AH), pp. 731–742.
ASE-2014-StephenSSE #big data #program analysis: Program analysis for secure big data processing (JJS, SS, RS, PTE), pp. 277–288.
CASE-2014-ChenFSWJF #internet: Complex event processing for the Internet of Things and its applications (CYC, JHF, TS, PFW, EJ, MWF), pp. 1144–1149.
CASE-2014-FeyzabadiC #markov #process #using: Risk-aware path planning using hirerachical constrained Markov Decision Processes (SF, SC), pp. 297–303.
CASE-2014-KanagarajPL #algorithm #optimisation #process: 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 #process #scheduling: A color petri net based scheduling model for remanufacturing system with stochastic process routing (LL, CL, YT), pp. 474–479.
CASE-2014-LiY #scheduling: ACO-ICSA based scheduling of re-entrant manufacturing system with Mix-processing Style (LL, QY), pp. 87–92.
CASE-2014-LuXJ #markov #process: A Markov Decision Process model for elective inpatient admission with delay announcement (YL, XX, ZJ), pp. 552–557.
CASE-2014-MahlerKLSMKPWFAG #learning #process #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 #process: Insight extraction for semiconductor manufacturing processes (SP, GAS, JW, ABJ, PGO, SFM), pp. 786–791.
CASE-2014-SongWHT #modelling #process: Shape deviation modeling for fused deposition modeling processes (SS, AW, QH, FT), pp. 758–763.
CASE-2014-TiengYHC #approach #multi #optimisation #process: A multi-objective optimization approach for selecting key features of machining processes (HT, HCY, MHH, FTC), pp. 899–904.
CASE-2014-YugmaBDV #bibliography #integration #process #scheduling: Integration of scheduling and advanced process control in semiconductor manufacturing: review and outlook (CY, JB, SDP, PV), pp. 93–98.
DAC-2014-GaoXYP #named #optimisation #process: MOSAIC: Mask Optimizing Solution With Process Window Aware Inverse Correction (JRG, XX, BY, DZP), p. 6.
DAC-2014-LiuFC #process #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 #process #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-SchaffnerGSKB #approximate #complexity #linear #realtime #video: An Approximate Computing Technique for Reducing the Complexity of a Direct-Solver for Sparse Linear Systems in Real-Time Video Processing (MS, FKG, AS, HK, LB), p. 6.
DAC-2014-ZhaoJZX #process: SLC-enabled Wear Leveling for MLC PCM Considering Process Variation (MZ, LJ, YZ, CJX), p. 6.
DATE-2014-0001GWKAWG #optimisation #performance #runtime: Exploiting expendable process-margins in DRAMs for run-time performance optimization (KC, SG, CW, MK, BA, NW, KG), pp. 1–6.
DATE-2014-AguileraLFMSK #algorithm #clustering #multi #process: Process variation-aware workload partitioning algorithms for GPUs supporting spatial-multitasking (PA, JL, AFF, KM, MJS, NSK), pp. 1–6.
DATE-2014-DuW #optimisation #process #standard: Optimization of standard cell based detailed placement for 16 nm FinFET process (YD, MDFW), pp. 1–6.
DATE-2014-NejatAA #power management #process: Dynamic Flip-Flop conversion to tolerate process variation in low power circuits (MN, BA, AAK), pp. 1–4.
DATE-2014-NovoFIAC #approximate #case study #energy #performance #runtime: Energy efficient MIMO processing: A case study of opportunistic run-time approximations (DN, NF, PI, UA, FC), pp. 1–6.
DATE-2014-RichterVSHV #challenge: Integrated circuits processing chemical information: Prospects and challenges (AR, AV, RS, SH, MV), p. 1.
HT-2014-ChengKWT #architecture #distributed #memory management #performance #rdf #scalability: A two-tier index architecture for fast processing large RDF data over distributed memory (LC, SK, TEW, GT), pp. 300–302.
PODS-2014-BeameKS #parallel #query: Skew in parallel query processing (PB, PK, DS), pp. 212–223.
SIGMOD-2014-AgarwalMKTJMMS #approximate #performance #query #reliability: Knowing when you’re wrong: building fast and reliable approximate query processing systems (SA, HM, AK, AT, MIJ, SM, BM, IS), pp. 481–492.
SIGMOD-2014-ChangWMJMGLCWSB #named #parallel #sql: HAWQ: a massively parallel processing SQL engine in hadoop (LC, ZW, TM, LJ, LM, AG, LL, JC, CW, GS, MB), pp. 1223–1234.
SIGMOD-2014-ChengR #parallel: Parallel in-situ data processing with speculative loading (YC, FR), pp. 1287–1298.
SIGMOD-2014-DuttH #estimation #query: Plan bouquets: query processing without selectivity estimation (AD, JRH), pp. 1039–1050.
SIGMOD-2014-KarnagelHLHLHM #performance #query: Demonstrating efficient query processing in heterogeneous environments (TK, MH, ML, DH, WL, MH, VM), pp. 693–696.
SIGMOD-2014-LeFevreSHTPC14a #big data #multi #named #query: MISO: souping up big data query processing with a multistore system (JL, JS, HH, JT, NP, MJC), pp. 1591–1602.
SIGMOD-2014-PangKFF #commit #named #predict: PLANET: making progress with commit processing in unpredictable environments (GP, TK, MJF, AF), pp. 3–14.
SIGMOD-2014-QinYCCZL #graph #pipes and filters #scalability: Scalable big graph processing in MapReduce (LQ, JXY, LC, HC, CZ, XL), pp. 827–838.
SIGMOD-2014-ShiCDO #ad hoc #towards: Towards unified ad-hoc data processing (XS, BC, GD, BCO), pp. 1263–1274.
SIGMOD-2014-WangKFGKM #framework #performance #query: A sample-and-clean framework for fast and accurate query processing on dirty data (JW, SK, MJF, KG, TK, TM), pp. 469–480.
SIGMOD-2014-WongKCLY #database #query: Secure query processing with data interoperability in a cloud database environment (WKW, BK, DWLC, RL, SMY), pp. 1395–1406.
SIGMOD-2014-ZengGMZ #approximate #estimation #fault #performance #query: The analytical bootstrap: a new method for fast error estimation in approximate query processing (KZ, SG, BM, CZ), pp. 277–288.
SIGMOD-2014-ZhangDI #complexity #on the #optimisation #query: On complexity and optimization of expensive queries in complex event processing (HZ, YD, NI), pp. 217–228.
VLDB-2014-BressHSKMS #hardware #named: Ocelot/HyPE: Optimized Data Processing on Heterogeneous Hardware (SB, MH, MS, BK, VM, GS), pp. 1609–1612.
VLDB-2014-ChenCCC #named #performance: SOPS: A System for Efficient Processing of Spatial-Keyword Publish/Subscribe (LC, YC, GC, XC), pp. 1601–1604.
VLDB-2014-DeutchMT #analysis #framework #process: A Provenance Framework for Data-Dependent Process Analysis (DD, YM, VT), pp. 457–468.
VLDB-2014-DuttNH #approach #named #query #robust: QUEST: An Exploratory Approach to Robust Query Processing (AD, SN, JRH), pp. 1585–1588.
VLDB-2014-GuarnieriB #query: Optimal Security-Aware Query Processing (MG, DAB), pp. 1307–1318.
VLDB-2014-HanDAOWJ #comparison #graph: An Experimental Comparison of Pregel-like Graph Processing Systems (MH, KD, KA, MTÖ, XW, TJ), pp. 1047–1058.
VLDB-2014-Jiang0OTW #big data #named #scalability: epiC: an Extensible and Scalable System for Processing Big Data (DJ, GC, BCO, KLT, SW), pp. 541–552.
VLDB-2014-KarpathiotakisBAA #adaptation #query: Adaptive Query Processing on RAW Data (MK, MB, IA, AA), pp. 1119–1130.
VLDB-2014-LiLWB #in the cloud #performance #privacy #query: Fast Range Query Processing with Strong Privacy Protection for Cloud Computing (RL, AXL, ALW, BB), pp. 1953–1964.
VLDB-2014-LiP #named: WideTable: An Accelerator for Analytical Data Processing (YL, JMP), pp. 907–918.
VLDB-2014-NagelBV #code generation #performance #query: Code Generation for Efficient Query Processing in Managed Runtimes (FN, GMB, SDV), pp. 1095–1106.
VLDB-2014-SuSGOS #big data #java: Changing Engines in Midstream: A Java Stream Computational Model for Big Data Processing (XS, GS, BG, BO, PS), pp. 1343–1354.
VLDB-2014-WangZYMLD0 #concurrent #query: Concurrent Analytical Query Processing with GPUs (KW, KZ, YY, SM, RL, XD, XZ), pp. 1011–1022.
VLDB-2015-HeZH14 #architecture #cpu #gpu #query: In-Cache Query Co-Processing on Coupled CPU-GPU Architectures (JH, SZ, BH), pp. 329–340.
VLDB-2015-Li0QYZ014 #query #set #using: Processing Moving kNN Queries Using Influential Neighbor Sets (CL, YG, JQ, GY, RZ, WY), pp. 113–124.
VLDB-2015-ShenCJLOT14 #distributed #graph #performance: Fast Failure Recovery in Distributed Graph Processing Systems (YS, GC, HVJ, WL, BCO, BMT), pp. 437–448.
VLDB-2015-TaftMSDEAPS14 #clustering #distributed #fine-grained #named #transaction: E-Store: Fine-Grained Elastic Partitioning for Distributed Transaction Processing (RT, EM, MS, JD, AJE, AA, AP, MS), pp. 245–256.
VLDB-2015-YangZTCM14 #distributed #named #navigation: CANDS: Continuous Optimal Navigation via Distributed Stream Processing (DY, DZ, KLT, JC, FLM), pp. 137–148.
VLDB-2015-ZhouGSY14 #distributed #graph #named #online #scalability #using: MOCgraph: Scalable Distributed Graph Processing Using Message Online Computing (CZ, JG, BS, JXY), pp. 377–388.
CSEET-2014-Barker #process: Workshop on improving the CSEE&T submissions process (MB), pp. 183–185.
CSEET-2014-RongZS #case study #education #experience #matter #process: Where does experience matter in software process education? An experience report (GR, HZ, DS), pp. 129–138.
CSEET-2014-SedelmaierL #modelling #process #requirements #using: Using business process models to foster competencies in requirements engineering (YS, DL), pp. 13–22.
ITiCSE-2014-Isomottonen #process #student: Making group processes explicit to student: a case of justice (VI), pp. 195–200.
ITiCSE-2014-MonasorVPNB #assessment #development #process: Assessment process for a simulation-based training environment in global software development (MJM, AV, MP, JN, SB), pp. 231–236.
FoSSaCS-2014-0001MS #markov #process: Limit Synchronization in Markov Decision Processes (LD, TM, MS), pp. 58–72.
FoSSaCS-2014-BonnetKL #analysis #parallel #probability #process: Analysis of Probabilistic Basic Parallel Processes (RB, SK, AWL), pp. 43–57.
FoSSaCS-2014-Fu #bound #markov #probability #process #reachability: Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes (HF), pp. 73–87.
TACAS-2014-SoudjaniA #approximate #markov #precise #probability #process: Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance (SEZS, AA), pp. 547–561.
CSMR-WCRE-2014-AlawnehHML #approach #communication #effectiveness: A contextual approach for effective recovery of inter-process communication patterns from HPC traces (LA, AHL, SSM, YL), pp. 274–282.
CSMR-WCRE-2014-VosTPKBHS #automation #internet #named #process #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 #process #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 #process #repository: Process mining multiple repositories for software defect resolution from control and organizational perspective (MG, AS, SP), pp. 122–131.
MSR-2014-KhodabandelouHDS #modelling #process: Unsupervised discovery of intentional process models from event logs (GK, CH, RD, CS), pp. 282–291.
FLOPS-2014-BarkatiWJ #interpreter #multi #named: Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing — System Description (KB, HW, PJ), pp. 69–85.
LATA-2014-LiPT #probability #process #simulation: Probabilistic Simulation for Probabilistic Data-Aware Business Processes (HL, FP, FT), pp. 503–515.
FM-2014-AntoninoSW #analysis #concurrent #csp #network #process #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 #process: Diagnosing Industrial Business Processes: Early Experiences (SR, ASMS, SS), pp. 703–717.
IFM-2014-FathabadiSB #manycore #modelling #process #runtime: Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems (ASF, CFS, MJB), pp. 120–135.
IFL-2014-AronssonAS #domain-specific language #embedded: Stream Processing for Embedded Domain Specific Languages (MA, EA, MS), p. 8.
ILC-2014-Penkler #array: An Array and List Processing System (DP), p. 22.
ICGT-2014-Bruggink #graph transformation #mining #process #towards: Towards Process Mining with Graph Transformation Systems (HJSB), pp. 253–268.
CHI-2014-BentonVKJG #design #framework #process: Diversity for design: a framework for involving neurodiverse children in the technology design process (LB, AV, RK, HJ, DG), pp. 3747–3756.
CHI-2014-LeavittC #process #social: Upvoting hurricane Sandy: event-based news production processes on a social news site (AL, JAC), pp. 1495–1504.
CHI-2014-MuellerGVE #design #game studies #process: Supporting the creative game design process with exertion cards (FM, MRG, FV, DE), pp. 2211–2220.
CSCW-2014-VitakK #facebook #how #people #process #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 #process #using #web: Modeling search processes using hidden states in collaborative exploratory web search (ZY, SH, DH), pp. 820–830.
DHM-2014-AbibBA #communication #comprehension #process: Understanding and Facilitating the Communication Process among Healthcare Professionals (JCA, AOB, JCA), pp. 313–324.
DHM-2014-GoreW #concept #process: A Task Analytic Process to Define Future Concepts in Aviation (BFG, CW), pp. 236–246.
DHM-2014-OtaWKTGH #comparison #process: 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 #process #user interface #web: HCI Knowledge for UX Practices in the Web Development Process (IH, MM, AOMT), pp. 116–126.
DUXU-DI-2014-ShinKKJS #design #game studies #interactive #process: 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-Al-RubaianAAAAAAAAAAAAA #design #development #game studies: The Design and Development of Empathetic Serious Games for Dyslexia: BCI Arabic Phonological Processing Training Systems (AAR, LA, RA, WA, HA, NA, HAN, AA, SA, RA, AAS, DAO, GA, AAW), pp. 105–112.
DUXU-DP-2014-HamachiTN #integration #process #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 #process #standard #usability: ISO 9241-210 and Culture? — The Impact of Culture on the Standard Usability Engineering Process (RH), pp. 39–48.
DUXU-TMT-2014-KeckLG #design #process #user interface: Revisiting Graspable User Interfaces — A Design Process for Developing User Interface Metaphors (MK, EL, RG), pp. 130–141.
HCI-AIMT-2014-FleischmannSS #case study #comparative #interactive #modelling #process: Tangible or Not Tangible — A Comparative Study of Interaction Types for Process Modeling Support (AF, WS, CS), pp. 544–555.
HCI-TMT-2014-BatistaUF #adaptation #design #guidelines #interface #process #web: A Model and Guidelines for the Interface Design Process for Adaptive Web Applications (IDPAWA) (CRB, VRU, AMdVF), pp. 387–398.
HCI-TMT-2014-HankiewiczB #performance #quality #source code #using #word: Efficiency in Performing Basic Tasks Using Word Processing Programs by the Elderly as a Measure of the Ergonomic Quality of Software (KH, MB), pp. 481–488.
HCI-TMT-2014-LatoschikF #multimodal #reuse #scalability: Engineering Variance: Software Techniques for Scalable, Customizable, and Reusable Multimodal Processing (MEL, MF), pp. 308–319.
HCI-TMT-2014-RaneburgerPKAS #automation #design #generative #incremental #interactive #process #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 #process: Design-Neuroscience: Interactions between the Creative and Cognitive Processes of the Brain and Design (RZ), pp. 167–174.
HIMI-AS-2014-MaeshiroM #network #process: Polyhedron Network Model to Describe Creative Processes (TM, MM), pp. 535–545.
HIMI-AS-2014-MakiY #3d #image #multi #using: 3D CG Integral Photography Artwork Using Glittering Effects in the Post-processing of Multi-viewpoint Rendered Images (NM, KY), pp. 546–554.
HIMI-AS-2014-SeigerSMS #concept #cyber-physical #interactive #process: 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 #process #visualisation: Visualizing Mental Learning Processes with Invisible Mazes for Continuous Learning (TY, KT, KT), pp. 137–148.
HIMI-DE-2014-TanikawaSKF #design #problem #process #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 #process: Canvas to Improve the Design Process of Educational Animation (ALB, MMA, REP), pp. 13–24.
LCT-NLE-2014-Choffat-Durr #distance #process: Distance Exchange Projects at Elementary School: A Focus on a Co-learning Process (ACD), pp. 380–387.
SCSM-2014-FraidakiPD #how #information management #process #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.
CAiSE-2014-0001PBKLSFW #automation #process: Automating Data Exchange in Process Choreographies (AM, LP, KB, SK, TL, TS, DF, MW), pp. 316–331.
CAiSE-2014-BastarricaMRSV #how #process #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 #process: Mining Event Logs to Assist the Development of Executable Process Variants (NNC, KY, WG, JM), pp. 548–563.
CAiSE-2014-EpureHDB #flexibility #mining #process #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 #process: Mining Predictive Process Models out of Low-level Multidimensional Logs (FF, MG, LP), pp. 533–547.
CAiSE-2014-LaurentBBG #formal method #process #verification: Formalization of fUML: An Application to Process Verification (YL, RB, SB, MPG), pp. 347–363.
CAiSE-2014-MaggiFDG #monitoring #predict #process: Predictive Monitoring of Business Processes (FMM, CDF, MD, CG), pp. 457–472.
CAiSE-2014-MurguzurCTS #process #runtime #staged: Context-Aware Staged Configuration of Process Variants@Runtime (AM, XDC, ST, GS), pp. 241–255.
CAiSE-2014-OhlssonHJCR #process #tool support: Prioritizing Business Processes Improvement Initiatives: The Seco Tools Case (JO, SH, PJ, FC, LR), pp. 256–270.
CAiSE-2014-PolyvyanyyRH #modelling #performance #process #retrieval #using: Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings (AP, MLR, AHMtH), pp. 439–456.
CAiSE-2014-RuizCEFP #analysis #information management #process: Integrating the Goal and Business Process Perspectives in Information System Analysis (MR, DC, SE, XF, OP), pp. 332–346.
CAiSE-2014-SenderovichWGM #mining #predict #process #queue: Queue Mining — Predicting Delays in Service Processes (AS, MW, AG, AM), pp. 42–57.
CAiSE-2014-SubeljBKB #mining #process: Automatization of the Stream Mining Process (LS, ZB, MK, MB), pp. 409–423.
EDOC-2014-0002HHDKS #process #towards: Towards Process Support for Cloud Manufacturing (SS, PH, CH, SD, MK, DS), pp. 142–149.
EDOC-2014-Aalst #enterprise #mining #process: Process Mining as the Superglue Between Data Science and Enterprise Computing (WMPvdA), p. 1.
EDOC-2014-FrancescomarinoRGV #modelling #process #semantics: The Role of Semantic Annotations in Business Process Modelling (CDF, MR, CG, AV), pp. 181–189.
EDOC-2014-GarciaV #abstraction #architecture #framework #implementation #process: Object-Business Process Mapping Frameworks: Abstractions, Architecture, and Implementation (RG, MTV), pp. 160–169.
EDOC-2014-HalleV #formal method: A Formalization of Complex Event Stream Processing (SH, SV), pp. 2–11.
EDOC-2014-Pufahl0W #process: Batch Regions: Process Instance Synchronization Based on Data (LP, AM, MW), pp. 150–159.
EDOC-2014-SungurBBL #process: Informal Process Essentials (CTS, TB, UB, FL), pp. 200–209.
EDOC-2014-Weber #comprehension #how #modelling #process #towards: Investigating the Process of Process Modeling: Towards an in-Depth Understanding of How Process Models Are Created (BW), p. 180.
ICEIS-v1-2014-0001DFL #classification #constraints #documentation #process: Service Level Agreement Constraints into Processes for Document Classification (MB, MD, FF, AL), pp. 545–550.
ICEIS-v1-2014-FreireCSS #process #query #semantics: Preserving the Original Query Semantics in Routing Processes (CF, NC, DS, ACS), pp. 70–80.
ICEIS-v1-2014-GrogerSM #information management #process #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 #process: Business Process Change in Enterprise Systems Integration — Challenges and Opportunities (VJ, AA, AC, HS), pp. 128–135.
ICEIS-v1-2014-OliveiraB #independence #process #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-GulnazMT #information management: University’s Scientific Resources Processing in Knowledge Management Systems (GZ, MM, TB), pp. 225–232.
ICEIS-v2-2014-HoosGKM #analysis #framework #identification #mobile #process: Improving Business Processes Through Mobile Apps — An Analysis Framework to Identify Value-added App Usage Scenarios (EH, CG, SK, BM), pp. 71–82.
ICEIS-v2-2014-KaramtiTG #image #network #process #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 #process #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 #process #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 #process #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 #process: Processes Construction and π-calculus-based Execution and Tracing (LS, VR, VW), pp. 448–453.
ICEIS-v2-2014-SilvaMTW #modelling #process: Business Process Modeling and Instantiation in Home Care Environments (JKKdS, GMM, LHT, LKW), pp. 513–525.
ICEIS-v2-2014-SilvaTDO #process: 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 #process: Supporting Process Model Development with Enterprise-Specific Ontologies (NA, SC, FG), pp. 236–248.
ICEIS-v3-2014-AzevedoF #case study #education #learning #process #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-OrdonezCCWT #collaboration #evaluation #modelling #process #repository: Collaborative Evaluation to Build Closed Repositories on Business Process Models (HO, JCC, CC, LKW, LHT), pp. 311–318.
ICEIS-v3-2014-RavasanRH #approach #framework #fuzzy #process #using: A Practical Framework for Business Process Management Suites Selection Using Fuzzy TOPSIS Approach (AZR, SR, HH), pp. 295–302.
ICEIS-v3-2014-SaidCAB #metamodelling #modelling #process: 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 #process: 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 #process: Declarative Versus Imperative Business Process Languages — A Controlled Experiment (NCS, CALdO, FALAA, RMFL), pp. 394–401.
ICEIS-v3-2014-ThabetGG #mining #petri net #process #towards: Towards Business Process Model Extension with Cost Perspective Based on Process Mining — Petri Net Model Case (DT, SAG, HHBG), pp. 335–342.
CIKM-2014-CalvaneseMET #modelling #process #uml: Verifiable UML Artifact-Centric Business Process Models (DC, MM, ME, ET), pp. 1289–1298.
CIKM-2014-ChatzistergiouV #clustering #data type #heuristic #performance: Fast Heuristics for Near-Optimal Task Allocation in Data Stream Processing over Clusters (AC, SDV), pp. 1579–1588.
CIKM-2014-WuF #documentation #query #scalability: Document Prioritization for Scalable Query Processing (HW, HF), pp. 1609–1618.
CIKM-2014-WuF14a #modelling #performance #query: Analytical Performance Modeling for Top-K Query Processing (HW, HF), pp. 1619–1628.
ECIR-2014-FiliceCCB #effectiveness #kernel #learning #online: Effective Kernelized Online Learning in Language Processing Tasks (SF, GC, DC, RB), pp. 347–358.
ICML-c1-2014-DickGS #learning #markov #online #process #sequence: Online Learning in Markov Decision Processes with Changing Cost Sequences (TD, AG, CS), pp. 512–520.
ICML-c1-2014-GiesekeHOI #nearest neighbour #query: Buffer k-d Trees: Processing Massive Nearest Neighbor Queries on GPUs (FG, JH, CEO, CI), pp. 172–180.
ICML-c1-2014-LianREC #correlation #markov #modelling #process: Modeling Correlated Arrival Events with Latent Semi-Markov Processes (WL, VR, BE, LC), pp. 396–404.
ICML-c1-2014-MillerBAG #analysis #process: Factorized Point Process Intensities: A Spatial Analysis of Professional Basketball (AM, LB, RPA, KG), pp. 235–243.
ICML-c1-2014-NguyenB #performance #process: Fast Allocation of Gaussian Process Experts (TVN, EVB), pp. 145–153.
ICML-c2-2014-AffandiFAT #kernel #learning #parametricity #process: Learning the Parameters of Determinantal Point Process Kernels (RHA, EBF, RPA, BT), pp. 1224–1232.
ICML-c2-2014-BarberW #difference #equation #estimation #process: Gaussian Processes for Bayesian Estimation in Ordinary Differential Equations (DB, YW), pp. 1485–1493.
ICML-c2-2014-BartunovV #distance #process: Variational Inference for Sequential Distance Dependent Chinese Restaurant Process (SB, DV), pp. 1404–1412.
ICML-c2-2014-BenavoliCMZR #process: 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 #process #scalability: Scalable Gaussian Process Structured Prediction for Grid Factor Graph Applications (SB, NQ, SN, ZG), pp. 334–342.
ICML-c2-2014-CelikkayaS #markov #probability #process: Deterministic Anytime Inference for Stochastic Continuous-Time Markov Processes (EBC, CRS), pp. 1962–1970.
ICML-c2-2014-ChwialkowskiG #independence #kernel #process #random: A Kernel Independence Test for Random Processes (KC, AG), pp. 1422–1430.
ICML-c2-2014-ContalPV #optimisation #process: Gaussian Process Optimization with Mutual Information (EC, VP, NV), pp. 253–261.
ICML-c2-2014-GalG #parallel #process: Pitfalls in the use of Parallel Inference for the Dirichlet Process (YG, ZG), pp. 208–216.
ICML-c2-2014-GrandeWH #learning #performance #process: Sample Efficient Reinforcement Learning with Gaussian Processes (RCG, TJW, JPH), pp. 1332–1340.
ICML-c2-2014-HaeffeleYV #algorithm #image #matrix #rank: Structured Low-Rank Matrix Factorization: Optimality, Algorithm, and Applications to Image Processing (BDH, EY, RV), pp. 2007–2015.
ICML-c2-2014-HoangLJK #learning #process: Nonmyopic ϵ-Bayes-Optimal Active Learning of Gaussian Processes (TNH, BKHL, PJ, MSK), pp. 739–747.
ICML-c2-2014-KimO #process #scalability: Hierarchical Dirichlet Scaling Process (DK, AHO), pp. 973–981.
ICML-c2-2014-LindermanA #network #process: Discovering Latent Network Structure in Point Process Data (SWL, RPA), pp. 1413–1421.
ICML-c2-2014-NakanoIKYU #process: Rectangular Tiling Process (MN, KI, AK, TY, NU), pp. 361–369.
ICML-c2-2014-RodriguesPR #classification #learning #multi #process: Gaussian Process Classification and Active Learning with Multiple Annotators (FR, FCP, BR), pp. 433–441.
ICML-c2-2014-SatoN #analysis #approximate #equation #probability #process #using: Approximation Analysis of Stochastic Gradient Langevin Dynamics by using Fokker-Planck Equation and Ito Process (IS, HN), pp. 982–990.
ICPR-2014-AokiFKM #algorithm #architecture #visual notation: KIZUKI Processing for Visual Inspection: A Smart Pattern Pop-Out Algorithm Based on Human Visual Architecture (KA, TF, HK, YM), pp. 2317–2322.
ICPR-2014-Filippone #classification #process #pseudo: Bayesian Inference for Gaussian Process Classifiers with Annealing and Pseudo-Marginal MCMC (MF), pp. 614–619.
ICPR-2014-GuerreroR #process: Circular Regression Based on Gaussian Processes (PG, JRdS), pp. 3672–3677.
ICPR-2014-MutimbuR #graph #image: Factor Graphs for Image Processing (LDM, ARK), pp. 1443–1448.
ICPR-2014-SetitraL #algorithm #bibliography #perspective: Background Subtraction Algorithms with Post-processing: A Review (IS, SL), pp. 2436–2441.
KDD-2014-ChengL #equivalence #parallel #process: Parallel gibbs sampling for hierarchical dirichlet processes via gamma processes equivalence (DC, YL), pp. 562–571.
KDD-2014-LiDDCZ #identification #process: Identifying and labeling search tasks via query-based hawkes processes (LL, HD, AD, YC, HZ), pp. 731–740.
KDD-2014-LiuGXXGP #modelling #probability #process #workflow: Proactive workflow modeling by stochastic processes with application to healthcare operation and management (CL, YG, HX, KX, WG, MP), pp. 1593–1602.
KDD-2014-LiuTL #online #process: Online chinese restaurant process (CLL, THT, CHL), pp. 591–600.
KDD-2014-RossCCD #clustering #process: Dual beta process priors for latent cluster discovery in chronic obstructive pulmonary disease (JCR, PJC, MHC, JGD), pp. 155–162.
KDD-2014-ZhengZLJXLSZLTLDLW #data mining #mining #optimisation #process: 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 #process: Actors and Factors in IS Process Innovation Decisions (EMO, JH, PP), pp. 202–209.
KEOD-2014-Aalst #mining #people #process #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 #process: An Ontology based Approach for Assisting Conceptualisation in CAD Processes (EG), pp. 272–279.
KEOD-2014-LietoMPRF #architecture #ontology #process: A Dual Process Architecture for Ontology-based Systems (AL, AM, AP, DPR, MF), pp. 48–55.
KEOD-2014-LincolnW #process #repository: Business Process Search within Unstructured Repositories (ML, AW), pp. 467–474.
KEOD-2014-NefziFFS #automation #ontology #process: A Semi-automatic Mapping Selection in the Ontology Alignment Process (HN, MF, IRF, BS), pp. 459–466.
KMIS-2014-Grim-Yefsah #case study #information management #process #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 #process: Quantitative Process Maps — A Concept for Prioritization of Business Process Improvement Projects (CT, TN), pp. 441–446.
KMIS-2014-WoitB #collaboration #consistency #development #process #programming: Commitment and Consistency in the Collaborative Software Development Process of Extreme Programming (DMW, KJB), pp. 375–381.
KR-2014-MarrellaMS #adaptation #calculus #named #process: SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (AM, MM, SS).
RecSys-2014-JannachF #data mining #mining #modelling #process #recommendation: Recommendation-based modeling support for data mining processes (DJ, SF), pp. 337–340.
RecSys-2014-VanchinathanNBK #process #recommendation: Explore-exploit in top-N recommender systems via Gaussian processes (HPV, IN, FDB, AK), pp. 225–232.
SEKE-2014-AssoudiL #approach #multi #process: A Multi-Agent-Based Approach for Autonomic Data Exchange Processes (HA, HL), pp. 334–337.
SEKE-2014-ChourabiA #automation #process #specification: Automated transformation of business rules specification to business process model (OC, JA), pp. 684–687.
SEKE-2014-DalliloAF #approach #multi #process: Making the link between strategy and process model collections: a multi-layered approach (FD, JPdA, MF), pp. 387–392.
SEKE-2014-FernandesALG #modelling #probability #process #reduction: A Dimensionality Reduction Process to Forecast Events through Stochastic Models (PF, JA, LL, SG), pp. 534–539.
SEKE-2014-GayedLB #case study #forensics #lightweight #ontology #process #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-JuniorCMS #data analysis #gpu #repository: Exploratory Data Analysis of Software Repositories via GPU Processing (JRDSJ, EC, LM, AS), pp. 495–500.
SEKE-2014-KrollRA #development #process: Proposing a Software Process Model for Follow the Sun Development (JK, IR, JLNA), pp. 412–415.
SEKE-2014-LeungLZ #process #scheduling: Snowball Effects on Risk Mitigation Scheduling: Process and Tool (HKNL, KML, PZ), pp. 582–585.
SEKE-2014-LingZF #approach #modelling #process #similarity: An Improved Structure-based Approach to Measure Similarity of Business Process Models (JL, LZ, QF), pp. 377–380.
SEKE-2014-SchotsRS #analysis #performance #process: A Body of Knowledge for Executing Performance Analysis of Software Processes (NCLS, ARR, GS), pp. 560–565.
SIGIR-2014-NguyenKB #process #recommendation: Gaussian process factorization machines for context-aware recommendations (TVN, AK, LB), pp. 63–72.
SIGIR-2014-PetriMC #hybrid: Score-safe term-dependency processing with hybrid indexes (MP, AM, JSC), pp. 899–902.
SIGIR-2014-ZhangCT #keyword #query: Processing spatial keyword query as a top-k aggregation query (DZ, CYC, KLT), pp. 355–364.
ECMFA-2014-LaurentBBG #alloy #framework #process #verification: Alloy4SPV : A Formal Framework for Software Process Verification (YL, RB, SB, MPG), pp. 83–100.
ECMFA-2014-Ritter #case study #experience #integration #modelling #process: Experiences with Business Process Model and Notation for Modeling Integration Patterns (DR), pp. 254–266.
MoDELS-2014-ChavarriagaNCJ #detection #multi #process: Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process (JC, CN, RC, VJ), pp. 337–352.
MoDELS-2014-DavidRV #model transformation #streaming: Streaming Model Transformations By Complex Event Processing (ID, IR, DV), pp. 68–83.
MoDELS-2014-ChavarriagaNCJ #detection #multi #process: Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process (JC, CN, RC, VJ), pp. 337–352.
MoDELS-2014-DavidRV #model transformation #streaming: Streaming Model Transformations By Complex Event Processing (ID, IR, DV), pp. 68–83.
ECOOP-2014-VaziriTRSH #spreadsheet: Stream Processing with a Spreadsheet (MV, OT, RR, PS, MH), pp. 360–384.
OOPSLA-2014-JonnalageddaCSRO #combinator #parsing #performance #staged: Staged parser combinators for efficient data processing (MJ, TC, SS, TR, MO), pp. 637–653.
PPDP-2014-DownenMAV #continuation #process: Continuations, Processes, and Sharing (PD, LM, ZMA, DV), pp. 69–80.
QAPL-2014-MiculanP #aspect-oriented #nondeterminism #process: GSOS for non-deterministic processes with quantitative aspects (MM, MP), pp. 17–33.
QAPL-2014-TschaikowskiT #algebra #biology #difference #performance #process: Extended Differential Aggregations in Process Algebra for Performance and Biology (MT, MT), pp. 34–47.
RE-2014-Buksa #process: Business processes and regulations compliance management technology (IB), pp. 489–493.
RE-2014-WittFSH #process #validation #verification: Business Application Modeler: A process model Validation and Verification tool (SW, SF, AS, CH), pp. 333–334.
SAC-2014-BillhardtLOBD: Intelligent event processing for emergency medical assistance (HB, ML, SO, RB, JD), pp. 200–206.
SAC-2014-CogniniCGPR #adaptation #challenge #process #research: Research challenges in business process adaptability (RC, FC, SG, AP, BR), pp. 1049–1054.
SAC-2014-EvermannA #algorithm #big data #implementation #mining #process: Big data meets process mining: implementing the alpha algorithm with map-reduce (JE, GA), pp. 1414–1416.
SAC-2014-FdhilaR #co-evolution #collaboration #predict #process: Predicting change propagation impacts in collaborative business processes (WF, SRM), pp. 1378–1385.
SAC-2014-HamerW #scalability: Large scale processing of landsat data on various software platforms (GH, JW), pp. 1547–1549.
SAC-2014-KolbZWR #design #distance #empirical #how #modelling #process #social: How social distance of process designers affects the process of process modeling: insights from a controlled experiment (JK, MZ, BW, MR), pp. 1364–1370.
SAC-2014-LabdaMS #modelling #privacy #process: Modeling of privacy-aware business processes in BPMN to protect personal data (WL, NM, PS), pp. 1399–1405.
SAC-2014-LaurentBBG #declarative #process: Planning for declarative processes (YL, RB, SB, MPG), pp. 1126–1133.
SAC-2014-MolkaRDCZG #consistency #modelling #process: Conformance checking for BPMN-based process models (TM, DR, MD, AC, XJZ, WG), pp. 1406–1413.
SAC-2014-QuilleTR #analysis: Spectral analysis and text processing over the computer science literature: patterns and discoveries (RVEQ, CTJ, JFRJ), pp. 653–657.
SAC-2014-RaigozaS: Temporal join processing with hilbert curve space mapping (JR, JS), pp. 839–844.
SAC-2014-RaneburgerKPSA #automation #design #generative #interactive #process #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 #process #scheduling: A domain specific language for process scheduling (DR), pp. 1550–1551.
SAC-2014-SaarsenD #assessment #process #towards: Towards an assessment model for balancing process model production and use (TS, MD), pp. 1386–1392.
SAC-2014-WangWPSC #collaboration #network #process: 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 #process: An empirical study of bugs in build process (XZ, XX, PSK, DL, SL), pp. 1187–1189.
SPLC-2014-MennickeLSW #automation #feature model #petri net #process #verification #workflow: Automated verification of feature model configuration processes based on workflow Petri nets (SM, ML, JS, TW), pp. 62–71.
SPLC-2014-Tribastone #algebra #behaviour #process: Behavioral relations in a process algebra for variants (MT), pp. 82–91.
ASPLOS-2014-Gehlhaar #architecture #future of #scalability: Neuromorphic processing: a new frontier in scaling computer architecture (JG), pp. 317–318.
ASPLOS-2014-WuLPKR #architecture #database #design #named: Q100: the architecture and design of a database processing unit (LW, AL, TKP, MAK, KAR), pp. 255–268.
CC-2014-PrinzSA #compilation #process #towards: A First Step towards a Compiler for Business Processes (TMP, NS, WA), pp. 238–243.
CGO-2014-HongSWO #domain-specific language #graph #scalability: Simplifying Scalable Graph Processing with a Domain-Specific Language (SH, SS, JW, KO), p. 208.
CGO-2014-WuDSABGY #execution #query #relational: Red Fox: An Execution Environment for Relational Query Processing on GPUs (HW, GFD, TS, MA, SB, MG, SY), p. 44.
HPCA-2014-AgrawalAT #energy #locality #named #process: Mosaic: Exploiting the spatial locality of process variation to reduce refresh energy in on-chip eDRAM modules (AA, AA, JT), pp. 84–95.
HPDC-2014-ChenDWCZG #communication #distributed #graph #performance #perspective: Computation and communication efficient graph processing with distributed immutable view (RC, XD, PW, HC, BZ, HG), pp. 215–226.
HPDC-2014-KhorasaniVGB #graph #named: CuSha: vertex-centric graph processing on GPUs (FK, KV, RG, LNB), pp. 239–252.
HPDC-2014-XueYQHD #concurrent #graph #low cost #named #performance: Seraph: an efficient, low-cost system for concurrent graph processing (JX, ZY, ZQ, SH, YD), pp. 227–238.
HPDC-2014-ZhangJLGXI #in memory #memory management #named #programmable: TOP-PIM: throughput-oriented programmable processing in memory (DPZ, NJ, AL, JLG, LX, MI), pp. 85–98.
ISMM-2014-UgawaJR #garbage collection #on the fly: Reference object processing in on-the-fly garbage collection (TU, REJ, CGR), pp. 59–69.
OSDI-2014-GonzalezXDCFS #data flow #distributed #framework #graph #named: GraphX: Graph Processing in a Distributed Dataflow Framework (JEG, RSX, AD, DC, MJF, IS), pp. 599–613.
LICS-CSL-2014-BilokonE #approach #probability #process: A domain-theoretic approach to Brownian motion and general continuous stochastic processes (PB, AE), p. 10.
RTA-TLCA-2014-HondaYB #interactive #process #π-calculus: Process Types as a Descriptive Tool for Interaction — Control and the π-Calculus (KH, NY, MB), pp. 1–20.
VMCAI-2014-Song0G #bisimulation #logic #markov #process: Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes (LS, LZ, JCG), pp. 98–117.
QoSA-2013-FeugasMD #evolution #predict #process #quality: A causal model to predict the effect of business process evolution on quality of service (AF, SM, LD), pp. 143–152.
CASE-2013-BrownB #process: A queuing model for systems with rework and process downtime (AJB, FB), pp. 789–794.
CASE-2013-ChenCLZZF #assembly #automation #performance #process: Performance improvement for high accuracy assembly process in manufacturing automation (HC, HC, JL, BZ, GZ, TAF), pp. 540–545.
CASE-2013-ChenTSPSSN #design #optimisation: Optimization processing unit (OPU) applied to integrated circuit design and manufacturing (DCLC, JTT, DBS, SWP, MHS, KTS, PN), pp. 1008–1015.
CASE-2013-ChoiZFWT #industrial #requirements: Applications and requirements of industrial robots in meat processing (SC, GZ, TAF, TW, RT), pp. 1107–1112.
CASE-2013-JiaJL #algorithm #scheduling: A job-family-oriented algorithm for re-entrant batch processing machine scheduling (WJ, ZJ, YL), pp. 1022–1027.
CASE-2013-RoyS #constraints #generative #process: Generative process planning with environmental constraints (UR, SS), pp. 534–539.
CASE-2013-SustoJOM #multi #predict #process: 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 #process: Modeling and analysis of hospital inpatient rescue process: A Markov chain approach (XX, JL, CHS, YD), pp. 978–983.
CASE-2013-YanLS #detection #fault #process #statistics: Fault detection of cooling coils based on unscented Kalman filters and statistical process control (YY, PBL, BS), pp. 237–242.
CASE-2013-YiTLL #optimisation #parametricity: Optimization of CNC machine processing parameters for low carbon manufacturing (QY, YT, CL, PL), pp. 498–503.
CASE-2013-YueH13a #assembly #concurrent #petri net #policy #polynomial #process: 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 #process #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-AlaghiLH #probability #realtime: Stochastic circuits for real-time image-processing applications (AA, CL, JPH), p. 6.
DAC-2013-HillsZMSWWM #agile #design #guidelines: Rapid exploration of processing and design guidelines to overcome carbon nanotube variations (GH, JZ, CM, MMS, HW, HSPW, SM), p. 10.
DAC-2013-Kahng #design #process #roadmap: The ITRS design technology and system drivers roadmap: process and status (ABK), p. 6.
DAC-2013-RaiSST #algorithm #analysis #distributed #network #process: 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 #process: VAWOM: temperature and process variation aware wearout management in 3D multicore architecture (HT, HH, ND), p. 8.
DATE-2013-ChangWB #design: Process-variation-aware Iddq diagnosis for nano-scale CMOS designs — the first step (CLC, CHPW, JB), pp. 454–457.
DATE-2013-ChenRSIFC #analysis #process: 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 #process: 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 #process: Role of design in multiple patterning: technology development, design enablement and process control (RSG, PG), pp. 314–319.
DATE-2013-Hara-AzumiFKT #process: Instruction-set extension under process variation and aging effects (YHA, FF, SK, MBT), pp. 182–187.
DATE-2013-Kae-NuneP #anti #process #testing: Qualification and testing process to implement anti-counterfeiting technologies into IC packages (NKN, SP), pp. 1131–1136.
DATE-2013-MagarshackFC #design #energy #process: UTBB FD-SOI: a process/design symbiosis for breakthrough energy-efficiency (PM, PF, GC), pp. 952–957.
DATE-2013-RaghunathanTGM #multi #named #process: Cherry-picking: exploiting process variations in dark-silicon homogeneous chip multi-processors (BR, YT, SG, DM), pp. 39–44.
DATE-2013-ZhaoOX #process #synthesis: Profit maximization through process variation aware high level synthesis with speed binning (MZ, AO, CJX), pp. 176–181.
DocEng-2013-Esposito #documentation #machine learning: Symbolic machine learning methods for historical document processing (FE), pp. 1–2.
DRR-2013-TaghvaPM #higher-order #markov #modelling: Post processing with first- and second-order hidden Markov models (KT, SP, SM).
ICDAR-2013-FornesOL #image #multi: Show-Through Cancellation and Image Enhancement by Multiresolution Contrast Processing (AF, XO, JL), pp. 200–204.
ICDAR-2013-RomeroS13a #evaluation #process: Human Evaluation of the Transcription Process of a Marriage License Book (VR, JAS), pp. 1255–1259.
ICDAR-2013-ShiSG #documentation #framework #image #modelling: A Model Based Framework for Table Processing in Degraded Document Images (ZS, SS, VG), pp. 963–967.
ICDAR-2013-StammLD #analysis #approach #documentation #multi #partial order: Continuous Partial-Order Planning for Multichannel Document Analysis: A Process-Driven Approach (KS, ML, AD), pp. 626–630.
PODS-2013-BeameKS #communication #parallel #query: Communication steps for parallel query processing (PB, PK, DS), pp. 273–284.
PODS-2013-CalvaneseGM #analysis #database #perspective #process: Foundations of data-aware process analysis: a database theory perspective (DC, GDG, MM), pp. 1–12.
SIGMOD-2013-DeWittHNSAAFG #query: Split query processing in polybase (DJD, AH, RVN, SS, JAS, AA, MF, JG), pp. 1255–1266.
SIGMOD-2013-DoKPPPD #challenge #query: Query processing on smart SSDs: opportunities and challenges (JD, YSK, JMP, CP, KP, DJD), pp. 1221–1230.
SIGMOD-2013-EwenSTWM #parallel: Iterative parallel data processing with stratosphere: an inside look (SE, SS, KT, DW, VM), pp. 1053–1056.
SIGMOD-2013-FernandezMKP #fault tolerance #using: Integrating scale out and fault tolerance in stream processing using operator state management (RCF, MM, EK, PP), pp. 725–736.
SIGMOD-2013-HullSV #bibliography #data transformation #perspective #process #tutorial: Data management perspectives on business process management: tutorial overview (RH, JS, RV), pp. 943–948.
SIGMOD-2013-HungBTCZ #named #network #query #scalability #visual notation: QUBLE: blending visual subgraph query formulation with query processing on large networks (HHH, SSB, BQT, BC, SZ), pp. 1097–1100.
SIGMOD-2013-KaufmannMVFKFM #data type #query #timeline: Timeline index: a unified data structure for processing queries on temporal data in SAP HANA (MK, AAM, PV, PMF, DK, FF, NM), pp. 1173–1184.
SIGMOD-2013-KissingerSHL #query: Query processing on prefix trees live (TK, BS, DH, WL), pp. 1105–1108.
SIGMOD-2013-LiGC #named #realtime #sequence: ε-Matching: event processing over noisy sequences in real time (ZL, TG, CXC), pp. 601–612.
SIGMOD-2013-LiP #in memory #memory management #named #performance: BitWeaving: fast scans for main memory data processing (YL, JMP), pp. 289–300.
SIGMOD-2013-LiuTZSLKM #comparison #multi #named #process #semantics: CTrace: semantic comparison of multi-granularity process traces (QL, KT, XZ, GS, XL, CK, RM), pp. 1121–1124.
SIGMOD-2013-ZhangGBFRP #named #statistics #using: GeoDeepDive: statistical inference using familiar data-processing languages (CZ, VG, JB, TF, CR, SP), pp. 993–996.
SIGMOD-2013-ZhangKM #array #named: SciQL: array data processing inside an RDBMS (YZ, MLK, SM), pp. 1049–1052.
VLDB-2013-AilamakiJPT #scalability #towards #transaction: Toward Scalable Transaction Processing (AA, RJ, IP, PT), pp. 1192–1193.
VLDB-2013-AkidauBBCHLMMNW #fault tolerance #internet #named: MillWheel: Fault-Tolerant Stream Processing at Internet Scale (TA, AB, KB, SC, JH, RL, SM, DM, PN, SW), pp. 1033–1044.
VLDB-2013-ArmenatzoglouPP #framework #query: A General Framework for Geo-Social Query Processing (NA, SP, DP), pp. 913–924.
VLDB-2013-BotheKV #named #query: eSkyline: Processing Skyline Queries over Encrypted Data (SB, PK, AV), pp. 1338–1341.
VLDB-2013-Bress #gpu #hybrid #performance #query #why: Why it is time for a HyPE: A Hybrid Query Processing Engine for Efficient GPU Coprocessing in DBMS (SB), pp. 1398–1403.
VLDB-2013-BrunoJZ #optimisation #query: Continuous Cloud-Scale Query Optimization and Processing (NB, SJ, JZ), pp. 961–972.
VLDB-2013-ChenCJW #evaluation #keyword #query: Spatial Keyword Query Processing: An Experimental Evaluation (LC, GC, CSJ, DW), pp. 217–228.
VLDB-2013-DeutchMT #analysis #named #process: PROPOLIS: Provisioned Analysis of Data-Centric Processes (DD, YM, VT), pp. 1302–1305.
VLDB-2013-HeLH #architecture #cpu #gpu: Revisiting Co-Processing for Hash Joins on the Coupled CPU-GPU Architecture (JH, ML, BH), pp. 889–900.
VLDB-2013-HendawiBM #framework #named #network #predict #query #scalability: iRoad: A Framework For Scalable Predictive Query Processing On Road Networks (AMH, JB, MFM), pp. 1262–1265.
VLDB-2013-Kaufmann #in memory #memory management: Storing and Processing Temporal Data in a Main Memory Column Store (MK), pp. 1444–1449.
VLDB-2013-KaufmannVFKF #interactive #query: Comprehensive and Interactive Temporal Query Processing with SAP HANA (MK, PV, PMF, DK, FF), pp. 1210–1213.
VLDB-2013-MoyersSWKVBC #analysis #array #image #parallel: A Demonstration of Iterative Parallel Array Processing in Support of Telescope Image Analysis (MM, ES, SW, KSK, JV, MB, AJC), pp. 1322–1325.
VLDB-2013-OgdenTP #automaton #parallel #query #scalability #transducer #using #xml: Scalable XML Query Processing using Parallel Pushdown Transducers (PO, DBT, PP), pp. 1738–1749.
VLDB-2013-SarwatEHM #declarative #distributed #graph #query #reachability: Horton+: A Distributed System for Processing Declarative Reachability Queries over Partitioned Graphs (MS, SE, YH, MFM), pp. 1918–1929.
VLDB-2013-TuKMZ #query: Processing Analytical Queries over Encrypted Data (ST, MFK, SM, NZ), pp. 289–300.
VLDB-2013-Viglas #compilation #query #sql: Just-in-time compilation for SQL query processing (SV), pp. 1190–1191.
VLDB-2013-YuanL0 #gpu #query: The Yin and Yang of Processing Data Warehousing Queries on GPU Devices (YY, RL, XZ), pp. 817–828.
VLDB-2013-ZhangHHL #architecture #cpu #gpu #named #parallel #performance #query #towards: OmniDB: Towards Portable and Efficient Query Processing on Parallel CPU/GPU Architectures (SZ, JH, BH, ML), pp. 1374–1377.
VLDB-2013-ZhongH #graph #parallel: Parallel Graph Processing on Graphics Processors Made Easy (JZ, BH), pp. 1270–1273.
VLDB-2014-CaoR13 #clustering #performance #query: High Performance Stream Query Processing With Correlation-Aware Partitioning (LC, EAR), pp. 265–276.
CSEET-2013-BollinHS #assurance #development #education #process #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 #process #student: A double comparative study: Process models and student skills (PC, CD, SZ), pp. 189–198.
CSEET-2013-EterovicGB #approach #education #process: 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 #process: Applying competitive bidding games in software process education (GR, HZ, DS), pp. 129–138.
ITiCSE-2013-BundeDS #assessment #process: Making the most of the assessment process (DPB, JFD, JS), p. 359.
ITiCSE-2013-MatsuzawaOS #process #programming #student #visualisation: Programming process visualizer: a proposal of the tool for students to observe their programming process (YM, KO, SS), pp. 46–51.
ESOP-2013-PetersNG #calculus #on the #process: On Distributability in Process Calculi (KP, UN, UG), pp. 310–329.
ESOP-2013-ToninhoCP #higher-order #integration #monad #process: Higher-Order Processes, Functions, and Sessions: A Monadic Integration (BT, LC, FP), pp. 350–369.
FASE-2013-AutiliRSIT #modelling #process #synthesis: A Model-Based Synthesis Process for Choreography Realizability Enforcement (MA, DDR, ADS, PI, MT), pp. 37–52.
FASE-2013-LeoniDG #branch #execution #process: Discovering Branching Conditions from Business Process Execution Logs (MdL, MD, LGB), pp. 114–129.
FASE-2013-StruberTJS #distributed #modelling #process #towards: Towards a Distributed Modeling Process Based on Composite Models (DS, GT, SJ, TS), pp. 6–20.
FoSSaCS-2013-ClementeHSS #communication #process #reachability: Reachability of Communicating Timed Processes (LC, FH, AS, GS), pp. 81–96.
FoSSaCS-2013-DreierELL #composition #on the #process #π-calculus: On Unique Decomposition of Processes in the Applied π-Calculus (JD, CE, PL, YL), pp. 50–64.
FoSSaCS-2013-HainryMP #analysis #complexity #process #type system: Type-Based Complexity Analysis for Fork Processes (EH, JYM, RP), pp. 305–320.
FoSSaCS-2013-MioS #composition #concurrent #probability #process #proving #verification: A Proof System for Compositional Verification of Probabilistic Concurrent Processes (MM, AS), pp. 161–176.
CSMR-2013-Molitorisz #process #refactoring #source code: Pattern-Based Refactoring Process of Sequential Source Code (KM), pp. 357–360.
CSMR-2013-PengABCTR #framework #named #process: MDO: Framework for Context-Aware Process Mobility in Building-Maintenance Domain (TP, GA, DB, AC, TJT, MR), pp. 449–452.
ICPC-2013-YamanakaCYIS #development #industrial #process: Applying clone change notification system into an industrial development process (YY, EC, NY, KI, TS), pp. 199–206.
ICSM-2013-ToroiRV #case study #identification #process #testing: Identifying Process Improvement Targets in Test Processes: A Case Study (TT, AR, LV), pp. 11–19.
PLDI-2013-Ragan-KelleyBAPDA #compilation #image #locality #named #optimisation #parallel #pipes and filters: Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines (JRK, CB, AA, SP, FD, SPA), pp. 519–530.
SAS-2013-KimDS #documentation #html #parsing #semantics #validation: Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing (HK, KGD, DAS), pp. 194–214.
ICALP-v2-2013-Basset #automaton #probability #process: A Maximal Entropy Stochastic Process for a Timed Automaton, (NB), pp. 61–73.
LATA-2013-BiondiLNW #markov #process: Maximizing Entropy over Markov Processes (FB, AL, BFN, AW), pp. 128–140.
IFL-2013-GrelckW #adaptation #array #functional #generative #performance: Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC: Accelerating the Availability of Specialized High Performance Code (CG, HW), p. 117.
CHI-2013-KelleyCS #privacy #process: Privacy as part of the app decision-making process (PGK, LFC, NMS), pp. 3393–3402.
CSCW-2013-Al-AniBWTKMRP #developer #distributed #process #trust: Globally distributed system developers: their trust expectations and processes (BAA, MJB, YW, ET, BK, SM, DFR, RP), pp. 563–574.
CSCW-2013-NguyenF #communication #process: Effect of message content on communication processes in intercultural and same-culture instant messaging conversations (DTN, SRF), pp. 19–32.
CSCW-2013-TowneKKH #process #quality #wiki: Your process is showing: controversy management and perceived quality in wikipedia (WBT, AK, PK, JDH), pp. 1059–1068.
DHM-HB-2013-BazleyB #information management #process: A Knowledge Transfer Process: Establishing Training in New Technology for an Ageing Workforce (CMB, DB), pp. 3–9.
DHM-SET-2013-MazzolaMBPAPP #process: Explicit Tracking in the Diagnostic Process for Hand Dermatological Practices (LM, SM, SB, FP, FA, ODP, PP), pp. 248–257.
DUXU-CXC-2013-MartinsG #information management #process: 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 #process #project management: Lessons from Intercultural Project Management for the Intercultural HCI Design Process (YS, RH), pp. 95–104.
DUXU-PMT-2013-CamposLNCS #process: 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 #process: Design Process and Knowledge Searching Model Based on User Creativity (CLC, DBL), pp. 469–478.
DUXU-PMT-2013-ChiuT #design #effectiveness #idea #network #process #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 #process: 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 #process: A Design Process for New Concept Development (DBL, F(HC, V(HK), pp. 545–553.
DUXU-WM-2013-CagiltayAOE #certification #challenge #process: Developing ISO 9241-151 Product Certification Process: Challenges (KÇ, ÖA, NO, FE), pp. 334–341.
DUXU-WM-2013-InoueHSAFY #concept #design #interface #process: 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 #process: 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 #process: 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 #process: 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 #process: Environmental Evaluation of a Rehabilitation Aid Interaction under the Framework of the Ideal Model of Assistive Technology Assessment Process (SF, SB, MLM), pp. 203–210.
HCI-AMTE-2013-FleischmannSS #execution #modelling #process #semantics: Semantic Execution of Subject-Oriented Process Models (AF, WS, CS), pp. 330–339.
HCI-AMTE-2013-McDougallR #predict: Ease of Icon Processing Can Predict Icon Appeal (SM, IR), pp. 575–584.
HCI-AMTE-2013-OhKHJ #design #perspective #process: User Centered Inclusive Design Process: A “Situationally-Induced Impairments and Disabilities” Perspective (HJO, HCK, HH, YGJ), pp. 103–108.
HCI-AS-2013-CarvalhoLCAMCAL #mobile #process #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-KrauseB #information management #process #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 #process: 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 #process: A Teacher Model to Speed Up the Process of Building Courses (CL, ML, AM, FS), pp. 434–443.
HCI-IMT-2013-AlexandrisM #human-computer #multi: Linguistic Processing of Implied Information and Connotative Features in Multilingual HCI Applications (CA, IM), pp. 13–22.
HCI-UC-2013-KleinS #approach #development #industrial #process #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 #process: The Development of an Innovative Design Process for Eco-efficient Green Products (STU, CLL), pp. 475–483.
HIMI-D-2013-TakemoriYST #interactive #learning #modelling #process: Modeling a Human’s Learning Processes to Support Continuous Learning on Human Computer Interaction (KT, TY, KS, KT), pp. 555–564.
HIMI-HSM-2013-ChunJHJSLCJ #natural language #using: Pathway Construction and Extension Using Natural Language Processing (HWC, SJJ, MNH, CHJ, SKS, SL, SPC, HJ), pp. 32–38.
HIMI-LCCB-2013-BrynielssonJL #communication #design #process #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-WatabeMH #process: 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-WuN #interactive #process #recommendation: Integrating the Anchoring Process with Preference Stability for Interactive Movie Recommendations (ICW, YFN), pp. 639–648.
AdaEurope-2013-BicchieraiBNV #development #functional #integration #ontology #process #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 #process: An approach to integration of complex systems: the SAVI virtual integration process (DTW, DAR, BAL), pp. 43–46.
CAiSE-2013-BeheshtiBN #ad hoc #analysis #aspect-oriented #process: Enabling the Analysis of Cross-Cutting Aspects in Ad-Hoc Processes (SMRB, BB, HRMN), pp. 51–67.
CAiSE-2013-ConfortiLRA #execution #process: Supporting Risk-Informed Decisions during Business Process Execution (RC, MdL, MLR, WMPvdA), pp. 116–132.
CAiSE-2013-Eid-SabbaghW #architecture #process: Analyzing Business Process Architectures (RHES, MW), pp. 208–223.
CAiSE-2013-Kabicher-FuchsMR #experience #information management: Experience Breeding in Process-Aware Information Systems (SKF, JM, SRM), pp. 594–609.
CAiSE-2013-KapurugeHCK13a #ad hoc #adaptation #process: Enabling Ad-hoc Business Process Adaptations through Event-Driven Task Decoupling (MK, JH, AC, IK), pp. 384–399.
CAiSE-2013-MeyerRM #internet #modelling #process: Internet of Things-Aware Process Modeling: Integrating IoT Devices as Business Process Resources (SM, AR, CM), pp. 84–98.
CAiSE-2013-MilaniDM #composition #modelling #process: Decomposition Driven Consolidation of Process Models (FM, MD, RM), pp. 193–207.
CAiSE-2013-PetruselM #comprehension #process: Eye-Tracking the Factors of Process Model Comprehension Tasks (RP, JM), pp. 224–239.
CAiSE-2013-PikaAFHW #process #profiling: Profiling Event Logs to Configure Risk Indicators for Process Delays (AP, WMPvdA, CJF, AHMtH, MTW), pp. 465–481.
CAiSE-2013-RamirezBVW #generative #multi #process: Generating Multi-objective Optimized Business Process Enactment Plans (AJR, IB, CDV, BW), pp. 99–115.
CAiSE-2013-RiemerSS #design #performance: A Methodology for Designing Events and Patterns in Fast Data Processing (DR, NS, LS), pp. 133–148.
CAiSE-2013-SuriadiWOHD #behaviour #case study #comprehension #process #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 #process: Extracting Data Objects and Their States from Process Models (AM, MW), pp. 27–36.
EDOC-2013-Herzberg0W #framework #process: An Event Processing Platform for Business Process Management (NH, AM, MW), pp. 107–116.
EDOC-2013-LenhardW #execution #process: Measuring the Portability of Executable Service-Oriented Processes (JL, GW), pp. 117–126.
EDOC-2013-NagelGEP #consistency #modelling #process: Ensuring Consistency among Business Goals and Business Process Models (BN, CG, GE, JP), pp. 17–26.
EDOC-2013-NowakBLU #power management #process #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-AhmadO13a #architecture #enterprise #ontology #semantics: Blueprint of a Semantic Business Process-Aware Enterprise Information Architecture: The EIAOnt Ontology (MA, MO), pp. 520–539.
ICEIS-J-2013-BevacquaCFGP13a #data-driven #framework #monitoring #predict #process: A Data-Driven Prediction Framework for Analyzing and Monitoring Business Process Performances (AB, MC, FF, MG, LP), pp. 100–117.
ICEIS-J-2013-HernandesBF13a #bibliography #process: An Overview of Experimental Studies on Software Inspection Process (EMH, AB, SF), pp. 118–134.
ICEIS-J-2013-KalsingITN13a #incremental #legacy #mining #modelling #process #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 #process: 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 #process: Experimental Studies in Software Inspection Process — A Systematic Mapping (EMH, AB, SF), pp. 66–76.
ICEIS-v1-2013-MagalhaesMVMMPC #distributed #linked data #named #open data #query: QEF-LD — A Query Engine for Distributed Query Processing on Linked Data (RPM, JMM, VMPV, JAFdM, MM, FP, MAC), pp. 185–192.
ICEIS-v1-2013-OliveiraB #approach #modelling #novel #process #standard: ETL Standard Processes Modelling — A Novel BPMN Approach (BCdSO, OB), pp. 120–127.
ICEIS-v1-2013-ShamsuzzohaAH #adaptation #enterprise #process: 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 #process: 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 #process: Internet of Things Aware WS-BPEL Business Process (DD, FM, CC), pp. 505–512.
ICEIS-v2-2013-KalsingITN #incremental #learning #legacy #mining #modelling #process #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 #process #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 #process: Projects Characteristics Determining Suitability of Software Development Process (MdSS, JB), pp. 118–125.
ICEIS-v2-2013-WolfengagenRSBS #approach #modelling #process #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 #process #semantics: A New Approach to Semantically Derive Enterprise Information Architecture from Business Process Architecture (MA, MO), pp. 363–369.
ICEIS-v3-2013-CheikhrouhouKGJ #bibliography #modelling #process: A Survey on Time-aware Business Process Modeling (SC, SK, NG, MJ), pp. 236–242.
ICEIS-v3-2013-MalekanA #collaboration #modelling #network #process: Business Process Modeling Languages Supporting Collaborative Networks (HSM, HA), pp. 258–266.
ICEIS-v3-2013-PanTG #approach #dependence #modelling #ontology #process: Artefact-oriented Business Process Modelling — An Ontological Dependency Approach (YCP, YT, SRG), pp. 223–230.
ICEIS-v3-2013-RomaniB #design #process #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 #process #towards: Towards a Process Patterns based Approach for Promoting Adaptability in Configurable Process Models (HS, MF, LK), pp. 382–387.
CIKM-2013-DerakhshanSS #data type #performance #streaming: A new operator for efficient stream-relation join processing in data streaming engines (RD, AS, BS), pp. 793–798.
CIKM-2013-MullangiR #named #performance #query #reachability #scalability: SCISSOR: scalable and efficient reachability query processing in time-evolving hierarchies (PRM, LR), pp. 799–804.
CIKM-2013-NaeemWDL: A generic front-stage for semi-stream processing (MAN, GW, GD, CL), pp. 769–774.
CIKM-2013-QinZ #functional #process: Functional dirichlet process (LQ, XZ), pp. 1331–1340.
CIKM-2013-TianCZ #approach #database #hybrid #mobile #privacy #query: A hybrid approach for privacy-preserving processing of knn queries in mobile database systems (ST, YC, QZ), pp. 1161–1164.
CIKM-2013-YuanWJL #clustering #graph #performance #streaming: Efficient processing of streaming graphs for evolution-aware clustering (MY, KLW, GJS, YL), pp. 319–328.
ICML-c1-2013-GilboaSCG #approximate #multi #process #scalability #using: Scaling Multidimensional Gaussian Processes using Projected Additive Approximations (EG, YS, JPC, EG), pp. 454–461.
ICML-c1-2013-WulsinFL #correlation #markov #parsing #process #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 #process: Gaussian Process Vine Copulas for Multivariate Dependence (DLP, JMHL, ZG), pp. 10–18.
ICML-c2-2013-YangZ #process: Mixture of Mutually Exciting Processes for Viral Diffusion (SHY, HZ), pp. 1–9.
ICML-c3-2013-AhmedHS #documentation #modelling #process: Nested Chinese Restaurant Franchise Process: Applications to User Tracking and Document Modeling (AA, LH, AJS), pp. 1426–1434.
ICML-c3-2013-ReedG #process #scalability: Scaling the Indian Buffet Process via Submodular Maximization (CR, ZG), pp. 1013–1021.
ICML-c3-2013-RossD #constraints #parametricity #process: Nonparametric Mixture of Gaussian Processes with Constraints (JCR, JGD), pp. 1346–1354.
ICML-c3-2013-WilsonA #kernel #process: Gaussian Process Kernels for Pattern Discovery and Extrapolation (AGW, RPA), pp. 1067–1075.
ICML-c3-2013-ZhouZS #kernel #learning #multi #process: Learning Triggering Kernels for Multi-dimensional Hawkes Processes (KZ, HZ, LS), pp. 1301–1309.
KDD-2013-AltinigneliPB #parallel #using: Massively parallel expectation maximization using graphics processing units (MCA, CP, CB), pp. 838–846.
KDD-2013-BahadoriLX #learning #performance #probability #process: Fast structure learning in generalized stochastic processes with latent factors (MTB, YL, EPX), pp. 284–292.
KDD-2013-HallakCM #markov #process: Model selection in markovian processes (AH, DDC, SM), pp. 374–382.
KDD-2013-IwataSG #online #process #social: Discovering latent influence in online social activities via shared cascade poisson processes (TI, AS, ZG), pp. 266–274.
KDD-2013-LiuYK #adaptation #modelling #process #using: Adaptive collective routing using gaussian process dynamic congestion models (SL, YY, RK), pp. 704–712.
KDIR-KMIS-2013-ArgiolasCFLMPQS #process: Knowledge in Construction Processes (CA, GC, MDF, MIL, FM, FEP, EQ, DS), pp. 397–404.
KDIR-KMIS-2013-BachmannNMBAC #information management #process #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 #process #using: Using Stocks and Flows Diagrams to Understand Business Process Behavior (TI, MH), pp. 552–558.
KDIR-KMIS-2013-SaidiDZC #process #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 #process: 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 #process #question: Modeling Business Decisions and Processes — Which Comes First? (JV, FC), pp. 451–456.
RecSys-2013-HuY #learning #process #recommendation: Interview process learning for top-n recommendation (FH, YY), pp. 331–334.
SEKE-2013-AbdouGK #open source #process #testing: Managing Corrective Actions to Closure in Open Source Software Test Process (TA, PG, PK), pp. 306–311.
SEKE-2013-Bouzar-BenlabiodBB #correlation #performance #process: An efficient QCL-based alert correlation process (LBB, SB, TBT), pp. 388–393.
SEKE-2013-GayedLB #case study #forensics #process #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 #process #quality #re-engineering: A Non-Intrusive Process to Software Engineering Decision Support focused on increasing the Quality of Software Development (S) (EG, RMB), pp. 95–100.
SEKE-2013-LosadaJ #documentation #identification #semantics: Processing rhetorical, morphosyntactic, and semantic features from corporate technical documents for identifying organizational domain knowledge (S) (BML, CMZJ), pp. 268–272.
SEKE-2013-MolleriSB #approach #automation #bibliography #process: Proposal of an Automated Approach to Support the Systematic Review of Literature Process (S) (JSM, LEdS, FBVB), pp. 488–493.
SEKE-2013-Perez-CastilloFPC #how #modelling #process #refactoring: How Does Refactoring Affect Understandability of Business Process Models? (S) (RPC, MFR, MP, DC), pp. 644–649.
SEKE-2013-PortugalO #process #specification: Introducing Software Process Specification to Task Context (S) (IdSP, TCO), pp. 22–25.
SEKE-2013-RamosRO #process #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 #process #requirements: A fuzzy based approach for requirements prioritization in goal oriented requirements elicitation process (S) (MS, SKJ), pp. 54–58.
SEKE-2013-SilvaOL #declarative #explosion #modelling #problem #process: A Solution to the State Space Explosion Problem in Declarative Business Process Modeling (S) (NCS, CALO, RMFL), pp. 26–29.
SIGIR-2013-DimopoulosNS #performance #query: A candidate filtering mechanism for fast top-k query processing on modern cpus (CD, SN, TS), pp. 723–732.
SIGIR-2013-RossiMCS #performance #query #using: Fast document-at-a-time query processing using two-tier indexes (CR, ESdM, ALC, ASdS), pp. 183–192.
SKY-2013-SuarezMFM #automation #generative #natural language #semantics #using: Automatic Generation of Semantic Patterns using Techniques of Natural Language Processing (PS, VM, AF, JLM), pp. 34–44.
ECMFA-2013-KholkarYTDS #experience #industrial #modelling #process #testing: Experience with Industrial Adoption of Business Process Models for User Acceptance Testing (DK, PY, HT, AD, AS), pp. 192–206.
ECMFA-2013-KusterVFBC #process: Supporting Different Process Views through a Shared Process Model (JMK, HV, CF, MCB, KC), pp. 20–36.
OOPSLA-2013-SmaragdakisBK #analysis #points-to #preprocessor: Set-based pre-processing for points-to analysis (YS, GB, GK), pp. 253–270.
QAPL-2013-BernardoNL #behaviour #nondeterminism #probability #process: The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 81–96.
POPL-2013-SuenagaSH #modelling #standard: Hyperstream processing systems: nonstandard modeling of continuous-time signals (KS, HS, IH), pp. 417–430.
ER-BR-2013-AlvesSC #integration #modelling #process: 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 #process #requirements #variability: Introducing Variability in a Client-Oriented Requirements Engineering Process (GDSH, JHD).
ER-BR-2013-MartinsOB #embedded #process #requirements #towards: Towards Requirements Engineering Process for Embedded Systems (LEGM, JCO, AB).
ER-BR-2013-SantosPPOC #process: Business Process Configuration with NFRs and Context-Awereness (ES, JP, TP, KO, JC).
ER-BR-2013-SoaresPSCV #automation #modelling #process: Automatic Models Transformation for the STREAM process (MS, JP, CTLLS, JC, JV).
REFSQ-2013-Bennett-TherkildsenJNR #development #process #requirements: Redefinition of the Requirements Engineer Role in Mjølner’s Software Development Process (ABT, JBJ, KN, NMR), pp. 285–291.
REFSQ-2013-HoffmannBL #comprehension #development #process: 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 #process #release planning: Analyzing an Industrial Strategic Release Planning Process — A Case Study at Roche Diagnostics (GZP, BP, TB, HK, GR), pp. 269–284.
SAC-2013-AccorsiSM #mining #on the #process #security: On the exploitation of process mining for security audits: the process discovery case (RA, TS, GM), pp. 1462–1468.
SAC-2013-AnielloQB #data transformation: Input data organization for batch processing in time window based computations (LA, LQ, RB), pp. 363–370.
SAC-2013-CogniniFPPR #collaboration #modelling #named #process #verification: HawkEye: a tool for collaborative business process modelling and verification (RC, DF, AP, AP, BR), pp. 785–786.
SAC-2013-Fernandez-RoperoPCP #process #refactoring: Assessing the best-order for business process model refactoring (MFR, RPC, JACL, MP), pp. 1397–1402.
SAC-2013-FurtadoC #hybrid #middleware #network: Sensor streams middleware for easy configuration and processing in hybrid sensor network (PF, JC), pp. 1499–1504.
SAC-2013-GaoB #architecture: User centric complex event processing based on service oriented architectures (FG, SB), pp. 1933–1934.
SAC-2013-HippMMR #framework #process #visualisation: A framework for the intelligent delivery and user-adequate visualization of process information (MH, BM, BM, MR), pp. 1383–1390.
SAC-2013-KhalfallahFBG #process: Product-based business processes interoperability (MK, NF, MB, PG), pp. 1472–1473.
SAC-2013-KolbR #abstraction #adaptation #data flow #process: Data flow abstractions and adaptations through updatable process views (JK, MR), pp. 1447–1453.
SAC-2013-LaneseBF #approach #calculus #internet #process: Internet of things: a process calculus approach (IL, LB, MDF), pp. 1339–1346.
SAC-2013-LeoniA #mining #process #using: Data-aware process mining: discovering decisions in processes using alignments (MdL, WMPvdA), pp. 1454–1461.
SAC-2013-Markovski #communication #coordination #probability #process #reliability: Reliable supervisory coordination of stochastic communicating processes with data (JM), pp. 1347–1354.
SAC-2013-Montesi #programming #web: Process-aware web programming with Jolie (FM), pp. 761–763.
SAC-2013-OyamadaKK #concurrent #query: Continuous query processing with concurrency control: reading updatable resources consistently (MO, HK, HK), pp. 788–794.
SAC-2013-PflugR #information management: Dynamic instance queuing in process-aware information systems (JP, SRM), pp. 1426–1433.
SAC-2013-ProencaVASB0K #maturity #process: Evaluating a process for developing a capability maturity model (DP, RV, GA, MMdS, JLB, CB, HK), pp. 1474–1475.
SAC-2013-Schefer-WenzlS #information management #policy: Generic support for RBAC break-glass policies in process-aware information systems (SSW, MS), pp. 1441–1446.
SAC-2013-WombacherI #estimation #process: Start time and duration distribution estimation in semi-structured processes (AW, MEI), pp. 1403–1409.
ICSE-2013-KuhrmannFM #education #modelling #process: Teaching software process modeling (MK, DMF, JM), pp. 1138–1147.
ICSE-2013-LiuYCY #monitoring #novel #parallel #process: 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 #process #why: How, and why, process metrics are better (FR, PTD), pp. 432–441.
PLEASE-2013-SimmondsBSQ #industrial #modelling #process #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 #process #product line #towards: Towards a process to design product line architectures based on reference architectures (EYN, MB, JCM), pp. 157–161.
HPDC-2013-LakshminarasimhanBPZJVPS #encoding #query #scalability: Scalable in situ scientific data encoding for analytical query processing (SL, DABI, SVP, XZ, JJ, VV, MEP, NFS), pp. 1–12.
HPDC-2013-SajjapongseWB #clustering #multi #runtime: A preemption-based runtime to efficiently schedule multi-process applications on heterogeneous clusters with GPUs (KS, XW, MB), pp. 179–190.
LCTES-2013-GeunsHB #automation #data flow #realtime: Automatic dataflow model extraction from modal real-time stream processing applications (SJG, JPHMH, MJGB), pp. 143–152.
PLOS-2013-AryaDVC #automation #debugging #process: Semi-automated debugging via binary search through a process lifetime (KA, TD, AMV, GC), p. 7.
PPoPP-2013-ShunB #framework #graph #lightweight #memory management #named: Ligra: a lightweight graph processing framework for shared memory (JS, GEB), pp. 135–146.
SOSP-2013-RoyMZ #graph #named #streaming #using: X-Stream: edge-centric graph processing using streaming partitions (AR, IM, WZ), pp. 472–488.
CAV-2013-ChatterjeeL #algorithm #markov #performance #process: Faster Algorithms for Markov Decision Processes with Low Treewidth (KC, JL), pp. 543–558.
CSL-2013-ChatterjeeCT #decidability #markov #process #what: What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives (KC, MC, MT), pp. 165–180.
ICLP-J-2013-GiordanoMSD #constraints #process #programming #set #verification: Business process verification with constraint temporal answer set programming (LG, AM, MS, DTD), pp. 641–655.
ICLP-J-2013-Schwitter #challenge #natural language: The jobs puzzle: Taking on the challenge via controlled natural language processing (RS), pp. 487–501.
ICST-2013-CompagnaGB #as a service #process #security #validation: Business Process Compliance via Security Validation as a Service (LC, PG, ADB), pp. 455–462.
ICST-2013-Mercaldo #database #identification #process: Identification of Anomalies in Processes of Database Alteration (FM), pp. 513–514.
ISSTA-2013-YuSR #automation #framework #named #testing: SimRacer: an automated framework to support testing for process-level races (TY, WSa, GR), pp. 167–177.
LICS-2013-BrazdilCFK #markov #performance #process: Trading Performance for Stability in Markov Decision Processes (TB, KC, VF, AK), pp. 331–340.
LICS-2013-KozenLMP #markov #process: Stone Duality for Markov Processes (DK, KGL, RM, PP), pp. 321–330.
VMCAI-2013-NamjoshiT #network #process #symmetry: Uncovering Symmetries in Irregular Process Networks (KSN, RJT), pp. 496–514.
CASE-2012-AnKP #learning #modelling #process: Grasp motion learning with Gaussian Process Dynamic Models (BA, HK, FCP), pp. 1114–1119.
CASE-2012-Chang #detection #fault #feature model #process #using: Fault detection for plasma-enhanced chemical vapor deposition process using feature extraction (YJC), pp. 491–496.
CASE-2012-ChenZD #fourier #process: Mitigation of chatter instability in milling processes by active fourier series compensation (ZC, HTZ, HD), pp. 167–171.
CASE-2012-GhonaimGS #on the #problem: On the assignment problem of arbitrary processing time operations in partially overlapping manufacturing resources (WG, HG, WS), pp. 341–346.
CASE-2012-KimCLK #fault #framework #monitoring #process: Task-oriented synchronous error monitoring framework in robotic manufacturing process (HK, JC, SL, JK), pp. 485–490.
CASE-2012-LiLS #constraints #process: Dispatching rule considering time-constraints on processes for semiconductor wafer fabrication facility (LL, YFL, ZJS), pp. 407–412.
CASE-2012-Markovski #framework: A process-theoretic state-based framework for live supervision (JM), pp. 680–685.
CASE-2012-NganYY #modelling #process: Modeling of traffic data characteristics by Dirichlet Process Mixtures (HYTN, NHCY, AGOY), pp. 224–229.
CASE-2012-PampuriSSLBN #multi #process: Multistep virtual metrology approaches for semiconductor manufacturing processes (SP, AS, GAS, CDL, AB, GDN), pp. 91–96.
CASE-2012-RusslandEP #process #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 #process #scheduling: Design of an order acceptance and scheduling module in a unified framework with product and process features (JW, YSM), pp. 968–973.
CASE-2012-YangHTLSL #automation #process: 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 #process: Exploiting narrow-width values for process variation-tolerant 3-D microprocessors (JK, SWC), pp. 1197–1206.
DAC-2012-LearyCC #architecture #memory management #synthesis: System-level synthesis of memory architecture for stream processing sub-systems of a MPSoC (GL, WC, KSC), pp. 672–677.
DAC-2012-SeoDWPCMBM #architecture #process: Process variation in near-threshold wide SIMD architectures (SS, RGD, MW, YP, CC, SAM, DB, TNM), pp. 980–987.
DAC-2012-YuCSJC #design #detection #using: Accurate process-hotspot detection using critical design rule extraction (YTY, YCC, SS, IHRJ, CC), pp. 1167–1172.
DATE-2012-EllenEO #automation #development #embedded #process #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 #process: An architecture-level approach for mitigating the impact of process variations on extensible processors (MK, AAK, SS, MP), pp. 467–472.
DATE-2012-LiDX #process: Custom on-chip sensors for post-silicon failing path isolation in the presence of process variations (ML, AD, LX), pp. 1591–1596.
DATE-2012-LiH #analysis #logic #named #performance #reliability: RAG: An efficient reliability analysis of logic circuits on graphics processing units (ML, MSH), pp. 316–319.
DATE-2012-MarinissenVGHRMB #detection #process: EDA solutions to new-defect detection in advanced process technologies (EJM, GV, SKG, FH, JR, NM, SB), pp. 123–128.
DATE-2012-WalravensD #architecture #design #energy: Design of a low-energy data processing architecture for WSN nodes (CW, WD), pp. 570–573.
DRR-2012-WalkerLR #dataset #documentation #image: A synthetic document image dataset for developing and evaluating historical document processing methods (DDW, WBL, EKR).
DRR-2012-WangDL #recognition #string: Post processing for offline Chinese handwritten character string recognition (YW, XD, CL).
SIGMOD-2012-BalminKT #named: Clydesdale: structured data processing on hadoop (AB, TK, ST), pp. 705–708.
SIGMOD-2012-ChengKCC #approach #distance #graph #performance #query #scalability: Efficient processing of distance queries in large graphs: a vertex cover approach (JC, YK, SC, CC), pp. 457–468.
SIGMOD-2012-MozafariZZ #xml: High-performance complex event processing over XML streams (BM, KZ, CZ), pp. 253–264.
SIGMOD-2012-SikkaFLCPB #database #performance #transaction: Efficient transaction processing in SAP HANA database: the end of a column store myth (VS, FF, WL, SKC, TP, CB), pp. 731–742.
SIGMOD-2012-YuAY #query #scalability: Processing a large number of continuous preference top-k queries (AY, PKA, JY), pp. 397–408.
VLDB-2012-AhmadKKN #higher-order #named: DBToaster: Higher-order Delta Processing for Dynamic, Frequently Fresh Views (YA, OK, CK, MN), pp. 968–979.
VLDB-2012-AlagiannisBBIA #adaptation #query: NoDB in Action: Adaptive Query Processing on Raw Data (IA, RB, MB, SI, AA), pp. 1942–1945.
VLDB-2012-ChenAK #big data #interactive #pipes and filters: Interactive Analytical Processing in Big Data Systems: A Cross-Industry Study of MapReduce Workloads (YC, SA, RHK), pp. 1802–1813.
VLDB-2012-DittrichQ #big data #performance #pipes and filters: Efficient Big Data Processing in Hadoop MapReduce (JD, JAQR), pp. 2014–2015.
VLDB-2012-HallBBGN: Processing a Trillion Cells per Mouse Click (AH, OB, RB, SG, MN), pp. 1436–1446.
VLDB-2012-Jacques-SilvaGWWK #adaptation #runtime: Building User-defined Runtime Adaptation Routines for Stream Processing Applications (GJS, BG, RW, KLW, VK), pp. 1826–1837.
VLDB-2012-LamLPRVD #named #performance: Muppet: MapReduce-Style Processing of Fast Data (WL, LL, SP, AR, ZV, AD), pp. 1814–1825.
VLDB-2012-LuSCO #nearest neighbour #performance #pipes and filters #using: Efficient Processing of k Nearest Neighbor Joins using MapReduce (WL, YS, SC, BCO), pp. 1016–1027.
VLDB-2012-RoyDMSW #analysis: Massive Genomic Data Processing and Deep Analysis (AR, YD, EM, YS, BLW), pp. 1906–1909.
VLDB-2012-ZhangCW #multi #performance #pipes and filters #using: Efficient Multi-way Theta-Join Processing Using MapReduce (XZ, LC, MW), pp. 1184–1195.
VLDB-2013-CalvaneseGLV12 #database #graph #query #relational: Query Processing under GLAV Mappings for Relational and Graph Databases (DC, GDG, ML, MYV), pp. 61–72.
CSEET-2012-RongS #challenge #education: Delivering Software Process-Specific Project Courses in Tertiary Education Environment: Challenges and Solution (GR, DS), pp. 52–61.
ITiCSE-2012-AsadB #aspect-oriented #concept #image #learning: Are children capable of learning image processing concepts?: cognitive and affective aspects (KA, MB), pp. 227–231.
ESOP-2012-FehnkerGHMPT #algebra #network #process: A Process Algebra for Wireless Mesh Networks (AF, RJvG, PH, AM, MP, WLT), pp. 295–315.
FASE-2012-Aalst #consistency #distributed #process: Distributed Process Discovery and Conformance Checking (WMPvdA), pp. 1–25.
FoSSaCS-2012-BernardoNL #nondeterminism #probability #process #testing: Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 195–209.
FoSSaCS-2012-ToninhoCP #process: Functions as Session-Typed Processes (BT, LC, FP), pp. 346–360.
CSMR-2012-Izquierdo-Cortazar #comprehension #debugging #distributed #process: Global and Geographically Distributed Work Teams: Understanding the Bug Fixing Process and Potentially Bug-prone Activity Patterns (DIC), pp. 505–508.
ICPC-2012-AlawnehH #communication #identification: Identifying computational phases from inter-process communication traces of HPC applications (LA, AHL), pp. 133–142.
ICPC-2012-Mahmoud #automation #effectiveness #process #towards: Toward an effective automated tracing process (AM), pp. 269–272.
ICSM-2012-LotufoMC #debugging #modelling #process: 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 #process: MARBLE: Modernization approach for recovering business processes from legacy information systems (RPC), pp. 671–676.
ICSM-2012-TomasiMFS #named #process: reBPMN: Recovering and reducing business processes (AT, AM, CDF, AS), pp. 666–669.
PLDI-2012-KruijfSJ #compilation #design #static analysis: Static analysis and compiler design for idempotent processing (MdK, KS, SJ), pp. 475–486.
STOC-2012-EtessamiSY #algorithm #branch #context-free grammar #multi #polynomial #probability #process: Polynomial time algorithms for multi-type branching processes and stochastic context-free grammars (KE, AS, MY), pp. 579–588.
CIAA-2012-EhrenfeuchtR #framework #process: 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 #process: 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 #process: Algebraic Synchronization Trees and Processes (LA, AC, ZÉ, AI), pp. 30–41.
ICALP-v2-2012-BrazdilKNW #markov #process #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 #process: Computing Game Metrics on Markov Decision Processes (HF), pp. 227–238.
FM-2012-BenkiraneNSS #algebra #process #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 #process #runtime #verification: Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management (MC, MS), pp. 21–23.
GT-VMT-2012-Heussner #communication #graph #graph grammar #model checking #process: Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO (AH).
CHI-2012-Friess #case study #design #process: Personas and decision making in the design process: an ethnographic case study (EF), pp. 1209–1218.
CSCW-2012-BorgeGSC #analysis #process: Patterns of team processes and breakdowns in information analysis tasks (MB, CHG, SIS, JMC), pp. 1105–1114.
CSCW-2012-CarrollLLSW #process: Bodies in critique: a technological intervention in the dance production process (EAC, DML, CL, VS, MW), pp. 705–714.
CSCW-2012-Meum #process: Electronic medication management: a socio — technical change process in clinical practice (TM), pp. 877–886.
CSCW-2012-Nagar #community #online #process #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 #process #reuse: Facilitating the reuse process in distributed collaboration: a distributed cognition approach (SN, MH, BDF), pp. 1223–1232.
CSCW-2012-PhillipsRS #development #integration #parallel #process #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 #process: 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 #process: Improved Artificial Negative Event Generation to Enhance Process Event Logs (SKLMvB, JDW, BB, JV), pp. 254–269.
CAiSE-2012-ComuzziAV #monitoring #process: Patterns to Enable Mass-Customized Business Process Monitoring (MC, SA, JV), pp. 445–459.
CAiSE-2012-DumasRMMRS #comprehension #cost analysis #modelling #process: 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 #process: 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 #process #validation: Validation of User Intentions in Process Models (GG, MA, BM, DG, FSP, MB), pp. 366–381.
CAiSE-2012-LeopoldMP #generative #modelling #natural language #process: Generating Natural Language Texts from Business Process Models (HL, JM, AP), pp. 64–79.
CAiSE-2012-LiptchinskyKTD #approach #collaboration #modelling #novel #process #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 #process: Configurable Process Models for the Swedish Public Sector (CML, EU, PW, GJS), pp. 190–205.
CAiSE-2012-LyIMR #data transformation #mining #process #semantics: Data Transformation and Semantic Log Purging for Process Mining (LTL, CI, JM, SRM), pp. 238–253.
CAiSE-2012-MaggiBA #declarative #modelling #performance #process: Efficient Discovery of Understandable Declarative Process Models from Event Logs (FMM, RPJCB, WMPvdA), pp. 270–285.
CAiSE-2012-MartinCM #assessment #empirical #process: Process Redesign for Liquidity Planning in Practice: An Empirical Assessment (JM, TC, AM), pp. 581–596.
CAiSE-2012-Petrusel #modelling #process: Aggregating Individual Models of Decision-Making Processes (RP), pp. 47–63.
CAiSE-2012-Priego-RocheTFRM #design #modelling #process: Business Process Design from Virtual Organization Intentional Models (LMPR, LHT, AF, DR, JM), pp. 549–564.
EDOC-2012-BurattinMAS #analysis #declarative #process: Techniques for a Posteriori Analysis of Declarative Processes (AB, FMM, WMPvdA, AS), pp. 41–50.
EDOC-2012-DohringSG #adaptation #approach #aspect-oriented #model transformation #recursion #rule-based #runtime #weaving #workflow: Emulating Runtime Workflow Adaptation and Aspect Weaving by Recursive Rule-Based Sub-Process Selection — A Model Transformation Approach (MD, AS, IG), pp. 133–142.
EDOC-2012-MichelbergerMR #enterprise #process: Process-oriented Information Logistics: Aligning Enterprise Information with Business Processes (BM, BM, MR), pp. 21–30.
EDOC-2012-ParaisoHRMS #framework #middleware: A Middleware Platform to Federate Complex Event Processing (FP, GH, RR, PM, LS), pp. 113–122.
EDOC-2012-WangWPSC #process: A State Synchronization Mechanism for Orchestrated Processes (LW, AW, LFP, MvS, CC), pp. 51–60.
EDOC-2012-ZarghamiSES #as a service #logic #process: Decision as a Service: Separating Decision-making from Application Process Logic (AZ, BS, MZE, MvS), pp. 103–112.
ICEIS-J-2012-RenardCR12a #evaluation #fault #process #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 #process: Combining Learning Algorithms: An Approach to Markov Decision Processes (RR, FF, MACB, ALK, FE), pp. 172–188.
ICEIS-v1-2012-GascuenaG #modelling: Data Processing Modeling in Decision Support Systems (CMG, RG), pp. 133–138.
ICEIS-v1-2012-RudraGA #approximate #performance #query: An Efficient Sampling Scheme for Approximate Processing of Decision Support Queries (AR, RPG, NA), pp. 16–26.
ICEIS-v2-2012-AleixoKFCN #case study #comparative #modelling #process #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 #process: Ontology Support for Home Care Process Design (JBG, AM, LHT, JPMdO), pp. 84–89.
ICEIS-v2-2012-NishiokaO #concept #enterprise #information management #integration #process: Systematic Process of Conceptualization — For Enterprise Information System Renewal and Integration (KN, KO), pp. 63–69.
ICEIS-v2-2012-PolasikGWKPT #analysis #mobile #process: 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 #process #requirements #using: Prioritization of Product Requirements using the Analytic Hierarchy Process (TR, GR), pp. 70–76.
ICEIS-v2-2012-RenardCR #documentation #fault #process: 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 #process: Resource-oriented Consistency Analysis of Engineering Processes (BB, TE, CF, BH), pp. 206–211.
ICEIS-v3-2012-CaronV #design #enterprise #information management #paradigm #process: Moving Across Paradigms between the Process Design and Enactment Phase in Enterprise Information Systems (FC, JV), pp. 218–223.
ICEIS-v3-2012-KimO #architecture #case study #enterprise #modelling: A Case Study on Modeling of Complex Event Processing in Enterprise Architecture (HK, SO), pp. 173–180.
ICEIS-v3-2012-SchiefBW #modelling #process: Transforming Software Business Models into Business Processes (MS, AB, TW), pp. 167–172.
ICEIS-v3-2012-WangWZLW #detection #modelling #process: Detecting Infeasible Traces in Process Models (ZW, LW, XZ, YL, JW), pp. 212–217.
CIKM-2012-ArvanitisDV #performance #query #research: Efficient influence-based processing of market research queries (AA, AD, YV), pp. 1193–1202.
CIKM-2012-CaoYDWW #graph #modelling #process #recommendation #workflow: Graph-based workflow recommendation: on improving business process modeling (BC, JY, SD, DW, ZW), pp. 1527–1531.
CIKM-2012-ChoiLKLM #named #parallel #query #xml: HadoopXML: a suite for parallel processing of massive XML data with multiple twig pattern queries (HC, KHL, SHK, YJL, BM), pp. 2737–2739.
CIKM-2012-DarwishMM #microblog #retrieval: Language processing for arabic microblog retrieval (KD, WM, AM), pp. 2427–2430.
CIKM-2012-EmrichKNRSZ #graph #monte carlo #nondeterminism #probability #query: Exploration of monte-carlo based probabilistic query processing in uncertain graphs (TE, HPK, JN, MR, AS, AZ), pp. 2728–2730.
CIKM-2012-HuangCLL #predict #probability #process #social #using: Predicting aggregate social activities using continuous-time stochastic process (SH, MC, BL, DL), pp. 982–991.
CIKM-2012-KimKKO #modelling #process #recursion #topic: Modeling topic hierarchies with the recursive chinese restaurant process (JHK, DK, SK, AHO), pp. 783–792.
CIKM-2012-LinXCB #algorithm #performance #query: Efficient algorithms for generalized subgraph query processing (WL, XX, JC, SSB), pp. 325–334.
CIKM-2012-ShiMWG #in the cloud #online #query: You can stop early with COLA: online processing of aggregate queries in the cloud (YS, XM, FW, YG), pp. 1223–1232.
CIKM-2012-StuparM #query: Being picky: processing top-k queries with set-defined selections (AS, SM), pp. 912–921.
CIKM-2012-SymondsBST #encoding #semantics: A tensor encoding model for semantic processing (MS, PDB, LS, IT), pp. 2267–2270.
CIKM-2012-VouzoukidouAC #query: Processing continuous text queries featuring non-homogeneous scoring functions (NV, BA, VC), pp. 1065–1074.
ECIR-2012-DiriyeTB #interactive #process #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 #process #visualisation: Integrating Interactive Visualizations in the Search Process of Digital Libraries and IR Systems (DH, FS, PS, PM), pp. 447–450.
ECIR-2012-JonassenB #concurrent #distributed #pipes and filters #retrieval: Intra-query Concurrent Pipelined Processing for Distributed Full-Text Retrieval (SJ, SEB), pp. 413–425.
ICML-2012-BoukouvalasBC #process #using: Gaussian Process Quantile Regression using Expectation Propagation (AB, RB, DC), p. 123.
ICML-2012-ChenCK #optimisation #process: Joint Optimization and Variable Selection of High-dimensional Gaussian Processes (BC, RMC, AK), p. 179.
ICML-2012-DesautelsKB #optimisation #process #trade-off: Parallelizing Exploration-Exploitation Tradeoffs with Gaussian Process Bandit Optimization (TD, AK, JWB), p. 109.
ICML-2012-FreitasSZ #bound #exponential #process: Exponential Regret Bounds for Gaussian Process Bandits with Deterministic Observations (NdF, AJS, MZ), p. 125.
ICML-2012-KimKO #metric #parametricity #process #random #topic: Dirichlet Process with Mixed Random Measures: A Nonparametric Topic Model for Labeled Data (DK, SK, AHO), p. 90.
ICML-2012-MoldovanA #markov #process: Safe Exploration in Markov Decision Processes (TMM, PA), p. 188.
ICML-2012-RifaiDVB #generative #process: A Generative Process for Contractive Auto-Encoders (SR, YD, PV, YB), p. 235.
ICML-2012-WangC #process: Levy Measure Decompositions for the Beta and Gamma Processes (YW, LC), p. 68.
ICML-2012-WilsonKG #network #process: Gaussian Process Regression Networks (AGW, DAK, ZG), p. 149.
ICML-2012-WulsinJL #clustering #modelling #multi #process: 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 #process #using: Modeling Images using Transformed Indian Buffet Processes (KZ, YH, JLBG, SW), p. 118.
ICPR-2012-BoresB #monitoring #process: Urban traffic monitoring from aerial LIDAR data with a Two-Level Marked Point Process model (AB, CB), pp. 1379–1382.
ICPR-2012-DhallG #estimation #process: Group expression intensity estimation in videos via Gaussian Processes (AD, RG), pp. 3525–3528.
ICPR-2012-FreytagFRD #kernel #performance #process #segmentation #semantics: Efficient semantic segmentation with Gaussian processes and histogram intersection kernels (AF, BF, ER, JD), pp. 3313–3316.
ICPR-2012-LeeLHL #re-engineering #sequence #video: Super-resolution reconstruction of video sequences based on wavelet-domain spatial and temporal processing (CML, CJL, CYH, WNL), pp. 194–197.
ICPR-2012-LinL #bottom-up #process #top-down: Integrating bottom-up and top-down processes for accurate pedestrian counting (YL, NL), pp. 2508–2511.
ICPR-2012-LozesEL #3d: Nonlocal processing of 3D colored point clouds (FL, AE, OL), pp. 1968–1971.
ICPR-2012-SuematsuH #process: Time series alignment with Gaussian processes (NS, AH), pp. 2355–2358.
ICPR-2012-YilmazYK #multimodal #network #process: Non-linear weighted averaging for multimodal information fusion by employing Analytical Network Process (TY, AY, MK), pp. 234–237.
KDD-2012-Chen #information management #network #social: Information processing in social networks (MSC), p. 1403.
KDD-2012-KimLX #image #multi #predict #process #using #web: Web image prediction using multivariate point processes (GK, FFL, EPX), pp. 1068–1076.
KDD-2012-SatoKN #process: Practical collapsed variational bayes inference for hierarchical dirichlet process (IS, KK, HN), pp. 105–113.
KDD-2012-Zhang #challenge #information management: A new challenge of information processing under the 21st century (BZ), p. 224.
KDIR-2012-HaanR #detection: Detecting Temporally Related Arithmetical Patterns — An Extension of Complex Event Processing (RdH, MR), pp. 329–332.
KDIR-2012-MiaoLWZ #infinity #modelling #process #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-AygulCC #multi #natural language #ontology #query: Natural Language Query Processing in Multimedia Ontologies (FAA, NKC, IC), pp. 66–75.
KEOD-2012-NegruB #modelling #ontology #process #web: Persona Modeling Process — From Microdata-based Templates to Specific Web Ontologies (SN, SCB), pp. 34–42.
KEOD-2012-TangRIP: Process-oriented Home Care System Transformation in Central Finland (JT, TR, JI, LGP), pp. 455–460.
KEOD-2012-VegettiRGHL #development #framework #named #ontology #process: ONTOTracED: A Framework to Capture and Trace Ontology Development Processes (MV, MLR, SG, GPH, HPL), pp. 419–422.
KMIS-2012-BaqueroM #framework #process: A Framework to Support Business Process Analytics (AVB, OM), pp. 321–332.
KMIS-2012-GringelSS #architecture #enterprise #process #towards: Towards Process Orientation in Enterprise Architecture Management (PG, JS, US), pp. 145–151.
KMIS-2012-LageA12a #approach #process: Information and Knowledge Sharing in Inter-organizational Relationships under the Process Approach (EL, BA), pp. 273–276.
KMIS-2012-MenasselM #case study #formal method #novel #process: A Novel Formalization Process for Use Case Maps (YM, FM), pp. 307–310.
SEKE-2012-AlbuquerquePL #approach #case study #experience #natural language #requirements #reuse: Reuse of Experiences Applied to Requirements Engineering: An Approach Based on Natural Language Processing (AA, VP, TL), pp. 574–577.
SEKE-2012-FreireCAK #monitoring #process #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 #process #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 #process #requirements: Phases, Activities, and Techniques for a Requirements Conceptualization Process (AH, RGM), pp. 25–32.
SEKE-2012-JlaielA #approach #novel #process #reuse #semantics #towards: Towards a Novel Semantic Approach for Process Patterns’ Capitalization and Reuse (NJ, MBA), pp. 505–510.
SEKE-2012-LeeS #approach #re-engineering: A Process-Based Approach to Improving Knowledge Sharing in Software Engineering (SBL, KS), pp. 700–705.
SEKE-2012-MolleriB #automation #bibliography #perspective #process: Automated Approaches to Support Secondary Study Processes: a Systematic Review (JSM, FBVB), pp. 143–147.
SEKE-2012-OliveiraCEP #modelling #process #towards: Towards Autonomic Business Process Models (KO, JC, SE, OP), pp. 531–536.
SEKE-2012-RadulovicG #network #process #recommendation #semantics: Semantic Technology Recommendation Based on the Analytic Network Process (FR, RGC), pp. 611–616.
SIGIR-2012-ZhangSCC #keyword #named #performance #query: See-to-retrieve: efficient processing of spatio-visual keyword queries (CZ, LS, KC, GC), pp. 681–690.
ECMFA-2012-ElaasarL #case study #process #testing: Model Interchange Testing: A Process and a Case Study (ME, YL), pp. 49–61.
MoDELS-2012-BrancoTCKV #abstraction #process #workflow: Matching Business Process Workflows across Abstraction Levels (MCB, JT, KC, JMK, HV), pp. 626–641.
MoDELS-2012-SindicoNS #architecture #design #industrial #modelling #process: An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design (AS, MDN, ALSV), pp. 810–826.
MoDELS-2012-BrancoTCKV #abstraction #process #workflow: Matching Business Process Workflows across Abstraction Levels (MCB, JT, KC, JMK, HV), pp. 626–641.
MoDELS-2012-SindicoNS #architecture #design #industrial #modelling #process: An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design (AS, MDN, ALSV), pp. 810–826.
OOPSLA-2012-BaoZZ #nondeterminism #program analysis: White box sampling in uncertain data processing enabled by program analysis (TB, YZ, XZ), pp. 897–914.
OOPSLA-2012-BocqD #monad #named #network #process #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 #process #proximity: DroidSense: A Mobile Tool to Analyze Software Development Processes by Measuring Team Proximity (LC, AS, GS, JS, JV), pp. 17–33.
TOOLS-EUROPE-2012-SoekenWD #behaviour #development #natural language #using: Assisted Behavior Driven Development Using Natural Language Processing (MS, RW, RD), pp. 269–287.
QAPL-2012-Bernardo #bisimulation #concurrent #markov #process: Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes (MB), pp. 122–136.
RE-2012-KongHDD #case study #process #traceability: Process improvement for traceability: A study of human fallibility (WKK, JHH, AD, OD), pp. 31–40.
RE-2012-Riegel #development #modelling: Model-based prioritization in business-process-driven software development (NR), pp. 349–352.
SAC-2012-AccorsiS #consistency #mining #on the #process #security: On the exploitation of process mining for security audits: the conformance checking case (RA, TS), pp. 1709–1716.
SAC-2012-BookGB #continuation #web: Process-aware continuation management in web applications (MB, VG, MB), pp. 717–724.
SAC-2012-DelgadoRGP #collaboration #model transformation #process: Model transformations for Business-IT alignment: from collaborative business process to SoaML service model (AD, FR, IGRdG, MP), pp. 1720–1722.
SAC-2012-GocicS #paradigm #process: Service-oriented paradigm for analyzing hydrological processes (MG, DS), pp. 1994–1995.
SAC-2012-JafarinezhadR #process #requirements #towards: Towards a process factory for developing situational requirements engineering processes (OJ, RR), pp. 1089–1090.
SAC-2012-KorahSS #framework #multi #realtime #scalability: Multi-agent framework for real-time processing of large and dynamic search spaces (JK, EES, ESJ), pp. 755–762.
SAC-2012-LassaigneP #approximate #markov #process #scalability #verification: Approximate planning and verification for large markov decision processes (RL, SP), pp. 1314–1319.
SAC-2012-MonakovaBS #process #safety #security: Security and safety of assets in business processes (GM, ADB, AS), pp. 1667–1673.
SAC-2012-MoretBATMF #validation: Double dip map-reduce for processing cross validation jobs (DM, KB, EA, JT, RM, JVF), pp. 473–477.
SAC-2012-NetoA #analysis #process: Keeping decisions and rationale explicit in business process analysis (MSdSN, RMdA), pp. 1702–1708.
SAC-2012-ReichertKBB #personalisation #process #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 #process: Analysis of heuristics to identify crosscutting concerns in business process models (FJNS, CC, FMS, JCSdPL, TVB), pp. 1725–1726.
SAC-2012-SioutasPKT #named #network #probability #query: SART: dynamic P2P query processing in sensor networks with probabilistic guarantees (SS, AP, IK, DT), pp. 847–852.
SAC-2012-WangTWWG #algorithm #behaviour #empirical #evaluation #mining #process: 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 #process #question: Can business process modeling bridge the gap between business and information systems? (LZ, KL, EVC, SdFMS, PS), pp. 1723–1724.
ICSE-2012-AndronickJKKSZZ #perspective #process #scalability #verification: Large-scale formal verification in practice: A process perspective (JA, DRJ, GK, RK, MS, HZ, LZ), pp. 1002–1011.
ICSE-2012-CasatiDDEFKMMOPQRSTV #enterprise #network #physics #process #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 #bibliography #developer #perspective #process: The impacts of software process improvement on developers: A systematic review (ML, PNR), pp. 113–122.
ICSE-2012-MitchellS #identification #process: Software process improvement through the identification and removal of project-level knowledge flow obstacles (SMM, CBS), pp. 1265–1268.
ICSE-2012-PloomSG #migration #process #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-ZhangLY #debugging #framework: An integrated bug processing framework (XZ, ML, KY), pp. 1469–1470.
PLEASE-2012-BoffoliCCV #consistency #flexibility #process #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.
HPCA-2012-LinMHSC #named #performance: Parabix: Boosting the efficiency of text processing on commodity processors (DL, NM, KSH, AS, RDC), pp. 373–384.
HPCA-2012-MillerPTST #named #process: 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.
HPDC-2012-LohrmannWK #constraints: Massively-parallel stream processing under QoS constraints with Nephele (BL, DW, OK), pp. 271–282.
PPoPP-2012-ZhongH #bibliography #graph: An overview of Medusa: simplified graph processing on GPUs (JZ, BH), pp. 283–284.
ICST-2012-PaciMBD #evolution #process #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 #process: Design and Evaluation of a Process for Identifying Architecture Patterns in Open Source Software (KJS, PA, MAB), pp. 147–163.
QoSA-ISARCS-2011-CavalcantiAM #process #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 #process #towards: Towards a process for architectural modelling in agile software development (ZD), pp. 183–192.
WICSA-2011-HeeschA #architecture #bibliography #maturity #process #reasoning: Mature Architecting — A Survey about the Reasoning Process of Professional Architects (UvH, PA), pp. 260–269.
ASE-2011-ChenHX #approach #evaluation #machine learning #process: Software process evaluation: A machine learning approach (NC, SCHH, XX), pp. 333–342.
ASE-2011-LeungwattanakitAHTY #distributed #model checking #process: Model checking distributed systems by combining caching and process checkpointing (WL, CA, MH, YT, MY), pp. 103–112.
ASE-2011-PietschYK #generative #modelling #tool support: Generating realistic test models for model processing tools (PP, HSY, UK), pp. 620–623.
ASE-2011-SilvaBB #execution #process: Deviation management during process execution (MAAdS, XB, RB), pp. 528–531.
CASE-2011-AngererEHRR #automation #design #process: Design of an automation system for preforming processes in aerospace industries (AA, CE, AH, WR, GR), pp. 557–562.
CASE-2011-LeeL #clustering #concurrent #multi: Concurrent processing of multiple wafer types in a single-armed cluster tool (JHL, TEL), pp. 102–107.
CASE-2011-LiTL #process: A GERT-based analytical method for remanufacturing process routing (CL, YT, CL), pp. 462–467.
CASE-2011-MikosFG #agile #approach #distributed #injection #process #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 #process: Feature selection for fault detection systems: Application to the Tennessee Eastman Process (HS, BCM, MD, NZ), pp. 189–194.
CASE-2011-ThramboulidisSF #automation #industrial #process #safety #towards #verification: Towards an automated verification process for industrial safety applications (KT, DS, GF), pp. 482–487.
DAC-2011-AarestadLPAA #process: 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 #process: Hybrid modeling of non-stationary process variations (ELD, MM, FK), pp. 194–199.
DAC-2011-HaoTSS #analysis #bound #performance #process: Performance bound analysis of analog circuits considering process variations (ZH, SXDT, RS, GS), pp. 310–315.
DAC-2011-Hazelwood #adaptation #embedded #runtime: Process-level virtualization for runtime adaptation of embedded software (KMH), pp. 895–900.
DAC-2011-LeeJ #framework #modelling #named #process: 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: Process variation-aware routing in NoC based multicores (AS, MTK), pp. 924–929.
DAC-2011-ZhaiNS #adaptation #modelling #network #process #streaming: Modeling adaptive streaming applications with parameterized polyhedral process networks (JTZ, HN, TS), pp. 116–121.
DATE-2011-BernardC #power management: A low-power VLIW processor for 3GPP-LTE complex numbers processing (CB, FC), pp. 234–239.
DATE-2011-FerreiraBCMM #algorithm #process: Impact of process variation on endurance algorithms for wear-prone memories (APF, SB, BRC, RGM, DM), pp. 962–967.
DATE-2011-GilaniKS #memory management #optimisation: Scratchpad memory optimizations for digital signal processing applications (SZG, NSK, MJS), pp. 974–979.
DATE-2011-JuanGM #3d #evaluation #multi #process #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 #process: Modeling manufacturing process variation for design and test (SK, AS), pp. 1147–1152.
DATE-2011-LiuHRG #optimisation #process #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-NarayananZT #correctness #pattern matching #process #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 #process #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 #process: On design of test structures for lithographic process corner identification (AS, SK), pp. 800–805.
DATE-2011-WelpK #approach #markov #process #synthesis: An approach for dynamic selection of synthesis transformations based on Markov Decision Processes (TW, AK), pp. 1533–1536.
DocEng-2011-BultermanGCMP #documentation #html #multi: Multimedia document processing in an HTML5 world (DCAB, RLG, PC, EVM, MdGCP), pp. 273–274.
DocEng-2011-PortierC #documentation #multi #process: Introduction of a dynamic assistance to the creative process of adding dimensions to multistructured documents (PEP, SC), pp. 167–170.
DRR-2011-Saund #challenge #documentation: Scientific challenges underlying production document processing (ES), pp. 1–10.
ICDAR-2011-CoustatyBBL #algorithm #image #ontology #semantic gap #using: Using Ontologies to Reduce the Semantic Gap between Historians and Image Processing Algorithms (MC, AB, KB, GL), pp. 156–160.
ICDAR-2011-WinderAS #algorithm #documentation #segmentation: Extending Page Segmentation Algorithms for Mixed-Layout Document Processing (AW, TLA, EHBS), pp. 1245–1249.
PODS-2011-DeutchM #database #process #research: A quest for beauty and wealth (or, business processes for database researchers) (DD, TM), pp. 1–12.
PODS-2011-HeBWN #complexity #on the #privacy: On the complexity of privacy-preserving complex event processing (YH, SB, DW, JFN), pp. 165–174.
SIGMOD-2011-Bajda-PawlikowskiASP #execution #performance #query: Efficient processing of data warehousing queries in a split execution environment (KBP, DJA, AS, EP), pp. 1165–1176.
SIGMOD-2011-HanLMHY #approach #sequence: A new approach for processing ranked subsequence matching based on ranked union (WSH, JL, YSM, SwH, HY), pp. 457–468.
SIGMOD-2011-JinBXCZ #named #query #visual notation: GBLENDER: visual subgraph query formulation meets query processing (CJ, SSB, XX, BC, SZ), pp. 1327–1330.
SIGMOD-2011-KllapiSTI #optimisation: Schedule optimization for data processing flows on the cloud (HK, ES, MMT, YEI), pp. 289–300.
SIGMOD-2011-KohlerYZ #parallel #performance #using: Efficient parallel skyline processing using hyperplane projections (HK, JY, XZ), pp. 85–96.
SIGMOD-2011-LinACOW #framework #named #pipes and filters #scalability: Llama: leveraging columnar storage for scalable join processing in the MapReduce framework (YL, DA, CC, BCO, SW), pp. 961–972.
SIGMOD-2011-OkcanR #pipes and filters #using: Processing theta-joins using MapReduce (AO, MR), pp. 949–960.
SIGMOD-2011-QinWLXL #performance #query #similarity #symmetry: Efficient exact edit similarity query processing with the asymmetric signature scheme (JQ, WW, YL, CX, XL), pp. 1033–1044.
SIGMOD-2011-SoroushBW #array #named #parallel: ArrayStore: a storage manager for complex parallel array processing (ES, MB, DLW), pp. 253–264.
SIGMOD-2011-VlachouDP #query: Skyline query processing over joins (AV, CD, NP), pp. 73–84.
VLDB-2011-AoZWSWLLL #algorithm #parallel #performance #using: Efficient Parallel Lists Intersection and Index Compression Algorithms using Graphics Processing Units (NA, FZ, DW, DSS, GW, XL, JL, SL), pp. 470–481.
VLDB-2011-BerneckerEKRZZ #nearest neighbour #nondeterminism #performance #probability #query: Efficient Probabilistic Reverse Nearest Neighbor Query Processing on Uncertain Data (TB, TE, HPK, MR, SZ, AZ), pp. 669–680.
VLDB-2011-CaoSDS #distributed #monitoring #query: Distributed inference and query processing for RFID tracking and monitoring (ZC, CAS, YD, PJS), pp. 326–337.
VLDB-2011-FengFKKMRWX #named #query: CrowdDB: Query Processing with the VLDB Crowd (AF, MJF, DK, TK, SM, SR, AW, RX), pp. 1387–1390.
VLDB-2011-FunkeKN #query #transaction: HyPer-sonic Combined Transaction AND Query Processing (FF, AK, TN), pp. 1367–1370.
VLDB-2011-PengDL #nondeterminism #optimisation #probability #query: Optimizing Probabilistic Query Processing on Continuous Uncertain Data (LP, YD, AL), pp. 1169–1180.
VLDB-2011-WangRE: Active Complex Event Processing over Event Streams (DW, EAR, RTE), pp. 634–645.
VLDB-2012-ArmbrustCKFFP11 #in the cloud #named #query: PIQL: Success-Tolerant Query Processing in the Cloud (MA, KC, TK, AF, MJF, DAP), pp. 181–192.
VLDB-2012-LinJZXL11 #performance #privacy #query: A MovingObject Index for Efficient Query Processing with Peer-Wise Location Privacy (DL, CSJ, RZ, LX, JL), pp. 37–48.
CSEET-2011-GalvaoARAFG #education #learning #logic programming #process: 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 #process #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.
ITiCSE-2011-HarrachA #collaboration #learning #optimisation #process #recommendation #using: Optimizing collaborative learning processes by using recommendation systems (SH, MA), p. 389.
ITiCSE-2011-MesserK #problem #process: The use of mediating artifacts in embedding problem solving processes in an e-learning environment (OMM, AK), p. 390.
ITiCSE-2011-PearsonBG #evaluation #process #web: A tool to support the web accessibility evaluation process for novices (EP, CB, SG), pp. 28–32.
FoSSaCS-2011-PierardS #bisimulation #calculus #distributed #higher-order #process: Sound Bisimulations for Higher-Order Distributed Process Calculus (AP, ES), pp. 123–137.
TACAS-2011-GaravelLMS #analysis #distributed #process: 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 #process #source code: On Probabilistic Parallel Programs with Process Creation and Synchronisation (SK, DW), pp. 296–310.
ICPC-J-2009-SamalikovaKTWS11 #case study #experience #process #towards: Toward objective software process information: experiences from a case study (JS, RJK, JJMT, TW, PS), pp. 101–120.
CSMR-2011-AlawnehH #abstraction #communication #pattern matching #pattern recognition #recognition: Pattern Recognition Techniques Applied to the Abstraction of Traces of Inter-Process Communication (LA, AHL), pp. 211–220.
CSMR-2011-PoncinSB #mining #process #repository: Process Mining Software Repositories (WP, AS, MvdB), pp. 5–14.
CSMR-2011-StojanovicOCD #coordination #development #named #open source #realtime: ALERT: Active Support and Real-Time Coordination Based on Event Processing in Open Source Software Development (LS, FO, LC, SD), pp. 359–362.
CSMR-2011-ZillmannWHTTFHREKUZ #industrial #process: The SOAMIG Process Model in Industrial Applications (CZ, AW, AH, WT, MT, AF, TH, VR, UE, UK, DU, YZ), pp. 339–342.
ICPC-2011-TothVBG #complexity #metric #predict #process: Adding Process Metrics to Enhance Modification Complexity Prediction (GT, AZV, ÁB, TG), pp. 201–204.
ICSM-2011-Hindle #perspective #process: Evidence-based software process recovery: A post-doctoral view (AH), pp. 562–567.
ICSM-2011-Perez-CastilloFGP #process: MARBLE. A business process archeology tool (RPC, MFR, IGRdG, MP), pp. 578–581.
ICSM-2011-WangPXZ #case study #feature model #process: An exploratory study of feature location process: Distinct phases, recurring patterns, and elementary actions (JW, XP, ZX, WZ), pp. 213–222.
ICALP-v1-2011-Coja-OghlanP #process #random #satisfiability: The Decimation Process in Random k-SAT (ACO, AYPP), pp. 305–316.
FM-2011-ChenLW #communication #process #refinement: Failure-Divergence Refinement of Compensating Communicating Processes (ZC, ZL, JW), pp. 262–277.
SEFM-2011-HildebrandtMS #declarative #process: Safe Distribution of Declarative Processes (TTH, RRM, TS), pp. 237–252.
SEFM-2011-Pedercini #communication #modelling #policy #process: Models and Communication in the Policy Process (MP), pp. 35–37.
SEFM-2011-TongSJ #approach #formal method #information management #process: A Formal Approach to Analysing Knowledge Transfer Processes in Developing Countries (JT, SAS, AEJ), pp. 486–501.
CEFP-2011-MichaelsonG #calculus #multi #reasoning: Reasoning about Multi-process Systems with the Box Calculus (GM, GG), pp. 279–338.
AGTIVE-2011-FurstMM #graph grammar #heuristic #induction #process: Graph Grammar Induction as a Parser-Controlled Heuristic Search Process (LF, MM, VM), pp. 121–136.
AGTIVE-2011-Proctor #named: Drools: A Rule Engine for Complex Event Processing (MP), p. 2.
CHI-2011-ChilanaGF #multi #process: Modern software product support processes and the usage of multimedia formats (PKC, TG, GWF), pp. 3093–3102.
CHI-2011-MendelsFO #design #multi #named #process: Freed: a system for creating multiple views of a digital collection during the design process (PM, JWF, KO), pp. 1481–1490.
CSCW-2011-ShaoWY #enterprise #monitoring #multi: A production monitoring and data processing system for the textile enterprise based on multi-Agent (JS, JW, LY), pp. 713–716.
DUXU-v1-2011-ChampneyKS #design #performance #process: Making the Design Process More Usable: Aligning Design with User Performance (RKC, CK, KMS), pp. 33–42.
DUXU-v1-2011-KimLML #collaboration #design #generative #idea #interface #process: 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 #process #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-ChoiS #approach #design #implementation #process: A Design-Supporting Tool for Implementing the Learning-Based Approach: Accommodating Users’ Domain Knowledge into Design Processes (JMC, KS), pp. 369–378.
HCD-2011-KoikeOTMMKUKY #collaboration #communication #process: 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 #process #simulation: Process Choreography for Human Interaction Computer-Aided Simulation (CFL, JBM, PS, JCN), pp. 214–220.
HCI-UA-2011-NagaiKI #learning #process: 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 #process #user interface: Connecting Envisioning Process to User Interface Design Process (NH, SO, KYK), pp. 13–19.
HIMI-v1-2011-MaeshiroNM #composition #music #process #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 #process: Auditory Feature Parameters for Music Based on Human Auditory Processes (MM, TK), pp. 612–617.
HIMI-v1-2011-NasuKAN #information management: Information Processing for Constructing Tactile Perception of Motion: A MEG Study (AN, KK, TA, SN), pp. 478–487.
HIMI-v2-2011-LeeCT #comparison #process #re-engineering: ICT-Enabled Business Process Re-engineering: International Comparison (YCL, PYC, HLT), pp. 278–284.
HIMI-v2-2011-SakataM #collaboration #communication #process: Process in Establishing Communication in Collaborative Creation (MS, KM), pp. 315–324.
IDGD-2011-HsuLL #case study #design #development #framework #process: A Study of Framework and Process Development for Cultural Product Design (CHH, CLL, RL), pp. 55–64.
OCSC-2011-Alducin-QuinteroCMGJ #design #modelling #process #using: Productivity Improvement by Using Social-Annotations about Design Intent in CAD Modelling Process (GAQ, MC, JMG, DAGZ, MDJ), pp. 153–161.
CAiSE-2011-AuerBKS #case study #process #research: Exploratory Case Study Research on SOA Investment Decision Processes in Austria (LA, EB, NK, CS), pp. 329–336.
CAiSE-2011-AwadGTW #approach #process #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 #process #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 #process: Handling Concept Drift in Process Mining (RPJCB, WMPvdA, IZ, MP), pp. 391–405.
CAiSE-2011-CabanillasRCA #automation #generative #process: Automatic Generation of a Data-Centered View of Business Processes (CC, MR, ARC, AA), pp. 352–366.
CAiSE-2011-ComuzziV #collaboration #design #monitoring #process #workflow: Product-Based Workflow Design for Monitoring of Collaborative Business Processes (MC, ITPV), pp. 154–168.
CAiSE-2011-DelgadoRGP #generative #process: Business Process Service Oriented Methodology (BPSOM) with Service Generation in SoaML (AD, FR, IGRdG, MP), pp. 672–680.
CAiSE-2011-DornD #process #self: Supporting Dynamic, People-Driven Processes through Self-learning of Message Flows (CD, SD), pp. 657–671.
CAiSE-2011-FernandezAI #development #evaluation #modelling #process #usability #web: A Web Usability Evaluation Process for Model-Driven Web Development (AF, SA, EI), pp. 108–122.
CAiSE-2011-FiglL #complexity #modelling #process: Cognitive Complexity in Business Process Modeling (KF, RL), pp. 452–466.
CAiSE-2011-FriedrichMP #generative #natural language #process: Process Model Generation from Natural Language Text (FF, JM, FP), pp. 482–496.
CAiSE-2011-GronerWBPWHGS #process #product line #validation: Validation of Families of Business Processes (GG, CW, MB, FSP, TW, FH, DG, SS), pp. 551–565.
CAiSE-2011-KabicherR #analysis #process: Human-Centered Process Engineering Based on Content Analysis and Process View Aggregation (SK, SRM), pp. 467–481.
CAiSE-2011-KhalufGE #constraints #formal method #modelling #process #quality: Pattern-Based Modeling and Formalizing of Business Process Quality Constraints (LK, CG, GE), pp. 521–535.
CAiSE-2011-LeopoldMR #automation #modelling #on the #process: On the Automatic Labeling of Process Models (HL, JM, HAR), pp. 512–520.
CAiSE-2011-LuebbeW #empirical #modelling #process: Tangible Media in Process Modeling — A Controlled Experiment (AL, MW), pp. 283–298.
CAiSE-2011-SmirnovRW #abstraction #approach #process #semantics: A Semantic Approach for Business Process Model Abstraction (SS, HAR, MW), pp. 497–511.
CAiSE-2011-WeidlichMW #approach #process #variability: A Foundational Approach for Managing Process Variability (MW, JM, MW), pp. 267–282.
EDOC-2011-MilanovicGR #flexibility #modelling #process: Modeling Flexible Business Processes with Business Rule Patterns (MM, DG, LR), pp. 65–74.
EDOC-2011-Papazoglou #process #standard: Making Business Processes Compliant to Standards and Regulations (MPP), pp. 3–13.
EDOC-2011-TongBKPL #architecture #challenge #embedded #enterprise #industrial #mobile #process: 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 #process: 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 #process: 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 #process #wiki: Applying Conflict Management Process to Wiki Communities (JdMB, CMH), pp. 333–348.
ICEIS-J-2011-CarvalhoSRP #named: PAR-COM: A New Methodology for Post-processing Association Rules (VOdC, FFdS, SOR, RdP), pp. 66–80.
ICEIS-J-2011-ChangS11a #analysis #mobile #process #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 #process #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 #process #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 #process: Temporal Management of WS-BPEL Processes (AT, CO, AMT, AH), pp. 256–269.
ICEIS-v1-2011-CarvalhoSR #clustering #metric: Post-processing Association Association Rules with Clustering and Objective Measures (VOdC, FFdS, SOR), pp. 54–63.
ICEIS-v1-2011-ChangLZ #e-commerce #grid #mobile #process #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 #process #research: Research Process Oriented Intelligent Decision Support System Framework (YJ, JG), pp. 534–538.
ICEIS-v1-2011-PreisslerHL #cost analysis #deployment #process: Cost-based Business Process Deployment Advisor (SP, DH, WL), pp. 211–216.
ICEIS-v1-2011-RamirezC #fault #process #using: Fault Diagnosis of Batch Processes Release using PCA Contribution Plots as Fault Signatures (AWR, JCL), pp. 223–228.
ICEIS-v1-2011-SantosP #data mining #mining #preprocessor #ubiquitous: Enabling Ubiquitous Data Mining in Intensive Care — Features Selection and Data Pre-processing (MS, FP), pp. 261–266.
ICEIS-v1-2011-WangRP #process #research: Research of Circular Logistics Process of Telecommunications Operators (YW, YR, LP), pp. 308–313.
ICEIS-v1-2011-YamaguchiDF #guidelines #process #visualisation: Guidelines for the Choice of Visualization Techniques Applied in the Process of Knowledge Extraction (JKY, MMD, CF), pp. 183–189.
ICEIS-v3-2011-BoudebousBBS #approach #design #distributed #industrial #process: Design Approach of Distributed Systems for the Control of Industrial Process (DB, JB, SB, NS), pp. 157–164.
ICEIS-v3-2011-CamposO #development #modelling #process: Modeling Work Processes and Software Development — Notation and Tool (ALNC, TCdO), pp. 337–343.
ICEIS-v3-2011-HastbackaKK #development #industrial #modelling #process: Business Process Modeling and SOA in Industrial O&M Application Development (DH, PK, SK), pp. 277–285.
ICEIS-v3-2011-LazarteVCTI #design #integration #modelling #process: An MDA-based Method for Designing Integration Process Models in B2B Collaborations (IML, PDV, OC, LHT, CI), pp. 55–65.
ICEIS-v3-2011-PereiraBMO #consistency #process: Improving the Consistency of SPEM-based Software Processes (EBP, RMB, MdCM, TCdO), pp. 76–86.
ICEIS-v3-2011-WangCLX #evaluation #process: 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 #process: Conflict Management Process for Virtual Communities (JdMB, CMH), pp. 33–42.
ICEIS-v4-2011-ChangS #mobile #process #research #simulation: Research on Grid-based Mobile Business Process and Simulation (DC, LS), pp. 86–93.
ICEIS-v4-2011-Ganesan #enterprise #framework #modelling #process #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 #process #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 #process: 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 #process: 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 #process: 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 #process #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 #process: Optimization of Import Business Process and System Design in Bulk Port based on Internet of Things (XS, LH), pp. 509–512.
ICEIS-v4-2011-WangG #game studies #integration #research: Research on the Operational Integration Processing of Telecom Operators based on Game Theory (XW, ZG), pp. 444–448.
CIKM-2011-AzzamRY #query #sql: Ranking-based processing of SQL queries (HA, TR, SY), pp. 231–236.
CIKM-2011-ChenHAXHP #image #modelling #process: Perspective hierarchical dirichlet process for user-tagged image modeling (XC, XH, YA, ZX, TH, EKP), pp. 1341–1346.
CIKM-2011-ChristoforakiHDMS #performance #query: Text vs. space: efficient geo-search query processing (MC, JH, CD, AM, TS), pp. 423–432.
CIKM-2011-GuirguisSCL #multi #query: Optimized processing of multiple aggregate continuous queries (SG, MAS, PKC, AL), pp. 1515–1524.
CIKM-2011-KimO #dependence #process: Accounting for data dependencies within a hierarchical dirichlet process mixture model (DK, AHO), pp. 873–878.
CIKM-2011-KrulisLBSS #architecture #distance #gpu #manycore #polynomial: Processing the signature quadratic form distance on many-core GPU architectures (MK, JL, CB, TS, TS), pp. 2373–2376.
CIKM-2011-MaZSDC #query: Matching query processing in high-dimensional space (CM, YZ, LS, DD, GC), pp. 1589–1594.
CIKM-2011-ParkSBY #distance #nearest neighbour #query: k-Nearest neighbor query processing method based on distance relation pattern (YP, DS, KB, JY), pp. 2413–2416.
CIKM-2011-PeukertER #process #rule-based: Rule-based construction of matching processes (EP, JE, ER), pp. 2421–2424.
CIKM-2011-RenMWL #process #thread #topic #web: Summarizing web forum threads based on a latent topic propagation process (ZR, JM, SW, YL), pp. 879–884.
CIKM-2011-ShastriDRW #multi #named #scalability: MTopS: scalable processing of continuous top-k multi-query workloads (AS, DY, EAR, MOW), pp. 1107–1116.
ECIR-2011-FrommholzPLR #framework #information retrieval #query: Processing Queries in Session in a Quantum-Inspired IR Framework (IF, BP, ML, KvR), pp. 751–754.
ECIR-2011-ZellhoferFSLR #information retrieval #principle #towards: Towards Quantum-Based DB+IR Processing Based on the Principle of Polyrepresentation (DZ, IF, IS, ML, KvR), pp. 729–732.
ICML-2011-ChenPSDC #analysis #learning #process: The Hierarchical Beta Process for Convolutional Factor Analysis and Deep Learning (BC, GP, GS, DBD, LC), pp. 361–368.
ICML-2011-KuleszaT #named #process: k-DPPs: Fixed-Size Determinantal Point Processes (AK, BT), pp. 1193–1200.
ICML-2011-Lazaro-GredillaT #process: Variational Heteroscedastic Gaussian Process Regression (MLG, MKT), pp. 841–848.
ICML-2011-MannorT #markov #optimisation #process: Mean-Variance Optimization in Markov Decision Processes (SM, JNT), pp. 177–184.
ICML-2011-PaisleyCB #process: Variational Inference for Stick-Breaking Beta Process Priors (JWP, LC, DMB), pp. 889–896.
ICML-2011-RaiD #process: Beam Search based MAP Estimates for the Indian Buffet Process (PR, HDI), pp. 705–712.
ICML-2011-ThomasB #markov #process: Conjugate Markov Decision Processes (PST, AGB), pp. 137–144.
ICML-2011-ZhuCX #infinity #kernel #process: Infinite SVM: a Dirichlet Process Mixture of Large-margin Kernel Machines (JZ, NC, EPX), pp. 617–624.
KDIR-2011-RomeiT #process #programming #using #xquery: Programming the KDD Process using XQuery (AR, FT), pp. 131–139.
KEOD-2011-MunozCLCP #enterprise #framework #integration #ontology #process: 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 #process: From Linguistics to Ontologies — The Role of Named Entities in the Conceptualisation Process (NO, AN, SS), pp. 249–254.
KMIS-2011-FortierS #modelling #process #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 #process #towards: Business Processes and Organisations — Challenges and Opportunities Towards a People-centric Approach (NPG, JASP), pp. 418–423.
KMIS-2011-GretschMH #implementation #process: The Difficulty of Finding Experts — Implementation Process of Corporate Yellow Pages (SG, HM, JH), pp. 48–56.
KMIS-2011-Grim-YefsahRT11a #network #process #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 #process: 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 #process #repository: Managing Insights: A Repository for Process Analytics, Optimization and Decision Support (FN, HS, BM), pp. 424–429.
KMIS-2011-Nishioka #process #using: Quotation Process Management of One-of-a-kind Production using PSLX Information Model (YN), pp. 167–172.
KMIS-2011-RamosSB #process: A Method for Discovering the Relevance of External Context Variables to Business Processes (ECR, FMS, FAB), pp. 399–408.
MLDM-2011-ShengT #process: Boosting Inspired Process for Improving AUC (VSS, RT), pp. 199–209.
SEKE-2011-AlmeidaMA #analysis #execution #process #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 #process #product line: An Agile Scoping Process for Software Product Lines (MB, ESdA, SRdLM), pp. 717–722.
SEKE-2011-BasriO #development #information management #process: The Impact of Software Development Team Dynamics on the Knowledge Management Process(S) (SB, RVO), pp. 339–342.
SEKE-2011-BozRSTNP #information management #process: A Virtual Catalyst in the Knowledge Acquisition Process (GBJ, MPR, GYS, CAT, JCN, ECP), pp. 149–152.
SEKE-2011-ChenHS #adaptation #analysis #modelling #process #towards #validation: Towards Modeling and Validating Analysis Processes for Software Adaptation (XC, GH, LS), pp. 547–552.
SEKE-2011-DiawLC #implementation #metamodelling #process #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 #process: Automatic Deployment and Monitoring of Software Processes: A Model-Driven Approach (MAF, FAA, UK, EA, RC), pp. 42–47.
SEKE-2011-GuntherNGD #network #process: Causal Networks Based Process Improvement (DG, RN, KG, RRD), pp. 462–465.
SEKE-2011-JuniorGM #analysis #architecture #product line #trade-off: A Meta-Process to Support Trade-Off Analysis in Software Product Line Architecture (EAdOJ, IMdSG, JCM), pp. 687–692.
SEKE-2011-Krishna #approach #non-functional #process #requirements #uml: A Process Oriented Approach to Model Non-Functional Requirements Proposition Extending UML (AK), pp. 736–739.
SEKE-2011-LemosSLO #consistency #development #mining #process: Conformance Checking of Software Development Processes Through Process Mining (AML, CCS, RMFL, CALO), pp. 654–659.
SEKE-2011-MachadoNAM #named #process #product line #testing: RiPLE-TE: A Process for Testing Software Product Lines (IdCM, PAdMSN, ESdA, SRdLM), pp. 711–716.
SEKE-2011-MordinyiMBD #adaptation #flexibility #process: Flexible Support for Adaptable Software and Systems Engineering Processes (RM, TM, SB, DD), pp. 608–612.
SEKE-2011-WagnerFF #process #security #using: Using Security Patterns to Tailor Software Process (RW, LMF, ABF), pp. 672–677.
SEKE-2011-XieLW #modelling #process #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 #process: Knowledge Engineering in the domain of Carbon Dioxide Capture Process System (QZ, AJW, CWC), pp. 414–419.
SIGIR-2011-KayaaslanCBJA #energy #multi #query #web: Energy-price-driven query processing in multi-center web search engines (EK, BBC, RB, FPJ, CA), pp. 983–992.
ECMFA-2011-BendraouLCG #modelling: Process-Centred Approaches for Model-Driven Engineering (PMDE) — First Edition (RB, RL, BC, MPG), pp. 383–384.
ECMFA-2011-EllnerADJKP #distributed #execution #modelling #process: A FUML-Based Distributed Execution Machine for Enacting Software Process Models (RE, SAH, JD, MJ, DK, MP), pp. 19–34.
MoDELS-2011-ReggioRSCD #modelling #precise #process: A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (GR, FR, GS, FDC, GD), pp. 138–152.
MoDELS-2011-ReggioRSCD #modelling #precise #process: A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (GR, FR, GS, FDC, GD), pp. 138–152.
QAPL-2011-DengGHM #probability #process #testing: Real-Reward Testing for Probabilistic Processes (Extended Abstract) (YD, RJvG, MH, CM), pp. 61–73.
PADL-2011-FodorAR: Results on Out-of-Order Event Processing (PF, DA, SR), pp. 220–234.
POPL-2011-AlurC #algorithm #source code #streaming #transducer #verification: Streaming transducers for algorithmic verification of single-pass list-processing programs (RA, PC), pp. 599–610.
POPL-2011-FengDY #bisimulation #process #quantum: Bisimulation for quantum processes (YF, RD, MY), pp. 523–534.
POPL-2011-Gulwani #automation #spreadsheet #string #using: Automating string processing in spreadsheets using input-output examples (SG), pp. 317–330.
RE-2011-KomssiKTLD #analysis #perspective #process: Integrating analysis of customers’ processes into roadmapping: The value-creation perspective (MK, MK, HT, LL, AMD), pp. 57–66.
REFSQ-2011-HenkelP #perspective #requirements: E-Service Requirements from a Consumer-Process Perspective (MH, EP), pp. 121–135.
REFSQ-2011-MarkovHC #case study #industrial #process #requirements: Requirements Engineering Process Improvement: An Industrial Case Study (GAM, AH, OC), pp. 34–47.
SAC-2011-AdaikkalavanP #query: Secure shared continuous query processing (RA, TP), pp. 1000–1005.
SAC-2011-ClevenWW #analysis #design #performance #problem #process: Process performance management: illuminating design issues through a systematic problem analysis (AC, RW, FW), pp. 280–286.
SAC-2011-JanieschMMVB #architecture #named #process #realtime: Slipstream: architecture options for real-time process analytics (CJ, MM, OM, RV, JB), pp. 295–300.
SAC-2011-LiOZ #approach #collaboration #modelling #process: 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 #process: An empirical comparison of static and dynamic business process mining (RPC, IGRdG, MP, BW, ÁSP), pp. 272–279.
SAC-2011-RamosCAA #case study #modelling #process #towards: Towards the improvement of use case models: the AIRDoc process (RAR, JBdC, JA, FMRA), pp. 708–709.
SAC-2011-TranCTV #automation #modelling #process #reuse: Automatic reuse of process patterns in process modeling (HNT, BC, TDT, MHV), pp. 1431–1438.
SAC-2011-ZhangWAWLL #performance #using: Fast lists intersection with Bloom filter using graphics processing units (FZ, DW, NA, GW, XL, JL), pp. 825–826.
ESEC-FSE-2011-CostacheKK #design #implementation #process #validation: Design and validation of feature-based process model tailoring: a sample implementation of PDE (DC, GK, MK), pp. 464–467.
ESEC-FSE-2011-Mori #adaptation #lifecycle #process: A software lifecycle process for context-aware adaptive systems (MM), pp. 412–415.
ESEC-FSE-2011-Prause #process #quality #research #self: Reputation-based self-management of software process artifact quality in consortium research projects (CP), pp. 380–383.
ICSE-2011-CuddebackDHHK #process #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 #process #reliability #towards: Towards quantitative software reliability assessment in incremental development processes (TF, TD, TF), pp. 41–50.
ICSE-2011-LaymanBZF #case study #process #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 #process: A framework for the integration of user centered design and agile software development processes (DS), pp. 1132–1133.
ICSE-2011-Sethanandha #open source #process #tool support: Improving open source software patch contribution process: methods and tools (BDS), pp. 1134–1135.
ICSE-2011-SimidchievaO #process: Characterizing process variation (BIS, LJO), pp. 836–839.
ICSE-2011-ZhangJHHZ #process #simulation: Impact of process simulation on software practice: an initial report (HZ, DRJ, DH, LH, LZ), pp. 1046–1056.
SLE-2011-ErwigW #design #exclamation #process #semantics: Semantics First! — Rethinking the Language Design Process (ME, EW), pp. 243–262.
SPLC-2011-ChenE #optimisation #process: Optimizing the Product Derivation Process (SC, ME), pp. 35–44.
HPCA-2011-ChenLZ #memory management #parallel #performance: Essential roles of exploiting internal parallelism of flash memory based solid state drives in high-speed data processing (FC, RL, XZ), pp. 266–277.
SOSP-2011-LaadanVTBYN #detection #pervasive #process: Pervasive detection of process races in deployed systems (OL, NV, CcT, CB, JY, JN), pp. 353–367.
SOSP-2011-PopaRZB #named #query: CryptDB: protecting confidentiality with encrypted query processing (RAP, CMSR, NZ, HB), pp. 85–100.
CAV-2011-ChatterjeeHJS #algorithm #analysis #automaton #markov #process: Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives (KC, MH, MJ, NS), pp. 260–276.
ICLP-2011-Hanus #declarative #web: Declarative Processing of Semistructured Web Data (MH), pp. 198–208.
LICS-2011-BrazdilBCFK #markov #multi #process: Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (TB, VB, KC, VF, AK), pp. 33–42.
VMCAI-2011-GawlitzaLMSW #analysis #concurrent #process #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 #process #source code: Software Architecture Recovery Process Based on Object-Oriented Source Code and Documentation (SC, AS), pp. 409–416.
ECSA-2010-HeeschA #architecture #bibliography #comprehension #process #reasoning #student: Naive Architecting — Understanding the Reasoning Process of Students — A Descriptive Survey (UvH, PA), pp. 24–37.
ASE-2010-GabrysiakGS #behaviour #interactive #multi #process #requirements #validation: Deriving behavior of multi-user processes from interactive requirements validation (GG, HG, AS), pp. 355–356.
CASE-2010-CaiM #analysis #approach #hybrid #industrial #process: 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 #process #towards: Towards performance analysis of wheel loading process in automotive manufacturing (HC, JW, BZ, GZ, TAF), pp. 234–239.
CASE-2010-GengAXJ #case study #process: Experimental study of Magnetic Resonance Imaging examination reservation process for stroke patients (NG, VA, XX, ZJ), pp. 774–779.
CASE-2010-ParkB: Utility-based dynamic control of batch processing systems (HP, AB), pp. 439–444.
CASE-2010-SaundersJMOM #automation #design #modelling #process: 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 #process #robust: Particle filtering of hidden Gamma processes for robust Predictive Maintenance in semiconductor manufacturing (AS, SP, GDN), pp. 51–56.
CASE-2010-SchirruPN10a #multi #process #statistics: Multilevel statistical process control of asynchronous multi-stream processes in semiconductor manufacturing (AS, SP, GDN), pp. 57–62.
DAC-2010-FengZ #analysis #grid #parallel #power management #robust: Parallel multigrid preconditioning on graphics processing units (GPUs) for robust power grid analysis (ZF, ZZ), pp. 661–666.
DAC-2010-HuangX #performance #process #scheduling: Performance yield-driven task allocation and scheduling for MPSoCs under process variation (LH, QX), pp. 326–331.
DAC-2010-KuangB #latency #named: LATA: a latency and throughput-aware packet processing system (JK, LNB), pp. 36–41.
DAC-2010-NadakuditiM #cost analysis #on the: On the costs and benefits of stochasticity in stream processing (RRN, ILM), pp. 320–325.
DAC-2010-NiuCXX #process: Impact of process variations on emerging memristor (DN, YC, CX, YX), pp. 877–882.
DAC-2010-VeetilCSB #monte carlo #performance #resource management: Efficient smart monte carlo based SSTA on graphics processing units with improved resource utilization (VV, YHC, DS, DB), pp. 793–798.
DATE-2010-AnastasiaA #energy #image #refinement #scheduling #trade-off: Scheduling and energy-distortion tradeoffs with operational refinement of image processing (DA, YA), pp. 1719–1724.
DATE-2010-BashirM #process #reliability #towards: Towards a chip level reliability simulator for copper/low-k backend processes (MB, LSM), pp. 279–282.
DATE-2010-BsoulMS #process: Reliability- and process variation-aware placement for FPGAs (AAMB, NM, LS), pp. 1809–1814.
DATE-2010-HernandezSD #process: A methodology for the characterization of process variation in NoC links (CH, FS, JD), pp. 685–690.
DATE-2010-Kheradmand-BoroujeniPL #independence #novel #process: 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-KlemmF #c++ #embedded #metaprogramming #using: Bitstream processing for embedded systems using C++ metaprogramming (RK, GF), pp. 909–913.
DATE-2010-LiuLKJ #adaptation #correlation #multi: FPGA-based adaptive computing for correlated multi-stream processing (ML, ZL, WK, AJ), pp. 973–976.
DATE-2010-MeijerNS #modelling #network #process #throughput: Throughput modeling to evaluate process merging transformations in polyhedral process networks (SM, HN, TS), pp. 747–752.
DATE-2010-MuZZLDZ: IP routing processing with graphic processors (SM, XZ, NZ, JL, YSD, SZ), pp. 93–98.
DATE-2010-NarayananAZTP #process #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 #process: 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 #process: Novel Physical Unclonable Function with process and environmental variations (XW, MT), pp. 1065–1070.
DATE-2010-YangGBSC #automation: Automated bottleneck-driven design-space exploration of media processing systems (YY, MG, TB, SS, HC), pp. 1041–1046.
DATE-2010-ZhuoSB #process #reliability: Process variation and temperature-aware reliability management (CZ, DS, DB), pp. 580–585.
DocEng-2010-BalinskyBS #documentation #on the: On helmholtz’s principle for documents processing (AAB, HB, SJS), pp. 283–286.
DocEng-2010-QuintRSV #editing: From templates to schemas: bridging the gap between free editing and safe data processing (VQ, CR, SS, CV), pp. 61–64.
DRR-2010-HuangDC #modelling #recognition #word: A word language model based contextual language processing on Chinese character recognition (CH, XD, YC), pp. 1–10.
DRR-2010-SmithLD #preprocessor: Effect of pre-processing on binarization (EHBS, LLS, JD), pp. 1–10.
DRR-2010-XiuB #recognition: Incorporating linguistic post-processing into whole-book recognition (PX, HSB), pp. 1–10.
SIGMOD-2010-ArumugamDJPP #scalability: The DataPath system: a data-centric analytic processing engine for large data warehouses (SA, AD, CMJ, NP, LLP), pp. 519–530.
SIGMOD-2010-BlanasPERST #algorithm #comparison #pipes and filters: A comparison of join algorithms for log processing in MaPreduce (SB, JMP, VE, JR, EJS, YT), pp. 975–986.
SIGMOD-2010-Brown #analysis #array #bibliography #scalability: Overview of sciDB: large scale array storage, processing and analysis (PGB), pp. 963–968.
SIGMOD-2010-ChenWHY #graph #in the cloud #scalability: Large graph processing in the cloud (RC, XW, BH, MY), pp. 1123–1126.
SIGMOD-2010-JinBXCC #database #graph #named #query #towards #visual notation: GBLENDER: towards blending visual query formulation and query processing in graph databases (CJ, SSB, XX, JC, BC), pp. 111–122.
SIGMOD-2010-KanagalD #correlation #database #probability: Lineage processing over correlated probabilistic databases (BK, AD), pp. 675–686.
SIGMOD-2010-KossmannKL #architecture #evaluation #in the cloud #transaction: An evaluation of alternative architectures for transaction processing in the cloud (DK, TK, SL), pp. 579–590.
SIGMOD-2010-MalewiczABDHLC #graph #named #scalability: Pregel: a system for large-scale graph processing (GM, MHA, AJCB, JCD, IH, NL, GC), pp. 135–146.
SIGMOD-2010-MarczakHBSLA #distributed #named: SecureBlox: customizable secure distributed data processing (WRM, SSH, MB, MS, BTL, MA), pp. 723–734.
SIGMOD-2010-SternBB #approach #network #query: Processing continuous join queries in sensor networks: a filtering approach (MS, KB, EB), pp. 267–278.
SIGMOD-2010-TranPLDL #algorithm #data type #named #nondeterminism: PODS: a new model and processing algorithms for uncertain data streams (TTLT, LP, BL, YD, AL), pp. 159–170.
SIGMOD-2010-XuJ #network #proximity: Processing proximity relations in road networks (ZX, HAJ), pp. 243–254.
VLDB-2010-BotanDDHMT #analysis #execution #named #semantics: SECRET: A Model for Analysis of the Execution Semantics of Stream Processing Systems (IB, RD, ND, LMH, RJM, NT), pp. 232–243.
VLDB-2010-BuHBE #clustering #named #performance #scalability: HaLoop: Efficient Iterative Data Processing on Large Clusters (YB, BH, MB, MDE), pp. 285–296.
VLDB-2010-CaliGP #ontology #query: Advanced Processing for Ontological Queries (AC, GG, AP), pp. 554–565.
VLDB-2010-DeutchMPY #evaluation #process #query: Optimal Top-K Query Evaluation for Weighted Business Processes (DD, TM, NP, TY), pp. 940–951.
VLDB-2010-Etzion #past present future: Event Processing — past, present and future (OE), pp. 1651–1652.
VLDB-2010-IoannouNNV #on the fly #query: On-the-Fly Entity-Aware Query Processing in the Presence of Linkage (EI, WN, CN, YV), pp. 429–438.
VLDB-2010-KazemitabarDAAS #query #sql #using: Geospatial Stream Query Processing using Microsoft SQL Server StreamInsight (SJK, UD, MHA, AA, CS), pp. 1537–1540.
VLDB-2010-McConnellPH #approach #named #performance #reliability #replication: iFlow: An Approach for Fast and Reliable Internet-Scale Stream Processing Utilizing Detouring and Replication (CM, FP, JHH), pp. 1557–1560.
VLDB-2010-SadoghiJLSS #algorithm #configuration management #hardware #performance: Efficient Event Processing through Reconfigurable Hardware for Algorithmic Trading (MS, HAJ, ML, WS, HS), pp. 1525–1528.
VLDB-2010-SharifzadehS #diagrams #named #nearest neighbour #performance #query: VoR-Tree: R-trees with Voronoi Diagrams for Efficient Processing of Spatial Nearest Neighbor Queries (MS, CS), pp. 1231–1242.
VLDB-2010-TzoumasDJ #clustering #correlation #query: Sharing-Aware Horizontal Partitioning for Exploiting Correlations During Query Processing (KT, AD, CSJ), pp. 542–553.
VLDB-2010-WangREW #health #realtime: Active Complex Event Processing: Applications in Real-Time Health Care (DW, EAR, RTE, HW), pp. 1545–1548.
VLDB-2010-WuBMPS #query: Processing Top-k Join Queries (MW, LBE, AM, CMP, DS), pp. 860–870.
VLDB-2010-WuJOW #performance: Efficient B-tree Based Indexing for Cloud Data Processing (SW, DJ, BCO, KLW), pp. 1207–1218.
VLDB-2010-ZouWSHAGW #distributed #query #relational: From a Stream of Relational Queries to Distributed Stream Processing (QZ, HW, RS, MH, HA, BG, KLW), pp. 1394–1405.
VLDB-2011-Rocha-JuniorVDN10 #performance #query: Efficient Processing of Top-k Spatial Preference Queries (JBRJ, AV, CD, KN), pp. 93–104.
ITiCSE-2010-Larraza-MendiluzeG #game studies #learning #process #topic #using: Changing the learning process of the input/output topic using a game in a portable console (ELM, NGV), p. 316.
ESOP-2010-SouleHGGAKW #calculus: A Universal Calculus for Stream Processing Languages (RS, MH, RG, BG, HA, VK, KLW), pp. 507–528.
FASE-2010-CortellessaMRT #effectiveness #identification #performance #process: A Process to Effectively Identify “Guilty” Performance Antipatterns (VC, AM, RHR, CT), pp. 368–382.
FoSSaCS-2010-PopescuG #algebra #formal method #incremental #induction #process: Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization (AP, ELG), pp. 109–127.
FoSSaCS-2010-WiesZH #analysis #bound #process: Forward Analysis of Depth-Bounded Processes (TW, DZ, TAH), pp. 94–108.
ICPC-2010-AversanoMT #component #process #traceability: Recovering Traceability Links between Business Process and Software System Components (LA, FM, MT), pp. 52–53.
ICSM-2010-HasanSBA #process: Analyzing natural-language artifacts of the software process (MH, ES, DB, MHA), pp. 1–5.
ICSM-2010-HindleGH #process #using: Software process recovery using Recovered Unified Process Views (AH, MWG, RCH), pp. 1–10.
MSR-2010-BachmannB #correlation #dataset #debugging #process #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 #process: Software Process Recovery: Recovering Process from Artifacts (AH), pp. 305–308.
ICALP-v2-2010-LanesePSS #calculus #communication #higher-order #on the #process: 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 #process #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 #process #scalability: A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis (MM, DL, AB, MDH), pp. 169–180.
IFL-2010-AxelssonCSSEP #design #embedded #implementation: The Design and Implementation of Feldspar — An Embedded Language for Digital Signal Processing (EA, KC, MS, JS, DE, AP), pp. 121–136.
ICGT-2010-Monreale #automaton #calculus #encoding #lts #process #semantics #visual notation: LTS Semantics for Process Calculi from Their Graphical Encodings (GVM), pp. 403–406.
SOFTVIS-2010-AlbrechtEHK #algorithm #automation #layout #process: An automatic layout algorithm for BPEL processes (BA, PE, MH, MK), pp. 173–182.
CAiSE-2010-AalstPS #mining #process: Beyond Process Mining: From the Past to Present and Future (WMPvdA, MP, MS), pp. 38–52.
CAiSE-2010-LyRD #design #graph #information management #verification: Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems (LTL, SRM, PD), pp. 9–23.
CAiSE-2010-Rittgen #modelling #process: Success Factors of e-Collaboration in Business Process Modeling (PR), pp. 24–37.
CAiSE-2010-WeidlichDM #framework #identification #modelling #process: The ICoP Framework: Identification of Correspondences between Process Models (MW, RMD, JM), pp. 483–498.
CAiSE-2010-WeidlichPDM #behaviour #metric #process: Process Compliance Measurement Based on Behavioural Profiles (MW, AP, ND, JM), pp. 499–514.
EDOC-2010-AtkinsonDG #process #specification: Typed Business Process Specification (CA, DD, VG), pp. 69–78.
EDOC-2010-EshuisN #framework #outsourcing #process #using: A Framework for Service Outsourcing Using Process Views (RE, AN), pp. 99–108.
EDOC-2010-KalsingNIT #approach #incremental #legacy #mining #process: An Incremental Process Mining Approach to Extract Knowledge from Legacy Systems (AK, GSdN, CI, LHT), pp. 79–88.
EDOC-2010-MilanovicG #modelling #process: Modeling Service Choreographies with Rule-Enhanced Business Processes (MM, DG), pp. 194–203.
EDOC-2010-NezhadBGSS #approach #process: 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: Process Viewing Patterns (DS, FL, AS), pp. 89–98.
EDOC-2010-TerresNS #automation #process: Selection of Business Process for Autonomic Automation (LDT, JARN, JMdS), pp. 237–246.
ICEIS-AIDSS-2010-CuzzocreaFP #abstraction #analysis #collaboration #effectiveness #flexibility #mining #process: Effective Analysis of Flexible Collaboration Processes by Way of Abstraction and Mining Techniques (AC, FF, LP), pp. 157–166.
ICEIS-AIDSS-2010-FariaGSMM #automation #natural language #ontology #using: Using Natural Language Processing for Automatic Extraction of Ontology Instances (CGdF, RG, IS, MM, DM), pp. 278–283.
ICEIS-AIDSS-2010-GilS #implementation #performance #process #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 #process: DecisionWave — Embedding Collaborative Decision Making into Business Processes (CK, AM), pp. 232–237.
ICEIS-AIDSS-2010-MianiYSF #algorithm #optimisation #process #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 #process #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 #process #web #web service: Engineering Process for Capacity-driven Web Services (IB, ST, ZM, NBHA, MMY), pp. 84–95.
ICEIS-DISI-2010-BohmHL #clustering #multi #optimisation #queue: Multi-process Optimization Via Horizontal Message Queue Partitioning (MB, DH, WL), pp. 5–14.
ICEIS-DISI-2010-HernandesSF #concept #named #ontology #process: ONTOP — A Process to Support Ontology Conceptualization (EMH, DS, SF), pp. 58–65.
ICEIS-DISI-2010-KalsingTI #algorithm #incremental #mining #process: An Incremental Process Mining Algorithm (AK, LHT, CI), pp. 263–268.
ICEIS-DISI-2010-MoraesZF #algorithm #concept #distributed: A Distributed Algorithm for Formal Concepts Processing based on Search Subspaces (NRMdM, LEZ, HCF), pp. 105–111.
ICEIS-DISI-2010-ObermeierB #ad hoc #constraints #mobile #network #transaction: Constraint Checking for Non-blocking Transaction Processing in Mobile Ad-hoc Networks (SO, SB), pp. 166–175.
ICEIS-DISI-2010-PopovicCJ #process #quality: 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-PreisslerHL #data type #streaming: Process-based Data Streaming in Service-oriented Environments — Application and Technique (SP, DH, WL), pp. 40–49.
ICEIS-DISI-2010-SantosC #information management #process #reasoning #reuse: Organizational Knowledge Management through Software Process Reuse and Case-based Reasoning (VAS, MIC), pp. 223–228.
ICEIS-DISI-2010-SellamiBAF #composition #process: Improving Real World Schema Matching with Decomposition Process (SS, ANB, YA, FF), pp. 151–158.
ICEIS-ISAS-2010-AleixoFSK #approach #modelling #process: A Model-driven Approach to Managing and Customizing Software Process Variabilities (FAA, MAF, WCdS, UK), pp. 92–100.
ICEIS-ISAS-2010-BeestSW #concurrent #process: Assessing the Interference in Concurrent Business Processes (NRTPvB, NBS, JCW), pp. 261–270.
ICEIS-ISAS-2010-CappelliSNBD #estimation #process: An Estimation Procedure to Determine the Effort Required to Model Business Processes (CC, FMS, VTN, MdOB, JRD), pp. 178–184.
ICEIS-ISAS-2010-CuzzocreaLI #information management #modelling: A Process-driven Methodology for Modeling Service-oriented Complex Information Systems (AC, ADL, SI), pp. 390–398.
ICEIS-ISAS-2010-EspindolaA #metamodelling #process: A SPEM based Software Process Improvement Meta-model (RSdE, JLNA), pp. 301–306.
ICEIS-ISAS-2010-FernandesPMP #execution #optimisation #process: Integrating and Optimizing Business Process Execution in P2P Environments (MF, MP, JAM, JSP), pp. 171–177.
ICEIS-ISAS-2010-GoncalvesSB #collaboration #elicitation #process: Collaborative Business Process Elicitation through Group Storytelling (JCdARG, FMS, FAB), pp. 295–300.
ICEIS-ISAS-2010-GradlMWK #enterprise #modelling #network #process #using: Modeling ERP Business Processes using Layered Queueing Networks (SG, MM, HW, HK), pp. 255–260.
ICEIS-ISAS-2010-IizukaIT #analysis #approach #effectiveness #process #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: 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 #process: Managing Data Dependency Constraints through Business Processes (JYCL, SWS), pp. 52–59.
ICEIS-ISAS-2010-MacielSM #approach #modelling #process: Applying and Evaluating an MDA Process Modeling Approach (RSPM, BCdS, APFM), pp. 185–190.
ICEIS-ISAS-2010-MoralesTP #composition #process #verification: Compositional Verification of Business Processes Modelled with BPMN (LEMM, MICT, MAP), pp. 113–122.
ICEIS-ISAS-2010-NunesWS #process: Context-based Process Line (VTN, CW, FMS), pp. 277–282.
ICEIS-ISAS-2010-SeemuellerVHB #approach #development #process: 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 #process: Socialization of Work Practice through Business Process Analysis (MAS, SWS), pp. 165–170.
ICEIS-ISAS-2010-SharonSBBV #development #framework #process: 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 #process #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: Process Mining for Job Nets in Integrated Enterprise Systems (SK, YM, MA, SM), pp. 299–310.
ICEIS-J-2010-LinPMDL #framework #information management: A Framework to Assist Environmental Information Processing (YL, CP, IM, JCD, TL), pp. 76–89.
ICEIS-J-2010-LinS10a #approach #constraints #dependence #process: A Business Process Driven Approach to Manage Data Dependency Constraints (JYCL, SWS), pp. 326–339.
ICEIS-J-2010-MoralesTP10a #composition #formal method #process #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 #process #streaming #xml: An XML-Based Streaming Concept for Business Process Execution (SP, DH, WL), pp. 60–75.
CIKM-2010-ChenLZY #energy #network #query: Energy-efficient top-k query processing in wireless sensor networks (BC, WL, RZ, JXY), pp. 329–338.
CIKM-2010-CumminsLO #induction #information retrieval #perspective #process: Examining the information retrieval process from an inductive perspective (RC, ML, CO), pp. 89–98.
CIKM-2010-HaghaniMA #personalisation #web: The gist of everything new: personalized top-k processing over web 2.0 streams (PH, SM, KA), pp. 489–498.
CIKM-2010-JinHCLDL #image #online #visual notation: Visual cube and on-line analytical processing of images (XJ, JH, LC, JL, BD, CXL), pp. 849–858.
CIKM-2010-KhalefaML #nondeterminism #query: Skyline query processing for uncertain data (MEK, MFM, JJL), pp. 1293–1296.
CIKM-2010-KimKLB #interpreter #performance #semantics: Efficient wikipedia-based semantic interpreter by exploiting top-k processing (JWK, AK, DL, SB), pp. 1813–1816.
CIKM-2010-KobdaniSBKH #natural language #re-engineering #relational: Relational feature engineering of natural language processing (HK, HS, AB, WK, GH), pp. 1705–1708.
CIKM-2010-MwebazeMBV #framework #towards: Towards a provenance framework for sub-image processing for astronomical data (JM, JM, DB, EV), pp. 1277–1280.
CIKM-2010-TomazelaHCC #integration #named #process: Print: a provenance model to support integration processes (BT, CSH, RRC, CDdAC), pp. 1349–1352.
ECIR-2010-Lapata #image #information retrieval #multi #natural language: Image and Natural Language Processing for Multimedia Information Retrieval (ML), p. 12.
ICML-2010-BardenetK #algorithm #optimisation: Surrogating the surrogate: accelerating Gaussian-process-based global optimization with a mixture cross-entropy algorithm (RB, BK), pp. 55–62.
ICML-2010-BartlettPW #constant #memory management #process: Forgetting Counts: Constant Memory Inference for a Dependent Hierarchical Pitman-Yor Process (NB, DP, FW), pp. 63–70.
ICML-2010-BleiF #distance #process: Distance dependent Chinese restaurant processes (DMB, PIF), pp. 87–94.
ICML-2010-CaniniSG #categorisation #learning #modelling #process: Modeling Transfer Learning in Human Categorization with the Hierarchical Dirichlet Process (KRC, MMS, TLG), pp. 151–158.
ICML-2010-KimT10a #learning #multi #process: Gaussian Processes Multiple Instance Learning (MK, FDlT), pp. 535–542.
ICML-2010-PaisleyZWGC #process: A Stick-Breaking Construction of the Beta Process (JWP, AKZ, CWW, GSG, LC), pp. 847–854.
ICML-2010-PetrikTPZ #approximate #feature model #linear #markov #process #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 #process: Clustering processes (DR), pp. 919–926.
ICML-2010-SaatciTR #modelling #process: Gaussian Process Change Point Models (YS, RDT, CER), pp. 927–934.
ICML-2010-SrinivasKKS #design #optimisation #process: 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 #process: The Translation-invariant Wishart-Dirichlet Process for Clustering Distance Data (JEV, SP, TJF, VR), pp. 1111–1118.
ICML-2010-WilliamsonWHB #modelling #process #topic: The IBP Compound Dirichlet Process and its Application to Focused Topic Modeling (SW, CW, KAH, DMB), pp. 1151–1158.
ICML-2010-YanQ #process: Sparse Gaussian Process Regression via L1 Penalization (FY, Y(Q), pp. 1183–1190.
ICPR-2010-AsheriRPR #adaptation #fault #framework #kernel #process: A Gaussian Process Regression Framework for Spatial Error Concealment with Adaptive Kernels (HA, HRR, NP, MHR), pp. 4541–4544.
ICPR-2010-BaradaraniMW #design #image #on the: On the Design of a Class of Odd-Length Biorthogonal Wavelet Filter Banks for Signal and Image Processing (AB, PM, QMJW), pp. 2282–2285.
ICPR-2010-BenedekDZ #detection #image #process: Building Detection in a Single Remotely Sensed Image with a Point Process of Rectangles (CB, XD, JZ), pp. 1417–1420.
ICPR-2010-ChengQHJT #estimation #process #recognition: Group Activity Recognition by Gaussian Processes Estimation (ZC, LQ, QH, SJ, QT), pp. 3228–3231.
ICPR-2010-ChevionNR #approach #image: Image Processing Based Approach for Retrieving Data from a Seismic Section in Bitmap Format (DC, YN, DR), pp. 4444–4447.
ICPR-2010-JunG #classification #process: Nearest-Manifold Classification with Gaussian Processes (GJ, JG), pp. 914–917.
ICPR-2010-LlobetCPA #finite #transducer #using: OCR Post-processing Using Weighted Finite-State Transducers (RL, JRCN, JCPC, JA), pp. 2021–2024.
ICPR-2010-Perez-CarrascoSASL #network #realtime: Spike-Based Convolutional Network for Real-Time Processing (JAPC, CS, BA, TSG, BLB), pp. 3085–3088.
ICPR-2010-PerretLCS #component #image #multi: Connected Component Trees for Multivariate Image Processing and Applications in Astronomy (BP, SL, CC, ÉS), pp. 4089–4092.
ICPR-2010-PetersenK #analysis #estimation #modelling #process #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-ShimosakaINSM #detection #process: Detecting Human Activity Profiles with Dirichlet Enhanced Inhomogeneous Poisson Processes (MS, TI, HN, TS, TM), pp. 4384–4387.
ICPR-2010-StadelmannWSEF #algorithm #design #development #speech: Rethinking Algorithm Design and Development in Speech Processing (TS, YW, MS, RE, BF), pp. 4476–4479.
ICPR-2010-SuS #predict #process: Latent Fingerprint Core Point Prediction Based on Gaussian Processes (CS, SNS), pp. 1634–1637.
ICPR-2010-UlkerGC #modelling #process: Annealed SMC Samplers for Dirichlet Process Mixture Models (YÜ, BG, ATC), pp. 2808–2811.
ICPR-2010-WangJMS #process #using: Decoding Finger Flexion from Electrocorticographic Signals Using a Sparse Gaussian Process (ZW, QJ, KJM, GS), pp. 3756–3759.
ICPR-2010-WangM #learning #order #process #using: Gaussian Process Learning from Order Relationships Using Expectation Propagation (RW, SJM), pp. 605–608.
ICPR-2010-XuHL10a #how #image #recognition #robust: Raw vs. Processed: How to Use the Raw and Processed Images for Robust Face Recognition under Varying Illumination (LX, LH, CL), pp. 2692–2695.
KDD-2010-KumarGM #data mining #fault #health #mining #predict: Data mining to predict and prevent errors in health insurance claims processing (MK, RG, ZSM), pp. 65–74.
KDD-2010-SatoN #modelling #process #topic #using: Topic models with power-law using Pitman-Yor process (IS, HN), pp. 673–682.
KDD-2010-YuHW #clustering #documentation #feature model #process: Document clustering via dirichlet process mixture model with feature selection (GY, RzH, ZW), pp. 763–772.
KDD-2010-ZhangSZL #corpus #correlation #multi #process: Evolutionary hierarchical dirichlet processes for multiple correlated time-varying corpora (JZ, YS, CZ, SL), pp. 1079–1088.
KDIR-2010-JedrzejczakW #generative #query #using: Integrated Candidate Generation in Processing Batches of Frequent Itemset Queries using Apriori (PJ, MW), pp. 487–490.
KDIR-2010-JunGRO #image #predict #process: Predicting Ground-based Aerosol Optical Depth with Satellite Images Via Gaussian Processes (GJ, JG, VR, ZO), pp. 370–375.
KDIR-2010-MautnerM #categorisation #comparison #documentation #network: Comparison of Neural Networks used for Processing and Categorization of Czech Written Documents (PM, RM), pp. 510–513.
KDIR-2010-SharmaV #enterprise #query #wiki: Query Processing for Enterprise Search with Wikipedia Link Structure (NS, VV), pp. 243–248.
KDIR-2010-Studer #lightweight #modelling #process #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 #process: Key Management Process on the Hardware Cryptographic Module in the Cloud Computing (JMDB, LJA, PGG), pp. 493–496.
KEOD-2010-HughesWC #development #modelling #ontology #process: Ontological Modelling to Support the Planning of is Development Processes — A Position Paper (RTH, GW, KC), pp. 319–324.
KEOD-2010-NeumaierS #framework #representation: A Framework for Representing and Processing Arbitrary Mathematics (AN, PS), pp. 476–479.
KMIS-2010-BornerL #enterprise #using: Using Role-plays to Acquire Process-oriented Knowledge in Enterprises (RB, ML), pp. 149–156.
KMIS-2010-ButanOSCP #information management #process: A New Knowledge Management Tool to Facilitate Process Innovation in Manufacturing Companies (DB, EO, MS, SC, MP), pp. 342–347.
KMIS-2010-ChakrabortyZ #approach #process #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-DienstAHF #knowledge base #visual notation: Applying Fusion Techniques to Graphical Methods for Knowledge based Processing of Product use Information (SD, FA, AH, MF), pp. 136–142.
KMIS-2010-DjordjevicGF #enterprise #semantics #wiki: Process-centric Enterprise Workspace based on Semantic Wiki (DD, RG, DF), pp. 224–233.
KMIS-2010-EtoMKM #evaluation #process: 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 #process: An Integrated Approach in Developing Knowledge Management Process Capabilities (MK, KNS), pp. 121–128.
KMIS-2010-RiosRR #modelling #process #project management: Modeling Knowledge Flows in Software Project Management Processes (BLFR, SLGR, OMRE), pp. 213–217.
KMIS-2010-ScheibmayerIB #analysis #approach #framework #process: 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 #process #semantics #towards: Towards a Process of Building Semantic Multimodal Dialogue Demonstrators (DS, NR), pp. 322–331.
KMIS-2010-XuB #design #information management #integration #process: Integration of Knowledge Management in Product Design Process (YX, AB), pp. 338–341.
SEKE-2010-AlvesCL #agile #estimation #integration #process: Scrum and Plan-driven Process Integration and its Impact on Effort Estimation (NA, WC, ELJ), pp. 710–715.
SEKE-2010-ChangK #architecture #modelling #process: A Model-based Business Process Diagnosis Method in Service Oriented Architecture (SHC, SDK), pp. 458–461.
SEKE-2010-MadieshW #process #top-down: A Top-Down Method for Secure SOA-based B2B Processes (MM, GW), pp. 698–703.
SEKE-2010-MauczkaBG #case study #classification #metric #process: Analyzing the Relationship of Process Metrics And Classified Changes — A Pilot Study (AM, MB, TG), pp. 269–272.
SEKE-2010-PeixotoBRP #case study #implementation #process: A Case Study of Software Process Improvement Implementation (DCCP, VAB, RFR, CIPSP), pp. 716–721.
SEKE-2010-Rodriguez-SoriaCMM #bibliography #estimation #modelling #parametricity #process: 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 #process #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-Spector #logic: Prodigious Data, Logic, Processing, and Usage (AZS), p. 1.
SEKE-2010-TrujilloPP #process: Supporting Software Process Improvement in Very Small Entities through a Template-based Guide (MMT, GEI, FJP, MP), pp. 704–709.
SEKE-2010-WangHGJ #process #reuse #weaving: Software Process Reuse by Pattern Weaving (YsW, XyH, JgG, JrJ), pp. 722–725.
SEKE-2010-WangHW #analysis #petri net #process: A Hierarchical Timed Coloured Petri Nets for BPMN-based Process Analysis (CHW, PSH, FJW), pp. 417–420.
SEKE-2010-WangPACC #analysis #automation #process: 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 #process: Architecture-centric development and evolution processes for component-based software (H(Z, CU, SV), pp. 680–685.
SIGIR-2010-AggarwalZ #modelling #paradigm #representation #visual notation: Graphical models for text: a new paradigm for text representation and processing (CCA, PZ), pp. 899–900.
SIGIR-2010-HustonC #query: Evaluating verbose query processing techniques (SH, WBC), pp. 291–298.
ECMFA-2010-CharfiMM #aspect-oriented #modelling #process: Aspect-Oriented Business Process Modeling with AO4BPMN (AC, HM, MM), pp. 48–61.
ECMFA-2010-KusterGE #modelling #process: Dynamic Computation of Change Operations in Version Management of Business Process Models (JMK, CG, GE), pp. 201–216.
ICMT-2010-Perez-CastilloGP #implementation #process #qvt: Implementing Business Process Recovery Patterns through QVT Transformations (RPC, IGRdG, MP), pp. 168–183.
MoDELS-v2-2010-GerthKLE #detection #precise #process #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 #process: Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program (PVG, RE), pp. 258–272.
MoDELS-v2-2010-JohannesA #composition #development #modelling #process: Concern-Based (de)composition of Model-Driven Software Development Processes (JJ, UA), pp. 47–62.
MoDELS-v2-2010-RicheVB #parallel: Transformation-Based Parallelization of Request-Processing Applications (TLR, HMV, DSB), pp. 2–16.
MoDELS-v2-2010-SilvaBBG #detection #modelling #process: Early Deviation Detection in Modeling Activities of MDE Processes (MAAdS, RB, XB, MPG), pp. 303–317.
MoDELS-v2-2010-SilvaMBRB #empirical #process: Artifact or Process Guidance, an Empirical Study (MAAdS, AM, RB, JR, XB), pp. 318–330.
LOPSTR-2010-LlorensOST #csp #generative #graph #process: Graph Generation to Statically Represent CSP Processes (ML, JO, JS, ST), pp. 52–66.
PPDP-2010-DemeyerALV #declarative #flexibility #process #workflow: Declarative workflows to efficiently manage flexible and advanced business processes (RD, MVA, LL, WV), pp. 209–218.
QAPL-2010-GeorgievskaA #probability #process #testing: Testing Reactive Probabilistic Processes (SG, SA), pp. 99–113.
REFSQ-2010-OmoronyiaSSBMS #elicitation #ontology #process #requirements: A Domain Ontology Building Process for Guiding Requirements Elicitation (IO, GS, TS, SB, TM, WDS), pp. 188–202.
SAC-2010-AraujoSCA #process #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 #process: Measuring the alignment between business processes and software systems: a case study (LA, CG, MT), pp. 2330–2336.
SAC-2010-BernalFMD #approach #identification #process #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 #process: A method for business process decomposition based on the separation of concerns principle (AC, ARS, JMT), pp. 79–85.
SAC-2010-CorreiaVL #process: Asynchronous Byzantine consensus with 2f+1 processes (MC, GSV, LCL), pp. 475–480.
SAC-2010-DomanPD #fuzzy #network #query: Leveraging fuzzy query processing to support applications in wireless sensor networks (MD, JP, TD), pp. 764–771.
SAC-2010-FacchinettiF #architecture #clustering #manycore #realtime: Resource partitioning for real-time processing on a multicore architecture (TF, MF), pp. 359–360.
SAC-2010-IbanezVEB #process #semantics: Semantically enabled business process discovery (MJI, GV, JE, SB), pp. 1396–1403.
SAC-2010-JungCCL #on the #query: On processing location based top-k queries in the wireless broadcasting system (HJ, BKC, YDC, LL), pp. 585–591.
SAC-2010-KangZKB #process #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 #process #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-LuSPFZ #constraints #database #implementation #relational: Constraint processing in relational database systems: from theory to implementation (JJL, SS, OP, GHLF, HZ), pp. 2066–2070.
SAC-2010-Perez-CastilloGP #on the #process: On the use of patterns to recover business processes (RPC, IGRdG, MP), pp. 165–166.
SAC-2010-Rittgen #modelling #process #quality: Quality and perceived usefulness of process models (PR), pp. 65–72.
SAC-2010-RoyM #verification #visual notation: Visual processing-inspired fern-audio features for noise-robust speaker verification (AR, SM), pp. 1491–1495.
SAC-2010-SulaymanM #process #web: Quantitative assessments of key success factors in software process improvement for small and medium web companies (MS, EM), pp. 2319–2323.
SAC-2010-TraulsenH #data flow #parallel: Reactive parallel processing for synchronous dataflow (CT, RvH), pp. 483–490.
SAC-2010-WetzsteinKKLZ #monitoring #process: Cross-organizational process monitoring based on service choreographies (BW, DK, OK, FL, DZ), pp. 2485–2490.
SAC-2010-ZaplataL #as a service #mobile #process #towards: Towards mobile process as a service (SZ, WL), pp. 372–379.
ICSE-2010-BoehmL #incremental #process: New processes for new horizons: the incremental commitment model (BWB, JAL), pp. 501–502.
ICSE-2010-Magdaleno #collaboration #development #process: Balancing collaboration and discipline in software development processes (AMM), pp. 331–332.
SPLC-2010-BagheriAGS #process: Stratified Analytic Hierarchy Process: Prioritization and Selection of Software Features (EB, MA, DG, SS), pp. 300–315.
HPDC-2010-JardakROM #network #parallel #scalability: Parallel processing of data from very large-scale wireless sensor networks (CJ, JR, FO, PM), pp. 787–794.
HPDC-2010-McConnellPH #performance #reliability #replication: Detouring and replication for fast and reliable internet-scale stream processing (CM, FP, JHH), pp. 737–745.
HPDC-2010-TurcuFN #performance: Reshaping text data for efficient processing on Amazon EC2 (GT, ITF, SN), pp. 435–444.
LCTES-2010-ViskicLG #automation #design #framework #generative #network #process: Design exploration and automatic generation of MPSoC platform TLMs from Kahn Process Network applications (IV, LY, DG), pp. 77–84.
OSDI-2010-BerganHCG #process: Deterministic Process Groups in dOS (TB, NH, LC, SDG), pp. 177–191.
OSDI-2010-PengD #distributed #incremental #scalability #transaction #using: Large-scale Incremental Processing Using Distributed Transactions and Notifications (DP, FD), pp. 251–264.
ICLP-2010-Lopez10 #modelling #process: Models for Trustworthy Service and Process Oriented Systems (HAL), pp. 270–276.
ICST-2010-Kasurinen #process #testing: Elaborating Software Test Processes and Strategies (JK), pp. 355–358.
ICST-2010-Laurent #concept #formal method #process #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 #process #testing: A study on agility and testing processes in software organizations (VK, JK, OT, KS), pp. 231–240.
LICS-2010-BartolettiZ #calculus #process: A Calculus of Contracting Processes (MB, RZ), pp. 332–341.
TAP-2010-BousquetL #analysis #evaluation #mutation testing #process #proving: Proof Process Evaluation with Mutation Analysis (LdB, ML), pp. 55–60.
VMCAI-2010-Esparza #analysis #probability #process: Analysis of Systems with Stochastic Process Creation (JE), p. 1.
CBSE-2009-KouroshfarSR #component #development #process: Process Patterns for Component-Based Software Development (EK, HYS, RR), pp. 54–68.
QoSA-2009-ChanP #architecture #behaviour #composition #predict #process: Compositional Prediction of Timed Behaviour for Process Control Architecture (KC, IP), pp. 86–100.
WICSA-ECSA-2009-BontaB #algebra #architecture #code generation #java #named #process: PADL2Java: A Java code generator for process algebraic architectural descriptions (EB, MB), pp. 161–170.
WICSA-ECSA-2009-XuZSL #architecture #distributed: An architecting method for distributed process-intensive systems (XX, LZ, MS, YL), pp. 277–280.
CASE-2009-HariharanB #markov #process #using: Misplaced item search in a warehouse using an RFID-based Partially Observable Markov Decision Process (POMDP) model (SH, STSB), pp. 443–448.
CASE-2009-LiQW #parallel #scheduling: ACO-based scheduling of parallel batch processing machines to minimize the total weighted tardiness (LL, FQ, QW), pp. 280–285.
CASE-2009-Morrison #clustering #modelling #process #tool support: Regular flow line models for semiconductor cluster tools: A case of lot dependent process times (JRM), pp. 561–566.
CASE-2009-VoronovA #model checking #process #using #verification: Verification of process operations using model checking (AV, KÅ), pp. 415–420.
DAC-2009-ChangMR #architecture #hybrid #process #video: A voltage-scalable & process variation resilient hybrid SRAM architecture for MPEG-4 video processors (IJC, DM, KR), pp. 670–675.
DAC-2009-DrmanacLW #predict #process #variability: Predicting variability in nanoscale lithography processes (DGD, FL, LCW), pp. 545–550.
DAC-2009-GongYH #incremental #named #parallel #probability #process: PiCAP: a parallel and incremental capacitance extraction considering stochastic process variation (FG, HY, LH), pp. 764–769.
DAC-2009-HuangOSC #programmable: Programmable neural processing on a smartdust (SH, JO, YS, ACC), pp. 619–620.
DAC-2009-LevitanC #parallel: Massively parallel processing: it’s déjà vu all over again (SPL, DMC), pp. 534–538.
DAC-2009-LinB #analysis #process: Analysis and mitigation of process variation impacts on Power-Attack Tolerance (LL, WPB), pp. 238–243.
DAC-2009-LuSZZYZ #analysis #process #reliability #statistics: Statistical reliability analysis under process variation and aging effects (YL, LS, HZ, HZ, FY, XZ), pp. 514–519.
DAC-2009-OnaissiHN #optimisation #process: Clock skew optimization via wiresizing for timing sign-off covering all process corners (SO, KRH, FNN), pp. 196–201.
DAC-2009-PanKOMC #process: Selective wordline voltage boosting for caches to manage yield under process variations (YP, JK, SO, GM, SWC), pp. 57–62.
DAC-2009-Whipp #architecture #process #verification: Exploiting “architecture for verification” to streamline the verification process (DW), pp. 212–215.
DAC-2009-XiongSZV #multi #process #statistics: Statistical multilayer process space coverage for at-speed test (JX, YS, VZ, CV), pp. 340–345.
DAC-2009-YeLCC #analysis #layout #process #variability: Variability analysis under layout pattern-dependent rapid-thermal annealing process (YY, FL, MC, YC), pp. 551–556.
DAC-2009-ZhangBDSJ #multi #process: Process variation characterization of chip-level multiprocessors (LZ, LSB, RPD, LS, RJ), pp. 694–697.
DATE-2009-AnsaloniBP #architecture #embedded: Heterogeneous coarse-grained processing elements: A template architecture for embedded processing acceleration (GA, PB, LP), pp. 542–547.
DATE-2009-BachmannGHBS #power management: A low-power ASIP for IEEE 802.15.4a ultra-wideband impulse radio baseband processing (CB, AG, JH, MB, CS), pp. 1614–1619.
DATE-2009-ChenKLA: Accelerating FPGA-based emulation of quasi-cyclic LDPC codes with vector processing (XC, JK, SL, VA), pp. 1530–1535.
DATE-2009-GargM #3d #analysis #process #variability: System-level process variability analysis and mitigation for 3D MPSoCs (SG, DM), pp. 604–609.
DATE-2009-GhasemzadehJSJ #communication #network: Communication minimization for in-network processing in body sensor networks: A buffer assignment technique (HG, NJ, MS, RJ), pp. 358–363.
DATE-2009-HaastregtK #automation #c #hardware #network #process #streaming #synthesis: Automated synthesis of streaming C applications to process networks in hardware (SvH, BK), pp. 890–893.
DATE-2009-HongNKO #concurrent #multi #process #thread: Process variation aware thread mapping for Chip Multiprocessors (SH, SHKN, MTK, ÖÖ), pp. 821–826.
DATE-2009-KeinertDHHT #algorithm #image #modelling #multi #optimisation #synthesis: Model-based synthesis and optimization of static multi-rate image processing algorithms (JK, HD, FH, CH, JT), pp. 135–140.
DATE-2009-MendlerHT #algebra #interface: WCRT algebra and interfaces for esterel-style synchronous processing (MM, RvH, CT), pp. 93–98.
DATE-2009-NagarajK #case study #process: A study on placement of post silicon clock tuning buffers for mitigating impact of process variation (KN, SK), pp. 292–295.
DATE-2009-NovoLBPC #finite #precise: Finite precision processing in wireless applications (DN, ML, BB, LVdP, FC), pp. 1230–1233.
DATE-2009-OetjensGGN #automation #hardware #process: An automated flow for integrating hardware IP into the automotive systems engineering process (JHO, RG, JG, WN), pp. 1196–1201.
DATE-2009-RedaN #metric #modelling #novel #parametricity #process: Analyzing the impact of process variations on parametric measurements: Novel models and applications (SR, SRN), pp. 375–380.
DATE-2009-SasanHEK #process #scalability: Process Variation Aware SRAM/Cache for aggressive voltage-frequency scaling (AS, HH, AME, FJK), pp. 911–916.
DocEng-2009-JoshiL #analysis #documentation #image #natural language #using #web: Web document text and images extraction using DOM analysis and natural language processing (PMJ, SL), pp. 218–221.
HT-2009-AlfordM #process #research: Scholarly research process: investigating the effects of link type and directionality (MLA, EM), pp. 99–108.
HT-2009-YahiaouiPB #documentation #framework #process: The redocumentation process of computer mediated activity traces: a general framework (LY, YP, ZB), pp. 363–364.
ICDAR-2009-ChaudhuryJTSSM #analysis #image #pipes and filters: Google Newspaper Search — Image Processing and Analysis Pipeline (KC, AJ, ST, VS, SS, SM), pp. 621–625.
ICDAR-2009-ChouaibVCT #documentation #feature model: Generic Feature Selection and Document Processing (HC, NV, FC, ST), pp. 356–360.
ICDAR-2009-DriraLE #documentation #image #process #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-GrosickiCBG #evaluation: Results of the RIMES Evaluation Campaign for Handwritten Mail Processing (EG, MC, JMB, EG), pp. 941–945.
ICDAR-2009-ImpedovoMFS #process #roadmap: New Trends in Digital Scanning Processes (SI, RM, AF, ES), pp. 1071–1075.
ICDAR-2009-Likforman-SulemDS #documentation #preprocessor: Pre-Processing of Degraded Printed Documents by Non-local Means and Total Variation (LLS, JD, EHBS), pp. 758–762.
ICDAR-2009-NavonBO #approach #scalability: A Generic Form Processing Approach for Large Variant Templates (YN, EB, BO), pp. 311–315.
ICDAR-2009-SharmaL #bound: Form Field Frame Boundary Removal for Form Processing System in Gurmukhi Script (DVS, GSL), pp. 256–260.
ICDAR-2009-SharmaLM: Shape Encoded Post Processing of Gurmukhi OCR (DVS, GSL, SM), pp. 788–792.
ICDAR-2009-SundaramR #online #recognition #using: An Improved Online Tamil Character Recognition Engine Using Post-Processing Methods (SS, AGR), pp. 1216–1220.
SIGMOD-2009-KimC #documentation #named #performance #query #retrieval: Skip-and-prune: cosine-based top-k query processing for efficient context-sensitive document retrieval (JWK, KSC), pp. 115–126.
SIGMOD-2009-NeumannW #graph #rdf #scalability: Scalable join processing on very large RDF graphs (TN, GW), pp. 627–640.
SIGMOD-2009-TsirogiannisHSWG #query: Query processing techniques for solid state drives (DT, SH, MAS, JLW, GG), pp. 59–72.
SIGMOD-2009-WeiLLGRC: Supporting a spectrum of out-of-order event processing technologies: from aggressive to conservative methodologies (MW, ML, ML, DG, EAR, KTC), pp. 1031–1034.
SIGMOD-2009-YangPPK #authentication #database #outsourcing: Authenticated join processing in outsourced databases (YY, DP, SP, PK), pp. 5–18.
VLDB-2009-AhmadK #compilation #database #in memory #named #sql: DBToaster: A SQL Compiler for High-Performance Delta Processing in Main-Memory Databases (YA, CK), pp. 1566–1569.
VLDB-2009-MuellerTA: Data Processing on FPGAs (RM, JT, GA), pp. 910–921.
VLDB-2009-NehmeWRB #multi #query: Query Mesh: Multi-Route Query Processing Technology (RVN, KW, EAR, EB), pp. 1530–1533.
VLDB-2009-WillhalmPBPZS #in memory #named #performance #using: SIMD-Scan: Ultra Fast in-Memory Table Scan using on-Chip Vector Processing Units (TW, NP, YB, HP, AZ, JS), pp. 385–394.
VLDB-2009-ZhangACIMPS #query #xml: Binary XML Storage and Query Processing in Oracle 11g (NZ, NA, SC, SI, VM, SP, BS), pp. 1354–1365.
CSEET-2009-TaranRMB #collaboration #design #feedback #implementation #process #source code: A Training Process for Faculty Members in Collaborative Degree Programs: Design, Implementation and Feedback (GT, MZR, PM, PB), pp. 122–129.
ITiCSE-2009-Boisvert #process #programming #visualisation: A visualisation tool for the programming process (CB), pp. 328–332.
ITiCSE-2009-KiesmullerB #algorithm #automation #identification #problem: Automatically identifying learners’ problem solving strategies in-process solving algorithmic problems (UK, TB), p. 354.
ITiCSE-2009-Porcheron #education #process: The bologna process in European education (PP), p. 3.
ESOP-2009-BuscemiM #distributed #process: Abstract Processes in Orchestration Languages (MGB, HCM), pp. 301–315.
FoSSaCS-2009-NeuhausserSK #markov #nondeterminism #process: Delayed Nondeterminism in Continuous-Time Markov Decision Processes (MRN, MS, JPK), pp. 364–379.
CSMR-2009-AversanoT #empirical #maintenance: Business Process-Aware Maintenance Task: A Preliminary Empirical Study (LA, MT), pp. 233–236.
CSMR-2009-Chikofsky #architecture #process #using: Using the ACART Process for Architecture Compliance (EJC), pp. 313–314.
CSMR-2009-FrancescomarinoMT #process #reverse engineering #web: Reverse Engineering of Business Processes exposed as Web Applications (CDF, AM, PT), pp. 139–148.
ICPC-2009-KarumuriR #automation #detection: Automatic detection of internal queues and stages in message processing systems (SK, SPR), pp. 315–316.
ICSM-2009-BettenburgSH #empirical #off the shelf #risk management #using: An empirical study on the risks of using off-the-shelf techniques for processing mailing list data (NB, ES, AEH), pp. 539–542.
ICSM-2009-CaiYW #approach #empirical #maintenance #process: Business process recovery for system maintenance — An empirical approach (ZC, XY, XW), pp. 399–402.
MSR-2009-SchackmannL #gnome #process #quality: Evaluating process quality in GNOME based on change request data (HS, HL), pp. 95–98.
SCAM-2009-LangeM #communication #csp #named #process