Stem toward$ (all stems)

2379 papers:

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-PahlJ #architecture #formal method #modelling #roadmap #towards

Software Architecture for the Cloud — A Roadmap Towards Control-Theoretic, Model-Based Cloud Architecture (CP, PJ), pp. 212–220.

WICSA-2015-Chen #architecture #towards

Towards Architecting for Continuous Delivery (LC), pp. 131–134.

CASE-2015-AicherRV #abstraction #automation #simulation #towards #verification

Towards finding the appropriate level of abstraction to model and verify automated production systems in discrete event simulation (TA, SR, BVH), pp. 1048–1053.

CASE-2015-FohringZ #distributed #multimodal #towards

Towards decentralized electronic market places and agent-based freight exchanges for multimodal transports (RF, SZ), pp. 249–254.

CASE-2015-GoeckeE #automation #robust #towards

Towards a more robust automated MAG welding (SFG, MES), pp. 417–418.

CASE-2015-KanCLY #automation #health #internet #mobile #network #towards

Mobile sensing and network analytics for realizing smart automated systems towards health Internet of Things (CK, YC, FL, HY), pp. 1072–1077.

CASE-2015-MicioFMBL #automation #mining #process #towards

RTLS-based Process Mining: Towards an automatic process diagnosis in healthcare (RM, FF, GM, PB, ML), pp. 1397–1402.

CASE-2015-SolisTR #multi #people #towards

Towards developing a multipurpose assistive vehicle robot capable of providing assistance to caregivers and support to elderly people (JS, TDT, JPdlR), pp. 1145–1150.

DAC-2015-LahiouelZT #smt #towards #using

Towards enhancing analog circuits sizing using SMT-based techniques (OL, MHZ, ST), p. 6.

DAC-2015-ZhanOGZ0 #approach #named #network #power management #towards

DimNoC: a dim silicon approach towards power-efficient on-chip network (JZ, JO, FG, JZ, YX), p. 6.

DATE-2015-CuiZSW #towards #using

Towards trustable storage using SSDs with proprietary FTL (XC, MZ, LS, KW), pp. 1213–1216.

DATE-2015-DeAntoniDTCC #concurrent #domain-specific language #metalanguage #towards

Towards a meta-language for the concurrency concern in DSLs (JD, PID, CT, JC, BC), pp. 313–316.

DATE-2015-FuggerNNS #modelling #physics #towards

Towards binary circuit models that faithfully capture physical solvability (MF, RN, TN, US), pp. 1455–1460.

DATE-2015-HanyuSOMNM #architecture #in memory #paradigm #power management #reliability #towards

Spintronics-based nonvolatile logic-in-memory architecture towards an ultra-low-power and highly reliable VLSI computing paradigm (TH, DS, NO, SM, MN, AM), pp. 1006–1011.

DATE-2015-HoqueMS #analysis #approach #maintenance #model checking #probability #reliability #towards

Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking (KAH, OAM, YS), pp. 1635–1640.

DATE-2015-PerriconeZSHN #3d #design #towards

Towards systematic design of 3D pNML layouts (RP, YZ, KMS, XSH, MTN), pp. 1539–1542.

DocEng-2015-CutterM #documentation #how #mobile #towards

Towards Mobile OCR: How to Take a Good Picture of a Document Without Sight (MPC, RM), pp. 75–84.

SIGMOD-2015-LiBCGM #named #network #towards

GetReal: Towards Realistic Selection of Influence Maximization Strategies in Competitive Networks (HL, SSB, JC, YG, JM), pp. 1525–1537.

VLDB-2015-ChodpathumwanAT #graph #independence #named #representation #towards

Universal-DB: Towards Representation Independent Graph Analytics (YC, AA, AT, YS), pp. 2016–2027.

VLDB-2015-GoelPABMFGMBL #architecture #realtime #scalability #towards

Towards Scalable Real-time Analytics: An Architecture for Scale-out of OLxP Workloads (AKG, JP, NA, PB, SM, FF, FG, CM, TB, WL), pp. 1716–1727.

VLDB-2015-LiuLYXW #graph #independence #set #towards

Towards Maximum Independent Sets on Massive Graphs (YL, JL, HY, XX, ZW), pp. 2122–2133.

VLDB-2015-PsaroudakisSMSA #adaptation #concurrent #in memory #scalability #towards

Scaling Up Concurrent Main-Memory Column-Store Scans: Towards Adaptive NUMA-aware Data and Task Placement (IP, TS, NM, AS, AA), pp. 1442–1453.

VLDB-2015-Wu0HZL #crowdsourcing #towards

Hear the Whole Story: Towards the Diversity of Opinion in Crowdsourcing Markets (TW, LC, PH, CJZ, WL), pp. 485–496.

ITiCSE-2015-BrindaKHR #object-oriented #programming #towards

Towards a Competency Model for Object-Oriented Programming (TB, MK, PH, AR), p. 345.

ICPC-2015-RomanelliML #modelling #towards #visual notation

Towards visual reflexion models (MR, AM, ML), pp. 277–280.

ICSME-2015-GoeminneM #analysis #database #framework #java #towards

Towards a survival analysis of database framework usage in Java projects (MG, TM), pp. 551–555.

ICSME-2015-LuciaDGR #automation #behaviour #design pattern #detection #dynamic analysis #towards

Towards automating dynamic analysis for behavioral design pattern detection (ADL, VD, CG, MR), pp. 161–170.

ICSME-2015-SumiHHK #automation #program repair #towards

Toward improving graftability on automated program repair (SS, YH, KH, SK), pp. 511–515.

ICSME-2015-YangHHK #java #refactoring #towards

Towards purity-guided refactoring in Java (JY, KH, YH, SK), pp. 521–525.

MSR-2015-HigoOHHK #reuse #towards

Toward Reusing Code Changes (YH, AO, SH, HH, SK), pp. 372–376.

MSR-2015-WhiteVVP #learning #repository #towards

Toward Deep Learning Software Repositories (MW, CV, MLV, DP), pp. 334–345.

SANER-2015-AlawnehHH #analysis #metamodelling #performance #towards

Towards a common metamodel for traces of high performance computing systems to enable software analysis tasks (LA, AHL, JH), pp. 111–120.

SANER-2015-Erfani #metamodelling #ontology #towards

Towards an ontology-based context-aware meta-model for the software domain (ME), pp. 605–606.

SANER-2015-LianZ #feature model #non-functional #product line #requirements #towards

Optimized feature selection towards functional and non-functional requirements in Software Product Lines (XL, LZ), pp. 191–200.

SANER-2015-LityBS #incremental #product line #slicing #towards

Towards incremental model slicing for delta-oriented software product lines (SL, HB, IS), pp. 530–534.

SANER-2015-Martin #analysis #framework #towards

Towards a framework for analysis, transformation, and manipulation of Makefiles (DM), pp. 601–602.

SANER-2015-Morales #anti #automation #framework #towards

Towards a framework for automatic correction of anti-patterns (RM), pp. 603–604.

PEPM-2015-LiWXH #adaptation #api #java #named #towards #type safety

SWIN: Towards Type-Safe Java Program Adaptation between APIs (JL, CW, YX, ZH), pp. 91–102.

STOC-2015-BourgainDN #formal method #reduction #towards

Toward a Unified Theory of Sparse Dimensionality Reduction in Euclidean Space (JB, SD, JN), pp. 499–508.

ICALP-v1-2015-KunnemannM #approximate #comprehension #heuristic #towards

Towards Understanding the Smoothed Approximation Ratio of the 2-Opt Heuristic (MK, BM), pp. 859–871.

ICALP-v2-2015-Ghaffari #distributed #towards

Distributed Broadcast Revisited: Towards Universal Optimality (MG), pp. 638–649.

ICALP-v2-2015-KawarabayashiK #graph #theorem #towards

Towards the Graph Minor Theorems for Directed Graphs (KiK, SK), pp. 3–10.

LATA-2015-BoichutCR #approximate #precise #towards

Towards More Precise Rewriting Approximations (YB, JC, PR), pp. 652–663.

FM-2015-AlTurkiA #distributed #framework #towards #using #verification #𝕂

Towards Formal Verification of Orchestration Computations Using the 𝕂 Framework (MAA, OA), pp. 40–56.

SEFM-2015-ClarisoGC #bound #ocl #refinement #towards #uml #verification

Towards Domain Refinement for UML/OCL Bounded Verification (RC, CAG, JC), pp. 108–114.

GaM-2015-HeussnerPCM #concurrent #graph #object-oriented #towards #verification

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model (AH, CMP, CC, BM), pp. 32–47.

ICGT-2015-KwantesGKR #modelling #process #towards #verification

Towards Compliance Verification Between Global and Local Process Models (PMK, PVG, JK, AR), pp. 221–236.

ICGT-2015-TaentzerG #analysis #confluence #graph transformation #towards

Towards Local Confluence Analysis for Amalgamated Graph Transformation (GT, UG), pp. 69–86.

CHI-2015-AkshitaSILB #feedback #interactive #multimodal #towards #visual notation

Towards Multimodal Affective Feedback: Interaction between Visual and Haptic Modalities (A, HAS, BI, EL, YB), pp. 2043–2052.

CHI-2015-Al-AmeenWS #multi #random #towards

Towards Making Random Passwords Memorable: Leveraging Users’ Cognitive Ability Through Multiple Cues (MNAA, MKW, SS), pp. 2315–2324.

CHI-2015-AlvinaZPARF #mobile #named #towards

OmniVib: Towards Cross-body Spatiotemporal Vibrotactile Notifications for Mobile Phones (JA, SZ, STP, MA, TR, MF), pp. 2487–2496.

CHI-2015-BerardR #assessment #human-computer #learning #similarity #towards

The Transfer of Learning as HCI Similarity: Towards an Objective Assessment of the Sensory-Motor Basis of Naturalness (FB, ARC), pp. 1315–1324.

CHI-2015-HardyWTVA #agile #design #named #prototype #towards

ShapeClip: Towards Rapid Prototyping with Shape-Changing Displays for Designers (JH, CW, FT, JV, JA), pp. 19–28.

CHI-2015-KimY #3d #towards #visual notation

Toward 3D-Printed Movable Tactile Pictures for Children with Visual Impairments (JK, TY), pp. 2815–2824.

CHI-2015-LucaHZH #authentication #comprehension #exclamation #smarttech #towards

I Feel Like I’m Taking Selfies All Day!: Towards Understanding Biometric Authentication on Smartphones (ADL, AH, EvZ, HH), pp. 1411–1414.

CHI-2015-MacLeodOGCS #towards

Rare World: Towards Technology for Rare Diseases (HM, KO, DG, KC, KAS), pp. 1145–1154.

CHI-2015-SamsonovTSKH #towards

You Can’t Smoke Here: Towards Support for Space Usage Rules in Location-aware Technologies (PAS, XT, JS, WK, BH), pp. 971–974.

CSCW-2015-GonzalesFB #lessons learnt #towards

Towards an Appropriable CSCW Tool Ecology: Lessons from the Greatest International Scavenger Hunt the World Has Ever Seen (JAG, CF, AB), pp. 946–957.

CSCW-2015-KangLOKHS #comprehension #facebook #process #relational #towards

Towards Understanding Relational Orientation: Attachment Theory and Facebook Activities (BK, SL, AO, SK, IH, JS), pp. 1404–1415.

CSCW-2015-ProstMT #design #energy #towards #using

From Awareness to Empowerment: Using Design Fiction to Explore Paths towards a Sustainable Energy Future (SP, EEM, MT), pp. 1649–1658.

CSCW-2015-SiangliulueAGD #collaboration #scalability #towards

Toward Collaborative Ideation at Scale: Leveraging Ideas from Others to Generate More Creative and Diverse Ideas (PS, KCA, KZG, SPD), pp. 937–945.

DHM-EH-2015-GoffRB #effectiveness #interactive #towards

Toward a Model for Effective Human-Automation Interaction: The Mediated Agency (KLG, AR, BB), pp. 274–283.

DHM-HM-2015-FassG #modelling #physics #towards

Towards a Theory for Bio — — Cyber Physical Systems Modelling (DF, FG), pp. 245–255.

DUXU-UI-2015-Bahr #mobile #prototype #requirements #tool support #towards #user interface

Towards a Requirements Catalogue for Prototyping Tools of Mobile User Interfaces (BB), pp. 495–507.

DUXU-UI-2015-BrahnamW #design #paradigm #towards

Re/Framing Virtual Conversational Partners: A Feminist Critique and Tentative Move Towards a New Design Paradigm (SB, MW), pp. 172–183.

DUXU-UI-2015-Nawrot #data analysis #difference #gender #question #towards #women

Gender Differences in Temporal Data Analysis — Toward Women or Men Empowerment? (IN), pp. 232–242.

DUXU-UI-2015-SoutoFS #approach #comprehension #design #process #towards #women

The Creative Process in Digital Design: Towards an Understanding of Women’s Approach (VTS, PCLAF, FAdS), pp. 252–263.

HCI-DE-2015-CrawfordAJRG #evaluation #experience #interactive #towards #user interface

User Experience Evaluation Towards Cooperative Brain-Robot Interaction (CSC, MA, FJ, SR, JEG), pp. 184–193.

HCI-DE-2015-HoroldMK #towards

Towards Paperless Mobility Information in Public Transport (SH, CM, HK), pp. 340–349.

HCI-DE-2015-LocknerB #evaluation #interface #towards

Towards the Evaluation of Emotional Interfaces (DL, NB), pp. 500–511.

HCI-DE-2015-NakatsujiYKT #towards

Airway Cursor: A Pointing Technique Based on Direction of Mouse Movement Towards a Targets (TN, KY, IK, YT), pp. 396–404.

HCI-IT-2015-MezhoudiKV #towards #user interface

Toward Usable Intelligent User Interface (NM, IK, JV), pp. 459–471.

HCI-IT-2015-MijovicMMMKG #fault #human-computer #predict #towards

Towards Creation of Implicit HCI Model for Prediction and Prevention of Operators’ Error (PM, MM, MM, IM, VK, IG), pp. 341–352.

HIMI-IKD-2015-GilbertZ #information management #towards #wiki

Towards a Class-Based Model of Information Organization in Wikipedia (MG, MZ), pp. 301–309.

SCSM-2015-FukudaWFHFHN #towards

Text-Mining of Hand-Over Notes for Care-Workers in Real Operation — Toward an Employee-Driven Innovation (KF, KW, TF, MH, RF, MH, TN), pp. 30–38.

CAiSE-2015-LeopoldMFPSM #automation #modelling #process #towards

Towards the Automated Annotation of Process Models (HL, CM, MF, FP, HS, JM), pp. 401–416.

ICEIS-v1-2015-BrodskyL #knowledge base #modelling #reuse #towards

Decision Guidance Analytics Language (DGAL) — Toward Reusable Knowledge Base Centric Modeling (AB, JL), pp. 67–78.

ICEIS-v1-2015-CaballeroBP #assessment #process #towards

Towards Principled Data Science Assessment — The Personal Data Science Process (PdsP) (IC, LBE, MP), pp. 374–378.

ICEIS-v1-2015-YanguiNG #concept #design #multi #network #social #towards

Towards Data Warehouse Schema Design from Social Networks — Dynamic Discovery of Multidimensional Concepts (RY, AN, FG), pp. 338–345.

ICEIS-v2-2015-EttaziHNE #adaptation #approach #towards #transaction

Towards a Context-Aware Adaptation Approach for Transactional Services (WE, HH, MN, SE), pp. 553–562.

ICEIS-v2-2015-KriouileMA #as a service #configuration management #towards

Towards a High Configurable SaaS — To Deploy and Bind Auser-aware Tenancy of the SaaS (HK, ZM, BEA), pp. 674–679.

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-ValenteAN #design #towards

Improving Software Design Decisions towards Enhanced Return of Investment (PV, DA, NJN), pp. 388–394.

ICEIS-v3-2015-CruzV #architecture #enterprise #towards

Towards a Reference Enterprise Application Architecture for the Customer Relationship Management Domain (AC, AV), pp. 185–195.

ECIR-2015-BansalBV #analysis #semantics #towards

Towards Deep Semantic Analysis of Hashtags (PB, RB, VV), pp. 453–464.

ECIR-2015-BouchouchaLN #query #towards

Towards Query Level Resource Weighting for Diversified Query Expansion (AB, XL, JYN), pp. 1–12.

ECIR-2015-GossenKN #adaptation #towards #user interface

Knowledge Journey Exhibit: Towards Age-Adaptive Search User Interfaces (TG, MK, AN), pp. 781–784.

ECIR-2015-WangHS0W0 #network #problem #recommendation #social #towards

Toward the New Item Problem: Context-Enhanced Event Recommendation in Event-Based Social Networks (ZW, PH, LS, KC, SW, GC), pp. 333–338.

ICML-2015-Lopez-PazMST #learning #towards

Towards a Learning Theory of Cause-Effect Inference (DLP, KM, BS, IT), pp. 1452–1461.

ICML-2015-ZhuG #complexity #robust #towards

Towards a Lower Sample Complexity for Robust One-bit Compressed Sensing (RZ, QG), pp. 739–747.

KDD-2015-KicKimanR #identification #social #social media #towards

Towards Decision Support and Goal Achievement: Identifying Action-Outcome Relationships From Social Media (EK, MR), pp. 547–556.

KDD-2015-WangLSH #approach #composition #interactive #recursion #topic #towards

Towards Interactive Construction of Topical Hierarchy: A Recursive Tensor Decomposition Approach (CW, XL, YS, JH), pp. 1225–1234.

RecSys-2015-ElsweilerH #automation #recommendation #towards

Towards Automatic Meal Plan Recommendations for Balanced Nutrition (DE, MH), pp. 313–316.

RecSys-2015-GriesnerAN #matrix #recommendation #towards

POI Recommendation: Towards Fused Matrix Factorization with Geographical and Temporal Influences (JBG, TA, HN), pp. 301–304.

SEKE-2015-FariasGSOV #architecture #composition #towards

Toward an Architecture for Model Composition Techniques (KF, LG, MS, TCO, MV), pp. 656–659.

SEKE-2015-KalinowskiSCPF0 #problem #requirements #towards

Towards Building Knowledge on Causes of Critical Requirements Engineering Problems (MK, ROS, TC, RP, DMF, SW), pp. 1–6.

SEKE-2015-LeeL #adaptation #framework #re-engineering #self #towards

Towards Knowledge-intensive Software Engineering Framework for Self-Adaptive Software (HCL, SWL), pp. 30–35.

SEKE-2015-LuoYZ #deployment #towards

Towards a Deployment System for Cloud Applications (RL, WY, SZ), pp. 122–127.

SEKE-2015-MagalhaesMA #case study #design #experience #metamodelling #model transformation #towards

Towards a Metamodel Design Methodology: Experiences from a model transformation metamodel design (APM, RSPM, AMSA), pp. 625–630.

SEKE-2015-RadulovicGG #rdf #towards

Towards the Anonymisation of RDF Data (FR, RGC, AGP), pp. 646–651.

SEKE-2015-TakahashiNT #automation #elicitation #feedback #requirements #topic #towards #using

Towards Automatic Requirements Elicitation from Feedback Comments: Extracting Requirements Topics Using LDA (HT, HN, TT), pp. 489–494.

SEKE-2015-TerencianiPLC #modelling #process #representation #towards #variability

BPMN* — A Notation for Representation of Variability in Business Process Towards Supporting Business Process Line Modeling (MT, DMBP, GL, MIC), pp. 227–230.

SEKE-2015-TrinkenreichSCS #metric #process #towards #using

Toward using Business Process Intelligence to Support Incident Management Metrics Selection and Service Improvement (BT, GS, VTFC, FMS), pp. 522–527.

SEKE-2015-ZhaoSCZ #crowdsourcing #developer #effectiveness #recommendation #towards

Towards Effective Developer Recommendation in Software Crowdsourcing (SZ, BS, YC, HZ), pp. 326–329.

SIGIR-2015-HeindorfPSE #analysis #corpus #detection #knowledge base #towards

Towards Vandalism Detection in Knowledge Bases: Corpus Construction and Analysis (SH, MP, BS, GE), pp. 831–834.

SIGIR-2015-HtunHB #collaboration #information management #information retrieval #towards

Towards Quantifying the Impact of Non-Uniform Information Access in Collaborative Information Retrieval (NNH, MH, LB), pp. 843–846.

SIGIR-2015-TrippasSSC #communication #comprehension #summary #towards #web

Towards Understanding the Impact of Length in Web Search Result Summaries over a Speech-only Communication Channel (JRT, DS, MS, LC), pp. 991–994.

SIGIR-2015-Zhai #framework #game studies #information retrieval #towards

Towards a Game-Theoretic Framework for Information Retrieval (CZ), p. 543.

AMT-2015-DyckGLSG #automation #behaviour #model transformation #towards #verification

Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (JD, HG, LL, SS, SG), pp. 36–45.

AMT-2015-HoislS #benchmark #evolution #metric #model-to-text #towards

Towards Benchmarking Evolution Support in Model-to-Text Transformation Systems (BH, SS), pp. 16–25.

BX-2015-CheneyGMS #bidirectional #towards

Towards a Principle of Least Surprise for Bidirectional Transformations (JC, JG, JM, PS), pp. 66–80.

ECMFA-2015-BarmpisSK #incremental #scalability #towards

Towards Incremental Updates in Large-Scale Model Indexes (KB, SMS, DSK), pp. 137–153.

MoDELS-2015-KrikavaRS #framework #modelling #resource management #runtime #towards

Infrastructure as runtime models: Towards Model-Driven resource management (FK, RR, LS), pp. 100–105.

MoDELS-2015-KulkarniBCB #complexity #towards

Toward overcoming accidental complexity in organisational decision-making (VK, SB, TC, BSB), pp. 368–377.

ECOOP-2015-TakikawaFDFFTF #towards #type system

Towards Practical Gradual Typing (AT, DF, ED, MF, RBF, STH, MF), pp. 4–27.

Onward-2015-ArztNABEM #encryption #integration #towards

Towards secure integration of cryptographic software (SA, SN, KA, EB, SE, MM), pp. 1–13.

Onward-2015-BarmanBCTBC #interactive #synthesis #tool support #towards

Toward tool support for interactive synthesis (SB, RB, SC, ET, AB, DC), pp. 121–136.

Onward-2015-ChariGMD #towards

Towards fully reflective environments (GC, DG, SM, SD), pp. 240–253.

Onward-2015-Jackson #concept #design #formal method #towards

Towards a theory of conceptual design for software (DJ), pp. 282–296.

Onward-2015-Kell #process #towards

Towards a dynamic object model within Unix processes (SK), pp. 224–239.

GPCE-2015-AdamS #domain-specific language #tool support #towards

Towards tool support for spreadsheet-based domain-specific languages (SA, UPS), pp. 95–98.

POPL-2015-Adams #towards

Towards the Essence of Hygiene (MDA), pp. 457–469.

REFSQ-2015-GroenDA #perspective #requirements #research #towards

Towards Crowd-Based Requirements Engineering A Research Preview (ECG, JD, SA), pp. 247–253.

REFSQ-2015-LiHT #case study #formal method #performance #requirements #towards

Towards More Efficient Requirements Formalization: A Study (WL, JHH, MT), pp. 181–197.

SAC-2015-AlmeidaCS0 #smell #towards #usability

Towards a catalog of usability smells (DA, JCC, JS, JCS), pp. 175–181.

SAC-2015-BoitoKND #performance #profiling #towards

Towards fast profiling of storage devices regarding access sequentiality (FZB, RK, POAN, YD), pp. 2015–2020.

SAC-2015-BolockA #automation #constraints #generative #towards #using

Towards automatic poetry generation using constraint handling rules (AEB, SA), pp. 1868–1873.

SAC-2015-DuarteBGCT #behaviour #generative #towards

Towards context-aware behaviour generation (PAdSD, FMB, FAdAG, WVdC, FAMT), pp. 596–598.

SAC-2015-KhlifKKD #approach #architecture #modelling #multi #towards

Towards a multi-scale modeling approach for software architectures (IK, MHK, AHK, KD), pp. 1468–1470.

SAC-2015-ManhaesCZ #automation #performance #predict #source code #student #towards

Towards automatic prediction of student performance in STEM undergraduate degree programs (LMBM, SMSdC, GZ), pp. 247–253.

SAC-2015-MarquesRA15a #process #requirements #towards #traceability

Towards a requirements traceability process centered on the traceability model (AM, FR, WdLA), pp. 1364–1369.

SAC-2015-PapouliasDDF #towards

Reifying the reflectogram: towards explicit control for implicit reflection (NP, MD, SD, LF), pp. 1978–1985.

SAC-2015-RuyFBG #ontology #pattern matching #process #standard #towards

Towards an ontology pattern language for harmonizing software process related ISO standards (FBR, RdAF, MPB, GG), pp. 388–395.

SAC-2015-SeifertSG #personalisation #set #towards

Towards a feature-rich data set for personalized access to long-tail content (CS, JS, MG), pp. 1031–1038.

ESEC-FSE-2015-GhaisasMBGKV #automation #security #towards

Towards automating the security compliance value chain (SG, MM, BB, AG, RK, HMV), pp. 1014–1017.

ESEC-FSE-2015-HermannREM #java #towards

Getting to know you: towards a capability model for Java (BH, MR, ME, MM), pp. 758–769.

ICSE-v1-2015-MatichukMAJKS #empirical #formal method #towards #verification

Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification (DM, TCM, JA, DRJ, GK, MS), pp. 722–732.

ICSE-v2-2015-Berghe #analysis #security #towards

Towards a Practical Security Analysis Methodology (AvDB), pp. 883–886.

ICSE-v2-2015-Hachem #analysis #architecture #data access #modelling #towards

Towards Model Driven Architecture and Analysis of System of Systems Access Control (JEH), pp. 867–870.

ICSE-v2-2015-Jayaram #framework #programming #towards

Towards Explicitly Elastic Programming Frameworks (KRJ), pp. 619–622.

ICSE-v2-2015-Thompson #development #generative #towards

Towards Generation of Software Development Tasks (CAT), pp. 915–918.

PLEASE-2015-Gallina #product line #reuse #safety #towards

Towards Enabling Reuse in the Context of Safety-Critical Product Lines (BG), pp. 15–18.

SPLC-2015-FangLDEZ #automation #industrial #modelling #towards

Towards model-based derivation of systems in the industrial automation domain (MF, GL, JD, CE, JZ), pp. 283–292.

SPLC-2015-HeinemanHDR #framework #migration #object-oriented #product line #synthesis #towards

Towards migrating object-oriented frameworks to enable synthesis of product line members (GTH, AH, BD, JR), pp. 56–60.

CC-2015-HollingumS #context-free grammar #framework #reachability #scalability #towards

Towards a Scalable Framework for Context-Free Language Reachability (NH, BS), pp. 193–211.

HPCA-2015-ChenZPP #towards

Power punch: Towards non-blocking power-gating of NoC routers (LC, DZ, MP, TMP), pp. 378–389.

HPDC-2015-WangZQLMR #consistency #distributed #scalability #towards

Towards Scalable Distributed Workload Manager with Monitoring-Based Weakly Consistent Resource Stealing (KW, XZ, KQ, ML, BM, IR), pp. 219–222.

LCTES-2015-LinM #distributed #framework #named #programming #simulation #towards #verification

StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems (YL, SM), p. 10.

PPoPP-2015-HaidarDLTD #hardware #linear #towards

Towards batched linear solvers on accelerated hardware platforms (AH, TD, PL, ST, JJD), pp. 261–262.

CADE-2015-GorznyP #first-order #proving #towards

Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses (JG, BWP), pp. 356–366.

CSL-2015-MazowieckiR #automaton #logic #towards

Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata (FM, CR), pp. 144–159.

ICLP-2015-AriasC #execution #interface #towards

Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract) (JA, MC).

RTA-2015-LepperW #performance #towards

A Simple and Efficient Step Towards Type-Correct XSLT Transformations (ML, BTyW), pp. 350–364.

CBSE-2014-SmaaliCB #metamodelling #towards

Towards a meta-model for dynamic applications (SS, AC, FB), pp. 23–28.

ECSA-2014-AngelovH #architecture #towards

Towards an Improved Stakeholder Management for Software Reference Architectures (SA, RH), pp. 90–97.

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-OliveiraLFON #architecture #design #process #towards

Towards a Process to Design Architectures of Service-Oriented Robotic Systems (LBRdO, EL, KRF, FO, EYN), pp. 218–225.

WICSA-2014-ChauhanB #architecture #as a service #development #tool support #towards

Towards a Reference Architecture to Provision Tools as a Service for Global Software Development (MAC, MAB), pp. 167–170.

WICSA-2014-ChenB #agile #architecture #comprehension #development #refactoring #towards

Towards an Evidence-Based Understanding of Emergence of Architecture through Continuous Refactoring in Agile Software Development (LC, MAB), pp. 195–204.

ASE-2014-0004MPC #towards #traceability

Towards an intelligent domain-specific traceability solution (JG, NM, CP, JCH), pp. 755–766.

ASE-2014-AzimNM #automation #self #smarttech #towards

Towards self-healing smartphone software via automated patching (TA, IN, LMM), pp. 623–628.

ASE-2014-KuchtaCCC #automation #documentation #named #towards

Docovery: toward generic automatic document recovery (TK, CC, MC, MC), pp. 563–574.

CASE-2014-ChangYLC #behaviour #mining #towards #video

Toward mining anomalous behavior from big moving trajectories in surveillance video (CWC, MHY, CCL, KTC), pp. 1121–1126.

CASE-2014-Gao #hybrid #towards

Towards a converse Lyapunov stability theory of hybrid impulsive and switching systems (RG), pp. 425–429.

CASE-2014-LasotaRS #industrial #interactive #standard #towards

Toward safe close-proximity human-robot interaction with standard industrial robots (PAL, GFR, JAS), pp. 339–344.

DAC-2014-DaviKS #control flow #embedded #fine-grained #performance #towards

Hardware-Assisted Fine-Grained Control-Flow Integrity: Towards Efficient Protection of Embedded Systems Against Software Exploitation (LD, PK, ARS), p. 6.

DAC-2014-WuXKCH #named #simulation #statistics #towards

REscope: High-dimensional Statistical Circuit Simulation towards Full Failure Region Coverage (WW, WX, RK, YLC, LH), p. 6.

DAC-2014-ZhengBB #analysis #identification #named #robust #towards

CACI: Dynamic Current Analysis Towards Robust Recycled Chip Identification (YZ, AB, SB), p. 6.

DATE-2014-BhuniaRHRYMF #logic #towards

Toward ultralow-power computing at exteme with silicon carbide (SiC) nanoelectromechanical logic (SB, VR, TH, SR, RY, MM, PXLF), pp. 1–6.

DATE-2014-LeD #design #towards #verification

Towards verifying determinism of SystemC designs (HML, RD), pp. 1–4.

DATE-2014-LeupersWLRSFCJ #towards

Technology transfer towards Horizon 2020 (RL, NW, RL, MR, JS, LF, AC, BJ), p. 1.

DATE-2014-PapadimitriouHBML #clustering #fault #injection #modelling #multi #towards

A multiple fault injection methodology based on cone partitioning towards RTL modeling of laser attacks (AP, DH, VB, PM, RL), pp. 1–4.

DATE-2014-SiddiqueT #analysis #formal method #towards

Towards the formal analysis of microresonators based photonic systems (US, ST), pp. 1–6.

DATE-2014-Stenstrom #effectiveness #performance #resource management #towards

Effective resource management towards efficient computing (PS), p. 1.

HT-2014-KowaldLT #benchmark #framework #metric #named #recommendation #standard #towards

TagRec: towards a standardized tag recommender benchmarking framework (DK, EL, CT), pp. 305–307.

SIGMOD-2014-KhanYDK #query #towards

Towards indexing functions: answering scalar product queries (AK, PY, BD, DK), pp. 241–252.

SIGMOD-2014-ShiCDO #ad hoc #towards

Towards unified ad-hoc data processing (XS, BC, GD, BCO), pp. 1263–1274.

