BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (746)
softwar (513)
system (478)
busi (477)
base (470)

Stem process$ (all stems)

4358 papers:

CBSECBSE-2015-PlateniusSA #framework #named #process
MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (MCP, WS, SA), pp. 75–84.
CASECASE-2015-AlhwarinFGKST #image
Improving additive manufacturing by image processing and robotic milling (FA, AF, AG, SK, IS, OT), pp. 924–929.
CASECASE-2015-BoH #clustering #fault #process
Qualitative trend clustering of process data for fault diagnosis (ZB, YH), pp. 1584–1588.
CASECASE-2015-ChenY #monitoring #process
Heterogeneous recurrence T2 charts for monitoring and control of nonlinear dynamic processes (YC, HY), pp. 1066–1071.
CASECASE-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.
CASECASE-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.
CASECASE-2015-ForsmanR #process
Chemical process control practice — Some examples and observations (KF, JR), pp. 892–893.
CASECASE-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.
CASECASE-2015-LiuZ #adaptation #human-computer #modelling #predict #process
Adaptive predictive ANFIS based human arm movement modeling and control in machine-human cooperative GTAW process (YL, YZ), pp. 1465–1470.
CASECASE-2015-MicioFMBL #automation #mining #process #towards
RTLS-based Process Mining: Towards an automatic process diagnosis in healthcare (RM, FF, GM, PB, ML), pp. 1397–1402.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-2015-ReisgenLMBW #modelling #process #quality
Process control of gas metal arc welding processes by optical weld pool observation with combined quality models (UR, PL, SM, GB, KW), pp. 407–410.
CASECASE-2015-ShiLGS #problem
Production planning for a class of batch processing problem (ZS, PL, HG, LS), pp. 1188–1193.
CASECASE-2015-SongLBKNSSC #cyber-physical #industrial #integration #modelling #process
Model-based cyber-physical system integration in the process industry (ZS, PL, RB, WK, SN, SS, LS, AC), pp. 1012–1017.
CASECASE-2015-SterlingSZC #algorithm #optimisation #parametricity #process
Welding parameter optimization based on Gaussian process regression Bayesian optimization algorithm (DS, TS, YZ, HC), pp. 1490–1496.
CASECASE-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.
CASECASE-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.
DACDAC-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.
DATEDATE-2015-0001CY #approach #optimisation #process #robust
A robust approach for process variation aware mask optimization (JK, WKC, EFYY), pp. 1591–1594.
DATEDATE-2015-MotamanGR #adaptation #robust
Impact of process-variations in STTRAM and adaptive boosting for robustness (SM, SG, NR), pp. 1431–1436.
DATEDATE-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.
DATEDATE-2015-ParkTNII #performance
Platform-aware dynamic configuration support for efficient text processing on heterogeneous system (MSP, OT, VN, MJI, RI), pp. 1503–1508.
DATEDATE-2015-ShonikerCHP #design #process #simulation #verification
Minimizing the number of process corner simulations during design verification (MS, BFC, JH, WP), pp. 289–292.
DATEDATE-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.
DRRDRR-2015-FengPL #process #recognition
Gaussian process style transfer mapping for historical Chinese character recognition (JF, LP, FL).
SIGMODSIGMOD-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.
SIGMODSIGMOD-2015-BabarinsaI #database #named
JAFAR: Near-Data Processing for Databases (OOB, SI), pp. 2069–2070.
SIGMODSIGMOD-2015-BarthelsLAK #in memory #using
Rack-Scale In-Memory Join Processing using RDMA (CB, SL, GA, DK), pp. 1463–1475.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2015-Camacho-Rodriguez #named #parallel #xml
PAXQuery: Parallel Analytical XML Processing (JCR, DC, IM, JAMN), pp. 1117–1122.
SIGMODSIGMOD-2015-DeshpandeRDA #approach #named
ShareInsights: An Unified Approach to Full-stack Data Processing (MD, DR, SD, AA), pp. 1925–1940.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2015-HangKD #data access #named #query
ENKI: Access Control for Encrypted Query Processing (IH, FK, ED), pp. 183–196.
SIGMODSIGMOD-2015-KatsipoulakisTG #data type #named
CE-Storm: Confidential Elastic Processing of Data Streams (NRK, CT, EAG, AL, AJL, PKC), pp. 859–864.
SIGMODSIGMOD-2015-KulkarniBFKKMPR #scalability #twitter
Twitter Heron: Stream Processing at Scale (SK, NB, MF, VK, CK, SM, JMP, KR, ST), pp. 239–250.
SIGMODSIGMOD-2015-LinOWY #distributed #scalability
Scalable Distributed Stream Join Processing (QL, BCO, ZW, CY), pp. 811–825.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2015-SahaSSVMC #framework #modelling
Apache Tez: A Unifying Framework for Modeling and Building Data Processing Applications (BS, HS, SS, GV, ACM, CC), pp. 1357–1369.
SIGMODSIGMOD-2015-SalamaBKZ #cost analysis #fault tolerance #parallel
Cost-based Fault-tolerance for Parallel Data Processing (AS, CB, TK, EZ), pp. 285–297.
SIGMODSIGMOD-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.
VLDBVLDB-2015-AkidauBCCFLMMPS #approach #bound #correctness #data flow #latency
The Dataflow Model: A Practical Approach to Balancing Correctness, Latency, and Cost in Massive-Scale, Unbounded, Out-of-Order Data Processing (TA, RB, CC, SC, RFM, RL, SM, DM, FP, ES, SW), pp. 1792–1803.
VLDBVLDB-2015-ChingEKLM #graph
One Trillion Edges: Graph Processing at Facebook-Scale (AC, SE, MK, DL, SM), pp. 1804–1815.
VLDBVLDB-2015-HaasAGM #crowdsourcing #named
Argonaut: Macrotask Crowdsourcing for Complex Data Processing (DH, JA, LG, AM), pp. 1642–1653.
VLDBVLDB-2015-HanD #execution #graph #parallel
Giraph Unchained: Barrierless Asynchronous Parallel Execution in Pregel-like Graph Processing Systems (MH, KD), pp. 950–961.
VLDBVLDB-2015-HeWKCLYL #named #query
SDB: A Secure Query Processing System with Data Interoperability (ZH, WKW, BK, DWLC, RL, SMY, EL), pp. 1876–1887.
VLDBVLDB-2015-KatsarouNT #performance #query #scalability
Performance and Scalability of Indexed Subgraph Query Processing Methods (FK, NN, PT), pp. 1566–1577.
VLDBVLDB-2015-KimSHHC #morphism #query #rdf
Taming Subgraph Isomorphism for RDF Query Processing (JK, HS, WSH, SH, HC), pp. 1238–1249.
VLDBVLDB-2015-LarsonBHHNP #realtime #sql
Real-Time Analytical Processing with SQL Server (PÅL, AB, ENH, WH, MN, VP), pp. 1740–1751.
VLDBVLDB-2015-LeisKK0 #performance #query #sql
Efficient Processing of Window Functions in Analytical SQL Queries (VL, KK, AK, TN), pp. 1058–1069.
VLDBVLDB-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.
VLDBVLDB-2015-MeehanTZACDKMMP #named #streaming #transaction
S-Store: Streaming Meets Transaction Processing (JM, NT, SZ, CA, , JD, TK, SM, DM, AP, MS, KT, HW), pp. 2134–2145.
VLDBVLDB-2015-NagarkarCB #query
Compressed Spatial Hierarchical Bitmap (cSHB) Indexes for Efficiently Processing Spatial Range Query Workloads (PN, KSC, AB), pp. 1382–1393.
VLDBVLDB-2015-ParkMS #pipes and filters #probability #query #using
Processing of Probabilistic Skyline Queries Using MapReduce (YP, JKM, KS), pp. 1406–1417.
VLDBVLDB-2015-PottiP #approximate #named #paradigm #query
DAQ: A New Paradigm for Approximate Query Processing (NP, JMP), pp. 898–909.
VLDBVLDB-2015-YangCLW #analysis #nearest neighbour #query
Reverse k Nearest Neighbors Query Processing: Experiments and Analysis (SY, MAC, XL, WW), pp. 605–616.
ITiCSEITiCSE-2015-KirkpatrickP #assurance #operating system #process #using
Using the Readiness Assurance Process and Metacognition in an Operating Systems Course (MSK, SP), pp. 183–188.
FoSSaCSFoSSaCS-2015-GeblerLT #calculus #composition #metric #probability #process #reasoning
Compositional Metric Reasoning with Probabilistic Process Calculi (DG, KGL, ST), pp. 230–245.
TACASTACAS-2015-NamjoshiT #analysis #network #process
Analysis of Dynamic Process Networks (KSN, RJT), pp. 164–178.
TACASTACAS-2015-SoudjaniGA #abstraction #probability #process
FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes (SEZS, CG, AA), pp. 272–286.
MSRMSR-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.
SANERSANER-2015-Jiang #integration #process #scalability
Improving the integration process of large software systems (YJ), p. 598.
ICALPICALP-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.
FMFM-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.
ICGTICGT-2015-KwantesGKR #modelling #process #towards #verification
Towards Compliance Verification Between Global and Local Process Models (PMK, PVG, JK, AR), pp. 221–236.
CHICHI-2015-BorstTR #problem #what
What Makes Interruptions Disruptive?: A Process-Model Account of the Effects of the Problem State Bottleneck on Task Interruption and Resumption (JPB, NAT, HvR), pp. 2971–2980.
CHICHI-2015-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.
CHICHI-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.
CHICHI-2015-MitraHG #quality
Comparing Person- and Process-centric Strategies for Obtaining Quality Data on Amazon Mechanical Turk (TM, CJH, EG), pp. 1345–1354.
CHICHI-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.
CHICHI-2015-VigoJS #authoring #concept #ontology #process
Constructing Conceptual Knowledge Artefacts: Activity Patterns in the Ontology Authoring Process (MV, CJ, RS), pp. 3385–3394.
CSCWCSCW-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.
CSCWCSCW-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.
HCIDHM-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.
HCIDHM-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.
HCIDHM-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.
HCIDHM-HM-2015-ChottikamponMMM #process
Improvement of Needle Bar in Textile Machine by Hitting Process (KC, SM, HM, RM, HN, HH), pp. 235–244.
HCIDHM-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.
HCIDHM-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.
HCIDHM-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.
HCIDHM-HM-2015-OkaTGOO #process #research
Researching Sounds Generated During the Second Lining Pounding Process (YO, YT, AG, KO, KO), pp. 154–164.
HCIDHM-HM-2015-SendaSKST #analysis #process
Process Analysis of Kyo Karakami Manufacturing (SS, ES, TK, MS, YT), pp. 368–378.
HCIDHM-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.
HCIDHM-HM-2015-SugimotoINYG #difference #process
Difference in Polishing Process of FRP Between Expert and Non-expert (TS, DI, HN, YY, AG), pp. 174–181.
HCIDHM-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.
HCIDHM-HM-2015-WangTTTGH #analysis #process
Motion Analysis of Interval Time During “Kana-ami” Making Process (ZW, KiT, TT, YT, AG, HH), pp. 201–211.
HCIDHM-HM-2015-WangTTTGH15a #analysis #process
Brain Activity Analysis on “Kana-Ami” Making Process (ZW, KiT, TT, YT, AG, HH), pp. 212–219.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-UI-2015-DaggeFR #analysis #comparative #named #process
HARSim: Posterior Load Comparative Analysis Process (RD, EF, FR), pp. 34–44.
HCIDUXU-UI-2015-InoueYHS #design #interface #process
Applying Human Centered Design Process for Designing Air Traffic Control Interfaces (SI, KY, HH, TS), pp. 307–316.
HCIDUXU-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.
HCIDUXU-UI-2015-WollnerLC #design #framework #modelling #process #user interface
Integrating a Cognitive Modelling Framework into the Design Process of Touchscreen User Interfaces (PKAW, PML, PJC), pp. 473–484.
HCIHCI-DE-2015-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.
HCIHCI-DE-2015-Bakke #approach #process
An Activity Theory Approach to Intuitiveness: From Artefact to Process (SB), pp. 3–13.
HCIHCI-DE-2015-BorzaM #assurance #design #process #usability
Incorporating Marketing Strategies to Improve Usability Assurance in User-Centered Design Processes (ICB, JAM), pp. 152–162.
HCIHCI-UC-2015-LawsonSW #industrial #process
VR Processes in the Automotive Industry (GL, DS, BW), pp. 208–217.
HCIHIMI-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.
HCIHIMI-IKC-2015-TakedaHKN #lifecycle #modelling #process
Modelling of a Business Process for Alarm Management Lifecycle in Chemical Industries (KT, TH, NK, MN), pp. 579–587.
HCIHIMI-IKD-2015-GregoryD #human-computer #information management #multi
Multisensory Information Processing for Enhanced Human-Machine Symbiosis (FDG, LD), pp. 354–365.
HCIHIMI-IKD-2015-MaierKMK #interactive #monitoring #process #visual notation
Visual Interactive Process Monitoring (SM, HK, TM, AK), pp. 74–85.
HCISCSM-2015-Flor #3d #process
3D Virtual Worlds: An Ethnography of Key Artifacts and Processes (NVF), pp. 20–29.
CAiSECAiSE-2015-Batoulis0BDW #logic #modelling #process
Extracting Decision Logic from Process Models (KB, AM, EB, GD, MW), pp. 349–366.
CAiSECAiSE-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.
CAiSECAiSE-2015-EckLLA #mining #named #process
PM²: A Process Mining Project Methodology (MLvE, XL, SJJL, WMPvdA), pp. 297–313.
CAiSECAiSE-2015-EstanolST #modelling #process #uml #validation #verification
Verification and Validation of UML Artifact-Centric Business Process Models (ME, MRS, ET), pp. 434–449.
CAiSECAiSE-2015-GiacomoDMM #declarative #modelling #process
Declarative Process Modeling in BPMN (GDG, MD, FMM, MM), pp. 84–100.
CAiSECAiSE-2015-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.
CAiSECAiSE-2015-KoschmiderUHO #process
Revising the Vocabulary of Business Process Element Labels (AK, MU, AH, AO), pp. 69–83.
CAiSECAiSE-2015-LeopoldMFPSM #automation #modelling #process #towards
Towards the Automated Annotation of Process Models (HL, CM, MF, FP, HS, JM), pp. 401–416.
CAiSECAiSE-2015-MrasekMB #automation #declarative #generative #modelling #process #specification
Automatic Generation of Optimized Process Models from Declarative Specifications (RM, JAM, KB), pp. 382–397.
CAiSECAiSE-2015-OrtegaGTRC #modelling #outsourcing #process
Modelling Service Level Agreements for Business Process Outsourcing Services (AdRO, AMG, ADT, MR, ARC), pp. 485–500.
CAiSECAiSE-2015-SenderovichWGMK #network #process #validation
Discovery and Validation of Queueing Networks in Scheduled Processes (AS, MW, AG, AM, SK, CAB), pp. 417–433.
ICEISICEIS-v1-2015-ArevaloRC #approach #information management #legacy #modelling #process
Discovering Business Models for Software Process Management — An Approach for Integrating Time and Resource Perspectives from Legacy Information Systems (CA, IMR, MJEC), pp. 353–359.
ICEISICEIS-v1-2015-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.
ICEISICEIS-v1-2015-BerroMT #graph #open data #process #statistics
Graph-based ETL Processes for Warehousing Statistical Open Data (AB, IM, OT), pp. 271–278.
ICEISICEIS-v1-2015-CaballeroBP #assessment #process #towards
Towards Principled Data Science Assessment — The Personal Data Science Process (PdsP) (IC, LBE, MP), pp. 374–378.
ICEISICEIS-v1-2015-FolinoGP #behaviour #modelling #on the #process
On the Discovery of Explainable and Accurate Behavioral Models for Complex Lowly-structured Business Processes (FF, MG, LP), pp. 206–217.
ICEISICEIS-v1-2015-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.
ICEISICEIS-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.
ICEISICEIS-v1-2015-RezendeJ #concurrent #process #using #workflow
Deadlock Avoidance in Interorganizational Business Processes using a Possibilistic WorkFlow Net (LPdR, SJ), pp. 429–439.
ICEISICEIS-v1-2015-SunB #classification #mining #process
Function-based Case Classification for Improving Business Process Mining (YS, BB), pp. 251–258.
ICEISICEIS-v2-2015-CruzMS #modelling #process #set
Deriving a Data Model from a Set of Interrelated Business Process Models (EFC, RJM, MYS), pp. 49–59.
ICEISICEIS-v2-2015-CruzMS15a #modelling #process #set
Bridging the Gap between a Set of Interrelated Business Process Models and Software Models (EFC, RJM, MYS), pp. 338–345.
ICEISICEIS-v2-2015-FilhoVC #experience #process
Applying Knowledge Codification in a Post-mortem Process — A Practical Experience (ESdSF, DV, TC), pp. 153–165.
ICEISICEIS-v2-2015-FrantzSRYE #ecosystem #integration #markov #on the #process #using
On using Markov Decision Processes to Model Integration Solutions for Disparate Resources in Software Ecosystems (RZF, SS, FRF, IY, MTME), pp. 260–267.
ICEISICEIS-v2-2015-GlocknerML #evaluation #process
Engineering and Evaluation of Process Alternatives in Tactical Logistics Planning (MG, SM, AL), pp. 166–176.
ICEISICEIS-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.
ICEISICEIS-v3-2015-KhiderB #case study #comparative #process #social
Social Business Process Management Approaches — A Comparative Study (HK, AB), pp. 340–345.
ICEISICEIS-v3-2015-PassosJ #process #verification #workflow
Relaxed Soundness Verification for Interorganizational Workflow Processes (LMSP, SJ), pp. 221–228.
ICEISICEIS-v3-2015-SaidCAB #adaptation #modelling #named #process #using
BPMN4V — An Extension of BPMN for Modelling Adaptive Processes using Versions (IBS, MAC, EA, RB), pp. 258–267.
ICEISICEIS-v3-2015-SantosTF #process
Investigating Completeness of Coding in Business Process Model and Notation (CHdS, LHT, MF), pp. 328–333.
ICEISICEIS-v3-2015-SilvaVC #development #process #usability
Integrating the Usability into the Software Development Process — A Systematic Mapping Study (WS, NMCV, TC), pp. 105–113.
ICEISICEIS-v3-2015-ThabetGG #analysis #mining #petri net #process
Petri Net Model Cost Extension based on Process Mining — Cost Data Description and Analysis (DT, SAG, HHBG), pp. 268–275.
ICEISICEIS-v3-2015-TiamSM #process
An Operational Model of Variable Business Process (RTT, ADS, RM), pp. 162–172.
ICEISICEIS-v3-2015-Wissotzki #approach #identification #process
A Process Approach for Capability Identification and Management (MW), pp. 204–212.
ICMLICML-2015-DeisenrothN #distributed #process
Distributed Gaussian Processes (MPD, JWN), pp. 1481–1490.
ICMLICML-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.
ICMLICML-2015-FlaxmanWNNS #performance #process
Fast Kronecker Inference in Gaussian Processes with non-Gaussian Likelihoods (SF, AGW, DN, HN, AJS), pp. 607–616.
ICMLICML-2015-GalCG #category theory #estimation #multi #process
Latent Gaussian Processes for Distribution Estimation of Multivariate Categorical Data (YG, YC, ZG), pp. 645–654.
ICMLICML-2015-GalT #approximate #nondeterminism #process #representation
Improving the Gaussian Process Sparse Spectrum Approximation by Representing Uncertainty in Frequency Inputs (YG, RT), pp. 655–664.
ICMLICML-2015-GarnettHS #process
Finding Galaxies in the Shadows of Quasars with Gaussian Processes (RG, SH, JS), pp. 1025–1033.
ICMLICML-2015-GeCWG #distributed #modelling #process
Distributed Inference for Dirichlet Process Mixture Models (HG, YC, MW, ZG), pp. 2276–2284.
ICMLICML-2015-GeigerZSGJ #component #identification #process
Causal Inference by Identification of Vector Autoregressive Processes with Hidden Components (PG, KZ, BS, MG, DJ), pp. 1917–1925.
ICMLICML-2015-HoangHL #big data #framework #modelling #probability #process
A Unifying Framework of Anytime Sparse Gaussian Process Regression Models with Stochastic Variational Inference for Big Data (TNH, QMH, BKHL), pp. 569–578.
ICMLICML-2015-HugginsNSM #markov #named #process
JUMP-Means: Small-Variance Asymptotics for Markov Jump Processes (JHH, KN, AS, VKM), pp. 693–701.
ICMLICML-2015-JewellSB #process
Atomic Spatial Processes (SJ, NS, ABC), pp. 248–256.
ICMLICML-2015-Kandemir #learning #process #symmetry
Asymmetric Transfer Learning with Deep Gaussian Processes (MK), pp. 730–738.
ICMLICML-2015-KimXVS #process
Manifold-valued Dirichlet Processes (HJK, JX, BCV, VS), pp. 1199–1208.
ICMLICML-2015-LiangP #process
Landmarking Manifolds with Gaussian Processes (DL, JP), pp. 466–474.
ICMLICML-2015-LianHRLC #multi #predict #process
A Multitask Point Process Predictive Model (WL, RH, VR, JEL, LC), pp. 2030–2038.
ICMLICML-2015-LloydGOR #process
Variational Inference for Gaussian Process Modulated Poisson Processes (CML, TG, MAO, SJR), pp. 1814–1822.
ICMLICML-2015-MacdonaldHH #modelling #process
Controversy in mechanistic modelling with Gaussian processes (BM, CFH, DH), pp. 1539–1547.
ICMLICML-2015-MarietS #algorithm #fixpoint #learning #process
Fixed-point algorithms for learning determinantal point processes (ZM, SS), pp. 2389–2397.
ICMLICML-2015-Osogami #markov #process #robust
Robust partially observable Markov decision process (TO), pp. 106–115.
ICMLICML-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.
ICMLICML-2015-SamoR #parametricity #process #scalability
Scalable Nonparametric Bayesian Inference on Point Processes with Gaussian Processes (YLKS, SR), pp. 2227–2236.
ICMLICML-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.
ICMLICML-2015-SuiGBK #optimisation #process
Safe Exploration for Optimization with Gaussian Processes (YS, AG, JWB, AK), pp. 997–1005.
ICMLICML-2015-WangLWC #metadata #process
Metadata Dependent Mondrian Processes (YW, BL, YW, FC), pp. 1339–1347.
ICMLICML-2015-WilsonN #kernel #process #scalability
Kernel Interpolation for Scalable Structured Gaussian Processes (KISS-GP) (AGW, HN), pp. 1775–1784.
ICMLICML-2015-YenLZRD #approach #modelling #process
A Convex Exemplar-based Approach to MAD-Bayes Dirichlet Process Mixture Models (IEHY, XL, KZ, PKR, ISD), pp. 2418–2426.
KDDKDD-2015-DuFASS #clustering #documentation #process
Dirichlet-Hawkes Processes with Applications to Clustering Continuous-Time Document Streams (ND, MF, AA, AJS, LS), pp. 219–228.
KDDKDD-2015-YuanBM #process #re-engineering #using
Gas Concentration Reconstruction for Coal-Fired Boilers Using Gaussian Process (CY, MB, BM), pp. 2247–2256.
KDDKDD-2015-ZhaoEHRL #named #predict #process #self #twitter
SEISMIC: A Self-Exciting Point Process Model for Predicting Tweet Popularity (QZ, MAE, HYH, AR, JL), pp. 1513–1522.
MLDMMLDM-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.
SEKESEKE-2015-BrondaniBF #evaluation #process #quality
Quality Evaluation of Artifacts in Tailored Software Process Lines (CB, GB, LMF), pp. 223–226.
SEKESEKE-2015-TerencianiPLC #modelling #process #representation #towards #variability
BPMN* — A Notation for Representation of Variability in Business Process Towards Supporting Business Process Line Modeling (MT, DMBP, GL, MIC), pp. 227–230.
SEKESEKE-2015-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.
SEKESEKE-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.
SIGIRSIGIR-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.
SIGIRSIGIR-2015-RenR #parametricity #process
Summarizing Contrastive Themes via Hierarchical Non-Parametric Processes (ZR, MdR), pp. 93–102.
MoDELSMoDELS-2015-LeemansA #distributed #mining #modelling #process #transaction
Process mining in software systems: Discovering real-life business transactions and process models from distributed systems (ML, WMPvdA), pp. 44–53.
MoDELSMoDELS-2015-SimmondsPBS #evolution #megamodelling #modelling #process
A megamodel for Software Process Line modeling and evolution (JS, DP, MCB, LS), pp. 406–415.
OnwardOnward-2015-Kell #process #towards
Towards a dynamic object model within Unix processes (SK), pp. 224–239.
REFSQREFSQ-2015-HarbersDN #process #requirements
Embedding Stakeholder Values in the Requirements Engineering Process (MH, CD, MAN), pp. 318–332.
REFSQREFSQ-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.
SACSAC-2015-AbibA #design #guidelines #process
Integrating contexts in healthcare: guidelines to help the designers at design process (JCA, JCA), pp. 182–184.
SACSAC-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.
SACSAC-2015-BritoE #branch #named #performance #query
BranchGuide: an indexing technique for efficient, lossless processing of branching path queries (TBV, GEdS), pp. 1086–1092.
SACSAC-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.
SACSAC-2015-GarciaPMR #process
A software process line for service-oriented applications (CG, MP, AM, SSR), pp. 1680–1687.
SACSAC-2015-GoncalvesON #architecture
A meta-process to construct software architectures for system of systems (MBG, FO, EYN), pp. 1411–1416.
SACSAC-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.
SACSAC-2015-MarquesRA15a #process #requirements #towards #traceability
Towards a requirements traceability process centered on the traceability model (AM, FR, WdLA), pp. 1364–1369.
SACSAC-2015-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.
SACSAC-2015-NonnenmacherOBV #modelling #process
Modelling consumers decision-making process about excluding products as a result of mutual influence (VN, LPLdO, BEJB, MBV), pp. 1123–1128.
SACSAC-2015-PintoMCS #process #using
Using event logs and the Ψ-theory to analyse business processes (PLP, CM, AC, MMdS), pp. 1195–1202.
SACSAC-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.
SACSAC-2015-SantosOA #development #mining #process
Mining software development process variations (RMSS, TCO, FBeA), pp. 1657–1660.
SACSAC-2015-SilvaSBVS #assessment #framework #process #using
Using ArchiMate to model a process assessment framework (NS, MMdS, BB, MV, PS), pp. 1189–1194.
SACSAC-2015-WeberFMS #mining #multi #process
Mining processes with multi-instantiation (IW, MF, JM, JGS), pp. 1231–1237.
ICSEICSE-v1-2015-Ralph #process #re-engineering
Developing and Evaluating Software Engineering Process Theories (PR), pp. 20–31.
ICSEICSE-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.
ICSEICSE-v2-2015-Inozemtseva #comprehension #fault #process
Understanding the Software Fault Introduction Process (LI), pp. 843–846.
ICSEICSE-v2-2015-Mesh #process
Supporting Scientific SE Process Improvement (ESM), pp. 923–926.
ICSEICSE-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.
SLESLE-2015-UmuhozaBRC #empirical #modelling #process
An empirical study on simplification of business process modeling languages (EU, MB, DR, JC), pp. 13–24.
SPLCSPLC-2015-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.
ASPLOSASPLOS-2015-DhawanHRVCSKPD #architecture #metadata
Architectural Support for Software-Defined Metadata Processing (UD, CH, RR, NV, SC, JMS, TFKJ, BCP, AD), pp. 487–502.
ASPLOSASPLOS-2015-MullapudiVB #automation #image #named #optimisation #pipes and filters
PolyMage: Automatic Optimization for Image Processing Pipelines (RTM, VV, UB), pp. 429–443.
PPoPPPPoPP-2015-SeoKK #graph #named #scalability #streaming
GStream: a graph streaming processing method for large-scale graphs on GPUs (HS, JK, MSK), pp. 253–254.
PPoPPPPoPP-2015-ShiLDHJLWLZ #gpu #graph #hybrid #optimisation
Optimization of asynchronous graph processing on GPU with hybrid coloring model (XS, JL, SD, BH, HJ, LL, ZW, XL, JZ), pp. 271–272.
PPoPPPPoPP-2015-WangDPWRO #gpu #graph #library #named
Gunrock: a high-performance graph processing library on the GPU (YW, AAD, YP, YW, AR, JDO), pp. 265–266.
SOSPSOSP-2015-0002BMZ #graph #named
Chaos: scale-out graph processing from secondary storage (AR, LB, JM, WZ), pp. 410–424.
SOSPSOSP-2015-WeiSCCC #in memory #performance #transaction #using
Fast in-memory transaction processing using RDMA and HTM (XW, JS, YC, RC, HC), pp. 87–104.
CAVCAV-2015-BrazdilCCFK #learning #markov #process
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes (TB, KC, MC, AF, JK), pp. 158–177.
CAVCAV-2015-RandourRS #markov #multi #process #query
Percentile Queries in Multi-dimensional Markov Decision Processes (MR, JFR, OS), pp. 123–139.
ICSTICST-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.
ICSTICST-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.
LICSLICS-2015-ChatterjeeKK #markov #multi #process
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (KC, ZK, JK), pp. 244–256.
LICSLICS-2015-CzerwinskiJ #branch #process #similarity
Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME (WC, PJ), pp. 168–179.
VMCAIVMCAI-2015-GanjeiREP #process
Abstracting and Counting Synchronizing Processes (ZG, AR, PE, ZP), pp. 227–244.
VMCAIVMCAI-2015-SalaunY #algebra #debugging #process #specification
Debugging Process Algebra Specifications (GS, LY), pp. 245–262.
CBSECBSE-2014-MateescuSY #model checking #parallel #process #using
Quantifying the parallelism in BPMN processes using model checking (RM, GS, LY), pp. 159–168.
ECSAECSA-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.
WICSAWICSA-2014-BabazadehP #design #distributed #framework
The Stream Software Connector Design Space: Frameworks and Languages for Distributed Stream Processing (MB, CP), pp. 1–10.
WICSAWICSA-2014-BaresiGM #consistency #evolution #process #runtime
Consistent Runtime Evolution of Service-Based Business Processes (LB, SG, VPLM), pp. 77–86.
WICSAWICSA-2014-DragomirLB #approach #architecture
Systematic Architectural Decision Management, A Process-Based Approach (AD, HL, TB), pp. 255–258.
WICSAWICSA-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.
WICSAWICSA-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.
ASEASE-2014-BurgDMDGH #consistency #nondeterminism #process
Tracing software build processes to uncover license compliance inconsistencies (SvdB, ED, SM, JD, DMG, AH), pp. 731–742.
ASEASE-2014-StephenSSE #big data #program analysis
Program analysis for secure big data processing (JJS, SS, RS, PTE), pp. 277–288.
CASECASE-2014-ChenFSWJF #internet
Complex event processing for the Internet of Things and its applications (CYC, JHF, TS, PFW, EJ, MWF), pp. 1144–1149.
CASECASE-2014-FeyzabadiC #markov #process #using
Risk-aware path planning using hirerachical constrained Markov Decision Processes (SF, SC), pp. 297–303.
CASECASE-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.
CASECASE-2014-LiLT #petri net #probability #process #scheduling
A color petri net based scheduling model for remanufacturing system with stochastic process routing (LL, CL, YT), pp. 474–479.
CASECASE-2014-LiY #scheduling
ACO-ICSA based scheduling of re-entrant manufacturing system with Mix-processing Style (LL, QY), pp. 87–92.
CASECASE-2014-LuXJ #markov #process
A Markov Decision Process model for elective inpatient admission with delay announcement (YL, XX, ZJ), pp. 552–557.
CASECASE-2014-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.
CASECASE-2014-PampuriSWJOM #process
Insight extraction for semiconductor manufacturing processes (SP, GAS, JW, ABJ, PGO, SFM), pp. 786–791.
CASECASE-2014-SongWHT #modelling #process
Shape deviation modeling for fused deposition modeling processes (SS, AW, QH, FT), pp. 758–763.
CASECASE-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.
CASECASE-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.
DACDAC-2014-GaoXYP #named #optimisation #process
MOSAIC: Mask Optimizing Solution With Process Window Aware Inverse Correction (JRG, XX, BY, DZP), p. 6.
DACDAC-2014-LiuFC #process #self #using
Overlay-Aware Detailed Routing for Self-Aligned Double Patterning Lithography Using the Cut Process (IJL, SYF, YWC), p. 6.
DACDAC-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.
DACDAC-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.
DACDAC-2014-ZhaoJZX #process
SLC-enabled Wear Leveling for MLC PCM Considering Process Variation (MZ, LJ, YZ, CJX), p. 6.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-DuW #optimisation #process #standard
Optimization of standard cell based detailed placement for 16 nm FinFET process (YD, MDFW), pp. 1–6.
DATEDATE-2014-NejatAA #power management #process
Dynamic Flip-Flop conversion to tolerate process variation in low power circuits (MN, BA, AAK), pp. 1–4.
DATEDATE-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.
DATEDATE-2014-RichterVSHV #challenge
Integrated circuits processing chemical information: Prospects and challenges (AR, AV, RS, SH, MV), p. 1.
HTHT-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.
PODSPODS-2014-BeameKS #parallel #query
Skew in parallel query processing (PB, PK, DS), pp. 212–223.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2014-ChengR #parallel
Parallel in-situ data processing with speculative loading (YC, FR), pp. 1287–1298.
SIGMODSIGMOD-2014-DuttH #estimation #query
Plan bouquets: query processing without selectivity estimation (AD, JRH), pp. 1039–1050.
SIGMODSIGMOD-2014-KarnagelHLHLHM #performance #query
Demonstrating efficient query processing in heterogeneous environments (TK, MH, ML, DH, WL, MH, VM), pp. 693–696.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2014-PangKFF #commit #named #predict
PLANET: making progress with commit processing in unpredictable environments (GP, TK, MJF, AF), pp. 3–14.
SIGMODSIGMOD-2014-QinYCCZL #graph #pipes and filters #scalability
Scalable big graph processing in MapReduce (LQ, JXY, LC, HC, CZ, XL), pp. 827–838.
SIGMODSIGMOD-2014-ShiCDO #ad hoc #towards
Towards unified ad-hoc data processing (XS, BC, GD, BCO), pp. 1263–1274.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2014-WongKCLY #database #query
Secure query processing with data interoperability in a cloud database environment (WKW, BK, DWLC, RL, SMY), pp. 1395–1406.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2014-ZhangDI #complexity #on the #optimisation #query
On complexity and optimization of expensive queries in complex event processing (HZ, YD, NI), pp. 217–228.
VLDBVLDB-2014-BressHSKMS #hardware #named
Ocelot/HyPE: Optimized Data Processing on Heterogeneous Hardware (SB, MH, MS, BK, VM, GS), pp. 1609–1612.
VLDBVLDB-2014-ChenCCC #named #performance
SOPS: A System for Efficient Processing of Spatial-Keyword Publish/Subscribe (LC, YC, GC, XC), pp. 1601–1604.
VLDBVLDB-2014-DeutchMT #analysis #framework #process
A Provenance Framework for Data-Dependent Process Analysis (DD, YM, VT), pp. 457–468.
VLDBVLDB-2014-DuttNH #approach #named #query #robust
QUEST: An Exploratory Approach to Robust Query Processing (AD, SN, JRH), pp. 1585–1588.
VLDBVLDB-2014-GuarnieriB #query
Optimal Security-Aware Query Processing (MG, DAB), pp. 1307–1318.
VLDBVLDB-2014-HanDAOWJ #comparison #graph
An Experimental Comparison of Pregel-like Graph Processing Systems (MH, KD, KA, MTÖ, XW, TJ), pp. 1047–1058.
VLDBVLDB-2014-Jiang0OTW #big data #named #scalability
epiC: an Extensible and Scalable System for Processing Big Data (DJ, GC, BCO, KLT, SW), pp. 541–552.
VLDBVLDB-2014-KarpathiotakisBAA #adaptation #query
Adaptive Query Processing on RAW Data (MK, MB, IA, AA), pp. 1119–1130.
VLDBVLDB-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.
VLDBVLDB-2014-LiP #named
WideTable: An Accelerator for Analytical Data Processing (YL, JMP), pp. 907–918.
VLDBVLDB-2014-NagelBV #code generation #performance #query
Code Generation for Efficient Query Processing in Managed Runtimes (FN, GMB, SDV), pp. 1095–1106.
VLDBVLDB-2014-SuSGOS #big data #java
Changing Engines in Midstream: A Java Stream Computational Model for Big Data Processing (XS, GS, BG, BO, PS), pp. 1343–1354.
VLDBVLDB-2014-WangZYMLD0 #concurrent #query
Concurrent Analytical Query Processing with GPUs (KW, KZ, YY, SM, RL, XD, XZ), pp. 1011–1022.
VLDBVLDB-2015-HeZH14 #architecture #cpu #gpu #query
In-Cache Query Co-Processing on Coupled CPU-GPU Architectures (JH, SZ, BH), pp. 329–340.
VLDBVLDB-2015-Li0QYZ014 #query #set #using
Processing Moving kNN Queries Using Influential Neighbor Sets (CL, YG, JQ, GY, RZ, WY), pp. 113–124.
VLDBVLDB-2015-ShenCJLOT14 #distributed #graph #performance
Fast Failure Recovery in Distributed Graph Processing Systems (YS, GC, HVJ, WL, BCO, BMT), pp. 437–448.
VLDBVLDB-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.
VLDBVLDB-2015-YangZTCM14 #distributed #named #navigation
CANDS: Continuous Optimal Navigation via Distributed Stream Processing (DY, DZ, KLT, JC, FLM), pp. 137–148.
VLDBVLDB-2015-ZhouGSY14 #distributed #graph #named #online #scalability #using
MOCgraph: Scalable Distributed Graph Processing Using Message Online Computing (CZ, JG, BS, JXY), pp. 377–388.
CSEETCSEET-2014-Barker #process
Workshop on improving the CSEE&T submissions process (MB), pp. 183–185.
CSEETCSEET-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.
CSEETCSEET-2014-SedelmaierL #modelling #process #requirements #using
Using business process models to foster competencies in requirements engineering (YS, DL), pp. 13–22.
ITiCSEITiCSE-2014-Isomottonen #process #student
Making group processes explicit to student: a case of justice (VI), pp. 195–200.
ITiCSEITiCSE-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.
FoSSaCSFoSSaCS-2014-0001MS #markov #process
Limit Synchronization in Markov Decision Processes (LD, TM, MS), pp. 58–72.
FoSSaCSFoSSaCS-2014-BonnetKL #analysis #parallel #probability #process
Analysis of Probabilistic Basic Parallel Processes (RB, SK, AWL), pp. 43–57.
FoSSaCSFoSSaCS-2014-Fu #bound #markov #probability #process #reachability
Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes (HF), pp. 73–87.
TACASTACAS-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.
SANERCSMR-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.
SANERCSMR-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.
ICSMEICSME-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.
MSRMSR-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.
MSRMSR-2014-KhodabandelouHDS #modelling #process
Unsupervised discovery of intentional process models from event logs (GK, CH, RD, CS), pp. 282–291.
FLOPSFLOPS-2014-BarkatiWJ #interpreter #multi #named
Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing — System Description (KB, HW, PJ), pp. 69–85.
LATALATA-2014-LiPT #probability #process #simulation
Probabilistic Simulation for Probabilistic Data-Aware Business Processes (HL, FP, FT), pp. 503–515.
FMFM-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.
FMFM-2014-RoySS #case study #experience #industrial #process
Diagnosing Industrial Business Processes: Early Experiences (SR, ASMS, SS), pp. 703–717.
IFMIFM-2014-FathabadiSB #manycore #modelling #process #runtime
Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems (ASF, CFS, MJB), pp. 120–135.
IFLIFL-2014-AronssonAS #domain-specific language #embedded
Stream Processing for Embedded Domain Specific Languages (MA, EA, MS), p. 8.
LISPILC-2014-Penkler #array
An Array and List Processing System (DP), p. 22.
ICGTICGT-2014-Bruggink #graph transformation #mining #process #towards
Towards Process Mining with Graph Transformation Systems (HJSB), pp. 253–268.
CHICHI-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.
CHICHI-2014-LeavittC #process #social
Upvoting hurricane Sandy: event-based news production processes on a social news site (AL, JAC), pp. 1495–1504.
CHICHI-2014-MuellerGVE #design #game studies #process
Supporting the creative game design process with exertion cards (FM, MRG, FV, DE), pp. 2211–2220.
CSCWCSCW-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.
CSCWCSCW-2014-YueHH #collaboration #modelling #process #using #web
Modeling search processes using hidden states in collaborative exploratory web search (ZY, SH, DH), pp. 820–830.
HCIDHM-2014-AbibBA #communication #comprehension #process
Understanding and Facilitating the Communication Process among Healthcare Professionals (JCA, AOB, JCA), pp. 313–324.
HCIDHM-2014-GoreW #concept #process
A Task Analytic Process to Define Future Concepts in Aviation (BFG, CW), pp. 236–246.
HCIDHM-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.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-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.
HCIHCI-AIMT-2014-FleischmannSS #case study #comparative #interactive #modelling #process
Tangible or Not Tangible — A Comparative Study of Interaction Types for Process Modeling Support (AF, WS, CS), pp. 544–555.
HCIHCI-TMT-2014-BatistaUF #adaptation #design #guidelines #interface #process #web
A Model and Guidelines for the Interface Design Process for Adaptive Web Applications (IDPAWA) (CRB, VRU, AMdVF), pp. 387–398.
HCIHCI-TMT-2014-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.
HCIHCI-TMT-2014-LatoschikF #multimodal #reuse #scalability
Engineering Variance: Software Techniques for Scalable, Customizable, and Reusable Multimodal Processing (MEL, MF), pp. 308–319.
HCIHCI-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.
HCIHCI-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.
HCIHIMI-AS-2014-MaeshiroM #network #process
Polyhedron Network Model to Describe Creative Processes (TM, MM), pp. 535–545.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-AS-2014-YamaguchiTT #learning #process #visualisation
Visualizing Mental Learning Processes with Invisible Mazes for Continuous Learning (TY, KT, KT), pp. 137–148.
HCIHIMI-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.
HCILCT-NLE-2014-BattaiolaAP #animation #design #education #process
Canvas to Improve the Design Process of Educational Animation (ALB, MMA, REP), pp. 13–24.
HCILCT-NLE-2014-Choffat-Durr #distance #process
Distance Exchange Projects at Elementary School: A Focus on a Co-learning Process (ACD), pp. 380–387.
HCISCSM-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.
CAiSECAiSE-2014-0001PBKLSFW #automation #process
Automating Data Exchange in Process Choreographies (AM, LP, KB, SK, TL, TS, DF, MW), pp. 316–331.
CAiSECAiSE-2014-BastarricaMRSV #how #process #quality #question
How does Quality of Formalized Software Processes Affect Adoption? (MCB, GM, RR, LS, RV), pp. 226–240.
CAiSECAiSE-2014-ChanYGM #development #execution #mining #process
Mining Event Logs to Assist the Development of Executable Process Variants (NNC, KY, WG, JM), pp. 548–563.
CAiSECAiSE-2014-EpureHDB #flexibility #mining #process #what
What Shall I Do Next? — Intention Mining for Flexible Process Enactment (EVE, CH, RD, SB), pp. 473–487.
CAiSECAiSE-2014-FolinoGP #low level #mining #modelling #multi #predict #process
Mining Predictive Process Models out of Low-level Multidimensional Logs (FF, MG, LP), pp. 533–547.
CAiSECAiSE-2014-LaurentBBG #formal method #process #verification
Formalization of fUML: An Application to Process Verification (YL, RB, SB, MPG), pp. 347–363.
CAiSECAiSE-2014-MaggiFDG #monitoring #predict #process
Predictive Monitoring of Business Processes (FMM, CDF, MD, CG), pp. 457–472.
CAiSECAiSE-2014-MurguzurCTS #process #runtime #staged
Context-Aware Staged Configuration of Process Variants@Runtime (AM, XDC, ST, GS), pp. 241–255.
CAiSECAiSE-2014-OhlssonHJCR #process #tool support
Prioritizing Business Processes Improvement Initiatives: The Seco Tools Case (JO, SH, PJ, FC, LR), pp. 256–270.
CAiSECAiSE-2014-PolyvyanyyRH #modelling #performance #process #retrieval #using
Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings (AP, MLR, AHMtH), pp. 439–456.
CAiSECAiSE-2014-RuizCEFP #analysis #information management #process
Integrating the Goal and Business Process Perspectives in Information System Analysis (MR, DC, SE, XF, OP), pp. 332–346.
CAiSECAiSE-2014-SenderovichWGM #mining #predict #process #queue
Queue Mining — Predicting Delays in Service Processes (AS, MW, AG, AM), pp. 42–57.
CAiSECAiSE-2014-SubeljBKB #mining #process
Automatization of the Stream Mining Process (LS, ZB, MK, MB), pp. 409–423.
EDOCEDOC-2014-0002HHDKS #process #towards
Towards Process Support for Cloud Manufacturing (SS, PH, CH, SD, MK, DS), pp. 142–149.
EDOCEDOC-2014-Aalst #enterprise #mining #process
Process Mining as the Superglue Between Data Science and Enterprise Computing (WMPvdA), p. 1.
EDOCEDOC-2014-FrancescomarinoRGV #modelling #process #semantics
The Role of Semantic Annotations in Business Process Modelling (CDF, MR, CG, AV), pp. 181–189.
EDOCEDOC-2014-GarciaV #abstraction #architecture #framework #implementation #process
Object-Business Process Mapping Frameworks: Abstractions, Architecture, and Implementation (RG, MTV), pp. 160–169.
EDOCEDOC-2014-HalleV #formal method
A Formalization of Complex Event Stream Processing (SH, SV), pp. 2–11.
EDOCEDOC-2014-Pufahl0W #process
Batch Regions: Process Instance Synchronization Based on Data (LP, AM, MW), pp. 150–159.
EDOCEDOC-2014-SungurBBL #process
Informal Process Essentials (CTS, TB, UB, FL), pp. 200–209.
EDOCEDOC-2014-Weber #comprehension #how #modelling #process #towards
Investigating the Process of Process Modeling: Towards an in-Depth Understanding of How Process Models Are Created (BW), p. 180.
ICEISICEIS-v1-2014-0001DFL #classification #constraints #documentation #process
Service Level Agreement Constraints into Processes for Document Classification (MB, MD, FF, AL), pp. 545–550.
ICEISICEIS-v1-2014-FreireCSS #process #query #semantics
Preserving the Original Query Semantics in Routing Processes (CF, NC, DS, ACS), pp. 70–80.
ICEISICEIS-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.
ICEISICEIS-v1-2014-JavidrooziACS #challenge #enterprise #integration #process
Business Process Change in Enterprise Systems Integration — Challenges and Opportunities (VJ, AA, AC, HS), pp. 128–135.
ICEISICEIS-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.
ICEISICEIS-v2-2014-GulnazMT #information management
University’s Scientific Resources Processing in Knowledge Management Systems (GZ, MM, TB), pp. 225–232.
ICEISICEIS-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.
ICEISICEIS-v2-2014-KaramtiTG #image #network #process #retrieval #using
Vectorization of Content-based Image Retrieval Process Using Neural Network (HK, MT, FG), pp. 435–439.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v2-2014-ShumskyRW #calculus #execution #process
Processes Construction and π-calculus-based Execution and Tracing (LS, VR, VW), pp. 448–453.
ICEISICEIS-v2-2014-SilvaMTW #modelling #process
Business Process Modeling and Instantiation in Home Care Environments (JKKdS, GMM, LHT, LKW), pp. 513–525.
ICEISICEIS-v2-2014-SilvaTDO #process
Combining the Spray Technique with Routes to Improve the Routing Process in VANETS (MJdS, FAT, SED, RARO), pp. 583–590.
ICEISICEIS-v3-2014-AlkhaldiCG #development #ontology #process
Supporting Process Model Development with Enterprise-Specific Ontologies (NA, SC, FG), pp. 236–248.
ICEISICEIS-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.
ICEISICEIS-v3-2014-OrdonezCCWT #collaboration #evaluation #modelling #process #repository
Collaborative Evaluation to Build Closed Repositories on Business Process Models (HO, JCC, CC, LKW, LHT), pp. 311–318.
ICEISICEIS-v3-2014-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.
ICEISICEIS-v3-2014-SaidCAB #metamodelling #modelling #process
Extending BPMN 2.0 Meta-models for Process Version Modelling (IBS, MAC, EA, RB), pp. 384–393.
ICEISICEIS-v3-2014-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.
ICEISICEIS-v3-2014-SilvaOAL #declarative #empirical #imperative #process
Declarative Versus Imperative Business Process Languages — A Controlled Experiment (NCS, CALdO, FALAA, RMFL), pp. 394–401.
ICEISICEIS-v3-2014-ThabetGG #mining #petri net #process #towards
Towards Business Process Model Extension with Cost Perspective Based on Process Mining — Petri Net Model Case (DT, SAG, HHBG), pp. 335–342.
CIKMCIKM-2014-CalvaneseMET #modelling #process #uml
Verifiable UML Artifact-Centric Business Process Models (DC, MM, ME, ET), pp. 1289–1298.
CIKMCIKM-2014-ChatzistergiouV #clustering #data type #heuristic #performance
Fast Heuristics for Near-Optimal Task Allocation in Data Stream Processing over Clusters (AC, SDV), pp. 1579–1588.
CIKMCIKM-2014-WuF #documentation #query #scalability
Document Prioritization for Scalable Query Processing (HW, HF), pp. 1609–1618.
CIKMCIKM-2014-WuF14a #modelling #performance #query
Analytical Performance Modeling for Top-K Query Processing (HW, HF), pp. 1619–1628.
ECIRECIR-2014-FiliceCCB #effectiveness #kernel #learning #online
Effective Kernelized Online Learning in Language Processing Tasks (SF, GC, DC, RB), pp. 347–358.
ICMLICML-c1-2014-DickGS #learning #markov #online #process #sequence
Online Learning in Markov Decision Processes with Changing Cost Sequences (TD, AG, CS), pp. 512–520.
ICMLICML-c1-2014-GiesekeHOI #nearest neighbour #query
Buffer k-d Trees: Processing Massive Nearest Neighbor Queries on GPUs (FG, JH, CEO, CI), pp. 172–180.
ICMLICML-c1-2014-LianREC #correlation #markov #modelling #process
Modeling Correlated Arrival Events with Latent Semi-Markov Processes (WL, VR, BE, LC), pp. 396–404.
ICMLICML-c1-2014-MillerBAG #analysis #process
Factorized Point Process Intensities: A Spatial Analysis of Professional Basketball (AM, LB, RPA, KG), pp. 235–243.
ICMLICML-c1-2014-NguyenB #performance #process
Fast Allocation of Gaussian Process Experts (TVN, EVB), pp. 145–153.
ICMLICML-c2-2014-AffandiFAT #kernel #learning #parametricity #process
Learning the Parameters of Determinantal Point Process Kernels (RHA, EBF, RPA, BT), pp. 1224–1232.
ICMLICML-c2-2014-BarberW #difference #equation #estimation #process
Gaussian Processes for Bayesian Estimation in Ordinary Differential Equations (DB, YW), pp. 1485–1493.
ICMLICML-c2-2014-BartunovV #distance #process
Variational Inference for Sequential Distance Dependent Chinese Restaurant Process (SB, DV), pp. 1404–1412.
ICMLICML-c2-2014-BenavoliCMZR #process
A Bayesian Wilcoxon signed-rank test based on the Dirichlet process (AB, GC, FM, MZ, FR), pp. 1026–1034.
ICMLICML-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.
ICMLICML-c2-2014-CelikkayaS #markov #probability #process
Deterministic Anytime Inference for Stochastic Continuous-Time Markov Processes (EBC, CRS), pp. 1962–1970.
ICMLICML-c2-2014-ChwialkowskiG #independence #kernel #process #random
A Kernel Independence Test for Random Processes (KC, AG), pp. 1422–1430.
ICMLICML-c2-2014-ContalPV #optimisation #process
Gaussian Process Optimization with Mutual Information (EC, VP, NV), pp. 253–261.
ICMLICML-c2-2014-GalG #parallel #process
Pitfalls in the use of Parallel Inference for the Dirichlet Process (YG, ZG), pp. 208–216.
ICMLICML-c2-2014-GrandeWH #learning #performance #process
Sample Efficient Reinforcement Learning with Gaussian Processes (RCG, TJW, JPH), pp. 1332–1340.
ICMLICML-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.
ICMLICML-c2-2014-HoangLJK #learning #process
Nonmyopic ϵ-Bayes-Optimal Active Learning of Gaussian Processes (TNH, BKHL, PJ, MSK), pp. 739–747.
ICMLICML-c2-2014-KimO #process #scalability
Hierarchical Dirichlet Scaling Process (DK, AHO), pp. 973–981.
ICMLICML-c2-2014-LindermanA #network #process
Discovering Latent Network Structure in Point Process Data (SWL, RPA), pp. 1413–1421.
ICMLICML-c2-2014-NakanoIKYU #process
Rectangular Tiling Process (MN, KI, AK, TY, NU), pp. 361–369.
ICMLICML-c2-2014-RodriguesPR #classification #learning #multi #process
Gaussian Process Classification and Active Learning with Multiple Annotators (FR, FCP, BR), pp. 433–441.
ICMLICML-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.
ICPRICPR-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.
ICPRICPR-2014-Filippone #classification #process #pseudo
Bayesian Inference for Gaussian Process Classifiers with Annealing and Pseudo-Marginal MCMC (MF), pp. 614–619.
ICPRICPR-2014-GuerreroR #process
Circular Regression Based on Gaussian Processes (PG, JRdS), pp. 3672–3677.
ICPRICPR-2014-MutimbuR #graph #image
Factor Graphs for Image Processing (LDM, ARK), pp. 1443–1448.
ICPRICPR-2014-SetitraL #algorithm #bibliography #perspective
Background Subtraction Algorithms with Post-processing: A Review (IS, SL), pp. 2436–2441.
KDDKDD-2014-ChengL #equivalence #parallel #process
Parallel gibbs sampling for hierarchical dirichlet processes via gamma processes equivalence (DC, YL), pp. 562–571.
KDDKDD-2014-LiDDCZ #identification #process
Identifying and labeling search tasks via query-based hawkes processes (LL, HD, AD, YC, HZ), pp. 731–740.
KDDKDD-2014-LiuGXXGP #modelling #probability #process #workflow
Proactive workflow modeling by stochastic processes with application to healthcare operation and management (CL, YG, HX, KX, WG, MP), pp. 1593–1602.
KDDKDD-2014-LiuTL #online #process
Online chinese restaurant process (CLL, THT, CHL), pp. 591–600.
KDDKDD-2014-RossCCD #clustering #process
Dual beta process priors for latent cluster discovery in chronic obstructive pulmonary disease (JCR, PJC, MHC, JGD), pp. 155–162.
KDDKDD-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.
KDIRKDIR-2014-Mustonen-Ollila14a #process
Actors and Factors in IS Process Innovation Decisions (EMO, JH, PP), pp. 202–209.
KEODKEOD-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.
KEODKEOD-2014-Grabska #approach #concept #ontology #process
An Ontology based Approach for Assisting Conceptualisation in CAD Processes (EG), pp. 272–279.
KEODKEOD-2014-LietoMPRF #architecture #ontology #process
A Dual Process Architecture for Ontology-based Systems (AL, AM, AP, DPR, MF), pp. 48–55.
KEODKEOD-2014-LincolnW #process #repository
Business Process Search within Unstructured Repositories (ML, AW), pp. 467–474.
KEODKEOD-2014-NefziFFS #automation #ontology #process
A Semi-automatic Mapping Selection in the Ontology Alignment Process (HN, MF, IRF, BS), pp. 459–466.
KMISKMIS-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.
KMISKMIS-2014-ThomasN #concept #process
Quantitative Process Maps — A Concept for Prioritization of Business Process Improvement Projects (CT, TN), pp. 441–446.
KMISKMIS-2014-WoitB #collaboration #consistency #development #process #programming
Commitment and Consistency in the Collaborative Software Development Process of Extreme Programming (DMW, KJB), pp. 375–381.
KRKR-2014-MarrellaMS #adaptation #calculus #named #process
SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (AM, MM, SS).
RecSysRecSys-2014-JannachF #data mining #mining #modelling #process #recommendation
Recommendation-based modeling support for data mining processes (DJ, SF), pp. 337–340.
RecSysRecSys-2014-VanchinathanNBK #process #recommendation
Explore-exploit in top-N recommender systems via Gaussian processes (HPV, IN, FDB, AK), pp. 225–232.
SEKESEKE-2014-AssoudiL #approach #multi #process
A Multi-Agent-Based Approach for Autonomic Data Exchange Processes (HA, HL), pp. 334–337.
SEKESEKE-2014-ChourabiA #automation #process #specification
Automated transformation of business rules specification to business process model (OC, JA), pp. 684–687.
SEKESEKE-2014-DalliloAF #approach #multi #process
Making the link between strategy and process model collections: a multi-layered approach (FD, JPdA, MF), pp. 387–392.
SEKESEKE-2014-FernandesALG #modelling #probability #process #reduction
A Dimensionality Reduction Process to Forecast Events through Stochastic Models (PF, JA, LL, SG), pp. 534–539.
SEKESEKE-2014-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.
SEKESEKE-2014-JuniorCMS #data analysis #gpu #repository
Exploratory Data Analysis of Software Repositories via GPU Processing (JRDSJ, EC, LM, AS), pp. 495–500.
SEKESEKE-2014-KrollRA #development #process
Proposing a Software Process Model for Follow the Sun Development (JK, IR, JLNA), pp. 412–415.
SEKESEKE-2014-LeungLZ #process #scheduling
Snowball Effects on Risk Mitigation Scheduling: Process and Tool (HKNL, KML, PZ), pp. 582–585.
SEKESEKE-2014-LingZF #approach #modelling #process #similarity
An Improved Structure-based Approach to Measure Similarity of Business Process Models (JL, LZ, QF), pp. 377–380.
SEKESEKE-2014-SchotsRS #analysis #performance #process
A Body of Knowledge for Executing Performance Analysis of Software Processes (NCLS, ARR, GS), pp. 560–565.
SIGIRSIGIR-2014-NguyenKB #process #recommendation
Gaussian process factorization machines for context-aware recommendations (TVN, AK, LB), pp. 63–72.
SIGIRSIGIR-2014-PetriMC #hybrid
Score-safe term-dependency processing with hybrid indexes (MP, AM, JSC), pp. 899–902.
SIGIRSIGIR-2014-ZhangCT #keyword #query
Processing spatial keyword query as a top-k aggregation query (DZ, CYC, KLT), pp. 355–364.
ECMFAECMFA-2014-LaurentBBG #alloy #framework #process #verification
Alloy4SPV : A Formal Framework for Software Process Verification (YL, RB, SB, MPG), pp. 83–100.
ECMFAECMFA-2014-Ritter #case study #experience #integration #modelling #process
Experiences with Business Process Model and Notation for Modeling Integration Patterns (DR), pp. 254–266.
MODELSMoDELS-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.
MODELSMoDELS-2014-DavidRV #model transformation #streaming
Streaming Model Transformations By Complex Event Processing (ID, IR, DV), pp. 68–83.
MODELSMoDELS-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.
MODELSMoDELS-2014-DavidRV #model transformation #streaming
Streaming Model Transformations By Complex Event Processing (ID, IR, DV), pp. 68–83.
ECOOPECOOP-2014-VaziriTRSH #spreadsheet
Stream Processing with a Spreadsheet (MV, OT, RR, PS, MH), pp. 360–384.
OOPSLAOOPSLA-2014-JonnalageddaCSRO #combinator #parsing #performance #staged
Staged parser combinators for efficient data processing (MJ, TC, SS, TR, MO), pp. 637–653.
PPDPPPDP-2014-DownenMAV #continuation #process
Continuations, Processes, and Sharing (PD, LM, ZMA, DV), pp. 69–80.
QAPLQAPL-2014-MiculanP #aspect-oriented #nondeterminism #process
GSOS for non-deterministic processes with quantitative aspects (MM, MP), pp. 17–33.
QAPLQAPL-2014-TschaikowskiT #algebra #biology #difference #performance #process
Extended Differential Aggregations in Process Algebra for Performance and Biology (MT, MT), pp. 34–47.
RERE-2014-Buksa #process
Business processes and regulations compliance management technology (IB), pp. 489–493.
RERE-2014-WittFSH #process #validation #verification
Business Application Modeler: A process model Validation and Verification tool (SW, SF, AS, CH), pp. 333–334.
SACSAC-2014-BillhardtLOBD
Intelligent event processing for emergency medical assistance (HB, ML, SO, RB, JD), pp. 200–206.
SACSAC-2014-CogniniCGPR #adaptation #challenge #process #research
Research challenges in business process adaptability (RC, FC, SG, AP, BR), pp. 1049–1054.
SACSAC-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.
SACSAC-2014-FdhilaR #co-evolution #collaboration #predict #process
Predicting change propagation impacts in collaborative business processes (WF, SRM), pp. 1378–1385.
SACSAC-2014-HamerW #scalability
Large scale processing of landsat data on various software platforms (GH, JW), pp. 1547–1549.
SACSAC-2014-KolbZWR #design #distance #empirical #how #modelling #process #social
How social distance of process designers affects the process of process modeling: insights from a controlled experiment (JK, MZ, BW, MR), pp. 1364–1370.
SACSAC-2014-LabdaMS #modelling #privacy #process
Modeling of privacy-aware business processes in BPMN to protect personal data (WL, NM, PS), pp. 1399–1405.
SACSAC-2014-LaurentBBG #declarative #process
Planning for declarative processes (YL, RB, SB, MPG), pp. 1126–1133.
SACSAC-2014-MolkaRDCZG #consistency #modelling #process
Conformance checking for BPMN-based process models (TM, DR, MD, AC, XJZ, WG), pp. 1406–1413.
SACSAC-2014-QuilleTR #analysis
Spectral analysis and text processing over the computer science literature: patterns and discoveries (RVEQ, CTJ, JFRJ), pp. 653–657.
SACSAC-2014-RaigozaS
Temporal join processing with hilbert curve space mapping (JR, JS), pp. 839–844.
SACSAC-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.
SACSAC-2014-Rohrig #domain-specific language #process #scheduling
A domain specific language for process scheduling (DR), pp. 1550–1551.
SACSAC-2014-SaarsenD #assessment #process #towards
Towards an assessment model for balancing process model production and use (TS, MD), pp. 1386–1392.
SACSAC-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.
SACSAC-2014-ZhaoXKLL #debugging #empirical #process
An empirical study of bugs in build process (XZ, XX, PSK, DL, SL), pp. 1187–1189.
SPLCSPLC-2014-MennickeLSW #automation #feature model #petri net #process #verification #workflow
Automated verification of feature model configuration processes based on workflow Petri nets (SM, ML, JS, TW), pp. 62–71.
SPLCSPLC-2014-Tribastone #algebra #behaviour #process
Behavioral relations in a process algebra for variants (MT), pp. 82–91.
ASPLOSASPLOS-2014-Gehlhaar #architecture #future of #scalability
Neuromorphic processing: a new frontier in scaling computer architecture (JG), pp. 317–318.
ASPLOSASPLOS-2014-WuLPKR #architecture #database #design #named
Q100: the architecture and design of a database processing unit (LW, AL, TKP, MAK, KAR), pp. 255–268.
CCCC-2014-PrinzSA #compilation #process #towards
A First Step towards a Compiler for Business Processes (TMP, NS, WA), pp. 238–243.
CGOCGO-2014-HongSWO #domain-specific language #graph #scalability
Simplifying Scalable Graph Processing with a Domain-Specific Language (SH, SS, JW, KO), p. 208.
CGOCGO-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.
HPCAHPCA-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.
HPDCHPDC-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.
HPDCHPDC-2014-KhorasaniVGB #graph #named
CuSha: vertex-centric graph processing on GPUs (FK, KV, RG, LNB), pp. 239–252.
HPDCHPDC-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.
HPDCHPDC-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.
ISMMISMM-2014-UgawaJR #garbage collection #on the fly
Reference object processing in on-the-fly garbage collection (TU, REJ, CGR), pp. 59–69.
OSDIOSDI-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.
LICSLICS-CSL-2014-BilokonE #approach #probability #process
A domain-theoretic approach to Brownian motion and general continuous stochastic processes (PB, AE), p. 10.
RTARTA-TLCA-2014-HondaYB #interactive #process #π-calculus
Process Types as a Descriptive Tool for Interaction — Control and the π-Calculus (KH, NY, MB), pp. 1–20.
VMCAIVMCAI-2014-Song0G #bisimulation #logic #markov #process
Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes (LS, LZ, JCG), pp. 98–117.
QoSAQoSA-2013-FeugasMD #evolution #predict #process #quality
A causal model to predict the effect of business process evolution on quality of service (AF, SM, LD), pp. 143–152.
CASECASE-2013-BrownB #process
A queuing model for systems with rework and process downtime (AJB, FB), pp. 789–794.
CASECASE-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.
CASECASE-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.
CASECASE-2013-ChoiZFWT #industrial #requirements
Applications and requirements of industrial robots in meat processing (SC, GZ, TAF, TW, RT), pp. 1107–1112.
CASECASE-2013-JiaJL #algorithm #scheduling
A job-family-oriented algorithm for re-entrant batch processing machine scheduling (WJ, ZJ, YL), pp. 1022–1027.
CASECASE-2013-RoyS #constraints #generative #process
Generative process planning with environmental constraints (UR, SS), pp. 534–539.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-2013-YiTLL #optimisation #parametricity
Optimization of CNC machine processing parameters for low carbon manufacturing (QY, YT, CL, PL), pp. 498–503.
CASECASE-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.
CASECASE-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.
DACDAC-2013-AlaghiLH #probability #realtime
Stochastic circuits for real-time image-processing applications (AA, CL, JPH), p. 6.
DACDAC-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.
DACDAC-2013-Kahng #design #process #roadmap
The ITRS design technology and system drivers roadmap: process and status (ABK), p. 6.
DACDAC-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.
DACDAC-2013-TajikHD #3d #architecture #manycore #named #process
VAWOM: temperature and process variation aware wearout management in 3D multicore architecture (HT, HH, ND), p. 8.
DATEDATE-2013-ChangWB #design
Process-variation-aware Iddq diagnosis for nano-scale CMOS designs — the first step (CLC, CHPW, JB), pp. 454–457.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2013-GhaidaG #design #development #multi #process
Role of design in multiple patterning: technology development, design enablement and process control (RSG, PG), pp. 314–319.
DATEDATE-2013-Hara-AzumiFKT #process
Instruction-set extension under process variation and aging effects (YHA, FF, SK, MBT), pp. 182–187.
DATEDATE-2013-Kae-NuneP #anti #process #testing
Qualification and testing process to implement anti-counterfeiting technologies into IC packages (NKN, SP), pp. 1131–1136.
DATEDATE-2013-MagarshackFC #design #energy #process
UTBB FD-SOI: a process/design symbiosis for breakthrough energy-efficiency (PM, PF, GC), pp. 952–957.
DATEDATE-2013-RaghunathanTGM #multi #named #process
Cherry-picking: exploiting process variations in dark-silicon homogeneous chip multi-processors (BR, YT, SG, DM), pp. 39–44.
DATEDATE-2013-ZhaoOX #process #synthesis
Profit maximization through process variation aware high level synthesis with speed binning (MZ, AO, CJX), pp. 176–181.
DocEngDocEng-2013-Esposito #documentation #machine learning
Symbolic machine learning methods for historical document processing (FE), pp. 1–2.
DRRDRR-2013-TaghvaPM #higher-order #markov #modelling
Post processing with first- and second-order hidden Markov models (KT, SP, SM).
ICDARICDAR-2013-FornesOL #image #multi
Show-Through Cancellation and Image Enhancement by Multiresolution Contrast Processing (AF, XO, JL), pp. 200–204.
ICDARICDAR-2013-RomeroS13a #evaluation #process
Human Evaluation of the Transcription Process of a Marriage License Book (VR, JAS), pp. 1255–1259.
ICDARICDAR-2013-ShiSG #documentation #framework #image #modelling
A Model Based Framework for Table Processing in Degraded Document Images (ZS, SS, VG), pp. 963–967.
ICDARICDAR-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.
PODSPODS-2013-BeameKS #communication #parallel #query
Communication steps for parallel query processing (PB, PK, DS), pp. 273–284.
PODSPODS-2013-CalvaneseGM #analysis #database #perspective #process
Foundations of data-aware process analysis: a database theory perspective (DC, GDG, MM), pp. 1–12.
SIGMODSIGMOD-2013-DeWittHNSAAFG #query
Split query processing in polybase (DJD, AH, RVN, SS, JAS, AA, MF, JG), pp. 1255–1266.
SIGMODSIGMOD-2013-DoKPPPD #challenge #query
Query processing on smart SSDs: opportunities and challenges (JD, YSK, JMP, CP, KP, DJD), pp. 1221–1230.
SIGMODSIGMOD-2013-EwenSTWM #parallel
Iterative parallel data processing with stratosphere: an inside look (SE, SS, KT, DW, VM), pp. 1053–1056.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2013-HullSV #bibliography #data transformation #perspective #process #tutorial
Data management perspectives on business process management: tutorial overview (RH, JS, RV), pp. 943–948.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2013-KissingerSHL #query
Query processing on prefix trees live (TK, BS, DH, WL), pp. 1105–1108.
SIGMODSIGMOD-2013-LiGC #named #realtime #sequence
ε-Matching: event processing over noisy sequences in real time (ZL, TG, CXC), pp. 601–612.
SIGMODSIGMOD-2013-LiP #in memory #memory management #named #performance
BitWeaving: fast scans for main memory data processing (YL, JMP), pp. 289–300.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2013-ZhangGBFRP #named #statistics #using
GeoDeepDive: statistical inference using familiar data-processing languages (CZ, VG, JB, TF, CR, SP), pp. 993–996.
SIGMODSIGMOD-2013-ZhangKM #array #named
SciQL: array data processing inside an RDBMS (YZ, MLK, SM), pp. 1049–1052.
VLDBVLDB-2013-AilamakiJPT #scalability #towards #transaction
Toward Scalable Transaction Processing (AA, RJ, IP, PT), pp. 1192–1193.
VLDBVLDB-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.
VLDBVLDB-2013-ArmenatzoglouPP #framework #query
A General Framework for Geo-Social Query Processing (NA, SP, DP), pp. 913–924.
VLDBVLDB-2013-BotheKV #named #query
eSkyline: Processing Skyline Queries over Encrypted Data (SB, PK, AV), pp. 1338–1341.
VLDBVLDB-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.
VLDBVLDB-2013-BrunoJZ #optimisation #query
Continuous Cloud-Scale Query Optimization and Processing (NB, SJ, JZ), pp. 961–972.
VLDBVLDB-2013-ChenCJW #evaluation #keyword #query
Spatial Keyword Query Processing: An Experimental Evaluation (LC, GC, CSJ, DW), pp. 217–228.
VLDBVLDB-2013-DeutchMT #analysis #named #process
PROPOLIS: Provisioned Analysis of Data-Centric Processes (DD, YM, VT), pp. 1302–1305.
VLDBVLDB-2013-HeLH #architecture #cpu #gpu
Revisiting Co-Processing for Hash Joins on the Coupled CPU-GPU Architecture (JH, ML, BH), pp. 889–900.
VLDBVLDB-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.
VLDBVLDB-2013-Kaufmann #in memory #memory management
Storing and Processing Temporal Data in a Main Memory Column Store (MK), pp. 1444–1449.
VLDBVLDB-2013-KaufmannVFKF #interactive #query
Comprehensive and Interactive Temporal Query Processing with SAP HANA (MK, PV, PMF, DK, FF), pp. 1210–1213.
VLDBVLDB-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.
VLDBVLDB-2013-OgdenTP #automaton #parallel #query #scalability #transducer #using #xml
Scalable XML Query Processing using Parallel Pushdown Transducers (PO, DBT, PP), pp. 1738–1749.
VLDBVLDB-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.
VLDBVLDB-2013-TuKMZ #query
Processing Analytical Queries over Encrypted Data (ST, MFK, SM, NZ), pp. 289–300.
VLDBVLDB-2013-Viglas #compilation #query #sql
Just-in-time compilation for SQL query processing (SV), pp. 1190–1191.
VLDBVLDB-2013-YuanL0 #gpu #query
The Yin and Yang of Processing Data Warehousing Queries on GPU Devices (YY, RL, XZ), pp. 817–828.
VLDBVLDB-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.
VLDBVLDB-2013-ZhongH #graph #parallel
Parallel Graph Processing on Graphics Processors Made Easy (JZ, BH), pp. 1270–1273.
VLDBVLDB-2014-CaoR13 #clustering #performance #query
High Performance Stream Query Processing With Correlation-Aware Partitioning (LC, EAR), pp. 265–276.
CSEETCSEET-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.
CSEETCSEET-2013-CiancariniDZ #case study #comparative #modelling #process #student
A double comparative study: Process models and student skills (PC, CD, SZ), pp. 189–198.
CSEETCSEET-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.
CSEETCSEET-2013-RongZS #education #game studies #process
Applying competitive bidding games in software process education (GR, HZ, DS), pp. 129–138.
ITiCSEITiCSE-2013-BundeDS #assessment #process
Making the most of the assessment process (DPB, JFD, JS), p. 359.
ITiCSEITiCSE-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.
ESOPESOP-2013-PetersNG #calculus #on the #process
On Distributability in Process Calculi (KP, UN, UG), pp. 310–329.
ESOPESOP-2013-ToninhoCP #higher-order #integration #monad #process
Higher-Order Processes, Functions, and Sessions: A Monadic Integration (BT, LC, FP), pp. 350–369.
FASEFASE-2013-AutiliRSIT #modelling #process #synthesis
A Model-Based Synthesis Process for Choreography Realizability Enforcement (MA, DDR, ADS, PI, MT), pp. 37–52.
FASEFASE-2013-LeoniDG #branch #execution #process
Discovering Branching Conditions from Business Process Execution Logs (MdL, MD, LGB), pp. 114–129.
FASEFASE-2013-StruberTJS #distributed #modelling #process #towards
Towards a Distributed Modeling Process Based on Composite Models (DS, GT, SJ, TS), pp. 6–20.
FoSSaCSFoSSaCS-2013-ClementeHSS #communication #process #reachability
Reachability of Communicating Timed Processes (LC, FH, AS, GS), pp. 81–96.
FoSSaCSFoSSaCS-2013-DreierELL #composition #on the #process #π-calculus
On Unique Decomposition of Processes in the Applied π-Calculus (JD, CE, PL, YL), pp. 50–64.
FoSSaCSFoSSaCS-2013-HainryMP #analysis #complexity #process #type system
Type-Based Complexity Analysis for Fork Processes (EH, JYM, RP), pp. 305–320.
FoSSaCSFoSSaCS-2013-MioS #composition #concurrent #probability #process #proving #verification
A Proof System for Compositional Verification of Probabilistic Concurrent Processes (MM, AS), pp. 161–176.
CSMRCSMR-2013-Molitorisz #process #refactoring #source code
Pattern-Based Refactoring Process of Sequential Source Code (KM), pp. 357–360.
CSMRCSMR-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.
ICPCICPC-2013-YamanakaCYIS #development #industrial #process
Applying clone change notification system into an industrial development process (YY, EC, NY, KI, TS), pp. 199–206.
ICSMEICSM-2013-ToroiRV #case study #identification #process #testing
Identifying Process Improvement Targets in Test Processes: A Case Study (TT, AR, LV), pp. 11–19.
PLDIPLDI-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.
SASSAS-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.
ICALPICALP-v2-2013-Basset #automaton #probability #process
A Maximal Entropy Stochastic Process for a Timed Automaton, (NB), pp. 61–73.
LATALATA-2013-BiondiLNW #markov #process
Maximizing Entropy over Markov Processes (FB, AL, BFN, AW), pp. 128–140.
IFLIFL-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.
CHICHI-2013-KelleyCS #privacy #process
Privacy as part of the app decision-making process (PGK, LFC, NMS), pp. 3393–3402.
CSCWCSCW-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.
CSCWCSCW-2013-NguyenF #communication #process
Effect of message content on communication processes in intercultural and same-culture instant messaging conversations (DTN, SRF), pp. 19–32.
CSCWCSCW-2013-TowneKKH #process #quality #wiki
Your process is showing: controversy management and perceived quality in wikipedia (WBT, AK, PK, JDH), pp. 1059–1068.
HCIDHM-HB-2013-BazleyB #information management #process
A Knowledge Transfer Process: Establishing Training in New Technology for an Ageing Workforce (CMB, DB), pp. 3–9.
HCIDHM-SET-2013-MazzolaMBPAPP #process
Explicit Tracking in the Diagnostic Process for Hand Dermatological Practices (LM, SM, SB, FP, FA, ODP, PP), pp. 248–257.
HCIDUXU-CXC-2013-MartinsG #information management #process
Information Accessibility in Museums with a Focus on Technology and Cognitive Process (LBM, FG), pp. 257–265.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-PMT-2013-ChangL #design #modelling #process
Design Process and Knowledge Searching Model Based on User Creativity (CLC, DBL), pp. 469–478.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-PMT-2013-LuhCK #concept #design #development #process
A Design Process for New Concept Development (DBL, F(HC, V(HK), pp. 545–553.
HCIDUXU-WM-2013-CagiltayAOE #certification #challenge #process
Developing ISO 9241-151 Product Certification Process: Challenges (, ÖA, NO, FE), pp. 334–341.
HCIDUXU-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.
HCIDUXU-WM-2013-LeNDP #interactive #process
Scaffolding Computer Supported Argumentation Processes through Mini Map Based Interaction Techniques (NTL, SN, DD, NP), pp. 533–542.
HCIDUXU-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.
HCIDUXU-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.
HCIHCI-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.
HCIHCI-AMTE-2013-FleischmannSS #execution #modelling #process #semantics
Semantic Execution of Subject-Oriented Process Models (AF, WS, CS), pp. 330–339.
HCIHCI-AMTE-2013-McDougallR #predict
Ease of Icon Processing Can Predict Icon Appeal (SM, IR), pp. 575–584.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-AS-2013-LimongelliLMS #education #process
A Teacher Model to Speed Up the Process of Building Courses (CL, ML, AM, FS), pp. 434–443.
HCIHCI-IMT-2013-AlexandrisM #human-computer #multi
Linguistic Processing of Implied Information and Connotative Features in Multilingual HCI Applications (CA, IM), pp. 13–22.
HCIHCI-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.
HCIHCI-UC-2013-UangL #design #development #process
The Development of an Innovative Design Process for Eco-efficient Green Products (STU, CLL), pp. 475–483.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-LCCB-2013-WuN #interactive #process #recommendation
Integrating the Anchoring Process with Preference Stability for Interactive Movie Recommendations (ICW, YFN), pp. 639–648.
AdaEuropeAdaEurope-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.
HILTHILT-2013-WardRL #approach #integration #process
An approach to integration of complex systems: the SAVI virtual integration process (DTW, DAR, BAL), pp. 43–46.
CAiSECAiSE-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.
CAiSECAiSE-2013-ConfortiLRA #execution #process
Supporting Risk-Informed Decisions during Business Process Execution (RC, MdL, MLR, WMPvdA), pp. 116–132.
CAiSECAiSE-2013-Eid-SabbaghW #architecture #process
Analyzing Business Process Architectures (RHES, MW), pp. 208–223.
CAiSECAiSE-2013-Kabicher-FuchsMR #experience #information management
Experience Breeding in Process-Aware Information Systems (SKF, JM, SRM), pp. 594–609.
CAiSECAiSE-2013-KapurugeHCK13a #ad hoc #adaptation #process
Enabling Ad-hoc Business Process Adaptations through Event-Driven Task Decoupling (MK, JH, AC, IK), pp. 384–399.
CAiSECAiSE-2013-MeyerRM #internet #modelling #process
Internet of Things-Aware Process Modeling: Integrating IoT Devices as Business Process Resources (SM, AR, CM), pp. 84–98.
CAiSECAiSE-2013-MilaniDM #composition #modelling #process
Decomposition Driven Consolidation of Process Models (FM, MD, RM), pp. 193–207.
CAiSECAiSE-2013-PetruselM #comprehension #process
Eye-Tracking the Factors of Process Model Comprehension Tasks (RP, JM), pp. 224–239.
CAiSECAiSE-2013-PikaAFHW #process #profiling
Profiling Event Logs to Configure Risk Indicators for Process Delays (AP, WMPvdA, CJF, AHMtH, MTW), pp. 465–481.
CAiSECAiSE-2013-RamirezBVW #generative #multi #process
Generating Multi-objective Optimized Business Process Enactment Plans (AJR, IB, CDV, BW), pp. 99–115.
CAiSECAiSE-2013-RiemerSS #design #performance
A Methodology for Designing Events and Patterns in Fast Data Processing (DR, NS, LS), pp. 133–148.
CAiSECAiSE-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.
EDOCEDOC-2013-0001W #modelling #process
Extracting Data Objects and Their States from Process Models (AM, MW), pp. 27–36.
EDOCEDOC-2013-Herzberg0W #framework #process
An Event Processing Platform for Business Process Management (NH, AM, MW), pp. 107–116.
EDOCEDOC-2013-LenhardW #execution #process
Measuring the Portability of Executable Service-Oriented Processes (JL, GW), pp. 117–126.
EDOCEDOC-2013-NagelGEP #consistency #modelling #process
Ensuring Consistency among Business Goals and Business Process Models (BN, CG, GE, JP), pp. 17–26.
EDOCEDOC-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-J-2013-HernandesBF13a #bibliography #process
An Overview of Experimental Studies on Software Inspection Process (EMH, AB, SF), pp. 118–134.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v1-2013-HernandesBF #process
Experimental Studies in Software Inspection Process — A Systematic Mapping (EMH, AB, SF), pp. 66–76.
ICEISICEIS-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.
ICEISICEIS-v1-2013-OliveiraB #approach #modelling #novel #process #standard
ETL Standard Processes Modelling — A Novel BPMN Approach (BCdSO, OB), pp. 120–127.
ICEISICEIS-v1-2013-ShamsuzzohaAH #adaptation #enterprise #process
Adaptive Virtual Enterprise Process Management — Perspective of Cloud-based Data Storage (AS, SA, PH), pp. 88–94.
ICEISICEIS-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.
ICEISICEIS-v2-2013-DomingosMC #internet #process
Internet of Things Aware WS-BPEL Business Process (DD, FM, CC), pp. 505–512.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v2-2013-SoaresB #development #process
Projects Characteristics Determining Suitability of Software Development Process (MdSS, JB), pp. 118–125.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v3-2013-CheikhrouhouKGJ #bibliography #modelling #process
A Survey on Time-aware Business Process Modeling (SC, SK, NG, MJ), pp. 236–242.
ICEISICEIS-v3-2013-MalekanA #collaboration #modelling #network #process
Business Process Modeling Languages Supporting Collaborative Networks (HSM, HA), pp. 258–266.
ICEISICEIS-v3-2013-PanTG #approach #dependence #modelling #ontology #process
Artefact-oriented Business Process Modelling — An Ontological Dependency Approach (YCP, YT, SRG), pp. 223–230.
ICEISICEIS-v3-2013-RomaniB #design #process #social
Exploring Human Computation and Social Computing to Inform the Design Process (RR, MCCB), pp. 67–74.
ICEISICEIS-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.
CIKMCIKM-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.
CIKMCIKM-2013-MullangiR #named #performance #query #reachability #scalability
SCISSOR: scalable and efficient reachability query processing in time-evolving hierarchies (PRM, LR), pp. 799–804.
CIKMCIKM-2013-NaeemWDL
A generic front-stage for semi-stream processing (MAN, GW, GD, CL), pp. 769–774.
CIKMCIKM-2013-QinZ #functional #process
Functional dirichlet process (LQ, XZ), pp. 1331–1340.
CIKMCIKM-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.
CIKMCIKM-2013-YuanWJL #clustering #graph #performance #streaming
Efficient processing of streaming graphs for evolution-aware clustering (MY, KLW, GJS, YL), pp. 319–328.
ICMLICML-c1-2013-GilboaSCG #approximate #multi #process #scalability #using
Scaling Multidimensional Gaussian Processes using Projected Additive Approximations (EG, YS, JPC, EG), pp. 454–461.
ICMLICML-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.
ICMLICML-c2-2013-Lopez-PazHG #dependence #multi #process
Gaussian Process Vine Copulas for Multivariate Dependence (DLP, JMHL, ZG), pp. 10–18.
ICMLICML-c2-2013-YangZ #process
Mixture of Mutually Exciting Processes for Viral Diffusion (SHY, HZ), pp. 1–9.
ICMLICML-c3-2013-AhmedHS #documentation #modelling #process
Nested Chinese Restaurant Franchise Process: Applications to User Tracking and Document Modeling (AA, LH, AJS), pp. 1426–1434.
ICMLICML-c3-2013-ReedG #process #scalability
Scaling the Indian Buffet Process via Submodular Maximization (CR, ZG), pp. 1013–1021.
ICMLICML-c3-2013-RossD #constraints #parametricity #process
Nonparametric Mixture of Gaussian Processes with Constraints (JCR, JGD), pp. 1346–1354.
ICMLICML-c3-2013-WilsonA #kernel #process
Gaussian Process Kernels for Pattern Discovery and Extrapolation (AGW, RPA), pp. 1067–1075.
ICMLICML-c3-2013-ZhouZS #kernel #learning #multi #process
Learning Triggering Kernels for Multi-dimensional Hawkes Processes (KZ, HZ, LS), pp. 1301–1309.
KDDKDD-2013-AltinigneliPB #parallel #using
Massively parallel expectation maximization using graphics processing units (MCA, CP, CB), pp. 838–846.
KDDKDD-2013-BahadoriLX #learning #performance #probability #process
Fast structure learning in generalized stochastic processes with latent factors (MTB, YL, EPX), pp. 284–292.
KDDKDD-2013-HallakCM #markov #process
Model selection in markovian processes (AH, DDC, SM), pp. 374–382.
KDDKDD-2013-IwataSG #online #process #social
Discovering latent influence in online social activities via shared cascade poisson processes (TI, AS, ZG), pp. 266–274.
KDDKDD-2013-LiuYK #adaptation #modelling #process #using
Adaptive collective routing using gaussian process dynamic congestion models (SL, YY, RK), pp. 704–712.
KDIRKDIR-KMIS-2013-ArgiolasCFLMPQS #process
Knowledge in Construction Processes (CA, GC, MDF, MIL, FM, FEP, EQ, DS), pp. 397–404.
KDIRKDIR-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.
KDIRKDIR-KMIS-2013-ItalaH #behaviour #diagrams #process #using
Using Stocks and Flows Diagrams to Understand Business Process Behavior (TI, MH), pp. 552–558.
KDIRKDIR-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.
KDIRKDIR-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.
KDIRKDIR-KMIS-2013-VanthienenC #modelling #process #question
Modeling Business Decisions and Processes — Which Comes First? (JV, FC), pp. 451–456.
RecSysRecSys-2013-HuY #learning #process #recommendation
Interview process learning for top-n recommendation (FH, YY), pp. 331–334.
SEKESEKE-2013-AbdouGK #open source #process #testing
Managing Corrective Actions to Closure in Open Source Software Test Process (TA, PG, PK), pp. 306–311.
SEKESEKE-2013-Bouzar-BenlabiodBB #correlation #performance #process
An efficient QCL-based alert correlation process (LBB, SB, TBT), pp. 388–393.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2013-Perez-CastilloFPC #how #modelling #process #refactoring
How Does Refactoring Affect Understandability of Business Process Models? (S) (RPC, MFR, MP, DC), pp. 644–649.
SEKESEKE-2013-PortugalO #process #specification
Introducing Software Process Specification to Task Context (S) (IdSP, TCO), pp. 22–25.
SEKESEKE-2013-RamosRO #process #source code #towards
Towards a strategy for analysing benefits of Software Process Improvement programs (CSR, ARR, KMdO), pp. 638–643.
SEKESEKE-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.
SEKESEKE-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.
SIGIRSIGIR-2013-DimopoulosNS #performance #query
A candidate filtering mechanism for fast top-k query processing on modern cpus (CD, SN, TS), pp. 723–732.
SIGIRSIGIR-2013-RossiMCS #performance #query #using
Fast document-at-a-time query processing using two-tier indexes (CR, ESdM, ALC, ASdS), pp. 183–192.
SKYSKY-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.
ECMFAECMFA-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.
ECMFAECMFA-2013-KusterVFBC #process
Supporting Different Process Views through a Shared Process Model (JMK, HV, CF, MCB, KC), pp. 20–36.
OOPSLAOOPSLA-2013-SmaragdakisBK #analysis #points-to #preprocessor
Set-based pre-processing for points-to analysis (YS, GB, GK), pp. 253–270.
QAPLQAPL-2013-BernardoNL #behaviour #nondeterminism #probability #process
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 81–96.
POPLPOPL-2013-SuenagaSH #modelling #standard
Hyperstream processing systems: nonstandard modeling of continuous-time signals (KS, HS, IH), pp. 417–430.
REER-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).
REER-BR-2013-HadadD #process #requirements #variability
Introducing Variability in a Client-Oriented Requirements Engineering Process (GDSH, JHD).
REER-BR-2013-MartinsOB #embedded #process #requirements #towards
Towards Requirements Engineering Process for Embedded Systems (LEGM, JCO, AB).
REER-BR-2013-SantosPPOC #process
Business Process Configuration with NFRs and Context-Awereness (ES, JP, TP, KO, JC).
REER-BR-2013-SoaresPSCV #automation #modelling #process
Automatic Models Transformation for the STREAM process (MS, JP, CTLLS, JC, JV).
REFSQREFSQ-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.
REFSQREFSQ-2013-HoffmannBL #comprehension #development #process
The Emergence of Mutual and Shared Understanding in the System Development Process (AH, EACB, JML), pp. 174–189.
REFSQREFSQ-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.
SACSAC-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.
SACSAC-2013-AnielloQB #data transformation
Input data organization for batch processing in time window based computations (LA, LQ, RB), pp. 363–370.
SACSAC-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.
SACSAC-2013-Fernandez-RoperoPCP #process #refactoring
Assessing the best-order for business process model refactoring (MFR, RPC, JACL, MP), pp. 1397–1402.
SACSAC-2013-FurtadoC #hybrid #middleware #network
Sensor streams middleware for easy configuration and processing in hybrid sensor network (PF, JC), pp. 1499–1504.
SACSAC-2013-GaoB #architecture
User centric complex event processing based on service oriented architectures (FG, SB), pp. 1933–1934.
SACSAC-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.
SACSAC-2013-KhalfallahFBG #process
Product-based business processes interoperability (MK, NF, MB, PG), pp. 1472–1473.
SACSAC-2013-KolbR #abstraction #adaptation #data flow #process
Data flow abstractions and adaptations through updatable process views (JK, MR), pp. 1447–1453.
SACSAC-2013-LaneseBF #approach #calculus #internet #process
Internet of things: a process calculus approach (IL, LB, MDF), pp. 1339–1346.
SACSAC-2013-LeoniA #mining #process #using
Data-aware process mining: discovering decisions in processes using alignments (MdL, WMPvdA), pp. 1454–1461.
SACSAC-2013-Markovski #communication #coordination #probability #process #reliability
Reliable supervisory coordination of stochastic communicating processes with data (JM), pp. 1347–1354.
SACSAC-2013-Montesi #programming #web
Process-aware web programming with Jolie (FM), pp. 761–763.
SACSAC-2013-OyamadaKK #concurrent #query
Continuous query processing with concurrency control: reading updatable resources consistently (MO, HK, HK), pp. 788–794.
SACSAC-2013-PflugR #information management
Dynamic instance queuing in process-aware information systems (JP, SRM), pp. 1426–1433.
SACSAC-2013-ProencaVASB0K #maturity #process
Evaluating a process for developing a capability maturity model (DP, RV, GA, MMdS, JLB, CB, HK), pp. 1474–1475.
SACSAC-2013-Schefer-WenzlS #information management #policy
Generic support for RBAC break-glass policies in process-aware information systems (SSW, MS), pp. 1441–1446.
SACSAC-2013-WombacherI #estimation #process
Start time and duration distribution estimation in semi-structured processes (AW, MEI), pp. 1403–1409.
ICSEICSE-2013-KuhrmannFM #education #modelling #process
Teaching software process modeling (MK, DMF, JM), pp. 1138–1147.
ICSEICSE-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.
ICSEICSE-2013-RahmanD #how #metric #process #why
How, and why, process metrics are better (FR, PTD), pp. 432–441.
PLEASEPLEASE-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.
SPLCSPLC-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.
HPDCHPDC-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.
HPDCHPDC-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.
LCTESLCTES-2013-GeunsHB #automation #data flow #realtime
Automatic dataflow model extraction from modal real-time stream processing applications (SJG, JPHMH, MJGB), pp. 143–152.
PLOSPLOS-2013-AryaDVC #automation #debugging #process
Semi-automated debugging via binary search through a process lifetime (KA, TD, AMV, GC), p. 7.
PPoPPPPoPP-2013-ShunB #framework #graph #lightweight #memory management #named
Ligra: a lightweight graph processing framework for shared memory (JS, GEB), pp. 135–146.
SOSPSOSP-2013-RoyMZ #graph #named #streaming #using
X-Stream: edge-centric graph processing using streaming partitions (AR, IM, WZ), pp. 472–488.
CAVCAV-2013-ChatterjeeL #algorithm #markov #performance #process
Faster Algorithms for Markov Decision Processes with Low Treewidth (KC, JL), pp. 543–558.
CSLCSL-2013-ChatterjeeCT #decidability #markov #process #what
What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives (KC, MC, MT), pp. 165–180.
ICLPICLP-J-2013-GiordanoMSD #constraints #process #programming #set #verification
Business process verification with constraint temporal answer set programming (LG, AM, MS, DTD), pp. 641–655.
ICLPICLP-J-2013-Schwitter #challenge #natural language
The jobs puzzle: Taking on the challenge via controlled natural language processing (RS), pp. 487–501.
ICSTICST-2013-CompagnaGB #as a service #process #security #validation
Business Process Compliance via Security Validation as a Service (LC, PG, ADB), pp. 455–462.
ICSTICST-2013-Mercaldo #database #identification #process
Identification of Anomalies in Processes of Database Alteration (FM), pp. 513–514.
ISSTAISSTA-2013-YuSR #automation #framework #named #testing
SimRacer: an automated framework to support testing for process-level races (TY, WSa, GR), pp. 167–177.
LICSLICS-2013-BrazdilCFK #markov #performance #process
Trading Performance for Stability in Markov Decision Processes (TB, KC, VF, AK), pp. 331–340.
LICSLICS-2013-KozenLMP #markov #process
Stone Duality for Markov Processes (DK, KGL, RM, PP), pp. 321–330.
VMCAIVMCAI-2013-NamjoshiT #network #process #symmetry
Uncovering Symmetries in Irregular Process Networks (KSN, RJT), pp. 496–514.
CASECASE-2012-AnKP #learning #modelling #process
Grasp motion learning with Gaussian Process Dynamic Models (BA, HK, FCP), pp. 1114–1119.
CASECASE-2012-Chang #detection #fault #feature model #process #using
Fault detection for plasma-enhanced chemical vapor deposition process using feature extraction (YJC), pp. 491–496.
CASECASE-2012-ChenZD #fourier #process
Mitigation of chatter instability in milling processes by active fourier series compensation (ZC, HTZ, HD), pp. 167–171.
CASECASE-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.
CASECASE-2012-KimCLK #fault #framework #monitoring #process
Task-oriented synchronous error monitoring framework in robotic manufacturing process (HK, JC, SL, JK), pp. 485–490.
CASECASE-2012-LiLS #constraints #process
Dispatching rule considering time-constraints on processes for semiconductor wafer fabrication facility (LL, YFL, ZJS), pp. 407–412.
CASECASE-2012-Markovski #framework
A process-theoretic state-based framework for live supervision (JM), pp. 680–685.
CASECASE-2012-NganYY #modelling #process
Modeling of traffic data characteristics by Dirichlet Process Mixtures (HYTN, NHCY, AGOY), pp. 224–229.
CASECASE-2012-PampuriSSLBN #multi #process
Multistep virtual metrology approaches for semiconductor manufacturing processes (SP, AS, GAS, CDL, AB, GDN), pp. 91–96.
CASECASE-2012-RusslandEP #process #workflow
A workflow management system for cross-system processes in semiconductor supply chains (TR, HE, TP), pp. 635–640.
CASECASE-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.
CASECASE-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.
DACDAC-2012-KongC #3d #process
Exploiting narrow-width values for process variation-tolerant 3-D microprocessors (JK, SWC), pp. 1197–1206.
DACDAC-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.
DACDAC-2012-SeoDWPCMBM #architecture #process
Process variation in near-threshold wide SIMD architectures (SS, RGD, MW, YP, CC, SAM, DB, TNM), pp. 980–987.
DACDAC-2012-YuCSJC #design #detection #using
Accurate process-hotspot detection using critical design rule extraction (YTY, YCC, SS, IHRJ, CC), pp. 1167–1172.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2012-LiH #analysis #logic #named #performance #reliability
RAG: An efficient reliability analysis of logic circuits on graphics processing units (ML, MSH), pp. 316–319.
DATEDATE-2012-MarinissenVGHRMB #detection #process
EDA solutions to new-defect detection in advanced process technologies (EJM, GV, SKG, FH, JR, NM, SB), pp. 123–128.
DATEDATE-2012-WalravensD #architecture #design #energy
Design of a low-energy data processing architecture for WSN nodes (CW, WD), pp. 570–573.
DRRDRR-2012-WalkerLR #dataset #documentation #image
A synthetic document image dataset for developing and evaluating historical document processing methods (DDW, WBL, EKR).
DRRDRR-2012-WangDL #recognition #string
Post processing for offline Chinese handwritten character string recognition (YW, XD, CL).
SIGMODSIGMOD-2012-BalminKT #named
Clydesdale: structured data processing on hadoop (AB, TK, ST), pp. 705–708.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2012-MozafariZZ #xml
High-performance complex event processing over XML streams (BM, KZ, CZ), pp. 253–264.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2012-YuAY #query #scalability
Processing a large number of continuous preference top-k queries (AY, PKA, JY), pp. 397–408.
VLDBVLDB-2012-AhmadKKN #higher-order #named
DBToaster: Higher-order Delta Processing for Dynamic, Frequently Fresh Views (YA, OK, CK, MN), pp. 968–979.
VLDBVLDB-2012-AlagiannisBBIA #adaptation #query
NoDB in Action: Adaptive Query Processing on Raw Data (IA, RB, MB, SI, AA), pp. 1942–1945.
VLDBVLDB-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.
VLDBVLDB-2012-DittrichQ #big data #performance #pipes and filters
Efficient Big Data Processing in Hadoop MapReduce (JD, JAQR), pp. 2014–2015.
VLDBVLDB-2012-HallBBGN
Processing a Trillion Cells per Mouse Click (AH, OB, RB, SG, MN), pp. 1436–1446.
VLDBVLDB-2012-Jacques-SilvaGWWK #adaptation #runtime
Building User-defined Runtime Adaptation Routines for Stream Processing Applications (GJS, BG, RW, KLW, VK), pp. 1826–1837.
VLDBVLDB-2012-LamLPRVD #named #performance
Muppet: MapReduce-Style Processing of Fast Data (WL, LL, SP, AR, ZV, AD), pp. 1814–1825.
VLDBVLDB-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.
VLDBVLDB-2012-RoyDMSW #analysis
Massive Genomic Data Processing and Deep Analysis (AR, YD, EM, YS, BLW), pp. 1906–1909.
VLDBVLDB-2012-ZhangCW #multi #performance #pipes and filters #using
Efficient Multi-way Theta-Join Processing Using MapReduce (XZ, LC, MW), pp. 1184–1195.
VLDBVLDB-2013-CalvaneseGLV12 #database #graph #query #relational
Query Processing under GLAV Mappings for Relational and Graph Databases (DC, GDG, ML, MYV), pp. 61–72.
CSEETCSEET-2012-RongS #challenge #education
Delivering Software Process-Specific Project Courses in Tertiary Education Environment: Challenges and Solution (GR, DS), pp. 52–61.
ITiCSEITiCSE-2012-AsadB #aspect-oriented #concept #image #learning
Are children capable of learning image processing concepts?: cognitive and affective aspects (KA, MB), pp. 227–231.
ESOPESOP-2012-FehnkerGHMPT #algebra #network #process
A Process Algebra for Wireless Mesh Networks (AF, RJvG, PH, AM, MP, WLT), pp. 295–315.
FASEFASE-2012-Aalst #consistency #distributed #process
Distributed Process Discovery and Conformance Checking (WMPvdA), pp. 1–25.
FoSSaCSFoSSaCS-2012-BernardoNL #nondeterminism #probability #process #testing
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 195–209.
FoSSaCSFoSSaCS-2012-ToninhoCP #process
Functions as Session-Typed Processes (BT, LC, FP), pp. 346–360.
CSMRCSMR-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.
ICPCICPC-2012-AlawnehH #communication #identification
Identifying computational phases from inter-process communication traces of HPC applications (LA, AHL), pp. 133–142.
ICPCICPC-2012-Mahmoud #automation #effectiveness #process #towards
Toward an effective automated tracing process (AM), pp. 269–272.
ICSMEICSM-2012-LotufoMC #debugging #modelling #process
Modelling the “Hurried” bug report reading process to summarize bug reports (RL, ZM, KC), pp. 430–439.
ICSMEICSM-2012-Perez-Castillo #approach #information management #legacy #named #process
MARBLE: Modernization approach for recovering business processes from legacy information systems (RPC), pp. 671–676.
ICSMEICSM-2012-TomasiMFS #named #process
reBPMN: Recovering and reducing business processes (AT, AM, CDF, AS), pp. 666–669.
PLDIPLDI-2012-KruijfSJ #compilation #design #static analysis
Static analysis and compiler design for idempotent processing (MdK, KS, SJ), pp. 475–486.
STOCSTOC-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.
CIAACIAA-2012-EhrenfeuchtR #framework #process
A Formal Framework for Processes Inspired by the Functioning of Living Cells (AE, GR), pp. 25–27.
ICALPICALP-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.
ICALPICALP-v2-2012-AcetoCEI #algebra #process
Algebraic Synchronization Trees and Processes (LA, AC, , AI), pp. 30–41.
ICALPICALP-v2-2012-BrazdilKNW #markov #process #termination
Minimizing Expected Termination Time in One-Counter Markov Decision Processes (TB, AK, PN, DW), pp. 141–152.
ICALPICALP-v2-2012-Fu #game studies #markov #metric #process
Computing Game Metrics on Markov Decision Processes (HF), pp. 227–238.
FMFM-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.
IFMIFM-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-VMTGT-VMT-2012-Heussner #communication #graph #graph grammar #model checking #process
Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO (AH).
CHICHI-2012-Friess #case study #design #process
Personas and decision making in the design process: an ethnographic case study (EF), pp. 1209–1218.
CSCWCSCW-2012-BorgeGSC #analysis #process
Patterns of team processes and breakdowns in information analysis tasks (MB, CHG, SIS, JMC), pp. 1105–1114.
CSCWCSCW-2012-CarrollLLSW #process
Bodies in critique: a technological intervention in the dance production process (EAC, DML, CL, VS, MW), pp. 705–714.
CSCWCSCW-2012-Meum #process
Electronic medication management: a socio — technical change process in clinical practice (TM), pp. 877–886.
CSCWCSCW-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.
CSCWCSCW-2012-NobaranyHF #approach #collaboration #distributed #process #reuse
Facilitating the reuse process in distributed collaboration: a distributed cognition approach (SN, MH, BDF), pp. 1223–1232.
CSCWCSCW-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.
CAiSECAiSE-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.
CAiSECAiSE-2012-BrouckeWBV #generative #process
Improved Artificial Negative Event Generation to Enhance Process Event Logs (SKLMvB, JDW, BB, JV), pp. 254–269.
CAiSECAiSE-2012-ComuzziAV #monitoring #process
Patterns to Enable Mass-Customized Business Process Monitoring (MC, SA, JV), pp. 445–459.
CAiSECAiSE-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.
CAiSECAiSE-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.
CAiSECAiSE-2012-GronerAMGPB #modelling #process #validation
Validation of User Intentions in Process Models (GG, MA, BM, DG, FSP, MB), pp. 366–381.
CAiSECAiSE-2012-LeopoldMP #generative #modelling #natural language #process
Generating Natural Language Texts from Business Process Models (HL, JM, AP), pp. 64–79.
CAiSECAiSE-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.
CAiSECAiSE-2012-LonnUWJ #configuration management #modelling #process
Configurable Process Models for the Swedish Public Sector (CML, EU, PW, GJS), pp. 190–205.
CAiSECAiSE-2012-LyIMR #data transformation #mining #process #semantics
Data Transformation and Semantic Log Purging for Process Mining (LTL, CI, JM, SRM), pp. 238–253.
CAiSECAiSE-2012-MaggiBA #declarative #modelling #performance #process
Efficient Discovery of Understandable Declarative Process Models from Event Logs (FMM, RPJCB, WMPvdA), pp. 270–285.
CAiSECAiSE-2012-MartinCM #assessment #empirical #process
Process Redesign for Liquidity Planning in Practice: An Empirical Assessment (JM, TC, AM), pp. 581–596.
CAiSECAiSE-2012-Petrusel #modelling #process
Aggregating Individual Models of Decision-Making Processes (RP), pp. 47–63.
CAiSECAiSE-2012-Priego-RocheTFRM #design #modelling #process
Business Process Design from Virtual Organization Intentional Models (LMPR, LHT, AF, DR, JM), pp. 549–564.
EDOCEDOC-2012-BurattinMAS #analysis #declarative #process
Techniques for a Posteriori Analysis of Declarative Processes (AB, FMM, WMPvdA, AS), pp. 41–50.
EDOCEDOC-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.
EDOCEDOC-2012-MichelbergerMR #enterprise #process
Process-oriented Information Logistics: Aligning Enterprise Information with Business Processes (BM, BM, MR), pp. 21–30.
EDOCEDOC-2012-ParaisoHRMS #framework #middleware
A Middleware Platform to Federate Complex Event Processing (FP, GH, RR, PM, LS), pp. 113–122.
EDOCEDOC-2012-WangWPSC #process
A State Synchronization Mechanism for Orchestrated Processes (LW, AW, LFP, MvS, CC), pp. 51–60.
EDOCEDOC-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.
ICEISICEIS-J-2012-RenardCR12a #evaluation #fault #process #towards
Towards a Leaner Evaluation Process: Application to Error Correction Systems (AR, SC, BR), pp. 228–242.
ICEISICEIS-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.
ICEISICEIS-v1-2012-GascuenaG #modelling
Data Processing Modeling in Decision Support Systems (CMG, RG), pp. 133–138.
ICEISICEIS-v1-2012-RudraGA #approximate #performance #query
An Efficient Sampling Scheme for Approximate Processing of Decision Support Queries (AR, RPG, NA), pp. 16–26.
ICEISICEIS-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.
ICEISICEIS-v2-2012-GassenMTO #design #ontology #process
Ontology Support for Home Care Process Design (JBG, AM, LHT, JPMdO), pp. 84–89.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v2-2012-ReichelR #process #requirements #using
Prioritization of Product Requirements using the Analytic Hierarchy Process (TR, GR), pp. 70–76.
ICEISICEIS-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.
ICEISICEIS-v3-2012-BauerEFH #analysis #consistency #process
Resource-oriented Consistency Analysis of Engineering Processes (BB, TE, CF, BH), pp. 206–211.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v3-2012-SchiefBW #modelling #process
Transforming Software Business Models into Business Processes (MS, AB, TW), pp. 167–172.
ICEISICEIS-v3-2012-WangWZLW #detection #modelling #process
Detecting Infeasible Traces in Process Models (ZW, LW, XZ, YL, JW), pp. 212–217.
CIKMCIKM-2012-ArvanitisDV #performance #query #research
Efficient influence-based processing of market research queries (AA, AD, YV), pp. 1193–1202.
CIKMCIKM-2012-CaoYDWW #graph #modelling #process #recommendation #workflow
Graph-based workflow recommendation: on improving business process modeling (BC, JY, SD, DW, ZW), pp. 1527–1531.
CIKMCIKM-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.
CIKMCIKM-2012-DarwishMM #microblog #retrieval
Language processing for arabic microblog retrieval (KD, WM, AM), pp. 2427–2430.
CIKMCIKM-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.
CIKMCIKM-2012-HuangCLL #predict #probability #process #social #using
Predicting aggregate social activities using continuous-time stochastic process (SH, MC, BL, DL), pp. 982–991.
CIKMCIKM-2012-KimKKO #modelling #process #recursion #topic
Modeling topic hierarchies with the recursive chinese restaurant process (JHK, DK, SK, AHO), pp. 783–792.
CIKMCIKM-2012-LinXCB #algorithm #performance #query
Efficient algorithms for generalized subgraph query processing (WL, XX, JC, SSB), pp. 325–334.
CIKMCIKM-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.
CIKMCIKM-2012-StuparM #query
Being picky: processing top-k queries with set-defined selections (AS, SM), pp. 912–921.
CIKMCIKM-2012-SymondsBST #encoding #semantics
A tensor encoding model for semantic processing (MS, PDB, LS, IT), pp. 2267–2270.
CIKMCIKM-2012-VouzoukidouAC #query
Processing continuous text queries featuring non-homogeneous scoring functions (NV, BA, VC), pp. 1065–1074.
ECIRECIR-2012-DiriyeTB #interactive #process #query
A Little Interaction Can Go a Long Way: Enriching the Query Formulation Process (AD, AT, AB), pp. 531–534.
ECIRECIR-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.
ECIRECIR-2012-JonassenB #concurrent #distributed #pipes and filters #retrieval
Intra-query Concurrent Pipelined Processing for Distributed Full-Text Retrieval (SJ, SEB), pp. 413–425.
ICMLICML-2012-BoukouvalasBC #process #using
Gaussian Process Quantile Regression using Expectation Propagation (AB, RB, DC), p. 123.
ICMLICML-2012-ChenCK #optimisation #process
Joint Optimization and Variable Selection of High-dimensional Gaussian Processes (BC, RMC, AK), p. 179.
ICMLICML-2012-DesautelsKB #optimisation #process #trade-off
Parallelizing Exploration-Exploitation Tradeoffs with Gaussian Process Bandit Optimization (TD, AK, JWB), p. 109.
ICMLICML-2012-FreitasSZ #bound #exponential #process
Exponential Regret Bounds for Gaussian Process Bandits with Deterministic Observations (NdF, AJS, MZ), p. 125.
ICMLICML-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.
ICMLICML-2012-MoldovanA #markov #process
Safe Exploration in Markov Decision Processes (TMM, PA), p. 188.
ICMLICML-2012-RifaiDVB #generative #process
A Generative Process for Contractive Auto-Encoders (SR, YD, PV, YB), p. 235.
ICMLICML-2012-WangC #process
Levy Measure Decompositions for the Beta and Gamma Processes (YW, LC), p. 68.
ICMLICML-2012-WilsonKG #network #process
Gaussian Process Regression Networks (AGW, DAK, ZG), p. 149.
ICMLICML-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.
ICMLICML-2012-ZhaiHBW #image #modelling #process #using
Modeling Images using Transformed Indian Buffet Processes (KZ, YH, JLBG, SW), p. 118.
ICPRICPR-2012-BoresB #monitoring #process
Urban traffic monitoring from aerial LIDAR data with a Two-Level Marked Point Process model (AB, CB), pp. 1379–1382.
ICPRICPR-2012-DhallG #estimation #process
Group expression intensity estimation in videos via Gaussian Processes (AD, RG), pp. 3525–3528.
ICPRICPR-2012-FreytagFRD #kernel #performance #process #segmentation #semantics
Efficient semantic segmentation with Gaussian processes and histogram intersection kernels (AF, BF, ER, JD), pp. 3313–3316.
ICPRICPR-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.
ICPRICPR-2012-LinL #bottom-up #process #top-down
Integrating bottom-up and top-down processes for accurate pedestrian counting (YL, NL), pp. 2508–2511.
ICPRICPR-2012-LozesEL #3d
Nonlocal processing of 3D colored point clouds (FL, AE, OL), pp. 1968–1971.
ICPRICPR-2012-SuematsuH #process
Time series alignment with Gaussian processes (NS, AH), pp. 2355–2358.
ICPRICPR-2012-YilmazYK #multimodal #network #process
Non-linear weighted averaging for multimodal information fusion by employing Analytical Network Process (TY, AY, MK), pp. 234–237.
KDDKDD-2012-Chen #information management #network #social
Information processing in social networks (MSC), p. 1403.
KDDKDD-2012-KimLX #image #multi #predict #process #using #web
Web image prediction using multivariate point processes (GK, FFL, EPX), pp. 1068–1076.
KDDKDD-2012-SatoKN #process
Practical collapsed variational bayes inference for hierarchical dirichlet process (IS, KK, HN), pp. 105–113.
KDDKDD-2012-Zhang #challenge #information management
A new challenge of information processing under the 21st century (BZ), p. 224.
KDIRKDIR-2012-HaanR #detection
Detecting Temporally Related Arithmetical Patterns — An Extension of Complex Event Processing (RdH, MR), pp. 329–332.
KDIRKDIR-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.
KEODKEOD-2012-AygulCC #multi #natural language #ontology #query
Natural Language Query Processing in Multimedia Ontologies (FAA, NKC, IC), pp. 66–75.
KEODKEOD-2012-NegruB #modelling #ontology #process #web
Persona Modeling Process — From Microdata-based Templates to Specific Web Ontologies (SN, SCB), pp. 34–42.
KEODKEOD-2012-TangRIP
Process-oriented Home Care System Transformation in Central Finland (JT, TR, JI, LGP), pp. 455–460.
KEODKEOD-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.
KMISKMIS-2012-BaqueroM #framework #process
A Framework to Support Business Process Analytics (AVB, OM), pp. 321–332.
KMISKMIS-2012-GringelSS #architecture #enterprise #process #towards
Towards Process Orientation in Enterprise Architecture Management (PG, JS, US), pp. 145–151.
KMISKMIS-2012-LageA12a #approach #process
Information and Knowledge Sharing in Inter-organizational Relationships under the Process Approach (EL, BA), pp. 273–276.
KMISKMIS-2012-MenasselM #case study #formal method #novel #process
A Novel Formalization Process for Use Case Maps (YM, FM), pp. 307–310.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2012-HossianG #concept #process #requirements
Phases, Activities, and Techniques for a Requirements Conceptualization Process (AH, RGM), pp. 25–32.
SEKESEKE-2012-JlaielA #approach #novel #process #reuse #semantics #towards
Towards a Novel Semantic Approach for Process Patterns’ Capitalization and Reuse (NJ, MBA), pp. 505–510.
SEKESEKE-2012-LeeS #approach #re-engineering
A Process-Based Approach to Improving Knowledge Sharing in Software Engineering (SBL, KS), pp. 700–705.
SEKESEKE-2012-MolleriB #automation #bibliography #perspective #process
Automated Approaches to Support Secondary Study Processes: a Systematic Review (JSM, FBVB), pp. 143–147.
SEKESEKE-2012-OliveiraCEP #modelling #process #towards
Towards Autonomic Business Process Models (KO, JC, SE, OP), pp. 531–536.
SEKESEKE-2012-RadulovicG #network #process #recommendation #semantics
Semantic Technology Recommendation Based on the Analytic Network Process (FR, RGC), pp. 611–616.
SIGIRSIGIR-2012-ZhangSCC #keyword #named #performance #query
See-to-retrieve: efficient processing of spatio-visual keyword queries (CZ, LS, KC, GC), pp. 681–690.
ECMFAECMFA-2012-ElaasarL #case study #process #testing
Model Interchange Testing: A Process and a Case Study (ME, YL), pp. 49–61.
MODELSMoDELS-2012-BrancoTCKV #abstraction #process #workflow
Matching Business Process Workflows across Abstraction Levels (MCB, JT, KC, JMK, HV), pp. 626–641.
MODELSMoDELS-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.
MODELSMoDELS-2012-BrancoTCKV #abstraction #process #workflow
Matching Business Process Workflows across Abstraction Levels (MCB, JT, KC, JMK, HV), pp. 626–641.
MODELSMoDELS-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.
OOPSLAOOPSLA-2012-BaoZZ #nondeterminism #program analysis
White box sampling in uncertain data processing enabled by program analysis (TB, YZ, XZ), pp. 897–914.
OOPSLAOOPSLA-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.
TOOLSTOOLS-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.
TOOLSTOOLS-EUROPE-2012-SoekenWD #behaviour #development #natural language #using
Assisted Behavior Driven Development Using Natural Language Processing (MS, RW, RD), pp. 269–287.
QAPLQAPL-2012-Bernardo #bisimulation #concurrent #markov #process
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes (MB), pp. 122–136.
RERE-2012-KongHDD #case study #process #traceability
Process improvement for traceability: A study of human fallibility (WKK, JHH, AD, OD), pp. 31–40.
RERE-2012-Riegel #development #modelling
Model-based prioritization in business-process-driven software development (NR), pp. 349–352.
SACSAC-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.
SACSAC-2012-BookGB #continuation #web
Process-aware continuation management in web applications (MB, VG, MB), pp. 717–724.
SACSAC-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.
SACSAC-2012-GocicS #paradigm #process
Service-oriented paradigm for analyzing hydrological processes (MG, DS), pp. 1994–1995.
SACSAC-2012-JafarinezhadR #process #requirements #towards
Towards a process factory for developing situational requirements engineering processes (OJ, RR), pp. 1089–1090.
SACSAC-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.
SACSAC-2012-LassaigneP #approximate #markov #process #scalability #verification
Approximate planning and verification for large markov decision processes (RL, SP), pp. 1314–1319.
SACSAC-2012-MonakovaBS #process #safety #security
Security and safety of assets in business processes (GM, ADB, AS), pp. 1667–1673.
SACSAC-2012-MoretBATMF #validation
Double dip map-reduce for processing cross validation jobs (DM, KB, EA, JT, RM, JVF), pp. 473–477.
SACSAC-2012-NetoA #analysis #process
Keeping decisions and rationale explicit in business process analysis (MSdSN, RMdA), pp. 1702–1708.
SACSAC-2012-ReichertKBB #personalisation #process #scalability #visualisation
Enabling personalized visualization of large business processes through parameterizable views (MR, JK, RB, TB), pp. 1653–1660.
SACSAC-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.
SACSAC-2012-SioutasPKT #named #network #probability #query
SART: dynamic P2P query processing in sensor networks with probabilistic guarantees (SS, AP, IK, DT), pp. 847–852.
SACSAC-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.
SACSAC-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.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-2012-LavalleeR #bibliography #developer #perspective #process
The impacts of software process improvement on developers: A systematic review (ML, PNR), pp. 113–122.
ICSEICSE-2012-MitchellS #identification #process
Software process improvement through the identification and removal of project-level knowledge flow obstacles (SMM, CBS), pp. 1265–1268.
ICSEICSE-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.
ICSEICSE-2012-ZhangLY #debugging #framework
An integrated bug processing framework (XZ, ML, KY), pp. 1469–1470.
PLEASEPLEASE-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.
HPCAHPCA-2012-LinMHSC #named #performance
Parabix: Boosting the efficiency of text processing on commodity processors (DL, NM, KSH, AS, RDC), pp. 373–384.
HPCAHPCA-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.
HPDCHPDC-2012-LohrmannWK #constraints
Massively-parallel stream processing under QoS constraints with Nephele (BL, DW, OK), pp. 271–282.
PPoPPPPoPP-2012-ZhongH #bibliography #graph
An overview of Medusa: simplified graph processing on GPUs (JZ, BH), pp. 283–284.
ICSTICST-2012-PaciMBD #evolution #process #requirements #testing
Managing Evolution by Orchestrating Requirements and Testing Engineering Processes (FP, FM, FB, SD), pp. 834–841.
ECSAECSA-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.
QoSAQoSA-ISARCS-2011-CavalcantiAM #process #quality #variability
Extending the RiPLE-DE process with quality attribute variability realization (RdOC, ESdA, SRLM), pp. 159–164.
QoSAQoSA-ISARCS-2011-Durdik #agile #architecture #development #modelling #process #towards
Towards a process for architectural modelling in agile software development (ZD), pp. 183–192.
WICSAWICSA-2011-HeeschA #architecture #bibliography #maturity #process #reasoning
Mature Architecting — A Survey about the Reasoning Process of Professional Architects (UvH, PA), pp. 260–269.
ASEASE-2011-ChenHX #approach #evaluation #machine learning #process
Software process evaluation: A machine learning approach (NC, SCHH, XX), pp. 333–342.
ASEASE-2011-LeungwattanakitAHTY #distributed #model checking #process
Model checking distributed systems by combining caching and process checkpointing (WL, CA, MH, YT, MY), pp. 103–112.
ASEASE-2011-PietschYK #generative #modelling #tool support
Generating realistic test models for model processing tools (PP, HSY, UK), pp. 620–623.
ASEASE-2011-SilvaBB #execution #process
Deviation management during process execution (MAAdS, XB, RB), pp. 528–531.
CASECASE-2011-AngererEHRR #automation #design #process
Design of an automation system for preforming processes in aerospace industries (AA, CE, AH, WR, GR), pp. 557–562.
CASECASE-2011-LeeL #clustering #concurrent #multi
Concurrent processing of multiple wafer types in a single-armed cluster tool (JHL, TEL), pp. 102–107.
CASECASE-2011-LiTL #process
A GERT-based analytical method for remanufacturing process routing (CL, YT, CL), pp. 462–467.
CASECASE-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.
CASECASE-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.
CASECASE-2011-ThramboulidisSF #automation #industrial #process #safety #towards #verification
Towards an automated verification process for industrial safety applications (KT, DS, GF), pp. 482–487.
DACDAC-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.
DACDAC-2011-DyerMK #hybrid #modelling #process
Hybrid modeling of non-stationary process variations (ELD, MM, FK), pp. 194–199.
DACDAC-2011-HaoTSS #analysis #bound #performance #process
Performance bound analysis of analog circuits considering process variations (ZH, SXDT, RS, GS), pp. 310–315.
DACDAC-2011-Hazelwood #adaptation #embedded #runtime
Process-level virtualization for runtime adaptation of embedded software (KMH), pp. 895–900.
DACDAC-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.
DACDAC-2011-SharifiK #multi #process
Process variation-aware routing in NoC based multicores (AS, MTK), pp. 924–929.
DACDAC-2011-ZhaiNS #adaptation #modelling #network #process #streaming
Modeling adaptive streaming applications with parameterized polyhedral process networks (JTZ, HN, TS), pp. 116–121.
DATEDATE-2011-BernardC #power management
A low-power VLIW processor for 3GPP-LTE complex numbers processing (CB, FC), pp. 234–239.
DATEDATE-2011-FerreiraBCMM #algorithm #process
Impact of process variation on endurance algorithms for wear-prone memories (APF, SB, BRC, RGM, DM), pp. 962–967.
DATEDATE-2011-GilaniKS #memory management #optimisation
Scratchpad memory optimizations for digital signal processing applications (SZG, NSK, MJS), pp. 974–979.
DATEDATE-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.
DATEDATE-2011-KunduS #design #modelling #process
Modeling manufacturing process variation for design and test (SK, AS), pp. 1147–1152.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2011-SreedharK #design #identification #on the #process
On design of test structures for lithographic process corner identification (AS, SK), pp. 800–805.
DATEDATE-2011-WelpK #approach #markov #process #synthesis
An approach for dynamic selection of synthesis transformations based on Markov Decision Processes (TW, AK), pp. 1533–1536.
DocEngDocEng-2011-BultermanGCMP #documentation #html #multi
Multimedia document processing in an HTML5 world (DCAB, RLG, PC, EVM, MdGCP), pp. 273–274.
DocEngDocEng-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.
DRRDRR-2011-Saund #challenge #documentation
Scientific challenges underlying production document processing (ES), pp. 1–10.
ICDARICDAR-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.
ICDARICDAR-2011-WinderAS #algorithm #documentation #segmentation
Extending Page Segmentation Algorithms for Mixed-Layout Document Processing (AW, TLA, EHBS), pp. 1245–1249.
PODSPODS-2011-DeutchM #database #process #research
A quest for beauty and wealth (or, business processes for database researchers) (DD, TM), pp. 1–12.
PODSPODS-2011-HeBWN #complexity #on the #privacy
On the complexity of privacy-preserving complex event processing (YH, SB, DW, JFN), pp. 165–174.
SIGMODSIGMOD-2011-Bajda-PawlikowskiASP #execution #performance #query
Efficient processing of data warehousing queries in a split execution environment (KBP, DJA, AS, EP), pp. 1165–1176.
SIGMODSIGMOD-2011-HanLMHY #approach #sequence
A new approach for processing ranked subsequence matching based on ranked union (WSH, JL, YSM, SwH, HY), pp. 457–468.
SIGMODSIGMOD-2011-JinBXCZ #named #query #visual notation
GBLENDER: visual subgraph query formulation meets query processing (CJ, SSB, XX, BC, SZ), pp. 1327–1330.
SIGMODSIGMOD-2011-KllapiSTI #optimisation
Schedule optimization for data processing flows on the cloud (HK, ES, MMT, YEI), pp. 289–300.
SIGMODSIGMOD-2011-KohlerYZ #parallel #performance #using
Efficient parallel skyline processing using hyperplane projections (HK, JY, XZ), pp. 85–96.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2011-OkcanR #pipes and filters #using
Processing theta-joins using MapReduce (AO, MR), pp. 949–960.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2011-SoroushBW #array #named #parallel
ArrayStore: a storage manager for complex parallel array processing (ES, MB, DLW), pp. 253–264.
SIGMODSIGMOD-2011-VlachouDP #query
Skyline query processing over joins (AV, CD, NP), pp. 73–84.
VLDBVLDB-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.
VLDBVLDB-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.
VLDBVLDB-2011-CaoSDS #distributed #monitoring #query
Distributed inference and query processing for RFID tracking and monitoring (ZC, CAS, YD, PJS), pp. 326–337.
VLDBVLDB-2011-FengFKKMRWX #named #query
CrowdDB: Query Processing with the VLDB Crowd (AF, MJF, DK, TK, SM, SR, AW, RX), pp. 1387–1390.
VLDBVLDB-2011-FunkeKN #query #transaction
HyPer-sonic Combined Transaction AND Query Processing (FF, AK, TN), pp. 1367–1370.
VLDBVLDB-2011-PengDL #nondeterminism #optimisation #probability #query
Optimizing Probabilistic Query Processing on Continuous Uncertain Data (LP, YD, AL), pp. 1169–1180.
VLDBVLDB-2011-WangRE
Active Complex Event Processing over Event Streams (DW, EAR, RTE), pp. 634–645.
VLDBVLDB-2012-ArmbrustCKFFP11 #in the cloud #named #query
PIQL: Success-Tolerant Query Processing in the Cloud (MA, KC, TK, AF, MJF, DAP), pp. 181–192.
VLDBVLDB-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.
CSEETCSEET-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.
CSEETCSEET-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.
ITiCSEITiCSE-2011-HarrachA #collaboration #learning #optimisation #process #recommendation #using
Optimizing collaborative learning processes by using recommendation systems (SH, MA), p. 389.
ITiCSEITiCSE-2011-MesserK #problem #process
The use of mediating artifacts in embedding problem solving processes in an e-learning environment (OMM, AK), p. 390.
ITiCSEITiCSE-2011-PearsonBG #evaluation #process #web
A tool to support the web accessibility evaluation process for novices (EP, CB, SG), pp. 28–32.
FoSSaCSFoSSaCS-2011-PierardS #bisimulation #calculus #distributed #higher-order #process
Sound Bisimulations for Higher-Order Distributed Process Calculus (AP, ES), pp. 123–137.
TACASTACAS-2011-GaravelLMS #analysis #distributed #process
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (HG, FL, RM, WS), pp. 372–387.
TACASTACAS-2011-KieferW #on the #parallel #probability #process #source code
On Probabilistic Parallel Programs with Process Creation and Synchronisation (SK, DW), pp. 296–310.
ICPCICPC-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.
CSMRCSMR-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.
CSMRCSMR-2011-PoncinSB #mining #process #repository
Process Mining Software Repositories (WP, AS, MvdB), pp. 5–14.
CSMRCSMR-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.
CSMRCSMR-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.
ICPCICPC-2011-TothVBG #complexity #metric #predict #process
Adding Process Metrics to Enhance Modification Complexity Prediction (GT, AZV, ÁB, TG), pp. 201–204.
ICSMEICSM-2011-Hindle #perspective #process
Evidence-based software process recovery: A post-doctoral view (AH), pp. 562–567.
ICSMEICSM-2011-Perez-CastilloFGP #process
MARBLE. A business process archeology tool (RPC, MFR, IGRdG, MP), pp. 578–581.
ICSMEICSM-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.
ICALPICALP-v1-2011-Coja-OghlanP #process #random #satisfiability
The Decimation Process in Random k-SAT (ACO, AYPP), pp. 305–316.
FMFM-2011-ChenLW #communication #process #refinement
Failure-Divergence Refinement of Compensating Communicating Processes (ZC, ZL, JW), pp. 262–277.
SEFMSEFM-2011-HildebrandtMS #declarative #process
Safe Distribution of Declarative Processes (TTH, RRM, TS), pp. 237–252.
SEFMSEFM-2011-Pedercini #communication #modelling #policy #process
Models and Communication in the Policy Process (MP), pp. 35–37.
SEFMSEFM-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.
CEFPCEFP-2011-MichaelsonG #calculus #multi #reasoning
Reasoning about Multi-process Systems with the Box Calculus (GM, GG), pp. 279–338.
AGTIVEAGTIVE-2011-FurstMM #graph grammar #heuristic #induction #process
Graph Grammar Induction as a Parser-Controlled Heuristic Search Process (LF, MM, VM), pp. 121–136.
AGTIVEAGTIVE-2011-Proctor #named
Drools: A Rule Engine for Complex Event Processing (MP), p. 2.
CHICHI-2011-ChilanaGF #multi #process
Modern software product support processes and the usage of multimedia formats (PKC, TG, GWF), pp. 3093–3102.
CHICHI-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.
CSCWCSCW-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.
HCIDUXU-v1-2011-ChampneyKS #design #performance #process
Making the Design Process More Usable: Aligning Design with User Performance (RKC, CK, KMS), pp. 33–42.
HCIDUXU-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.
HCIDUXU-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.
HCIHCD-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.
HCIHCD-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.
HCIHCI-DDA-2011-Fernandez-LlatasMSN #interactive #process #simulation
Process Choreography for Human Interaction Computer-Aided Simulation (CFL, JBM, PS, JCN), pp. 214–220.
HCIHCI-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.
HCIHIMI-v1-2011-HirasawaOY #design #process #user interface
Connecting Envisioning Process to User Interface Design Process (NH, SO, KYK), pp. 13–19.
HCIHIMI-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.
HCIHIMI-v1-2011-MurakamiK #music #parametricity #process
Auditory Feature Parameters for Music Based on Human Auditory Processes (MM, TK), pp. 612–617.
HCIHIMI-v1-2011-NasuKAN #information management
Information Processing for Constructing Tactile Perception of Motion: A MEG Study (AN, KK, TA, SN), pp. 478–487.
HCIHIMI-v2-2011-LeeCT #comparison #process #re-engineering
ICT-Enabled Business Process Re-engineering: International Comparison (YCL, PYC, HLT), pp. 278–284.
HCIHIMI-v2-2011-SakataM #collaboration #communication #process
Process in Establishing Communication in Collaborative Creation (MS, KM), pp. 315–324.
HCIIDGD-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.
HCIOCSC-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.
CAiSECAiSE-2011-AuerBKS #case study #process #research
Exploratory Case Study Research on SOA Investment Decision Processes in Austria (LA, EB, NK, CS), pp. 329–336.
CAiSECAiSE-2011-AwadGTW #approach #process #synthesis
An Iterative Approach for Business Process Template Synthesis from Compliance Rules (AA, RG, JT, MW), pp. 406–421.
CAiSECAiSE-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.
CAiSECAiSE-2011-BoseAZP #concept #mining #process
Handling Concept Drift in Process Mining (RPJCB, WMPvdA, IZ, MP), pp. 391–405.
CAiSECAiSE-2011-CabanillasRCA #automation #generative #process
Automatic Generation of a Data-Centered View of Business Processes (CC, MR, ARC, AA), pp. 352–366.
CAiSECAiSE-2011-ComuzziV #collaboration #design #monitoring #process #workflow
Product-Based Workflow Design for Monitoring of Collaborative Business Processes (MC, ITPV), pp. 154–168.
CAiSECAiSE-2011-DelgadoRGP #generative #process
Business Process Service Oriented Methodology (BPSOM) with Service Generation in SoaML (AD, FR, IGRdG, MP), pp. 672–680.
CAiSECAiSE-2011-DornD #process #self
Supporting Dynamic, People-Driven Processes through Self-learning of Message Flows (CD, SD), pp. 657–671.
CAiSECAiSE-2011-FernandezAI #development #evaluation #modelling #process #usability #web
A Web Usability Evaluation Process for Model-Driven Web Development (AF, SA, EI), pp. 108–122.
CAiSECAiSE-2011-FiglL #complexity #modelling #process
Cognitive Complexity in Business Process Modeling (KF, RL), pp. 452–466.
CAiSECAiSE-2011-FriedrichMP #generative #natural language #process
Process Model Generation from Natural Language Text (FF, JM, FP), pp. 482–496.
CAiSECAiSE-2011-GronerWBPWHGS #process #product line #validation
Validation of Families of Business Processes (GG, CW, MB, FSP, TW, FH, DG, SS), pp. 551–565.
CAiSECAiSE-2011-KabicherR #analysis #process
Human-Centered Process Engineering Based on Content Analysis and Process View Aggregation (SK, SRM), pp. 467–481.
CAiSECAiSE-2011-KhalufGE #constraints #formal method #modelling #process #quality
Pattern-Based Modeling and Formalizing of Business Process Quality Constraints (LK, CG, GE), pp. 521–535.
CAiSECAiSE-2011-LeopoldMR #automation #modelling #on the #process
On the Automatic Labeling of Process Models (HL, JM, HAR), pp. 512–520.
CAiSECAiSE-2011-LuebbeW #empirical #modelling #process
Tangible Media in Process Modeling — A Controlled Experiment (AL, MW), pp. 283–298.
CAiSECAiSE-2011-SmirnovRW #abstraction #approach #process #semantics
A Semantic Approach for Business Process Model Abstraction (SS, HAR, MW), pp. 497–511.
CAiSECAiSE-2011-WeidlichMW #approach #process #variability
A Foundational Approach for Managing Process Variability (MW, JM, MW), pp. 267–282.
EDOCEDOC-2011-MilanovicGR #flexibility #modelling #process
Modeling Flexible Business Processes with Business Rule Patterns (MM, DG, LR), pp. 65–74.
EDOCEDOC-2011-Papazoglou #process #standard
Making Business Processes Compliant to Standards and Regulations (MPP), pp. 3–13.
EDOCEDOC-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.
EDOCEDOC-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.
EDOCEDOC-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.
ICEISICEIS-J-2011-BezerraH11a #community #process #wiki
Applying Conflict Management Process to Wiki Communities (JdMB, CMH), pp. 333–348.
ICEISICEIS-J-2011-CarvalhoSRP #named
PAR-COM: A New Methodology for Post-processing Association Rules (VOdC, FFdS, SOR, RdP), pp. 66–80.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-J-2011-TahamtanOTH11a #process
Temporal Management of WS-BPEL Processes (AT, CO, AMT, AH), pp. 256–269.
ICEISICEIS-v1-2011-CarvalhoSR #clustering #metric
Post-processing Association Association Rules with Clustering and Objective Measures (VOdC, FFdS, SOR), pp. 54–63.
ICEISICEIS-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.
ICEISICEIS-v1-2011-JiG #framework #process #research
Research Process Oriented Intelligent Decision Support System Framework (YJ, JG), pp. 534–538.
ICEISICEIS-v1-2011-PreisslerHL #cost analysis #deployment #process
Cost-based Business Process Deployment Advisor (SP, DH, WL), pp. 211–216.
ICEISICEIS-v1-2011-RamirezC #fault #process #using
Fault Diagnosis of Batch Processes Release using PCA Contribution Plots as Fault Signatures (AWR, JCL), pp. 223–228.
ICEISICEIS-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.
ICEISICEIS-v1-2011-WangRP #process #research
Research of Circular Logistics Process of Telecommunications Operators (YW, YR, LP), pp. 308–313.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v3-2011-CamposO #development #modelling #process
Modeling Work Processes and Software Development — Notation and Tool (ALNC, TCdO), pp. 337–343.
ICEISICEIS-v3-2011-HastbackaKK #development #industrial #modelling #process
Business Process Modeling and SOA in Industrial O&M Application Development (DH, PK, SK), pp. 277–285.
ICEISICEIS-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.
ICEISICEIS-v3-2011-PereiraBMO #consistency #process
Improving the Consistency of SPEM-based Software Processes (EBP, RMB, MdCM, TCdO), pp. 76–86.
ICEISICEIS-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.
ICEISICEIS-v4-2011-BezerraH #community #process
Conflict Management Process for Virtual Communities (JdMB, CMH), pp. 33–42.
ICEISICEIS-v4-2011-ChangS #mobile #process #research #simulation
Research on Grid-based Mobile Business Process and Simulation (DC, LS), pp. 86–93.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v4-2011-ShiZ #enterprise #industrial #process #re-engineering
The Business Process Reengineering Study of Steel Industry based on ERP (XS, BZ), pp. 591–594.
ICEISICEIS-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.
ICEISICEIS-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.
CIKMCIKM-2011-AzzamRY #query #sql
Ranking-based processing of SQL queries (HA, TR, SY), pp. 231–236.
CIKMCIKM-2011-ChenHAXHP #image #modelling #process
Perspective hierarchical dirichlet process for user-tagged image modeling (XC, XH, YA, ZX, TH, EKP), pp. 1341–1346.
CIKMCIKM-2011-ChristoforakiHDMS #performance #query
Text vs. space: efficient geo-search query processing (MC, JH, CD, AM, TS), pp. 423–432.
CIKMCIKM-2011-GuirguisSCL #multi #query
Optimized processing of multiple aggregate continuous queries (SG, MAS, PKC, AL), pp. 1515–1524.
CIKMCIKM-2011-KimO #dependence #process
Accounting for data dependencies within a hierarchical dirichlet process mixture model (DK, AHO), pp. 873–878.
CIKMCIKM-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.
CIKMCIKM-2011-MaZSDC #query
Matching query processing in high-dimensional space (CM, YZ, LS, DD, GC), pp. 1589–1594.
CIKMCIKM-2011-ParkSBY #distance #nearest neighbour #query
k-Nearest neighbor query processing method based on distance relation pattern (YP, DS, KB, JY), pp. 2413–2416.
CIKMCIKM-2011-PeukertER #process #rule-based
Rule-based construction of matching processes (EP, JE, ER), pp. 2421–2424.
CIKMCIKM-2011-RenMWL #process #thread #topic #web
Summarizing web forum threads based on a latent topic propagation process (ZR, JM, SW, YL), pp. 879–884.
CIKMCIKM-2011-ShastriDRW #multi #named #scalability
MTopS: scalable processing of continuous top-k multi-query workloads (AS, DY, EAR, MOW), pp. 1107–1116.
ECIRECIR-2011-FrommholzPLR #framework #information retrieval #query
Processing Queries in Session in a Quantum-Inspired IR Framework (IF, BP, ML, KvR), pp. 751–754.
ECIRECIR-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.
ICMLICML-2011-ChenPSDC #analysis #learning #process
The Hierarchical Beta Process for Convolutional Factor Analysis and Deep Learning (BC, GP, GS, DBD, LC), pp. 361–368.
ICMLICML-2011-KuleszaT #named #process
k-DPPs: Fixed-Size Determinantal Point Processes (AK, BT), pp. 1193–1200.
ICMLICML-2011-Lazaro-GredillaT #process
Variational Heteroscedastic Gaussian Process Regression (MLG, MKT), pp. 841–848.
ICMLICML-2011-MannorT #markov #optimisation #process
Mean-Variance Optimization in Markov Decision Processes (SM, JNT), pp. 177–184.
ICMLICML-2011-PaisleyCB #process
Variational Inference for Stick-Breaking Beta Process Priors (JWP, LC, DMB), pp. 889–896.
ICMLICML-2011-RaiD #process
Beam Search based MAP Estimates for the Indian Buffet Process (PR, HDI), pp. 705–712.
ICMLICML-2011-ThomasB #markov #process
Conjugate Markov Decision Processes (PST, AGB), pp. 137–144.
ICMLICML-2011-ZhuCX #infinity #kernel #process
Infinite SVM: a Dirichlet Process Mixture of Large-margin Kernel Machines (JZ, NC, EPX), pp. 617–624.
KDIRKDIR-2011-RomeiT #process #programming #using #xquery
Programming the KDD Process using XQuery (AR, FT), pp. 131–139.
KEODKEOD-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.
KEODKEOD-2011-OmraneNS #concept #ontology #process
From Linguistics to Ontologies — The Role of Named Entities in the Conceptualisation Process (NO, AN, SS), pp. 249–254.
KMISKMIS-2011-FortierS #modelling #process #requirements #using
Defining Information Requirements — Using Business Process Modeling for Incident Response for Chemical Facilities (SCF, GLS), pp. 411–417.
KMISKMIS-2011-GoncalvesP #approach #challenge #process #towards
Business Processes and Organisations — Challenges and Opportunities Towards a People-centric Approach (NPG, JASP), pp. 418–423.
KMISKMIS-2011-GretschMH #implementation #process
The Difficulty of Finding Experts — Implementation Process of Corporate Yellow Pages (SG, HM, JH), pp. 48–56.
KMISKMIS-2011-Grim-YefsahRT11a #network #process #robust #using
Using Information of an Informal Network to Evaluate Business Process Robustness (MGY, CRS, VTG), pp. 430–435.
KMISKMIS-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.
KMISKMIS-2011-NiedermannSM #optimisation #process #repository
Managing Insights: A Repository for Process Analytics, Optimization and Decision Support (FN, HS, BM), pp. 424–429.
KMISKMIS-2011-Nishioka #process #using
Quotation Process Management of One-of-a-kind Production using PSLX Information Model (YN), pp. 167–172.
KMISKMIS-2011-RamosSB #process
A Method for Discovering the Relevance of External Context Variables to Business Processes (ECR, FMS, FAB), pp. 399–408.
MLDMMLDM-2011-ShengT #process
Boosting Inspired Process for Improving AUC (VSS, RT), pp. 199–209.
SEKESEKE-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.
SEKESEKE-2011-BalbinoAM #agile #process #product line
An Agile Scoping Process for Software Product Lines (MB, ESdA, SRdLM), pp. 717–722.
SEKESEKE-2011-BasriO #development #information management #process
The Impact of Software Development Team Dynamics on the Knowledge Management Process(S) (SB, RVO), pp. 339–342.
SEKESEKE-2011-BozRSTNP #information management #process
A Virtual Catalyst in the Knowledge Acquisition Process (GBJ, MPR, GYS, CAT, JCN, ECP), pp. 149–152.
SEKESEKE-2011-ChenHS #adaptation #analysis #modelling #process #towards #validation
Towards Modeling and Validating Analysis Processes for Software Adaptation (XC, GH, LS), pp. 547–552.
SEKESEKE-2011-DiawLC #implementation #metamodelling #process #specification
Specification and Implementation of SPEM4MDE, a metamodel for MDE software processes (SD, RL, BC), pp. 646–653.
SEKESEKE-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.
SEKESEKE-2011-GuntherNGD #network #process
Causal Networks Based Process Improvement (DG, RN, KG, RRD), pp. 462–465.
SEKESEKE-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.
SEKESEKE-2011-Krishna #approach #non-functional #process #requirements #uml
A Process Oriented Approach to Model Non-Functional Requirements Proposition Extending UML (AK), pp. 736–739.
SEKESEKE-2011-LemosSLO #consistency #development #mining #process
Conformance Checking of Software Development Processes Through Process Mining (AML, CCS, RMFL, CALO), pp. 654–659.
SEKESEKE-2011-MachadoNAM #named #process #product line #testing
RiPLE-TE: A Process for Testing Software Product Lines (IdCM, PAdMSN, ESdA, SRdLM), pp. 711–716.
SEKESEKE-2011-MordinyiMBD #adaptation #flexibility #process
Flexible Support for Adaptable Software and Systems Engineering Processes (RM, TM, SB, DD), pp. 608–612.
SEKESEKE-2011-WagnerFF #process #security #using
Using Security Patterns to Tailor Software Process (RW, LMF, ABF), pp. 672–677.
SEKESEKE-2011-XieLW #modelling #process #reliability #web #web service
A Web Service Reliability Model Based on Birth-Death Process (CX, BL, XW), pp. 625–628.
SEKESEKE-2011-ZhouWC #information management #process
Knowledge Engineering in the domain of Carbon Dioxide Capture Process System (QZ, AJW, CWC), pp. 414–419.
SIGIRSIGIR-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.
ECMFAECMFA-2011-BendraouLCG #modelling
Process-Centred Approaches for Model-Driven Engineering (PMDE) — First Edition (RB, RL, BC, MPG), pp. 383–384.
ECMFAECMFA-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
QAPLQAPL-2011-DengGHM #probability #process #testing
Real-Reward Testing for Probabilistic Processes (Extended Abstract) (YD, RJvG, MH, CM), pp. 61–73.
PADLPADL-2011-FodorAR
Results on Out-of-Order Event Processing (PF, DA, SR), pp. 220–234.
POPLPOPL-2011-AlurC #algorithm #source code #streaming #transducer #verification
Streaming transducers for algorithmic verification of single-pass list-processing programs (RA, PC), pp. 599–610.
POPLPOPL-2011-FengDY #bisimulation #process #quantum
Bisimulation for quantum processes (YF, RD, MY), pp. 523–534.
POPLPOPL-2011-Gulwani #automation #spreadsheet #string #using
Automating string processing in spreadsheets using input-output examples (SG), pp. 317–330.
RERE-2011-KomssiKTLD #analysis #perspective #process
Integrating analysis of customers’ processes into roadmapping: The value-creation perspective (MK, MK, HT, LL, AMD), pp. 57–66.
REFSQREFSQ-2011-HenkelP #perspective #requirements
E-Service Requirements from a Consumer-Process Perspective (MH, EP), pp. 121–135.
REFSQREFSQ-2011-MarkovHC #case study #industrial #process #requirements
Requirements Engineering Process Improvement: An Industrial Case Study (GAM, AH, OC), pp. 34–47.
SACSAC-2011-AdaikkalavanP #query
Secure shared continuous query processing (RA, TP), pp. 1000–1005.
SACSAC-2011-ClevenWW #analysis #design #performance #problem #process
Process performance management: illuminating design issues through a systematic problem analysis (AC, RW, FW), pp. 280–286.
SACSAC-2011-JanieschMMVB #architecture #named #process #realtime
Slipstream: architecture options for real-time process analytics (CJ, MM, OM, RV, JB), pp. 295–300.
SACSAC-2011-LiOZ #approach #collaboration #modelling #process
An integrated approach for modeling and facilitating RFID-based collaborative logistics processes (YL, AO, HZ), pp. 301–307.
SACSAC-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.
SACSAC-2011-RamosCAA #case study #modelling #process #towards
Towards the improvement of use case models: the AIRDoc process (RAR, JBdC, JA, FMRA), pp. 708–709.
SACSAC-2011-TranCTV #automation #modelling #process #reuse
Automatic reuse of process patterns in process modeling (HNT, BC, TDT, MHV), pp. 1431–1438.
SACSAC-2011-ZhangWAWLL #performance #using
Fast lists intersection with Bloom filter using graphics processing units (FZ, DW, NA, GW, XL, JL), pp. 825–826.
ESEC-FSEESEC-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-FSEESEC-FSE-2011-Mori #adaptation #lifecycle #process
A software lifecycle process for context-aware adaptive systems (MM), pp. 412–415.
ESEC-FSEESEC-FSE-2011-Prause #process #quality #research #self
Reputation-based self-management of software process artifact quality in consortium research projects (CP), pp. 380–383.
ICSEICSE-2011-CuddebackDHHK #process #requirements #towards
Towards overcoming human analyst fallibility in the requirements tracing process (DC, AD, JHH, JH, WKK), pp. 860–863.
ICSEICSE-2011-FujiiDF #assessment #development #incremental #process #reliability #towards
Towards quantitative software reliability assessment in incremental development processes (TF, TD, TF), pp. 41–50.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-2011-Sethanandha #open source #process #tool support
Improving open source software patch contribution process: methods and tools (BDS), pp. 1134–1135.
ICSEICSE-2011-SimidchievaO #process
Characterizing process variation (BIS, LJO), pp. 836–839.
ICSEICSE-2011-ZhangJHHZ #process #simulation
Impact of process simulation on software practice: an initial report (HZ, DRJ, DH, LH, LZ), pp. 1046–1056.
SLESLE-2011-ErwigW #design #exclamation #process #semantics
Semantics First! — Rethinking the Language Design Process (ME, EW), pp. 243–262.
SPLCSPLC-2011-ChenE #optimisation #process
Optimizing the Product Derivation Process (SC, ME), pp. 35–44.
HPCAHPCA-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.
SOSPSOSP-2011-LaadanVTBYN #detection #pervasive #process
Pervasive detection of process races in deployed systems (OL, NV, CcT, CB, JY, JN), pp. 353–367.
SOSPSOSP-2011-PopaRZB #named #query
CryptDB: protecting confidentiality with encrypted query processing (RAP, CMSR, NZ, HB), pp. 85–100.
CAVCAV-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.
ICLPICLP-2011-Hanus #declarative #web
Declarative Processing of Semistructured Web Data (MH), pp. 198–208.
LICSLICS-2011-BrazdilBCFK #markov #multi #process
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (TB, VB, KC, VF, AK), pp. 33–42.
VMCAIVMCAI-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.
ECSAECSA-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.
ECSAECSA-2010-HeeschA #architecture #bibliography #comprehension #process #reasoning #student
Naive Architecting — Understanding the Reasoning Process of Students — A Descriptive Survey (UvH, PA), pp. 24–37.
ASEASE-2010-GabrysiakGS #behaviour #interactive #multi #process #requirements #validation
Deriving behavior of multi-user processes from interactive requirements validation (GG, HG, AS), pp. 355–356.
CASECASE-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.
CASECASE-2010-ChenWZZF #analysis #performance #process #towards
Towards performance analysis of wheel loading process in automotive manufacturing (HC, JW, BZ, GZ, TAF), pp. 234–239.
CASECASE-2010-GengAXJ #case study #process
Experimental study of Magnetic Resonance Imaging examination reservation process for stroke patients (NG, VA, XX, ZJ), pp. 774–779.
CASECASE-2010-ParkB
Utility-based dynamic control of batch processing systems (HP, AB), pp. 439–444.
CASECASE-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.
CASECASE-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.
CASECASE-2010-SchirruPN10a #multi #process #statistics
Multilevel statistical process control of asynchronous multi-stream processes in semiconductor manufacturing (AS, SP, GDN), pp. 57–62.
DACDAC-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.
DACDAC-2010-HuangX #performance #process #scheduling
Performance yield-driven task allocation and scheduling for MPSoCs under process variation (LH, QX), pp. 326–331.
DACDAC-2010-KuangB #latency #named
LATA: a latency and throughput-aware packet processing system (JK, LNB), pp. 36–41.
DACDAC-2010-NadakuditiM #cost analysis #on the
On the costs and benefits of stochasticity in stream processing (RRN, ILM), pp. 320–325.
DACDAC-2010-NiuCXX #process
Impact of process variations on emerging memristor (DN, YC, CX, YX), pp. 877–882.
DACDAC-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.
DATEDATE-2010-AnastasiaA #energy #image #refinement #scheduling #trade-off
Scheduling and energy-distortion tradeoffs with operational refinement of image processing (DA, YA), pp. 1719–1724.
DATEDATE-2010-BashirM #process #reliability #towards
Towards a chip level reliability simulator for copper/low-k backend processes (MB, LSM), pp. 279–282.
DATEDATE-2010-BsoulMS #process
Reliability- and process variation-aware placement for FPGAs (AAMB, NM, LS), pp. 1809–1814.
DATEDATE-2010-HernandezSD #process
A methodology for the characterization of process variation in NoC links (CH, FS, JD), pp. 685–690.
DATEDATE-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.
DATEDATE-2010-KlemmF #c++ #embedded #metaprogramming #using
Bitstream processing for embedded systems using C++ metaprogramming (RK, GF), pp. 909–913.
DATEDATE-2010-LiuLKJ #adaptation #correlation #multi
FPGA-based adaptive computing for correlated multi-stream processing (ML, ZL, WK, AJ), pp. 973–976.
DATEDATE-2010-MeijerNS #modelling #network #process #throughput
Throughput modeling to evaluate process merging transformations in polyhedral process networks (SM, HN, TS), pp. 747–752.
DATEDATE-2010-MuZZLDZ
IP routing processing with graphic processors (SM, XZ, NZ, JL, YSD, SZ), pp. 93–98.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2010-WangT #novel #physics #process
Novel Physical Unclonable Function with process and environmental variations (XW, MT), pp. 1065–1070.
DATEDATE-2010-YangGBSC #automation
Automated bottleneck-driven design-space exploration of media processing systems (YY, MG, TB, SS, HC), pp. 1041–1046.
DATEDATE-2010-ZhuoSB #process #reliability
Process variation and temperature-aware reliability management (CZ, DS, DB), pp. 580–585.
DocEngDocEng-2010-BalinskyBS #documentation #on the
On helmholtz’s principle for documents processing (AAB, HB, SJS), pp. 283–286.
DocEngDocEng-2010-QuintRSV #editing
From templates to schemas: bridging the gap between free editing and safe data processing (VQ, CR, SS, CV), pp. 61–64.
DRRDRR-2010-HuangDC #modelling #recognition #word
A word language model based contextual language processing on Chinese character recognition (CH, XD, YC), pp. 1–10.
DRRDRR-2010-SmithLD #preprocessor
Effect of pre-processing on binarization (EHBS, LLS, JD), pp. 1–10.
DRRDRR-2010-XiuB #recognition
Incorporating linguistic post-processing into whole-book recognition (PX, HSB), pp. 1–10.
SIGMODSIGMOD-2010-ArumugamDJPP #scalability
The DataPath system: a data-centric analytic processing engine for large data warehouses (SA, AD, CMJ, NP, LLP), pp. 519–530.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2010-Brown #analysis #array #bibliography #scalability
Overview of sciDB: large scale array storage, processing and analysis (PGB), pp. 963–968.
SIGMODSIGMOD-2010-ChenWHY #graph #in the cloud #scalability
Large graph processing in the cloud (RC, XW, BH, MY), pp. 1123–1126.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2010-KanagalD #correlation #database #probability
Lineage processing over correlated probabilistic databases (BK, AD), pp. 675–686.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2010-MalewiczABDHLC #graph #named #scalability
Pregel: a system for large-scale graph processing (GM, MHA, AJCB, JCD, IH, NL, GC), pp. 135–146.
SIGMODSIGMOD-2010-MarczakHBSLA #distributed #named
SecureBlox: customizable secure distributed data processing (WRM, SSH, MB, MS, BTL, MA), pp. 723–734.
SIGMODSIGMOD-2010-SternBB #approach #network #query
Processing continuous join queries in sensor networks: a filtering approach (MS, KB, EB), pp. 267–278.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2010-XuJ #network #proximity
Processing proximity relations in road networks (ZX, HAJ), pp. 243–254.
VLDBVLDB-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.
VLDBVLDB-2010-BuHBE #clustering #named #performance #scalability
HaLoop: Efficient Iterative Data Processing on Large Clusters (YB, BH, MB, MDE), pp. 285–296.
VLDBVLDB-2010-CaliGP #ontology #query
Advanced Processing for Ontological Queries (AC, GG, AP), pp. 554–565.
VLDBVLDB-2010-DeutchMPY #evaluation #process #query
Optimal Top-K Query Evaluation for Weighted Business Processes (DD, TM, NP, TY), pp. 940–951.
VLDBVLDB-2010-Etzion #past present future
Event Processing — past, present and future (OE), pp. 1651–1652.
VLDBVLDB-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.
VLDBVLDB-2010-KazemitabarDAAS #query #sql #using
Geospatial Stream Query Processing using Microsoft SQL Server StreamInsight (SJK, UD, MHA, AA, CS), pp. 1537–1540.
VLDBVLDB-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.
VLDBVLDB-2010-SadoghiJLSS #algorithm #configuration management #hardware #performance
Efficient Event Processing through Reconfigurable Hardware for Algorithmic Trading (MS, HAJ, ML, WS, HS), pp. 1525–1528.
VLDBVLDB-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.
VLDBVLDB-2010-TzoumasDJ #clustering #correlation #query
Sharing-Aware Horizontal Partitioning for Exploiting Correlations During Query Processing (KT, AD, CSJ), pp. 542–553.
VLDBVLDB-2010-WangREW #health #realtime
Active Complex Event Processing: Applications in Real-Time Health Care (DW, EAR, RTE, HW), pp. 1545–1548.
VLDBVLDB-2010-WuBMPS #query
Processing Top-k Join Queries (MW, LBE, AM, CMP, DS), pp. 860–870.
VLDBVLDB-2010-WuJOW #performance
Efficient B-tree Based Indexing for Cloud Data Processing (SW, DJ, BCO, KLW), pp. 1207–1218.
VLDBVLDB-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.
VLDBVLDB-2011-Rocha-JuniorVDN10 #performance #query
Efficient Processing of Top-k Spatial Preference Queries (JBRJ, AV, CD, KN), pp. 93–104.
ITiCSEITiCSE-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.
ESOPESOP-2010-SouleHGGAKW #calculus
A Universal Calculus for Stream Processing Languages (RS, MH, RG, BG, HA, VK, KLW), pp. 507–528.
FASEFASE-2010-CortellessaMRT #effectiveness #identification #performance #process
A Process to Effectively Identify “Guilty” Performance Antipatterns (VC, AM, RHR, CT), pp. 368–382.
FoSSaCSFoSSaCS-2010-PopescuG #algebra #formal method #incremental #induction #process
Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization (AP, ELG), pp. 109–127.
FoSSaCSFoSSaCS-2010-WiesZH #analysis #bound #process
Forward Analysis of Depth-Bounded Processes (TW, DZ, TAH), pp. 94–108.
ICPCICPC-2010-AversanoMT #component #process #traceability
Recovering Traceability Links between Business Process and Software System Components (LA, FM, MT), pp. 52–53.
ICSMEICSM-2010-HasanSBA #process
Analyzing natural-language artifacts of the software process (MH, ES, DB, MHA), pp. 1–5.
ICSMEICSM-2010-HindleGH #process #using
Software process recovery using Recovered Unified Process Views (AH, MWG, RCH), pp. 1–10.
MSRMSR-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.
WCREWCRE-2010-Hindle #process
Software Process Recovery: Recovering Process from Artifacts (AH), pp. 305–308.
ICALPICALP-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.
LATALATA-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.
SEFMSEFM-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.
IFLIFL-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.
ICGTICGT-2010-Monreale #automaton #calculus #encoding #lts #process #semantics #visual notation
LTS Semantics for Process Calculi from Their Graphical Encodings (GVM), pp. 403–406.
SOFTVISSOFTVIS-2010-AlbrechtEHK #algorithm #automation #layout #process
An automatic layout algorithm for BPEL processes (BA, PE, MH, MK), pp. 173–182.
CAiSECAiSE-2010-AalstPS #mining #process
Beyond Process Mining: From the Past to Present and Future (WMPvdA, MP, MS), pp. 38–52.
CAiSECAiSE-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.
CAiSECAiSE-2010-Rittgen #modelling #process
Success Factors of e-Collaboration in Business Process Modeling (PR), pp. 24–37.
CAiSECAiSE-2010-WeidlichDM #framework #identification #modelling #process
The ICoP Framework: Identification of Correspondences between Process Models (MW, RMD, JM), pp. 483–498.
CAiSECAiSE-2010-WeidlichPDM #behaviour #metric #process
Process Compliance Measurement Based on Behavioural Profiles (MW, AP, ND, JM), pp. 499–514.
EDOCEDOC-2010-AtkinsonDG #process #specification
Typed Business Process Specification (CA, DD, VG), pp. 69–78.
EDOCEDOC-2010-EshuisN #framework #outsourcing #process #using
A Framework for Service Outsourcing Using Process Views (RE, AN), pp. 99–108.
EDOCEDOC-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.
EDOCEDOC-2010-MilanovicG #modelling #process
Modeling Service Choreographies with Rule-Enhanced Business Processes (MM, DG), pp. 194–203.
EDOCEDOC-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.
EDOCEDOC-2010-SchummLS #process
Process Viewing Patterns (DS, FL, AS), pp. 89–98.
EDOCEDOC-2010-TerresNS #automation #process
Selection of Business Process for Autonomic Automation (LDT, JARN, JMdS), pp. 237–246.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-AIDSS-2010-KrammerM #collaboration #named #process
DecisionWave — Embedding Collaborative Decision Making into Business Processes (CK, AM), pp. 232–237.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-DISI-2010-BenzartiTMHY #process #web #web service
Engineering Process for Capacity-driven Web Services (IB, ST, ZM, NBHA, MMY), pp. 84–95.
ICEISICEIS-DISI-2010-BohmHL #clustering #multi #optimisation #queue
Multi-process Optimization Via Horizontal Message Queue Partitioning (MB, DH, WL), pp. 5–14.
ICEISICEIS-DISI-2010-HernandesSF #concept #named #ontology #process
ONTOP — A Process to Support Ontology Conceptualization (EMH, DS, SF), pp. 58–65.
ICEISICEIS-DISI-2010-KalsingTI #algorithm #incremental #mining #process
An Incremental Process Mining Algorithm (AK, LHT, CI), pp. 263–268.
ICEISICEIS-DISI-2010-MoraesZF #algorithm #concept #distributed
A Distributed Algorithm for Formal Concepts Processing based on Search Subspaces (NRMdM, LEZ, HCF), pp. 105–111.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-DISI-2010-PreisslerHL #data type #streaming
Process-based Data Streaming in Service-oriented Environments — Application and Technique (SP, DH, WL), pp. 40–49.
ICEISICEIS-DISI-2010-SantosC #information management #process #reasoning #reuse
Organizational Knowledge Management through Software Process Reuse and Case-based Reasoning (VAS, MIC), pp. 223–228.
ICEISICEIS-DISI-2010-SellamiBAF #composition #process
Improving Real World Schema Matching with Decomposition Process (SS, ANB, YA, FF), pp. 151–158.
ICEISICEIS-ISAS-2010-AleixoFSK #approach #modelling #process
A Model-driven Approach to Managing and Customizing Software Process Variabilities (FAA, MAF, WCdS, UK), pp. 92–100.
ICEISICEIS-ISAS-2010-BeestSW #concurrent #process
Assessing the Interference in Concurrent Business Processes (NRTPvB, NBS, JCW), pp. 261–270.
ICEISICEIS-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.
ICEISICEIS-ISAS-2010-CuzzocreaLI #information management #modelling
A Process-driven Methodology for Modeling Service-oriented Complex Information Systems (AC, ADL, SI), pp. 390–398.
ICEISICEIS-ISAS-2010-EspindolaA #metamodelling #process
A SPEM based Software Process Improvement Meta-model (RSdE, JLNA), pp. 301–306.
ICEISICEIS-ISAS-2010-FernandesPMP #execution #optimisation #process
Integrating and Optimizing Business Process Execution in P2P Environments (MF, MP, JAM, JSP), pp. 171–177.
ICEISICEIS-ISAS-2010-GoncalvesSB #collaboration #elicitation #process
Collaborative Business Process Elicitation through Group Storytelling (JCdARG, FMS, FAB), pp. 295–300.
ICEISICEIS-ISAS-2010-GradlMWK #enterprise #modelling #network #process #using
Modeling ERP Business Processes using Layered Queueing Networks (SG, MM, HW, HK), pp. 255–260.
ICEISICEIS-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.
ICEISICEIS-ISAS-2010-KikuchiMAM #mining #process
Process Mining for Job Nets in Integrated Complex Computer Systems (SK, YM, MA, SM), pp. 5–12.
ICEISICEIS-ISAS-2010-LinS #constraints #data transformation #dependence #process
Managing Data Dependency Constraints through Business Processes (JYCL, SWS), pp. 52–59.
ICEISICEIS-ISAS-2010-MacielSM #approach #modelling #process
Applying and Evaluating an MDA Process Modeling Approach (RSPM, BCdS, APFM), pp. 185–190.
ICEISICEIS-ISAS-2010-MoralesTP #composition #process #verification
Compositional Verification of Business Processes Modelled with BPMN (LEMM, MICT, MAP), pp. 113–122.
ICEISICEIS-ISAS-2010-NunesWS #process
Context-based Process Line (VTN, CW, FMS), pp. 277–282.
ICEISICEIS-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.
ICEISICEIS-ISAS-2010-SetiawanS #analysis #process
Socialization of Work Practice through Business Process Analysis (MAS, SWS), pp. 165–170.
ICEISICEIS-ISAS-2010-SharonSBBV #development #framework #process
A Decision Framework for Selecting a Suitable Software Development Process (IS, MdSS, JB, JvdB, JLMV), pp. 34–43.
ICEISICEIS-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.
ICEISICEIS-J-2010-KikuchiMAM10a #enterprise #mining #process
Process Mining for Job Nets in Integrated Enterprise Systems (SK, YM, MA, SM), pp. 299–310.
ICEISICEIS-J-2010-LinPMDL #framework #information management
A Framework to Assist Environmental Information Processing (YL, CP, IM, JCD, TL), pp. 76–89.
ICEISICEIS-J-2010-LinS10a #approach #constraints #dependence #process
A Business Process Driven Approach to Manage Data Dependency Constraints (JYCL, SWS), pp. 326–339.
ICEISICEIS-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.
ICEISICEIS-J-2010-PreisslerHL10a #concept #execution #process #streaming #xml
An XML-Based Streaming Concept for Business Process Execution (SP, DH, WL), pp. 60–75.
CIKMCIKM-2010-ChenLZY #energy #network #query
Energy-efficient top-k query processing in wireless sensor networks (BC, WL, RZ, JXY), pp. 329–338.
CIKMCIKM-2010-CumminsLO #induction #information retrieval #perspective #process
Examining the information retrieval process from an inductive perspective (RC, ML, CO), pp. 89–98.
CIKMCIKM-2010-HaghaniMA #personalisation #web
The gist of everything new: personalized top-k processing over web 2.0 streams (PH, SM, KA), pp. 489–498.
CIKMCIKM-2010-JinHCLDL #image #online #visual notation
Visual cube and on-line analytical processing of images (XJ, JH, LC, JL, BD, CXL), pp. 849–858.
CIKMCIKM-2010-KhalefaML #nondeterminism #query
Skyline query processing for uncertain data (MEK, MFM, JJL), pp. 1293–1296.
CIKMCIKM-2010-KimKLB #interpreter #performance #semantics
Efficient wikipedia-based semantic interpreter by exploiting top-k processing (JWK, AK, DL, SB), pp. 1813–1816.
CIKMCIKM-2010-KobdaniSBKH #natural language #re-engineering #relational
Relational feature engineering of natural language processing (HK, HS, AB, WK, GH), pp. 1705–1708.
CIKMCIKM-2010-MwebazeMBV #framework #towards
Towards a provenance framework for sub-image processing for astronomical data (JM, JM, DB, EV), pp. 1277–1280.
CIKMCIKM-2010-TomazelaHCC #integration #named #process
Print: a provenance model to support integration processes (BT, CSH, RRC, CDdAC), pp. 1349–1352.
ECIRECIR-2010-Lapata #image #information retrieval #multi #natural language
Image and Natural Language Processing for Multimedia Information Retrieval (ML), p. 12.
ICMLICML-2010-BardenetK #algorithm #optimisation
Surrogating the surrogate: accelerating Gaussian-process-based global optimization with a mixture cross-entropy algorithm (RB, BK), pp. 55–62.
ICMLICML-2010-BartlettPW #constant #memory management #process
Forgetting Counts: Constant Memory Inference for a Dependent Hierarchical Pitman-Yor Process (NB, DP, FW), pp. 63–70.
ICMLICML-2010-BleiF #distance #process
Distance dependent Chinese restaurant processes (DMB, PIF), pp. 87–94.
ICMLICML-2010-CaniniSG #categorisation #learning #modelling #process
Modeling Transfer Learning in Human Categorization with the Hierarchical Dirichlet Process (KRC, MMS, TLG), pp. 151–158.
ICMLICML-2010-KimT10a #learning #multi #process
Gaussian Processes Multiple Instance Learning (MK, FDlT), pp. 535–542.
ICMLICML-2010-PaisleyZWGC #process
A Stick-Breaking Construction of the Beta Process (JWP, AKZ, CWW, GSG, LC), pp. 847–854.
ICMLICML-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.
ICMLICML-2010-Ryabko #clustering #process
Clustering processes (DR), pp. 919–926.
ICMLICML-2010-SaatciTR #modelling #process
Gaussian Process Change Point Models (YS, RDT, CER), pp. 927–934.
ICMLICML-2010-SrinivasKKS #design #optimisation #process
Gaussian Process Optimization in the Bandit Setting: No Regret and Experimental Design (NS, AK, SK, MWS), pp. 1015–1022.
ICMLICML-2010-VogtPFR #clustering #distance #invariant #process
The Translation-invariant Wishart-Dirichlet Process for Clustering Distance Data (JEV, SP, TJF, VR), pp. 1111–1118.
ICMLICML-2010-WilliamsonWHB #modelling #process #topic
The IBP Compound Dirichlet Process and its Application to Focused Topic Modeling (SW, CW, KAH, DMB), pp. 1151–1158.
ICMLICML-2010-YanQ #process
Sparse Gaussian Process Regression via L1 Penalization (FY, Y(Q), pp. 1183–1190.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2010-ChengQHJT #estimation #process #recognition
Group Activity Recognition by Gaussian Processes Estimation (ZC, LQ, QH, SJ, QT), pp. 3228–3231.
ICPRICPR-2010-ChevionNR #approach #image
Image Processing Based Approach for Retrieving Data from a Seismic Section in Bitmap Format (DC, YN, DR), pp. 4444–4447.
ICPRICPR-2010-JunG #classification #process
Nearest-Manifold Classification with Gaussian Processes (GJ, JG), pp. 914–917.
ICPRICPR-2010-LlobetCPA #finite #transducer #using
OCR Post-processing Using Weighted Finite-State Transducers (RL, JRCN, JCPC, JA), pp. 2021–2024.
ICPRICPR-2010-Perez-CarrascoSASL #network #realtime
Spike-Based Convolutional Network for Real-Time Processing (JAPC, CS, BA, TSG, BLB), pp. 3085–3088.
ICPRICPR-2010-PerretLCS #component #image #multi
Connected Component Trees for Multivariate Image Processing and Applications in Astronomy (BP, SL, CC, ÉS), pp. 4089–4092.
ICPRICPR-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.
ICPRICPR-2010-ShimosakaINSM #detection #process
Detecting Human Activity Profiles with Dirichlet Enhanced Inhomogeneous Poisson Processes (MS, TI, HN, TS, TM), pp. 4384–4387.
ICPRICPR-2010-StadelmannWSEF #algorithm #design #development #speech
Rethinking Algorithm Design and Development in Speech Processing (TS, YW, MS, RE, BF), pp. 4476–4479.
ICPRICPR-2010-SuS #predict #process
Latent Fingerprint Core Point Prediction Based on Gaussian Processes (CS, SNS), pp. 1634–1637.
ICPRICPR-2010-UlkerGC #modelling #process
Annealed SMC Samplers for Dirichlet Process Mixture Models (, BG, ATC), pp. 2808–2811.
ICPRICPR-2010-WangJMS #process #using
Decoding Finger Flexion from Electrocorticographic Signals Using a Sparse Gaussian Process (ZW, QJ, KJM, GS), pp. 3756–3759.
ICPRICPR-2010-WangM #learning #order #process #using
Gaussian Process Learning from Order Relationships Using Expectation Propagation (RW, SJM), pp. 605–608.
ICPRICPR-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.
KDDKDD-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.
KDDKDD-2010-SatoN #modelling #process #topic #using
Topic models with power-law using Pitman-Yor process (IS, HN), pp. 673–682.
KDDKDD-2010-YuHW #clustering #documentation #feature model #process
Document clustering via dirichlet process mixture model with feature selection (GY, RzH, ZW), pp. 763–772.
KDDKDD-2010-ZhangSZL #corpus #correlation #multi #process
Evolutionary hierarchical dirichlet processes for multiple correlated time-varying corpora (JZ, YS, CZ, SL), pp. 1079–1088.
KDIRKDIR-2010-JedrzejczakW #generative #query #using
Integrated Candidate Generation in Processing Batches of Frequent Itemset Queries using Apriori (PJ, MW), pp. 487–490.
KDIRKDIR-2010-JunGRO #image #predict #process
Predicting Ground-based Aerosol Optical Depth with Satellite Images Via Gaussian Processes (GJ, JG, VR, ZO), pp. 370–375.
KDIRKDIR-2010-MautnerM #categorisation #comparison #documentation #network
Comparison of Neural Networks used for Processing and Categorization of Czech Written Documents (PM, RM), pp. 510–513.
KDIRKDIR-2010-SharmaV #enterprise #query #wiki
Query Processing for Enterprise Search with Wikipedia Link Structure (NS, VV), pp. 243–248.
KDIRKDIR-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.
KEODKEOD-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.
KEODKEOD-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.
KEODKEOD-2010-NeumaierS #framework #representation
A Framework for Representing and Processing Arbitrary Mathematics (AN, PS), pp. 476–479.
KMISKMIS-2010-BornerL #enterprise #using
Using Role-plays to Acquire Process-oriented Knowledge in Enterprises (RB, ML), pp. 149–156.
KMISKMIS-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.
KMISKMIS-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.
KMISKMIS-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.
KMISKMIS-2010-DjordjevicGF #enterprise #semantics #wiki
Process-centric Enterprise Workspace based on Semantic Wiki (DD, RG, DF), pp. 224–233.
KMISKMIS-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.
KMISKMIS-2010-KhalifaS #approach #information management #process
An Integrated Approach in Developing Knowledge Management Process Capabilities (MK, KNS), pp. 121–128.
KMISKMIS-2010-RiosRR #modelling #process #project management
Modeling Knowledge Flows in Software Project Management Processes (BLFR, SLGR, OMRE), pp. 213–217.
KMISKMIS-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.
KMISKMIS-2010-SonntagR #multimodal #process #semantics #towards
Towards a Process of Building Semantic Multimodal Dialogue Demonstrators (DS, NR), pp. 322–331.
KMISKMIS-2010-XuB #design #information management #integration #process
Integration of Knowledge Management in Product Design Process (YX, AB), pp. 338–341.
SEKESEKE-2010-AlvesCL #agile #estimation #integration #process
Scrum and Plan-driven Process Integration and its Impact on Effort Estimation (NA, WC, ELJ), pp. 710–715.
SEKESEKE-2010-ChangK #architecture #modelling #process
A Model-based Business Process Diagnosis Method in Service Oriented Architecture (SHC, SDK), pp. 458–461.
SEKESEKE-2010-MadieshW #process #top-down
A Top-Down Method for Secure SOA-based B2B Processes (MM, GW), pp. 698–703.
SEKESEKE-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.
SEKESEKE-2010-PeixotoBRP #case study #implementation #process
A Case Study of Software Process Improvement Implementation (DCCP, VAB, RFR, CIPSP), pp. 716–721.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2010-Spector #logic
Prodigious Data, Logic, Processing, and Usage (AZS), p. 1.
SEKESEKE-2010-TrujilloPP #process
Supporting Software Process Improvement in Very Small Entities through a Template-based Guide (MMT, GEI, FJP, MP), pp. 704–709.
SEKESEKE-2010-WangHGJ #process #reuse #weaving
Software Process Reuse by Pattern Weaving (YsW, XyH, JgG, JrJ), pp. 722–725.
SEKESEKE-2010-WangHW #analysis #petri net #process
A Hierarchical Timed Coloured Petri Nets for BPMN-based Process Analysis (CHW, PSH, FJW), pp. 417–420.
SEKESEKE-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.
SEKESEKE-2010-ZhangUV #architecture #component #development #evolution #process
Architecture-centric development and evolution processes for component-based software (H(Z, CU, SV), pp. 680–685.
SIGIRSIGIR-2010-AggarwalZ #modelling #paradigm #representation #visual notation
Graphical models for text: a new paradigm for text representation and processing (CCA, PZ), pp. 899–900.
SIGIRSIGIR-2010-HustonC #query
Evaluating verbose query processing techniques (SH, WBC), pp. 291–298.
ECMFAECMFA-2010-CharfiMM #aspect-oriented #modelling #process
Aspect-Oriented Business Process Modeling with AO4BPMN (AC, HM, MM), pp. 48–61.
ECMFAECMFA-2010-KusterGE #modelling #process
Dynamic Computation of Change Operations in Version Management of Business Process Models (JMK, CG, GE), pp. 201–216.
ICMTICMT-2010-Perez-CastilloGP #implementation #process #qvt
Implementing Business Process Recovery Patterns through QVT Transformations (RPC, IGRdG, MP), pp. 168–183.
MODELSMoDELS-v2-2010-GerthKLE #detection #precise #process #using
Precise Detection of Conflicting Change Operations Using Process Model Terms (CG, JMK, ML, GE), pp. 93–107.
MODELSMoDELS-v2-2010-GorpE #execution #java #modelling #process
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program (PVG, RE), pp. 258–272.
MODELSMoDELS-v2-2010-JohannesA #composition #development #modelling #process
Concern-Based (de)composition of Model-Driven Software Development Processes (JJ, UA), pp. 47–62.
MODELSMoDELS-v2-2010-RicheVB #parallel
Transformation-Based Parallelization of Request-Processing Applications (TLR, HMV, DSB), pp. 2–16.
MODELSMoDELS-v2-2010-SilvaBBG #detection #modelling #process
Early Deviation Detection in Modeling Activities of MDE Processes (MAAdS, RB, XB, MPG), pp. 303–317.
MODELSMoDELS-v2-2010-SilvaMBRB #empirical #process
Artifact or Process Guidance, an Empirical Study (MAAdS, AM, RB, JR, XB), pp. 318–330.
LOPSTRLOPSTR-2010-LlorensOST #csp #generative #graph #process
Graph Generation to Statically Represent CSP Processes (ML, JO, JS, ST), pp. 52–66.
PPDPPPDP-2010-DemeyerALV #declarative #flexibility #process #workflow
Declarative workflows to efficiently manage flexible and advanced business processes (RD, MVA, LL, WV), pp. 209–218.
QAPLQAPL-2010-GeorgievskaA #probability #process #testing
Testing Reactive Probabilistic Processes (SG, SA), pp. 99–113.
REFSQREFSQ-2010-OmoronyiaSSBMS #elicitation #ontology #process #requirements
A Domain Ontology Building Process for Guiding Requirements Elicitation (IO, GS, TS, SB, TM, WDS), pp. 188–202.
SACSAC-2010-AraujoSCA #process #validation
A method for validating the compliance of business processes to business rules (BdMA, EAS, ALC, AJA), pp. 145–149.
SACSAC-2010-AversanoGT #case study #process
Measuring the alignment between business processes and software systems: a case study (LA, CG, MT), pp. 2330–2336.
SACSAC-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.
SACSAC-2010-CaetanoST #composition #principle #process
A method for business process decomposition based on the separation of concerns principle (AC, ARS, JMT), pp. 79–85.
SACSAC-2010-CorreiaVL #process
Asynchronous Byzantine consensus with 2f+1 processes (MC, GSV, LCL), pp. 475–480.
SACSAC-2010-DomanPD #fuzzy #network #query
Leveraging fuzzy query processing to support applications in wireless sensor networks (MD, JP, TD), pp. 764–771.
SACSAC-2010-FacchinettiF #architecture #clustering #manycore #realtime
Resource partitioning for real-time processing on a multicore architecture (TF, MF), pp. 359–360.
SACSAC-2010-IbanezVEB #process #semantics
Semantically enabled business process discovery (MJI, GV, JE, SB), pp. 1396–1403.
SACSAC-2010-JungCCL #on the #query
On processing location based top-k queries in the wireless broadcasting system (HJ, BKC, YDC, LL), pp. 585–591.
SACSAC-2010-KangZKB #process #similarity
A knowledge-rich similarity measure for improving IT incident resolution process (YBK, ABZ, SK, CB), pp. 1781–1788.
SACSAC-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.
SACSAC-2010-LuSPFZ #constraints #database #implementation #relational
Constraint processing in relational database systems: from theory to implementation (JJL, SS, OP, GHLF, HZ), pp. 2066–2070.
SACSAC-2010-Perez-CastilloGP #on the #process
On the use of patterns to recover business processes (RPC, IGRdG, MP), pp. 165–166.
SACSAC-2010-Rittgen #modelling #process #quality
Quality and perceived usefulness of process models (PR), pp. 65–72.
SACSAC-2010-RoyM #verification #visual notation
Visual processing-inspired fern-audio features for noise-robust speaker verification (AR, SM), pp. 1491–1495.
SACSAC-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.
SACSAC-2010-TraulsenH #data flow #parallel
Reactive parallel processing for synchronous dataflow (CT, RvH), pp. 483–490.
SACSAC-2010-WetzsteinKKLZ #monitoring #process
Cross-organizational process monitoring based on service choreographies (BW, DK, OK, FL, DZ), pp. 2485–2490.
SACSAC-2010-ZaplataL #as a service #mobile #process #towards
Towards mobile process as a service (SZ, WL), pp. 372–379.
ICSEICSE-2010-BoehmL #incremental #process
New processes for new horizons: the incremental commitment model (BWB, JAL), pp. 501–502.
ICSEICSE-2010-Magdaleno #collaboration #development #process
Balancing collaboration and discipline in software development processes (AMM), pp. 331–332.
SPLCSPLC-2010-BagheriAGS #process
Stratified Analytic Hierarchy Process: Prioritization and Selection of Software Features (EB, MA, DG, SS), pp. 300–315.
HPDCHPDC-2010-JardakROM #network #parallel #scalability
Parallel processing of data from very large-scale wireless sensor networks (CJ, JR, FO, PM), pp. 787–794.
HPDCHPDC-2010-McConnellPH #performance #reliability #replication
Detouring and replication for fast and reliable internet-scale stream processing (CM, FP, JHH), pp. 737–745.
HPDCHPDC-2010-TurcuFN #performance
Reshaping text data for efficient processing on Amazon EC2 (GT, ITF, SN), pp. 435–444.
LCTESLCTES-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.
OSDIOSDI-2010-BerganHCG #process
Deterministic Process Groups in dOS (TB, NH, LC, SDG), pp. 177–191.
OSDIOSDI-2010-PengD #distributed #incremental #scalability #transaction #using
Large-scale Incremental Processing Using Distributed Transactions and Notifications (DP, FD), pp. 251–264.
ICLPICLP-2010-Lopez10 #modelling #process
Models for Trustworthy Service and Process Oriented Systems (HAL), pp. 270–276.
ICSTICST-2010-Kasurinen #process #testing
Elaborating Software Test Processes and Strategies (JK), pp. 355–358.
ICSTICST-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.
ISSTAISSTA-2010-KettunenKTS #case study #process #testing
A study on agility and testing processes in software organizations (VK, JK, OT, KS), pp. 231–240.
LICSLICS-2010-BartolettiZ #calculus #process
A Calculus of Contracting Processes (MB, RZ), pp. 332–341.
TAPTAP-2010-BousquetL #analysis #evaluation #mutation testing #process #proving
Proof Process Evaluation with Mutation Analysis (LdB, ML), pp. 55–60.
VMCAIVMCAI-2010-Esparza #analysis #probability #process
Analysis of Systems with Stochastic Process Creation (JE), p. 1.
CBSECBSE-2009-KouroshfarSR #component #development #process
Process Patterns for Component-Based Software Development (EK, HYS, RR), pp. 54–68.
QoSAQoSA-2009-ChanP #architecture #behaviour #composition #predict #process
Compositional Prediction of Timed Behaviour for Process Control Architecture (KC, IP), pp. 86–100.
WICSA-ECSAWICSA-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-ECSAWICSA-ECSA-2009-XuZSL #architecture #distributed
An architecting method for distributed process-intensive systems (XX, LZ, MS, YL), pp. 277–280.
CASECASE-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.
CASECASE-2009-LiQW #parallel #scheduling
ACO-based scheduling of parallel batch processing machines to minimize the total weighted tardiness (LL, FQ, QW), pp. 280–285.
CASECASE-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.
CASECASE-2009-VoronovA #model checking #process #using #verification
Verification of process operations using model checking (AV, ), pp. 415–420.
DACDAC-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.
DACDAC-2009-DrmanacLW #predict #process #variability
Predicting variability in nanoscale lithography processes (DGD, FL, LCW), pp. 545–550.
DACDAC-2009-GongYH #incremental #named #parallel #probability #process
PiCAP: a parallel and incremental capacitance extraction considering stochastic process variation (FG, HY, LH), pp. 764–769.
DACDAC-2009-HuangOSC #programmable
Programmable neural processing on a smartdust (SH, JO, YS, ACC), pp. 619–620.
DACDAC-2009-LevitanC #parallel
Massively parallel processing: it’s déjà vu all over again (SPL, DMC), pp. 534–538.
DACDAC-2009-LinB #analysis #process
Analysis and mitigation of process variation impacts on Power-Attack Tolerance (LL, WPB), pp. 238–243.
DACDAC-2009-LuSZZYZ #analysis #process #reliability #statistics
Statistical reliability analysis under process variation and aging effects (YL, LS, HZ, HZ, FY, XZ), pp. 514–519.
DACDAC-2009-OnaissiHN #optimisation #process
Clock skew optimization via wiresizing for timing sign-off covering all process corners (SO, KRH, FNN), pp. 196–201.
DACDAC-2009-PanKOMC #process
Selective wordline voltage boosting for caches to manage yield under process variations (YP, JK, SO, GM, SWC), pp. 57–62.
DACDAC-2009-Whipp #architecture #process #verification
Exploiting “architecture for verification” to streamline the verification process (DW), pp. 212–215.
DACDAC-2009-XiongSZV #multi #process #statistics
Statistical multilayer process space coverage for at-speed test (JX, YS, VZ, CV), pp. 340–345.
DACDAC-2009-YeLCC #analysis #layout #process #variability
Variability analysis under layout pattern-dependent rapid-thermal annealing process (YY, FL, MC, YC), pp. 551–556.
DACDAC-2009-ZhangBDSJ #multi #process
Process variation characterization of chip-level multiprocessors (LZ, LSB, RPD, LS, RJ), pp. 694–697.
DATEDATE-2009-AnsaloniBP #architecture #embedded
Heterogeneous coarse-grained processing elements: A template architecture for embedded processing acceleration (GA, PB, LP), pp. 542–547.
DATEDATE-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.
DATEDATE-2009-ChenKLA
Accelerating FPGA-based emulation of quasi-cyclic LDPC codes with vector processing (XC, JK, SL, VA), pp. 1530–1535.
DATEDATE-2009-GargM #3d #analysis #process #variability
System-level process variability analysis and mitigation for 3D MPSoCs (SG, DM), pp. 604–609.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2009-HongNKO #concurrent #multi #process #thread
Process variation aware thread mapping for Chip Multiprocessors (SH, SHKN, MTK, ÖÖ), pp. 821–826.
DATEDATE-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.
DATEDATE-2009-MendlerHT #algebra #interface
WCRT algebra and interfaces for esterel-style synchronous processing (MM, RvH, CT), pp. 93–98.
DATEDATE-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.
DATEDATE-2009-NovoLBPC #finite #precise
Finite precision processing in wireless applications (DN, ML, BB, LVdP, FC), pp. 1230–1233.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2009-SasanHEK #process #scalability
Process Variation Aware SRAM/Cache for aggressive voltage-frequency scaling (AS, HH, AME, FJK), pp. 911–916.
DocEngDocEng-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.
HTHT-2009-AlfordM #process #research
Scholarly research process: investigating the effects of link type and directionality (MLA, EM), pp. 99–108.
HTHT-2009-YahiaouiPB #documentation #framework #process
The redocumentation process of computer mediated activity traces: a general framework (LY, YP, ZB), pp. 363–364.
ICDARICDAR-2009-ChaudhuryJTSSM #analysis #image #pipes and filters
Google Newspaper Search — Image Processing and Analysis Pipeline (KC, AJ, ST, VS, SS, SM), pp. 621–625.
ICDARICDAR-2009-ChouaibVCT #documentation #feature model
Generic Feature Selection and Document Processing (HC, NV, FC, ST), pp. 356–360.
ICDARICDAR-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.
ICDARICDAR-2009-GrosickiCBG #evaluation
Results of the RIMES Evaluation Campaign for Handwritten Mail Processing (EG, MC, JMB, EG), pp. 941–945.
ICDARICDAR-2009-ImpedovoMFS #process #roadmap
New Trends in Digital Scanning Processes (SI, RM, AF, ES), pp. 1071–1075.
ICDARICDAR-2009-Likforman-SulemDS #documentation #preprocessor
Pre-Processing of Degraded Printed Documents by Non-local Means and Total Variation (LLS, JD, EHBS), pp. 758–762.
ICDARICDAR-2009-NavonBO #approach #scalability
A Generic Form Processing Approach for Large Variant Templates (YN, EB, BO), pp. 311–315.
ICDARICDAR-2009-SharmaL #bound
Form Field Frame Boundary Removal for Form Processing System in Gurmukhi Script (DVS, GSL), pp. 256–260.
ICDARICDAR-2009-SharmaLM
Shape Encoded Post Processing of Gurmukhi OCR (DVS, GSL, SM), pp. 788–792.
ICDARICDAR-2009-SundaramR #online #recognition #using
An Improved Online Tamil Character Recognition Engine Using Post-Processing Methods (SS, AGR), pp. 1216–1220.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2009-NeumannW #graph #rdf #scalability
Scalable join processing on very large RDF graphs (TN, GW), pp. 627–640.
SIGMODSIGMOD-2009-TsirogiannisHSWG #query
Query processing techniques for solid state drives (DT, SH, MAS, JLW, GG), pp. 59–72.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2009-YangPPK #authentication #database #outsourcing
Authenticated join processing in outsourced databases (YY, DP, SP, PK), pp. 5–18.
VLDBVLDB-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.
VLDBVLDB-2009-MuellerTA
Data Processing on FPGAs (RM, JT, GA), pp. 910–921.
VLDBVLDB-2009-NehmeWRB #multi #query
Query Mesh: Multi-Route Query Processing Technology (RVN, KW, EAR, EB), pp. 1530–1533.
VLDBVLDB-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.
VLDBVLDB-2009-ZhangACIMPS #query #xml
Binary XML Storage and Query Processing in Oracle 11g (NZ, NA, SC, SI, VM, SP, BS), pp. 1354–1365.
CSEETCSEET-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.
ITiCSEITiCSE-2009-Boisvert #process #programming #visualisation
A visualisation tool for the programming process (CB), pp. 328–332.
ITiCSEITiCSE-2009-KiesmullerB #algorithm #automation #identification #problem
Automatically identifying learners’ problem solving strategies in-process solving algorithmic problems (UK, TB), p. 354.
ITiCSEITiCSE-2009-Porcheron #education #process
The bologna process in European education (PP), p. 3.
ESOPESOP-2009-BuscemiM #distributed #process
Abstract Processes in Orchestration Languages (MGB, HCM), pp. 301–315.
FoSSaCSFoSSaCS-2009-NeuhausserSK #markov #nondeterminism #process
Delayed Nondeterminism in Continuous-Time Markov Decision Processes (MRN, MS, JPK), pp. 364–379.
CSMRCSMR-2009-AversanoT #empirical #maintenance
Business Process-Aware Maintenance Task: A Preliminary Empirical Study (LA, MT), pp. 233–236.
CSMRCSMR-2009-Chikofsky #architecture #process #using
Using the ACART Process for Architecture Compliance (EJC), pp. 313–314.
CSMRCSMR-2009-FrancescomarinoMT #process #reverse engineering #web
Reverse Engineering of Business Processes exposed as Web Applications (CDF, AM, PT), pp. 139–148.
ICPCICPC-2009-KarumuriR #automation #detection
Automatic detection of internal queues and stages in message processing systems (SK, SPR), pp. 315–316.
ICSMEICSM-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.
ICSMEICSM-2009-CaiYW #approach #empirical #maintenance #process
Business process recovery for system maintenance — An empirical approach (ZC, XY, XW), pp. 399–402.
MSRMSR-2009-SchackmannL #gnome #process #quality
Evaluating process quality in GNOME based on change request data (HS, HL), pp. 95–98.
SCAMSCAM-2009-LangeM #communication #csp #named #process