4968 papers:
CBSE-2015-DanielsPCJH #component #low cost #metadata #named #pervasive- Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications (WD, JP, DC, WJ, DH), pp. 27–36.
CBSE-2015-EscoffierLG #component #mobile- A Component Model to Manage the Heterogeneity and Dynamism in Mobile Applications (CE, PL, OG), pp. 85–90.
CBSE-2015-MouelhiACM #behaviour #component #contract #design #object-oriented #using- Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems (SM, KA, SC, HM), pp. 49–58.
ECSA-2015-AgrawalP #adaptation #framework #towards #using #web- Towards a Framework for Building Adaptive App-Based Web Applications Using Dynamic Appification (AA, TVP), pp. 37–44.
ECSA-2015-RostWNLS #agile #architecture #case study #development #experience #industrial- Distilling Best Practices for Agile Development from Architecture Methodology — Experiences from Industrial Application (DR, BW, MN, TL, HS), pp. 259–267.
QoSA-2015-DurisicST #architecture #identification #set #standard- Identifying Optimal Sets of Standardized Architectural Features: A Method and its Automotive Application (DD, MS, MT), pp. 103–112.
QoSA-2015-WuLG #architecture #modelling #performance- Exploring Performance Models of Hadoop Applications on Cloud Architecture (XW, YL, IG), pp. 93–101.
WICSA-2015-BarnettVT #architecture #concept #mobile- A Conceptual Model for Architecting Mobile Applications (SB, RV, AT), pp. 105–114.
CASE-2015-AcarS #design #fault- Discrete event supervisor design and application for manufacturing systems with arbitrary faults and repairs (ANA, KWS), pp. 825–830.
CASE-2015-BjorkenstamCL- Exploiting sparsity in the discrete mechanics and optimal control method with application to human motion planning (SB, JSC, BL), pp. 769–774.
CASE-2015-Ellery #3d #self- Notes on extraterrestrial applications of 3D-printing with regard to self-replicating machines (AE), pp. 930–935.
CASE-2015-GiulianiC #optimisation #problem- Derivative-free optimization with use of problem structure: Applications to oil production (CMG, EC), pp. 764–768.
CASE-2015-KaoLJ #mobile- Application of potential field method and optimal path planning to mobile robot control (CCK, CML, JGJ), pp. 1552–1554.
CASE-2015-KruseW #predict- Application of the Smith-Åström Predictor to robot force control (DK, JTW), pp. 383–388.
CASE-2015-SenfeldsVMB #approach #industrial- Power smoothing approach within industrial DC microgrid with supercapacitor storage for robotic manufacturing application (AS, MV, DM, OB), pp. 1333–1338.
CASE-2015-ShiK #realtime- Real-time grasping planning for robotic bin-picking and kitting applications (JS, GSK), pp. 1632–1637.
CASE-2015-TanakaM #algorithm #bound #problem #strict- Dominance properties for the unrestricted block relocation problem and their application to a branch-and-bound algorithm (ST, FM), pp. 509–514.
DAC-2015-ChenH #equivalence #logic #probability- Equivalence among stochastic logic circuits and its application (THC, JPH), p. 6.
DAC-2015-GanapathyKTB #fault- Mitigating the impact of faults in unreliable memories for error-resilient applications (SG, GK, AT, AB), p. 6.
DAC-2015-GuSZCH #embedded #memory management #performance- Area and performance co-optimization for domain wall memory in application-specific embedded systems (SG, EHMS, QZ, YC, JH), p. 6.
DAC-2015-KehrQBS #communication #execution #legacy #manycore #parallel- Parallel execution of AUTOSAR legacy applications on multicore ECUs with timed implicit communication (SK, EQ, BB, GS), p. 6.
DAC-2015-MaoHCL #named- VWS: a versatile warp scheduler for exploring diverse cache localities of GPGPU applications (MM, JH, YC, HL), p. 6.
DAC-2015-PanthSDL #3d #clustering #mobile #power management #trade-off- Tier-partitioning for power delivery vs cooling tradeoff in 3D VLSI for mobile applications (SP, KS, YD, SKL), p. 6.
DAC-2015-RoloffSHT #architecture #parallel #simulation- Execution-driven parallel simulation of PGAS applications on heterogeneous tiled architectures (SR, DS, FH, JT), p. 6.
DAC-2015-SumbulVZFP #design #in memory #synthesis- A synthesis methodology for application-specific logic-in-memory designs (HES, KV, QZ, FF, LP), p. 6.
DAC-2015-YunPB #adaptation #named #parallel #runtime #self #thread- HARS: a heterogeneity-aware runtime system for self-adaptive multithreaded applications (JY, JP, WB), p. 6.
DATE-2015-BarraganL #case study #feature model #using- Feature selection for alternate test using wrappers: application to an RF LNA case study (MJB, GL), pp. 1229–1232.
DATE-2015-ChungSS #identification- Identifying redundant inter-cell margins and its application to reducing routing congestion (WC, SS, YS), pp. 1659–1664.
DATE-2015-DubenSPYAEPP #big data #case study #energy #performance- Opportunities for energy efficient computing: a study of inexact general purpose processors for high-performance and big-data applications (PDD, JS, P, SY, JA, CCE, KVP, TNP), pp. 764–769.
DATE-2015-HamdiouiXNTBCJC #architecture #data-driven #in memory- Memristor based computation-in-memory architecture for data-intensive applications (SH, LX, HADN, MT, KB, HC, HJ, FC, DW, LE, JvL), pp. 1718–1725.
DATE-2015-HanFNQ #energy #fault tolerance #multi #scheduling- Energy minimization for fault tolerant scheduling of periodic fixed-priority applications on multiprocessor platforms (QH, MF, LN, GQ), pp. 830–835.
DATE-2015-JiaoMD #reasoning #synthesis- Knowledge-intensive, causal reasoning for analog circuit topology synthesis in emergent and innovative applications (FJ, SM, AD), pp. 1144–1149.
DATE-2015-KanounS #big data #concept #data type #detection #learning #online #scheduling #streaming- Big-data streaming applications scheduling with online learning and concept drift detection (KK, MvdS), pp. 1547–1550.
DATE-2015-KapadiaP #adaptation #named #parallel #scheduling- VARSHA: variation and reliability-aware application scheduling with adaptive parallelism in the dark-silicon era (NAK, SP), pp. 1060–1065.
DATE-2015-KobbeBH #adaptation #modelling #on the fly #performance- Adaptive on-the-fly application performance modeling for many cores (SK, LB, JH), pp. 730–735.
DATE-2015-LezosDM #analysis #distance #locality #optimisation #reuse- Reuse distance analysis for locality optimization in loop-dominated applications (CL, GD, KM), pp. 1237–1240.
DATE-2015-MajumderPK #architecture #biology #manycore- On-chip network-enabled many-core architectures for computational biology applications (TM, PPP, AK), pp. 259–264.
DATE-2015-PaoneRPZSS #constraints #framework #performance- Customization of OpenCL applications for efficient task mapping under heterogeneous platform constraints (EP, FR, GP, VZ, IS, CS), pp. 736–741.
DATE-2015-PoplavkoSBBB #execution #modelling #multi #realtime- Models for deterministic execution of real-time multiprocessor applications (PP, DS, PB, SB, MB), pp. 1665–1670.
DATE-2015-RawatS #architecture #concurrent #hybrid #manycore #memory management #thread- Enabling multi-threaded applications on hybrid shared memory manycore architectures (TR, AS), pp. 742–747.
DATE-2015-RuizMK #approach #reuse- Systematic application of ISO 26262 on a SEooC: Support by applying a systematic reuse approach (AR, AM, TK), pp. 393–396.
DATE-2015-SamieBHH #multi #online- Online binding of applications to multiple clock domains in shared FPGA-based systems (FS, LB, CMH, JH), pp. 25–30.
DATE-2015-SenniBTSGM- Potential applications based on NVM emerging technologies (SS, RMB, LT, GS, AG, BM), pp. 1012–1017.
DATE-2015-SporrerBVMRMBBP #array #smarttech- Integrated CMOS receiver for wearable coil arrays in MRI applications (BS, LB, CV, AM, JR, JM, DOB, TB, KPP, GT, QH), pp. 1689–1694.
DATE-2015-TangXLLCWY #network #question- Spiking neural network with RRAM: can we use it for real-world application? (TT, LX, BL, RL, YC, YW, HY), pp. 860–865.
DATE-2015-TchagouTMVSQ #multi #testing- Reducing trace size in multimedia applications endurance tests (SVET, AT, JFM, BV, MS, RQ), pp. 984–985.
DATE-2015-ThangamuthuCCL #analysis #network- Analysis of ethernet-switch traffic shapers for in-vehicle networking applications (ST, NC, PJLC, JJL), pp. 55–60.
DATE-2015-ZhangYWLC #design #logic #power management- Giant spin hall effect (GSHE) logic design for low power application (YZ, BY, WW, HL, YC), pp. 1000–1005.
DATE-2015-ZhuCPP #manycore #named- TAPP: temperature-aware application mapping for NoC-based many-core processors (DZ, LC, TMP, MP), pp. 1241–1244.
DocEng-2015-AzevedoLS #3d #approach- An Approach to Convert NCL Applications into Stereoscopic 3D (RGDAA, GAFL, LFGS), pp. 177–186.
DocEng-2015-Sire #documentation #exclamation #web- Developing Web Applications with Document Engineering Technologies and Enjoying It! (SS), pp. 231–232.
DRR-2015-XuS- Missing value imputation: with application to handwriting data (ZX, SNS).
PODS-2015-Green #declarative #enterprise #named- LogiQL: A Declarative Language for Enterprise Applications (TJG), pp. 59–64.
PODS-2015-GuchtWWZ #communication #complexity #distributed #matrix #multi- The Communication Complexity of Distributed Set-Joins with Applications to Matrix Multiplication (DVG, RW, DPW, QZ), pp. 199–212.
SIGMOD-2015-BailisFFGHS #concurrent #empirical- Feral Concurrency Control: An Empirical Investigation of Modern Application Integrity (PB, AF, MJF, AG, JMH, IS), pp. 1327–1342.
SIGMOD-2015-DongS #challenge #modelling- Knowledge Curation and Knowledge Fusion: Challenges, Models and Applications (XLD, DS), pp. 2063–2066.
SIGMOD-2015-QiaoO #benchmark #metric #named #rdf- RBench: Application-Specific RDF Benchmarking (SQ, ZMÖ), pp. 1825–1838.
SIGMOD-2015-SahaSSVMC #framework #modelling- Apache Tez: A Unifying Framework for Modeling and Building Data Processing Applications (BS, HS, SS, GV, ACM, CC), pp. 1357–1369.
SIGMOD-2015-WangXLCH #grid #migration #smarttech- QMapper for Smart Grid: Migrating SQL-based Application to Hive (YW, YX, YL, JC, SH), pp. 647–658.
SIGMOD-2015-YuanWYC #big data #database #scalability- A Demonstration of Rubato DB: A Highly Scalable NewSQL Database System for OLTP and Big Data Applications (LYY, LW, JHY, YC), pp. 907–912.
SIGMOD-2015-ZhengWLCF #crowdsourcing #named- QASCA: A Quality-Aware Task Assignment System for Crowdsourcing Applications (YZ, JW, GL, RC, JF), pp. 1031–1046.
VLDB-2015-LiuDMM #named #realtime- FLORIN — A System to Support (Near) Real-Time Applications on User Generated Content on Daily News (QL, ECD, AM, WM), pp. 1944–1955.
VLDB-2015-OhKLM #memory management #mobile #optimisation- SQLite Optimization with Phase Change Memory for Mobile Applications (GO, SK, SWL, BM), pp. 1454–1465.
VLDB-2015-PhamTMFG #database- Sharing and Reproducing Database Applications (QP, ST, TM, ITF, BG), pp. 1988–1999.
ITiCSE-2015-ClarkPB #agile #development #student #web- An Experimental Project Course to Prepare Students for Agile Web Application Development (NKC, JMP, CDB), pp. 81–86.
ITiCSE-2015-SantosSFN #agile #development #framework #learning #mobile- Combining Challenge-Based Learning and Scrum Framework for Mobile Application Development (ARS, AS, PF, MN), pp. 189–194.
ESOP-2015-ChengR #detection #spreadsheet #static analysis- Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection (TC, XR), pp. 26–52.
FASE-2015-DaniaC #modelling #reasoning- Model-Based Formal Reasoning about Data-Management Applications (CD, MC), pp. 218–232.
FASE-2015-LiuPL #energy #optimisation- Data-Oriented Characterization of Application-Level Energy Optimization (KL, GP, YDL), pp. 316–331.
ICPC-2015-CosmaM #component #comprehension #using #visual notation #web- Understanding web applications using component based visual patterns (DCC, PFM), pp. 281–284.
ICPC-2015-SohTAW #android #detection #user interface- Detecting clones in Android applications through analyzing user interfaces (CS, HBKT, YLA, LW), pp. 163–173.
ICPC-2015-WhiteVJBP #android #debugging #generative- Generating reproducible and replayable bug reports from Android application crashes (MW, MLV, PJ, CBC, DP), pp. 48–59.
ICSME-2015-FokaefsOS #evolution #named #rest #web- WSDarwin: A web application for the support of REST service evolution (MF, MO, ES), pp. 336–338.
ICSME-2015-GaoH #architecture #named #web- ArchFLoc: Locating and explaining architectural features in running web applications (YG, DH), pp. 333–335.
ICSME-2015-Hegedus #evolution #metric #quality #roadmap- Advances in software product quality measurement and its applications in software evolution (PH), pp. 590–593.
ICSME-2015-SneedV #reverse engineering #visual notation- Reverse engineering a visual age application (HMS, CV), pp. 487–496.
ICSME-2015-TianNLH #android #case study #what- What are the characteristics of high-rated apps? A case study on free Android Applications (YT, MN, DL, AEH), pp. 301–310.
MSR-2015-HashimotoTMM #effectiveness #fact extraction #optimisation #performance #predict- Extracting Facts from Performance Tuning History of Scientific Applications for Predicting Effective Optimization Patterns (MH, MT, TM, KM), pp. 13–23.
MSR-2015-KrutzMMRPFS #android #dataset #open source- A Dataset of Open-Source Android Applications (DEK, MM, SAM, AR, JP, AF, JS), pp. 522–525.
MSR-2015-RayNBNZ- The Uniqueness of Changes: Characteristics and Applications (BR, MN, CB, NN, TZ), pp. 34–44.
SANER-2015-EshkevariSCA #php #question- Are PHP applications ready for Hack? (LME, FDS, JRC, GA), pp. 63–72.
SANER-2015-LaverdiereBM #analysis #composition #graph #using- Taint analysis of manual service compositions using Cross-Application Call Graphs (MAL, BJB, EM), pp. 585–589.
SANER-2015-ZekanST #web- Protecting web applications via Unicode extension (BZ, MS, VT), pp. 419–428.
PLDI-2015-Sidiroglou-Douskos #automation #fault #multi- Automatic error elimination by horizontal code transfer across multiple applications (SSD, EL, FL, MR), pp. 43–54.
STOC-2015-AbdullahV #bound #difference- A Directed Isoperimetric Inequality with application to Bregman Near Neighbor Lower Bounds (AA, SV), pp. 509–518.
STOC-2015-AggarwalDKO #reduction- Non-malleable Reductions and Applications (DA, YD, TK, MO), pp. 459–468.
STOC-2015-BitanskyGLPT #encoding #random- Succinct Randomized Encodings and their Applications (NB, SG, HL, RP, ST), pp. 439–448.
STOC-2015-BravermanW #interactive- An Interactive Information Odometer and Applications (MB, OW), pp. 341–350.
CIAA-J-2013-Konstantinidis15 #automaton #implementation- Implementation and Application of Automata (CIAA 2013) (SK), p. 1.
ICALP-v1-2015-BjorklundDH #exponential #problem #random #set #strict- The Parity of Set Systems Under Random Restrictions with Applications to Exponential Time Problems (AB, HD, TH), pp. 231–242.
ICALP-v1-2015-WeinsteinW #communication #data type- The Simultaneous Communication of Disjointness with Applications to Data Streams (OW, DPW), pp. 1082–1093.
LATA-2015-AutiliIMST #automation #specification #synthesis- Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications (MA, PI, FM, RS, MT), pp. 3–24.
FM-2015-Hauck-Stattelmann #behaviour #industrial- Analyzing the Restart Behavior of Industrial Control Applications (SHS, SB, BS, SK, RJ), pp. 585–588.
FM-2015-KuritaIA #documentation #evolution #formal method #mobile #modelling- Practices for Formal Models as Documents: Evolution of VDM Application to “Mobile FeliCa” IC Chip Firmware (TK, FI, KA), pp. 593–596.
ICFP-2015-Chlipala #compilation #functional #optimisation- An optimizing compiler for a purely functional web-application language (AC), pp. 10–21.
ICFP-2015-MatsudaW #bidirectional #lens #programming- Applicative bidirectional programming with lenses (KM, MW), pp. 62–74.
ICFP-2015-RendelTO #automation #pattern matching #problem- Automatic refunctionalization to a language with copattern matching: with applications to the expression problem (TR, JT, KO), pp. 269–279.
ICGT-2015-DyckG #induction #invariant- Inductive Invariant Checking with Partial Negative Application Conditions (JD, HG), pp. 237–253.
ICGT-2015-MachadoRH #evolution #graph transformation- Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems (RM, LR, RH), pp. 171–186.
CHI-2015-BalaamCJSG #mobile #named #women- FeedFinder: A Location-Mapping Mobile Application for Breastfeeding Women (MB, RC, EJ, SS, ATG), pp. 1709–1718.
CHI-2015-BuschekLA #mobile #usability- Improving Accuracy, Applicability and Usability of Keystroke Biometrics on Mobile Touchscreen Devices (DB, ADL, FA), pp. 1393–1402.
CHI-2015-HoubenM #named #prototype #tool support- WatchConnect: A Toolkit for Prototyping Smartwatch-Centric Cross-Device Applications (SH, NM), pp. 1247–1256.
CHI-2015-McNaneyPVBZO #named #people #speech- LApp: A Speech Loudness Application for People with Parkinson’s on Google Glass (RM, IP, JV, MB, PZ, PO), pp. 497–500.
CHI-2015-MyersLLYFB #undo- Selective Undo Support for Painting Applications (BAM, AL, TML, YY, AF, JB), pp. 4227–4236.
CHI-2015-Reuter0KP #design #named #volunteer- XHELP: Design of a Cross-Platform Social-Media Application to Support Volunteer Moderators in Disasters (CR, TL, MAK, VP), pp. 4093–4102.
DHM-EH-2015-BonfantiGV #mobile- A Mobile Application for the Stereoacuity Test (SB, AG, AV), pp. 315–326.
DHM-EH-2015-KimRCMLAIS #mobile #usability- Usability of Mobile Applications Supporting Training in Diagnostic Decision-Making by Radiologists (MSK, AABR, MAC, MKM, KJL, MRA, KLI, VS), pp. 448–454.
DHM-EH-2015-LimaAIA #mobile- Mobile Application to Aid in the Prevention of Pressure Ulcers (AGL, LA, ICI, LVA), pp. 465–473.
DHM-HM-2015-SuzukiKTGH- An Investigation on Skillful Gel-Coat Techniques and its Application to Beginner’s Application (ES, TK, YT, AG, HH), pp. 182–191.
DUXU-DD-2015-FalcoZ #convergence #design #interface- Design Perspectives to the Design of Interfaces Connected and Convergent for T-Commerce Applications (MF, RZ), pp. 599–608.
DUXU-IXD-2015-AkerO #effectiveness #interactive #social #social media- Social Media Interactions and the Use of Third-Party Management Applications on Effectiveness and Perception of Information (ÇA, ÖÖ), pp. 3–12.
DUXU-IXD-2015-Celi #experience #learning #modelling #risk management #user interface- Application of Dashboards and Scorecards for Learning Models IT Risk Management: A User Experience (EC), pp. 153–165.
DUXU-IXD-2015-FernandesL #interface #internet #monitoring- An Internet of Things Application with an Accessible Interface for Remote Monitoring Patients (COF, CJPdL), pp. 651–661.
DUXU-IXD-2015-KurdiAAAAA #design #implementation #mobile- Design and Implementation of a Mobile Cloud Environmental Application for Riyadh City (HK, AAF, AAT, HAM, MAM, SAK), pp. 380–389.
DUXU-IXD-2015-LucenaMA #evolution #mobile #monitoring #named- MedData: A Mobile Application Designed for Medical Teams to Monitor Clinical Evolution of Inpatient in ICU Context (CAPdL, CRM, BAdA), pp. 672–681.
DUXU-UI-2015-BendoukhaMB #workflow- Building Cloud-Based Scientific Workflows Made Easy: A Remote Sensing Application (SB, DM, HB), pp. 277–288.
DUXU-UI-2015-CarvalhoP #design #user interface- Sound Design and UX: The Dynamic Audio Application Guide (LRC, ATCP), pp. 289–300.
DUXU-UI-2015-JoyceLBJ #evaluation #heuristic #smarttech #usability- Smartphone Application Usability Evaluation: The Applicability of Traditional Heuristics (GJ, ML, TB, AJ), pp. 541–550.
HCI-DE-2015-CaonACKM #health #interactive #smarttech- A Smartphone Application to Promote Affective Interaction and Mental Health (MC, LA, SC, OAK, EM), pp. 460–467.
HCI-DE-2015-HashizumeK #analysis #smarttech #usability- Analysis of Factors Influencing the Satisfaction of the Usability Evaluations in Smartphone Applications (AH, SK), pp. 194–201.
HCI-DE-2015-StopkaPF #concept #requirements- User Requirements for Intermodal Mobility Applications and Acceptance of Operating Concepts (US, RP, KF), pp. 415–425.
HCI-IT-2015-AlmeidaTRBFDSAC #multimodal- Giving Voices to Multimodal Applications (NA, AJST, AFR, DB, JF, MSD, SSS, JA, CC, NS), pp. 273–283.
HCI-IT-2015-AtroucheID #problem- A Mashup-Based Application for the Smart City Problematic (AA, DI, BD), pp. 683–694.
HCI-IT-2015-BakaevA #complexity #human-computer #optimisation #user interface- Defining and Optimizing User Interfaces Information Complexity for AI Methods Application in HCI (MB, TA), pp. 397–405.
HCI-UC-2015-AzhariF #approach #experience #social #social media #user interface #using- Using a Lexical Approach to Investigate User Experience of Social Media Applications (AA, XF), pp. 15–24.
HCI-UC-2015-FrauCT #mobile #predict #probability #prototype #visualisation- Graphic Visualization of Probabilistic Traffic/Trajectory Predictions in Mobile Applications. A First Prototype and Evaluations for General Aviation Purposes (GF, FDC, DT), pp. 154–164.
HCI-UC-2015-SpeiginerMBRLLB #artificial reality #evolution #framework #web- The Evolution of the Argon Web Framework Through Its Use Creating Cultural Heritage and Community-Based Augmented Reality Applications (GS, BM, JDB, HR, AJL, LML, LDB, MG, MS, BD, ME, RJC, EDM), pp. 112–124.
HIMI-IKC-2015-UjitokoH #interface #using- Application of the Locomotion Interface Using Anthropomorphic Finger Motion (YU, KH), pp. 666–674.
HIMI-IKD-2015-KashimAO #design #visual notation #web- Exploring Cultural Symbols in Nigeria for Contemporary Applications in Web Visual Design (IBK, OSA, SOO), pp. 215–225.
LCT-2015-Ai #automation #detection #fault #feedback #generative- Automatic Pronunciation Error Detection and Feedback Generation for CALL Applications (RA), pp. 175–186.
LCT-2015-DirinN #design #development #framework- Assessments of User Centered Design Framework for M-learning Application Development (AD, MN), pp. 62–74.
LCT-2015-KlockCCRAG #adaptation #concept #gamification #student- Gamification in e-Learning Systems: A Conceptual Model to Engage Students and Its Application in an Adaptive e-Learning System (ACTK, LFDC, MFdC, BER, AJA, IG), pp. 595–607.
AdaEurope-2015-DiazG #distributed #maintenance #middleware #open source #reliability #years after- Maintenance of Reliable Distributed Applications with Open-Source Middleware: Fifteen Years Later (MD, DG), pp. 116–128.
ICEIS-v1-2015-BozaCCA #internet- Internet of Things Applications in Production Systems (AB, BC, LC, FA), pp. 330–337.
ICEIS-v1-2015-MpindaMSR #database #graph #simulation #using- Graph Database Application using Neo4j — Railroad Planner Simulation (SATM, LGM, MTPS, MXR), pp. 399–403.
ICEIS-v1-2015-Roos-FrantzBFSF #concept #integration #modelling #petri net #simulation #using- Using Petri Nets to Enable the Simulation of Application Integration Solutions Conceptual Models (FRF, MB, RZF, SS, VBF), pp. 87–96.
ICEIS-v1-2015-SilvaBZ- Indirect Normative Conflict — Conflict that Depends on the Application Domain (VTdS, CB, JdOZ), pp. 452–461.
ICEIS-v1-2015-SirohiS #multitenancy #optimisation #performance #query #sql- Context-sensitive Indexes in RDBMS for Performance Optimization of SQL Queries in Multi-tenant/Multi-application Environments (AKS, VS), pp. 259–270.
ICEIS-v2-2015-FrancaS #named #quality- SOAQM: Quality Model for SOA Applications based on ISO 25010 (JMSF, MSS), pp. 60–70.
ICEIS-v2-2015-NetoKCBM #android #architecture #case study #design- Unveiling the Architecture and Design of Android Applications — An Exploratory Study (ECN, UK, RC, RB, LM), pp. 201–211.
ICEIS-v2-2015-RolimRLBSSG #novel #social #towards- Towards a Novel Engine to Underlie the Data Transmission of Social Urban Sensing Applications (COR, AGdMR, VRQL, GAB, TFMdS, AMS, CFRG), pp. 662–667.
ICEIS-v2-2015-VitolsBSSAS #multi- Multi-payment Solution for Smartlet Applications (GV, NB, JS, VS, IA, IS), pp. 668–673.
ICEIS-v3-2015-BauerBTR #analysis #flexibility #maintenance #repository- A SOA Repository with Advanced Analysis Capabilities — Improving the Maintenance and Flexibility of Service-Oriented Applications (TB, SB, JT, MR), pp. 238–248.
ICEIS-v3-2015-CruzV #architecture #enterprise #towards- Towards a Reference Enterprise Application Architecture for the Customer Relationship Management Domain (AC, AV), pp. 185–195.
ICEIS-v3-2015-KypriotakiZG #distributed #network #peer-to-peer- From Bitcoin to Decentralized Autonomous Corporations — Extending the Application Scope of Decentralized Peer-to-Peer Networks and Blockchains (KNK, EDZ, GMG), pp. 284–290.
ICEIS-v3-2015-NicastroPAMBT #approach #case study #guidelines #interface #mobile- A Semiotic-informed Approach to Interface Guidelines for Mobile Applications — A Case Study on Phenology Data Acquisition (FN, RP, BA, LPCM, CB, RdST), pp. 34–43.
ICML-2015-Abbasi-YadkoriB #crowdsourcing #markov #problem #scalability- Large-Scale Markov Decision Problems with KL Control Cost and its Application to Crowdsourcing (YAY, PLB, XC, AM), pp. 1053–1062.
ICML-2015-BahadoriKFL #clustering #functional- Functional Subspace Clustering with Application to Time Series (MTB, DCK, YF, YL), pp. 228–237.
ICML-2015-HuangWSLC #classification #image #learning #metric #set #symmetry- Log-Euclidean Metric Learning on Symmetric Positive Definite Manifold with Application to Image Set Classification (ZH, RW, SS, XL, XC), pp. 720–729.
ICML-2015-SerrurierP #evaluation #learning- Entropy evaluation based on confidence intervals of frequency estimates : Application to the learning of decision trees (MS, HP), pp. 1576–1584.
ICML-2015-TheisH #probability #streaming- A trust-region method for stochastic variational inference with applications to streaming data (LT, MDH), pp. 2503–2511.
ICML-2015-WinnerBS- Inference in a Partially Observed Queuing Model with Applications in Ecology (KW, GB, DS), pp. 2512–2520.
KDD-2015-Agarwal #machine learning #scalability #statistics #web- Scaling Machine Learning and Statistics for Web Applications (DA), p. 1621.
KDD-2015-DuFASS #clustering #documentation #process- Dirichlet-Hawkes Processes with Applications to Clustering Continuous-Time Document Streams (ND, MF, AA, AJS, LS), pp. 219–228.
KDD-2015-HillMHTPT #online- Measuring Causal Impact of Online Actions via Natural Experiments: Application to Display Advertising (DNH, RM, AEH, VT, FJP, KT), pp. 1839–1847.
KDD-2015-KuoWWCYD #graph #multi #segmentation- Unified and Contrasting Cuts in Multiple Graphs: Application to Medical Imaging Segmentation (CTK, XW, PBW, OTC, JY, ID), pp. 617–626.
KDD-2015-MinorDC #algorithm #data-driven #evaluation #predict #process- Data-Driven Activity Prediction: Algorithms, Evaluation Methodology, and Applications (BM, JRD, DJC), pp. 805–814.
KDD-2015-OkumuraST #analysis #classification #incremental #linear #problem- Quick Sensitivity Analysis for Incremental Data Modification and Its Application to Leave-one-out CV in Linear Classification Problems (SO, YS, IT), pp. 885–894.
KDD-2015-Schleier-Smith #agile #architecture #machine learning #realtime- An Architecture for Agile Machine Learning in Real-Time Applications (JSS), pp. 2059–2068.
KDD-2015-WangZHSY #topic- Discerning Tactical Patterns for Professional Soccer Teams: An Enhanced Topic Model with Applications (QW, HZ, WH, ZS, YY), pp. 2197–2206.
RecSys-2015-Bourke #multi #recommendation- The Application of Recommender Systems in a Multi Site, Multi Domain Environment (SB), p. 229.
SEKE-2015-ChangCLT #design #framework- Application of Slow Intelligence Framework for Smart Pet Care System Design (SKC, WHC, WCL, CLT), pp. 51–56.
SEKE-2015-GomedeSB #approach #lifecycle- A Practical Approach to Software Continuous Delivery Focused on Application Lifecycle Management (EG, RTDS, RMdB), pp. 320–325.
SEKE-2015-Hori0TO #comparison #image #testing #web- An Oracle based on Image Comparison for Regression Testing of Web Applications (AH, ST, HT, MO), pp. 639–645.
SEKE-2015-LinHX #automation #framework #statistics #testing #user interface- An Automated Testing Framework for Statistical Testing of GUI Applications (LL, JH, YX), pp. 72–79.
SEKE-2015-LuoYZ #deployment #towards- Towards a Deployment System for Cloud Applications (RL, WY, SZ), pp. 122–127.
SEKE-2015-Martoglia #information management #named #semantics- AMBIT: Semantic Engine Foundations for Knowledge Management in Context-dependent Applications (RM), pp. 146–151.
SEKE-2015-PereiraRA #data access #database #distributed #stack- Secure, Dynamic and Distributed Access Control Stack for Database Applications (ÓMP, DDR, RLA), pp. 364–369.
SEKE-2015-QinMDJ #case study #modelling #safety- Study on the Accident-causing Model Based on Safety Region and Applications in China Railway Transportation System (YQ, HM, MD, LJ), pp. 528–535.
SEKE-2015-SongHJC #android #generative #testing- Generating various contexts from permissions for testing Android applications (KS, ARH, SJ, SDC), pp. 87–92.
SEKE-2015-XieCLC #evolution #internet #physics- An Evolution Mechanism for Dynamic Physical Applications in the Internet of Things (KX, HC, DL, LC), pp. 213–216.
SIGIR-2015-ChuklinMR #information retrieval #modelling #tutorial- Advanced Click Models and their Applications to IR: SIGIR 2015 Tutorial (AC, IM, MdR), pp. 1111–1112.
SIGIR-2015-SongNZAC #learning #multi #network #predict #social #volunteer- Multiple Social Network Learning and Its Application in Volunteerism Tendency Prediction (XS, LN, LZ, MA, TSC), pp. 213–222.
ECMFA-2015-RossiniLGN #comparison #modelling #multi- A Comparison of Two-Level and Multi-level Modelling for Cloud-Based Applications (AR, JdL, EG, NN), pp. 18–32.
MoDELS-2015-VallejoKMB #case study #reuse #symmetry- Improving reuse by means of asymmetrical model migrations: An application to the Orcc case study (PV, MK, KJMM, JPB), pp. 358–367.
ECOOP-2015-HauzarK #framework #php #static analysis- Framework for Static Analysis of PHP Applications (DH, JK), pp. 689–711.
ECOOP-2015-ParkR #javascript #precise #scalability #static analysis- Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (CP, SR), pp. 735–756.
Onward-2015-CitoLGDKR #developer #feedback #metric #runtime #using- Runtime metric meets developer: building better cloud applications using feedback (JC, PL, HCG, AD, AK, AR), pp. 14–27.
Onward-2015-LorenzR #in the cloud- Separation of powers in the cloud: where applications and users become peers (DHL, BR), pp. 76–89.
Onward-2015-MattisHRHA #performance- Columnar objects: improving the performance of analytical applications (TM, JH, PR, RH, MA), pp. 197–210.
OOPSLA-2015-BielikRV #android #concurrent #detection #scalability- Scalable race detection for Android applications (PB, VR, MTV), pp. 332–348.
OOPSLA-2015-ErdwegBKKM #incremental #type checking- A co-contextual formulation of type rules and its application to incremental type checking (SE, OB, EK, MK, MM), pp. 880–897.
OOPSLA-2015-HagueLO #approach #css #detection #html- Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach (MH, AWL, CHLO), pp. 1–19.
OOPSLA-2015-JantzRKD #memory management- Cross-layer memory management for managed language applications (MRJ, FJR, PAK, KAD), pp. 488–504.
OOPSLA-2015-JensenMRDV #model checking- Stateless model checking of event-driven applications (CSJ, AM, VR, DD, MTV), pp. 57–73.
OOPSLA-2015-MadsenTL #javascript #static analysis- Static analysis of event-driven Node.js JavaScript applications (MM, FT, OL), pp. 505–519.
GPCE-2015-AlsharaSTBDS #component #inheritance #migration #object-oriented #scalability- Migrating large object-oriented Applications into component-based ones: instantiation and inheritance transformation (ZA, ADS, CT, HLB, CD, AS), pp. 55–64.
GPCE-2015-RingertRW #behaviour #code generation #tool support- Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration) (JOR, BR, AW), pp. 113–116.
GPCE-2015-SelgradLKSL #generative #lightweight- Lightweight, generative variant exploration for high-performance graphics Applications (KS, AL, FK, MS, DL), pp. 141–150.
PADL-2015-FowlerDG #data flow- Reactive Single-Page Applications with Dynamic Dataflow (SF, LD, AG), pp. 58–73.
POPL-2015-Chlipala15a #case study #composition #interface #network #parallel #thread #verification #web- From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification (AC), pp. 609–622.
REFSQ-2015-CanchiD #functional #interactive #modelling #requirements- Functional Requirements Modelling for Interactive TV Applications (SC, JED), pp. 254–261.
SAC-2015-AmaralTMH #as a service #framework #internet #middleware- Cooperative middleware platform as a service for internet of things applications (LAA, RTT, EdM, FH), pp. 488–493.
SAC-2015-BassoMJV #architecture #design #evaluation #privacy #requirements #web- Requirements, design and evaluation of a privacy reference architecture for web applications and services (TB, RM, MJ, MV), pp. 1425–1432.
SAC-2015-ChaCBCYBC #framework #online #topic- A universal topic framework (UniZ) and its application in online search (YC, KhC, HB, YC, TWY, BB, JC), pp. 1078–1085.
SAC-2015-DAvanzoFGS #estimation #functional #metric #mobile- COSMIC functional measurement of mobile applications and code size estimation (LD, FF, CG, PS), pp. 1631–1636.
SAC-2015-DecatBLJ #as a service #data access #middleware #multitenancy #named #performance- Amusa: middleware for efficient access control management of multi-tenant SaaS applications (MD, JB, BL, WJ), pp. 2141–2148.
SAC-2015-FonsecaNRP #execution #parallel #realtime- A multi-DAG model for real-time parallel applications with conditional execution (JCF, VN, GR, LMP), pp. 1925–1932.
SAC-2015-GarciaPMR #process- A software process line for service-oriented applications (CG, MP, AM, SSR), pp. 1680–1687.
SAC-2015-HanHQY #clustering- Locality-preserving L1-graph and its application in clustering (SH, HH, HQ, DY), pp. 813–818.
SAC-2015-JesusVB #functional #testing #web- Leveraging task-based data to support functional testing of web applications (FRdJ, LGdV, LABJ), pp. 783–790.
SAC-2015-JuniorDOFB #performance #web- Handling flash-crowd events to improve the performance of web applications (UdPJ, LMdAD, DdO, YF, VCB), pp. 769–774.
SAC-2015-KambonaBM #middleware #named #realtime #scalability #web- Serena: scalable middleware for real-time web applications (KK, EGB, WDM), pp. 802–805.
SAC-2015-LiZL #mobile #network #personalisation #social- Integrating mobile sensing and social network for personalized health-care application (HL, QZ, KL), pp. 527–534.
SAC-2015-MongioviGFPT #analysis #approach #data flow #detection #hybrid #java- Combining static and dynamic data flow analysis: a hybrid approach for detecting data leaks in java applications (MM, GG, AF, GP, ET), pp. 1573–1579.
SAC-2015-Morelli #automation #generative #modelling- Automated generation of robotics applications from simulink and SysML models (MM), pp. 1948–1954.
SAC-2015-NaqviMRPHB #artificial reality #deployment #mobile- To cloud or not to cloud: a context-aware deployment perspective of augmented reality mobile applications (NZN, KM, AR, DP, DH, YB), pp. 555–562.
SAC-2015-RiccobeneS #adaptation #formal method #modelling #self- Formal modeling self-adaptive service-oriented applications (ER, PS), pp. 1704–1710.
SAC-2015-ShahriarH #approach #assessment #metric #risk management #security #web- Security assessment of clickjacking risks in web applications: metrics based approach (HS, HMH), pp. 791–797.
SAC-2015-ShahzadJKKKH #execution #in the cloud #mobile- Application-level task execution issues in mobile cloud computing (AS, HJ, PK, HK, BKK, JH), pp. 2285–2287.
SAC-2015-SoaresMV #multi- Controlling the focus and input events in multimedia applications (LFGS, MFM, ÁLVG), pp. 1278–1284.
SAC-2015-TriasCSM #migration #named #reverse engineering #tool support #web- RE-CMS: a reverse engineering toolkit for the migration to CMS-based web applications (FT, VdC, MLS, EM), pp. 810–812.
ESEC-FSE-2015-CitoLFG #development #empirical- The making of cloud applications: an empirical study on software development for the cloud (JC, PL, TF, HCG), pp. 393–403.
ESEC-FSE-2015-FratantonioMBKV #android #named- CLAPP: characterizing loops in Android applications (YF, AM, AB, CK, GV), pp. 687–697.
ESEC-FSE-2015-HammoudiBBR #debugging #on the #web- On the use of delta debugging to reduce recordings and facilitate debugging of web applications (MH, BB, GB, GR), pp. 333–344.
ESEC-FSE-2015-LiLWH #analysis #android #java #string- String analysis for Java and Android applications (DL, YL, MW, WGJH), pp. 661–672.
ESEC-FSE-2015-Moran #android #debugging- Enhancing Android application bug reporting (KM), pp. 1045–1047.
ESEC-FSE-2015-MoranVBP #android #debugging- Auto-completing bug reports for Android applications (KM, MLV, CBC, DP), pp. 673–686.
ESEC-FSE-2015-NguyenKN #slicing #web- Cross-language program slicing for dynamic web applications (HVN, CK, TNN), pp. 369–380.
ESEC-FSE-2015-XuKB #ubiquitous #using- Using software theater for the demonstration of innovative ubiquitous applications (HX, SK, BB), pp. 894–897.
ICSE-v1-2015-FazziniSO #automation #csp #named #web- AutoCSP: Automatically Retrofitting CSP to Web Applications (MF, PS, AO), pp. 336–346.
ICSE-v1-2015-GopanDNNLM- Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery (DG, ED, DN, DN, AL, DM), pp. 145–155.
ICSE-v1-2015-OcarizaP0 #consistency #detection #javascript #mvc #nondeterminism- Detecting Inconsistencies in JavaScript MVC Applications (FSOJ, KP, AM), pp. 325–335.
ICSE-v1-2015-OcteauLDJM #analysis #android #communication #component #constant- Composite Constant Propagation: Application to Android Inter-Component Communication Analysis (DO, DL, MD, SJ, PM), pp. 77–88.
ICSE-v1-2015-PhamNRR #named- Hercules: Reproducing Crashes in Real-World Application Binaries (VTP, WBN, KR, AR), pp. 891–901.
ICSE-v1-2015-YangYWWR #analysis #android #control flow- Static Control-Flow Analysis of User-Driven Callbacks in Android Applications (SY, DY, HW, YW, AR), pp. 89–99.
ICSE-v2-2015-ChenGSYH #energy #named #performance- StressCloud: A Tool for Analysing Performance and Energy Consumption of Cloud Applications (FC, JCG, JGS, YY, QH), pp. 721–724.
ICSE-v2-2015-ElliottPP #artificial reality #challenge #re-engineering- Virtual Reality in Software Engineering: Affordances, Applications, and Challenges (AE, BP, CP), pp. 547–550.
ICSE-v2-2015-Merwe #android #verification- Verification of Android Applications (HvdM), pp. 931–934.
ICSE-v2-2015-NguyenKN #embedded #ide #named #php #web- Varis: IDE Support for Embedded Client Code in PHP Web Applications (HVN, CK, TNN), pp. 693–696.
ICSE-v2-2015-TannoZHS #automation #enterprise #generative #modelling #testing #tool support- TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications (HT, XZ, TH, KS), pp. 717–720.
SPLC-2015-LanduytWJ #as a service #middleware #multitenancy #research #roadmap #variability- Variability middleware for multi-tenant SaaS applications: a research roadmap for service lines (DVL, SW, WJ), pp. 211–215.
ASPLOS-2015-NguyenWBFHX #big data #bound #compilation #named #runtime- FACADE: A Compiler and Runtime for (Almost) Object-Bounded Big Data Applications (KN, KW, YB, LF, JH, G(X), pp. 675–690.
CGO-2015-OhM #web- Snapshot-based loading-time acceleration for web applications (JO, SMM), pp. 179–189.
CGO-2015-ShresthaGMMF #concurrent #locality- Locality aware concurrent start for stencil applications (SS, GRG, JM, AM, JF), pp. 157–166.
HPCA-2015-ZhuHR #energy #mobile #scheduling #web- Event-based scheduling for energy-efficient QoS (eQoS) in mobile Web applications (YZ, MH, VJR), pp. 137–149.
HPDC-2015-BerrocalBDLC #data analysis #detection #lightweight #runtime- Lightweight Silent Data Corruption Detection Based on Runtime Data Analysis for HPC Applications (EB, LABG, SD, ZL, FC), pp. 275–278.
HPDC-2015-GamellTHMKCP- Exploring Failure Recovery for Stencil-based Applications at Extreme Scales (MG, KT, MAH, JM, HK, JC, MP), pp. 279–282.
HPDC-2015-KocoloskiL #memory management #multi #named #performance- XEMEM: Efficient Shared Memory for Composed Applications on Multi-OS/R Exascale Systems (BK, JRL), pp. 89–100.
HPDC-2015-RothMV #automation #communication #parallel- Automated Characterization of Parallel Application Communication Patterns (PCR, JSM, JSV), pp. 73–84.
HPDC-2015-WahibM #automation #gpu #kernel #scalability- Automated GPU Kernel Transformations in Large-Scale Production Stencil Applications (MW, NM), pp. 259–270.
HPDC-2015-XiaoCHZ #cpu #gpu #monte carlo- Monte Carlo Based Ray Tracing in CPU-GPU Heterogeneous Systems and Applications in Radiation Therapy (KX, DZC, XSH, BZ), pp. 247–258.
LCTES-2015-BarijoughHKG #analysis #streaming #trade-off- Implementation-Aware Model Analysis: The Case of Buffer-Throughput Tradeoff in Streaming Applications (KMB, MH, VK, SG), p. 10.
LCTES-2015-StilkerichLES #analysis #embedded #realtime- A Practical Getaway: Applications of Escape Analysis in Embedded Real-Time Systems (IS, CL, CE, MS), p. 11.
PPoPP-2015-RadoiHSD #parallel #question #web- Are web applications ready for parallelism? (CR, SH, JS, DD), pp. 289–290.
SOSP-2015-AguileraLW #named #scalability #sql #web- Yesquel: scalable sql storage for web applications (MKA, JBL, MW), pp. 245–262.
SOSP-2015-Hoffmann #approximate #energy #named- JouleGuard: energy guarantees for approximate applications (HH), pp. 198–214.
SOSP-2015-PalkarLHJPRRS #framework #named- E2: a framework for NFV applications (SP, CL, SH, KJ, AP, SR, LR, SS), pp. 121–136.
CSL-2015-BrihayeBMR #reachability- Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability (TB, VB, NM, JFR), pp. 504–518.
ICLP-2015-Hallen #data mining #higher-order #logic #mining #specification- Higher Order Support in Logic Specification Languages for Data Mining Applications (MvdH).
ICLP-2015-SchullerW #case study #programming #set- Answer Set Application Programming: a Case Study on Tetris (PS, AW).
ICST-2015-AlegrothBB #case study #empirical #industrial #on the- On the Industrial Applicability of TextTest: An Empirical Case Study (EA, GB, EB), pp. 1–10.
ICST-2015-AppeltNB #injection #question #sql- Behind an Application Firewall, Are We Safe from SQL Injection Attacks? (DA, CDN, LCB), pp. 1–10.
ICST-2015-BrajnikBF #integration #latency #modelling #testing #web- Model-Based Continuous Integration Testing of Responsiveness of Web Applications (GB, AB, SF), pp. 1–2.
ICST-2015-HalleBGB #constraints #layout #testing #web- Testing Web Applications Through Layout Constraints (SH, NB, FG, GLB), pp. 1–8.
ICST-2015-HerboldFGHHKMMN #framework #testing- The MIDAS Cloud Platform for Testing SOA Applications (SH, ADF, JG, PH, LMH, FK, APM, LM, CDN, FDR, MAS, NT, MFW, PHW), pp. 1–8.
ICST-2015-KobashiYWFYOK #design pattern #named #security #testing #verification- TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing (TK, MY, HW, YF, NY, TO, HK), pp. 1–8.
ICST-2015-ZhangAC #exclamation #model checking #verification- Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications (HZ, TA, YC), pp. 1–10.
ISSTA-2015-HayTP #android #communication #detection- Dynamic detection of inter-application communication vulnerabilities in Android (RH, OT, MP), pp. 118–128.
ISSTA-2015-SatoHC #testing- Calculation coverage testing in scientific applications (YS, SH, SC), pp. 350–360.
ISSTA-2015-ShenLPG #automation #detection #performance #profiling #search-based #using- Automating performance bottleneck detection using search-based application profiling (DS, QL, DP, MG), pp. 270–281.
LICS-2015-BallePP #approximate #automaton #canonical- A Canonical Form for Weighted Automata and Applications to Approximate Minimization (BB, PP, DP), pp. 701–712.
SAT-2015-ArifMM #axiom #performance- Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (MFA, CM, JMS), pp. 324–342.
VMCAI-2015-CortesiFPT #mobile #policy #privacy #semantics #verification- Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications (AC, PF, MP, OT), pp. 61–79.
VMCAI-2015-KafleG #horn clause #refinement #verification- Tree Automata-Based Refinement with Application to Horn Clause Verification (BK, JPG), pp. 209–226.
CBSE-2014-CidHMJ- Ensuring application integrity in shared sensing environments (PJdC, DH, SM, WJ), pp. 149–158.
CBSE-2014-DuranS #configuration management #robust- Robust reconfiguration of cloud applications (FD, GS), pp. 179–184.
CBSE-2014-SmaaliCB #metamodelling #towards- Towards a meta-model for dynamic applications (SS, AC, FB), pp. 23–28.
ECSA-2014-MusilMB #architecture #coordination #metamodelling #social #towards #web- Towards a Coordination-Centric Architecture Metamodel for Social Web Applications (JM, AM, SB), pp. 106–113.
ECSA-2014-SeriaiSS #component #object-oriented- Enactment of Components Extracted from an Object-Oriented Application (AS, SS, HAS), pp. 234–249.
QoSA-2014-BrunnertWK #architecture #enterprise #modelling #performance #using- Using architecture-level performance models as resource profiles for enterprise applications (AB, KW, HK), pp. 53–62.
WICSA-2014-FuZBX #analysis- A Recoverability-Oriented Analysis for Operations on Cloud Applications (MF, LZ, LB, XX), pp. 125–128.
ASE-2014-CosmoLTZZEA #automation #deployment #synthesis- Automated synthesis and deployment of cloud applications (RDC, ML, RT, SZ, JZ, AE, AA), pp. 211–222.
ASE-2014-FardMM #automation #generative #testing #web- Leveraging existing tests in automated test generation for web applications (AMF, MM, AM), pp. 67–78.
ASE-2014-Kechagia #api #robust- Improvement of applications’ stability through robust APIs (MK), pp. 907–910.
ASE-2014-MaezawaNWH #ajax #using #validation- Validating ajax applications using a delay-based mutation technique (YM, KN, HW, SH), pp. 491–502.
ASE-2014-MarasSC #analysis #named #reuse #web- Firecrow: a tool for web application analysis and reuse (JM, MS, JC), pp. 847–850.
ASE-2014-NearJ #analysis #interactive #named #security #web- Derailer: interactive security analysis for web applications (JPN, DJ), pp. 587–598.
ASE-2014-RenCL #android #named- Droidmarking: resilient software watermarking for impeding android application repackaging (CR, KC, PL), pp. 635–646.
ASE-2014-YangXLCML #adaptation #nondeterminism #self #verification- Verifying self-adaptive applications suffering uncertainty (WY, CX, YL, CC, XM, JL), pp. 199–210.
CASE-2014-ChenFSWJF #internet- Complex event processing for the Internet of Things and its applications (CYC, JHF, TS, PFW, EJ, MWF), pp. 1144–1149.
CASE-2014-HuiM #assessment #performance #reduction- Performance assessment of virtual metrology in APC applications for the viability of sampling reductions (KH, JM), pp. 750–755.
CASE-2014-KanagarajPL #algorithm #optimisation #process- Application of a hybridized cuckoo search-genetic algorithm to path optimization for PCB holes drilling process (GK, SGP, WCEL), pp. 373–378.
CASE-2014-LinW- Applications of data assimilation to forecasting indoor environment (CCL, LW), pp. 1097–1102.
CASE-2014-LiWGC #assembly #case study- A pilot study of dual 7-axis -arm robot in small part assembly application (QL, GW, HG, ZC), pp. 196–201.
CASE-2014-WantiaLR #approach #industrial- Symbolic planning for industrial applications — the eRobotics approach (NW, DL, JR), pp. 367–372.
CASE-2014-XueL #finite- Input-output finite-time stability of time-delay systems and its application to active vibration control (WX, KL), pp. 878–882.
DAC-2014-0001SMAKV #manycore #optimisation- Reinforcement Learning-Based Inter- and Intra-Application Thermal Optimization for Lifetime Improvement of Multicore Systems (AD, RAS, GVM, BMAH, AK, BV), p. 6.
DAC-2014-HenkelBZRS #architecture #dependence #multi- Multi-Layer Dependability: From Microarchitecture to Application Level (JH, LB, HZ, SR, MS), p. 6.
DAC-2014-HollerDKSF #co-evolution #design #encryption #hardware- Hardware/Software Co-Design of Elliptic-Curve Cryptography for Resource-Constrained Applications (AH, ND, CK, CS, TF), p. 6.
DAC-2014-KangYKBHT #fault tolerance- Static Mapping of Mixed-Critical Applications for Fault-Tolerant MPSoCs (SHK, HY, SK, IB, SH, LT), p. 6.
DAC-2014-SiyoumGC #analysis #data flow- Symbolic Analysis of Dataflow Applications Mapped onto Shared Heterogeneous Resources (FS, MG, HC), p. 6.
DAC-2014-WeiKPZTCUM #energy- Battery Management and Application for Energy-Efficient Buildings (TW, TK, SP, QZ, SXDT, NC, SU, MM), p. 6.
DATE-2014-AlamPTSN #android #energy #optimisation- Energy optimization in Android applications through wakelock placement (FA, PRP, NT, NS, SN), pp. 1–4.
DATE-2014-AlhammadP #execution #manycore #parallel #predict #thread- Time-predictable execution of multithreaded applications on multicore systems (AA, RP), pp. 1–6.
DATE-2014-AlordaCB #embedded #power management #reliability- Word-line power supply selector for stability improvement of embedded SRAMs in high reliability applications (BA, CC, SAB), pp. 1–6.
DATE-2014-AzimCPF #communication #distributed #generative #multi #realtime- Generation of communication schedules for multi-mode distributed real-time applications (AA, GC, RP, SF), pp. 1–6.
DATE-2014-BournoutianO #framework #mobile #optimisation- On-device objective-C application optimization framework for high-performance mobile processors (GB, AO), pp. 1–6.
DATE-2014-CannellaBS #approach #realtime #scheduling #streaming #using- System-level scheduling of real-time streaming applications using a semi-partitioned approach (EC, MB, TS), pp. 1–6.
DATE-2014-ClermidyJOOTTVPB #question- Resistive memories: Which applications? (FC, NJ, SO, HO, OT, OT, EV, JMP, MB), pp. 1–6.
DATE-2014-DasKV #energy #multi #trade-off- Temperature aware energy-reliability trade-offs for mapping of throughput-constrained applications on multimedia MPSoCs (AD, AK, BV), pp. 1–6.
DATE-2014-DongZ #manycore #memory management #realtime #stack- Minimizing stack memory for hard real-time applications on multicore platforms (CD, HZ), pp. 1–6.
DATE-2014-EusseLASLS #architecture #component #embedded #flexibility- A flexible ASIP architecture for connected components labeling in embedded vision applications (JFE, RL, GA, PS, BL, TS), pp. 1–6.
DATE-2014-GiannopoulouSHT #architecture #manycore- Mapping mixed-criticality applications on multi-core architectures (GG, NS, PH, LT), pp. 1–6.
DATE-2014-KatzschkeSOBTB #constraints #design- Application of Mission Profiles to enable cross-domain constraint-driven design (CK, MPS, MO, VMzB, MT, EB), pp. 1–6.
DATE-2014-LiuSZSC #constraints #latency #optimisation #streaming- Resource optimization for CSDF-modeled streaming applications with latency constraints (DL, JS, JTZ, TS, GC), pp. 1–6.
DATE-2014-NawinneSJP #performance- Hardware-based fast exploration of cache hierarchies in application specific MPSoCs (IN, JS, HJ, SP), pp. 1–6.
DATE-2014-PalominoSASH #named #performance #video- hevcDTM: Application-driven Dynamic Thermal Management for High Efficiency Video Coding (DP, MS, HA, AAS, JH), pp. 1–4.
DATE-2014-PandeyV #analysis #fault #safety- Transient errors resiliency analysis technique for automotive safety critical applications (SP, BV), pp. 1–4.
DATE-2014-RosvallS #constraints #design #framework #realtime- A constraint-based design space exploration framework for real-time applications on MPSoCs (KR, IS), pp. 1–6.
DATE-2014-SarmaD #estimation #network #runtime- Minimal sparse observability of complex networks: Application to MPSoC sensor placement and run-time thermal estimation & tracking (SS, ND), pp. 1–6.
DATE-2014-Thanner #lifecycle #prototype- Virtual prototype life cycle in automotive applications (MT), p. 1.
DATE-2014-UbolliGBC #linear #megamodelling- Sensitivity-based weighting for passivity enforcement of linear macromodels in power integrity applications (AU, SGT, MB, AC), pp. 1–6.
DATE-2014-ZebeleinHFST #communication #modelling #multi #protocol- Model-based actor multiplexing with application to complex communication protocols (CZ, CH, JF, TS, JT), pp. 1–4.
DATE-2014-ZhuCYP- Application mapping for express channel-based networks-on-chip (DZ, LC, SY, MP), pp. 1–6.
DocEng-2014-SarkisCD #multi #refactoring #web- The virtual splitter: refactoring web applications for themultiscreen environment (MS, CC, JCD), pp. 139–142.
DRR-2014-DaherB #documentation #segmentation- Document flow segmentation for business applications (HD, AB), p. ?–11.
SIGMOD-2014-ArnoldHFSKL #database #set- An application-specific instruction set for accelerating set-oriented database primitives (OA, SH, GF, BS, TK, WL), pp. 767–778.
SIGMOD-2014-PolychroniouR #clustering #in memory #scalability- A comprehensive study of main-memory partitioning and its application to large-scale comparison- and radix-sort (OP, KAR), pp. 755–766.
VLDB-2014-CetintemelDKMMMPSSTTWZ #named #streaming- S-Store: A Streaming NewSQL System for Big Velocity Applications (UÇ, JD, TK, SM, DM, JM, AP, MS, ES, NT, KT, HW, SBZ), pp. 1633–1636.
VLDB-2014-FunkeNS #on the- On k-Path Covers and their Applications (SF, AN, SS), pp. 893–902.
VLDB-2014-GuptaHWWW #named #ontology- Biperpedia: An Ontology for Search Applications (RG, AYH, XW, SEW, FW), pp. 505–516.
VLDB-2014-ZouJLGWX #framework #learning #named- Mariana: Tencent Deep Learning Platform and its Applications (YZ, XJ, YL, ZG, EW, BX), pp. 1772–1777.
ITiCSE-2014-ChenD #development #education #mobile- A teaching model for development of sensor-driven mobile applications (HC, KD), pp. 147–152.
ITiCSE-2014-SungS #development #mobile- Mobile application development classes for the mobile era (KS, AS), pp. 141–146.
ESOP-2014-CrubilleL #bisimulation #call-by #on the #probability #λ-calculus- On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (RC, UDL), pp. 209–228.
ESOP-2014-Fu #abstraction #analysis #memory management- Targeted Update — Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis (ZF), pp. 534–553.
ESOP-2014-LaunchburyADM #multi- Application-Scale Secure Multiparty Computation (JL, DA, TD, EM), pp. 8–26.
FASE-2014-HuangDM #analysis #java #type system #web- Type-Based Taint Analysis for Java Web Applications (WH, YD, AM), pp. 140–154.
TACAS-2014-SoudjaniA #approximate #markov #precise #probability #process- Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance (SEZS, AA), pp. 547–561.
WRLA-2014-Olveczky #maude #realtime- Real-Time Maude and Its Applications (PCÖ), pp. 42–79.
WRLA-2014-ZhangCO #framework #semantics #standard #𝕂- A Formal Semantics of the OSEK/VDX Standard in 𝕂 Framework and Its Applications (MZ, YC, KO), pp. 280–296.
CSMR-WCRE-2014-MihanceaM #named #security #verification #web- JMODEX: Model extraction for verifying security properties of web applications (PFM, MM), pp. 450–453.
CSMR-WCRE-2014-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.
ICPC-2014-EshkevariACP #identification #php- Identifying and locating interference issues in PHP applications: the case of WordPress (LME, GA, JRC, MDP), pp. 157–167.
ICPC-2014-VasquezKMSPG #anti #java #matter #metric #mobile- Domain matters: bringing further evidence of the relationships among anti-patterns, application domains, and quality-related metrics in Java mobile apps (MLV, SK, CM, AS, DP, YGG), pp. 232–243.
ICSME-2014-CachoBAPGCSCFG #behaviour #c# #case study #exception #how #java- How Does Exception Handling Behavior Evolve? An Exploratory Study in Java and C# Applications (NC, EAB, JA, FP, AFG, TC, ES, AC, TF, IG), pp. 31–40.
ICSME-2014-ChristopheSRM #automation #functional #maintenance #testing #web- Prevalence and Maintenance of Automated Functional Tests for Web Applications (LC, RS, CDR, WDM), pp. 141–150.
ICSME-2014-GauthierMST #data access #evolution #maintenance #modelling #web- Supporting Maintenance and Evolution of Access Control Models in Web Applications (FG, EM, ES, DT), pp. 506–510.
ICSME-2014-Haiduc #query #re-engineering #retrieval- Supporting Query Formulation for Text Retrieval Applications in Software Engineering (SH), pp. 657–662.
ICSME-2014-KyriakakisC #maintenance #php #scalability #web- Maintenance Patterns of Large-Scale PHP Web Applications (PK, AC), pp. 381–390.
ICSME-2014-LiHGH #android #empirical #energy- An Empirical Study of the Energy Consumption of Android Applications (DL, SH, JG, WGJH), pp. 121–130.
ICSME-2014-ZhangHD #automation #parallel #scalability #simulation #tool support #validation- Tools for Enabling Automatic Validation of Large-Scale Parallel Application Simulations (DZ, GH, DD), pp. 601–604.
SCAM-2014-KallenHH #object-oriented #refactoring #using- Impact of Code Refactoring Using Object-Oriented Methodology on a Scientific Computing Application (MK, SH, EÞH), pp. 125–134.
PLDI-2014-HanxledenDMSMAMO #named #safety- SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts (RvH, BD, CM, SS, MM, JA, SM, OO), p. 39.
PLDI-2014-HsiaoPYPNCKF #concurrent #detection #mobile- Race detection for event-driven mobile applications (CHH, CP, JY, GP, SN, PMC, ZK, JF), p. 35.
PLDI-2014-MaiyaKM #android #concurrent #detection- Race detection for Android applications (PM, AK, RM), p. 34.
PLDI-2014-MitraLABSG #analysis #debugging #parallel #scalability- Accurate application progress analysis for large-scale parallel debugging (SM, IL, DHA, SB, MS, TG), p. 23.
SAS-2014-BessonJV #java #named #static analysis- SawjaCard: A Static Analysis Tool for Certifying Java Card Applications (FB, TPJ, PV), pp. 51–67.
SAS-2014-MandelP #ml- Reactivity of Cooperative Systems — Application to ReactiveML (LM, CP), pp. 219–236.
STOC-2014-FriggstadS #algorithm #approximate #bound- Approximation algorithms for regret-bounded vehicle routing and applications to distance-constrained vehicle routing (ZF, CS), pp. 744–753.
STOC-2014-GenkinIPST- Circuits resilient to additive attacks with applications to secure computation (DG, YI, MP, AS, ET), pp. 495–504.
ICALP-v1-2014-Ben-SassonRTW #algorithm #proving- Sampling-Based Proofs of Almost-Periodicity Results and Algorithmic Applications (EBS, NRZ, MT, JW), pp. 955–966.
ICALP-v1-2014-FialaKKN #algorithm #aspect-oriented #graph- Algorithmic Aspects of Regular Graph Covers with Applications to Planar Graphs (JF, PK, JK, RN), pp. 489–501.
ICALP-v1-2014-IshaiW- Partial Garbling Schemes and Their Applications (YI, HW), pp. 650–662.
ICALP-v1-2014-LuWZ #fibonacci- FPTAS for Weighted Fibonacci Gates and Its Applications (PL, MW, CZ), pp. 787–799.
LATA-2014-DingSXHMC #modelling #probability- Stochastic k-Tree Grammar and Its Application in Biomolecular Structure Modeling (LD, AS, XX, XH, RLM, LC), pp. 308–322.
FM-2014-DuggiralaWMVM #modelling #parallel #precedence #protocol- Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol (PSD, LW, SM, MV, CAM), pp. 215–229.
SEFM-2014-HauzarK #named #php #verification #web- WeVerca: Web Applications Verification for PHP (DH, JK), pp. 296–301.
SEFM-2014-WangW #database- Translating Event-B Machines to Database Applications (QW, TW), pp. 265–270.
ICFP-2014-Pottier #functional- Hindley-milner elaboration in applicative style: functional pearl (FP), pp. 203–212.
ICFP-2014-SchoepeHS #bound #named- SeLINQ: tracking information across application-database boundaries (DS, DH, AS), pp. 25–38.
ICGT-2014-CorradiniH #canonical- Canonical Derivations with Negative Application Conditions (AC, RH), pp. 207–221.
CHI-2014-AdamsBG #health #mobile #social- Staccato social support in mobile health applications (PA, EPSB, GG), pp. 653–662.
CHI-2014-AthukoralaLKJOTJ #behaviour #how #mobile- How carat affects user behavior: implications for mobile battery awareness applications (KA, EL, MvK, AJ, AJO, ST, GJ), pp. 1029–1038.
CHI-2014-BuntDLTC #named #online- TaggedComments: promoting and integrating user comments in online application tutorials (AB, PD, BL, MAT, DTC), pp. 4037–4046.
CHI-2014-HellerKB #artificial reality #metric #mobile- Simplifying orientation measurement for mobile audio augmented reality applications (FH, AK, JOB), pp. 615–624.
CHI-2014-MoranPRCGZMR #deployment #lessons learnt #smarttech- Listening to the forest and its curators: lessons learnt from a bioacoustic smartphone application deployment (SM, NP, TR, AC, CG, DZ, GVM, AR), pp. 2387–2396.
CHI-2014-NielsenH #case study- Personas is applicable: a study on the use of personas in Denmark (LN, KSH), pp. 1665–1674.
CHI-2014-ShelleyLMDSS #data analysis #design #student- Information-building applications: designing for data exploration and analysis by elementary school students (TS, LL, TM, CD, BLS, AS), pp. 2123–2132.
CHI-2014-YangW #named #specification #web- Panelrama: enabling easy specification of cross-device web applications (JY, DW), pp. 2783–2792.
CSCW-2014-HanSRC #community #mobile- Enhancing community awareness of and participation in local heritage with a mobile application (KH, PCS, MBR, JMC), pp. 1144–1155.
DHM-2014-GotoYTWS- Application of E-learning System Reality in Kyoto-style Earthen Wall Training (AG, HY, YT, ZW, HS), pp. 247–253.
DHM-2014-ZhangGBD #industrial #network- Application of Bayesian Networks in Consumer Service Industry and Healthcare (LZ, YG, BB, VGD), pp. 484–495.
DUXU-DI-2014-AderholdWCJGK #3d #framework #implementation #novel #towards #web- The Common Implementation Framework as Service — Towards Novel Applications for Streamlined Presentation of 3D Content on the Web (AA, KW, MC, YJ, HG, AK), pp. 3–14.
DUXU-DI-2014-AsciR #case study #comparative #mobile #user interface- Left vs. Right-Handed UX: A Comparative User Study on a Mobile Application with Left and Right-Handed Users (SA, KR), pp. 173–183.
DUXU-DI-2014-CorreiaBMM #formal method #gesture #interface #metric #semantics- Syntactic/Semantic Formalizations and Metrics of Residential Applications Based on Gestural Interface (ACdCC, PLSB, LCdM, JNM), pp. 521–532.
DUXU-DI-2014-GencerBZV #detection #machine learning #mobile- Detection of Churned and Retained Users with Machine Learning Methods for Mobile Applications (MG, GB, ÖZ, TV), pp. 234–245.
DUXU-DI-2014-GomezF #experience #mobile #user interface- Territorial Brand Graphic Interface Management in Mobile Applications Focused on User Experience (LSRG, VCF), pp. 323–333.
DUXU-DI-2014-OrlandiniCB #evaluation #interface #mobile #usability- Ergonomics and Usability in Sound Dimension: Evaluation of a Haptic and Acoustic Interface Application for Mobile Devices (GO, GAC, LMPB), pp. 193–202.
DUXU-DI-2014-PaulaMA #design #experience #mobile #quality #usability #user interface- Building a Quality Mobile Application: A User-Centered Study Focusing on Design Thinking, User Experience and Usability (DFOdP, BHXMM, CCA), pp. 313–322.
DUXU-DP-2014-BuchdidPB #aspect-oriented #persuasion- You Can Interact with Your TV and You May Like It an Investigation on Persuasive Aspects for an iDTV Application (SBB, RP, MCCB), pp. 208–219.
DUXU-DP-2014-MieslerGHW #case study #experience #on-demand #user interface- User Experience of Video-on-Demand Applications for smart TVs: A Case Study (LM, BG, FH, AW), pp. 412–422.
DUXU-DP-2014-SpillersA #experience #health #mobile #motivation #social #user interface- Does Social User Experience Improve Motivation for Runners? — A Diary Study Comparing Mobile Health Applications (FS, SA), pp. 358–369.
DUXU-ELAS-2014-DaggeF- The HARSim Application to the Task of Carrying School Supplies (RD, EF), pp. 653–661.
DUXU-ELAS-2014-FordSCT #energy #personalisation- Personalized Energy Priorities: A User-Centric Application for Energy Advice (RF, OS, AC, PT), pp. 542–553.
DUXU-ELAS-2014-ShalashAAASA #mobile- A Mobile Application for Controlling Domestic Gas Cylinders Remotely (WMS, SAB, NAQ, MAM, BS, AA), pp. 347–356.
DUXU-ELAS-2014-Takei #interactive #smarttech- Human Interactive Wearable Devices: Applications of Artificial Electronic Skins and Smart Bandages (KT), pp. 710–718.
DUXU-TMT-2014-JoyceL #development #heuristic #mobile #smarttech #towards #usability- Towards the Development of Usability Heuristics for Native Smartphone Mobile Applications (GJ, ML), pp. 465–474.
DUXU-TMT-2014-KulpaA #evaluation #interface #tablet #usability- Evaluation of Tablet PC Application Interfaces with Low Vision Users: Focusing on Usability (CCK, FGA), pp. 273–284.
DUXU-TMT-2014-NetoC #case study #interface #multimodal #usability- Evaluating the Usability on Multimodal Interfaces: A Case Study on Tablets Applications (EVN, FFCC), pp. 484–495.
DUXU-TMT-2014-QuaresmaG #analysis #smarttech #usability- Usability Analysis of Smartphone Applications for Drivers (MQ, RCG), pp. 352–362.
DUXU-TMT-2014-SakamotoM #elicitation #interactive #mobile #named #perspective #requirements- M4REMAIP: Method for Requirements Elicitation Based on Mobile Applications under an Interaction Perspective (SGS, LCdM), pp. 74–85.
HCI-AIMT-2014-Feng #human-computer- Chinese Romanization and Its Application in HCI (ZF), pp. 406–416.
HCI-AIMT-2014-HumayounRHE #gesture #interactive #mobile #multi #web- Adding Multi-Touch Gesture Interaction in Mobile Web Applications (SRH, FAR, SH, AE), pp. 48–57.
HCI-AS-2014-KadomuraITRS #named #using #visualisation- AwareCycle: Application for Sports Visualization Using an Afterimage Display Attached to the Wheel of a Bicycle (AK, YI, KT, JR, IS), pp. 256–264.
HCI-AS-2014-KellerPBS #adaptation #mobile #semantics- An Adaptive Semantic Mobile Application for Individual Touristic Exploration (CK, RP, SB, TS), pp. 434–443.
HCI-AS-2014-MateiRR #quantifier- Refreshing Quantification and other Ploys to Give Up the Habit — A Repertoire of Relations, Identities, and Rhetorical Devices in Smoking Cessation Applications (SM, CR, RR), pp. 265–276.
HCI-AS-2014-Stopka #identification #mobile #requirements- Identification of User Requirements for Mobile Applications to Support Door-to-Door Mobility in Public Transport (US), pp. 513–524.
HCI-TMT-2014-BatistaUF #adaptation #design #guidelines #interface #process #web- A Model and Guidelines for the Interface Design Process for Adaptive Web Applications (IDPAWA) (CRB, VRU, AMdVF), pp. 387–398.
HCI-TMT-2014-NguyenTD #development #multi #user interface- Picture-Driven User Interface Development for Applications on Multi-platforms (VTN, MTT, ADD), pp. 350–360.
HIMI-AS-2014-ItouMM #chat #communication #development- Development and Application of Manga-Style Chat System Aiming to Communicate Nonverbal Expression (JI, YM, JM), pp. 423–434.
HIMI-AS-2014-KhaoulaOSO #concept- Concepts and Applications of Human-Dependent Robots (YK, NO, PRSDS, MO), pp. 435–444.
HIMI-AS-2014-TerwilligerIVL #interface- Advancement and Application of Unmanned Aerial System Human-Machine-Interface (HMI) Technology (BAT, DCI, DAV, DL), pp. 273–283.
HIMI-DE-2014-HarbaouiSGG #community #information retrieval #personalisation- Personalized Information Retrieval: Application to Virtual Communities (AH, SS, MG, HHBG), pp. 431–438.
HIMI-DE-2014-KaramT #gesture #interactive #symmetry- Two-Handed Interactive Menu: An Application of Asymmetric Bimanual Gestures and Depth Based Selection Techniques (HK, JT), pp. 187–198.
HIMI-DE-2014-KimitaNS #analysis #education- Application of a Requirement Analysis Template to Lectures in a Higher Education Institution (KK, YN, YS), pp. 594–601.
HIMI-DE-2014-MatsuyamaNKYI #crowdsourcing #development #mobile- Development of a Mobile Application for Crowdsourcing the Data Collection of Environmental Sounds (MM, RN, HK, JY, TI), pp. 514–524.
HIMI-DE-2014-TeixeiraSFSS #prototype #requirements #tool support #using- Requirements Engineering Using Mockups and Prototyping Tools: Developing a Healthcare Web-Application (LT, VS, CF, JS, BSS), pp. 652–663.
LCT-NLE-2014-OrehovackiBJ #education #quality #web- Exploring the Validity of an Instrument to Measure the Perceived Quality in Use of Web 2.0 Applications with Educational Potential (TO, SB, MJ), pp. 192–203.
LCT-TRE-2014-AzkorretaO #artificial reality- Augmented Reality Applications in the Engineering Environment (KOA, HOR), pp. 83–90.
LCT-TRE-2014-IkedaS #learning- Dream Drill: A Bedtime Learning Application (AI, IS), pp. 138–145.
LCT-TRE-2014-MartinezMLLC #3d #interactive #learning- Supporting Learning with 3D Interactive Applications in Early Years (ACM, MJMS, MLS, DCPL, MC), pp. 11–22.
LCT-TRE-2014-MorrealeGCHLLSB #design #integration #mobile #visual notation- Visual and Spatial Data Integration in Mobile Application Design (PM, AG, DC, SH, JL, NL, CS, JB), pp. 173–181.
LCT-TRE-2014-TzanavariMCP #experience #performance #user interface #using- User Experience Observations on Factors That Affect Performance in a Road-Crossing Training Application for Children Using the CAVE (AT, SM, CGC, CP), pp. 91–101.
SCSM-2014-BrockmannSL #mobile #taxonomy- Taxonomy of Enterprise-Related Mobile Applications (TB, SS, CL), pp. 37–47.
AdaEurope-2014-Shawky #challenge #design #embedded #framework- Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems (MS), pp. 7–10.
CAiSE-2014-AndrikopoulosSLW #in the cloud- Optimal Distribution of Applications in the Cloud (VA, SGS, FL, JW), pp. 75–90.
CAiSE-2014-LaurentBBG #formal method #process #verification- Formalization of fUML: An Application to Process Verification (YL, RB, SB, MPG), pp. 347–363.
EDOC-2014-BorhaniLLLH #benchmark #metric #named #performance #virtual machine- WPress: An Application-Driven Performance Benchmark for Cloud-Based Virtual Machines (AHB, PL, BSL, XL, TH), pp. 101–109.
ICEIS-v1-2014-BouzidCFP #approach #enterprise #retrieval #semantics- A Pattern-based Approach for Semantic Retrieval of Information Resources in Enterprises — Application Within STMicroelectronics (SB, CC, CSF, JP), pp. 193–200.
ICEIS-v1-2014-CelikDDT #industrial- Artificial Intelligence — Applications on Bioinformatics and Textile Industry (HIÇ, MTD, LCD, MT), pp. 425–431.
ICEIS-v1-2014-DavarG #distributed #information management #object-oriented #performance- Performance Tuning of Object-Oriented Applications in Distributed Information Systems (ZD, JRG), pp. 201–208.
ICEIS-v1-2014-KammererN #approach #comparison #named #sql- Application-Mimes — An Approach for Quantitative Comparison of SQL — and NoSQL-databases (MK, JN), pp. 256–263.
ICEIS-v1-2014-KleinSRF #formal method #integration #on the #using- On the Formalisation of an Application Integration Language Using Z Notation (MJK, SS, FRF, RZF), pp. 314–319.
ICEIS-v1-2014-Malgorzata #algorithm #mobile #search-based- The Use of Genetic Algorithms in Mobile Applications (MPW), pp. 520–525.
ICEIS-v1-2014-PereiraP #aspect-oriented #database #evolution- Evolution of the Application and Database with Aspects (RHRP, JBGPS), pp. 308–313.
ICEIS-v2-2014-LiuDT #network #reliability- Auditing Data Reliability in International Logistics — An Application of Bayesian Networks (LL, HAMD, RT), pp. 707–712.
ICEIS-v2-2014-MaretLL #ad hoc #community #semantics #web- A Semantic Web Model for Ad Hoc Context-aware Virtual Communities — Application to the Smart Place Scenario (PM, FL, DL), pp. 591–598.
ICEIS-v2-2014-PereiraZS #concept analysis- Extraction of Classes Through the Application of Formal Concept Analysis (DP, LZ, MS), pp. 275–282.
ICEIS-v2-2014-RibeiroFVO #2d #design pattern #named- DC2DP: A Dublin Core Application Profile to Design Patterns (AAdAR, JLF, LFdMV, AdPO), pp. 209–216.
ICEIS-v2-2014-SamejimaMK #flexibility #resource management- Flexible Peak Shaving in Data Center by Suppression of Application Resource Usage (MS, HTM, NK), pp. 355–360.
ICEIS-v2-2014-ShamsuzzohaAKH #collaboration #internet #monitoring #process #realtime #repository- Smart Collaborative Processes Monitoring in Real-time Business Environment — Applications of Internet of Things and Cloud-data Repository (AS, SA, SK, PTH), pp. 556–563.
ICEIS-v3-2014-BuchdidPB #design #game studies- Playing Cards and Drawing with Patterns — Situated and Participatory Practices for Designing iDTV Applications (SBB, RP, MCCB), pp. 14–27.
ICEIS-v3-2014-GhezziCRB #framework #rest- Applications of the REST Framework to Test Technology Activation in Different ICT Domains (AG, AC, AR, RB), pp. 87–91.
ICEIS-v3-2014-NunoG #in the cloud #outsourcing #using- Methodology for Developing and Application Outsourcing in the Cloud Using SOA (AGN, CMG), pp. 419–426.
ICEIS-v3-2014-PutterRS #consistency #enterprise #testing- Testing Conformance of EJB 3 Enterprise Application Servers (SdP, SAR, AS), pp. 272–279.
ICEIS-v3-2014-SilvaFG14a #artificial reality #speech- Assisting Speech Therapy for Autism Spectrum Disorders with an Augmented Reality Application (CAdS, ARF, APG), pp. 38–45.
ICEIS-v3-2014-SvedaH #cyber-physical #enterprise #information management- Cyber-physical Information Systems for Enterprise Engineering — Cyber-physical Applications Timing (MS, PH), pp. 441–446.
CIKM-2014-BudaCMK #database #named #performance- VFDS: An Application to Generate Fast Sample Databases (TSB, TC, JM, MK), pp. 2048–2050.
CIKM-2014-KalyanakrishnanSK #on the #online #scalability- On Building Decision Trees from Large-scale Data in Applications of On-line Advertising (SK, DS, RK), pp. 669–678.
CIKM-2014-VlachosFMKV #clustering #quality #recommendation- Improving Co-Cluster Quality with Application to Product Recommendations (MV, FF, CM, ATK, VGV), pp. 679–688.
CIKM-2014-YuanWYC #big data #database #grid #scalability #staged- Rubato DB: A Highly Scalable Staged Grid Database System for OLTP and Big Data Applications (LYY, LW, JHY, YC), pp. 1–10.
ECIR-2014-LvFC #evaluation #information retrieval- Evaluation of IR Applications with Constrained Real Estate (YL, AF, AKC), pp. 160–171.
ICML-c2-2014-AhmedTBZDKB #detection #random- Hierarchical Conditional Random Fields for Outlier Detection: An Application to Detecting Epileptogenic Cortical Malformations (BA, TT, KB, YZ, OD, RK, CEB), pp. 1080–1088.
ICML-c2-2014-BratieresQNG #graph #grid #predict #process #scalability- Scalable Gaussian Process Structured Prediction for Grid Factor Graph Applications (SB, NQ, SN, ZG), pp. 334–342.
ICML-c2-2014-DworkinKN- Pursuit-Evasion Without Regret, with an Application to Trading (LD, MK, YN), pp. 1521–1529.
ICML-c2-2014-HaeffeleYV #algorithm #image #matrix #rank- Structured Low-Rank Matrix Factorization: Optimality, Algorithm, and Applications to Image Processing (BDH, EY, RV), pp. 2007–2015.
ICML-c2-2014-LinAKLC #combinator #feedback #game studies #linear #monitoring- Combinatorial Partial Monitoring Game with Linear Feedback and Its Applications (TL, BDA, RDK, JL, WC), pp. 901–909.
ICML-c2-2014-LiuZWY- Safe Screening with Variational Inequalities and Its Application to Lasso (JL, ZZ, JW, JY), pp. 289–297.
ICML-c2-2014-WangST #statistics- The Falling Factorial Basis and Its Statistical Applications (YXW, AJS, RJT), pp. 730–738.
ICML-c2-2014-ZhouCL #crowdsourcing #identification #multi- Optimal PAC Multiple Arm Identification with Applications to Crowdsourcing (YZ, XC, JL), pp. 217–225.
ICPR-2014-AwadCR #hybrid- A New Hybrid Texture-Perceptual Descriptor: Application CBIR (DA, VC, AR), pp. 1150–1155.
ICPR-2014-ChatbriKK #approach #documentation #image #independence #query- An Application-Independent and Segmentation-Free Approach for Spotting Queries in Document Images (HC, PWK, KK), pp. 2891–2896.
ICPR-2014-ChenH #composition #detection- Implicit Rank-Sparsity Decomposition: Applications to Saliency/Co-saliency Detection (YLC, CTH), pp. 2305–2310.
ICPR-2014-DengHXC #analysis #composition #matrix #rank- Sparse and Low Rank Matrix Decomposition Based Local Morphological Analysis and Its Application to Diagnosis of Cirrhosis Livers (JD, XHH, GX, YWC), pp. 3363–3368.
ICPR-2014-DongSFBC #3d- Three-Dimensional Deconvolution of Wide Field Microscopy with Sparse Priors: Application to Zebrafish Imagery (BD, LS, AFF, OB, MDC), pp. 865–870.
ICPR-2014-DornaikaBSR #classification #encoding #graph #locality- Locality Constrained Encoding Graph Construction and Application to Outdoor Object Classification (FD, AB, HS, YR), pp. 2483–2488.
ICPR-2014-GavriilidisT #classification #kernel #random #using- Random Walk Kernel Applications to Classification Using Support Vector Machines (VG, AT), pp. 3898–3903.
ICPR-2014-GousenbourgerSA #2d- Piecewise-Bézier C1 Interpolation on Riemannian Manifolds with Application to 2D Shape Morphing (PYG, CS, PAA), pp. 4086–4091.
ICPR-2014-NocetiO #classification #graph #kernel #process- A Spectral Graph Kernel and Its Application to Collective Activities Classification (NN, FO), pp. 3892–3897.
ICPR-2014-OuyedA #classification #kernel- Feature Relevance for Kernel Logistic Regression and Application to Action Classification (OO, MSA), pp. 1325–1329.
ICPR-2014-PertuzJP #framework #image #novel #representation- A Novel Mammography Image Representation Framework with Application to Image Registration (SP, CJ, DP), pp. 3292–3297.
ICPR-2014-VilaltaGM #adaptation #classification- Domain Adaptation under Data Misalignment: An Application to Cepheid Variable Star Classification (RV, KDG, LM), pp. 3660–3665.
KDD-2014-LiuGXXGP #modelling #probability #process #workflow- Proactive workflow modeling by stochastic processes with application to healthcare operation and management (CL, YG, HX, KX, WG, MP), pp. 1593–1602.
KDD-2014-ZhuSY #analysis #mining #network #social- Network mining and analysis for social applications (FZ, HS, XY), p. 1974.
KDIR-2014-HafethAC #analysis #case study #classification- Text Analysis of User-Generated Contents for Health-care Applications — Case Study on Smoking Status Classification (DAH, AA, DC), pp. 242–249.
KEOD-2014-Talia #big data #data mining #distributed #information management #mining- Big Data Mining Services and Distributed Knowledge Discovery Applications on Clouds (DT), pp. 1–5.
KMIS-2014-Kaczmarek #architecture #documentation #music- The Application of the IODA Document Architecture to Music Data (ALK), pp. 268–273.
KR-2014-LudwigK #difference #logic- Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (ML, BK).
MLDM-2014-WangLK #concurrent #data mining #mining- Applications of Concurrent Sequential Patterns in Protein Data Mining (CW, JL, MK), pp. 243–257.
SEKE-2014-ArnatovichTDLS #android #comparison #empirical- Empirical Comparison of Intermediate Representations for Android Applications (YA, HBKT, SD, KL, LKS), pp. 205–210.
SEKE-2014-ChenCH #energy #framework- Applications of Slow Intelligence Frameworks for Energy-Saving Control (WHC, SKC, WPH), pp. 511–515.
SEKE-2014-ChenX #automation #consistency #mobile #towards #web- Towards Automatic Consistency Checking between Web Application and its Mobile Application (XC, ZX), pp. 53–58.
SEKE-2014-DaubalDDA #concept- Tracing Domain Data Concepts in Layered Applications (MD, ND, DBD, HUA), pp. 292–297.
SEKE-2014-JuniorFJB #learning #mobile #product line #towards- Towards the Establishment of a Software Product Line for Mobile Learning Applications (VFJ, NFDF, EAdOJ, EFB), pp. 678–683.
SEKE-2014-NassarJSB #energy #generative #java #realtime #runtime- Generating Real-Time Profiles of Runtime Energy Consumption for Java Applications (MN, JJ, IS, MBB), pp. 592–597.
SEKE-2014-NetoASFM #architecture #behaviour #data transformation #framework #modelling #named #using- CoMoVi: a Framework for Data Transformation in Credit Behavioral Scoring Applications Using Model Driven Architecture (RFON, PJLA, ACS, DRdCF, GRM), pp. 286–291.
SEKE-2014-Saito0TO #approach #constraints #generative #knowledge-based #testing #web- Test Data Generation for Web Applications: A Constraint and Knowledge-based Approach (HS, ST, HT, MO), pp. 110–114.
SEKE-2014-SouzaA #estimation #mobile- Mobile Applications: The Paradox of Software Estimation (LSdS, GSdAJ), pp. 59–62.
SEKE-2014-ZhangCL #adaptation #random #sequence #testing- An Application of Adaptive Random Sequence in Test Case Prioritization (XZ, TYC, HL), pp. 126–131.
SIGIR-2014-BingGLNW #classification #predict #segmentation #web- Web page segmentation with structured prediction and its application in web page classification (LB, RG, WL, ZYN, HW), pp. 767–776.
SKY-2014-ExmanI #generative #named #ontology- Apogee: Application Ontology Generation from Domain Ontologies (IE, DI), pp. 31–42.
MoDELS-2014-ChakiE #compilation #distributed #modelling #verification- Model-Driven Verifying Compilation of Synchronous Distributed Applications (SC, JRE), pp. 201–217.
MoDELS-2014-VaupelTHSGG #development #mobile #modelling- Model-Driven Development of Mobile Applications Allowing Role-Driven Variants (SV, GT, JPH, RS, RG, MG), pp. 1–17.
MoDELS-2014-ChakiE #compilation #distributed #modelling #verification- Model-Driven Verifying Compilation of Synchronous Distributed Applications (SC, JRE), pp. 201–217.
MoDELS-2014-VaupelTHSGG #development #mobile #modelling- Model-Driven Development of Mobile Applications Allowing Role-Driven Variants (SV, GT, JPH, RS, RG, MG), pp. 1–17.
ECOOP-2014-LavoieDF #javascript #monitoring #performance #runtime #using #virtual machine- Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering (EL, BD, MF), pp. 541–566.
ECOOP-2014-NittaKT #framework #identification- Identifying Mandatory Code for Framework Use via a Single Application Trace (NN, IK, YT), pp. 593–617.
Onward-2014-LorenzR #version control- Versionable, Branchable, and Mergeable Application State (DHL, BR), pp. 29–42.
PADL-2014-SonPL #multi #prolog #source code- Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems (TCS, EP, TL), pp. 87–103.
RE-2014-AntonelliRLO #using- Language Extended Lexicon points: Estimating the size of an application using its language (LA, GR, JCSdPL, AO), pp. 263–272.
RE-2014-SaxenaC #agile #analysis #named #requirements- Decisively: Application of Quantitative Analysis and Decision Science in Agile Requirements Engineering (SKS, RC), pp. 323–324.
RE-2014-WittFSH #process #validation #verification- Business Application Modeler: A process model Validation and Verification tool (SW, SF, AS, CH), pp. 333–334.
SAC-2014-AndradeRMOCFR #architecture #hybrid #performance #scheduling- Efficient dynamic scheduling of heterogeneous applications in hybrid architectures (GA, GSR, DM, RSO, EC, RF, LCdR), pp. 866–871.
SAC-2014-ChakrabortyCKD #adaptation #distributed- Hierarchical topology adaptation for distributed convergecast applications (SC, SC, SK, HSD), pp. 405–407.
SAC-2014-ChangCHKL #analysis #behaviour #mobile- Application behavior analysis in resource consumption for mobile devices (SWC, SWC, PCH, TWK, CWL), pp. 1469–1474.
SAC-2014-DaDR #middleware #mobile #named- Kalimucho: middleware for mobile applications (KD, MD, PR), pp. 413–419.
SAC-2014-DouglasL #database #embedded #named #sql- LittleD: a SQL database for sensor nodes and embedded applications (GD, RL), pp. 827–832.
SAC-2014-EtcheversSBCP #reliability #self- Reliable self-deployment of cloud applications (XE, GS, FB, TC, NDP), pp. 1331–1338.
SAC-2014-Fernandez-MarquezSSYDZ #approach #mobile #self- Self-managing and self-organising mobile computing applications: a separation of concerns approach (JLFM, GDMS, GS, JY, SD, FZ), pp. 458–465.
SAC-2014-GriebeG #approach #automation #mobile #modelling #testing- A model-based approach to test automation for context-aware mobile applications (TG, VG), pp. 420–427.
SAC-2014-KrichenAB #health #monitoring- WSN-based flutter control application for aircraft wings structural health monitoring (DK, WA, NB), pp. 680–685.
SAC-2014-KumeNNS #dynamic analysis #framework- A dynamic analysis technique to extract symptoms that suggest side effects in framework applications (IK, NN, MN, ES), pp. 1176–1178.
SAC-2014-Le #android #framework #modelling- A model driven framework for modeling and composing service based Android applications (CL), pp. 450–457.
SAC-2014-LiMZ #using #visualisation- Visualization of oceanographic applications using a common data model (JL, ZPM, KZ), pp. 933–938.
SAC-2014-ManducaMFP #approach #database #implementation #multitenancy #web- A nonintrusive approach for implementing single database, multitenant services from web applications (AMM, EVM, RPMF, MdGCP), pp. 751–756.
SAC-2014-MartorellFRV #adaptation #embedded- Improving adaptiveness of AUTOSAR embedded applications (HM, JCF, MR, RV), pp. 384–390.
SAC-2014-PengST #case study #development #mobile #network #social- Success factors in mobile social networking application development: case study of instagram (RP, DS, WTT), pp. 1072–1079.
SAC-2014-RibeiroS #domain-specific language #mobile #named- XIS-mobile: a DSL for mobile applications (AR, ARdS), pp. 1316–1323.
SAC-2014-SantosBAP #health #protocol- Integrating IEEE 11073 and constrained application protocol for personal health devices (DFSS, FB, HOA, AP), pp. 466–467.
SAC-2014-SehicNVLD #adaptation #development #named #programming- Entity-adaptation: a programming model for development of context-aware applications (SS, SN, MV, FL, SD), pp. 436–443.
SAC-2014-ZhanLS #analysis #in the cloud #mobile- A green analysis of mobile cloud computing applications (KZ, CHL, PS), pp. 357–362.
FSE-2014-BaeCLR #api #detection #named #web- SAFEWAPI: web API misuse detector for web applications (SB, HC, IL, SR), pp. 507–517.
FSE-2014-LiAG #automation #javascript #named #testing #web- SymJS: automatic symbolic testing of JavaScript web applications (GL, EA, IG), pp. 449–459.
FSE-2014-LinRD #android #concurrent #refactoring- Retrofitting concurrency for Android applications through refactoring (YL, CR, DD), pp. 341–352.
FSE-2014-LuoMW0Z #comparison #detection #obfuscation #semantics #similarity- Semantics-based obfuscation-resilient binary code similarity comparison with applications to software plagiarism detection (LL, JM, DW, PL, SZ), pp. 389–400.
FSE-2014-NguyenKN #embedded #graph #web- Building call graphs for embedded client-side code in dynamic web applications (HVN, CK, TNN), pp. 518–529.
ICSE-2014-AkikiBY #adaptation #enterprise #user interface- Integrating adaptive user interface capabilities in enterprise applications (PAA, AKB, YY), pp. 712–723.
ICSE-2014-BocicB #induction #invariant #verification #web- Inductive verification of data model invariants for web applications (IB, TB), pp. 620–631.
ICSE-2014-ChenLZ #android #detection #scalability- Achieving accuracy and scalability simultaneously in detecting application clones on Android markets (KC, PL, YZ), pp. 175–186.
ICSE-2014-ChenSJHNF #anti #detection #performance #using- Detecting performance anti-patterns for applications developed using object-relational mapping (THC, WS, ZMJ, AEH, MNN, PF), pp. 1001–1012.
ICSE-2014-GhezziPST #behaviour #mining #modelling #web- Mining behavior models from user-intensive web applications (CG, MP, MS, GT), pp. 277–287.
ICSE-2014-HuangZTWL #android #behaviour #detection #named #user interface- AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction (JH, XZ, LT, PW, BL), pp. 1036–1046.
ICSE-2014-KleinMAH #named #robust- Brownout: building more robust cloud applications (CK, MM, KEÅ, FHR), pp. 700–711.
ICSE-2014-LiTH #energy #performance #smarttech #web- Making web applications more energy efficient for OLED smartphones (DL, AHT, WGJH), pp. 527–538.
ICSE-2014-LiuXC #debugging #detection #performance #smarttech- Characterizing and detecting performance bugs for smartphone applications (YL, CX, SCC), pp. 1013–1024.
ICSE-2014-NguyenKN #execution #testing #variability #web- Exploring variability-aware execution for testing plugin-based web applications (HVN, CK, TNN), pp. 907–918.
ICSE-2014-NguyenNNN #interprocedural #javascript #mining #web- Mining interprocedural, data-oriented usage patterns in JavaScript web applications (HVN, HAN, ATN, TNN), pp. 791–802.
ICSE-2014-NikzadCG #development #energy #middleware #mobile #named- APE: an annotation language and middleware for energy-efficient mobile application development (NN, OC, WGG), pp. 515–526.
ICSE-2014-ThomasBPN #mobile #privacy #requirements- Distilling privacy requirements for mobile applications (KT, AKB, BAP, BN), pp. 871–882.
SLE-J-2012-SloaneR #attribute grammar #domain-specific language #profiling #term rewriting- Domain-specific program profiling and its application to attribute grammars and term rewriting (AMS, MR), pp. 488–510.
SLE-2014-PredaGLMG #adaptation #distributed #framework #named- AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications (MDP, SG, IL, JM, MG), pp. 161–170.
SPLC-2014-MoensT #development #multitenancy- Feature-based application development and management of multi-tenant applications in clouds (HM, FDT), pp. 72–81.
ASPLOS-2014-CriswellDA #operating system- Virtual ghost: protecting applications from hostile operating systems (JC, ND, VSA), pp. 81–96.
ASPLOS-2014-SamadiJLM #approximate #named #parallel- Paraprox: pattern-based approximation for data parallel applications (MS, DAJ, JL, SAM), pp. 35–50.
ASPLOS-2014-SantosRSW #mobile #runtime #using- Using ARM trustzone to build a trusted language runtime for mobile applications (NS, HR, SS, AW), pp. 67–80.
CC-2014-CharlesCLEG #code generation- deGoal a Tool to Embed Dynamic Code Generators into Applications (HPC, DC, VL, FAE, RG), pp. 107–112.
CGO-2014-BarikKMLSHNA #c++ #performance- Efficient Mapping of Irregular C++ Applications to Integrated GPUs (RB, RK, DM, BTL, TS, CH, YN, ARAT), p. 33.
HPDC-2014-FaltBKYZ #named #parallel #streaming- Bobolang: a language for parallel streaming applications (ZF, DB, MK, JY, FZ), pp. 311–314.
HPDC-2014-MaratheHLSRS #effectiveness #execution- Exploiting redundancy for cost-effective, time-constrained execution of HPC applications on amazon EC2 (AM, RH, DKL, BRdS, BR, MS), pp. 279–290.
HPDC-2014-RezaeiCLCM #manycore #named- Snapify: capturing snapshots of offload applications on xeon phi manycore processors (AR, GC, CHL, STC, FM), pp. 1–12.
LCTES-2014-BebelisFG #data flow #framework #manycore #parametricity- A framework to schedule parametric dataflow applications on many-core platforms (VB, PF, AG), pp. 125–134.
OSDI-2014-BaumannPH- Shielding Applications from an Untrusted Cloud with Haven (AB, MP, GCH), pp. 267–283.
OSDI-2014-ChenKWZK #identification #web- Identifying Information Disclosure in Web Applications with Retroactive Auditing (HC, TK, XW, NZ, MFK), pp. 555–569.
OSDI-2014-PillaiCAAAA #complexity #file system- All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications (TSP, VC, RA, SAK, ACAD, RHAD), pp. 433–448.
OSDI-2014-ZhangSAAGKL #deployment #mobile- Customizable and Extensible Deployment for Mobile/Cloud Applications (IZ, AS, DVA, IA, SDG, AK, HML), pp. 97–112.
PPoPP-2014-Bautista-GomezC #detection #monitoring- Detecting silent data corruption through data dynamic monitoring for scientific applications (LABG, FC), pp. 381–382.
PPoPP-2014-YangZ #concurrent #named #parallel #thread- CUDA-NP: realizing nested thread-level parallelism in GPGPU applications (YY, HZ), pp. 93–106.
ICST-2014-HongPK #concurrent #detection #fault #java #web- Detecting Concurrency Errors in Client-Side Java Script Web Applications (SH, YP, MK), pp. 61–70.
ICST-2014-LiGP #database #outsourcing- Sanitizing and Minimizing Databases for Software Application Test Outsourcing (BL, MG, DP), pp. 233–242.
ICST-2014-MiicBT #analysis #automation #multi #test coverage #testing- Automated Multi-platform Testing and Code Coverage Analysis of the CP2K Application (MM, IB, MT), pp. 95–98.
ICST-2014-WeisslederS #embedded #evaluation #modelling #testing- An Evaluation of Model-Based Testing in Embedded Applications (SW, HS), pp. 223–232.
IJCAR-2014-Lellmann #axiom #strict #theory and practice- Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications (BL), pp. 307–321.
ISSTA-2014-ChoudharyPO #web- Cross-platform feature matching for web applications (SRC, MRP, AO), pp. 82–92.
ISSTA-2014-ChoudharyPO14a #consistency #detection #named #nondeterminism #testing #web- X-PERT: a web application testing tool for cross-browser inconsistency detection (SRC, MRP, AO), pp. 417–420.
ISSTA-2014-Mirshokraie #assessment #effectiveness #generative #testing #web- Effective test generation and adequacy assessment for JavaScript-based web applications (SM), pp. 453–456.
ISSTA-2014-MirzaAghaeiM #test coverage #testing #web- DOM-based test adequacy criteria for web applications (MM, AM), pp. 71–81.
ISSTA-2014-NistorR #developer #named #performance #predict #problem #smarttech- SunCat: helping developers understand and predict performance problems in smartphone applications (AN, LR), pp. 282–292.
ISSTA-2014-SchurRZ #mining #modelling #multi #named #web- ProCrawl: mining test models from multi-user web applications (MS, AR, AZ), pp. 413–416.
ISSTA-2014-ZhangW #concurrent #parallel #runtime #thread- Runtime prevention of concurrency related type-state violations in multithreaded applications (LZ, CW), pp. 1–12.
ISSTA-2014-ZouCZZG #effectiveness #testing #web- Virtual DOM coverage for effective testing of dynamic web applications (YZ, ZC, YZ, XZ, ZG), pp. 60–70.
RTA-TLCA-2014-Schmidt-SchaussS #call-by #λ-calculus- Applicative May- and Should-Simulation in the Call-by-Value λ Calculus with AMB (MSS, DS), pp. 379–394.
CBSE-2013-VanwormhoudtF #adaptation #component #framework #named- CIAO: a component model and its OSGi framework for dynamically adaptable telephony applications (GV, AF), pp. 23–32.
ECSA-2013-CavalcanteMB #architecture- Describing Cloud Applications Architectures (EC, ALM, TVB), pp. 320–323.
ECSA-2013-HeseniusG #interactive #multimodal #mvc #named- MVIC — An MVC Extension for Interactive, Multimodal Applications (MH, VG), pp. 324–327.
ASE-2013-GuoZYZZ #android #detection- Characterizing and detecting resource leaks in Android applications (CG, JZ, JY, ZZ, YZ), pp. 389–398.
ASE-2013-HolderSDT #android #execution- Cloud Twin: Native execution of android applications on the Windows Phone (EH, ES, MD, ET), pp. 598–603.
ASE-2013-KusanoW #c #c++ #concurrent #generative #named #parallel #thread- CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications (MK, CW), pp. 722–725.
ASE-2013-MaezawaWTH #ajax #automation #interactive #invariant #verification- Automated verification of pattern-based interaction invariants in Ajax applications (YM, HW, YT, SH), pp. 158–168.
ASE-2013-MirshokraieMP #generative #javascript #named #testing- PYTHIA: Generating test cases with oracles for JavaScript applications (SM, AM, KP), pp. 610–615.
ASE-2013-NguyenNNNN #multi #web- Dangling references in multi-configuration and dynamic PHP-based Web applications (HVN, HAN, TTN, ATN, TNN), pp. 399–409.
ASE-2013-XuYMCL #adaptation #dependence #self #towards- Environment rematching: Toward dependability improvement for self-adaptive applications (CX, WY, XM, CC, JL), pp. 592–597.
CASE-2013-ChoiZFWT #industrial #requirements- Applications and requirements of industrial robots in meat processing (SC, GZ, TAF, TW, RT), pp. 1107–1112.
CASE-2013-GiulianiCP #analysis #optimisation- A computational analysis of nondifferentiable optimization: Applications to production maximization in gas-lifted oil fields (CMG, EC, AP), pp. 286–291.
CASE-2013-ShenWWW #modelling #optimisation- Application of vector ordinal optimization to the transportation systems with agent based modelling (ZS, KW, FYW, KW), pp. 898–903.
CASE-2013-SustoSPPMB #fault #maintenance #predict- A predictive maintenance system for integral type faults based on support vector machines: An application to ion implantation (GAS, AS, SP, DP, SFM, AB), pp. 195–200.
CASE-2013-ZhangH #algorithm #analysis #convergence #coordination #implementation #optimisation #parallel- Convergence analysis and parallel computing implementation for the multiagent coordination optimization algorithm with applications (HZ, QH), pp. 825–830.
CASE-2013-ZhangPJST #energy #interface #monitoring #scalability #using- A secure and scalable telemonitoring system using ultra-low-energy wireless sensor interface for long-term monitoring in life science applications (WZ, PP, EJ, RS, KT), pp. 617–622.
DAC-2013-AgostaBMP #analysis- Compiler-based side channel vulnerability analysis and optimized countermeasures application (GA, AB, MM, GP), p. 6.
DAC-2013-AgrawalRHSPC #architecture #clustering #framework #multi- Early exploration for platform architecture instantiation with multi-mode application partitioning (PA, PR, MH, NS, LVdP, FC), p. 8.
DAC-2013-AlaghiLH #probability #realtime- Stochastic circuits for real-time image-processing applications (AA, CL, JPH), p. 6.
DAC-2013-AnagnostopoulosTBS #distributed #manycore #resource management #runtime- Distributed run-time resource management for malleable applications on many-core platforms (IA, VT, AB, DS), p. 6.
DAC-2013-ChippaCRR #analysis #approximate- Analysis and characterization of inherent application resilience for approximate computing (VKC, STC, KR, AR), p. 9.
DAC-2013-HamzehSV #architecture #configuration management #named- REGIMap: register-aware application mapping on coarse-grained reconfigurable architectures (CGRAs) (MH, AS, SBKV), p. 10.
DAC-2013-MishraMD #approach #design #multi- A heterogeneous multiple network-on-chip design: an application-aware approach (AKM, OM, CRD), p. 10.
DAC-2013-SinghDK #energy #execution #multi #optimisation #streaming- Energy optimization by exploiting execution slacks in streaming applications on multiprocessor systems (AKS, AD, AK), p. 7.
DAC-2013-TrivediCM #case study #power management- Exploring tunnel-FET for ultra low power analog applications: a case study on operational transconductance amplifier (ART, SC, SM), p. 6.
DAC-2013-ZhaiBS #parallel #realtime #streaming- Exploiting just-enough parallelism when mapping streaming applications in hard real-time systems (JTZ, MB, TS), p. 8.
DATE-2013-AliasDP #kernel #optimisation #synthesis- Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA (CA, AD, AP), pp. 575–580.
DATE-2013-BertaccoCBFVKP #on the- On the use of GP-GPUs for accelerating compute-intensive EDA applications (VB, DC, NB, FF, SV, AMK, HDP), pp. 1357–1366.
DATE-2013-ChenPKSCP #configuration management #named- SMART: a single-cycle reconfigurable NoC for SoC applications (CHOC, SP, TK, SS, APC, LSP), pp. 338–343.
DATE-2013-DarbelL #power management- SoC low-power practices for wireless applications (ND, SL), p. 778.
DATE-2013-GurgenGBG #cyber-physical #self- Self-aware cyber-physical systems and applications in smart buildings and cities (LG, OG, YB, MG), pp. 1149–1154.
DATE-2013-HeLLHY #streaming #synthesis- Utilizing voltage-frequency islands in C-to-RTL synthesis for streaming applications (XH, SL, YL, XSH, HY), pp. 992–995.
DATE-2013-HsiehWH #configuration management #distributed #named #network- DANCE: distributed application-aware node configuration engine in shared reconfigurable sensor networks (CMH, ZW, JH), pp. 839–842.
DATE-2013-HuYH0 #concurrent #low cost #multi #named #thread- Orchestrator: a low-cost solution to reduce voltage emergencies for multi-threaded applications (XH, GY, YH, XL), pp. 208–213.
DATE-2013-LiSRRRAHP #configuration management #named- CSER: HW/SW configurable soft-error resiliency for application specific instruction-set processors (TL, MS, SR, SR, RGR, JAA, JH, SP), pp. 707–712.
DATE-2013-LiuN #multi- Radar signature in multiple target tracking system for driver assistant application (HL, SN), pp. 887–892.
DATE-2013-LiYHL #adaptation #named #smarttech #user interface- SmartCap: user experience-oriented power adaptation for smartphone’s application processor (XL, GY, YH, XL), pp. 57–60.
DATE-2013-MiyamoriXKUST #development #manycore #power management- Development of low power many-core SoC for multimedia applications (TM, HX, TK, HU, TS, JT), pp. 773–777.
DATE-2013-NegreanKE #analysis #manycore- Timing analysis of multi-mode applications on AUTOSAR conform multi-core systems (MN, SK, RE), pp. 302–307.
DATE-2013-RizkBJMA #case study #design- Statically-scheduled application-specific processor design: a case-study on MMSE MIMO equalization (MR, AB, MJ, YM, YA), pp. 677–680.
DATE-2013-ShenQ #energy #performance #smarttech #streaming #video- User-aware energy efficient streaming strategy for smartphone based video playback applications (HS, QQ), pp. 258–261.
DATE-2013-StanisicVCDMLM #analysis #embedded #performance #power management- Performance analysis of HPC applications on low-power embedded platforms (LS, BV, JC, AD, VMM, AL, JFM), pp. 475–480.
DATE-2013-TodorovMRS #approach #clustering #synthesis- A spectral clustering approach to application-specific network-on-chip synthesis (VT, DMG, HR, US), pp. 1783–1788.
DATE-2013-WagnerW #analysis #performance #statistics- Efficient variation-aware statistical dynamic timing analysis for delay test applications (MW, HJW), pp. 276–281.
DATE-2013-YakovlevVR #industrial #logic #roadmap #tool support- Advances in asynchronous logic: from principles to GALS & NoC, recent industry applications, and commercial CAD tools (AY, PV, MR), pp. 1715–1724.
DATE-2013-YanLH #adaptation #fault #self- A dynamic self-adaptive correction method for error resilient application (LY, HL, ZH), pp. 943–946.
DATE-2013-YetimMM #streaming- Extracting useful computation from error-prone processors for streaming applications (YY, MM, SM), pp. 202–207.
DocEng-2013-SilvaSM #html #named #web- NCL4WEB: translating NCL applications to HTML5 web pages (ECOS, JAFdS, DCMS), pp. 253–262.
DocEng-2013-SimkoFHV #metadata- Managing content, metadata and user-created annotations in web-based applications (MS, MF, MH, PV), pp. 201–204.
DocEng-2013-VielMPT #bound- Go beyond boundaries of iTV applications (CCV, ELM, MdGCP, CACT), pp. 263–272.
DRR-2013-SalahRP #adaptation #assessment #automation #detection #quality- Adaptive detection of missed text areas in OCR outputs: application to the automatic assessment of OCR quality in mass digitization projects (ABS, NR, TP).
ICDAR-2013-CecottiV #classification #multi #recognition- Rejection Schemes in Multi-class Classification — Application to Handwritten Character Recognition (HC, SV), pp. 445–449.
ICDAR-2013-GaoRKLSIK #detection #documentation #image #retrieval- Key-Region Detection for Document Images — Application to Administrative Document Retrieval (HG, MR, DK, JL, TS, MI, KK), pp. 230–234.
ICDAR-2013-GordoRKB #classification #documentation #segmentation- Document Classification and Page Stream Segmentation for Digital Mailroom Applications (AG, MR, DK, ADB), pp. 621–625.
ICDAR-2013-HedjamC #documentation #estimation #image #multi #representation- Ground-Truth Estimation in Multispectral Representation Space: Application to Degraded Document Image Binarization (RH, MC), pp. 190–194.
ICDAR-2013-LebourgeoisDGD #documentation #image #performance #segmentation- Fast Integral MeanShift: Application to Color Segmentation of Document Images (FL, FD, DG, JD), pp. 52–56.
ICDAR-2013-MoallaLA- Generalized Eigen Cooccurrence: Application to Palaeography (IM, FL, AMA), pp. 555–559.
ICDAR-2013-NafchiMC #documentation #image- Application of Phase-Based Features and Denoising in Postprocessing and Binarization of Historical Document Images (HZN, RFM, MC), pp. 220–224.
SIGMOD-2013-AbiteboulAMST #development #rule-based #using- Rule-based application development using Webdamlog (SA, ÉA, GM, JS, JT), pp. 965–968.
SIGMOD-2013-CheungAMM #database- Speeding up database applications with Pyxis (AC, OA, SM, ACM), pp. 969–972.
SIGMOD-2013-SametSA #database #game studies- Indexing methods for moving object databases: games and other applications (HS, JS, MA), pp. 169–180.
VLDB-2013-CiviliCGLLLMPRRSS #data access #ontology- MASTRO STUDIO: Managing Ontology-Based Data Access applications (CC, MC, GDG, DL, ML, LL, RM, AP, RR, MR, VS, DFS), pp. 1314–1317.
VLDB-2013-Lomet #approach #database #hardware #sql- Microsoft SQL Server’s Integrated Database Approach for Modern Applications and Hardware (DBL), pp. 1178–1179.
VLDB-2013-SikkaFGL #enterprise #evolution #framework #in memory- SAP HANA: The Evolution from a Modern Main-Memory Data Platform to an Enterprise Application Platform (VS, FF, AKG, WL), pp. 1184–1185.
ITiCSE-2013-EdwardsA #android #framework #named- Sofia: the simple open framework for inventive android applications (SHE, AA), p. 321.
FASE-2013-SakamotoTHWF #code generation #integration #named #testing #web- POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications (KS, KT, DH, HW, YF), pp. 343–358.
FASE-2013-TrippPCCG #analysis #named #scalability #security #web- Andromeda: Accurate and Scalable Security Analysis of Web Applications (OT, MP, PC, RC, SG), pp. 210–225.
FASE-2013-YangPX #approach #automation #generative #mobile- A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications (WY, MRP, TX), pp. 250–265.
TACAS-2013-GligoricM #database #model checking- Model Checking Database Applications (MG, RM), pp. 549–564.
CSMR-2013-BergerSK #architecture #security- Extracting and Analyzing the Implemented Security Architecture of Business Applications (BJB, KS, RK), pp. 285–294.
CSMR-2013-BorrielloMC #android #architecture #migration #towards- Migrating Android Applications towards Service-centric Architectures with Sip2Share (AB, FM, GC), pp. 413–416.
CSMR-2013-DuclosDGA #automation #c++ #named #testing- ACRE: An Automated Aspect Creator for Testing C++ Applications (ED, SLD, YGG, BA), pp. 121–130.
CSMR-2013-MinelliL #lessons learnt #mobile- Software Analytics for Mobile Applications-Insights & Lessons Learned (RM, ML), pp. 144–153.
CSMR-2013-Nagy #data-driven #static analysis- Static Analysis of Data-Intensive Applications (CN), pp. 435–438.
CSMR-2013-NegaraTS #detection #web- Feature Detection in Ajax-Enabled Web Applications (NN, NT, ES), pp. 154–163.
CSMR-2013-SnajberkHB #component #using #visualisation- Visualization of Component-Based Applications Structure Using AIVA (JS, LH, PB), pp. 409–412.
CSMR-2013-StevensRNJ #detection #multi #query #refactoring- A History Querying Tool and Its Application to Detect Multi-version Refactorings (RS, CDR, CN, VJ), pp. 335–338.
ICPC-2013-AlyCM #comprehension #towards- Building extensions for applications: Towards the understanding of extension possibilities (MA, AC, MM), pp. 182–191.
ICSM-2013-CastrejonVCL #maintenance #named #persistent- ExSchema: Discovering and Maintaining Schemas from Polyglot Persistence Applications (JCC, GVS, CC, RL), pp. 496–499.
ICSM-2013-FontanaFMWM #empirical #quality #smell- Investigating the Impact of Code Smells on System’s Quality: An Empirical Study on Systems of Different Application Domains (FAF, VF, AM, BW, PM), pp. 260–269.
ICSM-2013-HolySBJ #component #visualisation- A Visualization Tool for Reverse-Engineering of Complex Component Applications (LH, JS, PB, KJ), pp. 500–503.
ICSM-2013-KwonT #energy #mobile- Reducing the Energy Consumption of Mobile Applications Behind the Scenes (YWK, ET), pp. 170–179.
ICSM-2013-MinelliL #framework #mobile #named #visual notation- SAMOA — A Visual Software Analytics Platform for Mobile Applications (RM, ML), pp. 476–479.
ICSM-2013-NguyenNNN #refactoring #web- Output-Oriented Refactoring in PHP-Based Dynamic Web Applications (HAN, HVN, TTN, TNN), pp. 150–159.
ICSM-2013-NguyenNNN13a #fault #locality #web- Database-Aware Fault Localization for Dynamic Web Applications (HVN, HAN, TTN, TNN), pp. 456–459.
ICSM-2013-SiebraMSS #framework- The Adventure of Developing a Software Application on a Pre-release Platform: Features and Learned Lessons (CdS, AM, FQBdS, ALMS), pp. 556–559.
WCRE-2013-AvanciniC #grammarware #named #testing #web- Circe: A grammar-based oracle for testing Cross-site scripting in web applications (AA, MC), pp. 262–271.
WCRE-2013-KhadkaSJHH #challenge #legacy #lessons learnt #migration #scalability- Migrating a large scale legacy application to SOA: Challenges and lessons learned (RK, AS, SJ, JH, GPH), pp. 425–432.
WCRE-2013-MemonBNR #user interface- The first decade of GUI ripping: Extensions, applications, and broader impacts (AMM, IB, BNN, BR), pp. 11–20.
PEPM-2013-DevrieseSCP #domain-specific language #recursion- Fixing idioms: a recursion primitive for applicative DSLs (DD, IS, DC, FP), pp. 97–106.
PLDI-2013-CheungSM #optimisation #query #synthesis- Optimizing database-backed applications with query synthesis (AC, ASL, SM), pp. 3–14.
PLDI-2013-ZhangLYS #algorithm #alias #analysis #performance- Fast algorithms for Dyck-CFL-reachability with applications to alias analysis (QZ, MRL, HY, ZS), pp. 435–446.
STOC-2013-AlonLSV #algorithm #approximate #matrix #rank- The approximate rank of a matrix and its algorithmic applications: approximate rank (NA, TL, AS, SV), pp. 675–684.
STOC-2013-BitanskyP #approximate #encryption #obfuscation #on the- On the impossibility of approximate obfuscation and applications to resettable cryptography (NB, OP), pp. 241–250.
STOC-2013-BrandaoH #metric #quantum #theorem- Quantum de finetti theorems under local measurements with applications (FGSLB, AWH), pp. 861–870.
STOC-2013-ChekuriC #graph- Large-treewidth graph decompositions and applications (CC, JC), pp. 291–300.
STOC-2013-ChungPS #security #simulation- Non-black-box simulation from one-way functions and applications to resettable security (KMC, RP, KS), pp. 231–240.
STOC-2013-GargGSW #encryption- Witness encryption and its applications (SG, CG, AS, BW), pp. 467–476.
STOC-2013-KaneM- A PRG for lipschitz functions of polynomials with applications to sparsest cut (DMK, RM), pp. 1–10.
STOC-2013-MengM #linear #robust- Low-distortion subspace embeddings in input-sparsity time and applications to robust linear regression (XM, MWM), pp. 91–100.
CIAA-2013-HasanIRS #automaton #on the #sequence- On Palindromic Sequence Automata and Applications (MMH, ASMSI, MSR, AS), pp. 158–168.
CIAA-2013-Veanes #automaton #finite- Applications of Symbolic Finite Automata (MV), pp. 16–23.
SEFM-2013-BorekMSR #approach #model checking #modelling- Model Checking of Security-Critical Applications in a Model-Driven Approach (MB, NM, KS, WR), pp. 76–90.
ICFP-2013-PetersenGDAD #case study #experience #functional #programming- Experience report: functional programming of mHealth applications (CP, MG, DTD, JMA, GAD), pp. 357–362.
GT-VMT-2013-Corradini #concurrent #semantics- Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions (AC).
CHI-2013-CassidyAR #game studies #mobile #using- Using an open card sort with children to categorize games in a mobile phone application store (BC, DSA, JCR), pp. 2287–2290.
CHI-2013-LawsonJGLKVRM #metric #mobile #validation- Validating a mobile phone application for the everyday, unobtrusive, objective measurement of sleep (SWL, SJP, AG, CL, EK, SV, DR, KM), pp. 2497–2506.
CHI-2013-MatejkaGF13a #heatmap #named #visualisation- Patina: dynamic heatmaps for visualizing application usage (JM, TG, GWF), pp. 3227–3236.
CHI-2013-RoedlS #design #research- Design research at CHI and its applicability to design practice (DR, ES), pp. 1951–1954.
CHI-2013-XiaoHH13a #ad hoc #agile #interactive #named- WorldKit: rapid and easy creation of ad-hoc interactive applications on everyday surfaces (RX, CH, SEH), pp. 879–888.
CSCW-2013-ShaQDM #mobile- Trend makers and trend spotters in a mobile application (XS, DQ, MD, PM), pp. 1365–1374.
CSCW-2013-WangGX #empirical #online #privacy #social- An online experiment of privacy authorization dialogues for social applications (NW, JG, HX), pp. 261–272.
DHM-HB-2013-IllmannFLBD- Application and Future Developments of EMA in Digital Production Planning and Ergonomics (BI, LF, WL, SB, MD), pp. 66–75.
DHM-HB-2013-TheisAMW #artificial reality #aspect-oriented #industrial- Considering Ergonomic Aspects of Head-Mounted Displays for Applications in Industrial Manufacturing (ST, TA, MPM, MW), pp. 282–291.
DHM-SET-2013-BerberianSC- Causal Attribution and Control: Between Consciousness and Psychical Half-Shadow Application to Flight Operations (BB, JCS, LC), pp. 11–20.
DHM-SET-2013-Yamamoto #modelling- Investigation of an Agent-Based Modeling on Crowd Evacuation and Its Application to Real Buildings (FY), pp. 373–382.
DUXU-CXC-2013-Al-ArifiAAAA #communication #towards- Towards an Arabic Language Augmentative and Alternative Communication Application for Autism (BAA, AAR, GAO, NAR, AAW), pp. 333–341.
DUXU-CXC-2013-AlhafzyAMA #experience #novel- A Novel Reading Technique Application: Exploring Arabic Children Experience (MSA, EAA, HHM, MA), pp. 3–10.
DUXU-CXC-2013-CarignanK #case study #gamification #identification- Case Study: Identifying Gamification Opportunities in Sales Applications (JC, SLK), pp. 501–507.
DUXU-CXC-2013-ChuM #design #health #interactive- Application of Rhetorical Appeals in Interactive Design for Health (SC, GMM), pp. 371–380.
DUXU-CXC-2013-Maciel #named #testing #usability- PALMA: Usability Testing of an Application for Adult Literacy in Brazil (FRM), pp. 229–237.
DUXU-CXC-2013-MakanawalaGGL #gamification #performance- Applying Gamification in Customer Service Application to Improve Agents’ Efficiency and Satisfaction (PM, JG, EG, HL), pp. 548–557.
DUXU-CXC-2013-RosaGP #design #mobile- Participatory Design for Mobile Application for Academic Management in a Brazilian University (JGSR, AG, MdOP), pp. 286–295.
DUXU-CXC-2013-ThianthaiZ #enterprise #gamification- Bridging the Gap between Consumer and Enterprise Applications through Gamification (TT, BZ), pp. 602–607.
DUXU-CXC-2013-TsueiCC #metric #mobile #usability- Measuring Usability of the Mobile Mathematics Curriculum-Based Measurement Application with Children (MT, HYC, BSC), pp. 304–310.
DUXU-NTE-2013-BreyerRVCTK #artificial reality #case study #design- Design Methodology for Body Tracking Based Applications — A Kinect Case Study (FB, BR, LAV, AC, JMXNT, JK), pp. 227–236.
DUXU-NTE-2013-MarcusAA #evaluation #heuristic- Heuristic Evaluation of iCalamityGuide Application (AM, SA, MFA), pp. 130–139.
DUXU-PMT-2013-BuchdidPB #design- Designing iDTV Applications from Participatory Use of Patterns (SBB, RP, MCCB), pp. 459–468.
DUXU-PMT-2013-OrehovackiH #development #education #usability #validation #web- Development and Validation of an Instrument to Measure the Usability of Educational Artifacts Created with Web 2.0 Applications (TO, NZH), pp. 369–378.
DUXU-PMT-2013-PenhaCSCB #evaluation #usability- Ergonomic Evaluation of Usability with Users — Application of the Technique of Cooperative Evaluation (MP, WC, MMS, FC, MB), pp. 379–388.
DUXU-PMT-2013-SandinoMV #design #interactive #realtime- Design Thinking Methodology for the Design of Interactive Real-Time Applications (DS, LMM, GV), pp. 583–592.
DUXU-PMT-2013-VinagreN #design #named- Usagame — A New Methodology to Support User Centered Design of Touchscreen Applications (PV, ILN), pp. 620–629.
DUXU-WM-2013-BaldassariDPEG #case study #interactive #online #scalability- Behind Livia’s Villa: A Case Study for the Devolution of Large Scale Interactive “in-site” to “on-line” Application (GLB, ED, SP, JE, HG), pp. 238–247.
DUXU-WM-2013-BohmS #design #energy #mobile #performance #smarttech- Smart Metering with Smartphones: User-Centered Design of a Mobile Application in the Context of Energy Efficiency (SB, LS), pp. 631–640.
DUXU-WM-2013-FalcaoS #artificial reality #usability- Application of Virtual Reality Technologies in Consumer Product Usability (CSF, MMS), pp. 342–351.
DUXU-WM-2013-GencerBZV #framework #machine learning #mobile #using- A New Framework for Increasing User Engagement in Mobile Applications Using Machine Learning Techniques (MG, GB, ÖZ, TV), pp. 651–659.
DUXU-WM-2013-Igler #approach #design #evaluation #mobile #prototype- Feature Evaluation for Mobile Applications: A Design Science Approach Based on Evolutionary Software Prototypes (BI), pp. 673–681.
DUXU-WM-2013-PrataMQ #mobile #testing #usability- Usability Testing of Mobile Applications Store: Purchase, Search and Reviews (WP, CRM, MQ), pp. 714–722.
DUXU-WM-2013-WelchK #mobile #usability- Determining the Effect of Menu Element Size on Usability of Mobile Applications (SW, SJK), pp. 740–749.
HCI-AMTE-2013-Ariya #case study #experience- Case Study for Experience Vision — Application for PC (KA), pp. 275–280.
HCI-AMTE-2013-BurzaccaP #evaluation #mobile #usability #web- Remote Usability Evaluation of Mobile Web Applications (PB, FP), pp. 241–248.
HCI-AMTE-2013-ErturanBTCYO #comprehension #mobile #representation- A Mobile Application Flow Representation for Mutual Understanding of IT and Healthcare Professionals (YNE, SB, GT, NEÇ, EY, EÖ), pp. 310–319.
HCI-AMTE-2013-HermannCW #human-computer #industrial #interactive #manycore #parallel- Parallel Rendering of Human-Computer Interaction Industrial Applications on Multi-/Many-Core Platforms (SH, AC, L(W), pp. 350–360.
HCI-AMTE-2013-LuderschmidtHLD #agile #authoring #design #interactive #named #prototype- EMIL: A Rapid Prototyping Authoring Environment for the Design of Interactive Surface Applications (JL, NH, SL, RD), pp. 381–390.
HCI-AMTE-2013-WincklerBB- Characterizing Incidents Reporting Systems across Applications Domains (MW, CB, RB), pp. 521–530.
HCI-AS-2013-BergmansS #behaviour #mobile #persuasion #using- Reducing Speeding Behavior in Young Drivers Using a Persuasive Mobile Application (AB, SS), pp. 541–550.
HCI-AS-2013-CravenSMSMVRC #development #requirements #self #smarttech- User Requirements for the Development of Smartphone Self-reporting Applications in Healthcare (MPC, KS, RSKM, HS, AM, KV, NRF, JC), pp. 36–45.
HCI-AS-2013-DixonDD13a #design #health #implementation #mobile #testing- Designing, Implementing and Testing a Mobile Application to Assist with Pediatric-to-Adult Health Care Transition (JD, JD, SDD), pp. 66–75.
HCI-AS-2013-KalwarHP #concept #internet #named- SWord: A Concept Application for Mitigating Internet Terminology Anxiety (SKK, KH, JP), pp. 239–248.
HCI-AS-2013-MontAlvaoPL #case study #testing #usability- Usability Testing for e-health Application: A Case Study for Sana/Open MRS (CRM, FP, CAPdL), pp. 144–149.
HCI-AS-2013-SelvarajahCMCVR #question #web- Native Apps versus Web Apps: Which Is Best for Healthcare Applications? (KS, MPC, AM, JC, KV, NRF), pp. 189–196.
HCI-III-2013-DavidCD #collaboration #mobile #user interface- Supportive User Interfaces for MOCOCO (Mobile, Contextualized and Collaborative) Applications (BD, RC, FD), pp. 29–38.
HCI-III-2013-FunkeBKS #concept #interactive #ontology- An Ontology-Based Interaction Concept for Social-Aware Applications (AF, SB, RK, TS), pp. 46–55.
HCI-III-2013-LimD- Evaluating Intelligibility Usage and Usefulness in a Context-Aware Application (BYL, AKD), pp. 92–101.
HCI-III-2013-OhiroIN #communication- An Awareness System for Supporting Remote Communication — Application to Long-Distance Relationships (TO, TI, YN), pp. 329–338.
HCI-IMT-2013-AlexandrisM #human-computer #multi- Linguistic Processing of Implied Information and Connotative Features in Multilingual HCI Applications (CA, IM), pp. 13–22.
HCI-IMT-2013-BraunFMSM #bound #gesture- Context-Based Bounding Volume Morphing in Pointing Gesture Application (AB, AF, AM, CS, MM), pp. 147–156.
HCI-IMT-2013-Chen13b #gesture #people- Gesture-Based Applications for Elderly People (WC), pp. 186–195.
HCI-IMT-2013-GreeneTM #challenge #gesture #mobile #modelling #multi- Computational Cognitive Modeling of Touch and Gesture on Mobile Multitouch Devices: Applications and Challenges for Existing Theory (KKG, FPT, RJM), pp. 449–455.
HCI-IMT-2013-RyuLYL #gesture #interface- Conditions of Applications, Situations and Functions Applicable to Gesture Interface (TR, JL, MHY, JHL), pp. 368–377.
HCI-UC-2013-GuercioMBL #education #experience #named #network #social- SOCIETY: A Social Reading Application to Join Education and Social Network Experience (EG, FLM, MB, LL), pp. 277–284.
HCI-UC-2013-HarleyKRBBPHF #evaluation #web- The Evaluation of a Voting Web Based Application (LH, KK, JR, CB, AB, CP, MH, WBF), pp. 285–294.
HCI-UC-2013-KraftT #enterprise #resource management #semantics- Semantically Integrated Business Applications for Enterprise Resource Planning Systems (PK, RT), pp. 411–417.
HCI-UC-2013-LinCTH- An Application of the Ballistic Movement Method for Evaluating Computer Mice (RFL, CWC, YCT, CYH), pp. 199–208.
HCI-UC-2013-RossvollF #social #social media- Trustworthy and Inclusive Identity Management for Applications in Social Media (THR, LF), pp. 68–77.
HIMI-D-2013-HiranoNN #development #evaluation #tool support- Evaluation of System Engineers’ Intellectual Productivity — Focusing on Coding Procedures in Application Development Tools (RH, YN, MN), pp. 305–315.
HIMI-HSM-2013-CastronovoMM #interface #what- What, Where, and When? Intelligent Presentation Management for Automotive Human Machine Interfaces and Its Application (SC, AM, CAM), pp. 460–469.
HIMI-HSM-2013-JangOKK- User Guiding Information Supporting Application for Clinical Procedure in Traditional Medicine (HJ, YTO, AK, SKK), pp. 100–109.
HIMI-HSM-2013-KimKL #design #standard #verification- Designing and Verifying Application Schema by Applying Standard Element for Managing Ocean Observation Data (STK, LKK, TYL), pp. 110–115.
HIMI-HSM-2013-MizutaniKSASUKSI #development #eye tracking #visual notation- Development of Screening Visual Field Test Application that Use Eye Movement (MM, KK, SS, TA, TS, MU, SK, MS, TI), pp. 291–300.
HIMI-HSM-2013-MoodyW #mobile #security #what- Security, But at What Cost? — An Examination of Security Notifications within a Mobile Application (GM, DW), pp. 391–399.
HIMI-HSM-2013-ZhangA #flexibility #user interface- Improving the Flexibility of In-Vehicle Infotainment Systems by the Smart Management of GUI-Application Binding Related Information (RZ, TA), pp. 223–232.
HIMI-LCCB-2013-AehneltBRKUK #interactive #multi #smarttech- Situation Aware Interaction with Multi-modal Business Applications in Smart Environments (MA, SB, GR, FK, BU, TK), pp. 413–422.
HIMI-LCCB-2013-WatabeMH #process- Application to Help Learn the Process of Transforming Mathematical Expressions with a Focus on Study Logs (TW, YM, YH), pp. 157–164.
HIMI-LCCB-2013-YajimaHY #analysis #communication #design- Application of Ethno-Cognitive Interview and Analysis Method for the Smart Communication Design (AY, HH, TY), pp. 649–657.
OCSC-2013-AlaouiL #approach #communication #design- A LivingLab Approach to Involve Elderly in the Design of Smart TV Applications Offering Communication Services (MA, ML), pp. 325–334.
OCSC-2013-BourimiK #case study #collaboration #community #experience #online #using- Experiences by Using AFFINE for Building Collaborative Applications for Online Communities (MB, DK), pp. 345–354.
AdaEurope-2013-KampenhoutH #deployment #manycore #modelling- Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors (JRvK, RH), pp. 35–50.
CAiSE-2013-KapurugeHCK #as a service #named #scalability- ROAD4SaaS: Scalable Business Service-Based SaaS Applications (MK, JH, AWC, IK), pp. 338–352.
EDOC-2013-AlyCEM #interface #multi #named- XPoints: Extension Interfaces for Multilayered Applications (MA, AC, SE, MM), pp. 237–246.
EDOC-2013-MullerBHKP #database #enterprise #in memory #maintenance #performance- Efficient View Maintenance for Enterprise Applications in Columnar In-Memory Databases (SM, LB, KH, SK, HP), pp. 249–258.
EDOC-2013-SuleimanV #modelling #performance- Modeling Performance of Elasticity Rules for Cloud-Based Applications (BS, SV), pp. 201–206.
ICEIS-J-2013-BouneffaA13a #approach #graph grammar #impact analysis #ontology- The Change Impact Analysis in BPM Based Software Applications: A Graph Rewriting and Ontology Based Approach (MB, AA), pp. 280–295.
ICEIS-J-2013-HarbuschP13a #exclamation #optimisation #smarttech #usability #user interface- Optimizing the User Interface of a First-Aid App: A “Realistic” Usability Study with the Smartphone Application “Defi Now!” (KH, JP), pp. 421–437.
ICEIS-v1-2013-Castanon-PugaCF #fuzzy #java #library #named #object-oriented- JT2FIS: Java Type-2 Fuzzy Inference System — An Object-oriented Class Library for Building Java Intelligent Applications (MCP, JRC, MFP), pp. 524–529.
ICEIS-v1-2013-GrabisK #integration #on-demand- On-demand Data Integration for Decision-making Applications (JG, JK), pp. 201–208.
ICEIS-v1-2013-Prados-SuarezMRY #health- Contextualized Access to Electronic Health Records — Application to Hospital Interoperability (BPS, CM, MAPdR, MCPY), pp. 272–279.
ICEIS-v1-2013-SilveiraMAC #development #library #matrix #memory management #process- A Library to Support the Development of Applications that Process Huge Matrices in External Memory (JAS, SVGM, MVAA, VSC), pp. 153–160.
ICEIS-v2-2013-BouneffaA- Change Management of BPM-based Software Applications (MB, AA), pp. 37–45.
ICEIS-v2-2013-FragalSGJ #approach #embedded #product line #specification- Application Engineering for Embedded Systems — Transforming SysML Specification to Simulink within a Product-Line based Approach (VHF, RFS, IMdSG, EAdOJ), pp. 94–101.
ICEIS-v2-2013-KimMMK #optimisation #visualisation- Application of Information Technology for Visualizing and Optimizing Construction Project Schedule (HSK, SYM, HSM, LSK), pp. 329–332.
ICEIS-v2-2013-Milosz #case study #enterprise #legacy #performance #testing #using- Performance Testing of New Enterprise Applications using Legacy Load Data — A HIS Case Study (MM), pp. 151–156.
ICEIS-v2-2013-VitolsSB #development #mobile- Cross-platform Solution for Development of Mobile Applications (GV, IS, OB), pp. 273–277.
ICEIS-v2-2013-WolfengagenRSBS #approach #modelling #process #towards- Applicative Approach to Information Processes Modeling — Towards a Constructive Information Theory (VW, VR, LS, AB, AS), pp. 323–328.
ICEIS-v3-2013-HarbuschP #exclamation #smarttech #usability #user interface- The User Interface of a Medical First Aid Application — A Close-to-Realistic Usability Study with the Smartphone Application “Defi Now!” (KH, JP), pp. 91–98.
ICEIS-v3-2013-Plechawska-WojcikLW #assessment #case study #experience #user interface #using #web- Assessment of User Experience with Responsive Web Applications using Expert Method and Cognitive Walkthrough — A Case Study (MPW, SLM, LW), pp. 111–118.
CIKM-2013-ManiuC #performance #social- Network-aware search in social tagging applications: instance optimality versus efficiency (SM, BC), pp. 939–948.
ECIR-2013-CrestaniM #distributed #information retrieval- Distributed Information Retrieval and Applications (FC, IM), pp. 865–868.
ECIR-2013-MoensV #information retrieval #modelling #probability #topic- Monolingual and Cross-Lingual Probabilistic Topic Models and Their Applications in Information Retrieval (MFM, IV), pp. 874–877.
ICML-c1-2013-BuhlerRSH #clustering #community #detection #set #source code- Constrained fractional set programs and their application in local clustering and community detection (TB, SSR, SS, MH), pp. 624–632.
ICML-c1-2013-ChenWC- Maximum Variance Correction with Application to A* Search (WC, KQW, YC), pp. 302–310.
ICML-c1-2013-ChenWY #combinator #framework #multi- Combinatorial Multi-Armed Bandit: General Framework and Applications (WC, YW, YY), pp. 151–159.
ICML-c1-2013-SznitmanLFJF #locality #policy- An Optimal Policy for Target Localization with Application to Electron Microscopy (RS, AL, PIF, BJ, PF), pp. 1–9.
ICML-c3-2013-AhmedHS #documentation #modelling #process- Nested Chinese Restaurant Franchise Process: Applications to User Tracking and Document Modeling (AA, LH, AJS), pp. 1426–1434.
ICML-c3-2013-BaktashmotlaghHBLS #analysis #classification #video- Non-Linear Stationary Subspace Analysis with Application to Video Classification (MB, MTH, AB, BCL, MS), pp. 450–458.
ICML-c3-2013-WytockK #algorithm #energy #random #theory and practice- Sparse Gaussian Conditional Random Fields: Algorithms, Theory, and Application to Energy Forecasting (MW, JZK), pp. 1265–1273.
ICML-c3-2013-YangMM #scalability- Quantile Regression for Large-scale Applications (JY, XM, MWM), pp. 881–887.
KDD-2013-GilpinED #algorithm #framework #learning- Guided learning for role discovery (GLRD): framework, algorithms, and applications (SG, TER, IND), pp. 113–121.
KDD-2013-KengneFTIRWS #execution #multi #scalability #sequence- Efficiently rewriting large multimedia application execution traces with few event sequences (CKK, LCF, AT, NI, MCR, TW, MS), pp. 1348–1356.
KDD-2013-ZhaoH #detection #learning #online- Cost-sensitive online active learning with application to malicious URL detection (PZ, SCHH), pp. 919–927.
KEOD-2013-AlmKLS #design pattern #metric #ontology #quality- Applicability of Quality Metrics for Ontologies on Ontology Design Patterns (RA, SK, BL, KS), pp. 48–57.
KEOD-2013-NogueiraG #multi #nondeterminism #programming #set- Supply Chain Tracing of Multiple Products under Uncertainty and Incomplete Information — An Application of Answer Set Programming (MLN, NPG), pp. 399–406.
MLDM-2013-BouillonAA #evolution #fuzzy #gesture #learning #recognition- Decremental Learning of Evolving Fuzzy Inference Systems: Application to Handwritten Gesture Recognition (MB, ÉA, AA), pp. 115–129.
RecSys-2013-PizzatoB #network #people #recommendation #social- Beyond friendship: the art, science and applications of recommending people to people in social networks (LAP, AB), pp. 495–496.
RecSys-2013-SavirBS #recommendation- Recommending improved configurations for complex objects with an application in travel planning (AS, RIB, GS), pp. 391–394.
SEKE-2013-AlmeidaCBCLDP #adaptation #in the cloud- Dynamic Adaptation of Cloud Computing Applications (AA, EC, TB, NC, FL, FCD, PFP), pp. 67–72.
SEKE-2013-BuenoA #experience #knowledge base- Releasing the OMCS-Br Knowledgebase to Facilitate Insertion of Culture in Applications: Brazilian Experience (S) (AdOB, JCA), pp. 137–140.
SEKE-2013-CorralSS #mobile #quality #using- Using a Partially Instantiated GQM to Measure the Quality of Mobile Applications (S) (LC, AS, GS), pp. 520–524.
SEKE-2013-JuniorF #experience #mobile #web- SIGAA Mobile — A sucessful experience of constructing a mobile application from a existing web system (GSdAJ, IdMBF), pp. 510–515.
SEKE-2013-Lacanienta0TO #approach #generative #knowledge-based #web- A Knowledge-based Approach for Generating Test Scenarios for Web Applications (RL, ST, HT, MO), pp. 166–171.
SEKE-2013-NishiuraMWH #analysis #mutation testing #testing- Mutation Analysis for JavaScriptWeb Application Testing (KN, YM, HW, SH), pp. 159–165.
SEKE-2013-PramudiantoIJ #development #internet #modelling #prototype- Model Driven Development for Internet of Things Application Prototyping (FP, IRI, MJ), pp. 703–708.
SEKE-2013-TriasCSM #migration #web- An ADM-based Method for migrating CMS-based Web applications (FT, VdC, MLS, EM), pp. 256–261.
SEKE-2013-YuYLC #empirical #testing #web- An Empirical Study of an Improved Web Application Fuzz Testing Technique (S) (LY, ZY, CL, FC), pp. 400–404.
SIGIR-2013-BuccioNS #linked data #open data #web- A geolinguistic web application based on linked open data (EDB, GMDN, GS), pp. 1101–1102.
SIGIR-2013-Ruiz-RicoTGR #multi- A multilingual and multiplatform application for medicinal plants prescription from medical symptoms (FRR, DT, JLVG, MCRS), pp. 1121–1122.
SIGIR-2013-YankovBS #mobile #ranking- Interoperability ranking for mobile applications (DY, PB, RS), pp. 857–860.
MoDELS-2013-IordanovAAHU #modelling #semantics #web- The Semantic Web as a Software Modeling Tool: An Application to Citizen Relationship Management (BI, AA, SA, TH, PU), pp. 589–603.
MoDELS-2013-SaadB #analysis #data flow- Data-Flow Based Model Analysis and Its Applications (CS, BB), pp. 707–723.
MoDELS-2013-IordanovAAHU #modelling #semantics #web- The Semantic Web as a Software Modeling Tool: An Application to Citizen Relationship Management (BI, AA, SA, TH, PU), pp. 589–603.
MoDELS-2013-SaadB #analysis #data flow- Data-Flow Based Model Analysis and Its Applications (CS, BB), pp. 707–723.
Onward-2013-MilicevicJGM #interactive #modelling #paradigm #programming #web- Model-based, event-driven programming paradigm for interactive web applications (AM, DJ, MG, DM), pp. 17–36.
OOPSLA-2013-BoisSEE #concurrent #graph #multi #scalability #thread #visualisation- Bottle graphs: visualizing scalability bottlenecks in multi-threaded applications (KDB, JBS, SE, LE), pp. 355–372.
PADL-2013-DreyMHC #debugging- Reversible Language Extensions and Their Application in Debugging (ZD, JFM, MVH, MC), pp. 206–221.
PADL-2013-Jeffrey #html #web- Dependently Typed Web Client Applications — FRP in Agda in HTML5 (AJ), pp. 228–243.
ER-BR-2013-CabrejosMC #approach #development #elicitation #requirements #usability #web- An Approach for the Elicitation of Usability Requirements in the Development of Web Applications (LJERC, SM, TC).
RE-2013-BreauxR #analysis #formal method #multi #privacy #requirements #specification- Formal analysis of privacy requirements specifications for multi-tier applications (TDB, AR), pp. 14–20.
RE-2013-SultanovH #learning #requirements- Application of reinforcement learning to requirements engineering: requirements tracing (HS, JHH), pp. 52–61.
RE-2013-YuAMFC #industrial #state of the art- Practical applications of i∗ in industry: The state of the art (ESKY, DA, GM, XF, JC), pp. 366–367.
REFSQ-2013-AdamS #effectiveness #elicitation #empirical #product line #requirements- Effective Requirements Elicitation in Product Line Application Engineering — An Experiment (SA, KS), pp. 362–378.
SAC-2013-BaldovinGMV #kernel- Kernel-level time composability for avionics applications (AB, AG, EM, TV), pp. 1552–1554.
SAC-2013-CameronSNMM #analysis #component #performance #realtime #rule-based- Performance analysis of a rule-based SOA component for real-time applications (AC, MS, NN, WM, TM), pp. 1877–1884.
SAC-2013-CostaFLAV #metaheuristic #optimisation #statistics- Optimization metaheuristics for minimizing variance in a real-world statistical application (EC, FF, ARL, HA, FMV), pp. 206–207.
SAC-2013-CruzCMZ #monitoring- Monitoring SOA-based applications with business provenance (SMSdC, RMC, LMBM, JZ), pp. 1927–1932.
SAC-2013-GaubatzZ #collaboration #constraints #web- Supporting entailment constraints in the context of collaborative web applications (PG, UZ), pp. 736–741.
SAC-2013-GrootGYNK #data-driven #distributed #modelling- Modeling I/O interference for data intensive distributed applications (SG, KG, DY, MN, MK), pp. 343–350.
SAC-2013-HeitkotterMK #development #mobile #modelling- Cross-platform model-driven development of mobile applications with md2 (HH, TAM, HK), pp. 526–533.
SAC-2013-HongJ #named #network #object-oriented #programming language- Meso: an object-oriented programming language for building strongly-typed internet-based network applications (SH, YJJ), pp. 1579–1586.
SAC-2013-JangJHJKJ #android- Protecting Android applications with steganography-based software watermarking (JJ, HJ, JH, JJ, DK, SKJ), pp. 1657–1658.
SAC-2013-KimHCYWNPC #similarity #using- Measuring similarity of windows applications using static and dynamic birthmarks (DJK, YH, SC, HY, JW, YN, MP, LC), pp. 1628–1633.
SAC-2013-LoTNCLC #development #framework #multimodal- i*Chameleon: a platform for developing multimodal application with comprehensive development cycle (KWKL, WWWT, GN, ATSC, HVL, SCFC), pp. 1103–1108.
SAC-2013-MagalhaesS #adaptation #monitoring #performance- Adaptive monitoring of web-based applications: a performance study (JPM, LMS), pp. 471–478.
SAC-2013-MeilingSSW #communication #framework #grid #multi #network #scalability #smarttech #using- A scalable communication infrastructure for smart grid applications using multicast over public networks (SM, TS, TCS, MW), pp. 690–694.
SAC-2013-OliveiraP #experience #framework #middleware- Experience with a middleware infrastructure for service oriented financial applications (JPO, JP), pp. 479–484.
SAC-2013-PougetSCM #approach #data flow #debugging #embedded #interactive #novel- A novel approach for interactive debugging of dynamic dataflow embedded applications (KP, MS, PLC, JFM), pp. 1547–1549.
SAC-2013-SpreitzenbarthFESH #android #named- Mobile-sandbox: having a deeper look into android applications (MS, FCF, FE, TS, JH), pp. 1808–1815.
SAC-2013-SunGYFC #multi #testing #user interface- Multi-objective test case prioritization for GUI applications (WS, ZG, WY, CF, ZC), pp. 1074–1079.
SAC-2013-VeeraragavanBMVNM #analysis #comprehension #distributed #experience #interactive #metric #multi #quality- Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: metrics and analysis (NRV, AB, LM, RV, NN, HM), pp. 439–446.
SAC-2013-WilkePRPGA #energy #mobile- Comparing mobile applications’ energy consumption (CW, CP, SR, GP, SG, UA), pp. 1177–1179.
ESEC-FSE-2013-EscoffierLR #component #framework #javascript #named- h-ubu: an industrial-strength service-oriented component framework for JavaScript applications (CE, PL, NR), pp. 699–702.
ESEC-FSE-2013-GrechanikHBW #database- Preventing database deadlocks in applications (MG, BMMH, UB, HW), pp. 356–366.
ESEC-FSE-2013-HossainGBW #database #named #transaction- REDACT: preventing database deadlocks from application-based transactions (BMMH, MG, UB, HW), pp. 591–594.
ESEC-FSE-2013-JensenMS #automation #interface #javascript #testing #web- Server interface descriptions for automated testing of JavaScript web applications (CSJ, AM, ZS), pp. 510–520.
ESEC-FSE-2013-MadsenLF #framework #javascript #library #static analysis- Practical static analysis of JavaScript applications in the presence of frameworks and libraries (MM, BL, MF), pp. 499–509.
ESEC-FSE-2013-QiuLS #analysis #co-evolution #database #empirical- An empirical analysis of the co-evolution of schema and code in database applications (DQ, BL, ZS), pp. 125–135.
ESEC-FSE-2013-SchurRZ #behaviour #enterprise #mining #modelling #web- Mining behavior models from enterprise web applications (MS, AR, AZ), pp. 422–432.
ESEC-FSE-2013-ZhengZG #analysis #named #string #web- Z3-str: a z3-based string solver for web application analysis (YZ, XZ, VG), pp. 114–124.
ICSE-2013-ChoudharyPO #identification #named #web- X-PERT: accurate identification of cross-browser issues in web applications (SRC, MRP, AO), pp. 702–711.
ICSE-2013-GhoshSLC #automation #generative #industrial #java #named #string #testing- JST: an automatic test generation tool for industrial Java applications with strings (IG, NS, GL, WFC), pp. 992–1001.
ICSE-2013-HaoLHG #energy #mobile #program analysis #using- Estimating mobile application energy consumption using program analysis (SH, DL, WGJH, RG), pp. 92–101.
ICSE-2013-MemonC #automation #modelling #testing #tool support #user interface- Automated testing of GUI applications: models, tools, and controlling flakiness (AMM, MBC), pp. 1479–1480.
ICSE-2013-NguyenNNN #detection #named #web- DRC: a detection tool for dangling references in PHP-based web applications (HVN, HAN, TTN, TNN), pp. 1299–1302.
ICSE-2013-Rimba #assurance #security #using- Building high assurance secure applications using security patterns for capability-based platforms (PR), pp. 1401–1404.
ICSE-2013-ShangJHAHM #big data #data analysis #developer- Assisting developers of big data analytics applications when deploying on hadoop clouds (WS, ZMJ, HH, BA, AEH, PM), pp. 402–411.
ICSE-2013-SmitSSL #development #in the cloud #query- Supporting application development with structured queries in the cloud (MS, BS, MS, ML), pp. 1213–1216.
ICSE-2013-ThummalapentaLSSC #generative #testing #web- Guided test generation for web applications (ST, KVL, SS, NS, SC), pp. 162–171.
ICSE-2013-ZhengZ #detection #execution #static analysis #web- Path sensitive static analysis of web applications for remote code execution vulnerability detection (YZ, XZ), pp. 652–661.
ASPLOS-2013-HofmannKDLW #named #operating system- InkTag: secure applications on an untrusted operating system (OSH, SK, AMD, MZL, EW), pp. 265–278.
ASPLOS-2013-HonarmandDTKPP #named #parallel- Cyrus: unintrusive application-level record-replay for replay parallelism (NH, ND, JT, STK, GP, CP), pp. 193–206.
CGO-2013-ChoMHBM #profiling- Instant profiling: Instrumentation sampling for profiling datacenter applications (HKC, TM, REH, DB, SAM), p. 10.
CGO-2013-RenALMPS #data type #parallel- SIMD parallelization of applications that traverse irregular data structures (BR, GA, JRL, TM, TP, WS), p. 10.
HPCA-2013-DasAMKA #manycore #memory management #policy- Application-to-core mapping policies to reduce memory system interference in multi-core systems (RD, RA, OM, AK, MA), pp. 107–118.
HPCA-2013-GilaniKS #power management- Power-efficient computing for compute-intensive GPGPU applications (SZG, NSK, MJS), pp. 330–341.
HPCA-2013-SudanBLXMLB #architecture #lightweight #novel #using #web- A novel system architecture for web scale applications using lightweight CPUs and virtualized I/O (KS, SB, SL, MX, DM, GL, RB), pp. 167–178.
HPDC-2013-AjiPJCMBBDFMMT #on the- On the efficacy of GPU-integrated MPI for scientific applications (AMA, LSP, FJ, MC, KM, PB, KRB, JD, WcF, JMMC, XM, RT), pp. 191–202.
HPDC-2013-BehzadHLABYKP #framework- A framework for auto-tuning HDF5 applications (BB, JH, HVTL, RAA, SB, YY, QK, P), pp. 127–128.
HPDC-2013-BuRX #clustering #pipes and filters #scheduling- Interference and locality-aware task scheduling for MapReduce applications in virtual clusters (XB, JR, CZX), pp. 227–238.
HPDC-2013-LiuJZZSMC #automation #named #parallel- ACIC: automatic cloud I/O configurator for parallel applications (ML, YJ, JZ, YZ, QS, XM, WC), pp. 111–112.
HPDC-2013-SajjapongseWB #clustering #multi #runtime- A preemption-based runtime to efficiently schedule multi-process applications on heterogeneous clusters with GPUs (KS, XW, MB), pp. 179–190.
HPDC-2013-ZhangKWWF #parallel #scalability- MTC envelope: defining the capability of large scale computers in the context of parallel scripting applications (ZZ, DSK, MW, JMW, ITF), pp. 37–48.
HPDC-2013-ZhouWSJS #parallel #realtime- Supporting parallel soft real-time applications in virtualized environment (LZ, SW, HS, HJ, XS), pp. 117–118.
ISMM-2013-BuBXC #big data #design- A bloat-aware design for big data applications (YB, VRB, G(X, MJC), pp. 119–130.
LCTES-2013-GeunsHB #automation #data flow #realtime- Automatic dataflow model extraction from modal real-time stream processing applications (SJG, JPHMH, MJGB), pp. 143–152.
PPoPP-2013-PadmanabhanCC #composition #streaming- Decomposition techniques for optimal design-space exploration of streaming applications (SP, YC, RDC), pp. 285–286.
PPoPP-2013-WozniakAWKLF #data flow #named #programming #scalability- Swift/T: scalable data flow programming for many-task applications (JMW, TGA, MW, DSK, ELL, ITF), pp. 309–310.
SOSP-2013-RavindranathPMB #mobile #named- Timecard: controlling user-perceived delays in server-based mobile applications (LR, JP, RM, HB), pp. 85–100.
CADE-2013-BeckertGS #algorithm #logic- Analysing Vote Counting Algorithms via Logic — And Its Application to the CADE Election Scheme (BB, RG, CS), pp. 135–144.
CSL-2013-Maruyama #category theory #monad- Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad (YM), pp. 500–520.
ICLP-J-2013-MazuranSZ #datalog #declarative #horn clause- A declarative extension of horn clauses, and its significance for datalog and its applications (MM, ES, CZ), pp. 609–623.
ICST-2013-GrechanikHB #database #testing- Testing Database-Centric Applications for Causes of Database Deadlocks (MG, BMMH, UB), pp. 174–183.
ICST-2013-MunetohY #agile #development #framework #named #security #testing- RAILROADMAP: An Agile Security Testing Framework for Web-application Development (SM, NY), pp. 491–492.
ICST-2013-Torsel #domain-specific language #model checking #modelling #testing #using #web- A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker (AMT), pp. 383–390.
ICST-2013-Vernotte #modelling #research #testing #web- Research Questions for Model-Based Vulnerability Testing of Web Applications (AV), pp. 505–506.
ISSTA-2013-GuiSLSDW #model checking #predict #reliability #testing- Combining model checking and testing with an application to reliability prediction and distribution (LG, JS, YL, YJS, JSD, XW), pp. 101–111.
ISSTA-2013-LiHHG #android #energy- Calculating source line level energy information for Android applications (DL, SH, WGJH, RG), pp. 78–89.
ISSTA-2013-ZhangLE #automation #evolution #user interface #workflow- Automatically repairing broken workflows for evolving GUI applications (SZ, HL, MDE), pp. 45–55.
RTA-2013-GuiraudMM #monad #topic- A Homotopical Completion Procedure with Applications to Coherence of Monoids (YG, PM, SM), pp. 223–238.
SAT-2013-AudemardLS #incremental #satisfiability- Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction (GA, JML, LS), pp. 309–317.
CBSE-2012-CalmantAGDG #component #python- A dynamic and service-oriented component model for python long-lived applications (TC, JCA, OG, DD, KG), pp. 35–40.
QoSA-2012-Marzolla #energy #optimisation #scalability- Optimizing the energy consumption of large-scale applications (MM), pp. 123–132.
ASE-2012-AmalfitanoFTCM #android #automation #testing #user interface #using- Using GUI ripping for automated testing of Android applications (DA, ARF, PT, SDC, AMM), pp. 258–261.
ASE-2012-BartelKTM #android #automation- Automatically securing permission-based software by reducing the attack surface: an application to Android (AB, JK, YLT, MM), pp. 274–277.
ASE-2012-NguyenNNNN #detection #embedded #smell #web- Detection of embedded code smells in dynamic web applications (HVN, HAN, TTN, ATN, TNN), pp. 282–285.
ASE-2012-SharT #predict #validation #web- Predicting common web application vulnerabilities from input validation and sanitization code patterns (LKS, HBKT), pp. 310–313.
CASE-2012-HoSY #data mining #mining #modelling- Data Mining of Life Log for Developing a User model-based Service Application (YH, ESS, TY), pp. 757–760.
CASE-2012-HsiehYCLTC- A new swappable fluidic module for applications of capillary convective polymerase chain reaction (YFH, ASY, CWC, SKL, LYT, PHC), pp. 900–903.
CASE-2012-JangLKAPR- Hydraulic actuators in application of robot manipulator (SJ, GL, HK, KA, JP, SR), pp. 924–925.
CASE-2012-KimM #modelling #on the #probability #random #throughput- On the throughput of deterministic flow lines with random state dependent setups: Stochastic models and applications (WsK, JRM), pp. 650–655.
CASE-2012-LiuSJT #automation #hybrid #mobile- A Floyd-Dijkstra hybrid application for mobile robot path planning in life science automation (HL, NS, SJ, KT), pp. 279–284.
CASE-2012-ParkBPB #development- Development of an anthropomorphic robot hand aimed at practical use for wide service robot application (SWP, JHB, JHP, MB), pp. 431–435.
CASE-2012-ParkM #behaviour #bound #clustering #hybrid #linear #performance #tool support- Performance bounds for hybrid flow lines: Fundamental behavior, practical features and application to linear cluster tools (KP, JRM), pp. 371–376.
DAC-2012-CastrillonTLA- Communication-aware mapping of KPN applications onto heterogeneous MPSoCs (JC, AT, RL, GA), pp. 1266–1271.
DAC-2012-CheC #embedded #manycore- Unrolling and retiming of stream applications onto embedded multicore processors (WC, KSC), pp. 1272–1277.
DAC-2012-ChenZCZX #mobile #scalability #streaming #video- Quality-retaining OLED dynamic voltage scaling for video streaming applications on mobile devices (XC, JZ, YC, MZ, CJX), pp. 1000–1005.
DAC-2012-HamzehSV #morphism #named #using- EPIMap: using epimorphism to map applications on CGRAs (MH, AS, SBKV), pp. 1284–1291.
DAC-2012-HuangYCL #case study #industrial- Alternate hammering test for application-specific DRAMs and an industrial case study (RFH, HYY, MCTC, SCL), pp. 1012–1017.
DAC-2012-KuangBK #manycore #network #optimisation- Traffic-aware power optimization for network applications on multicore servers (JK, LNB, RK), pp. 1006–1011.
DAC-2012-LinK #comprehension #logic #search-based #synthesis- Application of logic synthesis to the understanding and cure of genetic diseases (PCKL, SPK), pp. 734–740.
DAC-2012-MelpignanoBFJLHCD #embedded #evaluation #framework #manycore #performance #visual notation- Platform 2012, a many-core computing accelerator for embedded SoCs: performance evaluation of visual analytics applications (DM, LB, EF, BJ, TL, GH, FC, DD), pp. 1137–1142.
DAC-2012-SinhaVVXZ #concept #statistics- Reversible statistical max/min operation: concept and applications to timing (DS, CV, NV, JX, VZ), pp. 1067–1073.
DATE-2012-BattezzatiCMS #algorithm #architecture #industrial #novel- SURF algorithm in FPGA: A novel architecture for high demanding industrial applications (NB, SC, MM, LS), pp. 161–162.
DATE-2012-CanedoF #cyber-physical #execution #industrial #parallel #towards- Towards parallel execution of IEC 61131 industrial cyber-physical systems applications (AC, MAAF), pp. 554–557.
DATE-2012-DenizSH #embedded #manycore #verification- Verification coverage of embedded multicore applications (ED, AS, JH), pp. 252–255.
DATE-2012-Gamatie #design #streaming #using- Design of streaming applications on MPSoCs using abstract clocks (AG), pp. 763–768.
DATE-2012-GanPGM #design #distributed #flexibility #realtime #robust- Robust and flexible mapping for real-time distributed applications during the early design phases (JG, PP, FG, JM), pp. 935–940.
DATE-2012-GerdesKURS #realtime- Time analysable synchronisation techniques for parallelised hard real-time applications (MG, FK, TU, CR, PS), pp. 671–676.
DATE-2012-KwonKKYL #case study #in memory #memory management #ram- A case study on the application of real phase-change RAM to main memory subsystem (SK, DK, YK, SY, SL), pp. 264–267.
DATE-2012-LevequePLACSMC #embedded #feedback #modelling #multi- Holistic modeling of embedded systems with multi-discipline feedback: Application to a Precollision Mitigation Braking System (AL, FP, MML, HA, FC, SS, AM, LC), pp. 739–744.
DATE-2012-MahmoodPLM #clustering #energy #memory management #optimisation- Application-specific memory partitioning for joint energy and lifetime optimization (HM, MP, ML, EM), pp. 364–369.
DATE-2012-MasrurGCCAB #analysis #communication #cyber-physical #hybrid #protocol- Timing analysis of cyber-physical applications for hybrid communication protocols (AM, DG, SC, JJC, AA, AB), pp. 1233–1238.
DATE-2012-MorchePMV #architecture #named #power management- UWB: Innovative architectures enable disruptive low power wireless applications (DM, MP, GM, PV), pp. 1156–1160.
DATE-2012-OzTKT #analysis #parallel #thread #trade-off- Performance-reliability tradeoff analysis for multithreaded applications (IO, HRT, MTK, OT), pp. 893–898.
DATE-2012-SekaninaS #image #logic #multi #towards- Towards new applications of multi-function logic: Image multi-filtering (LS, VS), pp. 824–827.
DATE-2012-ShahRK #bound #scheduling #using- Bounding WCET of applications using SDRAM with Priority Based Budget Scheduling in MPSoCs (HS, AR, AK), pp. 665–670.
DATE-2012-TabkhiS #approach #power management- Application-specific power-efficient approach for reducing register file vulnerability (HT, GS), pp. 574–577.
DocEng-2012-Delprat #approach #documentation- Content and document based approach for digital productivity applications (TD), pp. 83–84.
DocEng-2012-LecarpentierBCB #documentation #inheritance #web- An inheritance model for documents in web applications with sydonie (JML, PYB, HLC, RB), pp. 153–156.
DocEng-2012-NetoPS #hypermedia- TAL processor for hypermedia applications (CdSSN, HFP, LFGS), pp. 69–78.
DocEng-2012-SoaresNS #architecture #behaviour #constraints #hypermedia- Architecture for hypermedia dynamic applications with content and behavior constraints (LFGS, CdSSN, JGS), pp. 217–226.
DRR-2012-DaherGEBV #categorisation #recognition- Unsupervised categorization method of graphemes on handwritten manuscripts: application to style recognition (HD, DG, VE, SB, NV).
SIGMOD-2012-BoltonIRT #declarative #development #encapsulation #javascript #web- Declarative web application development: encapsulating dynamic JavaScript widgets (abstract only) (RB, DI, CR, KLT), p. 863.
SIGMOD-2012-ChandramouliCNSZ #named #realtime- RACE: real-time applications over cloud-edge (BC, JC, SN, IS, WZ), pp. 625–628.
SIGMOD-2012-GotzNG #mobile #named #personalisation- MaskIt: privately releasing user context streams for personalized mobile applications (MG, SN, JG), pp. 289–300.
SIGMOD-2012-KanneE #data-driven #declarative #fault #robust- Declarative error management for robust data-intensive applications (CCK, VE), pp. 205–216.
SIGMOD-2012-KwonBHR #named #pipes and filters- SkewTune: mitigating skew in mapreduce applications (YK, MB, BH, JAR), pp. 25–36.
SIGMOD-2012-Vaithyanathan #enterprise #social #social media- The value of social media data in enterprise applications (SV), pp. 755–756.
VLDB-2012-CheungAMM #automation #clustering #database- Automatic Partitioning of Database Applications (AC, OA, SM, ACM), pp. 1471–1482.
VLDB-2012-ErdosILTB #multi #problem- The Filter-Placement Problem and its Application to Minimizing Information Multiplicity (DE, VI, AL, ET, AB), pp. 418–429.
VLDB-2012-Jacques-SilvaGWWK #adaptation #runtime- Building User-defined Runtime Adaptation Routines for Stream Processing Applications (GJS, BG, RW, KLW, VK), pp. 1826–1837.
VLDB-2012-KwonBHR #pipes and filters- SkewTune in Action: Mitigating Skew in MapReduce Applications (YK, MB, BH, JAR), pp. 1934–1937.
VLDB-2012-RablSJGMM #big data #challenge #enterprise #performance- Solving Big Data Challenges for Enterprise Application Performance Management (TR, MS, HAJ, SGV, VMM, SM), pp. 1724–1735.
VLDB-2012-TaliusDDK #fault #query #transaction- Transaction Log Based Application Error Recovery and Point In-Time Query (TT, RD, AD, HK), pp. 1781–1789.
VLDB-2012-WenzelEMK #query- Complex Preference Queries Supporting Spatial Applications for User Groups (FW, ME, SM, WK), pp. 1946–1949.
FASE-2012-AbadiEF #slicing #theory and practice- Fine Slicing — Theory and Applications for Computation Extraction (AA, RE, YAF), pp. 471–485.
FoSSaCS-2012-BiernackiL #bisimulation- Applicative Bisimulations for Delimited-Control Operators (DB, SL), pp. 119–134.
CSMR-2012-JelschenGJPW #energy #re-engineering #towards- Towards Applying Reengineering Services to Energy-Efficient Applications (JJ, MG, MJ, CP, AW), pp. 353–358.
CSMR-2012-MaezawaWH #behaviour #internet- Extracting Interaction-Based Stateful Behavior in Rich Internet Applications (YM, HW, SH), pp. 423–428.
CSMR-2012-SchrettnerFBKG #framework #industrial #quality- Software Quality Model and Framework with Applications in Industrial Context (LS, LJF, ÁB, ÁK, TG), pp. 453–456.
ICPC-2012-AlawnehH #communication #identification- Identifying computational phases from inter-process communication traces of HPC applications (LA, AHL), pp. 133–142.
ICSM-2012-AmalfitanoFTCI #android #testing #tool support #user interface- A toolset for GUI testing of Android applications (DA, ARF, PT, SDC, GI), pp. 650–653.
ICSM-2012-BezemerZHGWW #as a service #industrial #performance- Locating performance improvement opportunities in an industrial software-as-a-service application (CPB, AZ, AvdH, AvdG, MW, RW), pp. 547–556.
ICSM-2012-DuseauDS #approach #named #visual notation- Vasco: A visual approach to explore object churn in framework-intensive applications (FD, BD, HAS), pp. 15–24.
ICSM-2012-ThungLJ #collaboration #detection- Detecting similar applications with collaborative tagging (FT, DL, LJ), pp. 600–603.
SCAM-2012-GauthierM #alias #php- Alias-Aware Propagation of Simple Pattern-Based Properties in PHP Applications (FG, EM), pp. 44–53.
WCRE-2012-GauthierM #data access #detection #performance #php- Fast Detection of Access Control Vulnerabilities in PHP Applications (FG, EM), pp. 247–256.
WCRE-2012-JoorabchiM #mobile #reverse engineering- Reverse Engineering iOS Mobile Applications (MEJ, AM), pp. 177–186.
WCRE-2012-NegaraS #automation #javascript #testing #web- Automated Acceptance Testing of JavaScript Web Applications (NN, ES), pp. 318–322.
PLDI-2012-HolewinskiRRFPRS #analysis- Dynamic trace-based analysis of vectorization potential of applications (JH, RR, MR, NF, LNP, AR, PS), pp. 371–382.
PLDI-2012-PetrovVSD #concurrent #detection #web- Race detection for web applications (BP, MTV, MS, JD), pp. 251–262.
STOC-2012-AlonMS #graph #scalability- Nearly complete graphs decomposable into large induced matchings and their applications (NA, AM, BS), pp. 1079–1090.
STOC-2012-BarakBHKSZ #proving- Hypercontractivity, sum-of-squares proofs, and their applications (BB, FGSLB, AWH, JAK, DS, YZ), pp. 307–326.
STOC-2012-CheungKL #algorithm #matrix #performance #rank- Fast matrix rank algorithms and applications (HYC, TCK, LCL), pp. 549–562.
ICALP-v1-2012-FarzanMR #orthogonal #query- Succinct Indices for Range Queries with Applications to Orthogonal Range Maxima (AF, JIM, RR), pp. 327–338.
ICALP-v1-2012-VerbinZ #distance #named #sketching- Rademacher-Sketch: A Dimensionality-Reducing Embedding for Sum-Product Norms, with an Application to Earth-Mover Distance (EV, QZ), pp. 834–845.
ICALP-v1-2012-Zouzias #algorithm #matrix- A Matrix Hyperbolic Cosine Algorithm and Applications (AZ), pp. 846–858.
ICALP-v2-2012-GoodrichM #parallel- Anonymous Card Shuffling and Its Applications to Parallel Mixnets (MTG, MM), pp. 549–560.
ICALP-v2-2012-OchelRV #capacity #network #online- Online Packing with Gradually Improving Capacity Estimations and Applications to Network Lifetime Maximization (MO, KR, BV), pp. 648–659.
FM-2012-MinamideM #analysis #html #parsing #reachability #specification #testing- Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing (YM, SM), pp. 293–307.
IFM-2012-BorgerCG #analysis #framework #web- Contribution to a Rigorous Analysis of Web Application Frameworks (EB, AC, VG), pp. 1–20.
IFL-2012-DijkstraSVS #haskell #javascript- Building JavaScript Applications with Haskell (AD, JS, AV, SDS), pp. 37–52.
GT-VMT-2012-LaraG #constraints #visual notation- Inter-Modelling with Graphical Constraints: Foundations and Applications (JdL, EG).
ICGT-2012-BlumeBEK #automaton #graph #implementation #invariant #performance- Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking (CB, HJSB, DE, BK), pp. 264–278.
ICGT-2012-KonigS #graph transformation- Well-Structured Graph Transformation Systems with Negative Application Conditions (BK, JS), pp. 81–95.
ICGT-2012-TaentzerML #co-evolution #graph- Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution (GT, FM, YL), pp. 326–340.
CHI-2012-BaillyMRWK #gesture #interactive #named #smarttech- ShoeSense: a new perspective on gestural interaction and wearable applications (GB, JM, MR, DW, SGK), pp. 1239–1248.
CHI-2012-ChilanaKW #crowdsourcing #named #web- LemonAid: selection-based crowdsourced contextual help for web applications (PKC, AJK, JOW), pp. 1549–1558.
CHI-2012-HuhnKLK #evaluation #on the- On the use of virtual environments for the evaluation of location-based applications (AEH, VJK, AL, PK), pp. 2569–2578.
CHI-2012-OlssonS #artificial reality #case study #experience #mobile- Narratives of satisfying and unsatisfying experiences of current mobile augmented reality applications (TO, MS), pp. 2779–2788.
CSCW-2012-HarryGS #interactive #tablet- Setting the stage for interaction: a tablet application to augment group discussion in a seminar class (DH, EG, CS), pp. 1071–1080.
CSCW-2012-LautamakiNKAME #collaboration #editing #java #named #realtime #web- CoRED: browser-based Collaborative Real-time Editor for Java web applications (JL, AN, JK, TA, TM, ME), pp. 1307–1316.
AdaEurope-2012-ForlerLW #api #design #encryption #library #programming- Designing the API for a Cryptographic Library — A Misuse-Resistant Application Programming Interface (CF, SL, JW), pp. 75–88.
AdaEurope-2012-SaezRC #framework #multi #realtime- An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications (SS, JR, AC), pp. 18–34.
HILT-2012-LiSRM #analysis #protocol #realtime #scheduling- Applicability of real-time schedulability analysis on a software radio protocol (SL, FS, SR, MB), pp. 81–94.
CAiSE-2012-GhaddarTAB #as a service #multitenancy #outsourcing #variability- Variability as a Service: Outsourcing Variability Management in Multi-tenant SaaS Applications (AG, DT, AA, AB), pp. 175–189.
CAiSE-2012-Guizzardi12a #concept #modelling #ontology- Ontological Foundations for Conceptual Modeling with Applications (GG), pp. 695–696.
CAiSE-2012-KabirHYC #information management #named #social- SCIMS: A Social Context Information Management System for Socially-Aware Applications (MAK, JH, JY, AWC), pp. 301–317.
CAiSE-2012-Kurowski #challenge- Challenges for Future Platforms, Services and Networked Applications (KK), pp. 19–30.
EDOC-2012-FesehayeGNW #interactive #mobile- Impact of Cloudlets on Interactive Mobile Cloud Applications (DF, YG, KN, GW), pp. 123–132.
EDOC-2012-Holmes #design #execution #modelling- From Business Application Execution to Design Through Model-Based Reporting (TH), pp. 143–153.
EDOC-2012-ZarghamiSES #as a service #logic #process- Decision as a Service: Separating Decision-making from Application Process Logic (AZ, BS, MZE, MvS), pp. 103–112.
ICEIS-J-2012-Loucopoulos12a #requirements- Requirements Engineering for Emergent Application Software (PL), pp. 18–28.
ICEIS-J-2012-PrenzelR12a #interactive #modelling #scheduling- Models for Human Computer Interaction in Scheduling Applications (AP, GR), pp. 155–171.
ICEIS-J-2012-RenardCR12a #evaluation #fault #process #towards- Towards a Leaner Evaluation Process: Application to Error Correction Systems (AR, SC, BR), pp. 228–242.
ICEIS-v1-2012-AstiazaraB #energy #predict- Application of an Artificial Immune System to Predict Electrical Energy Fraud and Theft (MVA, DACB), pp. 265–271.
ICEIS-v1-2012-CoelhoAA #industrial #network- Node Positioning — Application for Wireless Networks Industrial Plants (PHGC, JLMdA, JFMdA), pp. 291–294.
ICEIS-v1-2012-PrenzelR #design #human-computer #interface #scheduling- Design of Human-computer Interfaces in Scheduling Applications (AP, GR), pp. 219–228.
ICEIS-v1-2012-QuastH #information management #question #social- Social Information Systems — The End of Shadow Applications? (MQ, MJH), pp. 5–15.
ICEIS-v2-2012-AbdallahR #embedded #performance #testing- Performance Impact of Fuzz Testing Windows Embedded Handheld Applications (NA, SR), pp. 371–376.
ICEIS-v2-2012-Bourougaa-TriaSM #adaptation #ubiquitous- Management of User Preferences and Conflicts to Ubiquitous Applications Adaptation (SBT, HSB, FM), pp. 271–276.
ICEIS-v2-2012-HanadaOKM #java #ml #ocl #uml- Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation (KH, KO, SK, KM), pp. 389–394.
ICEIS-v2-2012-KitanoST #community #framework #lightweight #web- Lightweight Web Application Framework and Its Application — Helping Improve Community Bus Timetables after Japan Earthquake (YK, HS, AT), pp. 252–257.
ICEIS-v2-2012-OrlandoRHODM #editing #web- SWRL Rule Editor — A Web Application as Rich as Desktop Business Rule Editors (JPO, AR, SH, MJO, AKD, DAM), pp. 258–263.
ICEIS-v2-2012-VianaPP #domain-specific language #framework #generative #modelling #reuse- Generating Applications — Framework Reuse Supported by Domain-Specific Modeling Languages (MCV, RDP, AFdP), pp. 5–14.
ICEIS-v3-2012-AkikiBY #adaptation #enterprise #modelling #runtime #user interface #using- Using Interpreted Runtime Models for Devising Adaptive User Interfaces of Enterprise Applications (PAA, AKB, YY), pp. 72–77.
CIKM-2012-MeleBG #graph #recommendation- The early-adopter graph and its application to web-page recommendation (IM, FB, AG), pp. 1682–1686.
CIKM-2012-NiLZLF #adaptation #database #design #multitenancy #named- Adapt: adaptive database schema design for multi-tenant applications (JN, GL, JZ, LL, JF), pp. 2199–2203.
CIKM-2012-QahtanZW #detection #estimation #performance- Efficient estimation of dynamic density functions with an application to outlier detection (AAQ, XZ, SW), pp. 2159–2163.
ICML-2012-BootsG #identification #problem- Two Manifold Problems with Applications to Nonlinear System Identification (BB, GJG), p. 8.
ICML-2012-Boulanger-LewandowskiBV #dependence #generative #modelling #music #sequence- Modeling Temporal Dependencies in High-Dimensional Sequences: Application to Polyphonic Music Generation and Transcription (NBL, YB, PV), p. 244.
ICML-2012-HannahD #design #geometry #programming- Ensemble Methods for Convex Regression with Applications to Geometric Programming Based Circuit Design (LH, DBD), p. 24.
ICML-2012-HartikainenSS #modelling #predict- State-Space Inference for Non-Linear Latent Force Models with Application to Satellite Orbit Prediction (JH, MS, SS), p. 96.
ICML-2012-PiresS #estimation #learning #linear #statistics- Statistical linear estimation with penalized estimators: an application to reinforcement learning (BAP, CS), p. 228.
ICPR-2012-ChenYY #analysis #null #recognition #scalability- Large margin null space discriminant analysis with applications to face recognition (XC, JY, WY), pp. 1679–1682.
ICPR-2012-HaoK #people #retrieval- Unsupervised people organization and its application on individual retrieval from videos (PH, SiK), pp. 2001–2004.
ICPR-2012-HardingHCLC #automation #detection #image- Automated detection of skeletal muscle twitches from B-mode ultrasound images: An application to motor neuron disease (PJH, EFHT, RC, IL, NC), pp. 2630–2633.
ICPR-2012-HartlR #artificial reality #mobile- Rectangular target extraction for mobile augmented reality applications (AH, GR), pp. 81–84.
ICPR-2012-LeiLL #analysis #feature model #linear #performance #recognition- Efficient feature selection for linear discriminant analysis and its application to face recognition (ZL, SL, SZL), pp. 1136–1139.
ICPR-2012-MiaoLZ #fault #feature model #predict- Cost-sensitive feature selection with application in software defect prediction (LM, ML, DZ), pp. 967–970.
ICPR-2012-NafchiK #dataset #image #representation- Rectangular based binary image representation: Theory, applications, and dataset introduction (HZN, HRK), pp. 190–193.
ICPR-2012-NayefAB #learning- Learning feature weights of symbols, with application to symbol spotting (NN, MZA, TMB), pp. 2371–2374.
ICPR-2012-NielsenLYV #matrix- Jensen divergence based SPD matrix means and applications (FN, ML, XY, BCV), pp. 2841–2844.
ICPR-2012-PinquierKLGMBGD #multi #process #recognition #smarttech- Strategies for multiple feature fusion with Hierarchical HMM: Application to activity recognition from wearable audiovisual sensors (JP, SK, LL, PG, RM, JBP, YG, JFD), pp. 3192–3195.
ICPR-2012-WangGFC #analysis #segmentation- Curvature-driven volumetric segmentation of binary shapes: An application to snow microstructure analysis (XW, LG, FF, DC), pp. 742–745.
ICPR-2012-WilkinsonO #analysis #documentation- Mask-edge connectivity: Theory, computation, and application to historical document analysis (MHFW, JO), pp. 1334–1337.
ICPR-2012-XuGN #image #using- Morphological filtering in shape spaces: Applications using tree-based image representations (YX, TG, LN), pp. 485–488.
ICPR-2012-ZhangZNH #learning #multi #recognition- Joint dynamic sparse learning and its application to multi-view face recognition (HZ, YZ, NMN, TSH), pp. 1671–1674.
KDD-2012-Holmes #data mining #mining- Developing data mining applications (GH), p. 225.
KDD-2012-Shi- China’s national personal credit scoring system: a real-life intelligent knowledge application (YS), p. 406.
KDD-2012-ShiA #dataset #mobile #recommendation- GetJar mobile application recommendations with very sparse datasets (KS, KA), pp. 204–212.
KDIR-2012-Inselberg #coordination #geometry #parallel #visual notation- Parallel Coordinates: Visual Multidimensional Geometry and Its Applications (AI).
KEOD-2012-SantosG #ontology- Building Application Ontologies through Knowledge System Goals (LES, RG), pp. 115–124.
KMIS-2012-FruhmannZ #enterprise #motivation- Enterprise 2.0 Adoption in SMEs — Application Areas, Motivation, Success Factors and Barriers (SF, MZ), pp. 202–207.
KMIS-2012-KeumKB #collaboration #communication #design #framework- Architeture Design of a Network-centric Platform for Unified Communication and Collaboration Applications (CK, SK, HB), pp. 294–297.
KMIS-2012-RezendeLBJMRB #framework #information management #modelling- Modelling and Knowledge Management in the Field of Road Infrastructure Operation and Regulation — Study on the Methods Application in an Organizational Unit (LR, MAL, CRNB, JdLPCJ, LAM, SAR, CAMB), pp. 265–268.
KR-2012-BackstromJ #abstraction- Abstracting Abstraction in Search with Applications to Planning (CB, PJ).
KR-2012-GrauHKKMMW #logic #query- Acyclicity Conditions and their Application to Query Answering in Description Logics (BCG, IH, MK, CK, DM, BM, ZW).
KR-2012-VlaeminckVBD #complexity #logic #order #semantics- Ordered Epistemic Logic: Semantics, Complexity and Applications (HV, JV, MB, MD).
MLDM-2012-SyarifZPW #detection- Application of Bagging, Boosting and Stacking to Intrusion Detection (IS, EZ, APB, GW), pp. 593–602.
SEKE-2012-BritoOMNBGM #case study #composition #implementation #social #web- Implementing Web Applications as Social Machines Composition: A Case Study (KdSB, LEAO, PFM, LMN, VAdAB, VCG, SRdLM), pp. 311–314.
SEKE-2012-Collazo-MojicaSEB #constraints #monitoring #scalability- Cloud Application Resource Mapping and Scaling Based on Monitoring of QoS Constraints (XJCM, SMS, JE, RMB), pp. 88–93.
SEKE-2012-ConradoC #domain-specific language #embedded #visual notation- Engineering Graphical Domain Specific Languages to Develop Embedded Robot Applications (DBFC, VVdC), pp. 495–498.
SEKE-2012-HanXO #web- Client-Side Rendering Mechanism: A Double-Edged Sword for Browser-Based Web Applications (HH, YX, KO), pp. 124–130.
SEKE-2012-JangidPE #analysis #mobile #predict #sentiment #using- A Mobile Application for Stock Market Prediction Using Sentiment Analysis (KJ, PP, ME), pp. 13–18.
SEKE-2012-RahmaniAS #modelling #performance #petri net #web #web service- Petri Net Modeling of Application Server Performance for Web Services (MR, AHA, HPS), pp. 305–310.
SEKE-2012-RiveroC #usability #using #web- Using the Results from a Systematic Mapping Extension to Define a Usability Inspection Method for Web Applications (LR, TC), pp. 582–587.
SEKE-2012-ShinKKJR #configuration management #dependence #impact analysis #using- Reconfiguration of Robot Applications using Data Dependency and Impact Analysis (MES, TK, SK, SJ, MR), pp. 684–687.
SEKE-2012-VegiFCOB #analysis #named- DC2AP: A Dublin Core Application Profile to Analysis Patterns (LFdMV, JLF, GLdSC, AdPO, JLB), pp. 511–516.
SIGIR-2012-AzzopardiDG #interactive #named #web- ALF: a client side logger and server for capturing user interactions in web applications (LA, MD, RG), p. 1003.
SIGIR-2012-AzzopardiDM #named #video- YooSee: a video browsing application for young children (LA, DD, KAM), p. 1017.
ICMT-J-2011-CuadradoGL12 #atl #flexibility #model transformation- Flexible Model-to-Model Transformation Templates: An Application to ATL (JSC, EG, JdL), pp. 1–28.
ECMFA-2012-HamannHG #monitoring #ocl #protocol #runtime #state machine- OCL-Based Runtime Monitoring of Applications with Protocol State Machines (LH, OH, MG), pp. 384–399.
MoDELS-2012-KulkarniBR #product line #towards- Towards Business Application Product Lines (VK, SB, SR), pp. 285–301.
MoDELS-2012-KulkarniBR #product line #towards- Towards Business Application Product Lines (VK, SB, SR), pp. 285–301.
ECOOP-2012-AliL #graph- Application-Only Call Graph Construction (KA, OL), pp. 688–712.
Onward-2012-BainomugishaVRCM #fresh look #programming- Interruptible context-dependent executions: a fresh look at programming context-aware applications (EB, JV, CDR, ALC, WDM), pp. 67–84.
OOPSLA-2012-CousotCLB #abstract interpretation #contract #framework #refactoring- An abstract interpretation framework for refactoring with application to extract methods with contracts (PC, RC, FL, MB), pp. 213–232.
OOPSLA-2012-SartorE #concurrent #hardware #java #manycore #performance #thread- Exploring multi-threaded Java application performance on multicore hardware (JBS, LE), pp. 281–296.
TOOLS-EUROPE-2012-FiambertiMT #development #framework #object-oriented #realtime- An Object-Oriented Application Framework for the Development of Real-Time Systems (FF, DM, FT), pp. 75–90.
GPCE-2012-BagheriS #architecture #framework #named #synthesis- Pol: specification-driven synthesis of architectural code frameworks for platform-based applications (HB, KJS), pp. 93–102.
POPL-2012-EllisonR #c #execution #semantics- An executable formal semantics of C with applications (CE, GR), pp. 533–544.
POPL-2012-RamananandroRL #c++ #resource management #semantics- A mechanized semantics for C++ object construction and destruction, with applications to resource management (TR, GDR, XL), pp. 521–532.
POPL-2012-VeanesHLMB #algorithm #finite #transducer- Symbolic finite state transducers: algorithms and applications (MV, PH, BL, DM, NB), pp. 137–150.
RE-2012-BerenbachSN #industrial #modelling #requirements- The use of a requirements modeling language for industrial applications (BB, FS, HN), pp. 285–290.
RE-2012-TunBPYHON #mobile #privacy #requirements- Privacy arguments: Analysing selective disclosure requirements for mobile applications (TTT, AKB, BAP, YY, CBH, IO, BN), pp. 131–140.
REFSQ-2012-OriolQFPM #adaptation #monitoring #requirements- Requirements Monitoring for Adaptive Service-Based Applications (MO, NAQ, XF, AP, JM), pp. 280–287.
SAC-2012-AmericoRD #framework #java #realtime- Managing the dynamism of the OSGi Service Platform in real-time Java applications (JCA, WR, DD), pp. 1115–1122.
SAC-2012-BookGB #continuation #web- Process-aware continuation management in web applications (MB, VG, MB), pp. 717–724.
SAC-2012-BoulilaEFS #adaptation #approach #database #image #predict- High level adaptive fusion approach: application to land cover change prediction in satellite image databases (WB, KSE, IRF, BS), pp. 21–22.
SAC-2012-CasadoTY #reliability #testing #transaction #web #web service- Testing the reliability of web services transactions in cooperative applications (RC, JT, MY), pp. 743–748.
SAC-2012-ChiprianovKR #architecture #enterprise #modelling- Extending Enterprise Architecture Modeling Languages: application to telecommunications service creation (VC, YK, SR), pp. 1661–1666.
SAC-2012-DragoB #analysis #architecture #design #graph #manycore #named- DAG3: a tool for design and analysis of applications for multicore architectures (MLD, JB), pp. 1159–1164.
SAC-2012-ElsayedAR #challenge #modelling- Artificial Immune Systems: Models, Applications, and challenges (SAME, RAA, SR), pp. 256–258.
SAC-2012-FazackerleyML #database #gpu- GPU accelerated AES-CBC for database applications (SF, SMM, RL), pp. 873–878.
SAC-2012-GiuntaPT12a #aspect-oriented #design pattern- Superimposing roles for design patterns into application classes by means of aspects (RG, GP, ET), pp. 1866–1868.
SAC-2012-HarnieDBM #programming- Programming urban-area applications (DH, TD, EGB, WDM), pp. 1516–1521.
SAC-2012-HeinrichG #standard #web- Data binding for standard-based web applications (MH, MG), pp. 652–657.
SAC-2012-LeitnerSHID #middleware #named #novel #scalability- CloudScale: a novel middleware for building transparently scaling cloud applications (PL, BS, WH, CI, SD), pp. 434–440.
SAC-2012-LiuHHYS #multi #performance- An application of circumscribed circle filter in the Multi-Stencils Fast Marching method (HL, CCH, HH, MY, ES), pp. 33–38.
SAC-2012-MaiaFFCAT #framework #mobile #social- Framework for building intelligent mobile social applications (MEFM, JBFF, CABdQF, RC, RMCA, FT), pp. 525–530.
SAC-2012-MajchrzakS #agile #development #testing #using #web- Using spring Roo for the test-driven development of Web applications (TAM, AS), pp. 664–671.
SAC-2012-MannS #android #detection #framework #privacy #static analysis- A framework for static detection of privacy leaks in android applications (CM, AS), pp. 1457–1462.
SAC-2012-MavrogiannopoulosTP #encryption #framework #kernel #linux- A linux kernel cryptographic framework: decoupling cryptographic keys from applications (NM, MT, BP), pp. 1435–1442.
SAC-2012-NobakhtBJS #deployment #programming #scheduling- Programming and deployment of active objects with application-level scheduling (BN, FSdB, MMJ, RS), pp. 1883–1888.
SAC-2012-QueirozB #product line- Application engineering of service-based software product lines (PGGQ, RTVB), pp. 1996–1997.
SAC-2012-SalaunEPBC #distributed #in the cloud #protocol #self #verification- Verification of a self-configuration protocol for distributed applications in the cloud (GS, XE, NDP, FB, TC), pp. 1278–1283.
SAC-2012-ScandurraRPMC #adaptation #coordination #framework #optimisation #resource management- A layered coordination framework for optimizing resource allocation in adapting cloud-based applications (PS, CR, PP, RM, RC), pp. 471–472.
SAC-2012-ScholteRBK #analysis #empirical #validation #web- An empirical analysis of input validation mechanisms in web applications and languages (TS, WKR, DB, EK), pp. 1419–1426.
SAC-2012-TruyenCWVBGDJ #as a service #programming- Context-oriented programming for customizable SaaS applications (ET, NC, SW, JV, EB, SG, TD, WJ), pp. 418–425.
SAC-2012-VasconcelosB #automation #evaluation #towards #web- Towards an automatic evaluation of web applications (LGdV, LABJ), pp. 709–716.
FSE-2012-NearJ #bound #named #verification #web- Rubicon: bounded verification of web applications (JPN, DJ), p. 60.
FSE-2012-OcteauJM #android #bytecode #java- Retargeting Android applications to Java bytecode (DO, SJ, PM), p. 6.
FSE-2012-WangZXXM #analysis #automation #collaboration #hybrid #web- Automating presentation changes in dynamic web applications via collaborative hybrid analysis (XW, LZ, TX, YX, HM), p. 16.
ICSE-2012-Avancini #research #security #testing #web- Security testing of web applications: A research plan (AA), pp. 1491–1494.
ICSE-2012-Bailey #adaptation #modelling #self- Application of Self-Adaptive techniques to federated authorization models (CB), pp. 1495–1498.
ICSE-2012-BianculliGPS #case study #industrial #research #specification- Specification patterns from research to industry: A case study in service-based applications (DB, CG, CP, PS), pp. 968–976.
ICSE-2012-CaiC #concurrent #detection #named #scalability- MagicFuzzer: Scalable deadlock detection for large-scale applications (YC, WKC), pp. 606–616.
ICSE-2012-CarzanigaGMP #java #self- A self-healing technique for Java applications (AC, AG, AM, NP), pp. 1445–1446.
ICSE-2012-HuangLXW #mining #recommendation #repository #xml- Mining application repository to recommend XML configuration snippets (SH, YL, YX, WW), pp. 1451–1452.
ICSE-2012-KimKKJ #approach #case study #industrial #testing #using- Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE (YK, MK, YJK, YJ), pp. 1143–1152.
ICSE-2012-McMillanGP #detection- Detecting similar software applications (CM, MG, DP), pp. 364–374.
ICSE-2012-NguyenNNN #detection #named #web- BabelRef: Detection and renaming tool for cross-language program entities in dynamic web applications (HVN, HAN, TTN, TNN), pp. 1391–1394.
ICSE-2012-SamirniSAMTH #automation #constraints #fault #generative #html #php #string #theorem proving #using- Automated repair of HTML generation errors in PHP applications using string constraint solving (HS, MS, SA, TDM, FT, LJH), pp. 277–287.
ICSE-2012-Schuchardt #mobile- Moving mobile applications between mobile devices seamlessly (VS), pp. 1595–1598.
ICSE-2012-YanXR #java #performance #problem #profiling- Uncovering performance problems in Java applications with reference propagation profiling (DY, G(X, AR), pp. 134–144.
ASPLOS-2012-HariANR #equivalence #fault #named- Relyzer: exploiting application-level fault equivalence to analyze application resiliency to transient faults (SKSH, SVA, HN, PR), pp. 123–134.
ASPLOS-2012-JoaoSMP #identification #parallel #scheduling #thread- Bottleneck identification and scheduling in multithreaded applications (JAJ, MAS, OM, YNP), pp. 223–234.
CC-2012-YangBMIGSSS #c++ #inheritance #program analysis- Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis (JY, GB, NM, FI, AG, NS, SS, NS), pp. 144–164.
CGO-2012-LiuRCK #named #optimisation #pipes and filters #towards- Panacea: towards holistic optimization of MapReduce applications (JL, NR, STC, MTK), pp. 33–43.
HPCA-2012-MillerPTST #named #process- Booster: Reactive core acceleration for mitigating the effects of process variation and application imbalance in low-voltage chips (TNM, XP, RT, NS, RT), pp. 27–38.
HPCA-2012-PanDWZ #enterprise #memory management #performance- Quasi-nonvolatile SSD: Trading flash memory nonvolatility to improve storage system performance for enterprise applications (YP, GD, QW, TZ), pp. 179–188.
HPCA-2012-SalapuraKNM- Accelerating business analytics applications (VS, TK, PN, JEM), pp. 413–422.
HPDC-2012-ChenASYB #multi #performance #question- Achieving application-centric performance targets via consolidation on multicores: myth or reality? (LYC, DA, ES, AY, WB), pp. 37–48.
HPDC-2012-DelamareFKL #distributed #named #using- SpeQuloS: a QoS service for BoT applications using best effort distributed computing infrastructures (SD, GF, DK, OL), pp. 173–186.
HPDC-2012-GamellRPM #framework #power management- Exploring cross-layer power management for PGAS applications on the SCC platform (MG, IR, MP, RM), pp. 235–246.
HPDC-2012-GuptaKMFKMGSL #in the cloud #performance- Exploring the performance and mapping of HPC applications to platforms in the cloud (AG, LVK, DSM, PF, RK, VM, FG, CHS, BSL), pp. 121–122.
HPDC-2012-LifflanderKK- Work stealing and persistence-based load balancers for iterative overdecomposed applications (JL, SK, LVK), pp. 137–148.
HPDC-2012-LiSBKS #in the cloud #named #pipes and filters- CAM: a topology aware minimum cost flow based resource manager for MapReduce applications in the cloud (ML, DS, ARB, AK, PS), pp. 211–222.
LCTES-2012-GerardGPP #array #compilation #composition #data flow #memory management #optimisation- A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler (LG, AG, CP, MP), pp. 51–60.
LCTES-2012-HashemiFGE #embedded #named #scalability #streaming- FORMLESS: scalable utilization of embedded manycores in streaming applications (MH, MHF, SG, CE), pp. 71–78.
OSDI-2012-GiffinLSTMMR #named #privacy #web- Hails: Protecting Data Privacy in Untrusted Web Applications (DBG, AL, DS, DT, DM, JCM, AR), pp. 47–60.
OSDI-2012-KimCZ #performance #web- Efficient Patch-based Auditing for Web Application Vulnerabilities (TK, RC, NZ), pp. 193–206.
PPoPP-2012-AliasDP #kernel #optimisation #synthesis- Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA (CA, AD, AP), pp. 285–286.
PPoPP-2012-AnderschCJ #embedded #parallel #programming- Programming parallel embedded and consumer applications in OpenMP superscalar (MA, CCC, BHHJ), pp. 281–282.
PPoPP-2012-HuynhHWG #framework #multi #scalability #streaming- Scalable framework for mapping streaming applications onto multi-GPU systems (HPH, AH, WFW, RSMG), pp. 1–10.
PPoPP-2012-SimDKV #analysis #framework #identification #performance- A performance analysis framework for identifying potential benefits in GPGPU applications (JS, AD, HK, RWV), pp. 11–22.
PPoPP-2012-TaoBB #development #gpu #kernel #scalability #using- Using GPU’s to accelerate stencil-based computation kernels for the development of large scale scientific applications on heterogeneous systems (JT, MB, SRB), pp. 287–288.
ICLP-2012-CattafiHGNM #constraints #health #logic programming #performance #quality- Improving Quality and Efficiency in Home Health Care: an application of Constraint Logic Programming for the Ferrara NHS unit (MC, RH, MG, MN, FM), pp. 415–424.
ICST-2012-AlshahwanHMTT #metric #web- Crawlability Metrics for Web Applications (NA, MH, AM, RT, PT), pp. 151–160.
ICST-2012-Borjesson #automation #industrial #testing #user interface #visual notation- Industrial Applicability of Visual GUI Testing for System and Acceptance Test Automation (EB), pp. 475–478.
ICST-2012-BuchlerOP #named #testing #web- SPaCiTE — Web Application Testing Engine (MB, JO, AP), pp. 858–859.
ICST-2012-ChoudharyDBJOI #challenge #internet #modelling #security #testing- Solving Some Modeling Challenges when Testing Rich Internet Applications for Security (SC, MED, GvB, GVJ, IVO, PI), pp. 850–857.
ICST-2012-ChoudharyPO #crawling #detection #difference #named #web- CrossCheck: Combining Crawling and Differencing to Better Detect Cross-browser Incompatibilities in Web Applications (SRC, MRP, AO), pp. 171–180.
ICST-2012-FrankeKWP #consistency #lifecycle #mobile #testing- Testing Conformance of Life Cycle Dependent Properties of Mobile Applications (DF, SK, CW, NP), pp. 241–250.
ICST-2012-GargD #database #testing #web- Test Case Prioritization Due to Database Changes in Web Applications (DG, AD), pp. 726–730.
ICST-2012-Kapfhammer #database #testing #towards- Towards a Method for Reducing the Test Suites of Database Applications (GMK), pp. 964–965.
ICST-2012-KimKJ #case study #embedded #industrial #testing- Industrial Application of Concolic Testing on Embedded Software: Case Studies (MK, YK, YJ), pp. 390–399.
ICST-2012-MarbackDE #approach #effectiveness #php #testing #web- An Effective Regression Testing Approach for PHP Web Applications (AM, HD, NE), pp. 221–230.
ICST-2012-MarianiPRS #automation #black box #interactive #named #testing- AutoBlackTest: Automatic Black-Box Testing of Interactive Applications (LM, MP, OR, MS), pp. 81–90.
ICST-2012-SprenkleCP #classification #modelling #statistics #web- Leveraging User-Privilege Classification to Customize Usage-based Statistical Models of Web Applications (SS, CC, LLP), pp. 161–170.
ICST-2012-ZhouF #database #effectiveness #empirical- Empirical Studies on Test Effectiveness for Database Applications (CZ, PGF), pp. 61–70.
ICTSS-2012-ChenV #protocol #testing- Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol (NC, CV), pp. 87–102.
IJCAR-2012-JacquelBDD #automation #deduction #modulo theories #proving #theorem proving #using #verification- Tableaux Modulo Theories Using Superdeduction — An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover (MJ, KB, DD, CD), pp. 332–338.
IJCAR-2012-Matiyasevich #automation #reasoning- Enlarging the Scope of Applicability of Successful Techniques for Automated Reasoning in Mathematics (YM), p. 9.
ISSTA-2012-AlshahwanH #detection #fault #testing #web- State aware test case regeneration for improving web application test suite coverage and fault detection (NA, MH), pp. 45–55.
ISSTA-2012-ZhaiXCT #approach #named #parallel #thread- CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications (KZ, BX, WKC, THT), pp. 221–231.
ISSTA-2012-ZhangLE #fault #parallel #thread #user interface- Finding errors in multithreaded GUI applications (SZ, HL, MDE), pp. 243–253.
VMCAI-2012-Bugaychenko #diagrams #model checking #multi #on the #probability- On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking (DB), pp. 104–118.
ECSA-2011-PurhonenS #adaptation #performance #runtime- Runtime Performance Management of Information Broker-Based Adaptive Applications (AP, SS), pp. 203–206.
QoSA-ISARCS-2011-FranksLH #metric #modelling #performance #protocol- Performance measurements and modeling of a java-based session initiation protocol (SIP) application server (GF, DHL, CEH), pp. 63–72.
QoSA-ISARCS-2011-KoziolekKR #architecture #automation #multi #named #optimisation- PerOpteryx: automated application of tactics in multi-objective software architecture optimization (AK, HK, RHR), pp. 33–42.
QoSA-ISARCS-2011-YusufSP #architecture #fault tolerance #grid- Architecture-based fault tolerance support for grid applications (IIY, HWS, IDP), pp. 177–182.
QoSA-ISARCS-2011-Zave #architecture #how #internet- How software architecture can make an application-friendly internet (PZ), pp. 1–2.
WICSA-2011-AllierSSF #architecture #component #object-oriented- From Object-Oriented Applications to Component-Oriented Applications via Component-Oriented Architecture (SA, SS, HAS, RF), pp. 214–223.
WICSA-2011-ChampagneG #architecture #automation #performance #towards- Towards Automation of Performance Architectural Tactics Application (RC, SG), pp. 157–160.
WICSA-2011-Kamath #architecture- Capabilities and Features: Linking Business and Application Architectures (SK), pp. 12–21.
WICSA-2011-Koziolek #architecture #multitenancy- The SPOSAD Architectural Style for Multi-tenant Software Applications (HK), pp. 320–327.
WICSA-2011-LiuC #architecture #in the cloud- Architecting Cloud Computing Applications and Systems (AL, RC), pp. 310–311.
WICSA-2011-SodhiP #development- Assessing Suitability of Cloud Oriented Platforms for Application Development (BS, TVP), pp. 328–335.
ASE-2011-AcherCLF11a #feature model #modelling- Decomposing feature models: language, environment, and applications (MA, PC, PL, RBF), pp. 600–603.
ASE-2011-AlshahwanH #automation #re-engineering #testing #using #web- Automated web application testing using search based software engineering (NA, MH), pp. 3–12.
ASE-2011-ClarkCKJH #database #fault #sql- Localizing SQL faults in database applications (SRC, JC, GMK, JAJ, MJH), pp. 213–222.
ASE-2011-Halfond #web- Domain and value checking of web application invocation arguments (WGJH), pp. 544–547.
ASE-2011-MarasCC #slicing #web- Client-side web application slicing (JM, JC, IC), pp. 504–507.
ASE-2011-MehlitzTU #model checking #named #user interface- JPF-AWT: Model checking GUI applications (PCM, OT, MU), pp. 584–587.
ASE-2011-PanWX #database #generative #testing- Generating program inputs for database application testing (KP, XW, TX), pp. 73–82.
ASE-2011-WinbladhR #testing- Evaluating test selection strategies for end-user specified flow-based applications (KW, AR), pp. 400–403.
CASE-2011-BroderickAT #detection #formal method #industrial- Anomaly detection without a pre-existing formal model: Application to an industrial manufacturing system (JAB, LVA, DMT), pp. 169–174.
CASE-2011-LeonardoKKDS #monitoring #simulation- Simulation of a hydraulic pump application for monitoring and diagnosis methods (DL, SK, AKH, AD, RS), pp. 341–345.
CASE-2011-MadonskiPKH #industrial- Application of Active Disturbance Rejection Control to a reel-to-reel system seen in tire industry (RM, MP, MK, PH), pp. 274–278.
CASE-2011-SaddemTT #embedded- Diagnosis of critical embedded systems: application to the control card of a railway vehicle braking systems (RS, AT, MT), pp. 163–168.
CASE-2011-SenoussiCDZ #detection #fault #feature model #process- Feature selection for fault detection systems: Application to the Tennessee Eastman Process (HS, BCM, MD, NZ), pp. 189–194.
CASE-2011-ThramboulidisSF #automation #industrial #process #safety #towards #verification- Towards an automated verification process for industrial safety applications (KT, DS, GF), pp. 482–487.
CASE-2011-WengerMHHZ #approach #development- Utilizing IEC 61499 in an MDA control application development approach (MW, MMM, IH, RH, AZ), pp. 495–500.
DAC-2011-BayrakRBSI #analysis #automation #towards- A first step towards automatic application of power analysis countermeasures (AGB, FR, PB, FXS, PI), pp. 230–235.
DAC-2011-BeyneMP #3d #development #integration- 3D heterogeneous system integration: application driver for 3D technology development (EB, PM, GVdP), p. 213.
DAC-2011-GeQ #machine learning #multi #using- Dynamic thermal management for multimedia applications using machine learning (YG, QQ), pp. 95–100.
DAC-2011-KandemirYK #clustering #concurrent #parallel #thread- A helper thread based dynamic cache partitioning scheme for multithreaded applications (MTK, TY, EK), pp. 954–959.
DAC-2011-LimVH #challenge #network #realtime- Challenges in a future IP/ethernet-based in-car network for real-time applications (HTL, LV, DH), pp. 7–12.
DAC-2011-PotkonjakMNW #architecture #difference- Differential public physically unclonable functions: architecture and applications (MP, SM, AN, SW), pp. 242–247.
DAC-2011-Topaloglu #3d #challenge #integration- Applications driving 3D integration and corresponding manufacturing challenges (ROT), pp. 220–223.
DAC-2011-ZhaiNS #adaptation #modelling #network #process #streaming- Modeling adaptive streaming applications with parameterized polyhedral process networks (JTZ, HN, TS), pp. 116–121.
DAC-2011-ZhaoAZ #embedded #energy #realtime- Generalized reliability-oriented energy management for real-time embedded applications (BZ, HA, DZ), pp. 381–386.
DAC-2011-ZinnerNGSW #network- Application and realization of gateways between conventional automotive and IP/ethernet-based networks (HZ, JN, TG, JS, TW), pp. 1–6.
DATE-2011-AcquavivaPOS #power management #reliability- System level techniques to improve reliability in high power microcontrollers for automotive applications (AA, MP, MO, MS), pp. 1123–1124.
DATE-2011-BernardiGSB #fault #self #testing- Fault grading of software-based self-test procedures for dependable automotive applications (PB, MG, ES, OB), pp. 513–514.
DATE-2011-Brown #power management #roadmap- Power management trends in portable consumer applications (JB), pp. 1048–1052.
DATE-2011-CarliBBR #effectiveness #energy #multi #power management- An effective multi-source energy harvester for low power applications (DC, DB, LB, MR), pp. 836–841.
DATE-2011-CassidyYZA #design- A high-level analytical model for application specific CMP design exploration (AC, KY, HZ, AGA), pp. 1095–1100.
DATE-2011-EbrahimiMA #fault #named #safety- ScTMR: A scan chain-based error recovery technique for TMR systems in safety-critical applications (ME, SGM, HA), pp. 298–292.
DATE-2011-GilaniKS #memory management #optimisation- Scratchpad memory optimizations for digital signal processing applications (SZG, NSK, MJS), pp. 974–979.
DATE-2011-GoswamiSC #communication #cyber-physical #hybrid #protocol #re-engineering- Re-engineering cyber-physical control applications for hybrid communication protocols (DG, RS, SC), pp. 914–919.
DATE-2011-HanumaiahV #manycore #realtime- Reliability-aware thermal management for hard real-time applications on multi-core processors (VH, SBKV), pp. 137–142.
DATE-2011-KesturDN #named #streaming- SHARC: A streaming model for FPGA accelerators and its application to Saliency (SK, DD, VN), pp. 1237–1242.
DATE-2011-KrauseP #adaptation- Adaptive voltage over-scaling for resilient applications (PKK, IP), pp. 944–949.
DATE-2011-LafiLJ #3d #configuration management #framework- A 3D reconfigurable platform for 4G telecom applications (WL, DL, AAJ), pp. 555–558.
DATE-2011-MatischekHGH #communication #realtime- Real-time wireless communication in automotive applications (RM, TH, CG, JH), pp. 1036–1041.
DATE-2011-MazzilloFFMRZ #detection- Solid state photodetectors for nuclear medical imaging applications (MM, PGF, EF, AM, MR, RZ), pp. 511–512.
DATE-2011-ShinG #fault- A new circuit simplification method for error tolerant applications (DS, SKG), pp. 1566–1571.
DATE-2011-ShinKSCWP #hybrid- Battery-supercapacitor hybrid system for high-rate pulsed load applications (DS, YK, JS, NC, YW, MP), pp. 875–878.
DATE-2011-SunYW #co-evolution #design #framework #network #uml- A UML 2-based hardware-software co-design framework for body sensor network applications (ZS, CTY, WFW), pp. 1505–1508.
DATE-2011-TinoK #architecture #generative #multi- Multi-objective Tabu Search based topology generation technique for application-specific Network-on-Chip architectures (AT, GNK), pp. 485–490.
DATE-2011-VidalLGDG #configuration management #design #implementation #uml- Dynamic applications on reconfigurable systems: From UML model design to FPGAs implementation (JV, FdL, GG, JPD, SG), pp. 1208–1211.
DATE-2011-VissersNN #interface #realtime #synthesis #tool support #using- Building real-time HDTV applications in FPGAs using processors, AXI interfaces and high level synthesis tools (KAV, SN, JN), pp. 848–850.
DATE-2011-YipYLD #challenge #design #memory management #mobile- Challenges in designing high speed memory subsystem for mobile applications (TGY, PY, ML, DD), pp. 509–510.
DocEng-2011-LuongLN #design #framework #tool support- A framework with tools for designing web-based geographic applications (TNL, SL, TN), pp. 33–42.
DRR-2011-RabeuxJD #documentation #evaluation #fault #predict- Ancient documents bleed-through evaluation and its application for predicting OCR error rates (VR, NJ, JPD), pp. 1–10.
ICDAR-2011-AugereauJD #documentation #feedback #image #industrial- Document Images Indexing with Relevance Feedback: An Application to Industrial Context (OA, NJ, JPD), pp. 1190–1194.
ICDAR-2011-Hase #database #evaluation #image #quality- Quality Evaluation of Character Image Database and Its Application (HH), pp. 1414–1418.
ICDAR-2011-HebertPN #multi- Continuous CRF with Multi-scale Quantization Feature Functions Application to Structure Extraction in Old Newspaper (DH, TP, SN), pp. 493–497.
ICDAR-2011-KesidisG #estimation #performance #word- Efficient Cut-Off Threshold Estimation for Word Spotting Applications (ALK, BG), pp. 279–283.
ICDAR-2011-LamiroyLS #algorithm #analysis #contest #documentation- Document Analysis Algorithm Contributions in End-to-End Applications: Report on the ICDAR 2011 Contest (BL, DPL, TS), pp. 1521–1525.
ICDAR-2011-LuqmanRLB #documentation #graph #image- Subgraph Spotting through Explicit Graph Embedding: An Application to Content Spotting in Graphic Document Images (MML, JYR, JL, TB), pp. 870–874.
ICDAR-2011-NayefB #statistics- Statistical Grouping for Segmenting Symbols Parts from Line Drawings, with Application to Symbol Spotting (NN, TMB), pp. 364–368.
ICDAR-2011-NguyenB #2d #feature model #verification- An Application of the 2D Gaussian Filter for Enhancing Feature Extraction in Off-line Signature Verification (VN, MB), pp. 339–343.
ICDAR-2011-PackerTK #classification #recognition- alpha-Shape Based Classification with Applications to Optical Character Recognition (EP, AT, VK), pp. 344–348.
ICDAR-2011-Smith #modelling- Limits on the Application of Frequency-Based Language Models to OCR (RS), pp. 538–542.
ICDAR-2011-SuCL #novel- Recognizing Text Elements for SVG Comic Compression and Its Novel Applications (CYS, RIC, JCL), pp. 1329–1333.
SIGMOD-2011-CaoSSDG #in memory #in the cloud #library #named- BRRL: a recovery library for main-memory applications in the cloud (TC, BS, MAVS, AJD, JG), pp. 1233–1236.
SIGMOD-2011-CaoSSYDGW #algorithm #consistency #performance- Fast checkpoint recovery algorithms for frequently consistent applications (TC, MAVS, BS, YY, AJD, JG, WMW), pp. 265–276.
SIGMOD-2011-HuangGL #datalog #interactive #tutorial- Datalog and emerging applications: an interactive tutorial (SSH, TJG, BTL), pp. 1213–1216.
SIGMOD-2011-Quiane-RuizPSD #pipes and filters- RAFT at work: speeding-up mapreduce applications under task and node failures (JAQR, CP, JS, JD), pp. 1225–1228.
VLDB-2011-Cudre-MaurouxE #data transformation #graph- Graph Data Management Systems for New Application Domains (PCM, SE), pp. 1510–1511.
VLDB-2011-DoanFKK #crowdsourcing #data transformation #perspective- Crowdsourcing Applications and Platforms: A Data Management Perspective (AD, MJF, DK, TK), pp. 1508–1509.
VLDB-2011-FurcheGGSS #named #scalability #web- OXPath: A Language for Scalable, Memory-efficient Data Extraction from Web Applications (TF, GG, GG, CS, AJS), pp. 1016–1027.
VLDB-2011-KotsifakosPHG #framework #sequence- A Subsequence Matching with Gaps-Range-Tolerances Framework: A Query-By-Humming Application (AK, PP, JH, DG), pp. 761–771.
VLDB-2011-Tay #benchmark #generative #metric- Data Generation for Application-Specific Benchmarking (YCT), pp. 1470–1473.
CSEET-2011-BrueggeNG #education #industrial #re-engineering #tutorial- SLPC++: Teaching software engineering project courses in industrial application landscapes — A tutorial (BB, HN, MG), pp. 549–551.
CSEET-2011-NanzTPM #assessment #concurrent #education #empirical- Empirical assessment of languages for teaching concurrency: Methodology and application (SN, FT, MP, BM), pp. 477–481.
CSEET-2011-OffuttLAX #abstraction #design #education #using #web- Using abstraction and Web applications to teach criteria-based test design (JO, NL, PA, WX), pp. 227–236.
CSEET-2011-Tanuan #case study #design #experience #mobile #programming- Design and delivery of a modern mobile application programming course — An experience report (MT), pp. 237–246.
ITiCSE-2011-Mahmoud #development #education #mobile- Best practices in teaching mobile application development (QHM), p. 333.
FASE-2011-TkachukR #analysis #automation #generative #web- Automated Driver Generation for Analysis of Web Applications (OT, SPR), pp. 326–340.
CSMR-2011-NagyVFGKK #design #reverse engineering- Solutions for Reverse Engineering 4GL Applications, Recovering the Design of a Logistical Wholesale System (CN, LV, RF, TG, FK, IK), pp. 343–346.
CSMR-2011-ZillmannWHTTFHREKUZ #industrial #process- The SOAMIG Process Model in Industrial Applications (CZ, AW, AH, WT, MT, AF, TH, VR, UE, UK, DU, YZ), pp. 339–342.
ICSM-2011-HuangLZXW #approach #novel #testing- A novel approach to regression test selection for J2EE applications (SH, ZJL, JZ, YX, WW), pp. 13–22.
ICSM-2011-McMillanVPG #categorisation #maintenance- Categorizing software applications for maintenance (CM, MLV, DP, MG), pp. 343–352.
ICSM-2011-RogstadBDRA #automation #case study #database #experience #industrial #legacy #testing- Industrial experiences with automated regression testing of a legacy database application (ER, LCB, RD, MR, EA), pp. 362–371.
ICSM-2011-ShevertalovM #maintenance #on the- On the maintenance of UI-integrated mashup applications (MS, SM), pp. 203–212.
SCAM-2011-AvanciniC #approach #search-based #security #testing #web- Security Testing of Web Applications: A Search-Based Approach for Cross-Site Scripting Vulnerabilities (AA, MC), pp. 85–94.
WCRE-2011-FrankeEKW #lifecycle #mobile #reverse engineering- Reverse Engineering of Mobile Application Lifecycles (DF, CE, SK, CW), pp. 283–292.
WCRE-2011-RamonCM #reverse engineering- Reverse Engineering of Event Handlers of RAD-Based Applications (ÓSR, JSC, JGM), pp. 293–302.
WCRE-2011-SajnaniNL #architecture #towards- Application Architecture Discovery — Towards Domain-driven, Easily-Extensible Code Structure (HS, RN, CVL), pp. 401–405.
PEPM-J-2007-CunhaV11 #query #source code #xpath- Transformation of structure-shy programs with application to XPath queries and strategic functions (AC, JV), pp. 516–539.
SAS-2011-SchrammelJ #data flow #source code #verification- Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs (PS, BJ), pp. 233–248.
STOC-2011-BarakDYW #bound #design #geometry #matrix #rank- Rank bounds for design matrices with applications toc ombinatorial geometry and locally correctable codes (BB, ZD, AY, AW), pp. 519–528.
STOC-2011-DemaineHK #algorithm #composition #graph- Contraction decomposition in h-minor-free graphs and algorithmic applications (EDD, MH, KiK), pp. 441–450.
STOC-2011-SohlerW- Subspace embeddings for the L1-norm with applications (CS, DPW), pp. 755–764.
DLT-J-2009-KariMS11 #pseudo #word- Properties of Pseudo-Primitive Words and their Applications (LK, BM, SS), pp. 447–471.
AFL-2011-LoeligerN #design #graph #user interface- Affordance Graphs for User Interface Design: Application of Category-theoretic Constructs (EAL, CLN), pp. 392–394.
CIAA-2011-CourcelleD- Fly-Automata, Their Properties and Applications (BC, ID), pp. 264–272.
CIAA-2011-Gawrychowski #normalisation- Chrobak Normal Form Revisited, with Applications (PG), pp. 142–153.
ICALP-v1-2011-ChakrabortyGM #performance- Efficient Sample Extractors for Juntas with Applications (SC, DGS, AM), pp. 545–556.
ICALP-v1-2011-ChekuriE #problem- Submodular Cost Allocation Problem and Applications (CC, AE), pp. 354–366.
ICALP-v1-2011-NgoPR #matrix- Efficiently Decodable Error-Correcting List Disjunct Matrices and Applications — (Extended Abstract) (HQN, EP, AR), pp. 557–568.
ICALP-v2-2011-AhnG #linear #problem #programming- Linear Programming in the Semi-streaming Model with Application to the Maximum Matching Problem (KJA, SG), pp. 526–538.
IFM-J-2009-BenesBBCSV11 #automaton #component #ltl #partial order #reduction- Partial order reduction for state/event LTL with application to component-interaction automata (NB, LB, BB, IC, JS, PV), pp. 877–890.
SEFM-2011-BorgstromHJRVPP #calculus #protocol- Broadcast Psi-calculi with an Application to Wireless Protocols (JB, SH, MJ, PR, BV, JÅP, JP), pp. 74–89.
SEFM-2011-OnoHTNH #coq #pipes and filters #specification #using- Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications (KO, YH, YT, NN, MH), pp. 350–365.
SFM-2011-InverardiST #synthesis- Application-Layer Connector Synthesis (PI, RS, MT), pp. 148–190.
CEFP-2011-AxelssonS #implementation #named- Feldspar: Application and Implementation (EA, MS), pp. 402–439.
CEFP-2011-PlasmeijerALM #multi #web- Defining Multi-user Web Applications with iTasks (RP, PA, BL, SM), pp. 46–92.
GCM-2010-GolasEH11 #graph grammar #model transformation #specification- Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions (UG, HE, FH).
CHI-2011-FourneyMT #analysis #interactive #query #usability- Characterizing the usability of interactive applications through query log analysis (AF, RM, MAT), pp. 1817–1826.
CHI-2011-GjerlufsenKEPB #flexibility #multi- Shared substance: developing flexible multi-surface applications (TG, CNK, JE, CP, MBL), pp. 3383–3392.
CHI-2011-KoZ #detection #feedback #web- Feedlack detects missing feedback in web applications (AJK, XZ), pp. 2177–2186.
CHI-2011-LindqvistCWHZ #people #why- I’m the mayor of my house: examining why people use foursquare — a social-driven location sharing application (JL, JC, JW, JIH, JZ), pp. 2409–2418.
CHI-2011-PakanenHH #social #social media #visualisation- Location visualization in social media applications (MP, JH, JH), pp. 2439–2448.
CSCW-2011-AspinR #3d #approach #gpu #multi- A GPU based, projective multi-texturing approach to reconstructing the 3D human form for application in tele-presence (RAA, DJR), pp. 105–112.
CSCW-2011-HandelP #case study #experience #scalability- Working around official applications: experiences from a large engineering project (MJH, SEP), pp. 309–312.
CSCW-2011-ShaoLLG #protocol #web- An operational transformation based synchronization protocol for web 2.0 applications (BS, DL, TL, NG), pp. 563–572.
CSCW-2011-TanakaF #estimation- Study of user interruptibility estimation based on focused application switching (TT, KF), pp. 721–724.
DHM-2011-ShenY #assessment- The Application of the Human Model in the Thermal Comfort Assessment of Fighter Plane’s Cockpit (HS, XY), pp. 357–366.
DHM-2011-SunGYZ #design #modelling #multi- Application of Human Modeling in Multi-crew Cockpit Design (XS, FG, XY, JZ), pp. 204–209.
DHM-2011-WangPBN #approach- A Biomechanical Approach for Evaluating Motion Related Discomfort : Illustration by an Application to Pedal Clutching Movement (XW, RP, NKB, JN), pp. 210–219.
DUXU-v1-2011-CuiXLLS #agile #case study #development #in the cloud- A Study of Rapid Business Application Development in the Cloud (JC, JMX, HL, WL, ZMS), pp. 398–407.
DUXU-v1-2011-Davis11a #adaptation #interactive- The Nature of Adaptive Interactions and Potential for Strategic Application (JD), pp. 221–227.
DUXU-v1-2011-LeeR #architecture #collaboration #concept #learning #mobile- Suggested Collaborative Learning Conceptual Architecture and Applications for Mobile Devices (KL, AR), pp. 611–620.
DUXU-v1-2011-RiceTW #enterprise #scalability #testing #usability- ISO 25062 Usability Test Planning for a Large Enterprise Applications Suite (SR, JT, AMW), pp. 185–192.
DUXU-v1-2011-Schmid #analysis #development #feedback #learning- Development of an Augmented Feedback Application to Support Motor Learning after Stroke: Requirement Analysis (SS), pp. 305–314.
DUXU-v1-2011-SeoLL #development #experience #mobile- An Experience Sampling System for Context-Aware Mobile Application Development (JS, SL, GL), pp. 648–657.
DUXU-v2-2011-TengC #concept #design- The Application of the Concept of Affordance to a Creative Design Method (CKT, MCC), pp. 215–224.
HCD-2011-AhramK #behaviour #design #modelling #network #social- Social Networking Applications: Smarter Product Design for Complex Human Behaviour Modeling (TZA, WK), pp. 471–480.
HCD-2011-ChaudronGMC #process #safety- Building Human Profile by Aggregation of Activities — Application to Aeronautics Safety (LC, DG, NM, JC), pp. 389–396.
HCD-2011-DaimaruK #approach #design- A Pattern Approach for Designing Application (KD, BK), pp. 22–27.
HCI-DDA-2011-CharfiEKM #analysis #automation #evaluation #human-computer #interactive #network #towards- Towards an Automatic Analysis of Interaction Data for HCI Evaluation Application to a Transport Network Supervision System (SC, HE, CK, FM), pp. 175–184.
HCI-DDA-2011-EstevesA #agile #concept #design #development #interactive- Designing Interaction Concepts, Managing Customer Expectation and Mastering Agile Development in Rich Application Product Development (ME, VA), pp. 54–62.
HCI-DDA-2011-GacimartinHL #adaptation #architecture #design #middleware- A Middleware Architecture for Designing TV-Based Adapted Applications for the Elderly (CG, JAH, DL), pp. 443–449.
HCI-DDA-2011-GodonFRT #design pattern #interactive #internet #library- The First Interaction Design Pattern Library for Internet of Things User Created Applications (MG, MAF, MR, LT), pp. 229–237.
HCI-DDA-2011-KaelberM #analysis- From Structural Analysis to Scenarios and Patterns for Knowledge Sharing Applications (CK, CM), pp. 258–267.
HCI-DDA-2011-Komischke #design #experience #framework #user interface- The Impact of Rich Application Frameworks on User Experience Design (TK), pp. 92–97.
HCI-DDA-2011-ParkSCH #image #in memory #memory management #named- ColoriT: Color Based Image Code Application to Aid in Memory Restoration of Offline Photo Artifacts (JP, JS, JHC, TDH), pp. 637–642.
HCI-DDA-2011-Richardson #design #framework- Design and Rich Application Frameworks (KHR), pp. 131–135.
HCI-DDA-2011-ZhengWMZ #design #development #experience #user interface #workflow- Streamlining User Experience Design and Development: Roles, Tasks and Workflow of Applying Rich Application Technologies (XSZ, MW, GM, SZ), pp. 142–151.
HCI-ITE-2011-PatkiGNP #power management- Low Power Wireless EEG Headset for BCI Applications (SP, BG, TN, JP), pp. 481–490.
HCI-MIIE-2011-EL-QiremC #development #experience #user interface- Computer Usage and User Experience in Jordan: Development and Application of the Diamond Model of Territorial Factors (FAEQ, GC), pp. 490–499.
HCI-UA-2011-MitchellGLA #validation #video- Validating Video Analytics in Mission Critical Applications (SJM, SG, SL, BA), pp. 394–402.
HIMI-v1-2011-NakanishiY #using- Applicability of Touch Sense Controllers Using Warm and Cold Sensations (MN, SY), pp. 470–477.
HIMI-v1-2011-TakataYSYK #modelling- Bereitschaftspotential Modeling by DBNM and Its Application to BCI (ST, TY, MS, TY, KK), pp. 636–640.
HIMI-v2-2011-MacchiarellaKCHE #speech #visual notation- Pilot Information Presentation on the Flight Deck: An Application of Synthetic Speech and Visual Digital Displays (NDM, JPK, MSC, TH, ZE), pp. 500–506.
HIMI-v2-2011-SakamotoNI #collaboration #multi #off the shelf- Dodging Window Interference to Freely Share Any Off-the-Shelf Application among Multiple Users in Co-located Collaboration (SS, MN, TI), pp. 305–314.
IDGD-2011-ChangH11a #case study #design- A Study on the Application of Cultural Elements in Product Design (WCC, MrH), pp. 3–10.
IDGD-2011-Chen11c #mobile #research- Mobile Research: Benefits, Applications, and Outlooks (GC), pp. 11–16.
IDGD-2011-LiuLGCWL #design #experience #research #user interface- Exhibition User Experience Research and Design for Applications of Context Awareness Technologies (JL, XL, BG, JC, JW, QL), pp. 533–542.
IDGD-2011-SuadamaraWH #design- Cross-Cultural Design of a Groupware Application for Global Virtual Team (RS, SW, AH), pp. 104–113.
OCSC-2011-BramanDCVW #student- Gaining Insight into the Application of Second Life in a Computing Course: Students’ Perspectives (JB, AD, KC, GV, YW), pp. 20–29.
OCSC-2011-TixierL #design #evaluation #online #product line #social- Design and Evaluation of an Online Social Support Application for Family Caregivers (MT, ML), pp. 267–276.
OCSC-2011-WuLL #case study #navigation #semantics #wiki- An Exploratory Study of Navigating Wikipedia Semantically: Model and Application (ICW, YSL, CHL), pp. 140–149.
OCSC-2011-YongpisanpopOM #collaboration #community #ranking #web- Community Search: A Collaborative Searching Web Application with a User Ranking System (PY, MO, KiM), pp. 378–386.
AdaEurope-2011-Burns #hardware #parallel #programming language #realtime- Programming Languages for Real-Time Applications Executing on Parallel Hardware (AB), pp. 193–195.
SIGAda-2011-McCormickS #embedded #realtime- Building embedded real-time applications (JWM, FS), pp. 15–16.
SIGAda-2011-Rogers #safety- Language choice for safety critical applications (JSR), pp. 81–90.
ICEIS-J-2011-Mendes11a #elicitation #estimation #web- Cost Estimation of Web Applications through Knowledge Elicitation (EM), pp. 315–329.
ICEIS-v1-2011-DiEM #framework #research- Research and Application of Carrier-grade Mashup Platform on OneAPI (JD, HE, LM), pp. 504–509.
ICEIS-v1-2011-LiCL #case study #enterprise #information management- Study on Information Management System and Its Application in Colliery Enterprises (YL, HC, JL), pp. 589–592.
ICEIS-v1-2011-MeisenMSJ #integration #simulation #tool support- Application Integration of Simulation Tools Considering Domain Specific Knowledge (TM, PM, DS, SJ), pp. 42–53.
ICEIS-v1-2011-PintoG #database #ontology- Knowledge Extraction Guided by Ontologies — Database Marketing Application (FMP, TG), pp. 320–325.
ICEIS-v2-2011-FronzaSSV #approach #predict #towards- Toward a Non Invasive Control of Applications — A Biomedical Approach to Failure Prediction (IF, AS, GS, JV), pp. 83–91.
ICEIS-v2-2011-HuangL #enterprise #information management #research- Research on Construction and Applications of Management Information System in Highway Enterprise (XH, WL), pp. 275–281.
ICEIS-v2-2011-WangS #education #information management #recommendation- Application of Recommender Engine in Academic Degree and Postgraduate Education Knowledge Management System (XW, HS), pp. 455–458.
ICEIS-v2-2011-Xu #case study #development #enterprise #information management- Case Study on Development and Application of Information Management Systems in Highway Construction Enterprises (HX), pp. 327–335.
ICEIS-v3-2011-GradlMDEWK #enterprise- Measuring the Buffer Occupation of SAP ERP System Applications (SG, MM, AD, RE, HW, HK), pp. 266–272.
ICEIS-v3-2011-HastbackaKK #development #industrial #modelling #process- Business Process Modeling and SOA in Industrial O&M Application Development (DH, PK, SK), pp. 277–285.
ICEIS-v3-2011-SalahH #development #information management #ubiquitous- Development of Context-aware Applications in Ubiquitous Information Systems (MSB, HSB), pp. 223–228.
ICEIS-v3-2011-WangCLX #evaluation #process- Application of Analytic Hierarchy Process on Calculating the Weights of Economic Model Evaluation (DW, DC, NL, JX), pp. 108–116.
ICEIS-v4-2011-DavisC11a #data transformation #logic #metadata #modelling- Variant Logic Meta-data Management for Model Driven Applications — Allows Unlimited End User Configuration and Customisation of All Meta-data EIS Application Features (JD, EC), pp. 395–400.
ICEIS-v4-2011-MartinsP #implementation #visual notation- A Method Proposal for Implementing Accessibility in Desktop Applications for Visually Impaired Users (LCGM, BEP), pp. 287–290.
ICEIS-v4-2011-Schulte #integration #named #web- WasabiBeans — Web Application Services and Business Integration (JS), pp. 348–357.
ICEIS-v4-2011-Xin #case study #internet- Study on Application of Internet of Things based on RFID Technology (CX), pp. 518–521.
ICEIS-v4-2011-XuF #approach #case study #education #game studies #re-engineering #social- A Case Study: Integrating a Game Application-driven Approach and Social Collaborations into Software Engineering Education (WX, STF), pp. 23–32.
ICEIS-v4-2011-YangLH #multi #network #performance #scheduling- QPF Scheduling Scheme for Performance Improvements of Integrated Multimedia Applications over 3.5G Network (SJY, LCL, YMH), pp. 5–12.
CIKM-2011-Bradford #implementation #scalability #semantics- Implementation techniques for large-scale latent semantic indexing applications (RBB), pp. 339–344.
CIKM-2011-CachedaCFF #algorithm #analysis #dataset #nearest neighbour- Improving k-nearest neighbors algorithms: practical application of dataset analysis (FC, VC, DF, VF), pp. 2253–2256.
CIKM-2011-HassanSH #estimation #metric #web- A task level metric for measuring web search satisfaction and its application on improving relevance estimation (AHA, YS, LwH), pp. 125–134.
CIKM-2011-PillutlaRBSJ #detection #distributed- LSH based outlier detection and its application in distributed setting (MRP, NR, PB, KS, CVJ), pp. 2289–2292.
CIKM-2011-RotaBG #algorithm #database #keyword- The list Viterbi training algorithm and its application to keyword search over databases (SR, SB, FG), pp. 1601–1606.
CIKM-2011-SongQF #recommendation #visualisation- Hierarchical tag visualization and application for tag recommendations (YS, BQ, UF), pp. 1331–1340.
CIKM-2011-WangL #framework #learning #named #rank- CoRankBayes: bayesian learning to rank under the co-training framework and its application in keyphrase extraction (CW, SL), pp. 2241–2244.
KDD-2011-BatistaKMR #data mining #mining- SIGKDD demo: sensors and software to allow computational entomology, an emerging application of data mining (GEAPAB, EJK, AMN, ER), pp. 761–764.
KDD-2011-ChattopadhyayYPFD #adaptation #detection #multi- Multi-source domain adaptation and its application to early detection of fatigue (RC, JY, SP, WF, ID), pp. 717–725.
KDD-2011-ChuC #network- Triangle listing in massive networks and its applications (SC, JC), pp. 672–680.
KDD-2011-DasB #optimisation- Meta optimization and its application to portfolio selection (PD, AB), pp. 1163–1171.
KDD-2011-VijayaraghavanK #data mining #machine learning #mining #online- Applications of data mining and machine learning in online customer care (RV, PVK), p. 779.
KDIR-2011-BressoBSMKSND #mining #reduction- Use of Domain Knowledge for Dimension Reduction — Application to Mining of Drug Side Effects (EB, SB, MST, GM, ASK, MS, AN, MDD), pp. 271–276.
KDIR-2011-KentaroSK- Discovery of Meeting-particle Links and Their Application to Meeting Recollection Support (IK, OS, NK), pp. 456–459.
KDIR-2011-LachetarB #algorithm #categorisation #metadata #using- Application of an Ant Colony Algorithm — For Song Categorising using Metadata (NL, HB), pp. 379–384.
KDIR-2011-OttenS #framework #towards- Linguistic Engineering and its Applicability to Business Intelligence — Towards an Integrated Framework (SFJO, MRS), pp. 460–464.
KEOD-2011-PhamS #reasoning- Practical Goal-based Reasoning in Ontology-driven Applications (HP, DS), pp. 99–109.
KEOD-2011-YanZR #design #distance #semantics- An Application of Semantic Distance between Short Texts to Inventive Design (WY, CZM, FR), pp. 261–266.
KMIS-2011-BoughzalaV #collaboration #industrial #maturity- A First Application of a Collaboration Maturity Model in the Automotive Industry (IB, GJdV), pp. 28–37.
KMIS-2011-Jurczyk-BunkowskaJ #case study #experience #information management #process- Perspectives of Knowledge Management System Application in Innovation Processes — A Study based on Experience of Polish IT Company (MJB, KJ), pp. 287–293.
KMIS-2011-SongP #mobile #visualisation- A Metro Map Metaphor for Knowledge Visualization — Customer Needs in Mobile Application Services (BS, YP), pp. 375–378.
MLDM-2011-LungaE #classification #nearest neighbour- Spherical Nearest Neighbor Classification: Application to Hyperspectral Data (DL, OKE), pp. 170–184.
RecSys-2011-TakacsPT #collaboration #feedback- Applications of the conjugate gradient method for implicit feedback collaborative filtering (GT, IP, DT), pp. 297–300.
SEKE-2011-ChangSWSP #analysis #component #design #social- Design of Component-based Slow Intelligence Systems and Application to Social Influence Analysis (SKC, YS, YW, CCS, TCP), pp. 9–16.
SEKE-2011-ChenF #aspectj #model checking- Model Checking Framework-based Applications with AspectJ Assistance (ZC, SF), pp. 296–301.
SEKE-2011-El-KharboutlyG #analysis #architecture #concurrent #probability #reliability #using- Architecture-based Reliability Analysis of Concurrent Software Applications using Stochastic Reward Nets (REK, SSG), pp. 635–639.
SEKE-2011-Iyengar #realtime- Sustainable Software Systems for Real Time Applications (keynote) (SSI).
SEKE-2011-Lin #mobile- Applications & Services Exploration for the Broadband Mobile Systems (keynote) (BSL).
SEKE-2011-LiuTCZP #automation #database #lifecycle- Automated Extraction of Data Lifecycle Support from Database Applications (KL, HBKT, XC, HZ, BP), pp. 432–437.
SEKE-2011-RiazMT #bibliography #maintenance #predict #relational- Maintainability Predictors for Relational Database-Driven Software Applications: Results from a Survey (MR, EM, EDT), pp. 420–425.
SEKE-2011-SilvaGRRR #architecture #flexibility #peer-to-peer- A Flexible Event-Driven Architecture for Peer-to-Peer Based Applications (LPVdS, RG, EdOR, GNR, CGR), pp. 764–769.
SEKE-2011-VillegasS #non-functional #requirements- Mapping non-functional requirements to cloud applications (DV, SMS), pp. 527–532.
SIGIR-2011-AlonsoL #crowdsourcing #information retrieval- Crowdsourcing for information retrieval: principles, methods, and applications (OA, ML), pp. 1299–1300.
SIGIR-2011-RicciGBAGP #named #quality #recommendation #web- GreenMeter: a tool for assessing the quality and recommending tags for web 2.0 applications (SMRR, DAG, FMB, JMA, MAG, ROP), pp. 1279–1280.
SIGIR-2011-ValimakiC #challenge- Elsevier SIGIR 2011 application challenge abstract (JV, RC), pp. 1341–1342.
SIGIR-2011-WangRFZHB #learning #network #online #social- Learning relevance from heterogeneous social network and its application in online targeting (CW, RR, DF, DZ, JH, GJB), pp. 655–664.
BX-2011-Kindler #concept #graph grammar #implementation- Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios (EK), p. 60.
BX-2011-Weber-Jahnke #health- Bx “killer applications” in health care (JHWJ), p. 64.
ECMFA-2011-DouxABCFL #approach #eclipse #framework #problem- An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform (GD, PA, GB, JC, MDDF, SUJL), pp. 160–171.
MoDELS-2011-AliBAW #algorithm #aspect-oriented #industrial #modelling #robust #testing #uml #using- An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms (SA, LCB, AA, SW), pp. 108–122.
MoDELS-2011-Kraemer #android #process #uml- Engineering Android Applications Based on UML Activities (FAK), pp. 183–197.
MoDELS-2011-AliBAW #algorithm #aspect-oriented #industrial #modelling #robust #testing #uml #using- An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms (SA, LCB, AA, SW), pp. 108–122.
MoDELS-2011-Kraemer #android #process #uml- Engineering Android Applications Based on UML Activities (FAK), pp. 183–197.
ECOOP-2011-RichardsHBV #javascript #scalability- The Eval That Men Do — A Large-Scale Study of the Use of Eval in JavaScript Applications (GR, CH, BB, JV), pp. 52–78.
ECOOP-2011-SteimannKP #constraints #eiffel #refactoring- A Refactoring Constraint Language and Its Application to Eiffel (FS, CK, JvP), pp. 255–280.
Onward-2011-MistreeCCLG #named- Emerson: accessible scripting for applications in an extensible virtual world (BFTM, BC, ECP, PL, DG), pp. 77–90.
OOPSLA-2011-SridharanAPGTB #analysis #named #web- F4F: taint analysis of framework-based web applications (MS, SA, MP, SG, OT, RB), pp. 1053–1068.
OOPSLA-2011-WuHIN #java #performance #scalability- Reducing trace selection footprint for large-scale Java applications without performance loss (PW, HH, HI, TN), pp. 789–804.
OOPSLA-2011-WurthingerABWM #aspect-oriented #evolution #java #runtime- Safe and atomic run-time code evolution for Java and its application to dynamic AOP (TW, DA, WB, CW, HM), pp. 825–844.
TOOLS-EUROPE-2011-Tip #debugging #web- Finding and Fixing Bugs in Web Applications (Invited Talk) (FT), p. 2.
GPCE-J-2009-McGacheyHM11 #java- Class Transformations for Transparent Distribution of Java Applications (PM, ALH, JEBM), pp. 204–238.
GPCE-2011-OtteGSW #component #development #framework- Infrastructure for component-based DDS application development (WO, ASG, DCS, JW), pp. 53–62.
GPCE-2011-Shubert #code generation #development #flexibility #modelling- Application of model based development to flexible code generation (GJS), pp. 95–96.
GPCE-2011-VermolenWV #database #evolution #generative #web- Generating database migrations for evolving web applications (SDV, GW, EV), pp. 83–92.
PADL-2011-WielemakerC #on the #prolog- On the Portability of Prolog Applications (JW, VSC), pp. 69–83.
RE-2011-OhashiKTY #development #traceability #uml- A means of establishing traceability based on a UML model in business application development (KO, HK, YT, RY), pp. 279–284.
SAC-2011-AnttonenSMT #framework #roadmap #web- Transforming the web into a real application platform: new technologies, emerging trends and missing pieces (MA, AS, TM, AT), pp. 800–807.
SAC-2011-BaoCCC #network #trust- Hierarchical trust management for wireless sensor networks and its application to trust-based routing (FB, IRC, MC, JHC), pp. 1732–1738.
SAC-2011-BoixCSCMD #interactive #mobile #named #network #social- Flocks: enabling dynamic group interactions in mobile social networking applications (EGB, ALC, CS, TVC, WDM, TD), pp. 425–432.
SAC-2011-BoixNCMD #debugging #message passing #named- REME-D: a reflective epidemic message-oriented debugger for ambient-oriented applications (EGB, CN, TVC, WDM, TD), pp. 1275–1281.
SAC-2011-ClaycombS #analysis #authentication #formal method #ubiquitous- Formal analysis of device authentication applications in ubiquitous computing (WC, DS), pp. 451–452.
SAC-2011-DumasDBB #partial order #verification- Application of partial-order methods for the verification of closed-loop SDL systems (XD, PD, FB, EB), pp. 1666–1673.
SAC-2011-FabreKT #lessons learnt #robust #using- Robustness of automotive applications using reflective computing: lessons learnt (JCF, MOK, FT), pp. 230–235.
SAC-2011-GeihsER0K #adaptation #development #ubiquitous- Development support for QoS-aware service-adaptation in ubiquitous computing applications (KG, CE, RR, MW, MUK), pp. 197–202.
SAC-2011-GuerraF #realtime #resource management- Handling overload of target sensitive real-time applications for increased system utility and improved resource usage (RG, GF), pp. 742–747.
SAC-2011-HuN #android #debugging #framework #user interface- A GUI bug finding framework for Android applications (CH, IN), pp. 1490–1491.
SAC-2011-KimuraEFYN #behaviour #detection #motivation #named #persuasion #smarttech #using- iDetective: a persuasive application to motivate healthier behavior using smart phone (HK, JE, YF, AY, TN), pp. 399–404.
SAC-2011-LinCL #data-driven #navigation- Service-oriented dynamic data driven application systems to potential field method vehicle navigation (SYL, KMC, CCL), pp. 462–467.
SAC-2011-Liu #agile #configuration management #using- Rapid application configuration in Amazon cloud using configurable virtual appliances (HL), pp. 147–154.
SAC-2011-MagalhaesS #analysis #performance- Root-cause analysis of performance anomalies in web-based applications (JPM, LMS), pp. 209–216.
SAC-2011-Marty #forensics- Cloud application logging for forensics (RM), pp. 178–184.
SAC-2011-ParisAL #on-demand- Accelerated chaining: a better way to harness peer power in video-on-demand applications (JFP, AA, DDEL), pp. 534–539.
SAC-2011-RahmanHA11a #named #privacy #quantifier #towards- ProQuPri: towards anonymity protection with privacy quantification for context-aware applications (FR, MEH, SIA), pp. 453–454.
SAC-2011-TsaiCHH #api #mobile #reduction #rest- Transmission reduction between mobile phone applications and RESTful APIs (CLT, HWC, JLH, CLH), pp. 445–450.
SAC-2011-VerasBBSC #education #framework #personalisation #web- A solution for personalized t-learning applications integrated with a web educational platform (DV, IIB, HB, MS, EdBC), pp. 1187–1193.
SAC-2011-WangZG #classification #identification #network- Traffic classification beyond application level: identifying content types from network traces (YW, ZZ, LG), pp. 540–541.
SAC-2011-ZhouZJY #approach #evolution #framework #in the cloud- An approach of creative application evolution on cloud computing platform (JZ, SZ, DJ, HY), pp. 54–58.
ESEC-FSE-2011-CheungSM- Partial replay of long-running applications (AC, ASL, SM), pp. 135–145.
ESEC-FSE-2011-CifuentesKLHVBZCTH #fault #scalability #using- Static deep error checking in large system applications using parfait (CC, NK, LL, NH, MV, AB, JZ, AC, DT, CH), pp. 432–435.
ESEC-FSE-2011-JensenMM #api #html #javascript #modelling #static analysis #web- Modeling the HTML DOM and browser API in static analysis of JavaScript web applications (SHJ, MM, AM), pp. 59–69.
ESEC-FSE-2011-Schur #enterprise #mining #specification- Experimental specification mining for enterprise applications (MS), pp. 388–391.
GTTSE-2011-Terwilliger #adaptation #bidirectional #development #evolution #persistent- Bidirectional by Necessity: Data Persistence and Adaptability for Evolving Application Development (JFT), pp. 219–270.
ICSE-2011-ArtziDJMT #automation #framework #javascript #testing #web- A framework for automated testing of javascript web applications (SA, JD, SHJ, AM, FT), pp. 571–580.
ICSE-2011-CassouBCL #architecture #development #verification- Leveraging software architectures to guide and verify the development of sense/compute/control applications (DC, EB, CC, JLL), pp. 431–440.
ICSE-2011-Choudhary #detection #web- Detecting cross-browser issues in web applications (SRC), pp. 1146–1148.
ICSE-2011-CurtisSS #evaluation #matter #quality #question- An evaluation of the internal quality of business applications: does size matter? (BC, JS, JS), pp. 711–715.
ICSE-2011-FeinRSMGGBCLSMMSD #automation #deployment #tool support #using- Using MATCON to generate CASE tools that guide deployment of pre-packaged applications (EF, NR, SS, PM, SG, RG, MB, SKC, JL, VSS, SM, DM, BS, PD), pp. 1016–1018.
ICSE-2011-FokaefsTSC #identification #named #refactoring- JDeodorant: identification and application of extract class refactorings (MF, NT, ES, AC), pp. 1037–1039.
ICSE-2011-JhiWJZLW #detection- Value-based program characterization and its application to software plagiarism detection (YcJ, XW, XJ, SZ, PL, DW), pp. 756–765.
ICSE-2011-Maras #development #reuse #web- Pragmatic reuse in web application development (JM), pp. 1094–1097.
ICSE-2011-ShengVEHCZ #concurrent #detection #lightweight #named- RACEZ: a lightweight and non-invasive race detection tool for production applications (TS, NV, SE, RH, WC, WZ), pp. 401–410.
PLEASE-2011-RosaL #component #composition #mobile #product line #reuse- Smart composition of reusable software components in mobile application product lines (REVDSR, VFdLJ), pp. 45–49.
CGO-2011-ChakrabartiBBJS #graph #memory management #optimisation #runtime #transaction- The runtime abort graph and its application to software transactional memory optimization (DRC, PB, HJB, PGJ, RSS), pp. 42–53.
CGO-2011-MehraraM #execution #web- Dynamically accelerating client-side web applications through decoupled execution (MM, SAM), pp. 74–84.
HPCA-2011-MehraraHSM #javascript #parallel #using- Dynamic parallelization of JavaScript applications using an ultra-lightweight speculation mechanism (MM, PCH, MS, SAM), pp. 87–98.
HPDC-2011-AbbasiEWSK #performance #pipes and filters- Just in time: adding value to the IO pipelines of high performance applications with JITStaging (HA, GE, MW, KS, SK), pp. 27–36.
HPDC-2011-BalkirFR #architecture #distributed #mining #pipes and filters #using- A distributed look-up architecture for text mining applications using mapreduce (ASB, ITF, AR), pp. 279–280.
HPDC-2011-LeonRFM #injection #parallel- Cache injection for parallel applications (EAL, RR, KBF, ABM), pp. 15–26.
HPDC-2011-SongYCS #file system #layout #parallel- A cost-intelligent application-specific data layout scheme for parallel file systems (HS, YY, YC, XHS), pp. 37–48.
HPDC-2011-YigitbasiMPE #incremental #interactive- Incremental placement of interactive perception applications (NY, LBM, PP, DHJE), pp. 123–134.
HPDC-2011-YooLKK #distributed #named #parallel- InContext: simple parallelism for distributed applications (SY, HL, CEK, MK), pp. 97–108.
LCTES-2011-VirletZGKGP #realtime #scheduling- Scheduling of stream-based real-time applications for heterogeneous systems (BV, XZ, JPG, BK, MJG, DAP), pp. 1–10.
PPoPP-2011-StellwagSKS #constraints #library #parallel- A wait-free NCAS library for parallel applications with timing constraints (PS, FS, JK, WSP), pp. 301–302.
SOSP-2011-AdyaCMP #named- Thialfi: a client notification service for internet-scale applications (AA, GC, DM, MP), pp. 129–142.
SOSP-2011-ChandraKSNZ #web- Intrusion recovery for database-backed web applications (RC, TK, MS, NN, NZ), pp. 101–114.
SOSP-2011-HarterDVAA #behaviour #comprehension- A file is not a file: understanding the I/O behavior of Apple desktop applications (TH, CD, MV, ACAD, RHAD), pp. 71–83.
SOSP-2011-MickensD #execution #named #robust #web- Atlantis: robust, extensible execution environments for web applications (JWM, MD), pp. 217–231.
CAV-2011-BalabanovJ #evaluation #proving- Resolution Proofs and Skolem Functions in QBF Evaluation and Applications (VB, JHRJ), pp. 149–164.
CSL-2011-CantoneLA #decidability #logic #order #quantifier #set- A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics (DC, CL, MNA), pp. 129–143.
ICST-2011-FrankeW #framework #mobile #quality #testing- Providing a Software Quality Framework for Testing of Mobile Applications (DF, CW), pp. 431–434.
ICST-2011-LetarteGM #evolution #php #security #web- Security Model Evolution of PHP Web Applications (DL, FG, EM), pp. 289–298.
ICST-2011-LuoDQ #concurrent #detection #manycore #performance- Multicore SDK: A Practical and Efficient Deadlock Detector for Real-World Applications (ZDL, RD, YQ), pp. 309–318.
ICST-2011-MouelhiTABG #testing #web- Tailored Shielding and Bypass Testing of Web Applications (TM, YLT, EA, BB, SG), pp. 210–219.
ICST-2011-SmithW #detection #heuristic #sql #using #web- Using SQL Hotspots in a Prioritization Heuristic for Detecting All Types of Web Application Vulnerabilities (BHS, LW), pp. 220–229.
ICST-2011-SprenklePS #case study #modelling #navigation #testing #web- A Study of Usage-Based Navigation Models and Generated Abstract Test Cases for Web Applications (SS, LLP, LS), pp. 230–239.
ICST-2011-TakalaKH #android #case study #experience #modelling #testing #user interface- Experiences of System-Level Model-Based GUI Testing of an Android Application (TT, MK, JH), pp. 377–386.
ICST-2011-YuSSR #embedded #testing #using- Using Property-Based Oracles when Testing Embedded System Applications (TY, AS, WSa, GR), pp. 100–109.
ICTSS-2011-BochmannJW #reliability #testing #web- Improved Usage Model for Web Application Reliability Testing (GvB, GVJ, BW), pp. 15–31.
VMCAI-2011-AlbertGM #cost analysis #precise- More Precise Yet Widely Applicable Cost Analysis (EA, SG, ANM), pp. 38–53.
VMCAI-2011-CousotCL #contract- Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (PC, RC, FL), pp. 150–168.
CBSE-2010-AllierSSV #component #consistency #execution #object-oriented #using- Restructuring Object-Oriented Applications into Component-Oriented Applications by Using Consistency with Execution Traces (SA, HAS, SS, SV), pp. 216–231.
ECSA-2010-Phung-KhacGSBK #architecture #data transfer #distributed #evolution #modelling #runtime- Modelling Changes and Data Transfers for Architecture-Based Runtime Evolution of Distributed Applications (APK, JMG, MTS, AB, EK), pp. 392–400.
QoSA-2010-Wirsing #adaptation #approach #component #pervasive- A Component-Based Approach to Adaptive User-Centric Pervasive Applications (MW), p. 2.
ASE-2010-HalleEBB #fault #model checking #navigation #runtime #state machine #web- Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines (SH, TE, CB, TB), pp. 235–244.
ASE-2010-LiHG #ajax #behaviour #detection #interactive #web- Detecting user-visible failures in AJAX web applications by analyzing users’ interaction behaviors (WL, MJH, CG), pp. 155–158.
ASE-2010-SimmondsC #monitoring #named- RuMoR: monitoring and recovery for BPEL applications (JS, MC), pp. 345–346.
ASE-2010-TanejaLMXT #multi #named #testing #validation #web- MiTV: multiple-implementation testing of user-input validators for web applications (KT, NL, MRM, TX, NT), pp. 131–134.
ASE-2010-TanejaZX #automation #database #generative #named #testing- MODA: automated test generation for database applications via mock objects (KT, YZ, TX), pp. 289–292.
CASE-2010-BeringV #automation #framework #quality #statistics- A Quality Framework to check the applicability of engineering and statistical assumptions for automated gauges (TPKB, SCV), pp. 319–325.
CASE-2010-CaiM #analysis #approach #hybrid #industrial #process- Dwell-time approach to stability analysis for hybrid control systems: Application to an industrial refrigeration process (CC, SM), pp. 728–733.
CASE-2010-ChenPWBC #modelling #performance- Modeling and control of a fast steering mirror in imaging applications (NC, BP, JTW, SB, AC), pp. 27–32.
CASE-2010-DoraiswamiCK #order #physics- Model order selection criterion with application to physical systems (RD, LC, HMK), pp. 393–398.
CASE-2010-HuangL #assessment- Comprehensive planning of robotic therapy and assessment of task-oriented functions via improved QFD applicable to hand rehabilitation (YYH, KHL), pp. 252–257.
CASE-2010-KleiniggerR- Application of 6-DOF sensing for robotic disturbance compensation (MK, SR), pp. 344–349.
CASE-2010-LinAK #configuration management- Manipulator inverse dynamics computation on FPGA for reconfigurable applications (CSL, PKA, HK), pp. 810–815.
CASE-2010-OuCGWL #energy- A two-mass cantilever beam model for vibration energy harvesting applications (QO, XC, SG, ARW, NL), pp. 301–306.
CASE-2010-ParkM #evaluation #performance- Performance evaluation of deterministic flow lines: Redundant modules and application to semiconductor manufacturing equipment (KP, JRM), pp. 45–50.
DAC-2010-CongLR #concurrent #named- ACES: application-specific cycle elimination and splitting for deadlock-free routing on irregular network-on-chip (JC, CL, GR), pp. 443–448.
DAC-2010-GaoYWY #analysis #correlation #estimation #performance #statistics- Efficient tail estimation for massive correlated log-normal sums: with applications in statistical leakage analysis (MG, ZY, YW, ZY), pp. 475–480.
DAC-2010-JangP #design #performance- Application-aware NoC design for efficient SDRAM access (WJ, DZP), pp. 453–456.
DAC-2010-KongMYW #algorithm- An optimal algorithm for finding disjoint rectangles and its application to PCB routing (HK, QM, TY, MDFW), pp. 212–217.
DAC-2010-MirhoseiniAK #realtime- Real time emulations: foundation and applications (AM, YA, FK), pp. 623–624.
DAC-2010-RiedelHWSAM #biology- Joint DAC/IWBDA special session engineering biology: fundamentals and applications (MR, SH, RW, PS, JCA, RMM), pp. 220–221.
DAC-2010-WeiMP #hardware #security- Gate-level characterization: foundations and hardware security applications (SW, SM, MP), pp. 222–227.
DAC-2010-YangALLP #3d #analysis #layout #optimisation- TSV stress aware timing analysis with applications to 3D-IC layout optimization (JSY, KA, YJL, SKL, DZP), pp. 803–806.
DAC-2010-YuVH #adaptation #multi #realtime #scheduling- Leakage-aware dynamic scheduling for real-time adaptive applications on multiprocessor systems (HY, BV, YH), pp. 493–498.
DAC-2010-ZhangLH #analysis- Separatrices in high-dimensional state space: system-theoretical tangent computation and application to SRAM dynamic stability analysis (YZ, PL, GMH), pp. 567–572.
DAC-2010-ZitterellS #approach #energy #online #probability #realtime #scheduling- A probabilistic and energy-efficient scheduling approach for online application in real-time systems (TZ, CS), pp. 42–47.
DATE-2010-BalaschVP #embedded #framework #privacy- An embedded platform for privacy-friendly road charging applications (JB, IV, BP), pp. 867–872.
DATE-2010-BellasiBCFS #framework #mobile #multi #power management- Constrained Power Management: Application to a multimedia mobile platform (PB, SB, MC, WF, DS), pp. 989–992.
DATE-2010-BerahaWCK #case study #design #requirements- Leveraging application-level requirements in the design of a NoC for a 4G SoC — a case study (RB, IW, IC, AK), pp. 1408–1413.
DATE-2010-BraakHKHS #realtime #resource management #runtime- Run-time spatial resource management for real-time applications on heterogeneous MPSoCs (TDtB, PKFH, JK, JH, GJMS), pp. 357–362.
DATE-2010-CastrillonVSSCLAM #analysis- Trace-based KPN composability analysis for mapping simultaneous applications to MPSoC platforms (JC, RV, AS, WS, JC, RL, GA, HM), pp. 753–758.
DATE-2010-FerroP #modelling #semantics #transaction #verification- Formal semantics for PSL modeling layer and application to the verification of transactional models (LF, LP), pp. 1207–1212.
DATE-2010-LandrockK- High temperature polymer capacitors for aerospace applications (CKL, BK), pp. 1349–1352.
DATE-2010-LeemCBJM #architecture #fault #named #probability- ERSA: Error Resilient System Architecture for probabilistic applications (LL, HC, JB, QAJ, SM), pp. 1560–1565.
DATE-2010-LiH- Compact model of memristors and its application in computing systems (HL, MH), pp. 673–678.
DATE-2010-LuckenbillLHMH #algorithm #analysis #fault #logic #named #reliability- RALF: Reliability Analysis for Logic Faults — An exact algorithm and its applications (SBL, JYL, YH, RM, LH), pp. 783–788.
DATE-2010-MehdipourHKIKMAF #quantum #scalability- Mapping scientific applications on a large-scale data-path accelerator implemented by single-flux quantum (SFQ) circuits (FM, HH, HK, KI, IK, KM, HA, AF), pp. 993–996.
DATE-2010-PasettiFS #power management- A High-Voltage Low-Power DC-DC buck regulator for automotive applications (GP, LF, RS), pp. 937–940.
DATE-2010-Pignol- COTS-based applications in space avionics (MP), pp. 1213–1219.
DATE-2010-ShenHH #adaptation #configuration management- Learning-based adaptation to applications and environments in a reconfigurable Network-on-Chip (JSS, CHH, PAH), pp. 381–386.
DATE-2010-ShinG #approximate #fault #logic #synthesis- Approximate logic synthesis for error tolerant applications (DS, SKG), pp. 957–960.
DATE-2010-VazquezCTST #programmable #safety- Programmable aging sensor for automotive safety-critical applications (JCV, VHC, ICT, MBS, JPT), pp. 618–621.
DATE-2010-VenutoSCP #power management- Ultra low-power 12-bit SAR ADC for RFID applications (DDV, ES, DTC, YP), pp. 1071–1075.
DATE-2010-VergariBSDZRC- A Smart Space application to dynamically relate medical and environmental information (FV, SB, FS, AD, GZ, LR, TSC), pp. 1542–1547.
DATE-2010-WangC- Spintronic memristor devices and application (XW, YC), pp. 667–672.
DATE-2010-WhittySHEP #architecture #configuration management #memory management #performance- Application-specific memory performance of a heterogeneous reconfigurable architecture (SW, HS, BH, RE, WPR), pp. 387–392.
DATE-2010-ZhuSJ #configuration management #cpu #design #performance #streaming- Pareto efficient design for reconfigurable streaming applications on CPU/FPGAs (JZ, IS, AJ), pp. 1035–1040.
DocEng-2010-BeaudouxBJ #authoring #modelling #using- Using model driven engineering technologies for building authoring applications (OB, AB, JMJ), pp. 279–282.
HT-2010-BeelG10a #mindmap- Enhancing search applications by utilizing mind maps (JB, BG), pp. 303–304.
SIGMOD-2010-AbouziedBHAS- HadoopDB in action: building real world applications (AA, KBP, JH, DJA, AS), pp. 1111–1114.
SIGMOD-2010-Amer-YahiaDKKF #algorithm #big data- Crowds, clouds, and algorithms: exploring the human side of “big data” applications (SAY, AD, JMK, NK, MJF), pp. 1259–1260.
SIGMOD-2010-CuiTZZ #multi #social #social media- Multiple feature fusion for social media applications (BC, AKHT, CZ, ZZ), pp. 435–446.
VLDB-2010-DeutchGM #navigation- Navigating in Complex Mashed-Up Applications (DD, OG, TM), pp. 320–329.
VLDB-2010-WangREW #health #realtime- Active Complex Event Processing: Applications in Real-Time Health Care (DW, EAR, RTE, HW), pp. 1545–1548.
CSEET-2010-MansarQSW #development #experience #information management- Information Systems Application Development Courses: A Carnegie Mellon University Experience in Global Pedagogy (SLM, JLQ, RS, RW), pp. 129–135.
ITiCSE-2010-AydinolG #using #web- Advantage of using web 2.0 applications in class (ABA, ÖG), p. 308.
ITiCSE-2010-JalilNI #effectiveness- Evaluating the effectiveness of a pattern application support tool for novices (MJ, SAN, SBI), pp. 239–243.
ITiCSE-2010-LoQY #energy- Innovative CS capstone projects on green energy applications with WSN in a box (CTDL, KQ, LY), p. 307.
TACAS-2010-CimattiFGSS #formal method #satisfiability- Satisfiability Modulo the Theory of Costs: Foundations and Applications (AC, AF, AG, RS, CS), pp. 99–113.
CSMR-2010-AlalfiCD #automation #metric #web- Automating Coverage Metrics for Dynamic Web Applications (MHA, JRC, TRD), pp. 51–60.
CSMR-2010-MarchettoTR #ajax #approximate #modelling- Under and Over Approximation of State Models Recovered for Ajax Applications (AM, PT, FR), pp. 236–239.
ICPC-2010-AmalfitanoFPT #ajax #comprehension #named #web- DynaRIA: A Tool for Ajax Web Application Comprehension (DA, ARF, AP, PT), pp. 46–47.
ICPC-2010-MatthijssenZSBD #ajax #comprehension #interactive- Connecting Traces: Understanding Client-Server Interactions in Ajax Applications (NM, AZ, MADS, RIB, AvD), pp. 216–225.
ICSM-2010-ChoudharyVO #automation #identification #named #web- WEBDIFF: Automated identification of cross-browser issues in web applications (SRC, HV, AO), pp. 1–10.
ICSM-2010-ChoudharyVO10a #testing #web- A cross-browser web application testing tool (SRC, HV, AO), pp. 1–6.
ICSM-2010-NagyVFGKK #assurance #developer #named #quality- MAGISTER: Quality assurance of Magic applications for software developers and end users (CN, LV, RF, TG, FK, IK), pp. 1–6.
ICSM-2010-PerinGN #analysis #enterprise #java #transaction- Recovery and analysis of transaction scope from scattered information in Java Enterprise Applications (FP, TG, ON), pp. 1–10.
PEPM-2010-LiO #automaton- Conditional weighted pushdown systems and applications (XL, MO), pp. 141–150.
CIAA-2010-Johnson #natural language #using- Uniformizing Rational Relations for Natural Language Applications Using Weighted Determinization (JHJ), pp. 173–180.
ICALP-v1-2010-BansalK #problem #scheduling- Inapproximability of Hypergraph Vertex Cover and Applications to Scheduling Problems (NB, SK), pp. 250–261.
ICALP-v1-2010-Xia #artificial reality #reduction #theorem- Holographic Reduction: A Domain Changed Application and Its Partial Converse Theorems (MX), pp. 666–677.
LATA-2010-WeinbergN #context-free grammar #probability- Extending Stochastic Context-Free Grammars for an Application in Bioinformatics (FW, MEN), pp. 585–595.
IFM-2010-DaumSS #correctness- From Operating-System Correctness to Pervasively Verified Applications (MD, NS, MS), pp. 105–120.
SEFM-2010-BersaniCFPR #constraints #integer #ltl #runtime #smt #specification #verification- SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability (MMB, LC, AF, MP, MR), pp. 244–254.
IFL-2010-MichelsPA #paradigm #user interface- iTask as a New Paradigm for Building GUI Applications (SM, RP, PA), pp. 153–168.
ICGT-2010-EhrigHLOG #confluence- Local Confluence for Rules with Nested Application Conditions (HE, AH, LL, FO, UG), pp. 330–345.
CHI-2010-BonanniHZCI #design #web- Small business applications of sourcemap: a web tool for sustainable design and supply chain transparency (LB, MH, DZ, CC, HI), pp. 937–946.
CHI-2010-FarooqWZ #api #programming #usability- API usability peer reviews: a method for evaluating the usability of application programming interfaces (UF, LW, DZ), pp. 2327–2336.
CHI-2010-GonzalesNZG- Motivating expressive writing with a text-to-sound application (ALG, TYN, OJZ, GG), pp. 1937–1940.
CHI-2010-HechtG #multi #web- The tower of Babel meets web 2.0: user-generated content and its applications in a multilingual context (BH, DG), pp. 291–300.
CHI-2010-RoddenHF #experience #metric #scalability #user interface #web- Measuring the user experience on a large scale: user-centered metrics for web applications (KR, HH, XF), pp. 2395–2398.
CHI-2010-SeukenJTC #design #user interface- Hidden markets: UI design for a P2P backup application (SS, KJ, DST, MC), pp. 315–324.
CSCW-2010-FarooqZ #api #programming #usability- API peer reviews: a method for evaluating usability of application programming interfaces (UF, DZ), pp. 207–210.
CSCW-2010-TuckerBRW #named- Catchup: a useful application of time-travel in meetings (ST, OB, AR, SW), pp. 99–102.
AdaEurope-2010-MartinezBD #component #realtime #scheduling- Scheduling Configuration of Real-Time Component-Based Applications (PLM, LB, JMD), pp. 181–195.
AdaEurope-2010-PastorASA #approach #modelling #realtime #sequence #towards #using- Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach (JAP, DA, PS, BÁ), pp. 167–180.
SIGAda-2010-McCormick #ada #embedded #parallel #realtime- Ada for parallel, embedded, and real-time applications (JWM), pp. 5–6.
CAiSE-2010-ChopraDGM #modelling #reasoning- Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments (AKC, FD, PG, JM), pp. 113–128.
EDOC-2010-KrugerGZP #data transformation #enterprise- Enterprise Application-Specific Data Management (JK, MG, AZ, HP), pp. 131–140.
ICEIS-DISI-2010-DiboB #architecture #component #deployment #distributed #metamodelling #modelling- Defining an Unified Meta Modeling Architecture for Deployment of Distributed Components-based Software Applications (MD, NB), pp. 316–321.
ICEIS-DISI-2010-LibourelLMPD #framework- A Platform Dedicated to Share and Mutualize Environmental Applications (TL, YL, IM, CP, JCD), pp. 50–57.
ICEIS-DISI-2010-PreisslerHL #data type #streaming- Process-based Data Streaming in Service-oriented Environments — Application and Technique (SP, DH, WL), pp. 40–49.
ICEIS-DISI-2010-RezigM #standard #towards- Towards Location-based Services Standardization — An Application based on Mobility and Geo-Location (EKR, VM), pp. 310–315.
ICEIS-DISI-2010-RousseauCH #collaboration- A Practical Application of SOA — A Collaborative Marketplace (SR, OC, SH), pp. 332–336.
ICEIS-HCI-2010-SuadamaraWH #design #interactive #towards- Culture Influence on Human Computer Interaction — Cultural Factors Toward User’s Preference on Groupware Application Design (RS, SW, AH), pp. 186–191.
ICEIS-ISAS-2010-AlvesSC #architecture- A Federated Triple Store Architecture for Healthcare Applications (BA, MS, FC), pp. 207–214.
ICEIS-ISAS-2010-Looso- A Generic Method for Best Practice Reference Model Application (SL), pp. 149–158.
ICEIS-ISAS-2010-LopesSVS #concept #development #framework- A Conceptual Framework for the Development of Applications Centred on Context and Evidence-based Practice (ECL, US, VV, ACS), pp. 60–69.
ICEIS-ISAS-2010-MonfortHK #navigation #towards- Towards Extending IMS LD with Services and Context Awareness — Application to a Navigation and Fishing Simulator (VM, SH, MK), pp. 80–91.
ICEIS-ISAS-2010-ShishkovWS #energy #on the- On the Application of Autonomic and Context-aware Computing to Support Home Energy Management (BS, MW, MvS), pp. 307–313.
ICEIS-J-2010-KisilevichKLBR #case study- Developing Analytical GIS Applications with GEO-SPADE: Three Success Case Studies (SK, DAK, AL, LB, LR), pp. 495–511.
CIKM-2010-AjmeraKLMP #corpus #parallel #web- Alignment of short length parallel corpora with an application to web search (JA, HSK, KPL, SM, MP), pp. 1477–1480.
CIKM-2010-BelemMAGP #metric #quality #recommendation #web- Exploiting co-occurrence and information quality metrics to recommend tags in web 2.0 applications (FMB, EFM, JMdA, MAG, GLP), pp. 1793–1796.
CIKM-2010-BingSJZL #documentation #learning #mining #ontology #representation- Learning ontology resolution for document representation and its applications in text mining (LB, BS, SJ, YZ, WL), pp. 1713–1716.
CIKM-2010-Callan- Search engine support for software applications (JC), pp. 1–2.
CIKM-2010-FangSS #clustering #learning #multi- Multilevel manifold learning with application to spectral clustering (HrF, SS, YS), pp. 419–428.
CIKM-2010-GoasdoueKLM #named #rdf- RDFViewS: a storage tuning wizard for RDF applications (FG, KK, JL, IM), pp. 1947–1948.
CIKM-2010-Grefenstette #semantics- Use of semantics in real life applications (GG), pp. 5–6.
CIKM-2010-KaytoueANK #concept analysis- Embedding tolerance relations in formal concept analysis: an application in information fusion (MK, ZA, AN, SOK), pp. 1689–1692.
CIKM-2010-KerneQWDLM #metadata #named #representation #semantics- Meta-metadata: a metadata semantics language for collection representation applications (AK, YQ, AMW, SD, NL, AM), pp. 1129–1138.
CIKM-2010-LiXCH #named #optimisation #performance- StableBuffer: optimizing write performance for DBMS applications on flash devices (YL, JX, BC, HH), pp. 339–348.
CIKM-2010-WuHL #image #ranking #retrieval- Group ranking with application to image retrieval (OW, WH, BL), pp. 1441–1444.
ICML-2010-GavishNC #graph #learning #multi #theory and practice- Multiscale Wavelets on Trees, Graphs and High Dimensional Data: Theory and Applications to Semi Supervised Learning (MG, BN, RRC), pp. 367–374.
ICML-2010-KimSD #algorithm #scalability- A scalable trust-region algorithm with application to mixed-norm regression (DK, SS, ISD), pp. 519–526.
ICML-2010-ShoebG #detection #machine learning- Application of Machine Learning To Epileptic Seizure Detection (AHS, JVG), pp. 975–982.
ICML-2010-WilliamsonWHB #modelling #process #topic- The IBP Compound Dirichlet Process and its Application to Focused Topic Modeling (SW, CW, KAH, DMB), pp. 1151–1158.
ICPR-2010-AbergW #3d #algorithm #clustering- A Memetic Algorithm for Selection of 3D Clustered Features with Applications in Neuroscience (MBÅ, JW), pp. 1076–1079.
ICPR-2010-AlexandrovnaS- Selection of Photos for Album Building Applications (EMA, IVS), pp. 3256–3259.
ICPR-2010-AlmaksourAQC #classification #evolution #fuzzy #gesture #incremental #learning #recognition- Evolving Fuzzy Classifiers: Application to Incremental Learning of Handwritten Gesture Recognition Systems (AA, ÉA, SQ, MC), pp. 4056–4059.
ICPR-2010-BuyssensR #learning #verification- Learning Sparse Face Features: Application to Face Verification (PB, MR), pp. 670–673.
ICPR-2010-ConduracheMM #classification #segmentation- An LDA-based Relative Hysteresis Classifier with Application to Segmentation of Retinal Vessels (