SIGMOD-2014-WangT #program repair #towards

Towards dependable data repairing with fixing rules (JW, NT), pp. 457–468.

VLDB-2014-FloratouBPL #design #towards

Towards Building Wind Tunnels for Data Center Design (AF, FB, JMP, GL), pp. 781–784.

VLDB-2014-KunjirKB #clustering #multi #named #towards

Thoth: Towards Managing a Multi-System Cluster (MK, PK, SB), pp. 1689–1692.

VLDB-2014-WuAL0Y #towards

Toward Computational Fact-Checking (YW, PKA, CL, JY, CY), pp. 589–600.

CSEET-2014-LiemAAMW #education #re-engineering #towards

Reshaping software engineering education towards 2020 engineers (IL, YA, SA, AM, YW), pp. 171–174.

ITiCSE-2014-TedreBMC #classification #concept #education #identification #towards

Towards identification and classification of core and threshold concepts in methodology education in computing (MT, DB, SMB, JCC), pp. 237–242.

WRLA-2014-Genet #automaton #functional #source code #static analysis #towards #using

Towards Static Analysis of Functional Programs Using Tree Automata Completion (TG), pp. 147–161.

CSMR-WCRE-2014-KlammerP #legacy #tool support #towards

Towards tool support for analyzing legacy systems in technical domains (CK, JP), pp. 371–374.

CSMR-WCRE-2014-QuanteTS #c #case study #towards

Towards recovering and exploiting domain knowledge from C code: A case study on automotive software (JQ, MT, JS), pp. 383–386.

CSMR-WCRE-2014-RahmanYR #exception #fault #ide #programming #recommendation #towards

Towards a context-aware IDE-based meta search engine for recommendation about programming errors and exceptions (MMR, SY, CKR), pp. 194–203.

CSMR-WCRE-2014-XiaFLCW #behaviour #learning #multi #towards

Towards more accurate multi-label software behavior learning (XX, YF, DL, ZC, XW), pp. 134–143.

ICPC-2014-ZhouXLTW #api #categorisation #towards

Towards more accurate content categorization of API discussions (BZ, XX, DL, CT, XW), pp. 95–105.

ICSME-2014-GuanaGS #named #towards

ChainTracker: Towards a Comprehensive Tool for Building Code-Generation Environments (VG, KG, ES), pp. 613–616.

ICSME-2014-Minelli #adaptation #ide #self #towards

Towards Self-Adaptive IDEs (RM), p. 666.

ICSME-2014-Reiss #code search #testing #towards #using

Towards Creating Test Cases Using Code Search (SPR), pp. 436–440.

ICSME-2014-SvajlenkoIKRM #benchmark #big data #metric #towards

Towards a Big Data Curated Benchmark of Inter-project Code Clones (JS, JFI, IK, CKR, MMM), pp. 476–480.

MSR-2014-0001MKZ #fault #predict #towards

Towards building a universal defect prediction model (FZ, AM, IK, YZ), pp. 182–191.

PLDI-2014-BallBGIKSSV #named #network #source code #towards #verification

VeriCon: towards verifying controller programs in software-defined networks (TB, NB, AG, SI, AK, MS, MS, AV), p. 31.

PLDI-2014-LogozzoLFB #towards #verification

Verification modulo versions: towards usable verification (FL, SKL, MF, SB), p. 32.

STOC-2014-GavinskyMWW #approach #bound #complexity #composition #towards

Toward better formula lower bounds: an information complexity approach to the KRW composition conjecture (DG, OM, OW, AW), pp. 213–222.

ICALP-v2-2014-Chaturvedi #towards

Toward a Structure Theory of Regular Infinitary Trace Languages (NC), pp. 134–145.

FM-2014-BaiHWLLM #formal method #model checking #named #towards

TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms (GB, JH, JW, YL, ZL, AM), pp. 110–126.

FM-2014-WenMM #analysis #formal method #information management #towards

Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections (RW, AM, CM), pp. 595–610.

IFM-2014-AsavoaeAR #interprocedural #semantics #slicing #towards

Towards a Formal Semantics-Based Technique for Interprocedural Slicing (IMA, MA, AR), pp. 291–306.

IFL-2014-FredrikssonGW #higher-order #towards

Towards native higher-order remote procedure calls (OF, DRG, BW), p. 10.

GT-VMT-2014-AlshanqitiH #contract #java #reverse engineering #towards #visual notation

Towards Dynamic Reverse Engineering Visual Contracts from Java (AMA, RH).

GT-VMT-2014-ZambonR #problem #towards

Solving the N-Queens Problem with GROOVE — Towards a Compendium of Best Practices (EZ, AR).

ICGT-2014-Bruggink #graph transformation #mining #process #towards

Towards Process Mining with Graph Transformation Systems (HJSB), pp. 253–268.

CHI-2014-BatesHFMC #energy #towards

Towards an holistic view of the energy and environmental impacts of domestic media and IT (OB, MH, AF, JM, AKC), pp. 1173–1182.

CHI-2014-BellottiCHSHHC #peer-to-peer #towards

Towards community-centered support for peer-to-peer service exchange: rethinking the timebanking metaphor (VB, SC, KH, PCS, LRH, KH, JMC), pp. 2975–2984.

CHI-2014-GerlingMBMO #game studies #people #persuasion #towards #using

The effects of embodied persuasive games on player attitudes toward people using wheelchairs (KMG, RLM, MVB, MM, RO), pp. 3413–3422.

CHI-2014-GrimpeHJ #design #human-computer #policy #towards

Towards a closer dialogue between policy and practice: responsible design in HCI (BG, MH, MJ), pp. 2965–2974.

CHI-2014-HaddadMJ #design #interface #nondeterminism #towards

Interface design for older adults with varying cultural attitudes toward uncertainty (SH, JM, CJ), pp. 1913–1922.

CHI-2014-HenleyF #editing #navigation #performance #towards

The patchworks code editor: toward faster navigation with less code arranging and fewer navigation mistakes (AZH, SDF), pp. 2511–2520.

CHI-2014-KierasH #modelling #predict #towards #visual notation

Towards accurate and practical predictive models of active-vision-based visual search (DEK, AJH), pp. 3875–3884.

CHI-2014-KuuttiB #human-computer #research #towards

The turn to practice in HCI: towards a research agenda (KK, LJB), pp. 3543–3552.

CHI-2014-LiuMBP #automation #education #towards

Towards automatic experimentation of educational knowledge (YEL, TM, EB, ZP), pp. 3349–3358.

CHI-2014-PiccardiCZWA #towards

Towards crowd-based customer service: a mixed-initiative tool for managing Q&A sites (TP, GC, MZ, JW, CA), pp. 2725–2734.

CHI-2014-Ruggiero #game studies #learning #named #persuasion #student #towards #video

Spent: changing students’ affective learning toward homelessness through persuasive video game play (DNR), pp. 3423–3432.

CHI-2014-ZhangWKGS #mobile #security #towards

Effects of security warnings and instant gratification cues on attitudes toward mobile websites (BZ, MW, HK, EG, SSS), pp. 111–114.

CSCW-2014-SemaanRDM #multi #social #social media #towards

Social media supporting political deliberation across multiple public spheres: towards depolarization (BS, SPR, SKD, MM), pp. 1409–1421.

CSCW-2014-YaroshMA #communication #towards

Towards a questionnaire for measuring affective benefits and costs of communication technologies (SY, PM, GDA), pp. 84–96.

DHM-2014-CarrinoCKAM #named #towards

PEGASO: Towards a Life Companion (SC, MC, OAK, GA, EM), pp. 325–331.

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-AlomariM #towards

Towards Data Confidentiality and Portability in Cloud Storage (EAA, MMM), pp. 38–49.

DUXU-DI-2014-KurdiHK #towards #user interface

Towards a Friendly User Interface on the Cloud (HAK, SH, AK), pp. 148–157.

DUXU-ELAS-2014-SheikhDS #design #guidelines #knowledge base #towards #usability #women

Usability Guidelines for Designing Knowledge Base in Rural Areas — Towards Women Empowerment (JAS, HSD, FJS), pp. 462–469.

DUXU-ELAS-2014-WinklerP #design #named #smarttech #towards #transitive

ReFlexLab: Designing Transitive Wearable Technologies towards Poetic Aesthetics (CW, SP), pp. 731–738.

DUXU-ELAS-2014-WinklerP14a #design #named #smarttech #towards #transitive

Erratum: ReFlexLab: Designing Transitive Wearable Technologies towards Poetic Aesthetics (CW, SP).

DUXU-TMT-2014-BergerHE #design #interactive #prototype #towards

Towards a Vocabulary of Prototypes in Interaction Design — A Criticism of Current Practice (AB, MH, ME), pp. 25–32.

DUXU-TMT-2014-BystrickyB #architecture #towards #user interface

Post Media: Towards a User Interface Architecture (JB, JB), pp. 519–526.

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.

HCI-AIMT-2014-TawatsujiMM #reasoning #towards

Proposal for the Model of Occurrence of Negative Response toward Humanlike Agent Based on Brain Function by Qualitative Reasoning (YT, KM, TM), pp. 768–778.

HCI-TMT-2014-AssilaOE #approach #evaluation #human-computer #integration #quality #towards

Towards Qualitative and Quantitative Data Integration Approach for Enhancing HCI Quality Evaluation (AA, KMdO, HE), pp. 469–480.

HCI-TMT-2014-LizanoS #comprehension #developer #towards #usability

Improvement of Novice Software Developers’ Understanding about Usability: The Role of Empathy Toward Users as a Case of Emotional Contagion (FL, JS), pp. 207–218.

HIMI-AS-2014-MeghiniB #experience #library #towards #user interface

Steps towards Enhancing the User Experience in Accessing Digital Libraries (CM, VB), pp. 555–566.

HIMI-DE-2014-Ainoya #towards

KADEN Project — Towards the Construction of Model for Sharing Cognition in Manufacturing - (TA), pp. 291–297.

HIMI-DE-2014-AlghamdiT #image #mining #multimodal #retrieval #semantics #towards #using

Towards Semantic Image Retrieval Using Multimodal Fusion with Association Rules Mining (RAA, MT), pp. 407–418.

LCT-NLE-2014-SousaLD #human-computer #towards #trust

A Model for Human-Computer Trust — Contributions Towards Leveraging User Engagement (SCS, DRL, PD), pp. 128–137.

LCT-TRE-2014-BosseP #towards

Towards Aggression De-escalation Training with Virtual Agents: A Computational Model (TB, SP), pp. 375–387.

LCT-TRE-2014-LongoGTBA #social #towards

Society@school: Towards an e-Inclusion App for Social Reading (LL, EG, AT, MB, RAG), pp. 155–164.

AdaEurope-2014-PedroPPP #ada #framework #programming language #runtime #towards #verification

Towards a Runtime Verification Framework for the Ada Programming Language (AdMP, DP, LMP, JSP), pp. 58–73.

CAiSE-2014-HeidingerBBR #framework #named #towards

FACTS: A Framework for Anonymity towards Comparability, Transparency, and Sharing — Exploratory Paper (CH, KB, EB, KR), pp. 120–135.

CAiSE-2014-MalhotraMNL #database #towards

Towards a Form Based Dynamic Database Schema Creation and Modification System (KM, SM, SBN, MDDL), pp. 595–609.

EDOC-2014-0002HHDKS #process #towards

Towards Process Support for Cloud Manufacturing (SS, PH, CH, SD, MK, DS), pp. 142–149.

EDOC-2014-Weber #comprehension #how #modelling #process #towards

Investigating the Process of Process Modeling: Towards an in-Depth Understanding of How Process Models Are Created (BW), p. 180.

ICEIS-v1-2014-OliveiraB #independence #process #specification #towards

ETL Patterns on YAWL — Towards to the Specification of Platform-independent Data Warehousing Populating Processes (BCdSO, OB), pp. 299–307.

ICEIS-v1-2014-PfaffK #benchmark #distributed #integration #metric #ontology #semantics #towards

Semantic Integration of Semi-Structured Distributed Data in the Domain of IT Benchmarking — Towards a Domain Specific Ontology (MP, HK), pp. 320–324.

ICEIS-v2-2014-Chung #complexity #profiling #realtime #towards

Towards Real-time Static and Dynamic Profiling of Organisational Complexity (KSKC), pp. 466–471.

ICEIS-v2-2014-FerreiraS #approach #enterprise #implementation #named #semantics #towards #web

e-swim: Enterprise Semantic Web Implementation Model — Towards a Systematic Approach to Implement the Semantic Web in Enterprises (RF, IS), pp. 653–658.

ICEIS-v2-2014-GamaL #as a service #ecosystem #open data #towards

Towards Ecosystems based on Open Data as a Service (KG, BFL), pp. 659–664.

ICEIS-v2-2014-KhashabGAK #comprehension #towards

Scoping Customer Relationship Management Strategy in HEI — Understanding Steps towards Alignment of Customer and Management Needs (BK, SRG, AA, MK), pp. 267–274.

ICEIS-v2-2014-MarcolinoOG #approach #diagrams #effectiveness #sequence chart #towards #variability

Towards the Effectiveness of the SMarty Approach for Variability Management at Sequence Diagram Level (AM, EAOJ, IMdSG), pp. 249–256.

ICEIS-v2-2014-MerouaniMS #approach #consistency #formal method #process #testing #towards

Formalizing Artifact-Centric Business Processes — Towards a Conformance Testing Approach (HM, FM, HSB), pp. 368–374.

ICEIS-v2-2014-PfisterHN #agile #concurrent #design #diagrams #framework #metamodelling #modelling #synthesis #towards #visual notation

A Framework for Concurrent Design of Metamodels and Diagrams — Towards an Agile Method for the Synthesis of Domain Specific Graphical Modeling Languages (FP, MH, CN), pp. 298–306.

ICEIS-v2-2014-PintoDOC #aspect-oriented #development #framework #modelling #multi #product line #programming #towards

Evaluating the Effort for Modularizing Multiple-Domain Frameworks Towards Framework Product Lines with Aspect-oriented Programming and Model-driven Development (VHSCP, RSD, ALO, VVdC), pp. 60–70.

ICEIS-v2-2014-PodlouckyP #formal method #simulation #towards #validation

Towards Formal Foundations for BORM ORD Validation and Simulation (MP, RP), pp. 315–322.

ICEIS-v2-2014-SilvaFG #configuration management #product line #runtime #towards

Toward a QoS Based Run-time Reconfiguration in Service-oriented Dynamic Software Product Lines (JRFdS, ASdMF, VCG), pp. 460–465.

ICEIS-v3-2014-BarrosFSA #approach #towards

Deriving Service Level Agreements from Business Level Agreements — An Approach Towards Strategic Alignment in Organizations (VAB, MF, GMBS, JPdA), pp. 214–225.

ICEIS-v3-2014-Guerreiro #framework #multi #towards #transaction

Towards Multi-level Organizational Control Framework to Manage the Business Transaction Workarounds (SG), pp. 288–294.

ICEIS-v3-2014-SwennenDVJ #framework #testing #towards

Towards a General Framework for Business Tests (MS, BD, KV, MJ), pp. 478–483.

ICEIS-v3-2014-ThabetGG #mining #petri net #process #towards

Towards Business Process Model Extension with Cost Perspective Based on Process Mining — Petri Net Model Case (DT, SAG, HHBG), pp. 335–342.

CIKM-2014-LimsopathamMO #modelling #multi #ranking #towards

Modelling Relevance towards Multiple Inclusion Criteria when Ranking Patients (NL, CM, IO), pp. 1639–1648.

CIKM-2014-Liu0LXL #identification #towards

Towards Pathway Variation Identification: Aligning Patient Records with a Care Pathway (HL, YL, XL, GTX, GTL), pp. 1359–1368.

CIKM-2014-QinSFSC #internet #linked data #open data #performance #towards

Towards Efficient Dissemination of Linked Data in the Internet of Things (YQ, QZS, NJGF, AS, EC), pp. 1779–1782.

CIKM-2014-WangMGH #information management #towards

Rebuilding the Tower of Babel: Towards Cross-System Malware Information Sharing (TW, SM, WG, XH), pp. 1239–1248.

CIKM-2014-WuL #consistency #evolution #ontology #towards

Towards Consistency Checking over Evolving Ontologies (JW, FL), pp. 909–918.

ECIR-2014-CeroniF #automation #towards #validation

Towards an Entity-Based Automatic Event Validation (AC, MF), pp. 605–611.

ECIR-2014-ChhabraB #generative #summary #towards

Towards Generating Text Summaries for Entity Chains (SC, SB), pp. 136–147.

ECIR-2014-McDonaldMOG #bibliography #classification #perspective #towards

Towards a Classifier for Digital Sensitivity Review (GM, CM, IO, TG), pp. 500–506.

ICML-c1-2014-AzadiS #multi #probability #towards

Towards an optimal stochastic alternating direction method of multipliers (SA, SS), pp. 620–628.

ICML-c1-2014-BardenetDH #adaptation #approach #markov #monte carlo #scalability #towards

Towards scaling up Markov chain Monte Carlo: an adaptive subsampling approach (RB, AD, CCH), pp. 405–413.

ICML-c1-2014-LuoS #learning #online #towards

Towards Minimax Online Learning with Unknown Time Horizon (HL, RES), pp. 226–234.

ICML-c2-2014-GravesJ #network #recognition #speech #towards

Towards End-To-End Speech Recognition with Recurrent Neural Networks (AG, NJ), pp. 1764–1772.

ICPR-2014-ChoiCKD #distance #towards

Toward Sparse Coding on Cosine Distance (JC, HC, JK, LSD), pp. 4423–4428.

KDD-2014-DundarYR #identification #towards

Batch discovery of recurring rare classes toward identifying anomalous samples (MD, HZY, BR), pp. 223–232.

KDD-2014-ZongWSSCHY #mining #scalability #towards

Towards scalable critical alert mining (BZ, YW, JS, AKS, HÇ, JH, XY), pp. 1057–1066.

KDIR-2014-BydzovskaB #predict #student #towards

Towards Student Success Prediction (HB, MB), pp. 162–169.

KDIR-2014-HaraSOM #automation #information management #towards

Annotating Cohesive Statements of Anatomical Knowledge Toward Semi-automated Information Extraction (KH, IS, KO, IM), pp. 342–347.

KDIR-2014-NebotL #linked data #open data #towards

Towards Analytical MD Stars from Linked Data (VN, RBL), pp. 117–125.

KDIR-2014-Sydow #set #towards #visualisation

Towards Integrity in Diversity-aware Small Set Selection and Visualisation Tasks (MS), pp. 480–484.

KEOD-2014-AzaiezA #analysis #how #question #towards

How to Guarantee Analysis Results Coherence after Data Warehouse Schema Changes Propagation towards Data Marts? (NA, JA), pp. 428–435.

KMIS-2014-FersiniMMBJA #named #online #towards

eMediation — Towards Smart Online Dispute Resolution (EF, EM, LM, GB, SEJ, GA), pp. 228–236.

KMIS-2014-ToureMM #architecture #design #information management #towards

Re-Designing Knowledge Management Systems — Towards User-Centred Design Methods Integrating Information Architecture (CET, CM, JCM), pp. 298–305.

KMIS-2014-ToureMM14a #information management #modelling #towards #what

What If We Considered Awareness for Sustainable Knowledge Management? Towards a Model for Self Regulated Knowledge Management Systems Based on Acceptance Models of Technologies and Awareness (CET, CM, JCM), pp. 413–418.

KMIS-2014-WangABN #recommendation #semantics #towards

Towards a Recommender System from Semantic Traces for Decision Aid (NW, MHA, JPAB, EN), pp. 274–279.

KR-2014-Delgrande #analysis #towards

Towards a Knowledge Level Analysis of Forgetting (JPD).

MLDM-2014-FuMD #classification #multi #network #performance #towards

Towards the Efficient Recovery of General Multi-Dimensional Bayesian Network Classifier (SF, SM, MCD), pp. 16–30.

MLDM-2014-Schafer #classification #preprocessor #towards

Towards Time Series Classification without Human Preprocessing (PS), pp. 228–242.

RecSys-2014-LiuA #framework #recommendation #towards

Towards a dynamic top-N recommendation framework (XL, KA), pp. 217–224.

RecSys-2014-NoiaORTS #analysis #recommendation #towards

An analysis of users’ propensity toward diversity in recommendations (TDN, VCO, JR, PT, EDS), pp. 285–288.

RecSys-2014-Stettinger #independence #named #towards

Choicla: towards domain-independent decision support for groups of users (MS), pp. 425–428.

SEKE-2014-AdjoyanSS #identification #legacy #metric #migration #object-oriented #quality #towards

Service Identification Based on Quality Metrics — Object-Oriented Legacy System Migration Towards SOA (SA, ADS, AS), pp. 1–6.

SEKE-2014-AnvaariZ #architecture #design #reuse #towards

Towards Reusing Architectural Knowledge as Design Guides (MA, OZ), pp. 181–186.

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-HauboldBH #approach #flexibility #towards

Towards a flexible approach to manage varying and altering information representations (TH, GB, WH), pp. 566–569.

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-OliveiraOON #taxonomy #towards

Towards a Taxonomy of Services for Developing Service-Oriented Robotic Systems (LBRdO, FSO, FO, EYN), pp. 344–349.

SEKE-2014-Parvizi-MosaedMHH #adaptation #architecture #evaluation #self #towards

Towards a Tactic-Based Evaluation of Self-Adaptive Software Architecture Availability (APM, SM, JH, AH), pp. 168–173.

SEKE-2014-TangLYX #configuration management #development #towards

Towards Sustainability-Oriented Development of Dynamic Reconfigurable Software Systems (ST, LL, WY, JX), pp. 598–602.

SEKE-2014-ToureBL #metric #testing #towards

Towards a Unified Metrics Suite for JUnit Test Cases (FT, MB, LL), pp. 115–120.

SIGIR-2014-LagunHWN #metric #mobile #towards

Towards better measurement of attention and satisfaction in mobile search (DL, CHH, DW, VN), pp. 113–122.

SIGIR-2014-SunL #towards

Towards context-aware search with right click (AS, CHL), pp. 847–850.

AMT-2014-EramoMPR #bidirectional #nondeterminism #towards

Towards Analysing Non-Determinism in Bidirectional Transformations (RE, RM, AP, GR), pp. 76–85.

AMT-2014-PoskittDPR #bidirectional #model transformation #towards

Towards Rigorously Faking Bidirectional Model Transformations (CMP, MD, RFP, AR), pp. 70–75.

AMT-2014-RichaBPBR #algebra #graph transformation #model transformation #testing #towards #using

Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation (ER, EB, LP, MB, JFR), pp. 34–43.

AMT-2014-TroyaWBV #approximate #model transformation #towards

Towards Approximate Model Transformations (JT, MW, LB, AV), pp. 44–53.

AMT-2014-ZhangBBEHKW #code generation #concurrent #java #state machine #towards

Towards Verified Java Code Generation from Concurrent State Machines (DZ, DB, MvdB, LE, CH, RK, AW), pp. 64–69.

BX-2014-CheneyMSG #repository #towards

Towards a Repository of Bx Examples (JC, JM, PS, JG), pp. 87–91.

BX-2014-MacedoCP #framework #model transformation #multi #towards

Towards a Framework for Multidirectional Model Transformations (NM, AC, HP), pp. 71–74.

ECMFA-2014-BarmpisK #modelling #query #scalability #towards

Towards Scalable Querying of Large-Scale Models (KB, DSK), pp. 35–50.

ECMFA-2014-CuadradoGL #model transformation #towards

Towards the Systematic Construction of Domain-Specific Transformation Languages (JSC, EG, JdL), pp. 196–212.

ECMFA-2014-Goldschmidt #domain-specific language #framework #multi #towards

Towards an Infrastructure for Domain-Specific Languages in a Multi-domain Cloud Platform (TG), pp. 242–253.

ICMT-2014-DiskinWGC #symmetry #taxonomy #towards

Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization (ZD, AW, HG, KC), pp. 57–73.

ICMT-2014-ErginS #design pattern #graph #model transformation #towards

Towards a Language for Graph-Based Model Transformation Design Patterns (HE, ES), pp. 91–105.

Onward-2014-PhilipsRCM #development #towards #web

Towards Tierless Web Development without Tierless Languages (LP, CDR, TVC, WDM), pp. 69–81.

PADL-2014-KrijnenSV #named #towards

Expand: Towards an Extensible Pandoc System (JK, SDS, MV), pp. 200–215.

PADL-2014-SaptawijayaP #logic programming #modelling #towards

Towards Modeling Morality Computationally with Logic Programming (AS, LMP), pp. 104–119.

POPL-2014-ZhangM #fault #towards

Toward general diagnosis of static errors (DZ, ACM), pp. 569–582.

RE-2014-AlkhaniferL #design #elicitation #requirements #towards #visual notation

Towards a situation awareness design to improve visually impaired orientation in unfamiliar buildings: Requirements elicitation study (AA, SL), pp. 23–32.

RE-2014-PruskiLAOARC #named #natural language #query #towards

TiQi: Towards natural language trace queries (PP, SL, RA, GO, SA, AR, JCH), pp. 123–132.

RE-2014-ZhouLLLKL #feature model #requirements #towards #validation

Towards feature-oriented requirements validation for automotive systems (JZ, YL, KL, HL, DK, BL), pp. 428–436.

REFSQ-2014-CooperNL #education #formal method #game studies #modelling #requirements #towards

Towards Model-Driven Requirements Engineering for Serious Educational Games: Informal, Semi-formal, and Formal Models (KMLC, ESN, CSL), pp. 17–22.

SAC-2014-AlmenteroLL #composition #requirements #towards

Towards software modularization from requirements (EA, JCSdPL, CJPdL), pp. 1007–1012.

SAC-2014-CaniGSST #automation #code generation #integration #towards

Towards automated malware creation: code generation and code integration (AC, MG, ES, GS, APT), pp. 157–160.

SAC-2014-ChallcoI #authoring #design #learning #personalisation #towards

Towards a learning design authoring tool that generates personalized units of learning for CSCL (GCC, SI), pp. 778–780.

SAC-2014-FalboRGBA #enterprise #ontology #pattern matching #towards

Towards an enterprise ontology pattern language (RdAF, FBR, GG, MPB, JPAA), pp. 323–330.

SAC-2014-FariasGLGCRBO #composition #quality #towards

Towards a quality model for model composition effort (KF, AG, CJPdL, LGJ, CAdC, RdRR, FPB, TCdO), pp. 1181–1183.

SAC-2014-OliveiraMB #documentation #semantics #towards #xml

Towards semantic diff of XML documents (AO, LM, VB), pp. 833–838.

SAC-2014-OliveiraNV #framework #towards

Towards a framework for relevant guidance (EHTO, EHN, RMV), pp. 241–242.

SAC-2014-SaarsenD #assessment #process #towards

Towards an assessment model for balancing process model production and use (TS, MD), pp. 1386–1392.

SAC-2014-SantannaSB #automation #image #retrieval #towards

Content-based image retrieval towards the automatic characterization of soybean seed vigor (MGFS, PTMS, PHB), pp. 964–969.

SAC-2014-ShangHHCK #personalisation #recommendation #towards

Beyond personalization and anonymity: towards a group-based recommender system (SS, YH, PH, PC, SRK), pp. 266–273.

SAC-2014-XavierOPR #clustering #database #in the cloud #towards

Towards better manageability of database clusters on cloud computing platforms (MGX, ICDO, RDDP, CAFDR), pp. 366–367.

SAC-2014-ZiadiHPZT #approach #independence #product line #towards

Towards a language-independent approach for reverse-engineering of software product lines (TZ, CH, MP, MZ, YLT), pp. 1064–1071.

FSE-2014-Marmsoler #architecture #formal method #towards

Towards a theory of architectural styles (DM), pp. 823–825.

ICSE-2014-IgnatievJM #optimisation #performance #towards

Towards efficient optimization in package management systems (AI, MJ, JMS), pp. 745–755.

SLE-2014-VolterSBK #editing #projectional #towards

Towards User-Friendly Projectional Editors (MV, JS, TB, BK), pp. 41–61.

SPLC-2014-Bosch #named #towards

ESAO: towards data- and ecosystem-driven R&D (JB), p. 363.

SPLC-2014-LanduytbHMJMJBA #design #safety #towards #variability

Towards managing variability in the safety design of an automotive hall effect sensor (DVL, SOdb, AH, SM, WJ, SM, GdJ, OB, MA), pp. 304–309.

SPLC-2014-NasrSAB #industrial #product line #towards

Moving toward product line engineering in a nuclear industry consortium (SBN, NS, MA, BB), pp. 294–303.

ASPLOS-2014-EyermanE #concurrent #flexibility #manycore #parallel #smt #thread #towards

The benefit of SMT in the multi-core era: flexibility towards degrees of thread-level parallelism (SE, LE), pp. 591–606.

CC-2014-PrinzSA #compilation #process #towards

A First Step towards a Compiler for Business Processes (TMP, NS, WA), pp. 238–243.

HPCA-2014-KarpuzcuAK #named #towards

Accordion: Toward soft Near-Threshold Voltage Computing (URK, IA, NSK), pp. 72–83.

PPoPP-2014-RaoZ #performance #scheduling #towards #virtual machine

Towards fair and efficient SMP virtual machine scheduling (JR, XZ), pp. 273–286.

ICTSS-2014-EberhardingerSKR #adaptation #self #testing #towards

Towards Testing Self-organizing, Adaptive Systems (BE, HS, AK, WR), pp. 180–185.

SAT-2014-JordanKLS #named #parallel #towards

MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing (CJ, LK, FL, MS), pp. 430–437.

SMT-2014-KorovinKS #learning #towards

Towards Conflict-Driven Learning for Virtual Substitution (KK, MK, TS), p. 71.

CBSE-2013-CiccozziSCS #assessment #automation #component #deployment #embedded #towards

An automated round-trip support towards deployment assessment in component-based embedded systems (FC, MS, AC, MS), pp. 179–188.

CBSE-2013-KarveS #component #mining #online #towards

Towards mining informal online data to guide component-reuse decisions (SK, CS), pp. 65–74.

ECSA-2013-BuchgeherW #analysis #architecture #consistency #towards

Towards Continuous Reference Architecture Conformance Analysis (GB, RW), pp. 332–335.

ECSA-2013-CherfiaB #adaptation #towards

Towards a Bigraph-Based Model for Context-Aware Adaptive Systems (TAC, FB), pp. 340–343.

ECSA-2013-ChristensenH #architecture #automation #prototype #slicing #towards

Architectural Slicing: Towards Automatic Harvesting of Architectural Prototypes (HBC, KMH), pp. 316–319.

ECSA-2013-CuestaMF #architecture #realtime #semantics #towards

Towards an Architecture for Managing Big Semantic Data in Real-Time (CEC, MAMP, JDF), pp. 45–53.

ECSA-2013-GassaraRJ #architecture #deployment #graph #modelling #multi #towards

Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs (AG, IBR, MJ), pp. 122–129.

ECSA-2013-LiZ #architecture #evaluation #industrial #towards

Toward Industry Friendly Software Architecture Evaluation (ZL, JZ), pp. 328–331.

ECSA-2013-MairH #architecture #towards

Towards Extensive Software Architecture Erosion Repairs (MM, SH), pp. 299–306.

ECSA-2013-PramsohlerSB #adaptation #architecture #component #middleware #towards

Towards an Optimized Software Architecture for Component Adaptation at Middleware Level (TP, SS, UB), pp. 266–281.

ECSA-2013-ZouariR #adaptation #automation #deployment #distributed #towards

Towards Automated Deployment of Distributed Adaptation Systems (MZ, IBR), pp. 336–339.

QoSA-2013-KonersmannDGR #approach #architecture #evolution #towards

Towards architecture-centric evolution of long-living systems (the ADVERT approach) (MK, ZD, MG, RHR), pp. 163–168.

QoSA-2013-ZhouPS #cost analysis #towards

Towards cost-aware service recovery (TGZ, IDP, HWS), pp. 53–62.

ASE-2013-IzsoSBHR #graph #metric #performance #precise #predict #query #towards

Towards precise metrics for predicting graph query performance (BI, ZS, GB, ÁH, IR), pp. 421–431.

ASE-2013-SchaeferDS #framework #independence #named #testing #towards

Crushinator: A framework towards game-independent testing (CS, HD, BMS), pp. 726–729.

ASE-2013-XuYMCL #adaptation #dependence #self #towards

Environment rematching: Toward dependability improvement for self-adaptive applications (CX, WY, XM, CC, JL), pp. 592–597.

ASE-2013-ZhangPXJWZ #monitoring #on-demand #towards

Towards contextual and on-demand code clone management by continuous monitoring (GZ, XP, ZX, SJ, HW, WZ), pp. 497–507.

DAC-2013-0001WAWG #approach #empirical #estimation #towards

Towards variation-aware system-level power estimation of DRAMs: an empirical approach (KC, CW, BA, NW, KG), p. 8.

DAC-2013-GaillardonMABSLM #towards #using

Towards structured ASICs using polarity-tunable Si nanowire transistors (PEG, MDM, LGA, SB, DS, YL, GDM), p. 4.

DAC-2013-RoyCPP #parallel #synthesis #towards #trade-off

Towards optimal performance-area trade-off in adders by synthesis of parallel prefix structures (SR, MRC, RP, DZP), p. 8.

DAC-2013-ZhangRJ #network #towards

Towards trustworthy medical devices and body area networks (MZ, AR, NKJ), p. 6.

DATE-2013-FakihGFR #analysis #architecture #model checking #performance #towards #using

Towards performance analysis of SDFGs mapped to shared-bus architectures using model-checking (MF, KG, MF, AR), pp. 1167–1172.

DATE-2013-MaYGGTBH #analysis #architecture #towards #validation

Toward polychronous analysis and validation for timed software architectures in AADL (YM, HY, TG, PLG, JPT, LB, MH), pp. 1173–1178.

DATE-2013-MittalBKDKP #adaptation #manycore #towards

Towards adaptive test of multi-core RF SoCs (RM, LB, YBCK, VRD, MK, RAP), pp. 743–748.

DATE-2013-PanCL #agile #design #named #parallel #performance #search-based #towards

PAGE: parallel agile genetic exploration towards utmost performance for analog circuit design (PCP, HMC, CCL), pp. 1849–1854.

DATE-2013-RuchBPMM #roadmap #towards

Roadmap towards ultimately-efficient zeta-scale datacenters (PR, TB, SP, GIM, BM), pp. 1339–1344.

DATE-2013-WilleGSKD #modelling #towards #verification

Towards a generic verification methodology for system models (RW, MG, MS, MK, RD), pp. 1193–1196.

DRR-2013-YouSADT13a #image #ontology #pointer #retrieval #robust #segmentation #towards #visual notation

A robust pointer segmentation in biomedical images toward building a visual ontology for biomedical article retrieval (DY, MSS, SA, DDF, GRT).

HT-2013-MillardHJW #hypermedia #towards

Canyons, deltas and plains: towards a unified sculptural model of location-based hypertext (DEM, CH, MOJ, MJW), pp. 109–118.

ICDAR-2013-BukhariSB #towards

Towards Generic Text-Line Extraction (SSB, FS, TMB), pp. 748–752.

ICDAR-2013-NassuMO #detection #documentation #image #towards

Text Line Detection in Document Images: Towards a Support System for the Blind (BTN, RM, LESdO), pp. 638–642.

SIGMOD-2013-ChenZ #difference #privacy #recursion #strict #towards

Recursive mechanism: towards node differential privacy and unrestricted joins (SC, SZ), pp. 653–664.

SIGMOD-2013-GhazalRHRPCJ #benchmark #big data #data analysis #industrial #metric #named #standard #towards

BigBench: towards an industry standard benchmark for big data analytics (AG, TR, MH, FR, MP, AC, HAJ), pp. 1197–1208.

SIGMOD-2013-HanLL #database #graph #morphism #named #robust #scalability #towards

Turboiso: towards ultrafast and robust subgraph isomorphism search in large graph databases (WSH, JL, JHL), pp. 337–348.

SIGMOD-2013-KoutrisUBHS #query #towards

Toward practical query pricing with QueryMarket (PK, PU, MB, BH, DS), pp. 613–624.

SIGMOD-2013-LiZZLHFTZF #named #towards

TsingNUS: a location-based service system towards live city (GL, NZ, RZ, SL, WH, JF, KLT, LZ, JF), pp. 957–960.

SIGMOD-2013-ZhangR #case study #scalability #towards

Towards high-throughput gibbs sampling at scale: a study across storage managers (CZ, CR), pp. 397–408.

SIGMOD-2013-ZhuMXLTZ #distance #network #query #theory and practice #towards

Shortest path and distance queries on road networks: towards bridging theory and practice (ADZ, HM, XX, SL, YT, SZ), pp. 857–868.

VLDB-2013-AilamakiJPT #scalability #towards #transaction

Toward Scalable Transaction Processing (AA, RJ, IP, PT), pp. 1192–1193.

VLDB-2013-ElmoreCAA #as a service #database #towards

Towards Database Virtualization for Database as a Service (AJE, CC, DA, AEA), pp. 1194–1195.

VLDB-2013-LiWC #automation #framework #monitoring #social #topic #towards #twitter

Towards Social Data Platform: Automatic Topic-focused Monitor for Twitter Stream (RL, SW, KCCC), pp. 1966–1977.

VLDB-2013-PopescuBEA #named #predict #runtime #scalability #towards

PREDIcT: Towards Predicting the Runtime of Large Scale Iterative Analytics (ADP, AB, VE, AA), pp. 1678–1689.

VLDB-2013-WuCHN #concurrent #database #execution #predict #query #towards

Towards Predicting Query Execution Time for Concurrent and Dynamic Database Workloads (WW, YC, HH, JFN), pp. 925–936.

VLDB-2013-ZhangHHL #architecture #cpu #gpu #named #parallel #performance #query #towards

OmniDB: Towards Portable and Efficient Query Processing on Parallel CPU/GPU Architectures (SZ, JH, BH, ML), pp. 1374–1377.

VLDB-2014-GyssensPGWW13 #approach #case study #query #symmetry #towards

An Approach towards the Study of Symmetric Queries (MG, JP, DVG, JW, YW), pp. 25–36.

VLDB-2014-QiXSW13 #distance #graph #towards

Toward a Distance Oracle for Billion-Node Graphs (ZQ, YX, BS, HW), pp. 61–72.

CSEET-2013-EllisCHPD #development #education #towards

Towards a model of faculty development for FOSS in education (HJCE, MC, GWH, MP, SD), pp. 269–273.

CSEET-2013-Georgas #composition #design #education #learning #towards

Toward infusing modular and reflective design learning throughout the curriculum (JCG), pp. 274–278.

CSEET-2013-StettinaZBK #education #re-engineering #towards

Academic education of software engineering practices: towards planning and improving capstone courses based upon intensive coaching and team routines (CJS, ZZ, TB, BRK), pp. 169–178.

ITiCSE-2013-MacWilliamM #feedback #towards

Streamlining grading toward better feedback (TM, DJM), pp. 147–152.

ITiCSE-2013-SpaccoFSR #programming #towards

Towards improving programming habits to create better computer science course outcomes (JS, DF, JS, KR), pp. 243–248.

FASE-2013-BouchouchaSL #behaviour #comprehension #modelling #probability #towards #using

Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs (AB, HAS, PL), pp. 99–113.

FASE-2013-StruberTJS #distributed #modelling #process #towards

Towards a Distributed Modeling Process Based on Composite Models (DS, GT, SJ, TS), pp. 6–20.

CSMR-2013-BorrielloMC #android #architecture #migration #towards

Migrating Android Applications towards Service-centric Architectures with Sip2Share (AB, FM, GC), pp. 413–416.

ICPC-2013-AlyCM #comprehension #towards

Building extensions for applications: Towards the understanding of extension possibilities (MA, AC, MM), pp. 182–191.

ICPC-2013-BasileC #towards

Towards a unified software attack model to assess software protections (CB, MC), pp. 219–222.

ICPC-2013-KamimuraM #generative #summary #testing #towards

Towards generating human-oriented summaries of unit test cases (MK, GCM), pp. 215–218.

ICSM-2013-FontanaZMM #approach #detection #machine learning #smell #towards

Code Smell Detection: Towards a Machine Learning-Based Approach (FAF, MZ, AM, MM), pp. 396–399.

ICSM-2013-MeqdadiACM #adaptation #comprehension #scalability #towards #version control

Towards Understanding Large-Scale Adaptive Changes from Version Histories (OM, NA, MLC, JIM), pp. 416–419.

ICSM-2013-RoehmBHP #behaviour #identification #specification #towards

Towards Identification of Software Improvements and Specification Updates by Comparing Monitored and Specified End-User Behavior (TR, BB, TMH, BP), pp. 464–467.

ICSM-2013-RomanoP #towards

Towards a Weighted Voting System for Q&A Sites (DR, MP), pp. 368–371.

ICSM-2013-RosePFP #framework #probability #scalability #search-based #testing #towards

Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing (LMR, SMP, RF, RFP), pp. 480–483.

ICSM-2013-YamashitaM #maintenance #taxonomy #towards

Towards a Taxonomy of Programming-Related Difficulties during Maintenance (AFY, LM), pp. 424–427.

MSR-2013-AlipourHS #approach #debugging #detection #towards

A contextual approach towards more accurate duplicate bug report detection (AA, AH, ES), pp. 183–192.

WCRE-2013-AbdeenSSAD #automation #design #towards

Towards automatically improving package structure while respecting original design decisions (HA, HAS, OS, NA, SD), pp. 212–221.

WCRE-2013-SohKGA #comprehension #developer #how #maintenance #process #towards

Towards understanding how developers spend their effort during maintenance activities (ZS, FK, YGG, GA), pp. 152–161.

PEPM-2013-SatoUK #higher-order #model checking #scalability #source code #towards

Towards a scalable software model checker for higher-order programs (RS, HU, NK), pp. 53–62.

PLDI-2013-CohenP #bound #towards

Limitations of partial compaction: towards practical bounds (NC, EP), pp. 309–320.

CIAA-2013-DeganoFM #model checking #towards

Towards Nominal Context-Free Model-Checking (PD, GLF, GM), pp. 109–121.

ICALP-v1-2013-FilmusLMNV #bound #calculus #comprehension #polynomial #towards

Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds — (Extended Abstract) (YF, ML, MM, JN, MV), pp. 437–448.

IFL-2013-GijzelN #framework #implementation #modelling #towards #verification

Towards a framework for the implementation and verification of translations between argumentation models (BvG, HN), p. 93.

CHI-2013-AnanthanarayanSCPS #smarttech #towards #visualisation

Pt Viz: towards a wearable device for visualizing knee rehabilitation exercises (SA, MS, AC, HP, KAS), pp. 1247–1250.

CHI-2013-RoddenFPBM #energy #towards

At home with agents: exploring attitudes towards future smart energy infrastructures (TR, JEF, NP, KB, SM), pp. 1173–1182.

CHI-2013-RoudautKLS #flexibility #mobile #named #self #towards

Morphees: toward high “shape resolution” in self-actuated flexible mobile devices (AR, AK, ML, SS), pp. 593–602.

DHM-HB-2013-BrecherMKL #industrial #towards

Towards Anthropomorphic Movements for Industrial Robots (CB, SM, SK, WL), pp. 10–19.

DHM-HB-2013-NakamuraKOOHNAKMK #artificial reality #learning #self #student #towards #using

The Relationship between Nursing Students’ Attitudes towards Learning and Effects of Self-learning System Using Kinect (MN, YK, JO, TO, ZH, AN, KA, NK, JM, MKP), pp. 111–116.

DHM-SET-2013-GeorgeK #modelling #speech #towards

Towards Enhancing the Acoustic Models for Dysarthric Speech (KKG, CSK), pp. 183–188.

DHM-SET-2013-LiuZLSFG #behaviour #modelling #towards

Towards Early Status Warning for Driver’s Fatigue Based on Cognitive Behavior Models (YL, YZ, JL, JS, FF, JG), pp. 55–60.

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-SadauskasBA #social #social media #towards

Toward Social Media Based Writing (JS, DB, RKA), pp. 276–285.

DUXU-CXC-2013-WilkosinskaAGJ #framework #implementation #online #towards

Towards a Common Implementation Framework for Online Virtual Museums (KW, AA, HG, YJ), pp. 321–330.

DUXU-NTE-2013-SonntagZSWT #artificial reality #cyber-physical #information management #multimodal #towards

Towards Medical Cyber-Physical Systems: Multimodal Augmented Reality for Doctors and Knowledge Discovery about Patients (DS, SZ, CHS, MW, TT), pp. 401–410.

DUXU-PMT-2013-FischerSN #design #set #towards #usability #validation

Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design (HF, BS, KN), pp. 252–261.

DUXU-PMT-2013-Islam13a #interface #towards #web

Towards Determinants of User-Intuitive Web Interface Signs (MNI), pp. 84–93.

DUXU-WM-2013-BucchianicoCP #analysis #communication #towards #visual notation

Branding “for All”: Toward the Definition of Inclusive Toolkits of Analysis and Visual Communication for Brand Identities (GDB, SC, SP), pp. 23–29.

HCI-AMTE-2013-BrejchaM #interactive #towards #user interface

Semiotics of Interaction: Towards a UI Alphabet (JB, AM), pp. 13–21.

HCI-AMTE-2013-ChoY #collaboration #design #human-computer #towards

Toward a New Design Philosophy of HCI: Knowledge of Collaborative Action of “We” Human-and-Technology (HC, JY), pp. 32–40.

HCI-AMTE-2013-GabillonLO #case study #composition #towards #user interface

Towards Ergonomic User Interface Composition: A Study about Information Density Criterion (YG, SL, KMdO), pp. 211–220.

HCI-IMT-2013-TawatsujiKM #case study #eye tracking #modelling #towards

Experimental Study Toward Modeling of the Uncanny Valley Based on Eye Movements on Human/Non-human Faces (YT, KK, TM), pp. 398–407.

HCI-UC-2013-KristensenBCJLBB #generative #online #towards

Towards a Next Generation Universally Accessible “Online Shopping-for-Apparel” System (KK, NB, LGC, HWJ, JNTL, ALB, EPB), pp. 418–427.

HCI-UC-2013-TsaiW #design #encryption #towards #visual notation

Towards a Design Guideline of Visual Cryptography on Stereoscopic Displays (SLT, CHW), pp. 78–84.

HCI-UC-2013-TungC #towards

Exploring Children’s Attitudes towards Static and Moving Humanoid Robots (FWT, TYC), pp. 237–245.

HIMI-D-2013-LiaoLH #concept #modelling #ontology #perspective #security #towards

Towards an Ontological Interpretation on the i* Modeling Language Extended with Security Concepts: A Bunge-Wand-Weber Model Perspective (GYL, PJL, LTH), pp. 322–328.

HIMI-LCCB-2013-TakadamaSHISHSY #comprehension #interactive #multi #towards

Towards Understanding of Relationship among Pareto Optimal Solutions in Multi-dimensional Space via Interactive System (KT, YS, TH, YI, KS, KH, HS, TY), pp. 137–146.

OCSC-2013-KaratasBK #security #towards #visual notation

Towards Visual Configuration Support for Interdependent Security Goals (FK, MB, DK), pp. 375–384.

VISSOFT-2013-Lopez-HerrejonE #interactive #product line #testing #towards #visualisation

Towards interactive visualization support for pairwise testing software product lines (RELH, AE), pp. 1–4.

AdaEurope-2013-BaldovinMV #operating system #towards

Towards a Time-Composable Operating System (AB, EM, TV), pp. 143–160.

HILT-2013-CourtieuACZRBHG #coq #formal method #runtime #semantics #towards #using

Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq (PC, MVA, TC, ZZ, R, JB, JH, JG, TJ), pp. 21–22.

EDOC-2013-BraunE #bibliography #concept #network #online #risk management #social #towards

Towards a Conceptualization of Corporate Risks in Online Social Networks: A Literature Based Overview of Risks (RB, WE), pp. 267–274.

EDOC-2013-MukkamalaHS #adaptation #graph #towards

Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs (RRM, TTH, TS), pp. 127–136.

EDOC-2013-NardiFAGPSG #ontology #towards

Towards a Commitment-Based Reference Ontology for Services (JCN, RdAF, JPAA, GG, LFP, MvS, NG), pp. 175–184.

ICEIS-J-2013-CarneiroN13a #multi #named #towards #visualisation

SourceMiner: Towards an Extensible Multi-perspective Software Visualization Environment (GdFC, MGdMN), pp. 242–263.

ICEIS-v1-2013-YangSKHBCS #design #information management #towards

Toward the Design of a Generic Model of Interoperability for SIEC — SIEC: Eco-design Information System (MY, MS, KK, SH, OB, OC, FS), pp. 329–333.

ICEIS-v2-2013-ClayerTC #adaptation #approach #design #education #towards

Towards a Pattern-based Adaptive Approach for Instructional Design based on Teacher’s Pedagogical Design Scheme (JPC, CT, CC), pp. 532–538.

ICEIS-v2-2013-MoraesSPP #architecture #pervasive #reuse #towards

Towards a Reusable Architecture for Message Exchange in Pervasive Healthcare (JLCdM, WLdS, LFP, AFdP), pp. 391–400.

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-GoeppP #architecture #enterprise #evaluation #towards

Towards an Enterprise Architecture based Strategic Alignment Model — An Evaluation of SAM based on ISO 15704 (VG, MP), pp. 370–375.

ICEIS-v3-2013-LuxHH #approach #enterprise #flexibility #representation #towards

Towards Enterprise Management Systems — A Generic and Flexible Information Representation Approach (AL, JH, RH), pp. 251–257.

ICEIS-v3-2013-NassarBBB #architecture #design #security #towards

Towards Security Awareness in Designing Service-oriented Architectures (PBN, YB, FB, KB), pp. 347–355.

ICEIS-v3-2013-SbaiFK #adaptation #approach #configuration management #modelling #process #towards

Towards a Process Patterns based Approach for Promoting Adaptability in Configurable Process Models (HS, MF, LK), pp. 382–387.

CIKM-2013-BagdouriWLO #classification #towards

Towards minimizing the annotation cost of certified text classification (MB, WW, DDL, DWO), pp. 989–998.

CIKM-2013-GuGZLG #effectiveness #identification #named #towards

AnchorMF: towards effective event context identification (HG, MG, LZ, QL, DG), pp. 629–638.

CIKM-2013-WangLZ #approach #graph #metric #multi #random #towards

Towards metric fusion on multi-view data: a cross-view based graph random walk approach (YW, XL, QZ), pp. 805–810.

ECIR-2013-PanchenkoBNF #categorisation #detection #towards

Towards Detection of Child Sexual Abuse Media: Categorization of the Associated Filenames (AP, RB, HN, CF), pp. 776–779.

ICML-c2-2013-CarpentierM #integration #monte carlo #towards

Toward Optimal Stratification for Stratified Monte-Carlo Integration (AC, RM), pp. 28–36.

KDD-2013-HaoCZ0RK #learning #towards

Towards never-ending learning from time series streams (YH, YC, JZ, BH, TR, EJK), pp. 874–882.

KDD-2013-WangDYWCSI #clustering #data mining #framework #identification #mining #towards

Towards long-lead forecasting of extreme flood events: a data mining framework for precipitation cluster precursors identification (DW, WD, KY, XW, PC, DLS, SI), pp. 1285–1293.

KDIR-KMIS-2013-LiLL #integration #towards

Semiotic Interoperability — A Critical Step towards Systems Integration (WL, KL, SL), pp. 508–513.

KDIR-KMIS-2013-LlavoriLGNAS #analysis #framework #named #sentiment #towards

i-SLOD: Towards an Infrastructure for Enabling the Dissemination and Analysis of Sentiment Data (RBL, DML, LGM, VN, MJA, IS), pp. 214–219.

KDIR-KMIS-2013-Mechmache #documentation #towards

Toward a Neural Aggregated Search Model for Semi-structured Documents (FZBM), pp. 91–95.

KDIR-KMIS-2013-SaidiDZC #process #requirements #semantics #towards #unification #using

Towards Unification of Requirements Engineering Approaches using Semantics-based Process (IES, TD, NZ, PJC), pp. 443–450.

KEOD-2013-NiewiadomskiP #ontology #smt #towards

Towards SMT-based Abstract Planning in PlanICS Ontology (AN, WP), pp. 123–131.

KEOD-2013-WicaksonoDHR #development #energy #ontology #towards

Ontology Development towards Expressive and Reasoning-enabled Building Information Model for an Intelligent Energy Management System (HW, PD, PH, SR), pp. 38–47.

RecSys-2013-GraschFR #interactive #named #recommendation #speech #towards

ReComment: towards critiquing-based recommendation with speech interaction (PG, AF, FR), pp. 157–164.

RecSys-2013-KoenigsteinK #recommendation #scalability #towards

Towards scalable and accurate item-oriented recommendations (NK, YK), pp. 419–422.

SEKE-2013-BarbosaFNM #architecture #learning #towards

Towards the Establishment of a Reference Architecture for Developing Learning Environments (EFB, MLF, EYN, JCM), pp. 350–355.

SEKE-2013-CorreaOW #co-evolution #evolution #graph #metamodelling #modelling #towards #traceability

Towards Coupled Evolution of Metamodels, Models, Graph-Based Transformations and Traceability Links (S) (CKFC, TCO, CW), pp. 747–752.

SEKE-2013-ElshaarawyHT #diagrams #framework #ocl #towards

Towards a Unified Framework for Measuring the Properties of Class Diagrams Augmented with OCL (S) (ME, HSH, IAHT), pp. 479–482.

SEKE-2013-HansenM #analysis #ecosystem #network #towards

Towards a Network Ecology of Software Ecosystems: an Analysis of two OSGi Ecosystems (KMH, KM), pp. 326–331.

SEKE-2013-KassabE #design pattern #interactive #quality #towards

Towards Quantifying Quality, Tactics and Architectural Patterns Interactions (S) (MK, GEB), pp. 441–446.

SEKE-2013-MarcolinoOGM #approach #case study #effectiveness #towards #variability

Towards the Effectiveness of a Variability Management Approach at Use Case Level (AM, EAOJ, IMSG, JCM), pp. 214–219.

SEKE-2013-RamosRO #process #source code #towards

Towards a strategy for analysing benefits of Software Process Improvement programs (CSR, ARR, KMdO), pp. 638–643.

SIGIR-2013-GaoCLC #comprehension #query #towards

Mapping queries to questions: towards understanding users’ information needs (YG, LC, RL, GC), pp. 977–980.

SIGIR-2013-HassanWW #query #self #towards #using

Toward self-correcting search engines: using underperforming queries to improve search (AHA, RWW, YMW), pp. 263–272.

SIGIR-2013-LiSCM #towards

Towards retrieving relevant information graphics (ZL, MS, SC, KFM), pp. 789–792.

SIGIR-2013-RamanBC #towards #web

Toward whole-session relevance: exploring intrinsic diversity in web search (KR, PNB, KCT), pp. 463–472.

AMT-2013-NalchigarSC #model transformation #non-functional #requirements #towards

Towards a Catalog of Non-Functional Requirements in Model Transformation Languages (SN, RS, MC), pp. 72–81.

MoDELS-2013-StorrleF #analysis #physics #towards #visual notation

Towards an Operationalization of the “Physics of Notations” for the Analysis of Visual Languages (HS, AF), pp. 104–120.

MoDELS-2013-Wouters #development #domain-specific language #towards

Towards the Notation-Driven Development of DSMLs (LW), pp. 522–537.

MoDELS-2013-StorrleF #analysis #physics #towards #visual notation

Towards an Operationalization of the “Physics of Notations” for the Analysis of Visual Languages (HS, AF), pp. 104–120.

MoDELS-2013-Wouters #development #domain-specific language #towards

Towards the Notation-Driven Development of DSMLs (LW), pp. 522–537.

GPCE-2013-OfenbeckRSOP #generative #library #performance #scala #towards

Spiral in scala: towards the systematic construction of generators for performance libraries (GO, TR, AS, MO, MP), pp. 125–134.

LOPSTR-2013-FakhrySA #implementation #semantics #text-to-text #towards

Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics (GF, NS, SA), pp. 145–163.

LOPSTR-2013-Vidal #erlang #term rewriting #towards #verification

Towards Erlang Verification by Term Rewriting (GV), pp. 109–126.

POPL-2013-LivshitsC #automation #classification #security #towards

Towards fully automatic placement of security sanitizers and declassifiers (BL, SC), pp. 385–398.

ER-BR-2013-MartinsOB #embedded #process #requirements #towards

Towards Requirements Engineering Process for Embedded Systems (LEGM, JCO, AB).

RE-2013-CaireGHM #design #requirements #towards #visual notation

Visual notation design 2.0: Towards user comprehensible requirements engineering notations (PC, NG, PH, DLM), pp. 115–124.

RE-2013-HesariBY #challenge #framework #generative #industrial #testing #towards

Towards a systematic requirement-based test generation framework: Industrial challenges and needs (SH, RB, TY), pp. 261–266.

RE-2013-SutcliffeS #elicitation #requirements #towards

Requirements elicitation: Towards the unknown unknowns (AS, PS), pp. 92–104.

REFSQ-2013-Regnell #modelling #requirements #scalability #towards

reqT.org — Towards a Semi-Formal, Open and Scalable Requirements Modeling Tool (BR), pp. 112–118.

SAC-2013-AbrilNT #documentation #towards

Towards a private vector space model for confidential documents (DA, GNA, VT), pp. 944–945.

SAC-2013-Amavia #towards

Filtering XFD toward interoperability (JA, MHFA), pp. 868–871.

SAC-2013-AraujoGA #artificial reality #identification #towards #using

Towards skeleton biometric identification using the microsoft kinect sensor (RMA, GG, VA), pp. 21–26.

SAC-2013-ChaudhariZW #component #framework #ranking #towards

Towards a ranking framework for software components (DC, MZ, KW), pp. 495–498.

SAC-2013-GoncalvesTM #towards

Towards a software tool for ultrasound guided robotic hip resurfacing surgery (PJSG, PMBT, JMMM), pp. 232–234.

SAC-2013-GrueauA #modelling #towards

Towards a domain specific modeling language for agent-based models in land use science (CG, JA), pp. 83–85.

SAC-2013-KimPK #evaluation #grid #network #performance #smarttech #towards

Towards cosimulating network and electrical systems for performance evaluation in smart grid (HK, WP, HK), pp. 686–687.

SAC-2013-MajumderRZEA #named #novel #realtime #towards

iPrevention: towards a novel real-time smartphone-based fall prevention system (AJAM, FR, IZ, WEJ, SIA), pp. 513–518.

SAC-2013-MontaliCMM #constraints #towards

Towards data-aware constraints in declare (MM, FC, PM, FMM), pp. 1391–1396.

SAC-2013-NakamuraNTO #problem #towards

Towards solving an obstacle problem by the cooperation of UAVs and UGVs (SN, HN, YT, AO), pp. 77–82.

SAC-2013-Penzenstadler #re-engineering #towards

Towards a definition of sustainability in and for software engineering (BP), pp. 1183–1185.

SAC-2013-TounsiKKDM #approach #design pattern #formal method #modelling #towards

Towards an approach for modeling and formalizing SOA design patterns with Event-B (IT, MHK, AHK, KD, EM), pp. 1937–1938.

SAC-2013-YiSLC #mobile #process #towards

Towards a total recall: an activity tracking and recall mechanism for mobile devices (SY, JS, YL, HJC), pp. 570–572.

ESEC-FSE-2013-GuzmanB #development #towards

Towards emotional awareness in software development teams (EG, BB), pp. 671–674.

ESEC-FSE-2013-SahaSP #case study #comprehension #stack overflow #towards

Toward understanding the causes of unanswered questions in software information sites: a case study of stack overflow (RKS, AKS, DEP), pp. 663–666.

ESEC-FSE-2013-Vogel #architecture #towards

Towards open architecture system (BV), pp. 731–734.

ICSE-2013-BullWC #education #re-engineering #towards

Studios in software engineering education: towards an evaluable model (CNB, JW, LC), pp. 1063–1072.

ICSE-2013-HenardPPKT #automation #feature model #modelling #testing #towards

Towards automated testing and fixing of re-engineered feature models (CH, MP, GP, JK, YLT), pp. 1245–1248.

ICSE-2013-Kukreja #approach #requirements #towards

Decision theoretic requirements prioritization: a two-step approach for sliding towards value realization (NK), pp. 1465–1467.

ICSE-2013-Sanchez #adaptation #product line #self #towards

Toward a software product line for affective-driven self-adaptive systems (JGS), pp. 1381–1384.

ICSE-2013-SnipesANM #developer #performance #towards

Towards recognizing and rewarding efficient developer work patterns (WS, VA, ARN, ERMH), pp. 1277–1280.

PLEASE-2013-HuangYKHU #analysis #domain-specific language #mining #repository #towards

Domain analysis for mining software repositories: Towards feature-based DSL construction (CH, KY, YK, KH, NU), pp. 41–44.

PLEASE-2013-SchultisEL #architecture #ecosystem #industrial #question #towards

Moving towards industrial software ecosystems: Are our software architectures fit for the future? (KBS, CE, DL), pp. 9–12.

PLEASE-2013-Zhang0 #framework #named #reverse engineering #towards #variability

RECoVar: A solution framework towards reverse engineering variability (BZ, MB), pp. 45–48.

SPLC-2013-Nakagawa0M #architecture #design #process #product line #towards

Towards a process to design product line architectures based on reference architectures (EYN, MB, JCM), pp. 157–161.

HPCA-2013-AbeyratneDLSGDBM #scalability #symmetry #towards

Scaling towards kilo-core processors with asymmetric high-radix topologies (NA, RD, QL, KS, BG, RGD, DB, TNM), pp. 496–507.

HPCA-2013-KarpuzcuSKT #energy #named #towards

EnergySmart: Toward energy-efficient manycores for Near-Threshold Computing (URK, AAS, NSK, JT), pp. 542–553.

ISMM-2013-AignerK #benchmark #metric #named #towards

ACDC: towards a universal mutator for benchmarking heap management systems (MA, CMK), pp. 75–84.

ISMM-2013-ReamesN #garbage collection #towards

Towards hinted collection: annotations for decreasing garbage collector pause times (PR, GCN), pp. 3–14.

PLOS-2013-FernandezKKA #component #framework #towards

Towards a verified component platform (MF, IK, GK, JA), p. 7.

PPoPP-2013-DiouriGLC #energy #fault tolerance #protocol #towards

Towards an energy estimator for fault tolerance protocols (MeMD, OG, LL, FC), pp. 313–314.

SOSP-2013-WangZKS #behaviour #towards

Towards optimization-safe systems: analyzing the impact of undefined behavior (XW, NZ, MFK, ASL), pp. 260–275.

CADE-2013-HawblitzelKLR #automation #proving #source code #theorem proving #towards #using

Towards Modularly Comparing Programs Using Automated Theorem Provers (CH, MK, SKL, HR), pp. 282–299.

CAV-2013-ColangeBKT #diagrams #distributed #model checking #towards #using

Towards Distributed Software Model-Checking Using Decision Diagrams (MC, SB, FK, YTM), pp. 830–845.

ICST-2013-CraciunML #modelling #testing #towards

Towards Better Testing of fUML Models (FC, SM, IL), pp. 485–486.

ICTSS-2013-MauserKH #programming #towards #user interface #using

Towards a GUI Test Model Using State Charts and Programming Code (DM, AK, KH), pp. 271–276.

VMCAI-2013-KhalimovJB #performance #synthesis #towards

Towards Efficient Parameterized Synthesis (AK, SJ, RB), pp. 108–127.

CBSE-2012-HeinzemannPB #architecture #component #configuration management #modelling #towards

Towards modeling reconfiguration in hierarchical component architectures (CH, CP, SB), pp. 23–28.

CBSE-2012-KarolBA #attribute grammar #composition #towards

Towards well-formed fragment composition with reference attribute grammars (SK, CB, UA), pp. 109–114.

CBSE-2012-YinCH #component #multi #towards

Towards mode switch handling in component-based multi-mode systems (HY, JC, HH), pp. 183–188.

WICSA-ECSA-2012-ChristensenH #ecosystem #named #towards

Net4Care: Towards a Mission-Critical Software Ecosystem (HBC, KMH), pp. 224–228.

WICSA-ECSA-2012-KeulerKNR #architecture #framework #re-engineering #towards

Architecture Engagement Purposes: Towards a Framework for Planning “Just Enough”-Architecting in Software Engineering (TK, JK, MN, DR), pp. 234–238.

WICSA-ECSA-2012-KezniklBPK #component #towards

Towards Dependable Emergent Ensembles of Components: The DEECo Component Model (JK, TB, FP, MK), pp. 249–252.

CASE-2012-GargSBCHPSG #automation #towards

Initial experiments toward automated robotic implantation of skew-line needle arrangements for HDR brachytherapy (AG, TS, DB, JAMC, ICH, JP, DS, KG), pp. 26–33.

CASE-2012-WakamatsuAMAH #identification #image #towards

Property identification of a deformable belt object from its static images toward its manipulation (HW, MA, EM, EA, SH), pp. 448–453.

DAC-2012-BhardwajCR #adaptation #algorithm #towards

Towards graceful aging degradation in NoCs through an adaptive routing algorithm (KB, KC, SR), pp. 382–391.

DAC-2012-HuangHRBK #detection #embedded #fault tolerance #towards

Towards fault-tolerant embedded systems with imperfect fault detection (JH, KH, AR, CB, AK), pp. 188–196.

DAC-2012-LiSJ #crowdsourcing #named #towards #verification

CrowdMine: towards crowdsourced human-assisted verification (WL, SAS, SJ), pp. 1254–1255.

DAC-2012-ZhaoF #on the fly #performance #simulation #towards

Towards efficient SPICE-accurate nonlinear circuit simulation with on-the-fly support-circuit preconditioners (XZ, ZF), pp. 1119–1124.

DATE-2012-AridhiZT #order #reduction #simulation #towards #using

Towards improving simulation of analog circuits using model order reduction (HA, MHZ, ST), pp. 1337–1342.

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-KroneAGF #smarttech #towards

Towards a wireless medical smart card (SK, BA, FG, GF), pp. 1483–1488.

DATE-2012-Sadooghi-AlvandiAM #branch #predict #towards

Toward virtualizing branch direction prediction (MSA, KA, AM), pp. 455–460.

DATE-2012-SekaninaS #image #logic #multi #towards

Towards new applications of multi-function logic: Image multi-filtering (LS, VS), pp. 824–827.

DATE-2012-TtofisT #adaptation #algorithm #hardware #implementation #realtime #towards

Towards accurate hardware stereo correspondence: A real-time FPGA implementation of a segmentation-based adaptive support weight algorithm (CT, TT), pp. 703–708.

DocEng-2012-ChenZ #effectiveness #segmentation #towards

Effective radical segmentation of offline handwritten Chinese characters towards constructing personal handwritten fonts (ZC, BZ), pp. 107–116.

DocEng-2012-OliveiraGL #automation #towards

Toward automated schema-directed code revision (RO, PG, NL), pp. 103–106.

HT-2012-ZubiagaSAG #realtime #summary #towards #twitter

Towards real-time summarization of scheduled events from twitter streams (AZ, DS, EA, JG), pp. 319–320.

SIGMOD-2012-FengKRR #architecture #towards

Towards a unified architecture for in-RDBMS analytics (XF, AK, BR, CR), pp. 325–336.

SIGMOD-2012-HansenL #database #named #scalability #towards

ColumbuScout: towards building local search engines over large databases (CH, FL), pp. 617–620.

SIGMOD-2012-SliwkanichSYHB #corpus #scalability #summary #towards #visualisation

Towards scalable summarization and visualization of large text corpora (abstract only) (TS, DS, AY, MH, DB), p. 863.

SIGMOD-2012-YangYZK #effectiveness #graph #scalability #towards

Towards effective partition management for large graphs (SY, XY, BZ, AK), pp. 517–528.

VLDB-2012-HalimIKY #adaptation #database #in memory #probability #robust #towards

Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores (FH, SI, PK, RHCY), pp. 502–513.

VLDB-2012-LangHPST #clustering #database #design #energy #towards

Towards Energy-Efficient Database Cluster Design (WL, SH, JMP, MAS, DT), pp. 1684–1695.

CSEET-2012-Sedano #education #towards

Towards Teaching Software Craftsmanship (TS), pp. 95–99.

ITiCSE-2012-GomesSM #behaviour #case study #learning #student #towards

A study on students’ behaviours and attitudes towards learning to program (AJG, ÁNS, AJM), pp. 132–137.

ITiCSE-2012-MillerR #interactive #towards

Beyond PDF and ePub: toward an interactive textbook (BNM, DR), pp. 150–155.

TACAS-2012-YehWH #design #framework #named #open source #synthesis #towards #verification

QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification (HHY, CYW, CY(H), pp. 377–391.

CSMR-2012-BudimacRHG #metric #towards

Towards the Better Software Metrics Tool (ZB, GR, MH, CG), pp. 491–494.

CSMR-2012-EspinhaCZG #case study #maintenance #research #standard #towards

Maintenance Research in SOA — Towards a Standard Case Study (TE, CC, AZ, HGG), pp. 391–396.

CSMR-2012-JelschenGJPW #energy #re-engineering #towards

Towards Applying Reengineering Services to Energy-Efficient Applications (JJ, MG, MJ, CP, AW), pp. 353–358.

ICPC-2012-KazatoHOMHS #feature model #towards

Toward structured location of features (HK, SH, SO, SM, TH, MS), pp. 255–256.

ICPC-2012-Mahmoud #automation #effectiveness #process #towards

Toward an effective automated tracing process (AM), pp. 269–272.

ICSM-2012-OuniKSH #refactoring #search-based #semantics #towards

Search-based refactoring: Towards semantics preservation (AO, MK, HAS, MSH), pp. 347–356.

ICSM-2012-Weitzel #architecture #comprehension #deployment #enterprise #towards

Understanding deployment costs of enterprise systems: Towards architecture support in deployment decisions (BW), pp. 677–680.

MSR-2012-LotufoPC #debugging #game studies #towards

Towards improving bug tracking systems with game mechanisms (RL, LTP, KC), pp. 2–11.

WCRE-2012-AljamaanL #towards

Towards Tracing at the Model Level (HIA, TCL), pp. 495–498.

WCRE-2012-ChaparroAOM #automation #database #legacy #towards

Towards the Automatic Extraction of Structural Business Rules from Legacy Databases (OC, JA, FO, AM), pp. 479–488.

WCRE-2012-IshiharaHHIK #clone detection #detection #empirical #functional #library #towards

Inter-Project Functional Clone Detection Toward Building Libraries — An Empirical Study on 13, 000 Projects (TI, KH, YH, HI, SK), pp. 387–391.

WCRE-2012-Kinder #obfuscation #static analysis #towards

Towards Static Analysis of Virtualization-Obfuscated Binaries (JK), pp. 61–70.

PEPM-2012-CaretteS #towards #type system

Towards typing for small-step direct reflection (JC, AS), pp. 93–96.

ICALP-v2-2012-BojanczykP12a #towards

Toward Model Theory with Data Values (MB, TP), pp. 116–127.

ICALP-v2-2012-RosuS #axiom #formal method #semantics #towards

Towards a Unified Theory of Operational and Axiomatic Semantics (GR, AS), pp. 351–363.

FM-2012-BarringerFHRR #automaton #monitoring #performance #quantifier #runtime #towards

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors (HB, YF, KH, GR, DER), pp. 68–84.

SEFM-2012-CosmoZZ #component #towards

Towards a Formal Component Model for the Cloud (RDC, SZ, GZ), pp. 156–171.

GT-VMT-2012-BrugginkHK #automaton #graph #towards

Towards Alternating Automata for Graph Languages (HJSB, MH, BK).

ICGT-2012-GieseL #automation #behaviour #invariant #model transformation #towards #verification

Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (HG, LL), pp. 249–263.

ICGT-2012-GolasLEG #flexibility #formal method #graph grammar #towards

Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars — Flexible Relations between Source and Target Elements (UG, LL, HE, HG), pp. 141–155.

CHI-2012-HeinrichsSHM #formal method #interactive #mobile #towards

Toward a theory of interaction in mobile paper-digital ensembles (FH, DS, JH, MM), pp. 1897–1900.

CHI-2012-KaptelininN #human-computer #perspective #towards

Affordances in HCI: toward a mediated action perspective (VK, BAN), pp. 967–976.

CHI-2012-SlovakJF #comprehension #towards

Understanding heart rate sharing: towards unpacking physiosocial space (PS, JJ, GF), pp. 859–868.

CHI-2012-XuBRTM #communication #how #learning #towards

Learning how to feel again: towards affective workplace presence and communication technologies (AX, JTB, EGR, TT, WvM), pp. 839–848.

CSCW-2012-BartelD #collaboration #multi #towards

Towards multi-domain collaborative toolkits (JWB, PD), pp. 1297–1306.

CSCW-2012-Benkler #design #towards

The penguin and the leviathan: towards cooperative human systems design (YB), pp. 1–2.

CSCW-2012-JunuzovicD #collaboration #self #towards

Towards self-optimizing collaborative systems (SJ, PD), pp. 1421–1430.

CSCW-2012-SemaanM #towards

“Facebooking” towards crisis recovery and beyond: disruption as an opportunity (BS, GM), pp. 27–36.

CAiSE-2012-MoustafaZ #adaptation #towards #web #web service

Towards Proactive Web Service Adaptation (AM, MZ), pp. 473–485.

CAiSE-2012-SchmelingCMM #composition #non-functional #towards

Towards Conflict-Free Composition of Non-functional Concerns (BS, AC, MM, MM), pp. 80–94.

EDOC-2012-PereiraS #framework #towards

Towards an Integrated IT Governance and IT Management Framework (RFdSP, MMdS), pp. 191–200.

ICEIS-J-2012-BonacinHRPB12a #aspect-oriented #collaboration #concept #framework #problem #towards

Pragmatic Aspects of Collaborative Problem Solving: Towards a Framework for Conceptualizing Dynamic Knowledge (RB, HHH, JCdR, RP, MCCB), pp. 410–426.

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-Castanon-PugaGFJC #distributed #multi #social #towards

A Distributed Agency Methodology applied to Complex Social Systems — Towards a Multi-dimensional Model of the Religious Affiliation Preference (MCP, CGP, DLF, RJM, JRC), pp. 272–277.

ICEIS-v1-2012-KlinkmullerMLF #automation #comparison #network #towards

Towards Automated Logistics Service Comparison — Decision Support for Logistics Network Management (CK, SM, AL, BF), pp. 259–264.

ICEIS-v2-2012-BoudabousSB #ontology #semantics #towards

Towards an Arabic Ontology — Defining Morpho-lexical Patterns for Semantic Relation Extraction (MMB, FS, LHB), pp. 342–348.

ICEIS-v2-2012-PradoFFFL #protocol #towards

Towards a Negotiation Protocol for ebXML (HAdP, EF, GJdLF, AHF, NCL), pp. 277–282.

ICEIS-v3-2012-CarvalhoRACJDM #energy #network #performance #policy #towards

Towards Sustainable Networks — Energy Efficiency Policy from Business to Device Instance Levels (TCMBC, ACR, MA, CHAC, GCJ, CKD, CM), pp. 238–243.

ICEIS-v3-2012-HayashiMB #approach #towards

Schools as Organizations — A Semiotic Approach towards Making Sense of Information Technology (ECSH, MCM, MCCB), pp. 15–24.

ICEIS-v3-2012-KandjaniB #architecture #enterprise #evolution #towards

Evolution of Enterprise Architecture Discipline — Towards a Unified Developing Theory of Enterprise Architecture Body of Knowledge as an Evolving Discipline (HK, PB), pp. 145–154.

CIKM-2012-HagenPBS #query #segmentation #towards

Towards optimum query segmentation: in doubt without (MH, MP, AB, BS), pp. 1015–1024.

CIKM-2012-JeongWL #concept #towards

Towards measuring the visualness of a concept (JWJ, XJW, DHL), pp. 2415–2418.

CIKM-2012-JiangSZ #effectiveness #ranking #towards

Towards an effective and unbiased ranking of scientific literature through mutual reinforcement (XJ, XS, HZ), pp. 714–723.

CIKM-2012-RamanSGB #algorithm #learning #towards

Learning from mistakes: towards a correctable learning algorithm (KR, KMS, RGB, CJCB), pp. 1930–1934.

CIKM-2012-XuTLCL #aspect-oriented #sentiment #towards

Towards jointly extracting aspects and aspect-specific sentiment knowledge (XX, ST, YL, XC, ZL), pp. 1895–1899.

ICPR-2012-AroraE #automation #case study #classification #comparative #towards

Towards automated classification of fine-art painting style: A comparative study (RSA, AME), pp. 3541–3544.

ICPR-2012-ChatbriK #algorithm #image #robust #sketching #towards

Towards making thinning algorithms robust against noise in sketch images (HC, KK), pp. 3030–3033.

ICPR-2012-HuiC #robust #towards #using

Towards a robust hand-eye calibration using normal flows (TWH, RC), pp. 2545–2548.

ICPR-2012-ParisHG #analysis #categorisation #image #towards

Sparse coding for histograms of local binary patterns applied for image categorization: Toward a Bag-of-Scenes analysis (SP, XH, HG), pp. 2817–2820.

ICPR-2012-PerisMMOF #simulation #towards

Towards a simulation driven stereo vision system (MP, SM, AM, YO, KF), pp. 1038–1042.

ICPR-2012-RodriguesPBPM #image #multi #segmentation #towards #using

Towards breast ultrasound image segmentation using multi-resolution pixel descriptors (RR, AMGP, RB, MP, JM), pp. 2833–2836.

ICPR-2012-XiaSF #towards #using #verification #visual notation

Toward kinship verification using visual attributes (SX, MS, YF), pp. 549–552.

KDD-2012-0001LHSE #approach #towards

Towards heterogeneous temporal clinical event pattern discovery: a convolutional approach (FW, NL, JH, JS, SE), pp. 453–461.

KDD-2012-LiWDWC #profiling #social #towards

Towards social user profiling: unified and discriminative influence model for inferring home locations (RL, SW, HD, RW, KCCC), pp. 1023–1031.

KDIR-2012-Michahelles #future of #information management #internet #towards

Internet of Things — Towards New Frontiers of Knowledge Management (FM).

KEOD-2012-ArnaudCSMNMSBJMM #modelling #ontology #towards

Towards a Reference Plant Trait Ontology for Modeling Knowledge of Plant Traits and Phenotypes (EA, LC, RS, NM, RTN, LM, MS, RB, PJ, LAM, GM), pp. 220–225.

KEOD-2012-HlomaniS #analysis #framework #towards #workflow

Towards an Ontology-driven Framework for Workflow Analysis (HH, DAS), pp. 405–410.

KEOD-2012-Martinez-VillasenorG #modelling #ontology #towards #ubiquitous

Towards an Ontology for Ubiquitous User Modeling Interoperability (MdLMV, MGM), pp. 239–244.

KEOD-2012-WandeltM #ontology #semantics #summary #towards

Towards Semantic Summaries over Ontologies (SW, RM), pp. 196–201.

KMIS-2012-AkiyoshiSK #learning #problem #towards

A Project Manager Skill-up Simulator Towards Problem Solving-based Learning (MA, MS, NK), pp. 190–195.

KMIS-2012-Chai-ArayalertN #approach #information management #towards

Towards a Semiotic Approach to Practice-oriented Knowledge Transfer (SCA, KN), pp. 119–124.

KMIS-2012-EddineDZC #requirements #towards

Towards Unifying Existing Requirements Engineering Approaches into a Unified Model (SIE, TD, NZ, PJC), pp. 311–315.

KMIS-2012-GoyM #case study #documentation #ontology #towards

Towards an Ontology-based Software Documentation Management — A Case Study (AG, DM), pp. 125–131.

KMIS-2012-GringelSS #architecture #enterprise #process #towards

Towards Process Orientation in Enterprise Architecture Management (PG, JS, US), pp. 145–151.

KMIS-2012-HanelF #towards

Facing the Change — Towards a Dynamic Decision Making in Manufacturing Environments (TH, CF), pp. 107–112.

KR-2012-BaaderBM #towards #unification

Extending Unification in EL Towards General TBoxes (FB, SB, BM).

KR-2012-TachmazidisAFK #parallel #reasoning #towards

Towards Parallel Nonmonotonic Reasoning with Billions of Facts (IT, GA, GF, SK).

SEKE-2012-CookN #aspect-oriented #concept #programming #towards

Towards More Generic Aspect-Oriented Programming: Rethinking the AOP Joinpoint Concept (JC, AN), pp. 154–157.

SEKE-2012-GayedLB #forensics #semantics #towards #web

Computer Forensics: Toward the Construction of Electronic Chain of Custody on the Semantic Web (TFG, HL, MB), pp. 406–411.

SEKE-2012-HumairaSOWF #framework #metric #multi #programming language #source code #towards

Towards a Unified Source Code Measurement Framework Supporting Multiple Programming Languages (RH, KS, AO, HW, YF), pp. 480–485.

SEKE-2012-JlaielA #approach #novel #process #reuse #semantics #towards

Towards a Novel Semantic Approach for Process Patterns’ Capitalization and Reuse (NJ, MBA), pp. 505–510.

SEKE-2012-OliveiraCEP #modelling #process #towards

Towards Autonomic Business Process Models (KO, JC, SE, OP), pp. 531–536.

SEKE-2012-PimentelSDCF #architecture #evolution #model transformation #towards

Towards Architectural Evolution through Model Transformations (JP, ES, DD, JC, AF), pp. 448–451.

SIGIR-2012-GollubSB #as a service #framework #research #towards #web

Ousting ivory tower research: towards a web framework for providing experiments as a service (TG, BS, SB), pp. 1125–1126.

SIGIR-2012-JiangWLAW #alias #approach #detection #learning #similarity #string #towards

Towards alias detection without string similarity: an active learning based approach (LJ, JW, PL, NA, MW), pp. 1155–1156.

SIGIR-2012-Sakai #evaluation #information retrieval #mobile #towards #what

Towards zero-click mobile IR evaluation: knowing what and knowing when (TS), pp. 1157–1158.

SIGIR-2012-YuLZZL #estimation #network #performance #scalability #towards

SimFusion+: extending simfusion towards efficient estimation on large and dynamic networks (WY, XL, WZ, YZ, JL), pp. 365–374.

AMT-2012-AmraniDLLSSSW #model transformation #towards

Towards a model transformation intent catalog (MA, JD, LL, LL, RS, GS, ES, MW), pp. 3–8.

AMT-2012-BurguenoWV #perspective #requirements #towards

Towards tracking “guilty” transformation rules: a requirements perspective (LB, MW, AV), pp. 27–32.

AMT-2012-TaentzerAEH #model transformation #refactoring #rule-based #towards

Towards refactoring of rule-based, in-place model transformation systems (GT, TA, CE, RH), pp. 41–46.

ICMT-2012-AtkinsonGT #model transformation #multi #towards

Towards Multi-level Aware Model Transformations (CA, RG, CT), pp. 208–223.

ICMT-2012-Cuadrado #model transformation #product line #towards

Towards a Family of Model Transformation Languages (JSC), pp. 176–191.

ICMT-2012-TerwilligerCC #bidirectional #framework #how #incremental #towards

How Clean Is Your Sandbox? — Towards a Unified Theoretical Framework for Incremental Bidirectional Transformations (JFT, AC, CC), pp. 1–23.

MoDELS-2012-HumaGEJ #automation #towards #uml

Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions (ZH, CG, GE, OJ), pp. 709–725.

MoDELS-2012-KulkarniBR #product line #towards

Towards Business Application Product Lines (VK, SB, SR), pp. 285–301.

MoDELS-2012-HumaGEJ #automation #towards #uml

Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions (ZH, CG, GE, OJ), pp. 709–725.

MoDELS-2012-KulkarniBR #product line #towards

Towards Business Application Product Lines (VK, SB, SR), pp. 285–301.

OOPSLA-2012-MullerC #concurrent #towards

Towards a practical secure concurrent language (SM, SC), pp. 57–74.

POPL-2012-BojanczykBKL #towards

Towards nominal computation (MB, LB, BK, SL), pp. 401–412.

POPL-2012-GardnerMS #javascript #logic #towards

Towards a program logic for JavaScript (PG, SM, GDS), pp. 31–44.

RE-2012-TawhidBCAMSABR #security #towards

Towards outcome-based regulatory compliance in aviation security (RT, EB, NC, MA, GM, AS, DA, SAB, GR), pp. 267–272.

REFSQ-2012-GenonCTHM #semantics #syntax #towards #visual notation

Towards a More Semantically Transparent i* Visual Syntax (NG, PC, HT, PH, DLM), pp. 140–146.

REFSQ-2012-QureshiJP #adaptation #modelling #requirements #self #towards

Towards a Requirements Modeling Language for Self-Adaptive Systems (NAQ, IJ, AP), pp. 263–279.

SAC-2012-DeriTMV #monitoring #towards

Towards a passive DNS monitoring system (LD, LLT, MM, DV), pp. 629–630.

SAC-2012-ErraS #3d #towards #visualisation

Towards the visualization of software systems as 3D forests: the CodeTrees environment (UE, GS), pp. 981–988.

SAC-2012-IencoPPT #automation #taxonomy #towards

Towards an automatic construction of Contextual Attribute-Value Taxonomies (DI, YP, PP, MT), pp. 113–118.

SAC-2012-JafarinezhadR #process #requirements #towards

Towards a process factory for developing situational requirements engineering processes (OJ, RR), pp. 1089–1090.

SAC-2012-KhucSRR #analysis #distributed #scalability #sentiment #towards #twitter

Towards building large-scale distributed systems for twitter sentiment analysis (VNK, CS, RR, JR), pp. 459–464.

SAC-2012-Kim #multi #optimisation #realtime #reliability #towards

Towards optimizing the reliability of real-time transmission in multi-hop wireless LANs (JK), pp. 577–582.

SAC-2012-LageDD #effectiveness #microblog #recommendation #towards

Towards effective group recommendations for microblogging users (RL, FAD, PD), pp. 923–928.

SAC-2012-LiuCZ #approach #architecture #petri net #self #towards

Towards a colored reflective Petri-net approach to model self-evolving service-oriented architectures (YL, WC, BZ), pp. 1858–1865.

SAC-2012-LiuSW #towards #visual notation

Toward a visual pedometer (DL, QS, DW), pp. 1025–1027.

SAC-2012-VasconcelosB #automation #evaluation #towards #web

Towards an automatic evaluation of web applications (LGdV, LABJ), pp. 709–716.

FSE-2012-SiegmundBAKLLS #comprehension #functional #towards

Toward measuring program comprehension with functional magnetic resonance imaging (JS, AB, SA, CK, JL, TL, GS), p. 24.

FSE-2012-StoleeE #semantics #smt #towards

Toward semantic search via SMT solver (KTS, SGE), p. 25.

ICSE-2012-CasatiDDEFKMMOPQRSTV #enterprise #network #physics #process #towards

Towards business processes orchestrating the physical enterprise with wireless sensor networks (FC, FD, GD, JE, NF, SK, PMM, LM, FJO, GPP, AQ, KR, PS, ST, TV), pp. 1357–1360.

ICSE-2012-Chapman #ecosystem #industrial #towards

Towards a federated cloud ecosystem (Invited industrial talk) (CC), p. 967.

ICSE-2012-Cleland-HuangSKCLMGPHL #contest #re-engineering #towards

Toward actionable, broadly accessible contests in Software Engineering (JCH, YS, EK, AC, GL, EM, MG, DP, JHH, WL), pp. 1329–1332.

ICSE-2012-FamelisSC #modelling #nondeterminism #reasoning #towards

Partial models: Towards modeling and reasoning with uncertainty (MF, RS, MC), pp. 573–583.

ICSE-2012-GreenwoodRW #design #named #social #social media #towards

UDesignIt: Towards social media for community-driven design (PG, AR, JW), pp. 1321–1324.

ICSE-2012-Motta #modelling #multi #towards #uml #verification

Towards the verification of multi-diagram UML models (AM), pp. 1531–1534.

ICSE-2012-PerrouinMCFKTBJ #adaptation #evolution #flexibility #towards

Towards flexible evolution of Dynamically Adaptive Systems (GP, BM, FC, FF, JK, YLT, OB, JMJ), pp. 1353–1356.

ICSE-2012-Rodes #layout #source code #stack #towards

Stack layout transformation: Towards diversity for securing binary programs (BR), pp. 1543–1546.

PLEASE-2012-BaumgartFP #approach #certification #component #functional #performance #safety #towards #using

Towards efficient functional safety certification of construction machinery using a component-based approach (SB, JF, SP), pp. 1–4.

PLEASE-2012-BoucherAHPAH #perspective #re-engineering #reliability #towards

Towards more reliable configurators: a re-engineering perspective (QB, EKA, AH, GP, MA, PH), pp. 29–32.

CGO-2012-LiuRCK #named #optimisation #pipes and filters #towards

Panacea: towards holistic optimization of MapReduce applications (JL, NR, STC, MTK), pp. 33–43.

HPDC-2012-LuckowSWMMJ #towards

Towards a common model for pilot-jobs (AL, MS, OW, AM, SM, SJ), pp. 123–124.

CSL-2012-LeitschRP #logic #towards

Towards CERes in intuitionistic logic (AL, GR, BWP), pp. 485–499.

ICLP-2012-AlbertAG #concurrent #testing #towards

Towards Testing Concurrent Objects in CLP (EA, PA, MGZ), pp. 98–108.

ICLP-J-2012-AreiasR #concurrent #multi #thread #towards #using

Towards multi-threaded local tabling using a common table space (MA, RR), pp. 427–443.

ICST-2012-AichernigJ #constraints #modelling #mutation testing #semantics #testing #towards

Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints (BKA, EJ), pp. 752–757.

ICST-2012-DurelliOD #mutation testing #testing #towards #virtual machine

Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing (VHSD, JO, MED), pp. 681–690.

ICST-2012-JonssonBSE #automation #scalability #towards #using

Towards Automated Anomaly Report Assignment in Large Complex Systems Using Stacked Generalization (LJ, DB, KS, SE), pp. 437–446.

ICST-2012-Kapfhammer #database #testing #towards

Towards a Method for Reducing the Test Suites of Database Applications (GMK), pp. 964–965.

ICST-2012-SalayCG #towards #verification

Towards a Methodology for Verifying Partial Model Refinements (RS, MC, JG), pp. 938–945.

ICST-2012-TranP #framework #graph transformation #towards #verification

Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations (HNT, CP), pp. 946–953.

ICST-2012-YuL #debugging #fault #towards

Towards Practical Debugging for Regression Faults (KY, ML), pp. 487–490.

ICTSS-2012-LahamiFKJ #adaptation #distributed #runtime #testing #towards

Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems (ML, FF, MK, MJ), pp. 71–86.

ISSTA-2012-ZhangJWLZ #algorithm #detection #towards

A first step towards algorithm plagiarism detection (FZ, YcJ, DW, PL, SZ), pp. 111–121.

SAT-2012-ArbelaezC #parallel #satisfiability #towards

Towards Massively Parallel Local Search for SAT — (Poster Presentation) (AA, PC), pp. 481–482.

TAP-2012-BroschEGKSTWW #diagrams #testing #towards #uml

Towards Scenario-Based Testing of UML Diagrams (PB, UE, SG, GK, MS, HT, MW, MW), pp. 149–155.

CBSE-2011-BordeC #component #embedded #realtime #synthesis #towards

Towards verified synthesis of ProCom, a component model for real-time embedded systems (EB, JC), pp. 129–138.

CBSE-2011-HuangW #architecture #component #exception #towards

Towards architecture-level middleware-enabled exception handling of component-based systems (GH, YW), pp. 159–168.

CBSE-2011-KoziolekR #component #framework #modelling #optimisation #quality #towards

Towards a generic quality optimisation framework for component-based system models (AK, RHR), pp. 103–108.

CBSE-2011-YoonSMP #component #incremental #testing #towards

Towards incremental component compatibility testing (ICY, AS, AMM, AAP), pp. 119–128.

ECSA-2011-AlebrahimHH #architecture #integration #quality #requirements #towards

Towards Systematic Integration of Quality Requirements into Software Architecture (AA, DH, MH), pp. 17–25.

ECSA-2011-BruckmannGP #architecture #enterprise #monitoring #realtime #towards #using

Towards Real-Time Monitoring and Controlling of Enterprise Architectures Using Business Software Control Centers (TB, VG, MP), pp. 287–294.

ECSA-2011-KrichenHZJ #approach #configuration management #modelling #towards

Towards a Model-Based Approach for Reconfigurable DRE Systems (FK, BH, BZ, MJ), pp. 295–302.

QoSA-ISARCS-2011-Durdik #agile #architecture #development #modelling #process #towards

Towards a process for architectural modelling in agile software development (ZD), pp. 183–192.

WICSA-2011-ChampagneG #architecture #automation #performance #towards

Towards Automation of Performance Architectural Tactics Application (RC, SG), pp. 157–160.

WICSA-2011-MichalikW #impact analysis #product line #towards

Towards a Solution for Change Impact Analysis of Software Product Line Products (BM, DW), pp. 290–293.

ASE-2011-ChakrabortyS #approach #framework #towards

Towards an approach and framework for test-execution plan derivation (SSC, VS), pp. 488–491.

ASE-2011-Li #consistency #natural language #requirements #towards

Toward consistency checking of natural language temporal requirements (WL), pp. 651–655.

ASE-2011-SunLKJ #debugging #retrieval #towards

Towards more accurate retrieval of duplicate bug reports (CS, DL, SCK, JJ), pp. 253–262.

ASE-2011-UjhelyiHV #model transformation #slicing #towards

Towards dynamic backward slicing of model transformations (ZU, ÁH, DV), pp. 404–407.

ASE-2011-WelshSB #requirements #runtime #towards

Towards requirements aware systems: Run-time resolution of design-time assumptions (KW, PS, NB), pp. 560–563.

CASE-2011-SharviaP #approach #assessment #named #safety #towards

IACoB-SA: An approach towards integrated safety assessment (SS, YP), pp. 220–225.

CASE-2011-ThramboulidisSF #automation #industrial #process #safety #towards #verification

Towards an automated verification process for industrial safety applications (KT, DS, GF), pp. 482–487.

DAC-2011-BayrakRBSI #analysis #automation #towards

A first step towards automatic application of power analysis countermeasures (AGB, FR, PB, FXS, PI), pp. 230–235.

DAC-2011-GaillardonBMNCO #3d #architecture #question #towards

Can we go towards true 3-D architectures? (PEG, MHBJ, PHM, JPN, FC, IO), pp. 282–283.

DATE-2011-ChenLH #3d #architecture #towards

Architectural exploration of 3D FPGAs towards a better balance between area and delay (CIC, BCL, JDH), pp. 587–590.

DATE-2011-FettweisGK #towards

Entering the path towards terabit/s wireless links (GF, FG, SK), pp. 431–436.

DATE-2011-HuXZTS #energy #hybrid #memory management #performance #towards

Towards energy efficient hybrid on-chip Scratch Pad Memory with non-volatile memory (JH, CJX, QZ, WCT, EHMS), pp. 746–751.

DATE-2011-LeupersEMSTC #manycore #towards

Virtual Manycore platforms: Moving towards 100+ processor cores (RL, LE, GM, FS, NPT, XC), pp. 715–720.

DATE-2011-LiuSTV #design #generative #towards #using #validation

Towards coverage closure: Using GoldMine assertions for generating design validation stimulus (LL, DS, WT, SV), pp. 173–178.

DATE-2011-SabrySATLSBTBM #3d #design #towards

Towards thermally-aware design of 3D MPSoCs with inter-tier cooling (MMS, AS, DA, YT, YL, SS, NB, JRT, TB, BM), pp. 1466–1471.

DRR-2011-YouADRGT #automation #documentation #hybrid #identification #image #retrieval #towards

Automatic identification of ROI in figure images toward improving hybrid (text and image) biomedical document retrieval (DY, SA, DDF, MMR, VG, GRT), pp. 1–10.

HT-2011-Pisarski #hypermedia #towards

New plots for hypertext?: towards poetics of a hypertext node (MP), pp. 313–318.

ICDAR-2011-AbidiSK #approach #library #retrieval #towards #word

Towards Searchable Digital Urdu Libraries — A Word Spotting Based Retrieval Approach (AA, IS, KK), pp. 1344–1348.

ICDAR-2011-ForcherADGR #semantics #towards

Semantic Logging: Towards Explanation-Aware DAS (BF, SA, AD, MG, TRB), pp. 1140–1144.

ICDAR-2011-KumarBNAD #towards

Towards Improving the Accuracy of Telugu OCR Systems (PPK, CB, AN, AA, BLD), pp. 910–914.

ICDAR-2011-SmithLNW #towards

Towards Improved Paper-Based Election Technology (EHBS, DPL, GN, ZW), pp. 1255–1259.

ICDAR-2011-UchidaSKF #approach #detection #towards

A Keypoint-Based Approach toward Scenery Character Detection (SU, YS, YK, YF), pp. 819–823.

VLDB-2011-BorisovB #approach #declarative #detection #towards

Proactive Detection and Repair of Data Corruption: Towards a Hassle-free Declarative Approach with Amulet (NB, SB), pp. 1403–1408.

VLDB-2011-OReilly #towards

Towards a Global Brain (TO), p. 693.

VLDB-2012-KonigDCN11 #approach #estimation #robust #statistics #towards

A Statistical Approach Towards Robust Progress Estimation (ACK, BD, SC, VRN), pp. 382–393.

VLDB-2012-ZhangTPH11 #effectiveness #towards

Towards Cost-Effective Storage Provisioning for DBMSs (NZ, JT, JMP, HH), pp. 274–285.

CSEET-2011-ZimmermanKF #towards

Toward instant gradeification (DMZ, JRK, FF), pp. 406–410.

ITiCSE-2011-LeeR #algorithm #behaviour #towards #visualisation

Toward replicating handmade algorithm visualization behaviors in a digital environment: a pre-study (MHL, GR), pp. 198–202.

ICPC-J-2009-SamalikovaKTWS11 #case study #experience #process #towards

Toward objective software process information: experiences from a case study (JS, RJK, JJMT, TW, PS), pp. 101–120.

CSMR-2011-AmouiDET #adaptation #evolution #runtime #towards

Software Evolution towards Model-Centric Runtime Adaptivity (MA, MD, JE, LT), pp. 89–92.

CSMR-2011-BuchmannFP #estimation #maintenance #towards

Towards an Estimation Model for Software Maintenance Costs (IB, SF, DP), pp. 313–316.

ICPC-2011-OhlemacherM #automation #benchmark #concept #metric #towards

Towards a Benchmark and Automatic Calibration for IR-Based Concept Location (SDO, AM), pp. 246–249.

ICPC-2011-Parnin #developer #named #towards

Subvocalization — Toward Hearing the Inner Thoughts of Developers (CP), pp. 197–200.

ICPC-2011-SamaraweeraSQ #approach #programming #towards

Programming from the Reader’s Perspective: Toward an Expectations Approach (GS, MS, JQ), pp. 211–212.

ICPC-2011-StefikSSS #programming language #towards

Toward Intuitive Programming Languages (AS, SS, KS, MS), pp. 213–214.

ICSM-2011-BiggersEKE #metric #source code #towards

Toward a metrics suite for source code lexicons (LRB, BPE, NAK, LHE), pp. 492–495.

ICSM-2011-ZhangSPXZ #case study #incremental #industrial #product line #re-engineering #towards

Incremental and iterative reengineering towards Software Product Line: An industrial case study (GZ, LS, XP, ZX, WZ), pp. 418–427.

PASTE-2011-Detten #behaviour #detection #execution #generative #symbolic computation #towards

Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution (MvD), pp. 17–20.

WCRE-2011-AbebeT #concept #identifier #towards

Towards the Extraction of Domain Concepts from the Identifiers (SLA, PT), pp. 77–86.

WCRE-2011-SajnaniNL #architecture #towards

Application Architecture Discovery — Towards Domain-driven, Easily-Extensible Code Structure (HS, RN, CVL), pp. 401–405.

PLDI-2011-LeeZSZ #generative #towards

Toward generating reducible replay logs (KHL, YZ, NS, XZ), pp. 246–257.

STOC-2011-BravermanR #communication #fault #interactive #towards

Towards coding for maximum errors in interactive communication (MB, AR), pp. 159–166.

STOC-2011-DughmiRY #combinator #optimisation #random #towards

From convex optimization to randomized mechanisms: toward optimal combinatorial auctions (SD, TR, QY), pp. 149–158.

DLT-J-2009-Zetzsche11 #capacity #comprehension #generative #matrix #towards

Toward Understanding the Generative Capacity of Erasing Rules in Matrix Grammars (GZ), pp. 411–426.

DLT-J-2010-Head11 #algebra #parallel #towards

Computing with Light: toward Parallel Boolean Algebra (TH), pp. 1625–1637.

AFL-2011-PramodK #polynomial #towards #word

Towards Shortest Synchronizing Words in Polynomial Time (VTKP, KVK), pp. 358–367.

CIAA-2011-LonatiP #2d #automaton #towards

Towards More Expressive 2D Deterministic Automata (VL, MP), pp. 225–237.

DLT-2011-Yoshinaka #concept #context-free grammar #learning #towards

Towards Dual Approaches for Learning Context-Free Grammars Based on Syntactic Concept Lattices (RY), pp. 429–440.

SEFM-2011-CorralC #simulation #towards

Towards an Agent-Based Methodology for Developing Agro-Ecosystem Simulations (JC, DC), pp. 431–446.

SFM-2011-Tretmans #modelling #testing #towards

Model-Based Testing and Some Steps towards Test-Based Modelling (JT), pp. 297–326.

ICFP-2011-Filinski #monad #towards

Towards a comprehensive theory of monadic effects (AF), p. 1.

AGTIVE-2011-ScholerS #3d #architecture #automation #re-engineering #towards

Towards an Automated 3D Reconstruction of Plant Architecture (FS, VS), pp. 51–64.

GT-VMT-2011-HeckelKM #contract #test coverage #towards #visual notation

Towards Test Coverage Criteria for Visual Contracts (RH, TAK, RM).

GT-VMT-2011-VandinL #graph #maude #model checking #towards

Towards a Maude Tool for Model Checking Temporal Graph Properties (AV, ALL).

CHI-2011-BardzellB11a #human-computer #social #towards

Towards a feminist HCI methodology: social science, feminism, and HCI (SB, JB), pp. 675–684.

CHI-2011-CasiezRVG #named #towards

Surfpad: riding towards targets on a squeeze film effect (GC, NR, RV, FG), pp. 2491–2500.

CHI-2011-HailpernDHKDH #named #towards

ACES: promoting empathy towards aphasia through language distortion emulation software (JMH, MD, AH, KK, GD, JH), pp. 609–618.

CHI-2011-RobinsonRJJSN #interface #mobile #named #towards

TapBack: towards richer mobile interfaces in impoverished contexts (SR, NR, MJ, AJ, SS, AAN), pp. 2733–2736.

CHI-2011-ShroffK #design #towards #women

Towards a design model for women’s empowerment in the developing world (GS, MK), pp. 2867–2876.

CHI-2011-SundstromTGWBL #comprehension #towards

Inspirational bits: towards a shared understanding of the digital material (PS, AST, KG, NW, JSB, ML), pp. 1561–1570.

CHI-2011-ToomimKPL #human-computer #interactive #metric #towards

Utility of human-computer interactions: toward a science of preference measurement (MT, TK, CP, JAL), pp. 2275–2284.

CSCW-2011-BagalkotS #collaboration #named #towards

MagicMirror: towards enhancing collaborative rehabilitation practices (NB, TS), pp. 593–596.

CSCW-2011-BouwerNE #collaboration #navigation #towards

Towards support for collaborative navigation in complex indoor environments (AB, FN, VE), pp. 601–604.

CSCW-2011-DiakopoulosN #online #quality #towards

Towards quality discourse in online news comments (ND, MN), pp. 133–142.

CSCW-2011-Masih #requirements #towards

Towards requirements engineering for a tumour removing robot: work-practice observation of surgical teams performing brain tumour surgery (AM), pp. 677–680.

DUXU-v1-2011-DinetVB #community #design #difference #towards

Towards Future Methods to Take into Account Cross-Cultural Differences in Design: An Example with the “Expert Community Staff” (ECS) (JD, RV, EB), pp. 53–61.

DUXU-v1-2011-PetrovicS #towards

Make Space for the Customer: The Shift towards Customer Centricity (KP, MS), pp. 485–490.

DUXU-v2-2011-ArdavanC #3d #exclamation #safety #towards

Listen! Somebody Is Walking towards Your Car (Introducing the Awareness-3D Sound System into the Driver to Increase the Pedestrian’s Safety) (MA, FC), pp. 89–98.

DUXU-v2-2011-Sauter #approach #interface #mobile #towards

Implied Aesthetics: A Sensor-Based Approach towards Mobile Interfaces (DS), pp. 645–654.

HCD-2011-BosBH #towards

Towards a Paperless Air Traffic Control Tower (TB, MSvB, HH), pp. 360–368.

HCD-2011-PommeranzWJ #composition #design #elicitation #evaluation #interface #towards

Towards Compositional Design and Evaluation of Preference Elicitation Interfaces (AP, PW, CMJ), pp. 586–596.

HCI-DDA-2011-AbdullahAN #design #development #framework #towards #user interface

Towards a Cognitive-Based User Interface Design Framework Development (NA, WAWA, NLMN), pp. 17–24.

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-HornungB #concept #design #framework #interactive #towards #web

Towards a Conceptual Framework for Interaction Design for the Pragmatic Web (HHH, MCCB), pp. 72–81.

HCI-DDA-2011-SeisslerBM #adaptation #runtime #smarttech #towards #user interface

Towards Pattern-Driven Engineering of Run-Time Adaptive User Interfaces for Smart Production Environments (MS, KB, GM), pp. 299–308.

HCI-MIIE-2011-CarrinoMKI #approach #hybrid #interactive #named #towards

ARAMIS: Toward a Hybrid Approach for Human- Environment Interaction (SC, EM, OAK, RI), pp. 165–174.

HCI-MIIE-2011-CearretaG #adaptation #interactive #towards

Toward Adapting Interactions by Considering User Emotions and Capabilities (IC, NGV), pp. 525–534.

HCI-MIIE-2011-MattheijSBRS #named #towards

GooGreen: Towards Increasing the Environmental Awareness of Households (RM, LS, LdB, KR, SS), pp. 500–509.

HCI-UA-2011-JohnsonLTS #approach #comprehension #monitoring #towards

Toward an Understanding of a Computerized Monitoring System Failure: An Interpretive Approach (NJ, YL, FT, SS), pp. 336–345.

HCI-UA-2011-Levis #communication #towards #using #women

Working toward Women’s Economic Empowerment: Using Information and Communication Technology in Developing Areas to Market Traditional Crafts (MSL), pp. 266–273.

HCI-UA-2011-OctaviaBCQL #3d #adaptation #collaboration #game studies #interactive #modelling #towards

User Modeling Approaches towards Adaptation of Users’ Roles to Improve Group Interaction in Collaborative 3D Games (JRO, AB, KC, PQ, KL), pp. 668–677.

HCI-UA-2011-Tung #gender #towards

Influence of Gender and Age on the Attitudes of Children towards Humanoid Robots (FWT), pp. 637–646.

HIMI-v1-2011-Mori #towards

Some Issues toward Creating Human-Centric Services (HM), pp. 118–121.

HIMI-v2-2011-GonzalezGGS #hybrid #tool support #towards

Towards Argument Representational Tools for Hybrid Argumentation Systems (MPG, SG, AJG, GRS), pp. 236–245.

IDGD-2011-ChiaoLYCL #experience #towards

Can I Help You?: Towards the Improvement of Occupational Experience for Convenience Store Employees in Taiwan (YLC, CHL, HWY, YYC, PLL), pp. 361–368.

IDGD-2011-LiuL #complexity #comprehension #performance #towards

Toward Understanding the Relationship between Task Complexity and Task Performance (PL, ZL), pp. 192–200.

IDGD-2011-Shin #challenge #multi #towards

Toward the New Sullivan Principles in the Information Age: Conflicts and Challenges of Multinational Information Technology Companies in Asian Countries (BS), pp. 393–401.

CAiSE-2011-TranM #evolution #game studies #requirements #towards

Dealing with Known Unknowns: Towards a Game-Theoretic Foundation for Software Requirement Evolution (LMST, FM), pp. 62–76.

EDOC-2011-DahmanCG #consistency #development #towards

Towards Consistency Management for a Business-Driven Development of SOA (KD, FC, CG), pp. 267–275.

EDOC-2011-Hull #flexibility #towards #using

Towards Flexible Service Interoperation Using Business Artifacts (RH), pp. 20–21.

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-NetoCMMG #energy #monitoring #quality #towards

Towards an Intelligent System for Monitoring Electrical Energy Quality — Foundations and Motivations (LBN, PHGC, JCCBSdM, LAM, EGG), pp. 40–45.

ICEIS-v4-2011-AlgarniCL #case study #towards

Towards an Explanatory Model of eMarketplaces Utilization — A Case Study of Saudi Arabia (FA, YC, VCSL), pp. 63–75.

ICEIS-v4-2011-SchulteKKS #communication #education #integration #towards

KOI School — Towards the Next Level of Communication, Organization and Integration in Education (JS, RK, DK, JS), pp. 43–52.

ICEIS-v4-2011-SchulteKRF #research #towards

Laboratory 2.0 — Towards an Integrated Research Environment for Engineering Mechanics (JS, RK, JR, FF), pp. 407–412.

CIKM-2011-BingLG #detection #segmentation #towards

Towards a unified solution: data record region detection and segmentation (LB, WL, YG), pp. 1265–1274.

CIKM-2011-ChengCKL #towards #web

Toward traffic-driven location-based web search (ZC, JC, KYK, KL), pp. 805–814.

CIKM-2011-DruckM #evaluation #interactive #towards

Toward interactive training and evaluation (GD, AM), pp. 947–956.

CIKM-2011-GuH #feature model #network #towards

Towards feature selection in network (QG, JH), pp. 1175–1184.

CIKM-2011-KoplikuBP #framework #retrieval #towards

Towards a framework for attribute retrieval (AK, MB, KPS), pp. 515–524.

CIKM-2011-LiBS #analysis #named #network #online #social #towards

CASINO: towards conformity-aware social influence analysis in online social networks (HL, SSB, AS), pp. 1007–1012.

CIKM-2011-YangL #documentation #modelling #towards

Towards noise-resilient document modeling (TY, DL), pp. 2345–2348.

CIKM-2011-YeungJ #how #mining #scalability #towards

Studying how the past is remembered: towards computational history through large scale text mining (CmAY, AJ), pp. 1231–1240.

CIKM-2011-YuKL #approach #bidirectional #bottom-up #information management #top-down #towards

Towards a top-down and bottom-up bidirectional approach to joint information extraction (XY, IK, MRL), pp. 847–856.

CIKM-2011-ZhuCXCT #category theory #ranking #towards

Towards expert finding by leveraging relevant categories in authority ranking (HZ, HC, HX, EC, JT), pp. 2221–2224.

ECIR-2011-BuccioMS #framework #predict #towards #using

Towards Predicting Relevance Using a Quantum-Like Framework (EDB, MM, DS), pp. 755–758.

ECIR-2011-ZellhoferFSLR #information retrieval #principle #towards

Towards Quantum-Based DB+IR Processing Based on the Principle of Polyrepresentation (DZ, IF, IS, ML, KvR), pp. 729–732.

ICML-2011-LiZ #towards

Towards Making Unlabeled Data Never Hurt (YFL, ZHZ), pp. 1081–1088.

KDD-2011-MaiyaB #bias #network #towards

Benefits of bias: towards better characterization of network sampling (ASM, TYBW), pp. 105–113.

KDD-2011-NeuvirthOHLKER #case study #personalisation #towards

Toward personalized care management of patients at risk: the diabetes case study (HN, MOF, JH, JL, MSK, SE, MRZ), pp. 395–403.

KDD-2011-RaissiP #bound #towards

Towards bounding sequential patterns (CR, JP), pp. 1379–1387.

KDIR-2011-OttenS #framework #towards

Linguistic Engineering and its Applicability to Business Intelligence — Towards an Integrated Framework (SFJO, MRS), pp. 460–464.

KEOD-2011-MullerRH #logic #modelling #towards

Towards a Description Logic for Scientific Modeling (JPM, HLR, DH), pp. 183–188.

KEOD-2011-OngenaeBSVGJZVAT #design #ontology #towards

Participatory Design of a Continuous Care Ontology — Towards a User-driven Ontology Engineering Methodology (FO, LB, NS, MV, MvG, AJ, SDZ, PV, AA, FDT), pp. 81–90.

KMIS-2011-Borchardt #recommendation #towards

Towards a Value-oriented KMS Recommendation for SME (UB), pp. 347–350.

KMIS-2011-BuresPCO #framework #interactive #towards

Interactive Digital TV as the e-Learning Platform — Towards Supportive Environments for Elderly (VB, DP, PC, TO), pp. 107–113.

KMIS-2011-GoncalvesP #approach #challenge #process #towards

Business Processes and Organisations — Challenges and Opportunities Towards a People-centric Approach (NPG, JASP), pp. 418–423.

KMIS-2011-KoznovSAC #towards

Towards e-Government Services in Russia (DK, AS, AA, JC), pp. 294–301.

KMIS-2011-SchwittekSEH #towards

Towards a Common Body of Knowledge for Engineering Secure Software and Services (WS, HS, SE, MH), pp. 369–374.

RecSys-2011-CamposDS #evaluation #matrix #predict #recommendation #testing #towards

Towards a more realistic evaluation: testing the ability to predict future tastes of matrix factorization-based recommenders (PGC, FD, MASM), pp. 309–312.

SEKE-2011-ChenHS #adaptation #analysis #modelling #process #towards #validation

Towards Modeling and Validating Analysis Processes for Software Adaptation (XC, GH, LS), pp. 547–552.

SEKE-2011-GeigerSW #automation #consistency #towards

Towards Automated Conformance Checking of ebBP-ST Choreographies and Corresponding WS-BPEL Based Orchestrations (MG, AS, GW), pp. 566–571.

SEKE-2011-NoorianBD #classification #framework #machine learning #testing #towards

Machine Learning-based Software Testing: Towards a Classification Framework (MN, EB, WD), pp. 225–229.

SEKE-2011-SantosGSF #agile #empirical #implementation #learning #towards

A view towards Organizational Learning: An empirical study on Scrum implementation (VAS, AG, ACMS, ALF), pp. 583–589.

SEKE-2011-ZhangSPCM #architecture #design #quality #recommendation #towards

Towards Quality Based Solution Recommendation in Decision-Centric Architecture Design (LZ, YS, YP, XC, HM), pp. 776–781.

SIGIR-2011-MartinHRF #music #retrieval #towards

Towards an indexing method to speed-up music retrieval (BM, PH, MR, PF), pp. 1167–1168.

SIGIR-2011-SunWY #classification #effectiveness #towards

Towards effective short text deep classification (XS, HW, YY), pp. 1143–1144.

SIGIR-2011-ZhouCZ #algorithm #approximate #named #performance #string #towards

SEJoin: an optimized algorithm towards efficient approximate string searches (JZ, ZC, JZ), pp. 1249–1250.

BX-2011-Kuester #bidirectional #development #towards

Towards Systematic Development of Bidirectional Transformations (JMK), p. 61.

ECMFA-2011-GessenharterR #approach #code generation #development #diagrams #modelling #process #towards #uml

Code Generation for UML 2 Activity Diagrams — Towards a Comprehensive Model-Driven Development Approach (DG, MR), pp. 205–220.

ICMT-2011-SasanoHHIKN #atl #bidirectional #towards

Toward Bidirectionalization of ATL with GRoundTram (IS, ZH, SH, KI, HK, KN), pp. 138–151.

MoDELS-2011-DragoGM #model transformation #quality #towards

Towards Quality Driven Exploration of Model Transformation Spaces (MLD, CG, RM), pp. 2–16.

MoDELS-2011-WagelaarTCJ #composition #model transformation #rule-based #semantics #towards

Towards a General Composition Semantics for Rule-Based Model Transformation (DW, MT, JC, FJ), pp. 623–637.

MoDELS-2011-WilkeGRA #energy #modelling #testing #towards

Vision Paper: Towards Model-Based Energy Testing (CW, SG, JR, UA), pp. 480–489.

MoDELS-2011-DragoGM #model transformation #quality #towards

Towards Quality Driven Exploration of Model Transformation Spaces (MLD, CG, RM), pp. 2–16.

MoDELS-2011-WagelaarTCJ #composition #model transformation #rule-based #semantics #towards

Towards a General Composition Semantics for Rule-Based Model Transformation (DW, MT, JC, FJ), pp. 623–637.

MoDELS-2011-WilkeGRA #energy #modelling #testing #towards

Vision Paper: Towards Model-Based Energy Testing (CW, SG, JR, UA), pp. 480–489.

OOPSLA-2011-TianZS #integration #optimisation #towards

A step towards transparent integration of input-consciousness into dynamic program optimizations (KT, EZZ, XS), pp. 445–462.

GPCE-2011-SlattenKH #automation #case study #distributed #generative #industrial #reliability #specification #towards #validation #verification

Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study (VS, FAK, PH), pp. 147–156.

PPDP-2011-Rybalchenko #automation #synthesis #tool support #towards #verification

Towards automatic synthesis of software verification tools (AR), pp. 3–4.

RE-2011-PuhlF #how #requirements #towards

How to assign cost to “avoidable requirements creep”: A step towards the waterfall’s agilization (SP, RF), pp. 307–312.

REFSQ-2011-MertenLB #comprehension #enterprise #requirements #research #towards

Towards a New Understanding of Small and Medium Sized Enterprises in Requirements Engineering Research (TM, KL, SB), pp. 60–65.

SAC-2011-Al-ZaidyFY #community #towards

Towards discovering criminal communities from textual data (RAZ, BCMF, AMY), pp. 172–177.

SAC-2011-AlmeidaC #enterprise #on the #ontology #towards

On the elements of an enterprise: towards an ontology-based account (JPAA, ECSC), pp. 323–330.

SAC-2011-BorgesMB #education #generative #modelling #towards

Towards the establishment of supporting mechanisms for modeling and generating educational content (VAB, JCM, EFB), pp. 1202–1207.

SAC-2011-GrootGK #data-driven #distributed #towards

Towards improved load balancing for data intensive distributed computing (SG, KG, MK), pp. 139–146.

SAC-2011-LinC #query #towards

Towards communication-efficient private location dependent queries (KPL, MSC), pp. 433–438.

SAC-2011-LiuM #adaptation #named #towards

AdaptStream: towards achieving fluidity in adaptive stream-based systems (YL, RM), pp. 217–223.

SAC-2011-MajchrzakJLU #integration #mobile #social #towards #web

Towards better social integration through mobile web 2.0 ambient assisted living devices (TAM, AJ, ML, FÜ), pp. 821–822.

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-RamosCAA #case study #modelling #process #towards

Towards the improvement of use case models: the AIRDoc process (RAR, JBdC, JA, FMRA), pp. 708–709.

SAC-2011-Sanchez-GonzalezRGC #complexity #control flow #metric #modelling #towards

Towards thresholds of control flow complexity measures for BPMN models (LSG, FR, FG, JC), pp. 1445–1450.

SAC-2011-SchryenVRH #approach #distributed #formal method #towards #trust

A formal approach towards measuring trust in distributed systems (GS, MV, SR, SMH), pp. 1739–1745.

SAC-2011-SebastianC #approach #design #re-engineering #towards #using

Towards designing a tool for event reconstruction using Gladyshev Approach (MS, PC), pp. 193–194.

ICSE-2011-AmselIMT #re-engineering #towards

Toward sustainable software engineering (NA, ZI, AM, BT), pp. 976–979.

ICSE-2011-ChristensenH #architecture #implementation #towards

Towards architectural information in implementation (HBC, KMH), pp. 928–931.

ICSE-2011-CuddebackDHHK #process #requirements #towards

Towards overcoming human analyst fallibility in the requirements tracing process (DC, AD, JHH, JH, WKK), pp. 860–863.

ICSE-2011-FujiiDF #assessment #development #incremental #process #reliability #towards

Towards quantitative software reliability assessment in incremental development processes (TF, TD, TF), pp. 41–50.

ICSE-2011-SillittiSV #comprehension #towards

Toward a better understanding of tool usage (AS, GS, JV), pp. 832–835.

ICSE-2011-Xiao #developer #generative #identification #problem #testing #towards

Problem identification for structural test generation: first step towards cooperative developer testing (XX), pp. 1179–1181.

SLE-2011-KlintLP #analysis #towards #visualisation

Towards a One-Stop-Shop for Analysis, Transformation and Visualization of Software (PK, BL, AvdP), pp. 1–18.

SLE-2011-Wider #bidirectional #combinator #model transformation #scala #towards

Towards Combinators for Bidirectional Model Transformations in Scala (AW), pp. 367–377.

PLEASE-2011-StallingerNSK #challenge #evolution #industrial #migration #product line #towards

Migrating towards evolving software product lines: challenges of an SME in a core customer-driven industrial systems engineering context (FS, RN, RS, SK), pp. 20–24.

SPLC-2011-GhezziS #approach #model checking #non-functional #parametricity #performance #product line #towards #using #verification

Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking (CG, AMS), pp. 170–174.

SPLC-2011-HutchessonM #effectiveness #product line #towards

Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations (SH, JAM), pp. 55–64.

SPLC-2011-NolanACMC #cost analysis #integration #product line #quality #towards

Towards the Integration of Quality Attributes into a Software Product Line Cost Model (AJN, SA, PCC, JDM, SC), pp. 203–212.

ASPLOS-2011-GaoZCZQ #concurrent #debugging #named #towards #type system

2ndStrike: toward manifesting hidden concurrency typestate bugs (QG, WZ, ZC, MZ, FQ), pp. 239–250.

HPDC-2011-MinhW #analysis #parallel #performance #towards

Towards a profound analysis of bags-of-tasks in parallel systems and their performance impact (TNM, LW), pp. 111–122.

ICST-2011-AtkinsonBHS #framework #testing #towards

Towards a Language and Framework for Penurious Testing (CA, FB, OH, MS), pp. 31–39.

ICST-2011-NavarroPR #quality #towards #user interface #user satisfaction

Towards Software Quality and User Satisfaction through User Interfaces (PLMN, GMP, DSR), pp. 415–418.

VMCAI-2011-JacobsK #axiom #reasoning #specification #towards

Towards Complete Reasoning about Axiomatic Specifications (SJ, VK), pp. 278–293.

ECSA-2010-LoukilKZJ #aspect-oriented #embedded #towards

Toward an Aspect Oriented ADL for Embedded Systems (SL, SK, BZ, MJ), pp. 489–492.

ECSA-2010-LungBSEG #architecture #generative #towards

Towards Architecture-Centric Software Generation (CHL, BB, KS, PE, UG), pp. 38–52.

ECSA-2010-Pahl #adaptation #architecture #composition #coordination #towards

Dynamic Adaptive Service Architecture — Towards Coordinated Service Composition (CP), pp. 472–475.

ASE-2010-Bosch #composition #re-engineering #towards

Keynote address: toward compositional software engineering (JB), pp. 1–2.

ASE-2010-GibiecCC #mining #query #towards

Towards mining replacement queries for hard-to-retrieve traces (MG, AC, JCH), pp. 245–254.

ASE-2010-HarelMSB #named #programming #towards

PlayGo: towards a comprehensive tool for scenario based programming (DH, SM, SS, DB), pp. 359–360.

ASE-2010-SridharaHMPV #automation #generative #java #summary #towards

Towards automatically generating summary comments for Java methods (GS, EH, DM, LLP, KVS), pp. 43–52.

CASE-2010-ChenWZZF #analysis #performance #process #towards

Towards performance analysis of wheel loading process in automotive manufacturing (HC, JW, BZ, GZ, TAF), pp. 234–239.

CASE-2010-CoppBHTVR #automation #monitoring #network #quality #towards

Towards the automation of water quality monitoring networks (JBC, EB, CH, MT, PAV, LR), pp. 491–496.

CASE-2010-LeBSK #modelling #realtime #towards #using

Towards virtual instruments for cardiovascular healthcare: Real-time modeling of cardiovascular dynamics using ECG signals (TQL, STSB, AS, RK), pp. 903–910.

DAC-2010-GlassLHT #analysis #reliability #scalability #towards

Towards scalable system-level reliability analysis (MG, ML, CH, JT), pp. 234–239.

DAC-2010-ZhangCTL #modelling #multi #performance #scalability #towards

Toward efficient large-scale performance modeling of integrated circuits via multi-mode/multi-corner sparse regression (WZ, THC, MYT, XL), pp. 897–902.

DATE-2010-BashirM #process #reliability #towards

Towards a chip level reliability simulator for copper/low-k backend processes (MB, LSM), pp. 279–282.

DATE-2010-CharfiMGTB #code generation #modelling #optimisation #towards

Toward optimized code generation through model-based optimization (AC, CM, SG, FT, PB), pp. 1313–1316.

DATE-2010-HadjitheophanousTGT #3d #hardware #re-engineering #realtime #towards

Towards hardware stereoscopic 3D reconstruction a real-time FPGA computation of the disparity map (SH, CT, ASG, TT), pp. 1743–1748.

DATE-2010-LammermannRKRVJH #design #towards #verification

Towards assertion-based verification of heterogeneous system designs (SL, JR, TK, WR, AV, AJ, LH), pp. 1171–1176.

DocEng-2010-Hassan #algorithm #evaluation #recognition #towards

Towards a common evaluation strategy for table structure recognition algorithms (TH), pp. 255–258.

DocEng-2010-Vion-Dury #calculus #difference #documentation #editing #towards #xml

Diffing, patching and merging XML documents: toward a generic calculus of editing deltas (JYVD), pp. 191–194.

PODS-2010-KiferL #axiom #privacy #statistics #towards

Towards an axiomatization of statistical privacy and utility (DK, BRL), pp. 147–158.

SIGMOD-2010-JinBXCC #database #graph #named #query #towards #visual notation

GBLENDER: towards blending visual query formulation and query processing in graph databases (CJ, SSB, XX, JC, BC), pp. 111–122.

SIGMOD-2010-KhanYW #graph #mining #proximity #scalability #towards

Towards proximity pattern mining in large graphs (AK, XY, KLW), pp. 867–878.

VLDB-2010-BaidRLDN #keyword #relational #scalability #towards

Toward Scalable Keyword Search over Relational Data (AB, IR, JL, AD, JFN), pp. 140–149.

VLDB-2010-FanLMTY #editing #towards

Towards Certain Fixes with Editing Rules and Master Data (WF, JL, SM, NT, WY), pp. 173–184.

VLDB-2010-ParameswaranGR #concept #dataset #scalability #towards #web

Towards The Web of Concepts: Extracting Concepts from Large Datasets (AGP, HGM, AR), pp. 566–577.

VLDB-2010-VoCO #query #towards #transaction

Towards Elastic Transactional Cloud Storage with Range Query Support (HTV, CC, BCO), pp. 506–517.

VLDB-2011-OroRS10 #documentation #named #query #towards #web #xpath

SXPath — Extending XPath towards Spatial Querying on Web Documents (EO, MR, SS), pp. 129–140.

ITiCSE-2010-Marsh #case study #comparative #programming #student #towards

A sub-saharan comparative study of university students’ attitudes towards computer programming (CJM), pp. 33–37.

FoSSaCS-2010-ChambartS #composition #towards

Toward a Compositional Theory of Leftist Grammars and Transformations (PC, PS), pp. 237–251.

CSMR-2010-CorazzaMS #approach #clustering #probability #towards

A Probabilistic Based Approach towards Software System Clustering (AC, SDM, GS), pp. 88–96.

CSMR-2010-KnieselBHFCGT #design pattern #detection #tool support

DPDX--Towards a Common Result Exchange Format for Design Pattern Detection Tools (GK, AB, PH, LJF, AC, YGG, NT), pp. 232–235.

CSMR-2010-NagyPGB #dependence #towards

Towards a Safe Method for Computing Dependencies in Database-Intensive Systems (CN, JP, TG, ÁB), pp. 166–175.

ICPC-2010-AmouiLOT #adaptation #metamodelling #towards

Towards Developing a Meta-model for Comprehending Software Adaptability (MA, SL, EAOJ, LT), pp. 56–57.

PASTE-2010-Schmeelk #benchmark #detection #metric #towards

Towards a unified fault-detection benchmark (SS), pp. 61–64.

PEPM-2010-HofmannK #detection #morphism #problem #towards

I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP (MH, EK), pp. 93–100.

STOC-2010-Patrascu #bound #polynomial #problem #towards

Towards polynomial lower bounds for dynamic problems (MP), pp. 603–610.

FLOPS-2010-Abel #calculus #evaluation #normalisation #towards

Towards Normalization by Evaluation for the βη-Calculus of Constructions (AA), pp. 224–239.

ICALP-v2-2010-OuaknineW #bound #formal method #towards #verification

Towards a Theory of Time-Bounded Verification (JO, JW), pp. 22–37.

IFM-2010-TarasyukTL #modelling #probability #towards

Towards Probabilistic Modelling in Event-B (AT, ET, LL), pp. 275–289.

SEFM-2010-GothelG #automation #invariant #network #realtime #towards #using #verification

Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants (TG, SG), pp. 310–314.

CHI-2010-AlankusLMK #game studies #towards

Towards customizable games for stroke rehabilitation (GA, AL, MM, CK), pp. 2113–2122.

CHI-2010-YangX #2d #bias #towards

Bias towards regular configuration in 2D pointing (HY, XX), pp. 1391–1400.

CHI-2010-YaroshIB #distance #game studies #towards #video

Video playdate: toward free play across distance (SY, KMI, AJBB), pp. 1251–1260.

SOFTVIS-2010-BeckD10a #analysis #automation #distributed #towards #visualisation

Towards automated analysis and visualization of distributed software systems (MB, JD), pp. 213–214.

SOFTVIS-2010-LinTOB #comprehension #profiling #towards #using

Towards anomaly comprehension: using structural compression to navigate profiling call-trees (SL, FT, TCO, LJB), pp. 103–112.

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.

AdaEurope-2010-Schonberg #ada #towards

Towards Ada 2012: An Interim Report (ES), pp. 238–250.

SIGAda-2010-Schonberg #ada #towards

Towards Ada 2012: an interim report (ES), pp. 63–70.

CAiSE-2010-SilvaMBB #automation #consistency #design #modelling #nondeterminism #towards

Towards Automated Inconsistency Handling in Design Models (MAAdS, AM, XB, RB), pp. 348–362.

EDOC-2010-AsuncionIS #flexibility #integration #towards

Towards a Flexible Service Integration through Separation of Business Rules (CHA, MEI, MvS), pp. 184–193.

ICEIS-AIDSS-2010-GerberKM #formal method #metamodelling #ontology #towards #using

Towards the Formalisation of the TOGAF Content Metamodel using Ontologies (AG, PK, AvdM), pp. 54–64.

ICEIS-DISI-2010-NikitinTL #framework #industrial #named #towards

SOFIA: Agent Scenario for Forest Industry — Tailoring UBIWARE Platform Towards Industrial Agent-driven Solutions (SN, VYT, ML), pp. 15–22.

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-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-Dupuy-ChessaRM #community #design #information management #towards #validation

Towards a Community for Information System Design Validation (SDC, DR, NM), pp. 362–367.

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-Tagg #concept #modelling #ontology #towards

Towards a More Relationship-friendly Ontology Foundation for Conceptual Modelling (RT), pp. 368–373.

ICEIS-J-2010-NosseirT10a #authentication #towards

Towards Authentication via Selected Extraction from Electronic Personal Histories (AN, ST), pp. 571–586.

ICEIS-SAIC-2010-VilenicaL #automation #multi #simulation #towards

Towards Automated Simulation of Multi Agent based Systems (AV, WL), pp. 38–46.

CIKM-2010-CarmanCHB #modelling #personalisation #query #topic #towards #using

Towards query log based personalization using topic models (MJC, FC, MH, MB), pp. 1849–1852.

CIKM-2010-GyllstromM #algorithm #towards #web

Wisdom of the ages: toward delivering the children’s web with the link-based agerank algorithm (KG, MFM), pp. 159–168.

CIKM-2010-MwebazeMBV #framework #towards

Towards a provenance framework for sub-image processing for astronomical data (JM, JM, DB, EV), pp. 1277–1280.

CIKM-2010-ShangCSCH #towards

(k, P)-anonymity: towards pattern-preserving anonymity of time-series data (XS, KC, LS, GC, TH), pp. 1333–1336.

ICML-2010-MaeiSBS #approximate #learning #towards

Toward Off-Policy Learning Control with Function Approximation (HRM, CS, SB, RSS), pp. 719–726.

ICPR-2010-ChiaSN #linear #multimodal #towards

Towards a Best Linear Combination for Multimodal Biometric Fusion (CC, NS, LN), pp. 1176–1179.

ICPR-2010-DundarBRJSG #approach #classification #learning #multi #towards

A Multiple Instance Learning Approach toward Optimal Classification of Pathology Slides (MD, SB, VCR, RKJ, OS, MNG), pp. 2732–2735.

ICPR-2010-JouiliCTO #documentation #named #towards

NAVIDOMASS: Structural-based Approaches Towards Handling Historical Documents (SJ, MC, ST, JMO), pp. 946–949.

ICPR-2010-MalakutiA #monitoring #towards

Towards an Intelligent Bed Sensor: Non-intrusive Monitoring of Sleep Irregularities with Computer Vision Techniques (KM, ABA), pp. 4004–4007.

ICPR-2010-Martin-FelezMS #gender #recognition #representation #towards

Towards a More Realistic Appearance-Based Gait Representation for Gender Recognition (RMF, RAM, JSS), pp. 3810–3813.

ICPR-2010-MoraledaH #image #scalability #towards

Toward Massive Scalability in Image Matching (JM, JJH), pp. 3424–3427.

ICPR-2010-NguyenFP #detection #towards

Towards a Generic Feature-Selection Measure for Intrusion Detection (HTN, KF, SP), pp. 1529–1532.

ICPR-2010-PrisacariuTZRG #3d #detection #towards

Integrating Object Detection with 3D Tracking Towards a Better Driver Assistance System (VAP, RT, KZ, IDR, LJVG), pp. 3344–3347.

ICPR-2010-PuertasRFOE #comprehension #forensics #performance #recognition #towards

Towards a Better Understanding of the Performance of Latent Fingerprint Recognition in Realistic Forensic Conditions (MP, DR, JF, JOG, NE), pp. 1638–1641.

KDD-2010-BennetGLSV #benchmark #metric #named #scalability #towards

Malstone: towards a benchmark for analytics on large data clouds (CB, RLG, DL, JS, SV), pp. 145–152.

KDD-2010-LiuLNFL #clustering #towards

Towards mobility-based clustering (SL, YL, LMN, JF, ML), pp. 919–928.

KDIR-2010-Cebron #learning #representation #towards

Towards Learning with Objects in a Hierarchical Representation (NC), pp. 326–329.

KEOD-2010-BelaidAJR #modelling #semantics #towards #workflow

Toward a Semantic Management of Geological Modeling Workflows (NB, YAA, SJ, JFR), pp. 282–287.

KEOD-2010-CasasCC #fibonacci #modelling #representation #specification #towards #using

Towards a Representation of Enviromental Models using Specification and Description Language — From the Fibonacci Model to a Wildfire Model (PFiC, MC, JC), pp. 343–346.

KEOD-2010-KezadriP #ontology #towards #validation #verification

First Steps Toward a Verification and Validation Ontology (MK, MP), pp. 440–444.

KMIS-2010-ChakrabortyZ #approach #process #towards

A Systematic Approach Towards Collection, Processing & Distribution of Information about Competitor Activities & Customer Needs in Terms of Products & Services (SC, MZ), pp. 348–353.

KMIS-2010-Semmelrock-PicejM #collaboration #towards

Towards a System for Managing Collaborative Customer Knowledge (MSP, JM), pp. 300–306.

KMIS-2010-SonntagR #multimodal #process #semantics #towards

Towards a Process of Building Semantic Multimodal Dialogue Demonstrators (DS, NR), pp. 322–331.

KR-2010-DvorakPW #algorithm #parametricity #towards

Towards Fixed-Parameter Tractable Algorithms for Argumentation (WD, RP, SW).

KR-2010-HorridgeP #ontology #proving #towards

From Justifications Towards Proofs for Ontology Engineering (MH, BP).

KR-2010-Poole #logic #semantics #towards

Towards a Logic of Feature-Based Semantic Science Theories (DP).

KR-2010-UroviBSA #multi #runtime #towards

Towards Runtime Support for Norm-Governed Multi-Agent Systems (VU, SB, KS, AA).

RecSys-2010-JancsaryNT #personalisation #semantics #towards

Towards context-aware personalization and a broad perspective on the semantics of news articles (JJ, FN, HT), pp. 289–292.

SEKE-2010-AmarGH #generative #ontology #standard #towards

Towards Generation of Domain Ontology from LMF Standardized Dictionaries (FBBA, BG, ABH), pp. 515–520.

SEKE-2010-HuangLZ #towards

Towards a Structured Model for Software Vulnerabilities (MH, YL, QZ), pp. 543–547.

SEKE-2010-TibermacineSGFS #automation #evolution #towards

Towards an Automation of Software Evolution Good Practices (CT, SS, VLG, RF, SS), pp. 339–344.

SEKE-2010-ZhangHZJM #automation #eclipse #execution #synthesis #towards

Towards Automated Synthesis of Executable Eclipse Tutorials (NZ, GH, YZ, NJ, HM), pp. 591–598.

SIGIR-2010-DasguptaN #clustering #towards

Towards subjectifying text clustering (SD, VN), pp. 483–490.

SIGIR-2010-SluisDB #experience #information retrieval #towards #user interface

Aiming for user experience in information retrieval: towards user-centered relevance (UCR) (FvdS, BvD, ELvdB), p. 924.

SIGIR-2010-WangMHC #effectiveness #multi #retrieval #segmentation #towards

Segmentation of multi-sentence questions: towards effective question retrieval in cQA services (KW, ZM, XH, TSC), pp. 387–394.

ECMFA-2010-BruneliereCCJB #eclipse #modelling #tool support #towards

Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools (HB, JC, CC, FJ, JB), pp. 32–47.

ICMT-2010-JouaultT #atl #execution #incremental #towards

Towards Incremental Execution of ATL Transformations (FJ, MT), pp. 123–137.

ICMT-2010-TroyaV #atl #logic #semantics #towards

Towards a Rewriting Logic Semantics for ATL (JT, AV), pp. 230–244.

MoDELS-v1-2010-GronnigerRR #diagrams #process #semantics #towards

Towards a Semantics of Activity Diagrams with Semantic Variation Points (HG, DR, BR), pp. 331–345.

PPDP-2010-BolzLS #execution #prolog #towards #virtual machine

Towards a jitting VM for prolog execution (CFB, ML, DS), pp. 99–108.

POPL-2010-MalechaMSW #database #relational #towards

Toward a verified relational database management system (JGM, GM, AS, RW), pp. 237–248.

RE-2010-AoyamaNS #requirements #towards

REBOK Manifest: Towards a Requirements Engineering Body of Knowledge (MA, TN, SS), pp. 383–384.

RE-2010-JuretaBEM #consistency #generative #modelling #named #nondeterminism #requirements #towards

Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling (IJ, AB, NAE, JM), pp. 115–124.

RE-2010-MonteiroAAP #modelling #named #requirements #towards

Mdgore: Towards Model-Driven and Goal-Oriented Requirements Engineering (RM, JA, VA, PP), pp. 405–406.

RE-2010-WnukCR #reduction #requirements #towards #using

Guiding Requirements Scoping Using ROI: Towards Agility, Openness and Waste Reduction (KW, DC, BR), pp. 409–410.

REFSQ-2010-GleichCK #ambiguity #detection #towards

Ambiguity Detection: Towards a Tool Explaining Ambiguity Sources (BG, OC, LK), pp. 218–232.

REFSQ-2010-HubauxHSD #multi #towards

Towards Multi-view Feature-Based Configuration (AH, PH, PYS, DD), pp. 106–112.

REFSQ-2010-IslamMW #elicitation #framework #privacy #requirements #security #towards

Towards a Framework to Elicit and Manage Security and Privacy Requirements from Laws and Regulations (SI, HM, SW), pp. 255–261.

REFSQ-2010-ShahrokniF #framework #requirements #robust #specification #towards

Towards a Framework for Specifying Software Robustness Requirements Based on Patterns (AS, RF), pp. 79–84.

SAC-2010-AlencarCLSSAM #composition #modelling #towards

Towards modular i* models (FMRA, JC, ML, ES, CTLLS, JA, AMDM), pp. 292–297.

SAC-2010-AnelliLHL #detection #towards

Transport congestion events detection (TCED): towards decorrelating congestion detection from TCP (PA, EL, FH, DMLP), pp. 663–669.

SAC-2010-AveiroST #enterprise #generative #modelling #towards

Towards a GOD-theory for organizational engineering: continuously modeling the continuous (re)generation, operation and deletion of the enterprise (DA, ARS, JMT), pp. 150–157.

SAC-2010-FanizzidE #induction #towards

Towards the induction of terminological decision trees (NF, Cd, FE), pp. 1423–1427.

SAC-2010-GoncalvesCCGS #modelling #towards #using

Towards the modeling reactive and proactive agents by using MAS-ML (EJTG, MIC, GALdC, GFG, VTdS), pp. 936–937.

SAC-2010-GrozaHB #automation #towards

Towards automatic extraction of epistemic items from scientific publications (TG, SH, GB), pp. 1341–1348.

SAC-2010-HarshCN #generative #network #towards

Gray networking: a step towards next generation computer networks (PH, RC, REN), pp. 1323–1328.

SAC-2010-HonoratoB #named #towards

NCL-inspector: towards improving NCL code (GdSCH, SDJB), pp. 1946–1947.

SAC-2010-HummelMH #development #enterprise #evolution #information management #towards

Towards quality-aware development and evolution of enterprise information systems (OH, CM, SH), pp. 137–144.

SAC-2010-MatosBM #network #predict #towards

Towards in-network data prediction in wireless sensor networks (TBM, AB, JEBM), pp. 592–596.

SAC-2010-MatthysAHMJH #data access #fine-grained #network #towards

Towards fine-grained and application-centric access control for wireless sensor networks (NM, SRA, CH, SM, WJ, DH), pp. 793–794.

SAC-2010-MengB #component #towards

Towards the introduction of QoS information in a component model (SM, LSB), pp. 2045–2046.

SAC-2010-SatzgerBKU #lightweight #network #self #towards

Towards lightweight self-configuration in wireless sensor networks (BS, FB, FK, TU), pp. 791–792.

SAC-2010-Stander #smarttech #towards

Towards interactionflows for smart products (MS), pp. 1234–1235.

SAC-2010-WeiC #adaptation #mobile #semantics #towards

Towards semantic-based adaptation decisions for context-aware mobile computing (EJYW, ATSC), pp. 563–567.

SAC-2010-ZaplataL #as a service #mobile #process #towards

Towards mobile process as a service (SZ, WL), pp. 372–379.

SAC-2010-ZhouS #ad hoc #energy #network #performance #throughput #towards

Towards higher throughput and energy efficiency in dense wireless ad hoc and sensor networks (WZ, RS), pp. 749–755.

FSE-2010-Sanbonmatsu #biology #comprehension #towards

Supercomputing in biology: towards understanding living systems in atomic detail (KYS), pp. 1–2.

FSE-2010-Shokry #behaviour #synthesis #towards #using

Towards behavior elaboration and synthesis using modes (HS), pp. 349–352.

ICSE-2010-ChenM #approach #evolution #monitoring #requirements #safety #towards

Towards better support for the evolution of safety requirements via the model monitoring approach (ZC, GM), pp. 219–222.

ICSE-2010-DeLineR #development #towards

Code canvas: zooming towards better development environments (RD, KR), pp. 207–210.

ICSE-2010-FendlerW #education #perspective #re-engineering #towards

Towards contextualised software engineering education: an African perspective (JF, HWT), pp. 599–607.

ICSE-2010-Roy #towards #web #web service

Towards end-user enabled web service consumption for Mashups (MR), pp. 413–416.

PLEASE-2010-MamanB #graph #named #product line #towards

SPLGraph: towards a graph-based formalism for software product lines (IM, GB), pp. 40–47.

SPLC-2010-GuoW #consistency #evolution #feature model #modelling #towards

Towards Consistent Evolution of Feature Models (JG, YW), pp. 451–455.

CGO-2010-LindermanHDMN #analysis #automation #optimisation #precise #towards

Towards program optimization through automated analysis of numerical precision (MDL, MH, DLD, THYM, GPN), pp. 230–237.

HPCA-2010-UdipiMB #energy #network #scalability #towards

Towards scalable, energy-efficient, bus-based on-chip networks (ANU, NM, RB), pp. 1–12.

HPDC-2010-BuiWHWFT #empirical #quality #scalability #towards

Towards long term data quality in a large scale biometrics experiment (HB, DW, CH, RW, PJF, DT), pp. 565–572.

HPDC-2010-CarmichaelBTE #collaboration #data-driven #named #towards

Biocompute: towards a collaborative workspace for data intensive bio-science (RC, PBH, DT, SJE), pp. 489–498.

HPDC-2010-LiewAHH #data type #distributed #graph #optimisation #parallel #streaming #towards #using

Towards optimising distributed data streaming graphs using parallel streams (CSL, MPA, JIvH, LH), pp. 725–736.

HPDC-2010-RoderoJQPG #energy #towards

Towards energy-aware autonomic provisioning for virtualized environments (IR, JJ, AQ, MP, FG), pp. 320–323.

HPDC-2010-RoodGLS #performance #towards

Toward high performance computing in unconventional computing environments (BR, NG, MJL, NS), pp. 627–635.

HPDC-2010-WojciechowskiCPI #named #network #towards

BTWorld: towards observing the global BitTorrent file-sharing network (MW, MC, JAP, AI), pp. 581–588.

PPoPP-2010-LupeiSPMBKA #game studies #memory management #parallel #scalability #towards #transaction #using

Towards scalable and transparent parallelization of multiplayer games using transactional memory support (DL, BS, DP, MM, MB, WK, CA), pp. 325–326.

CSL-2010-Santo #canonical #deduction #towards

Towards a Canonical Classical Natural Deduction System (JES), pp. 290–304.

ICLP-2010-Alqaddoumi10 #functional #logic programming #parallel #towards #virtual machine

Towards a Parallel Virtual Machine for Functional Logic Programming (AA), pp. 222–225.

ICLP-2010-Gaggl10 #programming #towards

Towards a General Argumentation System based on Answer-Set Programming (SAG), pp. 265–269.

ICLP-J-2010-SlotaL #reasoning #towards

Towards closed world reasoning in dynamic open worlds (MS, JL), pp. 547–563.

ICST-2010-AsztalosLL #automation #model transformation #towards #verification

Towards Automated, Formal Verification of Model Transformations (MA, LL, TL), pp. 15–24.

ICST-2010-EldhBSHP #automation #scalability #towards

Towards Fully Automated Test Management for Large Complex Systems (SE, JB, MS, HH, SP), pp. 412–420.

ICST-2010-MadaniPP #case study #testing #towards

Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller (LM, VP, IP), pp. 489–497.

ICST-2010-Vega #adaptation #automation #information management #testing #towards

Towards an Automated and Dynamically Adaptable Test System for Testing Healthcare Information Systems (DEV), pp. 331–334.

CBSE-2009-GamaD #component #framework #towards

Towards Dynamic Component Isolation in a Service Oriented Platform (KG, DD), pp. 104–120.

QoSA-2009-GarciaPEM #architecture #smell #towards

Toward a Catalogue of Architectural Bad Smells (JG, DP, GE, NM), pp. 146–162.

WICSA-ECSA-2009-AschauerDP #architecture #modelling #multi #towards

Towards a generic architecture for multi-level modeling (TA, GD, WP), pp. 121–130.

WICSA-ECSA-2009-BielG #architecture #towards #usability

Towards a Method for Analyzing Architectural Support Levels of Usability (BB, VG), pp. 273–276.

WICSA-ECSA-2009-SpalazzeseII #formal method #on the fly #towards

Towards a formalization of mediating connectors for on the fly interoperability (RS, PI, VI), pp. 345–348.

ASE-2009-CassellAGN #automation #clustering #towards #using

Towards Automating Class-Splitting Using Betweenness Clustering (KC, PA, LG, JN), pp. 595–599.

ASE-2009-LiaskosMM #modelling #requirements #towards

Towards Augmenting Requirements Models with Preferences (SL, SAM, JM), pp. 565–569.

ASE-2009-WegrzynowiczS #design pattern #detection #testing #towards

Towards a Comprehensive Test Suite for Detectors of Design Patterns (PW, KS), pp. 103–110.

CASE-2009-CappelleriHSKEK #automation #towards

Towards fully automated phototransfection (DJC, ÁMH, JYS, TKK, JE, VK), pp. 202–207.

CASE-2009-FiorentiniSRS #standard #towards

Towards a method for harmonizing information standards (XF, RS, SR, RDS), pp. 466–471.

CASE-2009-PandeyA #process #towards

Towards a sociable robot guide which respects and supports the human activity (AKP, RA), pp. 262–267.

CASE-2009-SolisT #comprehension #learning #towards

Towards enhancing the understanding of human motor learning (JS, AT), pp. 591–596.

DATE-2009-Flamand #manycore #towards

Strategic directions towards multicore application specific computing (EF), p. 1266.

DATE-2009-SabeghiB #approach #configuration management #runtime #towards

Toward a runtime system for reconfigurable computers: A virtualization approach (MS, KB), pp. 1576–1579.

DATE-2009-YangHMP #behaviour #semantics #towards

Towards a formal semantics for the AADL behavior annex (ZY, KH, DM, LP), pp. 1166–1171.

DATE-2009-YangO #adaptation #towards

Towards no-cost adaptive MPSoC static schedules through exploitation of logical-to-physical core mapping latitude (CY, AO), pp. 63–68.

HT-2009-AlAghaB #approach #hypermedia #learning #towards

Towards a constructivist approach to learning from hypertext (IA, LB), pp. 51–56.

HT-2009-LopezE #named #towards #web

To: //: towards an open namespace for web resources (PGL, ME), pp. 335–336.

HT-2009-StyliarasC #hypermedia #named #towards #web

HyperSea: towards a spatial hypertext environment for web 2.0 content (GDS, SPC), pp. 35–44.

ICDAR-2009-AwalMV #recognition #towards

Towards Handwritten Mathematical Expression Recognition (AMA, HM, CVG), pp. 1046–1050.

ICDAR-2009-ChenLM #pseudo #towards

Toward Resisting Forgery Attacks via Pseudo-Signatures (JC, DPL, FM), pp. 51–55.

SIGMOD-2009-NehmeLBR #approach #data type #named #privacy #security #towards

StreamShield: a stream-centric approach towards security and privacy in data stream environments (RVN, HSL, EB, EAR), pp. 1027–1030.

VLDB-2009-ZhangOPT #similarity #towards

Similarity Search on Bregman Divergence: Towards Non-Metric Indexing (ZZ, BCO, SP, AKHT), pp. 13–24.

CSEET-2009-CastilloOFE #approach #developer #education #programming #towards

Toward an Approach to Programming Education to Produce Qualified Software Developers (JFC, CMdO, ESF, PVE), pp. 101–104.

CSEET-2009-FeldtHL #evaluation #re-engineering #towards

Generic Skills in Software Engineering Master Thesis Projects: Towards Rubric-Based Evaluation (RF, MH, FL), pp. 12–15.

ITiCSE-2009-RonchettiS #automation #towards

Towards automatic syllabi matching (MR, JS), p. 379.

CSMR-2009-Schwarz #approach #maintenance #towards #traceability

Towards a Comprehensive Traceability Approach in the Context of Software Maintenance (HS), pp. 339–342.

ICPC-2009-HouJJ #named #programming #towards

CnP: Towards an environment for the proactive management of copy-and-paste programming (DH, PJ, FJ), pp. 238–242.

ICPC-2009-SamiaL #architecture #graph #scalability #towards #visualisation

Towards pie tree visualization of graphs and large software architectures (MS, ML), pp. 301–302.

ICSM-2009-ParveenTDM #distributed #execution #framework #testing #towards

Towards a distributed execution framework for JUnit test cases (TP, SRT, ND, PM), pp. 425–428.

ICSM-2009-XieCN #comprehension #empirical #evolution #open source #towards

Towards a better understanding of software evolution: An empirical study on open source software (GX, JC, IN), pp. 51–60.

MSR-2009-Mockus #scalability #source code #towards #version control

Amassing and indexing a large sample of version control systems: Towards the census of public source code history (AM), pp. 11–20.

SCAM-2009-GutzmannKLL #analysis #points-to #towards

Towards Comparing and Combining Points-to Analyses (TG, AK, JL, WL), pp. 45–54.

SCAM-2009-LangeM #communication #csp #named #process #thread #towards

thr2csp: Toward Transforming Threads into Communicating Sequential Processes (RCL, SM), pp. 3–12.

WCRE-1999-Amoui99a #adaptation #evolution #towards

Evolving Software Systems Towards Adaptability (MA), pp. 299–302.

PLDI-2009-TournavitisWFO #approach #detection #parallel #towards

Towards a holistic approach to auto-parallelization: integrating profile-driven parallelism detection and machine-learning based mapping (GT, ZW, BF, MFPO), pp. 177–187.

ICALP-v1-2009-AroraSW #case study #graph #towards

Towards a Study of Low-Complexity Graphs (SA, DS, AW), pp. 119–131.

ICALP-v1-2009-GfellerS #towards

Towards Optimal Range Medians (BG, PS), pp. 475–486.

LATA-2009-Hemerik #parsing #taxonomy #towards

Towards a Taxonomy for ECFG and RRPG Parsing (KH), pp. 410–421.

FM-2009-GiannakopoulosDFK #alloy #semantics #towards

Towards an Operational Semantics for Alloy (TG, DJD, KF, SK), pp. 483–498.

CHI-2009-RamirezDD #navigation #towards

Towards human-centered support for indoor navigation (LR, SD, TD), pp. 1279–1282.

CHI-2009-SalvucciTB #concurrent #formal method #multi #performance #towards

Toward a unified theory of the multitasking continuum: from concurrent performance to task switching, interruption, and resumption (DDS, NT, JPB), pp. 1819–1828.

DHM-2009-HaazebroekH #interactive #towards

Towards a Computational Model of Perception and Action in Human Computer Interaction (PH, BH), pp. 247–256.

DHM-2009-LoudonM #design #representation #towards #visual notation

Towards a Visual Representation of the Effects of Reduced Muscle Strength in Older Adults: New Insights and Applications for Design and Healthcare (DL, ASM), pp. 540–549.

DHM-2009-MobusE #approach #modelling #programming #towards

Further Steps towards Driver Modeling According to the Bayesian Programming Approach (CM, ME), pp. 413–422.

HCD-2009-Clemmensen #ada #comparison #formal method #towards #usability

Towards a Theory of Cultural Usability: A Comparison of ADA and CM-U Theory (TC), pp. 416–425.

HCD-2009-NieminenKRM #analysis #fine-grained #testing #towards #usability

Towards Fine-Grained Usability Testing: New Methodological Directions with Conversation Analysis (MN, SK, SR, PM), pp. 879–887.

HCD-2009-RuggeRS #development #human-computer #process #smarttech #towards

Changes of HCI Methods towards the Development Process of Wearable Computing Solutions (IR, CR, BSR), pp. 302–311.

HCD-2009-Wurdel #collaboration #comprehension #towards

Towards an Holistic Understanding of Tasks, Objects and Location in Collaborative Environments (MW), pp. 357–366.

HCI-AUII-2009-BillinghurstGSD #artificial reality #interface #towards

Towards Ambient Augmented Reality with Tangible Interfaces (MB, RG, HS, AD), pp. 387–396.

HCI-AUII-2009-DetweilerB #guidelines #online #towards #trust

Trust in Online Technology: Towards Practical Guidelines Based on Experimentally Verified Theory (CD, JB), pp. 605–614.

HCI-AUII-2009-NakanoMTS #design #towards

Relationality Design toward Enriched Communications (YIN, MM, IT, KS), pp. 492–500.

HCI-AUII-2009-Umemuro #towards

Affective Technology, Affective Management, towards Affective Society (HU), pp. 683–692.

HCI-AUII-2009-WatanabeMSNM #interactive #interface #novel #towards

Electromyography Focused on Passiveness and Activeness in Embodied Interaction: Toward a Novel Interface for Co-creating Expressive Body Movement (TW, NM, RS, HN, YM), pp. 554–562.

HCI-NIMT-2009-BravoHFVCNFCPV #identification #interactive #towards

From Implicit to Touching Interaction by Identification Technologies: Towards Tagging Context (JB, RH, CF, VV, GC, SWN, JF, GC, RP, MV), pp. 417–425.

HCI-NIMT-2009-QueirozFBF #approach #evaluation #multimodal #towards #user interface

Towards a Multidimensional Approach for the Evaluation of Multimodal Application User Interfaces (JERdQ, JMF, AEVB, DdSF), pp. 29–38.

HCI-NIMT-2009-SuzukiKYY #interactive #interface #towards

A Basic Study of Sensory Characteristics toward Interaction with a Box-Shaped Interface (NS, TK, SY, SY), pp. 513–522.

HCI-NT-2009-DZmuraDLTS #speech #towards

Toward EEG Sensing of Imagined Speech (MD, SD, TL, ST, RS), pp. 40–48.

HCI-NT-2009-JohnS #modelling #predict #towards #usability

Toward Cognitive Modeling for Predicting Usability (BEJ, SS), pp. 267–276.

HCI-NT-2009-KimuraUOM #evaluation #metric #towards #usability

Toward Constructing an Electroencephalogram Measurement Method for Usability Evaluation (MK, HU, MO, KiM), pp. 95–104.

HCI-NT-2009-KleindienstCL #evaluation #named #towards

ADiEU: Toward Domain-Based Evaluation of Spoken Dialog Systems (JK, JC, ML), pp. 287–294.

HCI-NT-2009-Sikorski #design #online #towards #user interface

Beyond the User Interface: Towards User-Centred Design of Online Services (MS), pp. 706–714.

HCI-VAD-2009-KiefferGMBWKM #standard #towards

Towards Standardized Pen-Based Annotation of Breast Cancer Findings (SK, AG, RM, CVB, JFDW, FK, BM), pp. 524–533.

HIMI-DIE-2009-Ocenasek09b #architecture #security #towards

Towards Security Issues in ZigBee Architecture (PO), pp. 587–593.

HIMI-II-2009-GiakoumisTKBH #approach #mobile #towards

An Integrated Approach towards the Homogeneous Provision of Geographically Dispersed Info-Mobility Services to Mobile Users (DG, DT, DK, EB, GH), pp. 385–394.

HIMI-II-2009-PrecelEA #design #learning #online #student #towards

Learning by Design in a Digital World: Students’ Attitudes towards a New Pedagogical Model for Online Academic Learning (KP, YEA, YA), pp. 679–688.

SIGAda-2009-Chelini #towards

Working towards DO-178C/ED-12C, DO-248C/ED-94C, and DO-278A/ED109A (JC), pp. 103–104.

CAiSE-2009-Haller #concept #implementation #migration #standard #towards

Towards the Industrialization of Data Migration: Concepts and Patterns for Standard Software Implementation Projects (KH), pp. 63–78.

CAiSE-2009-KubickiDHG #towards

Towards a Sustainable Services Innovation in the Construction Sector (SK, ED, GH, AG), pp. 319–333.

CAiSE-2009-MetzgerP #framework #generative #research #towards

Towards the Next Generation of Service-Based Systems: The S-Cube Research Framework (AM, KP), pp. 11–16.

CAiSE-2009-WeigandJAB #design #modelling #towards

Value-Based Service Modeling and Design: Toward a Unified View of Services (HW, PJ, BA, MB), pp. 410–424.

EDOC-2009-AtkinsonB #development #towards

Towards a Client-Oriented Model of Types and States in Service-Oriented Development (CA, PB), pp. 119–127.

EDOC-2009-MilanovicG #modelling #process #towards

Towards a Language for Rule-Enhanced Business Process Modeling (MM, DG), pp. 64–73.

EDOC-2009-WielandGSL #towards #web #web service #workflow

Towards Reference Passing in Web Service and Workflow-Based Applications (MW, KG, DS, FL), pp. 109–118.

ICEIS-AIDSS-2009-BratuP #data mining #mining #preprocessor #towards

Towards a Unified Strategy for the Preprocessing Step in Data Mining (CVB, RP), pp. 230–235.

ICEIS-AIDSS-2009-OroR #process #semantics #towards

Towards a Semantic System for Managing Clinical Processes (EO, MR), pp. 180–187.

ICEIS-DISI-2009-ReyesOPGMD #concept #quality #towards

Toward a Quality Model for CBSE — Conceptual Model Proposal (MAR, MO, MAP, AG, LEM, KD), pp. 101–106.

ICEIS-HCI-2009-FogliP #design #development #information management #interactive #process #towards

Information System Customization — Toward Participatory Design and Development of the Interaction Process (DF, LPP), pp. 72–77.

ICEIS-HCI-2009-VinhasSOR #assessment #multi #realtime #towards

Dynamic Multimedia Environment based on Realtime user Emotion Assessment — Biometric User Data towards Affective Immersive Environments (VV, DCS, ECO, LPR), pp. 42–47.

ICEIS-ISAS-2009-LundbergG #approach #distributed #information management #robust #towards

Robust Approach Towards Context Dependant Information Sharing in Distributed Environments (JL, RG), pp. 200–205.

ICEIS-ISAS-2009-MarkovicH #abstraction #modelling #process #towards

Towards Integrating Perspectives and Abstraction Levels in Business Process Modeling (IM, FH), pp. 286–291.

ICEIS-J-2009-BoukhebouzeABM #execution #process #self #towards

Towards Self-healing Execution of Business Processes Based on Rules (MB, YA, ANB, ZM), pp. 501–512.

ICEIS-J-2009-ShishkovSV #collaboration #flexibility #perspective #towards

Towards Flexible Inter-enterprise Collaboration: A Supply Chain Perspective (BS, MvS, AV), pp. 513–527.

ICEIS-J-2009-SubercazeEMJKAI #community #towards

Towards Successful Virtual Communities (JS, CEM, PM, AJ, MK, PA, MI), pp. 677–688.

CIKM-2009-BhowmickDLN #evaluation #towards #xpath

Towards non-directional Xpath evaluation in a RDBMS (SSB, CED, EL, ZN), pp. 1501–1504.

CIKM-2009-MeloW #learning #towards

Towards a universal wordnet by learning from combined evidence (GdM, GW), pp. 513–522.

CIKM-2009-NakataniJT #towards #web

Easiest-first search: towards comprehension-based web search (MN, AJ, KT), pp. 2057–2060.

CIKM-2009-ParkG #automation #metric #realtime #towards #using

Towards real-time measurement of customer satisfaction using automatically generated call transcripts (YP, SCG), pp. 1387–1396.

ECIR-2009-BechetRC #towards

Towards the Selection of Induced Syntactic Relations (NB, MR, JC), pp. 786–790.

KDD-2009-LuoLXZS #case study #classification #information management #towards #web

Towards combining web classification and web information extraction: a case study (PL, FL, YX, YZ, ZS), pp. 1235–1244.

KDD-2009-OzonatY #classification #multi #statistics #towards #web

Towards a universal marketplace over the web: statistical multi-label classification of service provider forms with simulated annealing (KMO, DY), pp. 1295–1304.

KDD-2009-PoernomoG09a #fault tolerance #mining #performance #towards

Towards efficient mining of proportional fault-tolerant frequent itemsets (AKP, VG), pp. 697–706.

KDD-2009-ZhangFPGS #streaming #towards

Toward autonomic grids: analyzing the job flow with affinity streaming (XZ, CF, JP, CGR, MS), pp. 987–996.

KDIR-2009-WohrerZDB #composition #data mining #metaprogramming #mining #optimisation #towards

Unboxing Data Mining Via Decomposition in Operators — Towards Macro Optimization and Distribution (AW, YZ, EuHD, PB), pp. 243–248.

KEOD-2009-AlloccadM #formal method #named #ontology #towards

DOOR — Towards a Formalization of Ontology Relations (CA, Md, EM), pp. 13–20.

KEOD-2009-DumitrescuK #performance #reuse #self #towards

Towards Social-software for the Efficient Reuse of Solution Patterns for Self-optimizing Systems (RD, BK), pp. 342–347.

KEOD-2009-Essert-VillardBS #approach #multi #semantics #towards

Multi-semantic Approach Towards a Generic Formal Solver of Tool Placement for Percutaneous Surgery (CEV, CB, PS), pp. 443–446.

KEOD-2009-GrozaH #approach #hybrid #metadata #towards

A Hybrid Approach Towards Information Expansion based on Shallow and Deep Metadata (TG, SH), pp. 109–116.

KEOD-2009-Haddad #approach #probability #representation #towards #word

Representation of Arabic Words — An Approach Towards Probabilistic Root-Pattern Relationships (BH), pp. 147–152.

KEOD-2009-QiangRW #integration #ontology #towards

Towards a General Temporal Ontology for Knowledge Integration (YQ, FR, NVdW), pp. 275–280.

KEOD-2009-Reyes-PerezBG #towards

Towards an Expert System for the Manufacturing System Planning of Products with Graded Properties (MRP, JB, JG), pp. 226–232.

KMIS-2009-DochevA #learning #semantics #towards #web

Towards Semantic Web Enhanced Learning (DD, GA), pp. 212–217.

KMIS-2009-SerranoA #approach #implementation #information management #towards

Knowledge Management Implementation Methodology — Towards a Practical Approach (DBS, RMdA), pp. 305–308.

MLDM-2009-ElghazelB #towards

Towards B-Coloring of SOM (HE, KB), pp. 322–336.

SEKE-2009-AzizZM #classification #requirements #towards

Towards a Classification of Requirements Relationships (RAA, DZ, TM), pp. 26–32.

SEKE-2009-BarbosaB #elicitation #process #requirements #towards

Towards the Selection of the Most Suitable Elicitation Technique Through a Defined Requirements Elicitation Process (MWB, GARB), pp. 33–36.

SEKE-2009-ChangH #adaptation #approach #aspect-oriented #modelling #towards

Towards Adaptable BDI Agent: A Formal Aspect-oriented Modeling Approach (LC, XH), pp. 189–193.

SEKE-2009-FengHPWM #modelling #towards

Towards Merging Goal Models of Networked Software (ZF, KH, RP, JW, YM), pp. 178–184.

SEKE-2009-ManicaRTDB #information management #ontology #representation #semantics #towards

Toward Developing Knowledge Representation in Emergency Medical Assistance through a Ontology-based Semantic Cache Model (HM, CCdR, JLT, MARD, MAB), pp. 592–596.

SEKE-2009-RachevaD #agile #concept #development #perspective #requirements #towards

Reprioritizing the Requirements in Agile Software Development: Towards a Conceptual Model from Clients’ Perspective (ZR, MD), pp. 73–80.

SEKE-2009-RetkowitzAN #smarttech #towards

Towards Mobility Support in Smart Environments (DR, IA, MN), pp. 603–608.

SEKE-2009-ScheithauerAW #modelling #towards

Business Modeling for Service Engineering: Toward an integrated Procedure Model (GS, SA, GW), pp. 322–327.

SEKE-2009-SunSJ #architecture #collaboration #development #towards

Towards Architecture-centric Collaborative Software Development (YS, HS, WJ), pp. 152–156.

SEKE-2009-UllahRG #architecture #case study #design #evaluation #open source #towards

Towards Design and Architectural Evaluation of Product Variants: A Case Study on an Open Source Software System (MIU, GR, VG), pp. 141–146.

SIGIR-2009-AzzopardiO #towards

Search engine predilection towards news media providers (LA, CO), pp. 774–775.

SIGIR-2009-KazaiMC #quality #towards

Towards methods for the collective gathering and quality control of relevance assessments (GK, NMF, JC), pp. 452–459.

ICMT-2009-HettelLR #abduction #approach #towards

Towards Model Round-Trip Engineering: An Abductive Approach (TH, ML, KR), pp. 100–115.

MoDELS-2009-JurackT #concept #distributed #graph transformation #model transformation #towards #using

Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.

MoDELS-2009-SoltenbornE #semantics #specification #testing #towards

Towards Test-Driven Semantics Specification (CS, GE), pp. 378–392.

MoDELS-2009-YueBL #analysis #approach #case study #concept #empirical #evaluation #modelling #towards

A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation (TY, LCB, YL), pp. 484–498.

MoDELS-2009-JurackT #concept #distributed #graph transformation #model transformation #towards #using

Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.

MoDELS-2009-SoltenbornE #semantics #specification #testing #towards

Towards Test-Driven Semantics Specification (CS, GE), pp. 378–392.

MoDELS-2009-YueBL #analysis #approach #case study #concept #empirical #evaluation #modelling #towards

A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation (TY, LCB, YL), pp. 484–498.

GPCE-2009-GarciaL #metaprogramming #towards

Toward foundations for type-reflective metaprogramming (RG, AL), pp. 25–34.

LOPSTR-2009-BolzLR #partial evaluation #prolog #towards

Towards Just-In-Time Partial Evaluation of Prolog (CFB, ML, AR), pp. 158–172.

LOPSTR-2009-DegraveSV #constraints #framework #generative #testing #towards

Towards a Framework for Constraint-Based Test Case Generation (FD, TS, WV), pp. 128–142.

LOPSTR-2009-Vidal #declarative #partial evaluation #scalability #source code #towards

Towards Scalable Partial Evaluation of Declarative Programs (GV), pp. 1–4.

PADL-2009-EastlundF #towards

Toward a Practical Module System for ACL2 (CE, MF), pp. 46–60.

PADL-2009-GuzmanCH #execution #program transformation #towards

Towards a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 224–238.

RE-2009-HolbrookHD #assessment #automation #requirements #towards

Toward Automating Requirements Satisfaction Assessment (EAH, JHH, AD), pp. 149–158.

RE-2009-SalinesiRDM #classification #fault #feature model #modelling #product line #towards #verification

Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria (CS, CR, DD, RM), pp. 385–386.

REFSQ-2009-RegevHGW #quality #towards

Toward a Service Management Quality Model (GR, OH, DCG, AW), pp. 16–21.

SAC-2009-AhamedKHZ #security #towards #trust

Towards developing a trust-based security solution (SIA, DK, CSH, MZ), pp. 2204–2205.

SAC-2009-CamaraBG #operating system #towards

Towards organizational agent-oriented operating systems (JPC, VJB, AGF), pp. 752–756.

SAC-2009-DaiMSZ #concept analysis #towards #using

Towards “WYDIWYS” for MIMI using concept analysis (JD, RM, JS, GQZ), pp. 91–97.

SAC-2009-HidakaHKN #approach #composition #development #model transformation #towards

Towards a compositional approach to model transformation for software development (SH, ZH, HK, KN), pp. 468–475.

SAC-2009-HunerOO #maturity #quality #towards

Towards a maturity model for corporate data quality management (KMH, MO, BO), pp. 231–238.

SAC-2009-LandZEL #enterprise #integration #ontology #performance #towards

Towards a fast enterprise ontology based method for post merger integration (MOL, HZ, PE, QL), pp. 245–252.

SAC-2009-LiuYWS #architecture #injection #named #sql #towards

SQLProb: a proxy-based architecture towards preventing SQL injection attacks (AL, YY, DW, AS), pp. 2054–2061.

SAC-2009-LopesVCTL #assessment #semantics #towards

Towards the universal semantic assessment of accessibility (RL, KV, LC, DT, SDL), pp. 147–151.

SAC-2009-MlynkovaN #towards

Towards inference of more realistic XSDs (IM, MN), pp. 639–646.

SAC-2009-MonjurA #framework #privacy #towards

Towards a landmark influence framework to protect location privacy (MM, SIA), pp. 219–220.

SAC-2009-SchryenK #open source #security #towards

Open source vs. closed source software: towards measuring security (GS, RK), pp. 2016–2023.

ESEC-FSE-2009-MaiaKUM #modelling #probability #refinement #towards #using

Towards accurate probabilistic models using state refinement (PHMM, JK, SU, NCM), pp. 281–284.

SLE-2009-LairdB #domain-specific language #evolution #towards

Towards Dynamic Evolution of Domain Specific Languages (PL, SB), pp. 144–153.

SLE-2009-WendeTZ #approach #composition #towards

A Role-Based Approach towards Modular Language Engineering (CW, NT, SZ), pp. 254–273.

SPLC-2009-CarbonAU #approach #product line #towards

Towards a product line approach for office devices: facilitating customization of office devices at Ricoh Co. Ltd (RC, SA, TU), pp. 151–160.

HPDC-2009-IbrahimJCCWQ #implementation #named #pipes and filters #towards #virtual machine

CLOUDLET: towards mapreduce implementation on virtual machines (SI, HJ, BC, HC, SW, LQ), pp. 65–66.

LCTES-2009-HeinzW #code generation #towards

Towards device emulation code generation (TH, RW), pp. 109–118.

PPoPP-2009-MarkstrumFM #concurrent #refactoring #towards

Towards concurrency refactoring for x10 (SM, RMF, TDM), pp. 303–304.

CAV-2009-CosteHLS #composition #design #industrial #modelling #performance #predict #towards

Towards Performance Prediction of Compositional Models in Industrial GALS Designs (NC, HH, EL, WS), pp. 204–218.

CAV-2009-SunLDP #flexibility #named #towards #verification

PAT: Towards Flexible Verification under Fairness (JS, YL, JSD, JP), pp. 709–714.

TestCom-FATES-2009-Gecse #automation #framework #generative #towards

Towards Automatic Generation of a Coherent TTCN-3 Template Framework (RG), pp. 223–228.

TLCA-2009-Tasson #algebra #towards

Algebraic Totality, towards Completeness (CT), pp. 325–340.

VMCAI-2009-AmjadB #analysis #automation #proving #towards

Towards Automatic Stability Analysis for Rely-Guarantee Proofs (HA, RB), pp. 14–28.

CBSE-2008-AlbaniOB #component #identification #towards

Towards a Systematic Method for Identifying Business Components (AA, SO, DB), pp. 262–277.

CBSE-2008-ChoiB #component #design #towards #verification

Towards Component-Based Design and Verification of a µ-Controller (YC, CB), pp. 196–211.

ECSA-2008-AngelovTG #architecture #case study #evaluation #experience #towards

Towards a Method for the Evaluation of Reference Architectures: Experiences from a Case (SA, JJMT, PWPJG), pp. 225–240.

ECSA-2008-OberDFP #component #development #domain-specific language #product line #towards

Towards Interoperability in Component Based Development with a Family of DSLs (IO, AAD, LF, CP), pp. 148–163.

ECSA-2008-PintoF #aspect-oriented #modelling #process #quality #towards

Towards a Software Process for Aspect-Oriented Modeling of Quality Attributes (MP, LF), pp. 334–337.

ECSA-2008-TangKL #architecture #bibliography #independence #perspective #towards

Towards Independent Software Architecture Review (AT, FCK, MFL), pp. 306–313.

ECSA-2008-TerraV #architecture #constraints #dependence #towards

Towards a Dependency Constraint Language to Manage Software Architectures (RT, MTdOV), pp. 256–263.

WICSA-2008-AllouiCV #architecture #component #identification #towards

Towards Software Architecture Physiology: Identifying Vital Components (IA, SC, HV), pp. 293–296.

WICSA-2008-ChangMQ #architecture #configuration management #formal method #graph #towards

Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs (ZC, XM, ZQ), pp. 331–334.

WICSA-2008-CuiSM #architecture #automation #design #synthesis #towards

Towards Automated Solution Synthesis and Rationale Capture in Decision-Centric Architecture Design (XC, YS, HM), pp. 221–230.

ASE-2008-Eltaher #approach #testing #towards

Towards Good Enough Testing: A Cognitive-Oriented Approach Applied to Infotainment Systems (AE), pp. 525–528.

CASE-2008-HuLH #bibliography #enterprise #modelling #problem #towards

Towards modeling of resilience dynamics in manufacturing enterprises: Literature review and problem formulation (YH, JL, LEH), pp. 279–284.

CASE-2008-VahediS #towards

Towards output-sensitive computation of two-finger caging grasps (MV, AFvdS), pp. 73–78.

DAC-2008-FeldmannA #approach #modelling #physics #towards

Towards a more physical approach to gate modeling for timing, noise, and power (PF, SA), pp. 453–455.

DAC-2008-GanaiG #scalability #slicing #towards

Tunneling and slicing: towards scalable BMC (MKG, AG), pp. 137–142.

DAC-2008-GulatiK #fault #simulation #towards #using

Towards acceleration of fault simulation using graphics processing units (KG, SPK), pp. 822–827.

DAC-2008-MandalBMM #design #named #towards

IntellBatt: towards smarter battery design (SKM, PB, SPM, RNM), pp. 872–877.

DAC-2008-NikolovTSPPBZD #composition #design #multi #named #towards

Daedalus: toward composable multimedia MP-SoC design (HN, MT, TS, ADP, SP, RB, CZ, EFD), pp. 574–579.

DATE-2008-RaoO #fault tolerance #parallel #towards

Towards fault tolerant parallel prefix adders in nanoelectronic systems (WR, AO), pp. 360–365.

DATE-2008-WolffPBC #analysis #detection #problem #towards

Towards Trojan-Free Trusted ICs: Problem Analysis and Detection Scheme (FGW, CAP, SB, RSC), pp. 1362–1365.

DocEng-2008-AlkhateebL #composition #documentation #generative #towards #using

Towards extending and using SPARQL for modular document generation (FA, SL), pp. 164–172.

DocEng-2008-AluisioSPMF #automation #towards

Towards Brazilian Portuguese automatic text simplification systems (SMA, LS, TASP, EGM, RPdMF), pp. 240–248.

DocEng-2008-GoncalvesRV #towards

Summarizing and referring: towards cohesive extracts (PNG, LHMR, RV), pp. 253–256.

HT-2008-JatowtKOT #documentation #interactive #modelling #towards #what

What can history tell us?: towards different models of interaction with document histories (AJ, YK, HO, KT), pp. 5–14.

HT-2008-PapagelisPZ #named #navigation #online #social #towards

Iclone: towards online social navigation (AP, MP, CDZ), pp. 237–238.

PODS-2008-FaginKNP #formal method #optimisation #towards

Towards a theory of schema-mapping optimization (RF, PGK, AN, LP), pp. 33–42.

SIGMOD-2008-BonifatiMPRS #quality #towards

The Spicy system: towards a notion of mapping quality (AB, GM, AP, SR, GS), pp. 1289–1294.

SIGMOD-2008-LiuT #graph #towards

Towards identity anonymization on graphs (KL, ET), pp. 93–106.

SIGMOD-2008-ShenDMDR #information management #towards

Toward best-effort information extraction (WS, PD, RM, AD, RR), pp. 1031–1042.

VLDB-2008-AlexeTV #benchmark #metric #named #towards

STBenchmark: towards a benchmark for mapping systems (BA, WCT, YV), pp. 230–244.

VLDB-2008-BiveinisS #in memory #performance #towards

Towards efficient main-memory use for optimum tree index update (LB, SS), pp. 1617–1622.

VLDB-2008-JainMSGWBCCTZ #sql #standard #streaming #towards

Towards a streaming SQL standard (NJ, SM, AS, JG, JW, HB, UÇ, MC, RT, SBZ), pp. 1379–1390.

VLDB-2008-LiuCBC #independence #physics #sql #towards #xml #xquery

Towards a physical XML independent XQuery/SQL/XML engine (ZHL, SC, TB, HJC), pp. 1356–1367.

ITiCSE-2008-AmelungFR #flexibility #towards #web #web service

Towards generic and flexible web services for e-assessment (MA, PF, DFR), pp. 219–224.

ITiCSE-2008-MorenoICM #database #design #distance #education #learning #towards #using

Using accessible digital resources for teaching database design: towards an inclusive distance learning proposal (LM, AI, EC, PM), pp. 32–36.

ITiCSE-2008-RomeroVP #elicitation #requirements #towards

Toward a definition of the competences for global requirements elicitation (MR, AV, MP), p. 364.

ITiCSE-2008-Shaban-NejadH #education #learning #towards

Web-based dynamic learning through lexical chaining: a step forward towards knowledge-driven education (ASN, VH), p. 375.

FASE-2008-DuarteKU #towards

Towards Faithful Model Extraction Based on Contexts (LMD, JK, SU), pp. 101–115.

TACAS-2008-TsayCTCL #automaton #logic #research #towards

GOAL Extended: Towards a Research Tool for ω Automata and Temporal Logic (YKT, YFC, MHT, WCC, CJL), pp. 346–350.

CSMR-2008-Ceccato #aspect-oriented #automation #migration #towards

Automatic Support for the Migration Towards Aspects (MC), pp. 298–301.

CSMR-2008-FulopFG #benchmark #design pattern #metric #mining #tool support #towards

Towards a Benchmark for Evaluating Design Pattern Miner Tools (LJF, RF, TG), pp. 143–152.

CSMR-2008-SpekKL #architecture #concept #semantics #towards #using

Towards Recovering Architectural Concepts Using Latent Semantic Indexing (PvdS, SK, PvdL), pp. 253–257.

ICSM-2008-Kienle #component #development #process #reverse engineering #tool support #towards

Building reverse engineering tools with software components: Towards a dedicated development process for academia (HMK), pp. 416–419.

ICSM-2008-Lungu #ecosystem #reverse engineering #towards

Towards reverse engineering software ecosystems (ML), pp. 428–431.

MSR-2008-HerraizGGR #debugging #eclipse #towards

Towards a simplification of the bug report form in eclipse (IH, DMG, JMGB, GR), pp. 145–148.

PASTE-2008-JashkiZB #impact analysis #performance #towards

Towards a more efficient static software change impact analysis method (MAJ, RZ, EB), pp. 84–90.

WCRE-2008-FulopHFG #benchmark #metric #reverse engineering #tool support #towards

Towards a Benchmark for Evaluating Reverse Engineering Tools (LJF, PH, RF, TG), pp. 335–336.

WCRE-2008-KienleM #maintenance #process #tool support #towards

Towards a Process for Developing Maintenance Tools in Academia (HMK, HAM), pp. 237–246.

STOC-2008-NordstromH #towards

Towards an optimal separation of space and length in resolution (JN, JH), pp. 701–710.

FM-2008-HarhurinH #consistency #product line #specification #towards

Towards Consistent Specifications of Product Families (AH, JH), pp. 390–405.

GT-VMT-2006-AutiliP08 #requirements #towards #visual notation

Towards a Graphical Tool for Refining User to System Requirements (MA, PP), pp. 147–157.

GT-VMT-2006-BaldanCDFGR08 #graph grammar #towards #transaction

Towards a Notion of Transaction in Graph Rewriting (PB, AC, FLD, LF, FG, LR), pp. 39–50.

GT-VMT-2006-DarabosPV08 #graph transformation #implementation #testing #towards

Towards Testing the Implementation of Graph Transformations (AD, AP, DV), pp. 75–85.

GT-VMT-2006-NarayananK08 #model transformation #towards #verification

Towards Verifying Model Transformations (AN, GK), pp. 191–200.

GT-VC-2007-Bruggink08 #graph transformation #proving #termination #towards

Towards a Systematic Method for Proving Termination of Graph Transformation Systems (HJSB), pp. 23–38.

ICGT-2008-Horvath #approach #graph transformation #towards #verification

Towards a Two Layered Verification Approach for Compiled Graph Transformation (ÁH), pp. 499–501.

ICGT-2008-KonigK #graph transformation #towards #verification

Towards the Verification of Attributed Graph Transformation Systems (BK, VK), pp. 305–320.

ICGT-2008-Stevens #algebra #bidirectional #towards

Towards an Algebraic Theory of Bidirectional Transformations (PS), pp. 1–17.

CHI-2008-ChengET #source code #towards

Participant and interviewer attitudes toward handheld computers in the context of HIV/AIDS programs in sub-Saharan Africa (KGC, FE, KNT), pp. 763–766.

CHI-2008-HanksORB #interactive #towards

Sustainable millennials: attitudes towards sustainability and the material effects of interactive technologies (KH, WO, DR, EB), pp. 333–342.

CSCW-2008-BalkaBW #health #towards

Steps toward a typology for health informatics (EB, PB, IW), pp. 515–524.

CSCW-2008-EvansC #comprehension #social #towards

Towards a model of understanding social search (BME, EHC), pp. 485–494.

SOFTVIS-2008-FrischDB #diagrams #semantics #towards #uml

Towards seamless semantic zooming techniques for UML diagrams (MF, RD, TB), pp. 207–208.

CAiSE-2008-FranchG #metric #towards

Towards a Catalogue of Patterns for Defining Metrics over i*Models (XF, GG), pp. 197–212.

EDOC-2008-GuermoucheG #composition #data flow #towards

Toward Data Flow Oriented Services Composition (NG, CG), pp. 379–385.

ICEIS-DISI-2008-Baeza-Yates #distributed #towards

Towards A Distributed Search Engine (RABY), p. 13.

ICEIS-DISI-2008-CarstensenSH #enterprise #modelling #towards

Towards A Methodology for Modelling Interoperability between Collaborating Enterprises (AC, KS, LH), pp. 333–338.

ICEIS-DISI-2008-CurinoMTZ #benchmark #evolution #information management #metric #towards #web #wiki

Schema Evolution in Wikipedia — Toward a Web Information System Benchmark (CC, HJM, LT, CZ), pp. 323–332.

ICEIS-DISI-2008-Eessaar #framework #metric #quality #towards

Towards a Semiotic Quality Framework of Software Measures (EE), pp. 41–48.

ICEIS-DISI-2008-MangisengiH #framework #towards

Towards a Closed-Loop Business Intelligence Framework (OM, NTH), pp. 210–217.

ICEIS-DISI-2008-SchulteHSES #collaboration #flexibility #framework #generative #research #towards

Towards the Next Generation of Service-Oriented Flexible Collaborative Systems — A Basic Framework Applied to Medical Research (JS, TH, KS, JE, ES), pp. 232–239.

ICEIS-DISI-2008-SilveiraPM #enterprise #information management #integration #towards

Towards a Method for Enterprise Information Systems Integration (RS, JP, EM), pp. 349–354.

ICEIS-ISAS1-2008-IdaniC #towards #uml

Towards Reverse-Engineering of UML Views from Structured Formal Developments (AI, BC), pp. 94–103.

ICEIS-ISAS2-2008-AnicicS #framework #information management #logic #towards

Towards Creation of Logical Framework for Event-Driven Information Systems (DA, NS), pp. 394–401.

ICEIS-ISAS2-2008-BainaT #algorithm #graph #hybrid #towards #verification #workflow

Toward a Hybrid Algorithm for Workflow Graph Structural Verification (FT, KB, WG), pp. 442–447.

ICEIS-ISAS2-2008-BrockeMR #approach #modelling #process #towards

Towards a Value-Oriented Approach to Business Process Modelling (JvB, JM, JR), pp. 380–395.

ICEIS-ISAS2-2008-BrockeSC #analysis #framework #process #re-engineering #specification #towards

ECM Systems Analysis and Specification — Towards a Framework for Business Process Re-Engineering (JvB, AS, AC), pp. 345–350.

ICEIS-ISAS2-2008-HammoudiAL #architecture #automation #process #towards

Towards a Semi-Automatic Transformation Process in MDA — Architecture and Methodology (SH, WA, DL), pp. 416–425.

ICEIS-ISAS2-2008-KansoESS #architecture #named #towards

RICAD: Towards an Architecture for Recognizing Author’s Targets (HK, AE, CSD, ST), pp. 374–379.

ICEIS-ISAS2-2008-MonteiroFBM #analysis #information management #mobile #towards

An Analysis Pattern for Mobile Geographic Information Systems toward Municipal Urban Administration (BRM, JLF, JLB, WSM), pp. 311–318.

CIKM-2008-QianD #incremental #maintenance #towards

A step towards incremental maintenance of the composed schema mapping (GQ, YD), pp. 173–182.

CIKM-2008-WangTL #hybrid #named #ranking #scalability #towards

CE2: towards a large scale hybrid search engine with integrated ranking support (HW, TT, CL), pp. 1323–1324.

ECIR-2008-ChoudharyMBB #corpus #evolution #interactive #towards

Towards Characterization of Actor Evolution and Interactions in News Corpora (RC, SM, AB, RB), pp. 422–429.

ECIR-2008-SchedlKPW #automation #information management #mining #music #towards #web

Towards an Automatically Generated Music Information System Via Web Content Mining (MS, PK, TP, GW), pp. 585–590.

ICPR-2008-KherallahKEA #interactive #towards

Toward an interactive device for quick news story browsing (MK, HK, ME, AMA), pp. 1–4.

ICPR-2008-RohithSKG #estimation #image #scalability #towards

Towards estimation of dense disparities from stereo images containing large textureless regions (MVR, GS, CK, CAG), pp. 1–5.

ICPR-2008-TanY #clustering #image #segmentation #towards

Image segmentation towards natural clusters (ZT, NHCY), pp. 1–4.

SEKE-2008-Condori-FernandezP #metric #modelling #towards

Towards a Theoretical Model for Evaluating the Acceptance of Model-driven Measurement Procedures (NCF, OP), pp. 22–25.

SEKE-2008-LucasSM #classification #personalisation #recommendation #towards

Comparing the Use of Traditional and Associative Classifiers towards Personalized Recommendations (JPL, SS, MNMG), pp. 607–612.

SEKE-2008-MenckeKD #metric #ontology #towards

Towards Metrics for Ontology Balance (SM, MK, RRD), pp. 918–922.

SEKE-2008-ParveenATMF #analysis #detection #probability #towards

Towards the Detection of Emulated Environments via Analysis of the Stochastic Nature of System Calls (TP, WHA, SRT, GAM, RF), pp. 802–807.

SEKE-2008-SloanK #model checking #towards #web #web service

Toward Model Checking Web Services Over the Web (JCS, TMK), pp. 519–524.

SEKE-2008-SunSWJ #architecture #collaboration #development #towards

Towards Collaborative Development Based on Software Architecture (YS, HS, XW, WJ), pp. 250–254.

SIGIR-2008-CarmanC #distributed #information retrieval #personalisation #towards

Towards personalized distributed information retrieval (MJC, FC), pp. 719–720.

SIGIR-2008-KalashnikovNM #approach #people #quality #towards #web

Towards breaking the quality curse.: a web-querying approach to web people search (DVK, RNT, SM), pp. 27–34.

SIGIR-2008-LinS #automation #evaluation #how #simulation #towards

How do users find things with PubMed?: towards automatic utility evaluation with user simulations (JJL, MDS), pp. 19–26.

SIGIR-2008-Meij #documentation #navigation #towards

Towards a combined model for search and navigation of annotated documents (EM), p. 898.

ECMDA-FA-2008-BorkGSZ #approach #reverse engineering #towards

Towards Roundtrip Engineering — A Template-Based Reverse Engineering Approach (MB, LG, CS, AZ), pp. 33–47.

ECMDA-FA-2008-EngelsKRSSW #behaviour #model transformation #process #towards #uml

From UML Activities to TAAL — Towards Behaviour-Preserving Model Transformations (GE, AK, AR, MS, CS, HW), pp. 94–109.

ECMDA-FA-2008-FritzscheGFSKB #analysis #modelling #performance #towards

Towards Utilizing Model-Driven Engineering of Composite Applications for Business Performance Analysis (MF, WG, CF, ITAS, PK, TJB), pp. 369–380.

MoDELS-2008-CraneD #execution #formal method #modelling #set #towards #uml

Towards a Formal Account of a Foundational Subset for Executable UML Models (MLC, JD), pp. 675–689.

MoDELS-2008-CraneD #execution #formal method #modelling #set #towards #uml

Towards a Formal Account of a Foundational Subset for Executable UML Models (MLC, JD), pp. 675–689.

OOPSLA-2008-DistefanoP #java #named #towards #verification

jStar: towards practical verification for java (DD, MJP), pp. 213–226.

OOPSLA-2008-SimpkinsBIM #adaptation #learning #programming language #towards

Towards adaptive programming: integrating reinforcement learning into a programming language (CS, SB, CLIJ, MM), pp. 603–614.

TOOLS-EUROPE-2008-SteimannES #fault #testing #towards

Towards Raising the Failure of Unit Tests to the Level of Compiler-Reported Errors (FS, TEE, MS), pp. 60–79.

PPDP-2008-MeraLCH #automaton #estimation #execution #towards

Towards execution time estimation in abstract machine-based languages (EM, PLG, MC, MVH), pp. 174–184.

PADL-2008-CasasCH #execution #implementation #independence #strict #towards

Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism (AC, MC, MVH), pp. 230–247.

RE-2008-RamasubramaniamH #independence #requirements #towards

Pattern Oriented Requirements towards Independent Software Vendors (KSR, ASH), pp. 253–258.

REFSQ-2008-KaschekKSM #elicitation #quality #requirements #towards

Towards Simulation-Based Quality Requirements Elicitation: A Position Paper (RHK, CK, VAS, HCM), pp. 135–140.

SAC-2008-Al-GahmiC #middleware #runtime #towards

Towards a service-based middleware layer for runtime environments (AAG, JEC), pp. 507–511.

SAC-2008-CruzBC #approach #embedded #modelling #realtime #towards

Towards a model-driven engineering approach for developing embedded hard real-time software (FC, RSB, LC), pp. 308–314.

SAC-2008-FernandesFGM #generative #semantics #towards #web #web service

Towards the generation of explanations for semantic web services in OWL-S (CGF, VF, AG, DLM), pp. 2350–2351.

SAC-2008-GordijnWRW #self #towards

Towards self-configuration and management of e-service provisioning in dynamic value constellations (JG, HW, MR, RW), pp. 566–571.

SAC-2008-HallerGK #ontology #towards

Towards a complete SCM ontology: the case of ontologising RosettaNet (AH, JG, PK), pp. 1467–1473.

SAC-2008-KaiyaSOKK #analysis #quality #requirements #towards

Toward quality requirements analysis based on domain specific quality spectrum (HK, TS, AO, NK, KK), pp. 596–601.

SAC-2008-KasamsettyWC #biology #database #towards

Towards an integrative human pathway database for systems biology applications (HNK, XW, JYC), pp. 1297–1301.

SAC-2008-LecueDL #composition #independence #semantics #towards #web #web service

Towards the composition of stateful and independent semantic web services (FL, AD, AL), pp. 2279–2285.

SAC-2008-LuZS #semantics #towards

Towards trace semantics for WS-CDL with alignments (YL, LZ, JS), pp. 95–99.

SAC-2008-MeloNX #java #source code #testing #towards #verification

Towards verification and testing of Java programs (ACVdM, PRFN, KSX), pp. 730–734.

SAC-2008-Pasca #towards #web

Towards temporal web search (MP), pp. 1117–1121.

SAC-2008-ScharffeEF #design pattern #ontology #towards

Towards design patterns for ontology alignment (FS, JE, DF), pp. 2321–2325.

SAC-2008-SchreckFK #automation #multi #optimisation #towards

Towards automatic feature vector optimization for multimedia applications (TS, DWF, DAK), pp. 1197–1201.

SAC-2008-UddinZ #named #towards #trust

UMLtrust: towards developing trust-aware software (MGU, MZ), pp. 831–836.

SAC-2008-VassevHP #specification #towards

Towards an ASSL specification model for NASA swarm-based exploration missions (EV, MH, JP), pp. 1652–1657.

FSE-2008-NejatiSCUZ #composition #evolution #synthesis #towards

Towards compositional synthesis of evolving systems (SN, MS, MC, SU, PZ), pp. 285–296.

ICSE-2008-HoffmanE #aspect-oriented #component #composition #empirical #reuse #towards

Towards reusable components with aspects: an empirical study on modularity and obliviousness (KJH, PE), pp. 91–100.

SLE-2008-Goldschmidt #approach #incremental #repository #towards

Towards an Incremental Update Approach for Concrete Textual Syntaxes for UUID-Based Model Repositories (TG), pp. 168–177.

ASPLOS-2008-Winfree #programming #towards

Toward molecular programming with DNA (EW), p. 1.

HPDC-2008-YanR #automation #clustering #parallel #towards

Toward automatic parallelization of spatial computation for computing clusters (BY, PJR), pp. 45–54.

PPoPP-2008-MaratheM #memory management #performance #towards #transaction

Toward high performance nonblocking software transactional memory (VJM, MM), pp. 227–236.

ICLP-2008-Saurin #interactive #programming #proving #towards

Towards Ludics Programming: Interactive Proof Search (AS), pp. 253–268.

ICLP-2008-SchrijversCWD #prolog #towards

Towards Typed Prolog (TS, VSC, JW, BD), pp. 693–697.

IJCAR-2008-GhilardiNRZ #model checking #smt #towards

Towards SMT Model Checking of Array-Based Systems (SG, EN, SR, DZ), pp. 67–82.

SAT-2008-Marques-SilvaM #algorithm #effectiveness #satisfiability #towards

Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms (JMS, VMM), pp. 225–230.

CBSE-2007-LauLE #component #deployment #design #towards

Towards Composing Software Components in Both Design and Deployment Phases (KKL, LL, PVE), pp. 274–282.

WICSA-2007-AlmeidaAGNML #approach #architecture #design #towards

Designing Domain-Specific Software Architecture (DSSA): Towards a New Approach (ESdA, AÁ, VCG, LMN, SRdLM, DL), p. 30.

WICSA-2007-RadhakrishnanS #architecture #enterprise #towards

Aligning Architectural Approaches towards an SOA-Based Enterprise Architecture (RR, BS), p. 38.

ASE-2007-KiyavitskayaZBACMM #process #towards

Extracting rights and obligations from regulations: toward a tool-supported process (NK, NZ, TDB, AIA, JRC, LM, JM), pp. 429–432.

ASE-2007-LauenrothP #automation #consistency #product line #requirements #specification #towards

Towards automated consistency checks of product line requirements specifications (KL, KP), pp. 373–376.

ASE-2007-NaslavskyZR #model transformation #modelling #testing #towards

Towards leveraging model transformation to support model-based testing (LN, HZ, DJR), pp. 509–512.

ASE-2007-SarmaBH #configuration management #towards

Towards supporting awareness of indirect conflicts across software configuration management workspaces (AS, GB, AvdH), pp. 94–103.

ASE-2007-Smith #automation #development #towards

Toward automated software development (DRS), p. 1.

ASE-2007-XiongLHZTM #automation #model transformation #towards

Towards automatic model synchronization from model transformations (YX, DL, ZH, HZ, MT, HM), pp. 164–173.

CASE-2007-Ho #optimisation #paradigm #towards

Towards a New Paradigm for Optimization (YCH), p. 97–?.

CASE-2007-LiuWL #algorithm #design #effectiveness #multi #product line #search-based #towards #using

Towards Effective Multi-platforming Design of Product Family using Genetic Algorithm (ZL, YSW, KSL), pp. 300–305.

CASE-2007-SeowDL #automation #multi #towards

Towards An Automated Multiagent Taxi-Dispatch System (KTS, NHD, DHL), pp. 1045–1050.

DAC-2007-ZhuGSDK #architecture #power management #towards #using

Towards An Ultra-Low-Power Architecture Using Single-Electron Tunneling Transistors (CZ, Z(G, LS, RPD, RGK), pp. 312–317.

DATE-2007-AycinenaBLMGW #open source #question #towards

Towards total open source in aeronautics and space? (PA, EB, GL, RM, FG, AW), p. 1556.

DATE-2007-PetersenO #2d #scalability #towards

Toward a scalable test methodology for 2D-mesh Network-on-Chips (KP, JÖ), pp. 367–372.

DATE-2007-PoppNGKP #architecture #evaluation #interactive #towards

Interactive presentation: Towards a methodology for the quantitative evaluation of automotive architectures (PP, MDN, PG, SK, CP), pp. 504–509.

DocEng-2007-TriebseesB #automation #documentation #embedded #migration #query #semantics #towards

Towards automatic document migration: semantic preservation of embedded queries (TT, UMB), pp. 209–218.

HT-2007-Al-KhalifaD #comprehension #folksonomy #towards

Towards better understanding of folksonomic patterns (HSAK, HCD), pp. 163–166.

HT-2007-GodboleJMR #concept #interactive #learning #towards

Toward interactive learning by concept ordering (SG, SJ, SM, GR), pp. 149–150.

HT-2007-StringerYH #towards #web

Experiments towards web 2.0 accessibility (ECS, YY, SH), pp. 33–34.

HT-2007-YesiladaLH #towards #web

Experiments toward reverse linking on the web (YY, DL, SH), pp. 3–10.

ICDAR-2007-BrinkSB #identification #towards #using #verification

Towards Explainable Writer Verification and Identification Using Vantage Writers (AB, LS, MB), pp. 824–828.

SIGMOD-2007-ChengKNL #database #graph #named #query #towards

Fg-index: towards verification-free query processing on graph databases (JC, YK, WN, AL), pp. 857–872.

SIGMOD-2007-QuXL #quality #towards

Quality is in the eye of the beholder: towards user-centric web-databases (HQ, JX, AL), pp. 1106–1108.

SIGMOD-2007-WuSR #keyword #towards

Towards keyword-driven analytical processing (PW, YS, BR), pp. 617–628.

SIGMOD-2007-XiaoT #dataset #named #privacy #towards

M-invariance: towards privacy preserving re-publication of dynamic datasets (XX, YT), pp. 689–700.

VLDB-2007-ChenYYHZG #graph #towards

Towards Graph Containment Search and Indexing (CC, XY, PSY, JH, DQZ, XG), pp. 926–937.

VLDB-2007-IwuchukwuN #incremental #scalability #towards

K-Anonymization as Spatial Indexing: Toward Scalable and Incremental Anonymization (TI, JFN), pp. 746–757.

VLDB-2007-Minock #towards

A STEP Towards Realizing Codd’s Vision of Rendezvous with the Casual User (MM), pp. 1358–1361.

CSEET-2007-LagoMBCPV #re-engineering #towards

Towards a European Master Programme on Global Software Engineering (PL, HM, LBD, IC, SP, HvV), pp. 184–194.

ITiCSE-2007-BuechleyEE #education #towards

Towards a curriculum for electronic textiles in the high school classroom (LB, ME, NE), pp. 28–32.

FASE-2007-Bosch #composition #product line #towards

Software Product Families: Towards Compositionality (JB), pp. 1–10.

FASE-2007-ManneringHR #design #safety #towards

Towards Normal Design for Safety-Critical Systems (DM, JGH, LR), pp. 398–411.

CSMR-2007-PolletDPACV #architecture #re-engineering #taxonomy #towards

Towards A Process-Oriented Software Architecture Reconstruction Taxonomy (DP, SD, LP, IA, SC, HV), pp. 137–148.

CSMR-2007-TrifuR #automation #object-oriented #towards

Towards Automated Restructuring of Object Oriented Systems (AT, UR), pp. 39–48.

MSR-2007-HerraizGR #towards

Towards a Theoretical Model for Software Growth (IH, JMGB, GR), p. 21.

SCAM-2007-GutzmannLL #analysis #points-to #towards

Towards Path-Sensitive Points-to Analysis (TG, JL, WL), pp. 59–68.

SCAM-2007-JuilleratH #implementation #refactoring #towards

Toward an Implementation of the “Form Template Method” Refactoring (NJ, BH), pp. 81–90.

WCRE-2007-Guzman #legacy #named #process #towards #web #web service

PRESSWEB: A Process to Reengineer Legacy Systems towards Web Services (IGRdG), pp. 285–288.

WCRE-2007-GuzmanPP #approach #database #relational #towards #web #web service

An ADM Approach to Reengineer Relational Databases towards Web Services (IGRdG, MP, MP), pp. 90–99.

PEPM-2007-ZhuK #component #reuse #towards

Towards constructing reusable specialization components (PZ, SCK), pp. 154–163.

PLDI-2007-ZhangTGG #execution #fault #towards

Towards locating execution omission errors (XZ, ST, NG, RG), pp. 415–424.

STOC-2007-GutoskiW #game studies #quantum #towards

Toward a general theory of quantum games (GG, JW), pp. 565–574.

STOC-2007-Yekhanin #towards

Towards 3-query locally decodable codes of subexponential length (SY), pp. 266–274.

SEFM-2007-DengRH #algorithm #execution #object-oriented #source code #symbolic computation #towards

Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs (XD, R, JH), pp. 273–282.

IFL-2007-HerhutSBGT #contract #dependent type #partial evaluation #proving #towards

From Contracts Towards Dependent Types: Proofs by Partial Evaluation (SH, SBS, RB, CG, KT), pp. 254–273.

CHI-2007-KuberYM #feedback #internet #towards #visual notation

Towards developing assistive haptic feedback for visually impaired internet users (RK, WY, GM), pp. 1525–1534.

CHI-2007-RivadeneiraGMM #evaluation #in the cloud #towards

Getting our head in the clouds: toward evaluation studies of tagclouds (AWR, DMG, MJM, DRM), pp. 995–998.

CHI-2007-WongH #programming #towards #web

Making mashups with marmite: towards end-user programming for the web (JW, JIH), pp. 1435–1444.

HCI-AS-2007-ChuL #internet #online #towards

The Experiential Preferences of the Online Consumers in Different Internet Shopping Lifestyles Towards Online Shopping Websites (YC, JJL), pp. 3–11.

HCI-AS-2007-IdoughiK #human-computer #towards #web #web service

Towards Web Services Oriented Unified Supervisory HCI (DI, CK), pp. 916–925.

HCI-AS-2007-LiYG #classification #network #realtime #towards

Traffic Classification — Towards Accurate Real Time Network Applications (ZL, RY, XG), pp. 67–76.

HCI-AS-2007-PadronDA #effectiveness #evaluation #framework #metric #towards

Towards an Effective Evaluation Framework for IMS LD-Based Didactic Materials: Criteria and Measures (CLP, PD, IA), pp. 312–321.

HCI-IDU-2007-AndoK #approach #concept #research #towards #usability

Long Term Usability; Its Concept and Research Approach — The Origin of the Positive Feeling Toward the Product (MA, MK), pp. 393–396.

HCI-IDU-2007-BartneckL #human-computer #towards

HCI and the Face: Towards an Art of the Soluble (CB, MJL), pp. 20–29.

HCI-IDU-2007-BuurS #design #interactive #towards

Towards Generic Interaction Styles for Product Design (JB, MAS), pp. 30–39.

HCI-IDU-2007-GiersichFFKRS #approach #behaviour #modelling #recognition #towards

Towards an Integrated Approach for Task Modeling and Human Behavior Recognition (MG, PF, GF, TK, DR, HS), pp. 1109–1118.

HCI-IDU-2007-HermannNPHN #taxonomy #towards

Users Interact Differently: Towards a Usability-Oriented User Taxonomy (FH, IN, MP, KH, AN), pp. 812–817.

HCI-IDU-2007-LopezFA #empirical #evaluation #towards #usability #web

Towards Remote Empirical Evaluation of Web Pages’ Usability (JML, IF, JA), pp. 594–603.

HCI-IDU-2007-YinC #analysis #automation #metric #speech #towards

Towards Automatic Cognitive Load Measurement from Speech Analysis (BY, FC), pp. 1011–1020.

HCI-IPT-2007-CaoE #privacy #towards

Influence of Culture on Attitude Towards Instant Messaging: Balance Between Awareness and Privacy (JC, AE), pp. 236–240.

HCI-IPT-2007-DahlS #interactive #towards #visualisation

Visualizing Interaction in Digitally Augmented Spaces: Steps Toward a Formalism for Location-Aware and Token-Based Interactive Systems (YD, DS), pp. 569–578.

HCI-MIE-2007-LepreuxHRTTK #composition #multimodal #towards #user interface

Towards Multimodal User Interfaces Composition Based on UsiXML and MBD Principles (SL, AH, JR, DT, JCT, CK), pp. 134–143.

HCI-MIE-2007-McIntyreG #towards

Towards Affective Sensing (GM, RG), pp. 411–420.

HIMI-IIE-2007-LazzariB #education #experience #guidelines #problem #quality #towards

Towards Guidelines on Educational Podcasting Quality: Problems Arising from a Real World Experience (ML, AB), pp. 404–412.

HIMI-IIE-2007-SuzukiUKAI #adaptation #communication #interactive #towards

Toward Adaptive Interaction — The Effect of Ambient Sounds in an Ultra-Realistic Communication System (NS, IU, TK, HA, NI), pp. 185–194.

HIMI-IIE-2007-ViljamaaVA #architecture #mobile #multi #towards

Towards an Optimal Information Architecture Model for Mobile Multimedia Devices (TPV, TV, AA), pp. 664–673.

HIMI-MTT-2007-PaddaSM #comprehension #framework #towards #visualisation

Towards a Metrics-Based Framework for Assessing Comprehension of Software Visualization Systems (HKP, AS, SPM), pp. 335–344.

OCSC-2007-Dobson #design #towards

Toward Machine Therapy: Parapraxis of Machine Design and Use (KD), pp. 315–323.

OCSC-2007-GonzalezCK #towards

Habitat Computing: Towards the Creation of Tech-Enabled Mexican Neighborhoods (VMG, LAC, KLK), pp. 342–351.

OCSC-2007-VilhjalmssonMS #animation #composition #social #towards

Social Puppets: Towards Modular Social Animation for Agents and Avatars (HHV, CM, PS), pp. 192–201.

OCSC-2007-ZhouS #behaviour #collaboration #community #towards

Towards Building a Math Discourse Community: Investigating Collaborative Information Behavior (NZ, GS), pp. 509–518.

VISSOFT-2007-BoccuzzoG #named #towards #visualisation

CocoViz: Towards Cognitive Software Visualizations (SB, HCG), pp. 72–79.

VISSOFT-2007-SensalireO #industrial #object-oriented #tool support #towards #visualisation

Visualizing Object Oriented Software: Towards a Point of Reference for Developing Tools for Industry (MS, PO), pp. 26–29.

AdaEurope-2007-ChanCCTZ #network #power management #testing #towards

Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks (WKC, TYC, SCC, THT, ZZ), pp. 84–99.

AdaEurope-2007-SinghoffP #ada #empirical #library #towards

Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar (FS, AP), pp. 180–191.

SIGAda-2007-NettletonIM #ada #compilation #towards

Towards a demonstrably-correct ada compiler (CN, WI, CM), pp. 89–96.

CAiSE-2007-EnglebertH #automation #tool support #towards

Towards More Extensible MetaCASE Tools (VE, PH), pp. 454–468.

CAiSE-2007-GhanavatiAP #framework #towards

Towards a Framework for Tracking Legal Compliance in Healthcare (SG, DA, LP), pp. 218–232.

EDOC-2007-Lankhorst #architecture #towards

Towards A Service-Oriented Architecture for Demand-Driven e Government (MML), pp. 214–228.

ICEIS-AIDSS-2007-Cebulla #coordination #reasoning #semantics #specification #towards

Reactive Commonsense Reasoning — Towards Semantic Coordination with High-Level Specifications (MC), pp. 113–118.

ICEIS-DISI-2007-Moller #concept #framework #process #research #towards

The conceptual framework for business process innovation: Towards a research program on global supply chain intelligence (CM), pp. 233–238.

ICEIS-DISI-2007-NemoBRK #composition #distributed #semantics #towards

Semantic orchestration merging — towards composition of overlapping orchestrations (CN, MBF, MR, GK), pp. 378–383.

ICEIS-EIS-2007-CombemaleGCTV #case study #process #towards #verification

Towards a Formal Verification of Process Model’s Properties SIMPLEPDL and TOCL Case Study (BC, PLG, XC, XT, FV), pp. 80–89.

ICEIS-EIS-2007-HmidaBHMF #adaptation #towards

Towards the Dynamic Adaptability of SOA (MBH, CBS, SH, VM, RFT), pp. 474–479.

ICEIS-EIS-2007-KarnouskosS #enterprise #network #towards #using

Towards Enterprise Applications Using Wireless Sensor Networks (SK, PS), pp. 230–236.

ICEIS-EIS-2007-NetjesMRA #approach #process #towards

An Evolutionary Approach for Business Process Redesign — Towards an Intelligent System (MN, SLM, HAR, WMPvdA), pp. 47–54.

ICEIS-EIS-2007-RychkovaW #automation #refinement #specification #towards #visual notation

Refinement Propagation — Towards Automated Construction of Visual Specifications (IR, AW), pp. 196–204.

ICEIS-HCI-2007-MoubaiddinO #formal method #information management #towards

Towards a Formal Model of Knowledge Acquisition via Cooeperative Dialogue (AM, NO), pp. 182–189.

ICEIS-HCI-2007-Pahnila #personalisation #towards

Assessing the User Attitude Toward Personalized Services (SP), pp. 198–206.

ICEIS-HCI-2007-SallaberryBLG #case study #evaluation #information retrieval #library #towards

Towards an IE and IR System Dealing with Spatial Information in Digital Libraries — Evaluation Case Study (CS, MB, JL, MG), pp. 190–197.

ICEIS-SAIC-2007-CastroS #towards

Towards Cooperation Among Competitive Trader Agents (PALdC, JSS), pp. 138–143.

ICEIS-SAIC-2007-LokeLIK #adaptation #approach #smarttech #towards #workflow

Adaptive Workflows for Smart Devices — A Concrete Approach Towards Device Failures (SWL, SL, MI, SK), pp. 191–197.

ICEIS-SAIC-2007-SantosM #challenge #grid #towards

E-Government and Grid Computing — Potentials and Challenges Towards Citizen-Centric Services (IJGdS, ERMM), pp. 144–148.

ICEIS-SAIC-2007-ZarembaVMBCCVFT #challenge #comparison #semantics #towards #web #web service

Towards Semantic Interoperabilty — In-depth Comparison of Two Approaches to Solving Semantic Web Service Challenge Mediation Tasks (MZ, TV, MM, MB, SC, DC, EDV, FMF, CT), pp. 413–421.

CIKM-2007-RaghuveerJMDD #approach #performance #semistructured data #towards

Towards efficient search on unstructured data: an intelligent-storage approach (AR, MJ, MFM, BKD, DHCD), pp. 951–954.

CIKM-2007-TamashiroTV #integration #query #towards

Towards practically feasible answering of regular path queries in lav data integration (MT, AT, SV), pp. 381–390.

ICML-2007-WangZQ #learning #metric #towards

Dirichlet aggregation: unsupervised learning towards an optimal metric for proportional data (HYW, HZ, HQ), pp. 959–966.

RecSys-2007-FreyneFC #data access #recommendation #social #towards

Toward the exploitation of social access patterns for recommendation (JF, RF, MC), pp. 179–182.

RecSys-2007-TiemannP #hybrid #learning #music #recommendation #towards

Towards ensemble learning for hybrid music recommendation (MT, SP), pp. 177–178.

SEKE-2007-Draheim #process #specification #towards

Towards Seamless Business Process and Dialogue Specification (DD), p. 402–?.

SEKE-2007-EnsanD #development #framework #maintenance #ontology #towards

Towards Domain-Centric Ontology Development and Maintenance Frameworks (FE, WD), pp. 622–627.

SEKE-2007-GaoTHCCF #analysis #modelling #testing #towards

Toward Modeling and Analysis for Software Installation Testing (JZG, ST, CPH, YC, AC, TF), pp. 111–116.

SEKE-2007-NakagawaSFM #architecture #testing #tool support #towards

Towards a Reference Architecture for Software Testing Tools (EYN, AdSS, FCF, JCM), pp. 157–162.

SEKE-2007-SunZZJM #adaptation #component #distributed #self #towards

Towards Constructing High-available Decentralized Systems via Self-adaptive Components (XS, LZ, LZ, WJ, HM), pp. 296–301.

SEKE-2007-ZanattaV #agile #integration #modelling #quality #requirements #towards

Agile Methods and Quality Models: Towards an Integration in Requirements Engineering (ALZ, PV), pp. 173–178.

SIGIR-2007-ElsweilerR #information management #towards

Towards task-based personal information management evaluations (DE, IR), pp. 23–30.

SIGIR-2007-RattenburyGN #automation #semantics #towards

Towards automatic extraction of event and place semantics from flickr tags (TR, NG, MN), pp. 103–110.

SIGIR-2007-TurnbullBTL #semantics #set #towards #using

Towards musical query-by-semantic-description using the CAL500 data set (DT, LB, DAT, GRGL), pp. 439–446.

SIGIR-2007-WinaverKD #framework #modelling #query #robust #towards

Towards robust query expansion: model selection in the language modeling framework (MW, OK, CD), pp. 729–730.

ECMDA-FA-2007-Kleppe #generative #ide #metamodelling #towards

Towards the Generation of a Text-Based IDE from a Language Metamodel (AK), pp. 114–129.

ECMDA-FA-2007-YuZZWZZL #approach #automation #generative #modelling #towards

Towards a Model Driven Approach to Automatic BPEL Generation (XY, YZ, TZ, LW, JZ, GZ, XL), pp. 204–218.

TOOLS-EUROPE-2007-SteimannM #analysis #design #interface #towards

Type Access Analysis: Towards Informed Interface Design (FS, PM), pp. 147–164.

LOPSTR-2007-DegraveV #normalisation #source code #towards

Towards a Normal Form for Mercury Programs (FD, WV), pp. 43–58.

POPL-2007-LeeCH #ml #standard #towards

Towards a mechanized metatheory of standard ML (DKL, KC, RH), pp. 173–184.

RE-2007-LaurentCD #automation #requirements #towards

Towards Automated Requirements Triage (PL, JCH, CD), pp. 131–140.

RE-2007-Rashid #collaboration #named #requirements #specification #towards #visual notation

OpenProposal: Towards Collaborative End-User Participation in Requirements Management By Usage of Visual Requirement Specifications (AR), pp. 371–374.

REFSQ-2007-Poppleton #development #feature model #specification #towards

Towards Feature-Oriented Specification and Development with Event-B (MP), pp. 367–381.

REFSQ-2007-SorbyN #behaviour #framework #towards

Towards a Tomographic Framework for Structured Observation of Communicative Behaviour in Hospital Wards (IDS, ØN), pp. 262–276.

SAC-2007-AloisioCFMV #towards

GReIC data gather service: a step towards P2P production grids (GA, MC, SF, MM, SV), pp. 561–565.

SAC-2007-ArnautovicKFPS #communication #specification #towards

Gradual transition towards autonomic software systems based on high-level communication specification (EA, HK, JF, RP, AS), pp. 84–89.

SAC-2007-BabarCBV #evolution #requirements #towards

Towards evolution of strategic IT requirements (AB, KC, SJB, JMV), pp. 1220–1227.

SAC-2007-BonenfantCHMWW #cost analysis #towards

Towards resource-certified software: a formal cost model for time and its application to an image-processing example (AB, ZC, KH, GM, AMW, IW), pp. 1307–1314.

SAC-2007-ClaycombS #collaboration #pervasive #resource management #towards

Towards secure resource sharing for impromptu collaboration in pervasive computing (WC, DS), pp. 940–946.

SAC-2007-DjelloulDF #constraints #finite #first-order #infinity #prolog #theorem proving #towards #unification #using

Toward a first-order extension of Prolog’s unification using CHR: a CHR first-order constraint solver over finite or infinite trees (KD, TBHD, TWF), pp. 58–64.

SAC-2007-KassabL #analysis #effectiveness #personalisation #towards

Towards a synthetic analysis of user’s information need for more effective personalized filtering services (RK, JCL), pp. 852–859.

SAC-2007-Lamari #automation #generative #model transformation #testing #towards #verification

Towards an automated test generation for the verification of model transformations (ML), pp. 998–1005.

SAC-2007-NguyenT #detection #kernel #towards

Towards a tamper-resistant kernel rootkit detector (AQN, YT), pp. 276–283.

SAC-2007-NixonAT #semantics #towards #tuple #web

Towards Semantic tuplespace computing: the Semantic web spaces system (LJBN, OA, RT), pp. 360–365.

SAC-2007-PreuveneersB #adaptation #mobile #self #towards

Towards context-aware and resource-driven self-adaptation for mobile handheld applications (DP, YB), pp. 1165–1170.

SAC-2007-SoaresB #aspect-oriented #composition #concurrent #reuse #towards

Towards reusable and modular aspect-oriented concurrency control (SS, PB), pp. 1293–1294.

SAC-2007-SpanoudakisKA #monitoring #security #towards

Towards security monitoring patterns (GS, CK, KA), pp. 1518–1525.

SAC-2007-ThierryMS #constraints #geometry #towards

Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints (SEBT, PM, PS), pp. 773–777.

SAC-2007-YangP #process #towards #user interface

Towards supporting user interface agility in developing heterogeneous device enabled business processes (YY, LP), pp. 1691–1692.

SAC-2007-YildizG #distributed #towards

Towards decentralized service orchestrations (UY, CG), pp. 1662–1666.

ESEC-FSE-2007-FoucheCP #adaptation #array #incremental #towards

Towards incremental adaptive covering arrays (SF, MBC, AAP), pp. 557–560.

HPDC-2007-ByunJK #adaptation #reliability #resource management #scalability #towards

Towards adaptive, scalable, and reliable resource provisioning for wsrf-compliant applications (EKB, JWJ, JSK), pp. 217–218.

PPoPP-2007-BuehrerPTKS #architecture #mining #towards

Toward terabyte pattern mining: an architecture-conscious solution (GB, SP, ST, TMK, JHS), pp. 2–12.

AMOST-2007-NaslavskyZR #modelling #testing #towards #traceability

Towards traceability of model-based testing artifacts (LN, HZ, DJR), pp. 105–114.

CADE-2007-KuncakR #algebra #performance #satisfiability #towards

Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic (VK, MCR), pp. 215–230.

ICLP-2007-BaralDT #information management #natural language #prolog #set #towards

Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs (CB, JD, LT), pp. 1–21.

MBT-2007-PaivaFV #formal method #integration #modelling #testing #towards #user interface #visual notation

Towards the Integration of Visual and Formal Models for GUI Testing (ACRP, JCPF, RFAMV), pp. 99–111.