BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
base (2068)
model (1417)
design (1323)
use (1162)
inform (988)

Stem system$ (all stems)

14122 papers:

CBSECBSE-2015-MouelhiACM #behaviour #component #contract #design #object-oriented #using
Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems (SM, KA, SC, HM), pp. 49–58.
CBSECBSE-2015-NandiMO #component #contract #probability #realtime #runtime
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems (CN, AM, MO), pp. 111–116.
CBSECBSE-2015-WahlerOM #component #cyber-physical #manycore #realtime
Real-time Multi-core Components for Cyber-physical Systems (MW, MO, AM), pp. 37–42.
ECSAECSA-2015-0002QDSV #cyber-physical #named #smarttech
SmartyCo: Managing Cyber-Physical Systems for Smart Environments (DR, CQ, LD, LS, CV), pp. 294–302.
ECSAECSA-2015-AbbasA #adaptation #architecture #case study #product line #reasoning #self
Architectural Reasoning Support for Product-Lines of Self-adaptive Software Systems — A Case Study (NA, JA), pp. 20–36.
ECSAECSA-2015-Gerostathopoulos #adaptation #cyber-physical
Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems (IG, TB, PH, AH, FP, DS), pp. 45–52.
ECSAECSA-2015-SporerMKB #agile #approach #design #requirements
A Lean Automotive E/E-System Design Approach with Integrated Requirements Management Capability (HS, GM, CK, EB), pp. 251–258.
QoSAQoSA-2015-Bozhinoski #adaptation #mobile #multi #safety
Managing Safety and Adaptability in Mobile Multi-Robot Systems (DB), pp. 135–140.
QoSAQoSA-2015-FeitosaAAN #embedded #open source #quality #trade-off
Investigating Quality Trade-offs in Open Source Critical Embedded Systems (DF, AA, PA, EYN), pp. 113–122.
WICSAWICSA-2015-AbukwaikNR #analysis #concept
A Proactive Support for Conceptual Interoperability Analysis in Software Systems (HA, MN, HDR), pp. 119–122.
WICSAWICSA-2015-MusilMWB #architecture #framework
An Architecture Framework for Collective Intelligence Systems (JM, AM, DW, SB), pp. 21–30.
CASECASE-2015-AcarS #design #fault
Discrete event supervisor design and application for manufacturing systems with arbitrary faults and repairs (ANA, KWS), pp. 825–830.
CASECASE-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.
CASECASE-2015-AntonelloGM #detection #fault
Autonomous robotic system for thermographic detection of defects in upper layers of carbon fiber reinforced polymers (MA, SG, EM), pp. 634–639.
CASECASE-2015-BergagardF #automation #on the #using
On restart of automated manufacturing systems using restart states (PB, MF), pp. 166–167.
CASECASE-2015-BeyerYABGW #adaptation #flexibility
Flexible agent-based planning and adaptation of material handling systems (TB, RY, SA, MB, PG, KHW), pp. 1060–1065.
CASECASE-2015-BrisimiAZCP #detection
Sensing and classifying roadway obstacles: The street bump anomaly detection and decision support system (TSB, SA, YZ, CGC, ICP), pp. 1288–1293.
CASECASE-2015-ChengHL #automation #petri net #robust #synthesis #using
Robust supervisor synthesis for automated manufacturing systems using Petri nets (YC, HH, YL), pp. 1029–1035.
CASECASE-2015-ChenH #assembly #automation #distributed #petri net #using
Maximally permissive distributed control of automated manufacturing systems with assembly operations using Petri nets (CC, HH), pp. 532–538.
CASECASE-2015-ChenN #automation
A cascade control for Sander automation system (ZC, BN), pp. 894–899.
CASECASE-2015-ChenW #design #probability #robust
H∞ robust filter design for a class of nonlinear stochastic poisson jump systems (BSC, CFW), pp. 1557–1561.
CASECASE-2015-ChenY15a #adaptation
Contouring control of biaxial systems with optimal and adaptive cross coupling controller (SLC, JHY), pp. 1450–1452.
CASECASE-2015-ChouTHC #adaptation #algorithm #design #parametricity #process
Adaptive neuro-fuzzy inference system with evolutionary algorithm for designing process parameters of color filter (PYC, JTT, WHH, JHC), pp. 1555–1556.
CASECASE-2015-ClevelandTDPKDB #automation #programming #recognition #segmentation #semantics
An automated system for semantic object labeling with soft object recognition and dynamic programming segmentation (JC, DT, PD, CJP, TK, KD, JB, VK), pp. 683–690.
CASECASE-2015-DasCQMTMK #automation #monitoring #precise
Devices, systems, and methods for automated monitoring enabling precision agriculture (JD, GC, CQ, AM, PT, YM, VK), pp. 462–469.
CASECASE-2015-David-HenrietRH #constraints #modelling
Modeling and control for (max, +)-linear systems with set-based constraints (XDH, JR, LH, BC), pp. 1369–1374.
CASECASE-2015-DietzPHV #industrial #knowledge-based
Knowledge-based cost engineering for industrial robot systems (TD, AP, MH, AV), pp. 1200–1205.
CASECASE-2015-DiganiHSS #approach #coordination #multi #polynomial #programming
A Quadratic Programming approach for coordinating multi-AGV systems (VD, MAH, LS, CS), pp. 600–605.
CASECASE-2015-FantiIU #multimodal
A decision support system for multimodal logistic management (MPF, GI, WU), pp. 63–68.
CASECASE-2015-FeiAR #bound #clustering #resource management #symbolic computation #using
Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques (ZF, , SAR), pp. 799–806.
CASECASE-2015-FeldmannHKWKQLK #case study #comparison #consistency #design #nondeterminism #using
A comparison of inconsistency management approaches using a mechatronic manufacturing system design case study (SF, SJIH, KK, TW, DK, AQ, UL, HK, CJJP, BVH), pp. 158–165.
CASECASE-2015-FerreiraBGV #framework #using
Consolidation of the control system of a chemical polishing machine for superconducting RF cavities using the UNICOS-CPC framework (RF, SB, PG, HV), pp. 1471–1476.
CASECASE-2015-GuoD #bottom-up #coordination #multi
Bottom-up motion and task coordination for loosely-coupled multi-agent systems with dependent local tasks (MG, DVD), pp. 348–355.
CASECASE-2015-HagqvistCH #automation
Automation of a laser welding system for additive manufacturing (PH, AKC, AH), pp. 900–905.
CASECASE-2015-HaseliradN #3d #novel
A novel Kinect-based system for 3D moving object interception with a 5-DOF robotic arm (AH, JN), pp. 117–124.
CASECASE-2015-HillmannS #dependence #distributed #linear
Decentralized control of distributed discrete event systems with linear dependency structure (CH, OS), pp. 551–557.
CASECASE-2015-HolmOFUHAK #evolution #industrial #integration #performance #process
Engineering method for the integration of modules into fast evolving production systems in the process industry (TH, MO, AF, LU, UH, TA, SK), pp. 1042–1047.
CASECASE-2015-HuangHCC #performance #synthesis
Efficient grasp synthesis and control strategy for robot hand-arm system (MBH, HPH, CCC, CAC), pp. 1256–1257.
CASECASE-2015-HuC #distributed #optimisation
Decentralized ordinal optimization (DOO) for networked systems (PH, XC), pp. 787–792.
CASECASE-2015-JiangDZZ #formal method #mobile #modelling #verification
Formal modeling and verification of secure mobile agent systems (MJ, ZD, MZ, YZ), pp. 545–550.
CASECASE-2015-JiaSDXLMZ #industrial #multi
Multi-objective position control for an industrial robot calibration system (YJ, CS, ZD, NX, XL, CM, GZ), pp. 1236–1241.
CASECASE-2015-KaipaTSKLG #automation #using
Resolving automated perception system failures in bin-picking tasks using assistance from remote human operators (KNK, SSTK, SS, AMK, JDL, SKG), pp. 1453–1458.
CASECASE-2015-KamraA #integer #multi #programming
A mixed integer programming model for timed deliveries in multirobot systems (NK, NA), pp. 612–617.
CASECASE-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.
CASECASE-2015-KimCDZF #distributed #flexibility
DisCoF+: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems (KK, JC, WD, YZ, GEF), pp. 369–376.
CASECASE-2015-LengWDC #fuzzy
Fuzzy sliding mode control for pan-tilt-zoom system driven by ultrasonic motor (XL, SW, YD, YC), pp. 868–873.
CASECASE-2015-LennvallRS #automation #scheduling
Scheduling of electrical loads in home automation systems (TL, LR, PS), pp. 1307–1312.
CASECASE-2015-LiaoHJ #multi
Numerical testbed of a multiple-chiller plant for centralized HVAC systems (YL, GH, QsJ), pp. 699–701.
CASECASE-2015-LiuFOCK #realtime
A real-time passive vision system for robotic arc welding (JL, ZF, SIO, KHC, JKK), pp. 389–394.
CASECASE-2015-LuMF #standard
Standards landscape and directions for smart manufacturing systems (YL, KCM, SF), pp. 998–1005.
CASECASE-2015-Malik #composition #verification
Advanced selfloop removal in compositional nonblocking verification of discrete event systems (RM), pp. 819–824.
CASECASE-2015-MoalDC #bibliography #case study #monitoring #on the #process
On the feasibility of a monitoring system for the friction stir welding process: Literature review and experimental study (GLM, FD, DC), pp. 1576–1583.
CASECASE-2015-NonakaSLNKK #analysis #simulation #statistics
The S-Model: A digital manufacturing system combined with autonomous statistical analysis and autonomous discrete-event simulation for smart manufacturing (YN, YS, AL, SN, KK, YK), pp. 1006–1011.
CASECASE-2015-OgunmoluGJG #realtime
A real-time, soft robotic patient positioning system for maskless head-and-neck cancer radiotherapy: An initial investigation (OPO, XG, SBJ, NRG), pp. 1539–1545.
CASECASE-2015-PanXSL #capacity #energy #optimisation
Capacity optimization of battery energy storage systems for frequency regulation (XP, HX, JS, CL), pp. 1139–1144.
CASECASE-2015-ParisioWKEJ #energy #multi
An MPC-based Energy Management System for multiple residential microgrids (AP, CW, TK, JE, KHJ), pp. 7–14.
CASECASE-2015-Qiu
Environmental impact of sharing inland transportation in a dry port system (XQ), pp. 261–263.
CASECASE-2015-RiaziBWVL #energy #multi #optimisation
Energy optimization of multi-robot systems (SR, KB, OW, EV, BL), pp. 1345–1350.
CASECASE-2015-SaezMBT #analysis #hybrid #performance #realtime #simulation
Real-time hybrid simulation of manufacturing systems for performance analysis and control (MS, FPM, KB, DMT), pp. 526–531.
CASECASE-2015-SaksenaNKK #2d #assembly #automation #parametricity #using
Automatic tuning of impedance parameter using configuration space for two dimensional assembly system (AS, TN, JK, KK), pp. 1110–1117.
CASECASE-2015-Schwung #automaton #cyber-physical #hybrid #modelling #using
Cyber-physical modeling of compression systems using hybrid automata (AS), pp. 1125–1130.
CASECASE-2015-ScottiPQC #composition #design
Modular and systematic design of supervisory control system integrating PLC, SCADA and task routing for a modular production system (WAFS, NBP, MHdQ, JERC), pp. 807–812.
CASECASE-2015-SemeniutaF #approach #data flow #formal method #industrial #specification
Discrete event dataflow as a formal approach to specification of industrial vision systems (OS, PF), pp. 849–854.
CASECASE-2015-SongLBKNSSC #cyber-physical #industrial #integration #modelling #process
Model-based cyber-physical system integration in the process industry (ZS, PL, RB, WK, SN, SS, LS, AC), pp. 1012–1017.
CASECASE-2015-SrinivasanBSSR #automation #machine learning #modelling #network #using
Modelling time-varying delays in networked automation systems with heterogeneous networks using machine learning techniques (SS, FB, GS, BS, SR), pp. 362–368.
CASECASE-2015-SunWWL #data-driven #energy #runtime
Data driven production runtime energy control of manufacturing systems (ZS, DW, LW, LL), pp. 243–248.
CASECASE-2015-SunWWL15a #optimisation #scheduling
Simulation-based production scheduling with optimization of electricity consumption and cost in smart manufacturing systems (ZS, DW, LW, LL), pp. 992–997.
CASECASE-2015-TomolaMBC #robust
Robust codiagnosability of discrete-event systems against permanent loss of observations (JHAT, MVM, JCB, LKC), pp. 813–818.
CASECASE-2015-TsaiCLT #modelling
Dynamic modeling and vibration suppression of the feed drive system (MST, SJC, CCL, PYT), pp. 106–110.
CASECASE-2015-VuW #design #fuzzy #nondeterminism
Observer design for a discrete-time T-S fuzzy system with uncertainties (VPV, WJW), pp. 1262–1267.
CASECASE-2015-YangH0 #assembly #automation #distributed #petri net
A Petri net-based distributed control of automated manufacturing systems with assembly operations (YY, HH, YL), pp. 1090–1097.
CASECASE-2015-ZhangHZ #detection #fault #metric
Fault detection for wireless networked systems with compressed measurements (JZ, XH, DHZ), pp. 356–361.
CASECASE-2015-ZhaoCWCJZ15a
Showcase for a satisfaction based group comfort control system (QZ, ZC, FW, ZC, YJ, ZZ), pp. 697–698.
DACDAC-2015-BalajiFDGA #abstraction #architecture #cyber-physical #modelling
Models, abstractions, and architectures: the missing links in cyber-physical systems (BB, MAAF, NDD, RKG, YA), p. 6.
DACDAC-2015-BuiniPG #automation #cyber-physical #design #modelling #physics #variability
Including variability of physical models into the design automation of cyber-physical systems (HMB, SP, TG), p. 6.
DACDAC-2015-ChaariENTK #approach #modelling #safety
A model-based and simulation-assisted FMEDA approach for safety-relevant E/E systems (MC, WE, CN, BAT, TK), p. 6.
DACDAC-2015-GuoWHWLC #design #latency #named #novel #reduction
FlexLevel: a novel NAND flash storage system design for LDPC latency reduction (JG, WW, JH, DW, HL, YC), p. 6.
DACDAC-2015-GuSZCH #embedded #memory management #performance
Area and performance co-optimization for domain wall memory in application-specific embedded systems (SG, EHMS, QZ, YC, JH), p. 6.
DACDAC-2015-HanF #analysis #approach #cpu #gpu #graph #scalability
Transient-simulation guided graph sparsification approach to scalable harmonic balance (HB) analysis of post-layout RF circuits leveraging heterogeneous CPU-GPU computing systems (LH, ZF), p. 6.
DACDAC-2015-HerdtLD #simulation #using #verification
Verifying SystemC using stateful symbolic simulation (VH, HML, RD), p. 6.
DACDAC-2015-LeeNL #optimisation #performance
Optimizing stream program performance on CGRA-based systems (HL, DN, JL), p. 6.
DACDAC-2015-LiuLLWLMLCJ0SY #energy
Ambient energy harvesting nonvolatile processors: from circuit to system (YL, ZL, HL, YW, XL, KM, SL, MFC, SJ, YX, JS, HY), p. 6.
DACDAC-2015-LiuWLCWBQ #challenge #design #security
Cloning your mind: security challenges in cognitive system designs and their solutions (BL, CW, HL, YC, QW, MB, QQ), p. 5.
DACDAC-2015-LiXGWY #interface
Merging the interface: power, area and accuracy co-optimization for RRAM crossbar-based mixed-signal computing system (BL, LX, PG, YW, HY), p. 6.
DACDAC-2015-McLaughlin #behaviour #policy
Blocking unsafe behaviors in control systems through static and dynamic policy enforcement (SM), p. 6.
DACDAC-2015-SantosVK #adaptation #configuration management #embedded #reliability
Dynamically adaptive scrubbing mechanism for improved reliability in reconfigurable embedded systems (RS, SV, AK), p. 6.
DACDAC-2015-ShreejithF #embedded #generative #network #security
Security aware network controllers for next generation automotive embedded systems (SS, SAF), p. 6.
DACDAC-2015-SztipanovitsBNK #cyber-physical #design #lessons learnt
Design tool chain for cyber-physical systems: lessons learned (JS, TB, SN, XDK, EKJ), p. 6.
DACDAC-2015-WangLPC #automation #hybrid
Joint automatic control of the powertrain and auxiliary systems to enhance the electromobility in hybrid electric vehicles (YW, XL, MP, NC), p. 6.
DACDAC-2015-WangR #design #tool support
Design tools for oscillator-based computing systems (TW, JR), p. 6.
DACDAC-2015-WangSBS #feedback #implementation #probability
Randomness meets feedback: stochastic implementation of logistic map dynamical system (ZW, NS, KB, AS), p. 7.
DACDAC-2015-WasicekLKGIA #simulation
System simulation from operational data (AW, EAL, HK, LG, AI, IA), p. 6.
DACDAC-2015-WenWHLHLC #framework #hybrid #scalability
An EDA framework for large scale hybrid neuromorphic computing systems (WW, CRW, XH, BL, TYH, XL, YC), p. 6.
DACDAC-2015-YoonSMC #behaviour #detection #embedded #heatmap #memory management #realtime #using
Memory heat map: anomaly detection in real-time embedded systems using memory behavior (MKY, LS, SM, JC), p. 6.
DACDAC-2015-YunPB #adaptation #named #parallel #runtime #self #thread
HARS: a heterogeneity-aware runtime system for self-adaptive multithreaded applications (JY, JP, WB), p. 6.
DACDAC-2015-ZhangHXHC #compilation #framework #named
CMOST: a system-level FPGA compilation framework (PZ, MH, BX, HH, JC), p. 6.
DACDAC-2015-ZhengLDGZS #design #security #verification
Design and verification for transportation system security (BZ, WL, PD, LG, QZ, NS), p. 6.
DACDAC-2015-ZiegenbeinH #design
Timing-aware control software design for automotive systems (DZ, AH), p. 6.
DATEDATE-2015-0001KVSMA #adaptation #embedded #energy #nondeterminism #scalability
Workload uncertainty characterization and adaptive frequency scaling for energy minimization of embedded systems (AD, AK, BV, RAS, GVM, BMAH), pp. 43–48.
DATEDATE-2015-BajajNMS #architecture #cyber-physical #effectiveness #reliability
Optimized selection of reliable and cost-effective cyber-physical system architectures (NB, PN, MM, ALSV), pp. 561–566.
DATEDATE-2015-Baruah #graph #scheduling
The federated scheduling of constrained-deadline sporadic DAG task systems (SB), pp. 1323–1328.
DATEDATE-2015-BiewerAGSH #approach #coordination #realtime #synthesis
A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving (AB, BA, JG, TS, CH), pp. 357–362.
DATEDATE-2015-Bogdan #approach #challenge #cyber-physical #manycore #personalisation
A cyber-physical systems approach to personalized medicine: challenges and opportunities for noc-based multicore platforms (PB), pp. 253–258.
DATEDATE-2015-BringmannEGGMSS #generative #prototype #simulation
The next generation of virtual prototyping: ultra-fast yet accurate simulation of HW/SW systems (OB, WE, AG, AG, DMG, PS, SS), pp. 1698–1707.
DATEDATE-2015-BruggerVWTK #cpu #hybrid
Reverse longstaff-schwartz american option pricing on hybrid CPU/FPGA systems (CB, JAV, NW, ST, RK), pp. 1599–1602.
DATEDATE-2015-ChenEC #3d #hybrid
Enabling vertical wormhole switching in 3D NoC-bus hybrid systems (CC, ME, SDC), pp. 507–512.
DATEDATE-2015-ChenM #distributed #learning #manycore #optimisation #performance
Distributed reinforcement learning for power limited many-core system performance optimization (ZC, DM), pp. 1521–1526.
DATEDATE-2015-GomonyGAAG #memory management #realtime #scalability
A generic, scalable and globally arbitrated memory tree for shared DRAM access in real-time systems (MDG, JG, BA, NCA, KGWG), pp. 193–198.
DATEDATE-2015-GuardatiCFB #framework
Paper, pen and ink: an innovative system and software framework to assist writing rehabilitation (LG, FC, EF, LB), pp. 1473–1478.
DATEDATE-2015-HaghbayanRFLPNT #manycore #online #power management #testing
Power-aware online testing of manycore systems in the dark silicon era (MHH, AMR, MF, PL, JP, ZN, HT), pp. 435–440.
DATEDATE-2015-HernandezA #low cost #safety
Low-cost checkpointing in automotive safety-relevant systems (CH, JA), pp. 91–96.
DATEDATE-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.
DATEDATE-2015-KhanSH #adaptation #manycore #power management
Power-efficient accelerator allocation in adaptive dark silicon many-core systems (MUKK, MS, JH), pp. 916–919.
DATEDATE-2015-KomalanTPFC
System level exploration of a STT-MRAM based level 1 data-cache (MPK, CT, JIGP, FTF, FC), pp. 1311–1316.
DATEDATE-2015-LinWPKC #configuration management
Event-driven and sensorless photovoltaic system reconfiguration for electric vehicles (XL, YW, MP, JK, NC), pp. 19–24.
DATEDATE-2015-LiSGWXZS #memory management #performance #reduction
Maximizing IO performance via conflict reduction for flash memory storage systems (QL, LS, CG, KW, CJX, QZ, EHMS), pp. 904–907.
DATEDATE-2015-MadhukarSWKM #abstraction #lazy evaluation #using #verification
Verifying synchronous reactive systems using lazy abstraction (KM, MS, BW, DK, RM), pp. 1571–1574.
DATEDATE-2015-MaHJ #manycore
A packet-switched interconnect for many-core systems with BE and RT service (RM, ZH, AJ), pp. 980–983.
DATEDATE-2015-MavropoulosKN #architecture #configuration management
A defect-aware reconfigurable cache architecture for low-vccmin DVFS-enabled systems (MM, GK, DN), pp. 417–422.
DATEDATE-2015-MunchPHH #embedded #manycore #named #realtime #scalability #using
MPIOV: scaling hardware-based I/O virtualization for mixed-criticality embedded real-time systems using non transparent bridges to (multi-core) multi-processor systems (DM, MP, OH, AH), pp. 579–584.
DATEDATE-2015-PaganoVRCSS #configuration management
Thermal-aware floorplanning for partially-reconfigurable FPGA-based systems (DP, MV, MR, RC, DS, MDS), pp. 920–923.
DATEDATE-2015-ParkTNII #performance
Platform-aware dynamic configuration support for efficient text processing on heterogeneous system (MSP, OT, VN, MJI, RI), pp. 1503–1508.
DATEDATE-2015-PhilippeCBP #algorithm #design #embedded
Exploration and design of embedded systems including neural algorithms (JMP, AC, OB, MP), pp. 986–991.
DATEDATE-2015-RaiT #manycore #modelling
A calibration based thermal modeling technique for complex multicore systems (DR, LT), pp. 1138–1143.
DATEDATE-2015-SalfelderH #adaptation #evaluation #simulation #using
Ageing simulation of analogue circuits and systems using adaptive transient evaluation (FS, LH), pp. 1261–1264.
DATEDATE-2015-SamieBHH #multi #online
Online binding of applications to multiple clock domains in shared FPGA-based systems (FS, LB, CMH, JH), pp. 25–30.
DATEDATE-2015-SarmaDGVN #paradigm #self
Cyberphysical-system-on-chip (CPSoC): a self-aware MPSoC paradigm with cross-layer virtual sensing and actuation (SS, NDD, PG, NV, AN), pp. 625–628.
DATEDATE-2015-ShafiqueGGH #manycore #variability
Variability-aware dark silicon management in on-chip many-core systems (MS, DG, SG, JH), pp. 387–392.
DATEDATE-2015-SharmaGR
Sub-10 nm FinFETs and Tunnel-FETs: from devices to systems (AS, AAG, KR), pp. 1443–1448.
DATEDATE-2015-SkalickySLF #framework #hardware #runtime
A unified hardware/software MPSoC system construction and run-time framework (SS, AGS, SL, MF), pp. 301–304.
DATEDATE-2015-StoppeWD #automation #design #locality
Automated feature localization for dynamically generated SystemC designs (JS, RW, RD), pp. 277–280.
DATEDATE-2015-SunZLZZGSKRLZY #design #memory management
From device to system: cross-layer design exploration of racetrack memory (GS, CZ, HL, YZ, WZ, YG, YS, JOK, DR, YL, WZ, HY), pp. 1018–1023.
DATEDATE-2015-TeysseyreNOCCG #performance #set #simulation #using
Fast optical simulation from a reduced set of impulse responses using SystemC-AMS (FT, DN, IO, FC, FC, OG), pp. 405–409.
DATEDATE-2015-VenkataramaniBH #named
SAPPHIRE: an always-on context-aware computer vision system for portable devices (SV, VB, XSH, JL, JL, MP, BP, MS), pp. 1491–1496.
DATEDATE-2015-VenkataramanKSE #design #heuristic #using
Designing inexact systems efficiently using elimination heuristics (SV, AK, JS, CCE), pp. 758–763.
DATEDATE-2015-XieKBWPC #design #energy #hybrid #optimisation
Efficiency-driven design time optimization of a hybrid energy storage system with networked charge transfer interconnect (QX, YK, DB, YW, MP, NC), pp. 1607–1610.
DATEDATE-2015-ZhaoLXLHX #cyber-physical #energy #reduction
Software assisted non-volatile register reduction for energy harvesting based cyber-physical system (MZ, QL, MX, YL, JH, CJX), pp. 567–572.
DocEngDocEng-2015-BatistaFTFLSSR #assessment #automation #summary
A Quantitative and Qualitative Assessment of Automatic Text Summarization Systems (JB, RF, HT, RF, RDL, SJS, GPeS, MR), pp. 65–68.
DRRDRR-2015-ClawsonB #automation
Intelligent indexing: a semi-automated, trainable system for field labeling (RC, WAB).
DRRDRR-2015-PengCN #approach #using
Boost OCR accuracy using iVector based system combination approach (XP, HC, PN).
HTHT-2015-Bayomi #adaptation #corpus #framework #reuse
A Framework to Provide Customized Reuse of Open Corpus Content for Adaptive Systems (MB), pp. 315–318.
SIGMODSIGMOD-2015-0001MK #concurrent #database #in memory #multi #performance
Fast Serializable Multi-Version Concurrency Control for Main-Memory Database Systems (TN, TM, AK), pp. 677–689.
SIGMODSIGMOD-2015-ArefCGKOPVW #design #implementation
Design and Implementation of the LogicBlox System (MA, BtC, TJG, BK, DO, EP, TLV, GW), pp. 1371–1382.
SIGMODSIGMOD-2015-ArulrajPD #database #memory management
Let’s Talk About Storage & Recovery Methods for Non-Volatile Memory Database Systems (JA, AP, SD), pp. 707–722.
SIGMODSIGMOD-2015-ChuBS #database #evaluation #parallel #performance #query #theory and practice
From Theory to Practice: Efficient Join Query Evaluation in a Parallel Database System (SC, MB, DS), pp. 63–78.
SIGMODSIGMOD-2015-ChuMIOP0Y #crowdsourcing #knowledge base #named
KATARA: A Data Cleaning System Powered by Knowledge Bases and Crowdsourcing (XC, JM, IFI, MO, PP, NT, YY), pp. 1247–1261.
SIGMODSIGMOD-2015-CSKZYRPAKDRD #big data #industrial #what #why
Why Big Data Industrial Systems Need Rules and What We Can Do About It (PSGC, CS, KGK, HZ, FY, NR, SP, EA, GK, RD, VR, AD), pp. 265–276.
SIGMODSIGMOD-2015-DietrichG #database #debugging #sql
A SQL Debugger Built from Spare Parts: Turning a SQL: 1999 Database System into Its Own Debugger (BD, TG), pp. 865–870.
SIGMODSIGMOD-2015-GuoZLTB #query
Location-Aware Pub/Sub System: When Continuous Moving Queries Meet Dynamic Event Streams (LG, DZ, GL, KLT, ZB), pp. 843–857.
SIGMODSIGMOD-2015-HuLWTGY #automation #documentation #named #social #social media #using
DocRicher: An Automatic Annotation System for Text Documents Using Social Media (QH, QL, XW, AKHT, SG, JY), pp. 901–906.
SIGMODSIGMOD-2015-KhayyatIJMOPQ0Y #big data #named
BigDansing: A System for Big Data Cleansing (ZK, IFI, AJ, SM, MO, PP, JAQR, NT, SY), pp. 1215–1230.
SIGMODSIGMOD-2015-NothaftMDZLYKAH #data-driven #scalability #using
Rethinking Data-Intensive Science Using Scalable Analytics Systems (FAN, MM, TD, ZZ, UL, CY, JK, AA, JH, ML, MJF, ADJ, DAP), pp. 631–646.
SIGMODSIGMOD-2015-WangZZS #in memory #named
SharkDB: An In-Memory Storage System for Massive Trajectory Data (HW, KZ, XZ, SWS), pp. 1099–1104.
SIGMODSIGMOD-2015-WuTNX0 #named
FTT: A System for Finding and Tracking Tourists in Public Transport Services (HW, JAT, WSN, MX, WC), pp. 1093–1098.
SIGMODSIGMOD-2015-YuanWYC #big data #database #scalability
A Demonstration of Rubato DB: A Highly Scalable NewSQL Database System for OLTP and Big Data Applications (LYY, LW, JHY, YC), pp. 907–912.
SIGMODSIGMOD-2015-ZamanianBS #clustering #database #parallel
Locality-aware Partitioning in Parallel Database Systems (EZ, CB, AS), pp. 17–30.
SIGMODSIGMOD-2015-ZhengWLCF #crowdsourcing #named
QASCA: A Quality-Aware Task Assignment System for Crowdsourcing Applications (YZ, JW, GL, RC, JF), pp. 1031–1046.
SIGMODSIGMOD-2015-ZhouT #named #predict
SMiLer: A Semi-Lazy Time Series Prediction System for Sensors (JZ, AKHT), pp. 1871–1886.
VLDBVLDB-2015-AbadiBOP #named #tutorial
Tutorial: SQL-on-Hadoop Systems (DA, SB, , IP), pp. 2050–2061.
VLDBVLDB-2015-BergmanMNT #named #query
QOCO: A Query Oriented Data Cleaning System with Oracles (MB, TM, SN, WCT), pp. 1900–1911.
VLDBVLDB-2015-ChatzistergiouCV #in memory #named
REWIND: Recovery Write-Ahead System for In-Memory Non-Volatile Data-Structures (AC, MC, SDV), pp. 497–508.
VLDBVLDB-2015-ChenGXJC #distributed #image #named #recommendation #retrieval
I2RS: A Distributed Geo-Textual Image Retrieval and Recommendation System (LC, YG, ZX, CSJ, GC), pp. 1884–1895.
VLDBVLDB-2015-ConsensFKP #bisimulation #query #summary
S+EPPs: Construct and Explore Bisimulation Summaries, plus Optimize Navigational Queries; all on Existing SPARQL Systems (MPC, VF, SK, GP), pp. 2028–2039.
VLDBVLDB-2015-DiaoDLLPPP #automation #data analysis #interactive #named #navigation
AIDE: An Automatic User Navigation System for Interactive Data Exploration (YD, KD, ZL, WL, OP, KP, LP), pp. 1964–1975.
VLDBVLDB-2015-El-HelwRSCGP #database #optimisation
Optimization of Common Table Expressions in MPP Database Systems (AEH, VR, MAS, GCC, ZG, MP), pp. 1704–1715.
VLDBVLDB-2015-EldawyMJ #pipes and filters #visualisation
A Demonstration of HadoopViz: An Extensible MapReduce System for Visualizing Big Spatial Data (AE, MFM, CJ), pp. 1896–1907.
VLDBVLDB-2015-ElmoreDSBCGHHKK
A Demonstration of the BigDAWG Polystore System (AJE, JD, MS, MB, , VG, JH, BH, JK, TK, SM, DM, TGM, SP, JP, NT, MV, SZ), pp. 1908–1919.
VLDBVLDB-2015-GreenOW #approach #live programming #programming
Live Programming in the LogicBlox System: A MetaLogiQL Approach (TJG, DO, GW), pp. 1782–1793.
VLDBVLDB-2015-HanD #execution #graph #parallel
Giraph Unchained: Barrierless Asynchronous Parallel Execution in Pregel-like Graph Processing Systems (MH, KD), pp. 950–961.
VLDBVLDB-2015-HeCMPS #named #synthesis #using
DPT: Differentially Private Trajectory Synthesis Using Hierarchical Reference Systems (XH, GC, AM, CMP, DS), pp. 1154–1165.
VLDBVLDB-2015-HeWKCLYL #named #query
SDB: A Secure Query Processing System with Data Interoperability (ZH, WKW, BK, DWLC, RL, SMY, EL), pp. 1876–1887.
VLDBVLDB-2015-KejariwalKR #algorithm #realtime
Real Time Analytics: Algorithms and Systems (AK, SK, KR), pp. 2040–2051.
VLDBVLDB-2015-KouUMLLG #topic
A Topic-based Reviewer Assignment System (NMK, LHU, NM, YL, YL, ZG), pp. 1852–1863.
VLDBVLDB-2015-LiuDMM #named #realtime
FLORIN — A System to Support (Near) Real-Time Applications on User Generated Content on Daily News (QL, ECD, AM, WM), pp. 1944–1955.
VLDBVLDB-2015-MahmoodAQRDMAHA #distributed #named
Tornado: A Distributed Spatio-Textual Stream Processing System (ARM, AMA, TQ, EKR, AD, AM, ASA, MSH, WGA, SB), pp. 2020–2031.
VLDBVLDB-2015-WangKSPZNRKS
Building a Replicated Logging System with Apache Kafka (GW, JK, SS, KP, MZ, NN, JR, JK, JS), pp. 1654–1665.
CSEETCSEET-2015-BoehmM
System Thinking: Educating T-Shaped Software Engineers (BWB, SKM), pp. 13–16.
ITiCSEITiCSE-2015-AntonucciENPM #automation #incremental #programming
An Incremental Hint System For Automated Programming Assignments (PA, HCE, DN, MP, BM), pp. 320–325.
ITiCSEITiCSE-2015-Aycock #education #experience #topic
Applied Computer History: Experience Teaching Systems Topics through Retrogames (JA), pp. 105–110.
ITiCSEITiCSE-2015-BrianTHF #debugging #student #testing
Planting Bugs: A System for Testing Students’ Unit Tests (SAB, RNT, JMH, CF), pp. 45–50.
ITiCSEITiCSE-2015-HaaranenL #education #framework #git #version control
Teaching Git on the Side: Version Control System as a Course Platform (LH, TL), pp. 87–92.
ITiCSEITiCSE-2015-KirkpatrickP #assurance #operating system #process #using
Using the Readiness Assurance Process and Metacognition in an Operating Systems Course (MSK, SP), pp. 183–188.
ITiCSEITiCSE-2015-Pritchard #named #online
Websheets: A Templated Online Coding Exercise System (DAGP), p. 335.
ITiCSEITiCSE-2015-QuinsonO #education #learning #programming
A Teaching System to Learn Programming: the Programmer’s Learning Machine (MQ, GO), pp. 260–265.
ESOPESOP-2015-Chugh #named #recursion #self #type system
IsoLATE: A Type System for Self-recursion (RC), pp. 257–282.
ESOPESOP-2015-FetscherCPHF #automation #generative #random #type system
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System (BF, KC, MHP, JH, RBF), pp. 383–405.
FASEFASE-2015-ShinBOBH #prototype #specification
Resource Specification for Prototyping Human-Intensive Systems (SYS, YB, LJO, HB, PLH), pp. 332–346.
TACASTACAS-2015-AledoE #contest #embedded #framework #verification
FramewORk for Embedded System verification — (Competition Contribution) (PGdA, PSE), pp. 429–431.
TACASTACAS-2015-BloemKKW #runtime #synthesis
Shield Synthesis: — Runtime Enforcement for Reactive Systems (RB, BK, RK, CW), pp. 533–548.
TACASTACAS-2015-CimattiGMT #hybrid #model checking #named #smt
HyComp: An SMT-Based Model Checker for Hybrid Systems (AC, AG, SM, ST), pp. 52–67.
TACASTACAS-2015-CiniF #ltl #proving #runtime #verification
An LTL Proof System for Runtime Verification (CC, AF), pp. 581–595.
TACASTACAS-2015-CookKP #infinity
Fairness for Infinite-State Systems (BC, HK, NP), pp. 384–398.
TACASTACAS-2015-Immler #analysis #reachability
Verified Reachability Analysis of Continuous Systems (FI), pp. 37–51.
TACASTACAS-2015-JeanninGKGSZP #hybrid
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System (JBJ, KG, YK, RG, AS, EZ, AP), pp. 21–36.
TACASTACAS-2015-KongGCC #analysis #hybrid #named
dReach: δ-Reachability Analysis for Hybrid Systems (SK, SG, WC, EMC), pp. 200–205.
TACASTACAS-2015-KriouileS #formal method #using #verification
Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip (AK, WS), pp. 708–722.
ICPCICPC-2015-ChittimalliS #fault #locality #testing
Fault localization during system testing (PKC, VS), pp. 285–286.
ICPCICPC-2015-HauptmannJW #automation #generative #refactoring #testing
Generating refactoring proposals to remove clones from automated system tests (BH, EJ, VW), pp. 115–124.
ICSMEICSME-2015-OyetoyanCT
A decision support system to refactor class cycles (TDO, DSC, CTN), pp. 231–240.
ICSMEICSME-2015-SantosAEDV #program transformation #source code
System specific, source code transformations (GS, NA, AE, SD, MTV), pp. 221–230.
ICSMEICSME-2015-Vogel-HeuserFRF #automation #case study #challenge #hardware #industrial #maintenance
Challenges for maintenance of PLC-software and its related hardware for automated production systems: Selected industrial Case Studies (BVH, JF, SR, SF, SU), pp. 362–371.
ICSMEICSME-2015-YamashitaZFW #analysis #comparative #industrial #open source #replication #smell
Inter-smell relations in industrial and open source systems: A replication and comparative analysis (AY, MZ, FAF, BW), pp. 121–130.
MSRMSR-2015-LeBGLSM #architecture #empirical #open source
An Empirical Study of Architectural Change in Open-Source Software Systems (DML, PB, JG, DL, AS, NM), pp. 235–245.
MSRMSR-2015-ThongtanunamMHI #bibliography #code review #empirical
Investigating Code Review Practices in Defective Files: An Empirical Study of the Qt System (PT, SM, AEH, HI), pp. 168–179.
SANERSANER-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.
SANERSANER-2015-CadariuBVD #security
Tracking known security vulnerabilities in proprietary software systems (MC, EB, JV, AvD), pp. 516–519.
SANERSANER-2015-GarzonAL #development #framework #modelling #named #object-oriented
Umple: A framework for Model Driven Development of Object-Oriented Systems (MG, HIA, TCL), pp. 494–498.
SANERSANER-2015-Jiang #integration #process #scalability
Improving the integration process of large software systems (YJ), p. 598.
SANERSANER-2015-KochharTL #debugging #effectiveness #empirical #scalability #test coverage #testing
Code coverage and test suite effectiveness: Empirical study with real bugs in large systems (PSK, FT, DL), pp. 560–564.
SANERSANER-2015-NairJNH #analysis
A static code analysis tool for control system software (SN, RJ, ARN, SHS), pp. 459–463.
SANERSANER-2015-SaeidiHKJ #approach #clustering #multi #search-based
A search-based approach to multi-view clustering of software systems (AS, JH, RK, SJ), pp. 429–438.
SCAMSCAM-2015-PintoKT #analysis #automation #multi #performance
Automating the performance deviation analysis for multiple system releases: An evolutionary study (FP, UK, CT), pp. 201–210.
SCAMSCAM-2015-SantosEADV #game studies #program transformation #source code
Recording and replaying system specific, source code transformations (GS, AE, NA, SD, MTV), pp. 221–230.
PLDIPLDI-2015-LuciaR #execution #programming
A simpler, safer programming and execution model for intermittent systems (BL, BR), pp. 575–585.
PLDIPLDI-2015-WilcoxWPTWEA #distributed #framework #implementation #named #verification
Verdi: a framework for implementing and formally verifying distributed systems (JRW, DW, PP, ZT, XW, MDE, TEA), pp. 357–368.
SASSAS-2015-AlbertCJR #cost analysis #distributed #parallel
Parallel Cost Analysis of Distributed Systems (EA, JC, EBJ, GRD), pp. 275–292.
SASSAS-2015-CattaruzzaASK #analysis #bound
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (DC, AA, PS, DK), pp. 312–331.
SASSAS-2015-ChoiCNS #javascript #layout #named #type system
SJS: A Type System for JavaScript with Fixed Object Layout (WC, SC, GCN, KS), pp. 181–198.
CIAACIAA-J-2013-OttoM15 #term rewriting
λ-confluence for context rewriting systems (FO, FM), pp. 88–99.
CIAACIAA-2015-AdigaKMRRS #complexity
Complexity of Inferring Local Transition Functions of Discrete Dynamical Systems (AA, CJK, MVM, SSR, DJR, RES), pp. 21–34.
CIAACIAA-2015-Bollig #automaton #concurrent #logic #modelling
Automata and Logics for Concurrent Systems: Five Models in Five Pages (BB), pp. 3–12.
ICALPICALP-v1-2015-BjorklundDH #exponential #problem #random #set #strict
The Parity of Set Systems Under Random Restrictions with Applications to Exponential Time Problems (AB, HD, TH), pp. 231–242.
ICALPICALP-v2-2015-Boreale #analysis #approximate #generative #probability
Analysis of Probabilistic Systems via Generating Functions and Padé Approximation (MB), pp. 82–94.
ICALPICALP-v2-2015-LerouxST #automaton #on the #problem
On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension (JL, GS, PT), pp. 324–336.
LATALATA-2015-DennunzioFMP #problem
Preimage Problems for Reaction Systems (AD, EF, LM, AEP), pp. 537–548.
LATALATA-2015-LeupoldH
A Hierarchy of Transducing Observer Systems (PL, NH), pp. 727–738.
LATALATA-2015-MauriLMPZ #bibliography #complexity
Complexity Classes for Membrane Systems: A Survey (GM, AL, LM, AEP, CZ), pp. 56–69.
FMFM-2015-0009ZZZ #abstraction #hybrid
Abstraction of Elementary Hybrid Systems by Variable Transformation (JL, NZ, HZ, LZ), pp. 360–377.
FMFM-2015-BratBDGHK #safety #verification
Verifying the Safety of a Flight-Critical System (GB, DHB, MD, DG, FH, TK), pp. 308–324.
FMFM-2015-BringerCML #architecture #design #privacy #reasoning
Privacy by Design in Practice: Reasoning about Privacy Properties of Biometric System Architectures (JB, HC, DLM, RL), pp. 90–107.
FMFM-2015-Damm #analysis #automation #lessons learnt #named #verification
AVACS: Automatic Verification and Analysis of Complex Systems Highlights and Lessons Learned (WD), pp. 18–19.
FMFM-2015-DeboisHS #composition #information management #liveness #process #refinement #runtime #safety
Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (SD, TTH, TS), pp. 143–160.
FMFM-2015-DurandS #formal method #framework #generative #named
Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems (WD, SS), pp. 577–580.
FMFM-2015-Lecomte #modelling #verification
Formal Virtual Modelling and Data Verification for Supervision Systems (TL), pp. 597–600.
FMFM-2015-SogokonJ #hybrid #liveness #verification
Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (AS, PBJ), pp. 514–531.
SEFMSEFM-2015-BeekDGMP #constraints #variability
From Featured Transition Systems to Modal Transition Systems with Variability Constraints (MHtB, FD, SG, FM, LP), pp. 344–359.
SEFMSEFM-2015-SukkerdGS #cyber-physical
Task Planning of Cyber-Human Systems (RS, DG, RS), pp. 293–309.
GaMGaM-2015-RadwanH #detection #refactoring #smell
Detecting and Refactoring Operational Smells within the Domain Name System (MR, RH), pp. 113–128.
GaMGaM-2015-Wijs #confluence #detection #lts
Confluence Detection for Transformations of Labelled Transition Systems (AW), pp. 1–15.
ICGTICGT-2015-Bruggink0NZ #graph #graph transformation #proving #termination #using
Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings (HJSB, BK, DN, HZ), pp. 52–68.
ICGTICGT-2015-MachadoRH #evolution #graph transformation
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems (RM, LR, RH), pp. 171–186.
ICGTICGT-2015-Oliveira #graph transformation #reachability #slicing
Reachability in Graph Transformation Systems and Slice Languages (MdOO), pp. 121–137.
ICGTICGT-2015-Stuckrath #analysis #graph transformation #named #using #verification
Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems (JS), pp. 266–274.
CHICHI-2015-BaiBC #artificial reality #game studies #social
Exploring Expressive Augmented Reality: The FingAR Puppet System for Social Pretend Play (ZB, AFB, GC), pp. 1035–1044.
CHICHI-2015-BellottiATGDC #modelling #motivation #peer-to-peer #using
A Muddle of Models of Motivation for Using Peer-to-Peer Economy Systems (VB, AA, DT, CG, KD, JMC), pp. 1085–1094.
CHICHI-2015-GrevetG #prototype #scalability #social #using
Piggyback Prototyping: Using Existing, Large-Scale Social Computing Systems to Prototype New Ones (CG, EG), pp. 4047–4056.
CHICHI-2015-GulottaSKF #comprehension #how
Curatorial Agents: How Systems Shape Our Understanding of Personal and Familial Digital Information (RG, AS, AK, JF), pp. 3453–3462.
CHICHI-2015-HellerB #artificial reality #mobile #named #smarttech
AudioScope: Smartphones as Directional Microphones in Mobile Audio Augmented Reality Systems (FH, JOB), pp. 949–952.
CHICHI-2015-JacksonB #development #interactive #protocol #standard
Standards and/as Innovation: Protocols, Creativity, and Interactive Systems Development in Ecology (SJJ, SB), pp. 1769–1778.
CHICHI-2015-LiYS #detection #interactive #named
IDSense: A Human Object Interaction Detection System Based on Passive UHF RFID (HL, CY, APS), pp. 2555–2564.
CHICHI-2015-OuVH #data type #development #interactive
An Interactive System for Data Structure Development (JO, MTV, OH), pp. 3053–3062.
CHICHI-2015-PerrierDDAKUJ #communication #human-computer #hybrid #women
Engaging Pregnant Women in Kenya with a Hybrid Computer-Human SMS Communication System (TP, ND, BD, RJA, JK, JU, GJS), pp. 1429–1438.
CHICHI-2015-WarshawMWKBS #algorithm #comprehension #people
Can an Algorithm Know the “Real You”?: Understanding People’s Reactions to Hyper-personal Analytics Systems (JW, TM, SW, CK, MNB, BAS), pp. 797–806.
CHICHI-2015-YouWHCLHWHC #dependence #named
SoberDiary: A Phone-based Support System for Assisting Recovery from Alcohol Dependence (CWY, KCW, MCH, YCC, CLL, PSH, HCW, PH, HHC), pp. 3839–3848.
CHICHI-2015-ZamanSNWEST #design #generative #named
GEM-NI: A System for Creating and Managing Alternatives In Generative Design (LZ, WS, CN, RW, ME, NS, MT), pp. 1201–1210.
CSCWCSCW-2015-ChangHT #recommendation #using
Using Groups of Items to Bootstrap New Users in Recommender Systems (SC, FMH, LGT), pp. 1258–1269.
CSCWCSCW-2015-HuangT0 #mobile #social
Emotion Map: A Location-based Mobile Social System for Improving Emotion Awareness and Regulation (YH, YT, YW), pp. 130–142.
CSCWCSCW-2015-MatthiesenB #development #framework #legacy #perspective #why
Why Replacing Legacy Systems Is So Hard in Global Software Development: An Information Infrastructure Perspective (SM, PB), pp. 876–890.
CSCWCSCW-2015-Medhi-ThiesFGOC #named #network #social
KrishiPustak: A Social Networking System for Low-Literate Farmers (IMT, PF, NG, JO, EC), pp. 1670–1681.
CSCWCSCW-2015-RedaelliC #coordination
Coordination-Artifacts Suiting: When Plans are in the Midst of Ordering Systems (IR, AC), pp. 165–178.
HCIDHM-EH-2015-KollingKHC #design #evaluation #feedback #interactive #process #using
Estimating Ergonomic Comfort During the Process of Mechanism Design by Interaction with a Haptic Feedback-System — Evaluation of Simulated and Kinesthetically Displayed Mechanisms Using the Haptic Feedback System RePlaLink (TK, MK, MH, BC), pp. 62–73.
HCIDHM-EH-2015-NakamuraKKMK #development #self #student #using
Development of a Self-learning System for Chest Auscultation Skills Using an RFID Reader for Nursing Students (MN, KK, YK, JM, MKP), pp. 474–481.
HCIDHM-EH-2015-ZhengBISEL #behaviour #monitoring #using
Driving-Behavior Monitoring Using an Unmanned Aircraft System (UAS) (CZ, AB, WI, IS, EE, KL), pp. 305–312.
HCIDHM-HM-2015-FassG #modelling #physics #towards
Towards a Theory for Bio — — Cyber Physical Systems Modelling (DF, FG), pp. 245–255.
HCIDUXU-DD-2015-AsthanaS #modelling #named #testing #usability #using #xml
Maareech: Usability Testing Tool for Voice Response System Using XML Based User Models (SA, PS), pp. 101–112.
HCIDUXU-DD-2015-PaelkeR #challenge #cyber-physical #user interface
User Interfaces for Cyber-Physical Systems: Challenges and Possible Approaches (VP, CR), pp. 75–85.
HCIDUXU-IXD-2015-BevilacquaFMGKC #usability
Robot-Era Project: Preliminary Results on the System Usability (RB, EF, FM, SG, SK, IC, RE, FC, PD), pp. 553–561.
HCIDUXU-IXD-2015-CaiLLH #case study #experience #research #speech #user interface
User Experience Research on the Rehabilitation System of Speech-Impaired Children — A Case Study on Speech Training Product (WC, JL, QL, TH), pp. 562–574.
HCIDUXU-IXD-2015-CandelloBC #design #network #process #social
Design Process of a Social Network System for Storage and Share Files in the Workplace (HC, SB, LC), pp. 13–24.
HCIDUXU-IXD-2015-EndaraL #architecture #design #interface #mobile
Designing an Interface Agent-Based Architecture for Creating a Mobile System of Medical Care (AEE, CJPdL), pp. 606–615.
HCIDUXU-IXD-2015-Gasparini #approach #experience #interactive #library #user interface
A Holistic Approach to User Experience in the Context of an Academic Library Interactive System (AAG), pp. 173–184.
HCIDUXU-IXD-2015-GencCY #information management
Participatory Explorations on a Location Based Urban Information System (ÖG, , AEY), pp. 357–367.
HCIDUXU-IXD-2015-IwamotoKM #analysis #case study #using
A Study of Conversation Support System Between the Elderly Person and Young Adults by Using Facial Expression Analysis (MI, NK, KM), pp. 616–627.
HCIDUXU-IXD-2015-KarbayR #case study
The Turkish Central Doctor Rendezvous System Under Spotlight: A User Study with Turkish Senior Users (EBK, KR), pp. 628–637.
HCIDUXU-IXD-2015-LeeLK #case study #navigation
A Study on a Split-View Navigation System (JSL, HL, SWK), pp. 485–495.
HCIDUXU-IXD-2015-OpromollaVIFRPM #gesture #recognition #usability
A Usability Study of a Gesture Recognition System Applied During the Surgical Procedures (AO, VV, AI, SF, CR, DP, CMM), pp. 682–692.
HCIDUXU-IXD-2015-PanY #design
A Practice on Wayfinding System Design with Service Design Thinking (JP, ZY), pp. 400–411.
HCIDUXU-IXD-2015-WangWG #comparison #speech
Cross Cultural Comparison of Users’ Barge-in with the In-Vehicle Speech System (PW, UW, TJG), pp. 529–540.
HCIDUXU-UI-2015-AldawoodAAAAAHA #collaboration #interface
Collaborative Tangible Interface (CoTI) for Complex Decision Support Systems (SA, FA, AA, TA, TA, RA, MKH, AA, AAW), pp. 415–424.
HCIDUXU-UI-2015-EshetB #design #development #mobile
Approaching Users and Context of Use in the Design and Development of Mobile Systems (EE, HB), pp. 508–519.
HCIDUXU-UI-2015-TrajkovaF #evaluation #usability
Usability Evaluation of Kinect-Based System for Ballet Movements (MT, MF), pp. 464–472.
HCIHCI-DE-2015-ChynalS #testing #usability
Web-Systems Remote Usability Tests and Their Participant Recruitment (PC, JS), pp. 175–183.
HCIHCI-DE-2015-JensenRB #collaboration #design #interactive
An Interaction Design Method to Support the Expression of User Intentions in Collaborative Systems (CJJ, JCdR, RB), pp. 214–226.
HCIHCI-DE-2015-KitamuraJUIS #development
Development of Tidy-up Promotion System by Anthropomorphication of Shared Space (TK, TJ, MU, HI, HS), pp. 360–369.
HCIHCI-DE-2015-KobayashiTAF #email
E-Mail Delivery Mediation System Based on User Interruptibility (YK, TT, KA, KF), pp. 370–380.
HCIHCI-DE-2015-SamaniSJ #interactive
Biologically Inspired Artificial Endocrine System for Human Computer Interaction (HAS, ES, B(J), pp. 71–81.
HCIHCI-DE-2015-SouzaB #collaboration #design
Extending MoLIC for Collaborative Systems Design (LGdS, SDJB), pp. 271–282.
HCIHCI-IT-2015-BrahnamRNSB #design #detection
Design of a Bullying Detection/Alert System for School-Wide Intervention (SB, JJR, LN, CLS, SLB), pp. 695–705.
HCIHCI-IT-2015-EskerudSOH #approach #automation #design #interface
Controlling the Home — A User Participatory Approach to Designing a Simple Interface for a Complex Home Automation System (ME, AS, CSO, HH), pp. 717–728.
HCIHCI-IT-2015-GohPL #game studies
An Investigation of Reward Systems in Human Computation Games (DHLG, EPPPT, CSL), pp. 596–607.
HCIHCI-IT-2015-KromkerW #elicitation
Context Elicitation for User-Centered Context-Aware Systems in Public Transport (HK, TW), pp. 429–439.
HCIHCI-IT-2015-LichtensteinC #enterprise
Enterprise Systems for Florida Schools (ML, KC), pp. 448–458.
HCIHCI-IT-2015-MurataMF #modelling #performance
Effects of Target Shape and Display Location on Pointing Performance by Eye-Gaze Input System — Modeling of Pointing Time by Extended Fitts’ Law (AM, MM, DF), pp. 94–106.
HCIHCI-IT-2015-MurataMT #comparison
Optimal Scroll Method for Eye-Gaze Input System — Comparison of R-E and R-S Compatibility (AM, MM, YT), pp. 86–93.
HCIHCI-IT-2015-OkuboT #chat #development #visualisation
Development of Chat System Added with Visualized Unconscious Non-verbal Information (MO, HT), pp. 353–362.
HCIHCI-IT-2015-YamamotoYS #game studies #gamification
Gamification Effect of Collection System for Digital Photographs with Geographic Information which Utilizes Land Acquisition Game (RY, TY, NS), pp. 649–659.
HCIHCI-UC-2015-BorsciLBJ #assessment #prototype
Early Prototype Assessment of a New Virtual System for Training Procedural Skills of Automotive Service Operators: LARTE Tool (SB, GL, MB, BJ), pp. 135–143.
HCIHCI-UC-2015-Fraoua #bias #information management
Moral Biases and Decision: Impact of Information System on Moral Biases (KEF), pp. 291–302.
HCIHIMI-IKC-2015-AraiTA #development #learning
Development of a Learning Support System for Class Structure Mapping Based on Viewpoint (TA, TT, TA), pp. 285–293.
HCIHIMI-IKC-2015-BotegaFOOBNA #user interface
SAW-Oriented User Interfaces for Emergency Dispatch Systems (LCB, LCF, NPO, AO, CBB, VPdAN, RBdA), pp. 537–548.
HCIHIMI-IKC-2015-BrunsVGZS #personalisation #recommendation #visual notation #what
What Should I Read Next? A Personalized Visual Publication Recommender System (SB, ACV, CG, MZ, US), pp. 89–100.
HCIHIMI-IKC-2015-GavishN
The Effect of Timing When Introducing a Decision Aid in a Decision Support System for Supply Chain Management (NG, HN), pp. 101–108.
HCIHIMI-IKC-2015-HamaguchiMTKN #design #generative #matrix #using
A Method for Generation and Check of Alarm Configurations Using Cause-Effect Matrices for Plant Alarm System Design (TH, BM, KT, NK, MN), pp. 549–556.
HCIHIMI-IKC-2015-ItoSK #information management
Information Sharing System Based on Situation Comprehensions of Intelligent Vehicles to Improve Drivers’ Acceptability for Proactive ADAS (TI, TS, MK), pp. 201–212.
HCIHIMI-IKC-2015-Iwata #difference #learning
Method to Generate an Operation Learning Support System by Shortcut Key Differences in Similar Software (HI), pp. 332–340.
HCIHIMI-IKC-2015-Kaewkiriya #design #framework #recommendation #student
Design of Framework for Students Recommendation System in Information Technology Skills (TK), pp. 109–117.
HCIHIMI-IKC-2015-KatoHT
Innovation Compass: Integrated System to Support Creativity in Both Individuals and Groups (YK, TH, ST), pp. 476–487.
HCIHIMI-IKC-2015-KometaniN #development
Development of a Seminar Management System (YK, KN), pp. 350–361.
HCIHIMI-IKC-2015-KurihashiMT #self
Self-perception of Assister Driver Responsibility and Contribution in Mutual Assistance System (SK, YM, KT), pp. 233–242.
HCIHIMI-IKC-2015-NakamuraTA #design #student
Proposal of an Instructional Design Support System Based on Consensus Among Academic Staff and Students (SN, TT, TA), pp. 370–377.
HCIHIMI-IKC-2015-OgusuOKY #generative #music
Enhancing Abstract Imaginations of Viewers of Abstract Paintings by a Gaze Based Music Generation System (TO, JO, JK, SY), pp. 457–464.
HCIHIMI-IKC-2015-OliveiraCBA #artificial reality #gamification #interface #motivation #using
A Head-up Display with Augmented Reality and Gamification for an E-Maintenance System: Using Interfaces and Gamification to Motivate Workers in Procedural Tasks (AO, NC, LCB, RBdA), pp. 499–510.
HCIHIMI-IKC-2015-PereiraSBSCFC #multi
Multi-criteria Fusion of Heterogeneous Information for Improving Situation Awareness on Emergency Management Systems (VAPJ, MFS, LCB, JOdS, CSC, EF, MRdC), pp. 3–14.
HCIHIMI-IKC-2015-SejimaSWJ #development
Development of a Speech-Driven Embodied Entrainment Character System with Pupil Response (YS, YS, TW, MJ), pp. 378–386.
HCIHIMI-IKC-2015-TanikawaOKNH
Virtual Bogie: Exhibition System to Understand Mechanism of Bogie with Digital Display Case (TT, HO, RK, TN, MH), pp. 634–645.
HCIHIMI-IKC-2015-UeokaI #development
Development of the Horror Emotion Amplification System by Means of Biofeedback Method (RU, KI), pp. 657–665.
HCIHIMI-IKC-2015-UeokaK #interactive #using
Fortune Air: An Interactive Fortune Telling System Using Vortex Air Cannon (RU, NK), pp. 646–656.
HCIHIMI-IKC-2015-WatanabeTA #abstraction #development #learning #source code
Development of a Learning Support System for Reading Source Code by Stepwise Abstraction (KW, TT, TA), pp. 387–394.
HCIHIMI-IKC-2015-ZengCLSHC #framework #mobile #query
Scene Feature Recognition-Enabled Framework for Mobile Service Information Query System (YCZ, YHC, TYL, MJS, PYH, GLC), pp. 64–74.
HCIHIMI-IKD-2015-AraiOM #using #web
A Filtering System of Web History Using the Browsing Characteristic (KA, MO, HM), pp. 273–279.
HCIHIMI-IKD-2015-BabaianLL #enterprise #interactive #navigation #visualisation
Modernizing Exploration and Navigation in Enterprise Systems with Interactive Visualizations (TB, WTL, ML), pp. 23–33.
HCIHIMI-IKD-2015-BelyiPRM #multi
A Multi-agent Based System for Route Planning (EB, IP, AR, VM), pp. 500–512.
HCIHIMI-IKD-2015-ItouNM #information management #twitter #using
Travel-Information Sharing System Using Tweets with Location Information (JI, KN, JM), pp. 526–534.
HCIHIMI-IKD-2015-JungLB #multi #question
Voice Control System and Multiplatform Use: Specialist Vs. Generalist? (SJ, KML, FB), pp. 607–616.
HCIHIMI-IKD-2015-KalkattawiN #ubiquitous #using
Ubiquitous Healthcare Systems: Improving the Adherence Level within Diabetic Medication Using Cloud-Based Reminder System (MK, TN), pp. 535–546.
HCIHIMI-IKD-2015-MatsunoAIMM #using
Computer Input System Using Eye Glances (SM, KA, NI, TM, KM), pp. 425–432.
HCIHIMI-IKD-2015-OliveiraBFC #framework #nondeterminism #visualisation
Uncertainty Visualization Framework for Improving Situational Awareness in Emergency Management Systems (NFO, LCB, LCF, MRdC), pp. 86–96.
HCIHIMI-IKD-2015-YamajiT #recognition
Recognition of Written Cues System for Users of General Paper Media (DY, JT), pp. 466–476.
HCIHIMI-IKD-2015-YamamotoYKTK
Proposal of Advance Care Planning Support System (SY, TY, CK, MT, TK), pp. 560–568.
HCIHIMI-IKD-2015-YoshinoO #using
Proposal of a Data Presentation Technique Using Four-Frame Cartoon Expression for a LifeLog System (TY, IO), pp. 235–246.
HCILCT-2015-ChangHGL #education #gesture #named
G-NETS — Gesture-Based Nursing Educational Training Support System (JWC, CFH, RLG, CCL), pp. 33–42.
HCILCT-2015-DalipiYK #analysis #performance #semantics #using
Enhancing the Learner’s Performance Analysis Using SMEUS Semantic E-learning System and Business Intelligence Technologies (FD, SYY, ZK), pp. 208–217.
HCILCT-2015-DuA #artificial reality #design #evaluation #learning
Design and Evaluation of a Learning Assistant System with Optical Head-Mounted Display (OHMD) (XD, AA), pp. 75–86.
HCILCT-2015-FardounAC #education #evaluation
Creation of Meaningful-Learning and Continuous Evaluation Education System (HMF, AA, APC), pp. 218–226.
HCILCT-2015-Iitaka #online #recommendation
Recommendation Engine for an Online Drill System (TI), pp. 238–248.
HCILCT-2015-KlockCCRAG #adaptation #concept #gamification #student
Gamification in e-Learning Systems: A Conceptual Model to Engage Students and Its Application in an Adaptive e-Learning System (ACTK, LFDC, MFdC, BER, AJA, IG), pp. 595–607.
HCILCT-2015-RiveiroDKJB
Supporting Golf Coaching and Swing Instruction with Computer-Based Training Systems (MR, AD, RK, UJ, PB), pp. 279–290.
HCILCT-2015-RodriguezOD #hybrid #learning #recommendation #repository #student
A Student-Centered Hybrid Recommender System to Provide Relevant Learning Objects from Repositories (PAR, DAO, NDD), pp. 291–300.
HCILCT-2015-SalazarOD #adaptation #education #mobile #multi #personalisation #ubiquitous #using
Adaptive and Personalized Educational Ubiquitous Multi-Agent System Using Context-Awareness Services and Mobile Devices (OMS, DAO, NDD), pp. 301–312.
HCILCT-2015-SatohAYYEH #collaboration #self #tablet
Collaborative Tablet PC the System for Self-Active Awareness in a Dormitory Environment (HS, SA, MY, TY, FE, YH), pp. 503–509.
HCILCT-2015-Sein-EchaluceBG #education #information management #social #using
A Knowledge Management System to Classify Social Educational Resources Within a Subject Using Teamwork Techniques (MLSE, ÁFB, FJGP, MÁCG), pp. 510–519.
HCILCT-2015-ShimizuO #design #implementation #learning #novel #word
Design and Implementation of Novel Word Learning System “Überall” (RS, KO), pp. 148–159.
HCISCSM-2015-MendesFFC #experience #social #usability #user interface
Investigating Usability and User Experience from the User Postings in Social Systems (MSM, EF, VF, MFdC), pp. 216–228.
AdaEuropeAdaEurope-2015-KhanfarLM #safety #slicing
Static Backward Program Slicing for Safety-Critical Systems (HK, BL, ANM), pp. 50–65.
AdaEuropeAdaEurope-2015-PerezGTT #clustering #concept #manycore #safety
A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning (JP, DG, ST, TT), pp. 3–17.
ICEISICEIS-v1-2015-AbakumovAV #information management #integration #risk management
Risk Management in Project of Information Systems Integration During Merger of Companies (EMA, DMA, AV), pp. 221–227.
ICEISICEIS-v1-2015-ArevaloRC #approach #information management #legacy #modelling #process
Discovering Business Models for Software Process Management — An Approach for Integrating Time and Resource Perspectives from Legacy Information Systems (CA, IMR, MJEC), pp. 353–359.
ICEISICEIS-v1-2015-BozaCCA #internet
Internet of Things Applications in Production Systems (AB, BC, LC, FA), pp. 330–337.
ICEISICEIS-v1-2015-CarboneraA15a #approach #information management #knowledge-based #representation
A Cognition-inspired Knowledge Representation Approach for Knowledge-based Interpretation Systems (JLC, MA), pp. 644–649.
ICEISICEIS-v1-2015-Castanon-PugaSG #algorithm #data mining #fuzzy #logic #mining #mobile #using
Hybrid-Intelligent Mobile Indoor Location Using Wi-Fi Signals — Location Method Using Data Mining Algorithms and Type-2 Fuzzy Logic Systems (MCP, ASC, CGP, GLS, MFP, EAT), pp. 609–615.
ICEISICEIS-v1-2015-GharbiGB #approach #configuration management #embedded #hybrid #realtime #scheduling #search-based
A Hybrid Genetic based Approach for Real-time Reconfigurable Scheduling of OS Tasks in Uniprocessor Embedded Systems (IG, HG, SB), pp. 385–390.
ICEISICEIS-v1-2015-GrabisSS #collaboration #education #enterprise
Collaborative Teaching of ERP Systems in International Context (JG, KS, DS), pp. 196–205.
ICEISICEIS-v1-2015-MorriHS #modelling #multi
Multi-agent Modelling for a Regulation Support System of Public Transport (NM, SEH, LBS), pp. 624–629.
ICEISICEIS-v1-2015-XiMY #database #manycore #named
PM-DB: Partition-based Multi-instance Database System for Multicore Platforms (FX, TM, HY), pp. 128–138.
ICEISICEIS-v2-2015-BandyszakRWP #analysis #information management #specification #validation
Supporting the Validation of Structured Analysis Specifications in the Engineering of Information Systems by Test Path Exploration (TB, MR, TW, KP), pp. 252–259.
ICEISICEIS-v2-2015-CavallariAT #aspect-oriented #mobile
Organisational Aspects and Anatomy of an Attack on NFC/HCE Mobile Payment Systems (MC, LA, FT), pp. 685–700.
ICEISICEIS-v2-2015-MazurKW #data access #modelling #on the #performance #security
On the Modelling of the Influence of Access Control Management to the System Security and Performance (KM, BK, AW), pp. 346–354.
ICEISICEIS-v2-2015-MikhaylovFSZFT #locality #network #process
System of Localisation of the Network Activity Source in APCS Data Lines (DM, SDF, YYS, AZ, ASF, AT), pp. 245–251.
ICEISICEIS-v2-2015-PieroniP #configuration management #domain-specific language #network
A DSL for Configuration Management of Integrated Network Management System (RP, RADP), pp. 355–364.
ICEISICEIS-v2-2015-SmirnovP #architecture #hybrid #network #peer-to-peer #privacy #recommendation
Privacy-preserving Hybrid Peer-to-Peer Recommendation System Architecture — Locality-Sensitive Hashing in Structured Overlay Network (AVS, AP), pp. 532–542.
ICEISICEIS-v3-2015-ChomaQZB #enterprise #usability
A Perspective-based Usability Inspection for ERP Systems (JC, DQ, LAMZ, DB), pp. 57–64.
ICEISICEIS-v3-2015-NetoMKBRG #recognition #smarttech #visual notation
A Wearable Face Recognition System Built into a Smartwatch and the Visually Impaired User (LdSBN, VRMLM, FLK, MCCB, AdRR, SKG), pp. 5–12.
ICEISICEIS-v3-2015-NyameB #information management
The Adoption and Use of Human Resource Information System (HRIS) in Ghana (PKON, RB), pp. 130–138.
ICEISICEIS-v3-2015-PepinAAB #legacy
A Method for Business-IT Alignment of Legacy Systems (JP, PA, CA, EB), pp. 229–237.
ICEISICEIS-v3-2015-Piedrabuena0R #data transformation
Enforcing Data Protection Regulations within e-Government Master Data Management Systems (FP, LG, RR), pp. 316–321.
ICEISICEIS-v3-2015-RumbelowBR
An Australian Ski Resort System (KR, PB, DR), pp. 65–70.
ICEISICEIS-v3-2015-SilvaMLFNS #architecture #experience #health #information management #modelling #using
An Experience of using SoaML for Modeling a Service-Oriented Architecture for Health Information Systems (FGS, JSSdM, JdSL, JMSF, RPCdN, MSS), pp. 322–327.
ECIRECIR-2015-ValcarcePB #case study #modelling #recommendation
A Study of Smoothing Methods for Relevance-Based Language Modelling of Recommender Systems (DV, JP, AB), pp. 346–351.
ICMLICML-2015-BelangerK #linear
A Linear Dynamical System Model for Text (DB, SMK), pp. 833–842.
ICMLICML-2015-FilipponeE #linear #probability #process #scalability
Enabling scalable stochastic gradient-based inference for Gaussian processes by employing the Unbiased LInear System SolvEr (ULISSE) (MF, RE), pp. 1015–1024.
ICMLICML-2015-GuanSBMBB #linear
Moderated and Drifting Linear Dynamical Systems (JG, KS, EB, CM, EB, KB), pp. 2473–2482.
ICMLICML-2015-ShajarisalesJSB #linear
Telling cause from effect in deterministic linear dynamical systems (NS, DJ, BS, MB), pp. 285–294.
KDDKDD-2015-BerkovskyF #personalisation #recommendation #web
Web Personalization and Recommender Systems (SB, JF), pp. 2307–2308.
KDDKDD-2015-DhurandharGRME #big data #risk management
Big Data System for Analyzing Risky Procurement Entities (AD, BG, RKR, GM, ME), pp. 1741–1750.
KDDKDD-2015-HolleczekAYJAGL #agile #metric #recommendation
Traffic Measurement and Route Recommendation System for Mass Rapid Transit (MRT) (TH, DTA, SY, YJ, SA, HLG, SL, ASN), pp. 1859–1868.
KDDKDD-2015-KumarSS #named #wiki
VEWS: A Wikipedia Vandal Early Warning System (SK, FS, VSS), pp. 607–616.
KDDKDD-2015-MomtazpourZRSR #cyber-physical #invariant #using
Analyzing Invariants in Cyber-Physical Systems using Latent Factor Regression (MM, JZ, SR, RKS, NR), pp. 2009–2018.
KDDKDD-2015-NairRKBSKHD #detection #learning #monitoring
Learning a Hierarchical Monitoring System for Detecting and Diagnosing Service Issues (VN, AR, SK, VB, SS, SSK, SH, SD), pp. 2029–2038.
KDDKDD-2015-UlanovaYCJKZ #performance #physics #profiling
Efficient Long-Term Degradation Profiling in Time Series for Complex Physical Systems (LU, TY, HC, GJ, EJK, KZ), pp. 2167–2176.
KDDKDD-2015-WangWY #collaboration #learning #recommendation
Collaborative Deep Learning for Recommender Systems (HW, NW, DYY), pp. 1235–1244.
KDDKDD-2015-YanRHC #distributed #learning #modelling #optimisation #performance #scalability
Performance Modeling and Scalability Optimization of Distributed Deep Learning Systems (FY, OR, YH, TMC), pp. 1355–1364.
RecSysRecSys-2015-Bourke #multi #recommendation
The Application of Recommender Systems in a Multi Site, Multi Domain Environment (SB), p. 229.
RecSysRecSys-2015-GeRM #recommendation
Health-aware Food Recommender System (MG, FR, DM), pp. 333–334.
RecSysRecSys-2015-Geuens #behaviour #hybrid #recommendation
Factorization Machines for Hybrid Recommendation Systems Based on Behavioral, Product, and Customer Data (SG), pp. 379–382.
RecSysRecSys-2015-Guardia-Sebaoun #modelling #performance #recommendation
Latent Trajectory Modeling: A Light and Efficient Way to Introduce Time in Recommender Systems (ÉGS, VG, PG), pp. 281–284.
RecSysRecSys-2015-HuD #machine learning #recommendation #scalability
Scalable Recommender Systems: Where Machine Learning Meets Search (SYDH, JD), pp. 365–366.
RecSysRecSys-2015-KoukiFFEG #flexibility #framework #hybrid #named #probability #recommendation
HyPER: A Flexible and Extensible Probabilistic Framework for Hybrid Recommender Systems (PK, SF, JRF, ME, LG), pp. 99–106.
RecSysRecSys-2015-LiuK #named #recommendation
Kibitz: End-to-End Recommendation System Builder (QL, DRK), pp. 335–336.
RecSysRecSys-2015-LiWTM #community #predict #rating #recommendation #social
Overlapping Community Regularization for Rating Prediction in Social Recommender Systems (HL, DW, WT, NM), pp. 27–34.
RecSysRecSys-2015-Ludmann #data type #online #recommendation
Online Recommender Systems based on Data Stream Management Systems (CAL), pp. 391–394.
RecSysRecSys-2015-MaksaiGF #evaluation #metric #online #performance #predict #recommendation
Predicting Online Performance of News Recommender Systems Through Richer Evaluation Metrics (AM, FG, BF), pp. 179–186.
RecSysRecSys-2015-SaidB #evaluation #recommendation
Replicable Evaluation of Recommender Systems (AS, AB), pp. 363–364.
RecSysRecSys-2015-Santos #hybrid #recommendation
A Hybrid Recommendation System Based on Human Curiosity (AMdS), pp. 367–370.
RecSysRecSys-2015-ShalomBRZA #matter #quality #recommendation
Data Quality Matters in Recommender Systems (OSS, SB, RR, EZ, AA), pp. 257–260.
RecSysRecSys-2015-SongCL #incremental #matrix #recommendation
Incremental Matrix Factorization via Feature Space Re-learning for Recommender System (QS, JC, HL), pp. 277–280.
RecSysRecSys-2015-SteckZJ #interactive #recommendation #tutorial
Interactive Recommender Systems: Tutorial (HS, RvZ, CJ), pp. 359–360.
RecSysRecSys-2015-Unger #recommendation
Latent Context-Aware Recommender Systems (MU), pp. 383–386.
RecSysRecSys-2015-Valcarce #modelling #recommendation #statistics
Exploring Statistical Language Models for Recommender Systems (DV), pp. 375–378.
RecSysRecSys-2015-ValcarcePB #case study #modelling #recommendation
A Study of Priors for Relevance-Based Language Modelling of Recommender Systems (DV, JP, AB), pp. 237–240.
SEKESEKE-2015-BritoSSS #integration #mobile #testing
Integration testing criteria for mobile robotic systems (MASB, MS, PSLS, SRSS), pp. 182–187.
SEKESEKE-2015-Chang #component
A Slow Intelligence System Test Bed Enhanced with Super-Components (SKC), pp. 57–63.
SEKESEKE-2015-ChangB #file system #object-oriented #optimisation
Optimizing of an Object-Oriented File System (OOFS) (LHC, SB), pp. 208–212.
SEKESEKE-2015-ChangCLT #design #framework
Application of Slow Intelligence Framework for Smart Pet Care System Design (SKC, WHC, WCL, CLT), pp. 51–56.
SEKESEKE-2015-Colace0LLYC #adaptation #perspective #recommendation
An Adaptive Contextual Recommender System: a Slow Intelligence Perspective (FC, LG, SL, ML, DY, SKC), pp. 64–71.
SEKESEKE-2015-FiondellaGL #automation #predict
A Smartphone-based System for Automated Congestion Prediction (LF, SSG, NL), pp. 195–200.
SEKESEKE-2015-HeinrichGHRRSPJ #empirical #evolution #framework #information management #research
A Platform for Empirical Research on Information System Evolution (RH, SG, TMH, TR, RHR, KS, BP, JJ), pp. 415–420.
SEKESEKE-2015-HughesDH #detection #streaming
Detecting Reporting Anomalies in Streaming Sensing Systems (SH, YD, JOH), pp. 427–432.
SEKESEKE-2015-LiuL #architecture
An Exploration of System Architecture on Integrating Building Management System in High-Rise Building (ZL, YL), pp. 342–345.
SEKESEKE-2015-LiuXC #learning #recommendation
Context-aware Recommendation System with Anonymous User Profile Learning (YL, YX, MC), pp. 93–98.
SEKESEKE-2015-LuoYZ #deployment #towards
Towards a Deployment System for Cloud Applications (RL, WY, SZ), pp. 122–127.
SEKESEKE-2015-QinMDJ #case study #modelling #safety
Study on the Accident-causing Model Based on Safety Region and Applications in China Railway Transportation System (YQ, HM, MD, LJ), pp. 528–535.
SEKESEKE-2015-RahmeX #scheduling
Reliability-Based Software Rejuvenation Scheduling for Cloud-Based Systems (JR, HX), pp. 298–303.
SEKESEKE-2015-SalehianF #detection #embedded #monitoring #realtime
Embedded Real Time Blink Detection System for Driver Fatigue Monitoring (SS, BF), pp. 188–194.
SEKESEKE-2015-SantosODN #experience #quality
Reporting an Experience on the Establishment of a Quality Model for Systems-of-Systems (DSS, BRNO, AD, EYN), pp. 304–309.
SIGIRSIGIR-2015-BaileyMST #evaluation #information retrieval #variability
User Variability and IR System Evaluation (PB, AM, FS, PT), pp. 625–634.
SIGIRSIGIR-2015-ChengS #music #named #recommendation
VenueMusic: A Venue-Aware Music Recommender System (ZC, JS), pp. 1029–1030.
SIGIRSIGIR-2015-CrescenziKA #information management
Time Pressure and System Delays in Information Search (AC, DK, LA), pp. 767–770.
SIGIRSIGIR-2015-HaraSKF #recommendation
Reducing Hubness: A Cause of Vulnerability in Recommender Systems (KH, IS, KK, KF), pp. 815–818.
SIGIRSIGIR-2015-VolkovsY #effectiveness #feedback #modelling #recommendation
Effective Latent Models for Binary Feedback in Recommender Systems (MV, GWY), pp. 313–322.
ECMFAECMFA-J-2012-BaresiBKMMPRR15 #approach #embedded #uml #validation #verification
Formal verification and validation of embedded systems: the UML-based MADES approach (LB, GB, DSK, NDM, AM, RFP, AR, MR), pp. 343–363.
AMTAMT-2015-HoislS #benchmark #evolution #metric #model-to-text #towards
Towards Benchmarking Evolution Support in Model-to-Text Transformation Systems (BH, SS), pp. 16–25.
MoDELSMoDELS-2015-Easterbrook #modelling
Modelling the climate system: Is model-based science like model-based engineering? (Keynote) (SME), p. 1.
MoDELSMoDELS-2015-EichlerMSGD #graph grammar #term rewriting
Enhanced graph rewriting systems for complex software domains (SoSyM abstract) (CE, TM, PS, LAG, KD), p. 447.
MoDELSMoDELS-2015-HajriGBS #approach #case study #embedded #industrial #lessons learnt #modelling #product line
Applying product line Use case modeling in an industrial automotive embedded system: Lessons learned and a refined approach (IH, AG, LCB, TS), pp. 338–347.
MoDELSMoDELS-2015-LeemansA #distributed #mining #modelling #process #transaction
Process mining in software systems: Discovering real-life business transactions and process models from distributed systems (ML, WMPvdA), pp. 44–53.
MoDELSMoDELS-2015-LettnerEGP #case study #experience #feature model #industrial #lessons learnt #modelling #scalability
Feature modeling of two large-scale industrial software systems: Experiences and lessons learned (DL, KE, PG, HP), pp. 386–395.
MoDELSMoDELS-2015-LuddeckeSSS #modelling #network #using
Modeling user intentions for in-car infotainment systems using Bayesian networks (DL, CS, JS, IS), pp. 378–385.
MoDELSMoDELS-2015-NguyenYHKST #design pattern #named #security
SoSPa: A system of Security design Patterns for systematically engineering secure systems (PHN, KY, TH, JK, RS, YLT), pp. 246–255.
MoDELSMoDELS-2015-S #challenge #modelling #named #smarttech
Automobile: Aircraft or smartphone? Modeling challenges and opportunities in Automotive Systems (keynote) (RS), p. 3.
MoDELSMoDELS-2015-SongLASDC #architecture #formal method #probability #using #verification
Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract) (SS, YL, MA, JS, JSD, TC), p. 449.
OnwardOnward-2015-GreweEWM #performance #proving #type system
Type systems for the masses: deriving soundness proofs and efficient checkers (SG, SE, PW, MM), pp. 137–150.
OOPSLAOOPSLA-2015-ErdwegLW #dependence #incremental
A sound and optimal incremental build system with dynamic dependencies (SE, ML, MW), pp. 89–106.
OOPSLAOOPSLA-2015-NtzikG #file system #reasoning
Reasoning about the POSIX file system: local update and global pathnames (GN, PG), pp. 201–220.
GPCEGPCE-2015-FoustJP #constraints #data flow #generative #multi #source code #user interface #visual notation
Generating reactive programs for graphical user interfaces from multi-way dataflow constraint systems (GF, JJ, SP), pp. 121–130.
QAPLQAPL-2015-KawamotoG #data flow
Quantitative Information Flow for Scheduler-Dependent Systems (YK, TGW), pp. 48–62.
QAPLQAPL-2015-LeeV #bisimulation #branch #congruence #probability
Rooted branching bisimulation as a congruence for probabilistic transition systems (MDL, EPdV), pp. 79–94.
POPLPOPL-2015-BrownP #self
Self-Representation in Girard’s System U (MB, JP), pp. 471–484.
POPLPOPL-2015-HeGWZ #automaton #composition #concurrent #probability #reasoning
Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems (FH, XG, BYW, LZ), pp. 503–514.
POPLPOPL-2015-MelliesZ #refinement
Functors are Type Refinement Systems (PAM, NZ), pp. 3–16.
REFSQREFSQ-2015-DaunWP #detection #embedded #requirements
Detecting and Correcting Outdated Requirements in Function-Centered Engineering of Embedded Systems (MD, TW, KP), pp. 65–80.
REFSQREFSQ-2015-KnaussARI #development #feedback #requirements #research
Research Preview: Supporting Requirements Feedback Flows in Iterative System Development (EK, AA, MR, EI), pp. 277–283.
SACSAC-2015-AbeywickramaSL #adaptation #monitoring #runtime #visualisation
Monitoring and visualizing adaptation of autonomic systems at runtime (DBA, NBS, ML), pp. 1857–1860.
SACSAC-2015-Ahn #architecture #object-oriented #re-engineering #runtime
Reconstruction of runtime software architecture for object-oriented systems (HA), pp. 1668–1669.
SACSAC-2015-AminikhanghahiS #image #robust
Study of wireless mammography image transmission impacts on robust cyber-aided diagnosis systems (SA, SYS, WW, SIJ, SHS, CP), pp. 2252–2256.
SACSAC-2015-AttiaTHKTC #detection
On-device anomaly detection for resource-limited systems (MBA, CT, AHL, BK, VT, MC), pp. 548–554.
SACSAC-2015-BeckersHMG #internet #security
Engineering trust- and reputation-based security controls for future internet systems (KB, MH, FM, MCFG), pp. 1344–1349.
SACSAC-2015-BrideJM #approximate #generative #testing
Tri-modal under-approximation of event systems for test generation (HB, JJ, PAM), pp. 1737–1744.
SACSAC-2015-ByunC #automation #constraints #operating system #safety #testing #using
Automated system-level safety testing using constraint patterns for automotive operating systems (TB, YC), pp. 1815–1822.
SACSAC-2015-CamaraHJJ #graph #modelling #persuasion #recommendation #social #using
Using graph-based models in a persuasive social recommendation system (JPC, SH, JJ, VJ), pp. 189–194.
SACSAC-2015-CharafeddineEFJ #component #runtime
Runtime enforcement for component-based systems (HC, KEH, YF, MJ), pp. 1789–1796.
SACSAC-2015-Chaudhary #experience #recommendation
Experience in item based recommender system (AC), pp. 1112–1114.
SACSAC-2015-CostaRRTS #multi #named
MpOS: a multiplatform offloading system (PBC, PALR, LSR, FAMT, JNdS), pp. 577–584.
SACSAC-2015-DihegoSO #component
Constructive extensibility of trustworthy component-based systems (JD, AS, MVMO), pp. 1808–1814.
SACSAC-2015-DominguesSBMPR #metadata #multi #personalisation #ranking #recommendation
Applying multi-view based metadata in personalized ranking for recommender systems (MAD, CVS, FMMB, MGM, MGCP, SOR), pp. 1105–1107.
SACSAC-2015-DymchenkoM #eclipse #problem #prolog
Declaratively solving tricky google code jam problems with prolog-based ECLiPSe CLP system (SD, MM), pp. 2122–2124.
SACSAC-2015-EllouzeRB #energy
Energy harvesting based protection of border surveillance systems (NE, SR, NB), pp. 621–626.
SACSAC-2015-GoncalvesON #architecture
A meta-process to construct software architectures for system of systems (MBG, FO, EYN), pp. 1411–1416.
SACSAC-2015-GotoT #communication #detection #network #visual notation
Anomalous network communication detection system by visual pattern on a client computer (HG, TT), pp. 1263–1269.
SACSAC-2015-Grossl #modelling #network
Modeling dependable systems with continuous time Bayesian networks (MG), pp. 436–441.
SACSAC-2015-GuessiNBFON #architecture #bibliography
A systematic literature review on the description of software architectures for systems of systems (MG, VVGN, TB, KRF, FO, EYN), pp. 1433–1440.
SACSAC-2015-Homm0G #concurrent #markov #modelling #statistics #testing
Concurrent streams in Markov chain usage models for statistical testing of complex systems (DH, JE, RG), pp. 1803–1807.
SACSAC-2015-InacioDBNM #file system #operating system #parallel #parametricity #performance
Performance impact of operating systems’ caching parameters on parallel file systems (ECI, MARD, FZB, POAN, DDJdM), pp. 2066–2068.
SACSAC-2015-JoshiSIY #architecture #behaviour #design #embedded #functional #modelling
Mapping functional behavior onto architectural model in a model driven embedded system design (PJ, SKS, JPT, HY), pp. 1624–1630.
SACSAC-2015-KokoschkaPS
A reputation system supporting unlinkable, yet authorized expert ratings (AK, RP, CS), pp. 2320–2327.
SACSAC-2015-LeeRH #file system #memory management #performance
Performance implications of cache flushes for non-volatile memory file systems (KL, SR, HH), pp. 2069–2071.
SACSAC-2015-LeTN #requirements #using #verification
Verifying eventuality properties of imprecise system requirements using event-B (HAL, NTT, SN), pp. 1651–1653.
SACSAC-2015-LujakF #named #scheduling
ORCAS: optimized robots configuration and scheduling system (ML, AF), pp. 327–330.
SACSAC-2015-MaltaPSBF #analysis #bibliography #case study #distance #information management
A survey analysis on goal orientation changes in an information systems distance course: a Brazilian case study (CAM, ROAP, APdS, IIB, AQdOF), pp. 227–232.
SACSAC-2015-MatuszykVSJG #incremental #matrix #recommendation
Forgetting methods for incremental matrix factorization in recommender systems (PM, JV, MS, AMJ, JG), pp. 947–953.
SACSAC-2015-MoralesNSA #named #requirements #specification
TRiStar: an i* extension for teleo-reactive systems requirements specifications (JMM, EN, PS, DA), pp. 283–288.
SACSAC-2015-MurguzurTS #evaluation #framework #variability #workflow
Dynamic variability support in workflow-based systems: an evaluation of the LateVa framework (AM, ST, GS), pp. 1641–1643.
SACSAC-2015-Rekha #big data #detection #performance #using
A fast support vector data description system for anomaly detection using big data (AGR), pp. 931–932.
SACSAC-2015-RodriguesJD #recommendation #using
Accelerating recommender systems using GPUs (AVR, AJ, ID), pp. 879–884.
SACSAC-2015-SaezPCCP #manycore #named #symmetry
ACFS: a completely fair scheduler for asymmetric single-isa multicore systems (JCS, AP, FC, DC, MPM), pp. 2027–2032.
SACSAC-2015-SanchezJ #interactive #modelling #music #testing
Model based testing of an interactive music system (CPS, FJ), pp. 1759–1764.
SACSAC-2015-VilelaCPSCL #behaviour #modelling
Deriving the behavior of context-sensitive systems from contextual goal models (JV, JBdC, JP, MS, PC, ML), pp. 1397–1400.
SACSAC-2015-ZiccardiSV #operating system
A time-composable operating system for the Patmos processor (MZ, MS, TV), pp. 1892–1897.
ESEC-FSEESEC-FSE-2015-DesaiQS #testing
Systematic testing of asynchronous reactive systems (AD, SQ, SAS), pp. 73–83.
ESEC-FSEESEC-FSE-2015-Florio #adaptation #distributed #scalability #self
Decentralized self-adaptation in large-scale distributed systems (LF), pp. 1022–1025.
ESEC-FSEESEC-FSE-2015-Janjua
OnSpot system: test impact visibility during code edits in real software (MUJ), pp. 994–997.
ESEC-FSEESEC-FSE-2015-KoskiM #architecture #lessons learnt #quality #requirements
Requirements, architecture, and quality in a mission critical system: 12 lessons learned (AK, TM), pp. 1018–1021.
ESEC-FSEESEC-FSE-2015-SafiSHM #detection
Detecting event anomalies in event-based systems (GS, AS, WGJH, NM), pp. 25–37.
ESEC-FSEESEC-FSE-2015-SiegmundGAK #configuration management #modelling
Performance-influence models for highly configurable systems (NS, AG, SA, CK), pp. 284–294.
ESEC-FSEESEC-FSE-2015-WangPGBI #automation #case study #named #specification #testing #tool support
UMTG: a toolset to automatically generate system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 942–945.
ESEC-FSEESEC-FSE-2015-XuJFZPT #comprehension #exclamation
Hey, you have given me too many knobs!: understanding and dealing with over-designed configuration in system software (TX, LJ, XF, YZ, SP, RT), pp. 307–319.
ICSEICSE-v1-2015-DenaroMPV #data flow #object-oriented #testing
Dynamic Data Flow Testing of Object Oriented Systems (GD, AM, MP, MV), pp. 947–958.
ICSEICSE-v1-2015-GaoLCMW #interactive #question #testing #what
Making System User Interactive Tests Repeatable: When and What Should We Control? (ZG, YL, MBC, AMM, ZW), pp. 55–65.
ICSEICSE-v1-2015-RegisDDA #logic #specification
Specifying Event-Based Systems with a Counting Fluent Temporal Logic (GR, RD, ND, NA), pp. 733–743.
ICSEICSE-v1-2015-RheinGAS0B #configuration management
Presence-Condition Simplification in Highly Configurable Systems (AvR, AG, SA, NS, DB, TB), pp. 178–188.
ICSEICSE-v2-2015-Beyer #api #developer #mobile #named #recommendation
DIETs: Recommender Systems for Mobile API Developers (SB), pp. 859–862.
ICSEICSE-v2-2015-BoehmM
System Thinking: Educating T-Shaped Software Engineers (BWB, SKM), pp. 333–342.
ICSEICSE-v2-2015-Cavalcante #architecture #development #on the
On the Architecture-Driven Development of Software-Intensive Systems-of-Systems (EC), pp. 899–902.
ICSEICSE-v2-2015-CoxBEV #dependence
Measuring Dependency Freshness in Software Systems (JC, EB, MCJDvE, JV), pp. 109–118.
ICSEICSE-v2-2015-Gil #adaptation #automation #self
Automated Planning for Self-Adaptive Systems (RG), pp. 839–842.
ICSEICSE-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.
ICSEICSE-v2-2015-HuangM #adaptation #self
Incorporating Human Intention into Self-Adaptive Systems (SH, PM), pp. 571–574.
ICSEICSE-v2-2015-IzquierdoC #open source
Enabling the Definition and Enforcement of Governance Rules in Open Source Systems (JLCI, JC), pp. 505–514.
ICSEICSE-v2-2015-Jiang #scalability #testing
Load Testing Large-Scale Software Systems (ZMJJ), pp. 955–956.
ICSEICSE-v2-2015-SanchezW #source code #stack overflow
Source Code Curation on StackOverflow: The Vesperin System (HS, JW), pp. 661–664.
ICSEICSE-v2-2015-SimpsonMCFMR #case study #education #experience #security
Experiences in Developing and Delivering a Programme of Part-Time Education in Software and Systems Security (ACS, AM, CJFC, IF, IM, KBR), pp. 435–444.
ICSEICSE-v2-2015-SongENCFC #adaptation #architecture #on the
On Architectural Diversity of Dynamic Adaptive Systems (HS, AE, VN, FC, FF, SC), pp. 595–598.
ICSEICSE-v2-2015-TsigkanosPGN #adaptation #cyber-physical #named #security
Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems (CT, LP, CG, BN), pp. 729–732.
ICSEICSE-v2-2015-WermelingerHRBR #education
Teaching Software Systems Thinking at The Open University (MW, JGH, LR, LB, MR, AKB), pp. 307–310.
PLEASEPLEASE-2015-SeguraTRSAC #multitenancy #named
WISE-SPL: Bringing Multi-tenancy to the Weather InSights Environment System (VCVBS, LPT, JPdFR, MNdS, LGA, RFGC), pp. 7–10.
SPLCSPLC-2015-AbbasA #adaptation #product line #self #variability
Harnessing variability in product-lines of self-adaptive software systems (NA, JA), pp. 191–200.
SPLCSPLC-2015-ArrietaSE #algorithm #cyber-physical #product line #validation
Test control algorithms for the validation of cyber-physical systems product lines (AA, GS, LE), pp. 273–282.
SPLCSPLC-2015-BeekFG #adaptation #analysis #paradigm #product line
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems (MHtB, AF, SG), pp. 321–326.
SPLCSPLC-2015-DegueuleFBANMGB #design pattern #variability
Tooling support for variability and architectural patterns in systems engineering (TD, JBFF, OB, MA, JLN, SM, GG, GB, OC), pp. 361–364.
SPLCSPLC-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.
SPLCSPLC-2015-GaetaC #modelling #product line
Modeling aerospace systems product lines in SysML (JPG, KC), pp. 293–302.
SPLCSPLC-2015-GreggSC #product line
The more you do, the more you save: the superlinear cost avoidance effect of systems product line engineering (SPG, RS, PC), pp. 303–310.
SPLCSPLC-2015-HotzWRGL #automation #evaluation #multi
Evaluation across multiple views for variable automation systems (LH, YW, MR, OG, JL), pp. 311–315.
SPLCSPLC-2015-KruegerC #generative #product line
Second generation systems and software product line engineering (CWK, PCC), pp. 388–389.
SPLCSPLC-2015-McGeeM #architecture #composition #cyber-physical
Composition of proof-carrying architectures for cyber-physical systems (ETM, JDM), pp. 419–426.
SPLCSPLC-2015-Munoz-Fernandez #adaptation #approach #named #requirements #self #simulation
REFAS: a PLE approach for simulation of self-adaptive systems requirements (JCMF, GT, IR, RM, CS), pp. 121–125.
SPLCSPLC-2015-SteffenLM #constraints #product line #synthesis
User-level synthesis: treating product lines as systems of constraints (BS, ALL, TMS), pp. 427–431.
SPLCSPLC-2015-YueAS #analysis #case study #cyber-physical #experience #product line
Cyber-physical system product line engineering: comprehensive domain analysis and experience report (TY, SA, BS), pp. 338–347.
ASPLOSASPLOS-2015-AgarwalNSOK #memory management
Page Placement Strategies for GPUs within Heterogeneous Memory Systems (NA, DWN, MS, MO, SWK), pp. 607–618.
ASPLOSASPLOS-2015-DautenhahnKDCA #architecture #kernel #operating system
Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation (ND, TK, WD, JC, VSA), pp. 191–206.
ASPLOSASPLOS-2015-Lee #architecture #cyber-physical
Architectural Support for Cyber-Physical Systems (EAL), p. 1.
ASPLOSASPLOS-2015-LiuHMHTS #memory management #named
GhostRider: A Hardware-Software System for Memory Trace Oblivious Computation (CL, AH, MM, MWH, MT, ES), pp. 87–101.
ASPLOSASPLOS-2015-SridharanDBFSSG #fault #memory management
Memory Errors in Modern Systems: The Good, The Bad, and The Ugly (VS, ND, SB, KBF, JS, JS, SG), pp. 297–310.
ASPLOSASPLOS-2015-StewartGMRVA #domain-specific language #named #programming
Ziria: A DSL for Wireless Systems Programming (GS, MG, GM, BR, DV, CLA), pp. 415–428.
ASPLOSASPLOS-2015-ZhangYMS #memory management #named #reliability
Mojim: A Reliable and Highly-Available Non-Volatile Memory System (YZ, JY, AM, SS), pp. 3–18.
CCCC-2015-BourkeCPPP #code generation #hybrid
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages (TB, JLC, BP, CP, MP), pp. 69–88.
CGOCGO-2015-PallisterEH #embedded #energy #optimisation #trade-off
Optimizing the flash-RAM energy trade-off in deeply embedded systems (JP, KE, SJH), pp. 115–124.
HPCAHPCA-2015-AgarwalNOKW
Unlocking bandwidth for GPUs in CC-NUMA systems (NA, DWN, MO, SWK, TFW), pp. 354–365.
HPCAHPCA-2015-AroraMPJT #behaviour #benchmark #comprehension #cpu #gpu #metric #power management
Understanding idle behavior and power gating mechanisms in the context of modern benchmarks on CPU-GPU Integrated systems (MA, SM, IP, NJ, DMT), pp. 366–377.
HPCAHPCA-2015-ChandramoorthyT #architecture
Exploring architectural heterogeneity in intelligent vision systems (NC, GT, KMI, AP, SA, SAH, MC, JS, VN, LB), pp. 1–12.
HPCAHPCA-2015-JimenezBBOCV #manycore #performance
Increasing multicore system efficiency through intelligent bandwidth shifting (VJ, AB, PB, FPO, FJC, MV), pp. 39–50.
HPCAHPCA-2015-TiwariGRMRVOLDN #comprehension #design #fault #gpu #scalability
Understanding GPU errors on large-scale HPC systems and the implications for system design and operation (DT, SG, JHR, DM, PR, SSV, DAGdO, DL, ND, POAN, LC, ASB), pp. 331–342.
HPCAHPCA-2015-WangPBAK #alloy #architecture #memory management #named
Alloy: Parallel-serial memory channel architecture for single-chip heterogeneous processor systems (HW, CJP, GB, JHA, NSK), pp. 296–308.
HPDCHPDC-2015-AlvarezOEAGR #analysis
HPC System Lifetime Story: Workload Characterization and Evolutionary Analyses on NERSC Systems (GPRÁ, POÖ, EE, KA, RG, LR), pp. 57–60.
HPDCHPDC-2015-EllsworthMRS #named
POW: System-wide Dynamic Reallocation of Limited Power in HPC (DAE, ADM, BR, MS), pp. 145–148.
HPDCHPDC-2015-HaleD #kernel #operating system #parallel
A Case for Transforming Parallel Runtimes Into Operating System Kernels (KCH, PAD), pp. 27–32.
HPDCHPDC-2015-KocoloskiL #memory management #multi #named #performance
XEMEM: Efficient Shared Memory for Composed Applications on Multi-OS/R Exascale Systems (BK, JRL), pp. 89–100.
HPDCHPDC-2015-RamosH #optimisation
Cache Line Aware Optimizations for ccNUMA Systems (SR, TH), pp. 85–88.
HPDCHPDC-2015-SabneSE #clustering #named #pipes and filters #programming
HeteroDoop: A MapReduce Programming System for Accelerator Clusters (AS, PS, RE), pp. 235–246.
HPDCHPDC-2015-XiaoCHZ #cpu #gpu #monte carlo
Monte Carlo Based Ray Tracing in CPU-GPU Heterogeneous Systems and Applications in Radiation Therapy (KX, DZC, XSH, BZ), pp. 247–258.
ISMMISMM-2015-KimKKJ #memory management #mobile #physics
Controlling physical memory fragmentation in mobile systems (SHK, SK, JSK, JJ), pp. 1–14.
LCTESLCTES-2015-0001HL #analysis #kernel #realtime
Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems (CD, MH, DL), p. 10.
LCTESLCTES-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.
LCTESLCTES-2015-StilkerichLES #analysis #embedded #realtime
A Practical Getaway: Applications of Escape Analysis in Embedded Real-Time Systems (IS, CL, CE, MS), p. 11.
PPoPPPPoPP-2015-BaldassinBA #memory management #performance #transaction
Performance implications of dynamic memory allocators on transactional memory systems (AB, EB, GA), pp. 87–96.
PPoPPPPoPP-2015-ChabbiFM #multi #performance
High performance locks for multi-level NUMA systems (MC, MWF, JMMC), pp. 215–226.
PPoPPPPoPP-2015-ChangG #algorithm #concurrent #parallel
A parallel algorithm for global states enumeration in concurrent systems (YJC, VKG), pp. 140–149.
PPoPPPPoPP-2015-KimLV #multi #programming
An OpenACC-based unified programming model for multi-accelerator systems (JK, SL, JSV), pp. 257–258.
PPoPPPPoPP-2015-MajoG #composition #library #locality #optimisation
A library for portable and composable data locality optimizations for NUMA systems (ZM, TRG), pp. 227–238.
PPoPPPPoPP-2015-VassiliadisPCALBVN #energy #programming #runtime
A programming model and runtime system for significance-aware energy-efficient computing (VV, KP, CC, CDA, SL, NB, HV, DSN), pp. 275–276.
SOSPSOSP-2015-ChenZCCKZ #file system #hoare #logic #using
Using Crash Hoare logic for certifying the FSCQ file system (HC, DZ, TC, AC, MFK, NZ), pp. 18–37.
SOSPSOSP-2015-HawblitzelHKLPR #distributed #named #proving
IronFleet: proving practical distributed systems correct (CH, JH, MK, JRL, BP, MLR, STVS, BZ), pp. 1–17.
SOSPSOSP-2015-MaceRF #distributed #monitoring
Pivot tracing: dynamic causal monitoring for distributed systems (JM, RR, RF), pp. 378–393.
SOSPSOSP-2015-MinKLSK #correctness #debugging #file system #semantics
Cross-checking semantic correctness: the case of finding file system bugs (CM, SK, BL, CS, TK), pp. 361–377.
SOSPSOSP-2015-RidgeSTGMS #file system #named #specification #testing
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems (TR, DS, TT, AG, AM, PS), pp. 38–53.
SOSPSOSP-2015-TeixeiraFSSZA #distributed #graph #mining #named
Arabesque: a system for distributed graph mining (CHCT, AJF, MS, GS, MJZ, AA), pp. 425–440.
SOSPSOSP-2015-TsaiZRJZP #file system #how
How to get more value from your file system directory cache (CcT, YZ, JR, YJ, TZ, DEP), pp. 441–456.
CADECADE-2015-FultonMQVP #axiom #hybrid #proving #theorem proving
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (NF, SM, JDQ, MV, AP), pp. 527–538.
CADECADE-2015-KaliszykSUV
System Description: E.T. 0.1 (CK, SS, JU, JV), pp. 389–398.
CADECADE-2015-MouraKADR #agile #proving #theorem proving
The Lean Theorem Prover (System Description) (LMdM, SK, JA, FvD, JvR), pp. 378–388.
CADECADE-2015-ShintaniH #confluence #linear #named #term rewriting
CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems (KS, NH), pp. 127–136.
CADECADE-2015-ZulkoskiGC #algebra #named #satisfiability
MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers (EZ, VG, KC), pp. 607–622.
CAVCAV-2015-BozzanoCPJKPRT #analysis #design #safety
Formal Design and Safety Analysis of AIR6110 Wheel Brake System (MB, AC, AFP, DJ, GK, TP, RR, ST), pp. 518–535.
CAVCAV-2015-CookKP #automation #infinity #on the #verification
On Automation of CTL* Verification for Infinite-State Systems (BC, HK, NP), pp. 13–29.
CAVCAV-2015-Durand-Gasselin #model checking
Model Checking Parameterized Asynchronous Shared-Memory Systems (ADG, JE, PG, RM), pp. 67–84.
CAVCAV-2015-FinkbeinerGO #distributed #named #synthesis
Adam: Causality-Based Synthesis of Distributed Systems (BF, MG, ERO), pp. 433–439.
CAVCAV-2015-AkazakiH #hybrid #robust
Time Robustness in MTL and Expressivity in Hybrid System Falsification (TA, IH), pp. 356–374.
CAVCAV-2015-DesaiSQBE #abstraction #approximate #distributed
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems (AD, SAS, SQ, DB, JCE), pp. 429–448.
CSLCSL-2015-ClementeL #analysis #automaton #first-order #reachability
Reachability Analysis of First-order Definable Pushdown Systems (LC, SL), pp. 244–259.
CSLCSL-2015-LiuJO #confluence #term rewriting
Confluence of Layered Rewrite Systems (JL, JPJ, MO), pp. 423–440.
ICLPICLP-2015-PerchyV #constraints
Opinions and Beliefs as constraint system operators (SP, FV).
ICSTICST-2015-AliY #behaviour #cyber-physical #evolution #modelling #named #nondeterminism #testing
U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems (SA, TY), pp. 1–2.
ICSTICST-2015-ArltMPW #dependence #testing
If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing (SA, TM, AP, SW), pp. 1–10.
ICSTICST-2015-Lorber #modelling #mutation testing #realtime #testing
Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems (FL), pp. 1–2.
ICSTICST-2015-PankumhangR #test coverage
Iterative Instrumentation for Code Coverage in Time-Sensitive Systems (TP, MR), pp. 1–10.
ICSTICST-2015-YuC #embedded #generative #stack #testing #worst-case
Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems (TY, MBC), pp. 1–10.
ISSTAISSTA-2015-DhokMR #automation #named #parallel #thread
Pegasus: automatic barrier inference for stable multithreaded systems (MD, RM, MKR), pp. 153–164.
ISSTAISSTA-2015-GuiSLD #abstraction #assessment #communication #distributed #refinement #reliability
Reliability assessment for distributed systems via communication abstraction and refinement (LG, JS, YL, JSD), pp. 293–304.
ISSTAISSTA-2015-QiLAR #analysis #correctness #generative
An analysis of patch plausibility and correctness for generate-and-validate patch generation systems (ZQ, FL, SA, MCR), pp. 24–36.
ISSTAISSTA-2015-WangPGBI #automation #case study #generative #specification #testing
Automatic generation of system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 385–396.
LICSLICS-2015-BlondinFGHM #2d #reachability
Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete (MB, AF, SG, CH, PM), pp. 32–43.
LICSLICS-2015-BrazdilKKN #behaviour #probability
Long-Run Average Behaviour of Probabilistic Vector Addition Systems (TB, SK, AK, PN), pp. 44–55.
LICSLICS-2015-LerouxS #reachability
Demystifying Reachability in Vector Addition Systems (JL, SS), pp. 56–67.
RTARTA-2015-CirsteaLM #encoding #programmable #term rewriting
A faithful encoding of programmable strategies into term rewriting systems (HC, SL, PEM), pp. 74–88.
RTARTA-2015-ClercM #term rewriting
Presenting a Category Modulo a Rewriting System (FC, SM), pp. 89–105.
RTARTA-2015-Czajka #confluence #orthogonal #term rewriting
Confluence of nearly orthogonal infinitary term rewriting systems (LC), pp. 106–126.
RTARTA-2015-DasS #linear #logic #term rewriting
No complete linear term rewriting system for propositional logic (AD, LS), pp. 127–142.
RTARTA-2015-NageleFM #analysis #automation #confluence #term rewriting
Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules (JN, BF, AM), pp. 257–268.
RTARTA-2015-SuzukiKAT #confluence #orthogonal #revisited #term rewriting
Confluence of Orthogonal Nominal Rewriting Systems Revisited (TS, KK, TA, YT), pp. 301–317.
TAPTAP-2015-AthanasiouLS #concurrent #generative #testing #using
Test Case Generation for Concurrent Systems Using Event Structures (KA, HPdL, SS), pp. 19–37.
TLCATLCA-2015-HofmannM #analysis #multi #term rewriting
Multivariate Amortised Resource Analysis for Term Rewrite Systems (MH, GM), pp. 241–256.
VMCAIVMCAI-2015-BackesR #abstraction #analysis #clustering #graph transformation #infinity
Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction (PB, JR), pp. 135–152.
VMCAIVMCAI-2015-PrabhakarS #abstraction #analysis #hybrid
Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems (PP, MGS), pp. 318–335.
VMCAIVMCAI-2015-WaezWDR #industrial #realtime
A Model for Industrial Real-Time Systems (MTBW, AW, JD, KR), pp. 153–171.
CBSECBSE-2014-Bures #cyber-physical #development
Development of smart cyber-physical systems (TB), pp. 189–190.
CBSECBSE-2014-DidierM #approach #component #detection
A new approach to detect potential race conditions in component-based systems (JYD, MM), pp. 97–106.
CBSECBSE-2014-PresslerVBR #component #deployment #embedded #estimation #execution
Execution cost estimation for software deployment in component-based embedded systems (MP, AV, OB, WR), pp. 123–128.
ECSAECSA-2014-AbukwaikTR #architecture #information management #problem
Interoperability-Related Architectural Problems and Solutions in Information Systems: A Scoping Study (HA, DT, HDR), pp. 308–323.
ECSAECSA-2014-BennaceurI #architecture #distributed
Layered Connectors — Revisiting the Formal Basis of Architectural Connection for Complex Distributed Systems (AB, VI), pp. 283–299.
ECSAECSA-2014-BuresGHKKP #component #cyber-physical
Gossiping Components for Cyber-Physical Systems (TB, IG, PH, JK, MK, FP), pp. 250–266.
ECSAECSA-2014-ChiprianovFSP #architecture #distributed #embedded #modelling #performance #predict #realtime
Architectural Support for Model-Driven Performance Prediction of Distributed Real-Time Embedded Systems of Systems (VC, KEF, CS, GP), pp. 357–364.
ECSAECSA-2014-GerdesLR #architecture #design #evolution #legacy
Combining Architectural Design Decisions and Legacy System Evolution (SG, SL, MR), pp. 50–57.
ECSAECSA-2014-GurbuzTE #architecture #design #safety
Safety Perspective for Supporting Architectural Design of Safety-Critical Systems (HGG, BT, NPE), pp. 365–373.
ECSAECSA-2014-OliveiraLFON #architecture #design #process #towards
Towards a Process to Design Architectures of Service-Oriented Robotic Systems (LBRdO, EL, KRF, FO, EYN), pp. 218–225.
QoSAQoSA-2014-CamaraCLV #adaptation #architecture #empirical #evaluation #self
Empirical resilience evaluation of an architecture-based self-adaptive software system (JC, PC, RdL, MV), pp. 63–72.
QoSAQoSA-2014-GooijerH #case study #experience #industrial #manycore #memory management #modelling #realtime
Experiences with modeling memory contention for multi-core industrial real-time systems (TdG, KEH), pp. 43–52.
QoSAQoSA-2014-JohnsenLPH #dependence #graph #modelling #slicing #verification
Regression verification of AADL models through slicing of system dependence graphs (AJ, KL, PP, KH), pp. 103–112.
QoSAQoSA-2014-Perez-PalacinM #modelling #nondeterminism #performance
Dealing with uncertainties in the performance modelling of software systems (DPP, RM), pp. 33–42.
WICSAWICSA-2014-FaniyiLBY #architecture #self
Architecting Self-Aware Software Systems (FF, PRL, RB, XY), pp. 91–94.
WICSAWICSA-2014-Gonzalez-HerreraBDRBFJ #adaptation #component #framework #monitoring #named
Scapegoat: An Adaptive Monitoring Framework for Component-Based Systems (IYGH, JB, ED, WR, OB, FF, JMJ), pp. 67–76.
WICSAWICSA-2014-SeriaiSSH #component #interface #legacy
Deriving Component Interfaces after a Restructuring of a Legacy System (AS, SS, HAS, SH), pp. 31–40.
WICSAWICSA-2014-VierhauserRGDWZ #architecture #flexibility #framework #monitoring #runtime
A Flexible Framework for Runtime Monitoring of System-of-Systems Architectures (MV, RR, PG, CD, SW, HZ), pp. 57–66.
WICSAWICSA-2014-WeinreichB #architecture #automation #consistency
Automatic Reference Architecture Conformance Checking for SOA-Based Software Systems (RW, GB), pp. 95–104.
ASEASE-2014-BasuB #automation #bound #interactive #verification
Automatic verification of interactions in asynchronous systems with unbounded buffers (SB, TB), pp. 743–754.
ASEASE-2014-HagiharaESY #satisfiability #set #specification
Minimal strongly unsatisfiable subsets of reactive system specifications (SH, NE, MS, NY), pp. 629–634.
ASEASE-2014-JinCQR #configuration management #named
PrefFinder: getting the right preference in configurable software systems (DJ, MBC, XQ, BR), pp. 151–162.
ASEASE-2014-Larsson #case study #experience #industrial #lifecycle
Keynote talk: experiences from developing industrial software systems with long lifecycles (ML), pp. 5–6.
ASEASE-2014-MkaouerKBDC #interactive #optimisation #recommendation #refactoring #using
Recommendation system for software refactoring using innovization and interactive dynamic optimization (MWM, MK, SB, KD, MÓC), pp. 331–336.
ASEASE-2014-Priefer #content management #development #modelling
Model-driven development of content management systems based on Joomla (DP), pp. 911–914.
ASEASE-2014-Vierhauser #framework #monitoring #requirements
A requirements monitoring infrastructure for systems of systems (MV), pp. 887–890.
ASEASE-2014-WozniakNZMPG #component #design
Assigning time budgets to component functions in the design of time-critical automotive systems (EW, MDN, HZ, CM, STP, SG), pp. 235–246.
CASECASE-2014-AltMS #distributed
Compensation of spatially distributed disturbances in heat conduction systems (SA, FM, OS), pp. 860–865.
CASECASE-2014-CanaliCCSEC #assembly #automation #detection #industrial
An automatic assembly parts detection and grasping system for industrial manufacturing (CC, FC, FC, GS, AE, DGC), pp. 215–220.
CASECASE-2014-ChenHL #development
Development of an e-diagnostics system based on Web-services (CHC, HPH, SYL), pp. 686–691.
CASECASE-2014-ChenLL #adaptation #design #predict #using
Design of lane keeping system using adaptive model predictive control (BCC, BCL, KL), pp. 922–926.
CASECASE-2014-ChuKS #dependence #energy #grid #integration
Optimal integration of alternative energy sources in production systems for minimum grid dependency and outage risk (KCC, KK, KS), pp. 640–645.
CASECASE-2014-FantiLIMUA #approach
A Decision Support System approach for the postal delivery operations (MPF, RL, GI, AMM, WU, LA), pp. 588–593.
CASECASE-2014-FantiMULV #health #petri net
A Petri net model of an integrated system for the Health Care At Home management (MPF, AMM, WU, JJL, KV), pp. 582–587.
CASECASE-2014-Gao #hybrid #towards
Towards a converse Lyapunov stability theory of hybrid impulsive and switching systems (RG), pp. 425–429.
CASECASE-2014-HanLH #development
Development of Autonomous Emergency Braking control system based on road friction (ICH, BCL, FCH), pp. 933–937.
CASECASE-2014-HanZH #analysis
System-theoretic analysis of battery systems during equalization, charging, and discharging (WH, LZ, YH), pp. 158–163.
CASECASE-2014-HatanoDW
A Cooling and Heat-retention System actuated by Peltier device considering fan-motor control (TH, MD, SW), pp. 164–169.
CASECASE-2014-HuCLY #approach #automation #comparative #petri net #using
A comparative approach to supervisor simplification in automated manufacturing systems using Petri nets (HH, CC, YL, YY), pp. 619–625.
CASECASE-2014-HungLHTC #development
Development of a private cloud-based new-generation virtual metrology system (MHH, YCL, HCH, CCT, FTC), pp. 910–915.
CASECASE-2014-HuYLC #analysis #automation #modelling #multi #petri net
Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis (HH, YY, YL, CC), pp. 449–454.
CASECASE-2014-JinNHXC #policy
Threshold-type admission policy for remanufacturing systems (XJ, JN, SJH, GX, QC), pp. 467–473.
CASECASE-2014-JuZDL #bibliography #energy #hybrid
Review of structures and control of battery-supercapacitor hybrid energy storage system for electric vehicles (FJ, QZ, WD, JL), pp. 143–148.
CASECASE-2014-KhodabakhshianFW #performance #predict
Predictive control of the engine cooling system for fuel efficiency improvement (MK, LF, JW), pp. 61–66.
CASECASE-2014-LangJLX #estimation
A dual-infrared sensing system for occupant distribution estimation in buildings (ZL, QSJ, YL, XX), pp. 960–965.
CASECASE-2014-LiaoLCHF #analysis
Vision based gait analysis on robotic walking stabilization system for patients with Parkinson’s Disease (CKL, CDL, CYC, CMH, LCF), pp. 818–823.
CASECASE-2014-LiCW #policy #robust
A robust (r, Q) policy for a simple VMI system with inventory inaccuracy and time-delay (ML, FTSC, ZW), pp. 652–657.
CASECASE-2014-LiLT #petri net #probability #process #scheduling
A color petri net based scheduling model for remanufacturing system with stochastic process routing (LL, CL, YT), pp. 474–479.
CASECASE-2014-LiuK #communication #nondeterminism #parametricity
Passivity-based teleoperation system for robots with parametric uncertainty and communication delay (YCL, MHK), pp. 271–276.
CASECASE-2014-LiWC #using
Pedestrian tracking system by using human shape prior model (KCL, HCW, JMC), pp. 1139–1143.
CASECASE-2014-LiY #scheduling
ACO-ICSA based scheduling of re-entrant manufacturing system with Mix-processing Style (LL, QY), pp. 87–92.
CASECASE-2014-LyuYCCC #development #monitoring
Development of robotic walking-aid system with mobility assistance and remote monitoring (SRL, WTY, YSC, HHC, YLC), pp. 830–835.
CASECASE-2014-MarkovskiH #framework #modelling #reliability
A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions (JM, HH), pp. 436–442.
CASECASE-2014-NgoS
A time fidelity control foundation for hierarchical discrete-event systems (QHN, KTS), pp. 443–448.
CASECASE-2014-PedrielliAM #multi
Time Buffer Control System for multi-stage production lines (GP, AA, AM), pp. 393–398.
CASECASE-2014-PuTC #design #development #smarttech
Design and development of the wearable hand exoskeleton system for rehabilitation of hand impaired patients (SWP, SYT, JYC), pp. 996–1001.
CASECASE-2014-SachsMTS #energy #hybrid
Filter-based PV power smoothing control for island hybrid energy systems with high PV penetration (JS, BM, KT, OS), pp. 872–877.
CASECASE-2014-SustoWPZJOM #adaptation #flexibility #machine learning #maintenance #predict
An adaptive machine learning decision system for flexible predictive maintenance (GAS, JW, SP, MZ, ABJ, PGO, SFM), pp. 806–811.
CASECASE-2014-TanHZ #automation #development #validation
Development and validation of an automated steering control system for bus revenue service (HST, JH, WBZ), pp. 31–36.
CASECASE-2014-WangFZL #artificial reality #collaboration #maintenance
An augmented reality based system for remote collaborative maintenance instruction of complex products (JW, YF, CZ, SL), pp. 309–314.
CASECASE-2014-WolffNLM #classification #lifecycle #standard
An information classification system for life cycle and manufacturing standards (SW, AN, DL, KCM), pp. 498–503.
CASECASE-2014-Wu #classification
Classifications for batch service queues in production systems (KW), pp. 698–703.
CASECASE-2014-XueL #finite
Input-output finite-time stability of time-delay systems and its application to active vibration control (WX, KL), pp. 878–882.
CASECASE-2014-YuM #approach #data-driven #detection #statistics
Data-driven bottleneck detection in manufacturing systems: A statistical approach (CY, AM), pp. 710–715.
CASECASE-2014-ZhaoLH #evaluation #exponential #multi #performance
Performance evaluation of multi-product manufacturing systems with asynchronous exponential machines (CZ, JL, NH), pp. 692–697.
CASECASE-2014-ZhaoUH #divide and conquer #flexibility #synthesis
A divide-and-conquer method for the synthesis of non-blocking supervisors for flexible manufacturing systems (MZ, MU, YH), pp. 455–460.
DACDAC-2014-0001SMAKV #manycore #optimisation
Reinforcement Learning-Based Inter- and Intra-Application Thermal Optimization for Lifetime Improvement of Multicore Systems (AD, RAS, GVM, BMAH, AK, BV), p. 6.
DACDAC-2014-AdirGGS #generative #network #testing #using
Using a High-Level Test Generation Expert System for Testing In-Car Networks (AA, AG, LG, TS), p. 6.
DACDAC-2014-AtacCLWSZWH #design #multi #standard
An HDL-Based System Design Methodology for Multistandard RF SoC’s (AA, ZC, LL, YW, MS, YZ, RW, SH), p. 6.
DACDAC-2014-BraojosMJAARM #design #monitoring #power management #smarttech
Ultra-Low Power Design of Wearable Cardiac Monitoring Systems (RB, HM, ADJ, GA, DA, FJR, SM), p. 6.
DACDAC-2014-ChenWLZAMWH #functional #multi #prototype #standard #verification
A SystemC Virtual Prototyping based Methodology for Multi-Standard SoC Functional Verification (ZC, YW, LL, YZ, AA, JHM, RW, SH), p. 6.
DACDAC-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.
DACDAC-2014-FattahPLPT #manycore #named #runtime
SHiFA: System-Level Hierarchy in Run-Time Fault-Aware Management of Many-Core Systems (MF, MP, PL, JP, HT), p. 6.
DACDAC-2014-HernandezA #detection #fault #named #safety
LiVe: Timely Error Detection in Light-Lockstep Safety Critical Systems (CH, JA), p. 6.
DACDAC-2014-HuangYT #fault tolerance #on the #scheduling
On the Scheduling of Fault-Tolerant Mixed-Criticality Systems (PH, HY, LT), p. 6.
DACDAC-2014-HuWTT #hardware #monitoring #network #security
System-Level Security for Network Processors with Hardware Monitors (KH, TW, TT, RT), p. 6.
DACDAC-2014-KleebergerMS #analysis
Workload- and Instruction-Aware Timing Analysis: The missing Link between Technology and System-level Resilience (VK, PRM, US), p. 6.
DACDAC-2014-KosmidisQAFWC #certification #hardware
Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware (LK, EQ, JA, GF, FW, FJC), p. 6.
DACDAC-2014-KuanCHL #database #embedded #multi
Space-Efficient Multiversion Index Scheme for PCM-based Embedded Database Systems (YHK, YHC, PCH, KyL), p. 6.
DACDAC-2014-LeeL #embedded #runtime
Area-Efficient Event Stream Ordering for Runtime Observability of Embedded Systems (JCL, RL), p. 6.
DACDAC-2014-LinRGDS #algorithm #performance
An Efficient Wire Routing and Wire Sizing Algorithm for Weight Minimization of Automotive Systems (CWL, LR, PG, JD, ALSV), p. 6.
DACDAC-2014-LiuCTKD #component #realtime #using
Computation Offloading by Using Timing Unreliable Components in Real-Time Systems (WL, JJC, AT, TWK, QD), p. 6.
DACDAC-2014-LiuF
A Time-Unrolling Method to Compute Sensitivity of Dynamic Systems (FL, PF), p. 6.
DACDAC-2014-NandakumarM #analysis
System-Level Floorplan-Aware Analysis of Integrated CPU-GPUs (VSN, MMS), p. 6.
DACDAC-2014-NiKA #component #design #implementation
Design and Implementation of a Dynamic Component Model for Federated AUTOSAR Systems (ZN, AK, JA), p. 6.
DACDAC-2014-RaoGHC #artificial reality #design
Design Methods for Augmented Reality In-Vehicle Infotainment Systems (QR, CG, MH, SC), p. 6.
DACDAC-2014-SchaffnerGSKB #approximate #complexity #linear #realtime #video
An Approximate Computing Technique for Reducing the Complexity of a Direct-Solver for Sparse Linear Systems in Real-Time Video Processing (MS, FKG, AS, HK, LB), p. 6.
DACDAC-2014-ShiWZXS #memory management #reduction
Retention Trimming for Wear Reduction of Flash Memory Storage Systems (LS, KW, MZ, CJX, EHMS), p. 6.
DACDAC-2014-SlijepcevicKAQC #manycore #realtime
Time-Analysable Non-Partitioned Shared Caches for Real-Time Multicore Systems (MS, LK, JA, EQ, FJC), p. 6.
DACDAC-2014-TrimbergerM #security
FPGA Security: From Features to Capabilities to Trusted Systems (ST, JM), p. 4.
DACDAC-2014-WasicekDL #aspect-oriented #cyber-physical #modelling
Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems (AW, PD, EAL), p. 6.
DACDAC-2014-WenZMC #design #memory management #strict
State-Restrict MLC STT-RAM Designs for High-Reliable High-Performance Memory System (WW, YZ, MM, YC), p. 6.
DACDAC-2014-XiaCK #algorithm #automation #detection #development
An Automobile Detection Algorithm Development for Automated Emergency Braking System (LX, TDC, KAAK), p. 6.
DACDAC-2014-ZhangKIBWH #configuration management #named #reliability
GUARD: GUAranteed Reliability in Dynamically Reconfigurable Systems (HZ, MAK, MEI, LB, HJW, JH), p. 6.
DACDAC-2014-ZhangWWCLS
Deterministic Crash Recovery for NAND Flash Based Storage Systems (CZ, YW, TW, RC, DL, ZS), p. 6.
DATEDATE-2014-AlhammadP #execution #manycore #parallel #predict #thread
Time-predictable execution of multithreaded applications on multicore systems (AA, RP), pp. 1–6.
DATEDATE-2014-BiewerGH #novel #smt
A novel model for system-level decision making with combined ASP and SMT solving (AB, JG, CH), pp. 1–4.
DATEDATE-2014-Braak #adaptation #embedded #scalability #using
Using guided local search for adaptive resource reservation in large-scale embedded systems (TDtB), pp. 1–4.
DATEDATE-2014-CanedoFR #automation #cyber-physical #design #multi
Multi-disciplinary integrated design automation tool for automotive cyber-physical systems (AC, MAAF, JHR), pp. 1–2.
DATEDATE-2014-CannellaBS #approach #realtime #scheduling #streaming #using
System-level scheduling of real-time streaming applications using a semi-partitioned approach (EC, MB, TS), pp. 1–6.
DATEDATE-2014-CaplanMMM #execution #reliability #trade-off
Trade-offs in execution signature compression for reliable processor systems (JC, MIM, PM, BHM), pp. 1–6.
DATEDATE-2014-CasparLH #automation #strict #testing #using
Automated system testing using dynamic and resource restricted clients (MC, ML, WH), pp. 1–4.
DATEDATE-2014-CastellanaTF #adaptation #configuration management #hybrid #interface #memory management
An adaptive Memory Interface Controller for improving bandwidth utilization of hybrid and reconfigurable systems (VGC, AT, FF), pp. 1–4.
DATEDATE-2014-ChenCT #performance #simulation
An activity-sensitive contention delay model for highly efficient deterministic full-system simulations (SYC, CHC, RST), pp. 1–6.
DATEDATE-2014-ChenZZ
Recovery-based resilient latency-insensitive systems (YC, XZ, HZ), pp. 1–6.
DATEDATE-2014-CilardoFGM #communication #manycore #scheduling #synthesis
Joint communication scheduling and interconnect synthesis for FPGA-based many-core systems (AC, EF, LG, AM), pp. 1–4.
DATEDATE-2014-DamodaranWH #distributed #multi
Distributed cooperative shared last-level caching in tiled multiprocessor system on chip (PPD, SW, AH), pp. 1–4.
DATEDATE-2014-DhruvaKGT #cyber-physical
Computing a language-based guarantee for timing properties of cyber-physical systems (ND, PK, GG, LT), pp. 1–6.
DATEDATE-2014-DimitrakopoulosSPTMC #hardware #parallel #synthesis #thread
Hardware primitives for the synthesis of multithreaded elastic systems (GD, IS, AP, KT, PMM, JC), pp. 1–4.
DATEDATE-2014-EckerVZG #approach #metamodelling #synthesis
The metamodeling approach to system level synthesis (WE, MV, LZ, AG), pp. 1–2.
DATEDATE-2014-Fuller #challenge #design #embedded #generative
System design challenges for next generation wireless and embedded systems (DF), p. 1.
DATEDATE-2014-FummiLSTVV #design #effectiveness #simulation
Moving from co-simulation to simulation for effective smart systems design (FF, ML, FS, DT, JV, SV), pp. 1–4.
DATEDATE-2014-GaillardonAZM #design
Advanced system on a chip design based on controllable-polarity FETs (PEG, LGA, JZ, GDM), pp. 1–6.
DATEDATE-2014-GaoGWP #energy #fault #fault tolerance #framework #in the cloud #scheduling
An energy-aware fault tolerant scheduling framework for soft error resilient cloud computing systems (YG, SKG, YW, MP), pp. 1–6.
DATEDATE-2014-GomonyAG #optimisation #performance #realtime
Coupling TDM NoC and DRAM controller for cost and performance optimization of real-time systems (MDG, BA, KG), pp. 1–6.
DATEDATE-2014-GrafGTL #design #embedded #multi
Multi-variant-based design space exploration for automotive embedded systems (SG, MG, JT, CL), pp. 1–6.
DATEDATE-2014-HeidmannHHWPP #design #modelling
Modeling of an analog recording system design for ECoG and AP signals (NH, NH, TH, TW, DPD, SP), pp. 1–6.
DATEDATE-2014-HeinigDHMWHGBKR #integration
System integration — The bridge between More than Moore and More Moore (AH, MD, AH, FM, TW, KH, AG, RB, SK, JR), pp. 1–9.
DATEDATE-2014-IliasovASM #design #refinement #safety
Design of safety critical systems by refinement (AI, AA, DS, AM), pp. 1–4.
DATEDATE-2014-KangYKBHT #manycore #optimisation
Reliability-aware mapping optimization of multi-core systems with mixed-criticality (SHK, HY, SK, IB, SH, LT), pp. 1–4.
DATEDATE-2014-KauerSGCA #distributed #embedded #fault tolerance #synthesis #verification
Fault-tolerant control synthesis and verification of distributed embedded systems (MK, DS, DG, SC, AMA), pp. 1–6.
DATEDATE-2014-KhanSH #architecture #manycore #performance #power management #video
Software architecture of High Efficiency Video Coding for many-core systems with power-efficient workload balancing (MUKK, MS, JH), pp. 1–6.
DATEDATE-2014-KhdrESAH #multi #named
mDTM: Multi-objective dynamic thermal management for on-chip systems (HK, TE, MS, HA, JH), pp. 1–6.
DATEDATE-2014-LeD #design #towards #verification
Towards verifying determinism of SystemC designs (HML, RD), pp. 1–4.
DATEDATE-2014-LiHCXJX #embedded #memory management #stack
A wear-leveling-aware dynamic stack for PCM memory in embedded systems (QL, YH, YC, CJX, NJ, CX), pp. 1–4.
DATEDATE-2014-LiuBC #hardware #image
Image progressive acquisition for hardware systems (JL, CSB, PYKC), pp. 1–6.
DATEDATE-2014-LuCC #correlation #memory management #performance
Achieving efficient packet-based memory system by exploiting correlation of memory requests (TL, LC, MC), pp. 1–6.
DATEDATE-2014-MullerM #scheduling
The schedulability region of two-level mixed-criticality systems based on EDF-VD (DM, AM), pp. 1–6.
DATEDATE-2014-NikitakisPP #embedded #novel
A novel embedded system for vision tracking (AN, TP, IP), pp. 1–4.
DATEDATE-2014-NowotschPHPS #analysis #monitoring #multi #off the shelf
Monitoring and WCET analysis in COTS multi-core-SoC-based mixed-criticality systems (JN, MP, AH, WP, AS), pp. 1–5.
DATEDATE-2014-NuzzoFIS #contract #cyber-physical #design #protocol #safety
Contract-based design of control protocols for safety-critical cyber-physical systems (PN, JBF, AI, ALSV), pp. 1–4.
DATEDATE-2014-PaternaZR #component #mobile
Ambient variation-tolerant and inter components aware thermal management for mobile system on chips (FP, JZ, TSR), pp. 1–6.
DATEDATE-2014-RadojicicGMP #analysis
Semi-symbolic analysis of mixed-signal systems including discontinuities (CR, CG, JM, XP), pp. 1–4.
DATEDATE-2014-RamboTDAE #analysis #realtime
Failure analysis of a network-on-chip for real-time mixed-critical systems (EAR, AT, JD, LA, RE), pp. 1–4.
DATEDATE-2014-RehmanKSH #compilation #reliability
Compiler-driven dynamic reliability management for on-chip systems under variabilities (SR, FK, MS, JH), pp. 1–4.
DATEDATE-2014-RossiTB #hybrid #optimisation #realtime
Real-time optimization of the battery banks lifetime in Hybrid Residential Electrical Systems (MR, AT, DB), pp. 1–6.
DATEDATE-2014-SanderSDBBBMKALHRHH #hardware #manycore
Hardware virtualization support for shared resources in mixed-criticality multicore systems (OS, TS, VVD, SB, FB, JB, HUM, DK, DA, EL, JH, AR, CH, AH), pp. 1–6.
DATEDATE-2014-SiddiqueT #analysis #formal method #towards
Towards the formal analysis of microresonators based photonic systems (US, ST), pp. 1–6.
DATEDATE-2014-TangZS #design #development #performance
System-level design methodology enabling fast development of baseband MP-SoC for 4G small cell base station (ST, ZZ, YS), pp. 1–6.
DATEDATE-2014-TsaiCCC #3d #configuration management #memory management #multi
Scenario-aware data placement and memory area allocation for Multi-Processor System-on-Chips with reconfigurable 3D-stacked SRAMs (MLT, YJC, YTC, RHC), pp. 1–6.
DATEDATE-2014-VenkateshSKA #named #specification
EDT: A specification notation for reactive systems (RV, US, GMK, SA), pp. 1–6.
DATEDATE-2014-WangLXCP #energy #hybrid
Minimizing state-of-health degradation in hybrid electrical energy storage systems with arbitrary source and load profiles (YW, XL, QX, NC, MP), pp. 1–4.
DATEDATE-2014-WangXWCWW #manycore #power management
Characterizing power delivery systems with on/off-chip voltage regulators for many-core processors (XW, JX, ZW, KJC, XW, ZW), pp. 1–4.
DATEDATE-2014-WangZMYJDP #adaptation #manycore
Adaptive power allocation for many-core systems inspired from multiagent auction model (XW, BZ, TSTM, MY, YJ, MD, MP), pp. 1–4.
DATEDATE-2014-WeinstockSLAT #parallel #simulation
Time-decoupled parallel SystemC simulation (JHW, CS, RL, GA, LT), pp. 1–4.
DATEDATE-2014-ZhangAJC #manycore #network
Thermal management of manycore systems with silicon-photonic networks (TZ, JLA, AJ, AKC), pp. 1–6.
DATEDATE-2014-ZhuWCP #design #energy
Optimal design and management of a smart residential PV and energy storage system (DZ, YW, NC, MP), pp. 1–6.
DocEngDocEng-2014-PanLSTX #flexibility #library #named
FlexiFont: a flexible system to generate personal font libraries (WP, ZL, RS, YT, JX), pp. 17–20.
HTHT-2014-ChoiAL #authoring #hypermedia #modelling
Spatial hypertext modeling for dynamic contents authoring system based on transclusion (JRC, SA, SBL), pp. 303–304.
HTHT-2014-GouritenMS #adaptation #crawling #scalability
Scalable, generic, and adaptive systems for focused crawling (GG, SM, PS), pp. 35–45.
HTHT-2014-YangHBH #collaboration
Asking the right question in collaborative q&a systems (JY, CH, AB, GJH), pp. 179–189.
SIGMODSIGMOD-2014-AgarwalMKTJMMS #approximate #performance #query #reliability
Knowing when you’re wrong: building fast and reliable approximate query processing systems (SA, HM, AK, AT, MIJ, SM, BM, IS), pp. 481–492.
SIGMODSIGMOD-2014-AntovaESGPW #optimisation #query
Optimizing queries over partitioned tables in MPP systems (LA, AEH, MAS, ZG, MP, FW), pp. 373–384.
SIGMODSIGMOD-2014-FaleiroTA #database #evaluation #lazy evaluation #transaction
Lazy evaluation of transactions in database systems (JMF, AT, DJA), pp. 15–26.
SIGMODSIGMOD-2014-KieferKSHML #in memory #multi
ERIS live: a NUMA-aware in-memory storage engine for tera-scale multiprocessor systems (TK, TK, BS, DH, DM, WL), pp. 689–692.
SIGMODSIGMOD-2014-LangNRN #database
Partial results in database systems (WL, RVN, ER, JFN), pp. 1275–1286.
SIGMODSIGMOD-2014-LeFevreSHTPC14a #big data #multi #named #query
MISO: souping up big data query processing with a multistore system (JL, JS, HH, JT, NP, MJC), pp. 1591–1602.
SIGMODSIGMOD-2014-MottinMRDPV #interactive #named #problem #query
IQR: an interactive query relaxation system for the empty-answer problem (DM, AM, SBR, GD, TP, YV), pp. 1095–1098.
SIGMODSIGMOD-2014-PapailiouTKKK #data transformation #graph #performance #rdf
H2RDF+: an efficient data management system for big RDF graphs (NP, DT, IK, PK, NK), pp. 909–912.
SIGMODSIGMOD-2014-TaharaDA #multi #named #sql
Sinew: a SQL system for multi-structured data (DT, TD, DJA), pp. 815–826.
SIGMODSIGMOD-2014-YangXWWSWY #graph #named #query
SLQ: a user-friendly graph querying system (SY, YX, YW, TW, HS, JW, XY), pp. 893–896.
SIGMODSIGMOD-2014-YinCCHH #behaviour #modelling #social #social media
A temporal context-aware model for user behavior modeling in social media systems (HY, BC, LC, ZH, ZH), pp. 1543–1554.
SIGMODSIGMOD-2014-ZengGGMZ #approximate #named #query #scalability
ABS: a system for scalable approximate queries with accuracy guarantees (KZ, SG, JG, BM, CZ), pp. 1067–1070.
VLDBVLDB-2014-BoehmTRSTBV #hybrid #machine learning #parallel #scalability
Hybrid Parallelization Strategies for Large-Scale Machine Learning in SystemML (MB, ST, BR, PS, YT, DB, SV), pp. 553–564.
VLDBVLDB-2014-CetintemelDKMMMPSSTTWZ #named #streaming
S-Store: A Streaming NewSQL System for Big Velocity Applications (, JD, TK, SM, DM, JM, AP, MS, ES, NT, KT, HW, SBZ), pp. 1633–1636.
VLDBVLDB-2014-ChenCCC #named #performance
SOPS: A System for Efficient Processing of Spatial-Keyword Publish/Subscribe (LC, YC, GC, XC), pp. 1601–1604.
VLDBVLDB-2014-DaiQJWW #personalisation #recommendation
A Personalized Recommendation System for NetEase Dating Site (CD, FQ, WJ, ZW, ZW), pp. 1760–1765.
VLDBVLDB-2014-HanDAOWJ #comparison #graph
An Experimental Comparison of Pregel-like Graph Processing Systems (MH, KD, KA, MTÖ, XW, TJ), pp. 1047–1058.
VLDBVLDB-2014-He #approximate #challenge #data transformation #hardware
When Data Management Systems Meet Approximate Hardware: Challenges and Opportunities (BH), pp. 877–880.
VLDBVLDB-2014-JacobKS #analysis
A System for Management and Analysis of Preference Data (MJ, BK, JS), pp. 1255–1258.
VLDBVLDB-2014-JayachandranTKN #execution #interactive #query
Combining User Interaction, Speculative Query Execution and Sampling in the DICE System (PJ, KT, NK, AN), pp. 1697–1700.
VLDBVLDB-2014-Jiang0OTW #big data #named #scalability
epiC: an Extensible and Scalable System for Processing Big Data (DJ, GC, BCO, KLT, SW), pp. 541–552.
VLDBVLDB-2014-KhanE
Systems for Big-Graphs (AK, SE), pp. 1709–1710.
VLDBVLDB-2014-KuhlenkampKR #benchmark #database #distributed #metric #scalability
Benchmarking Scalability and Elasticity of Distributed Database Systems (JK, MK, OR), pp. 1219–1230.
VLDBVLDB-2014-KunjirKB #clustering #multi #named #towards
Thoth: Towards Managing a Multi-System Cluster (MK, PK, SB), pp. 1689–1692.
VLDBVLDB-2014-LingTFKNTYZ #named
GEMINI: An Integrative Healthcare Analytics System (ZJL, QTT, JF, GCHK, TN, CST, JWLY, MZ), pp. 1766–1771.
VLDBVLDB-2014-Lu0OVW #named #pipes and filters #scalability
ScalaGiST: Scalable Generalized Search Trees for MapReduce Systems [Innovative Systems Paper] (PL, GC, BCO, HTV, SW), pp. 1797–1808.
VLDBVLDB-2014-MortonBGM #challenge
Support the Data Enthusiast: Challenges for Next-Generation Data-Analysis Systems (KM, MB, DG, JDM), pp. 453–456.
VLDBVLDB-2014-Plattner #database #enterprise #in memory
The Impact of Columnar In-Memory Databases on Enterprise Systems (HP), pp. 1722–1729.
VLDBVLDB-2014-RenTA #database #evaluation
An Evaluation of the Advantages and Disadvantages of Deterministic Database Systems (KR, AT, DJA), pp. 821–832.
VLDBVLDB-2014-SalihogluW #algorithm #graph #optimisation
Optimizing Graph Algorithms on Pregel-like Systems (SS, JW), pp. 577–588.
VLDBVLDB-2014-SerafiniMASRM #database #distributed #named #scalability #transaction
Accordion: Elastic Scalability for Database Systems Supporting Distributed Transactions (MS, EM, AA, KS, TR, UFM), pp. 1035–1046.
VLDBVLDB-2014-SuhSZ #empirical #information management #named #scalability
AZDBLab: A Laboratory Information System for Large-Scale Empirical DBMS Studies (YKS, RTS, RZ), pp. 1641–1644.
VLDBVLDB-2014-SuZZHZ #named
STMaker — A System to Make Sense of Trajectory Data (HS, KZ, KZ, JH, XZ), pp. 1701–1704.
VLDBVLDB-2014-WangLHCSWLT #named #realtime #recommendation
R3: A Real-Time Route Recommendation System (HW, GL, HH, SC, BS, HW, WSL, KLT), pp. 1549–1552.
VLDBVLDB-2014-WuBM #visualisation
The Case for Data Visualization Management Systems (EW, LB, SRM), pp. 903–906.
VLDBVLDB-2014-XiongH #distributed #named #network #performance #query
Pronto: A Software-Defined Networking based System for Performance Management of Analytical Queries on Distributed Data Stores (PX, HH), pp. 1661–1664.
VLDBVLDB-2014-YuanDZLNHWDY #distributed #mobile #named #scalability
OceanST: A Distributed Analytic System for Large-Scale Spatiotemporal Mobile Broadband Data (MY, KD, JZ, YL, BN, XH, FW, WD, QY), pp. 1561–1564.
VLDBVLDB-2014-ZhangLTYTX #fault tolerance #internet #named #resource management #scheduling
Fuxi: a Fault-Tolerant Resource Management and Job Scheduling System at Internet Scale (ZZ, CL, YT, RY, HT, JX), pp. 1393–1404.
VLDBVLDB-2014-ZhangYFW #design #implementation #interactive #realtime #scalability
Design and Implementation of a Real-Time Interactive Analytics System for Large Spatio-Temporal Data (SZ, YY, WF, MW), pp. 1754–1759.
VLDBVLDB-2015-BailisFFGHS14 #coordination #database
Coordination Avoidance in Database Systems (PB, AF, MJF, AG, JMH, IS), pp. 185–196.
VLDBVLDB-2015-HuangSQ14 #transaction
NVRAM-aware Logging in Transaction Systems (JH, KS, MKQ), pp. 389–400.
VLDBVLDB-2015-LiNN14 #database #parallel
Resource Bricolage for Parallel Database Systems (JL, JFN, RVN), pp. 25–36.
VLDBVLDB-2015-LuCYW14 #distributed #evaluation #graph #scalability
Large-Scale Distributed Graph Computing Systems: An Experimental Evaluation (YL, JC, DY, HW), pp. 281–292.
VLDBVLDB-2015-ShenCJLOT14 #distributed #graph #performance
Fast Failure Recovery in Distributed Graph Processing Systems (YS, GC, HVJ, WL, BCO, BMT), pp. 437–448.
CSEETCSEET-2014-YamadaIWKFYOKT #development #education #effectiveness #learning
The impacts of personal characteristic on educational effectiveness in controlled-project based learning on software intensive systems development (YY, SI, HW, KK, YF, SY, MO, TK, MT), pp. 119–128.
ITiCSEITiCSE-2014-MornarGM #algorithm #automation #generative #pseudo #visualisation
System for automatic generation of algorithm visualizations based on pseudocode interpretation (JM, AG, SM), pp. 27–32.
ITiCSEITiCSE-2014-Tirronen #case study #concept #type system
Study on difficulties and misconceptions with modern type systems (VT), pp. 303–308.
ESOPESOP-2014-GardnerNW #file system #reasoning
Local Reasoning for the POSIX File System (PG, GN, AW), pp. 169–188.
ESOPESOP-2014-NanevskiLSD #communication #concurrent #fine-grained
Communicating State Transition Systems for Fine-Grained Concurrent Resources (AN, RLW, IS, GAD), pp. 290–310.
ESOPESOP-2014-ThiemannF #type system
Gradual Typing for Annotated Type Systems (PT, LF), pp. 47–66.
FASEFASE-2014-FiadeiroL #network
Heterogeneous and Asynchronous Networks of Timed Systems (JLF, AL), pp. 79–93.
FASEFASE-2014-KowalST #analysis #performance
Family-Based Performance Analysis of Variant-Rich Software Systems (MK, IS, MT), pp. 94–108.
FoSSaCSFoSSaCS-2014-BertrandFHHH #probability
Active Diagnosis for Probabilistic Systems (NB, EF, SH, SH, LH), pp. 29–42.
FoSSaCSFoSSaCS-2014-Jancar #automaton
Equivalences of Pushdown Systems Are Hard (PJ), pp. 1–28.
TACASTACAS-2014-AdzkiyaSA #reachability
Forward Reachability Computation for Autonomous Max-Plus-Linear Systems (DA, BDS, AA), pp. 248–262.
TACASTACAS-2014-ArmandoCC #model checking #named #satisfiability
SATMC: A SAT-Based Model Checker for Security-Critical Systems (AA, RC, LC), pp. 31–45.
TACASTACAS-2014-AstefanoaeiRBBC #composition #generative #invariant
Compositional Invariant Generation for Timed Systems (LA, SBR, SB, MB, JC), pp. 263–278.
TACASTACAS-2014-DragerFKPU #probability #synthesis
Permissive Controller Synthesis for Probabilistic Systems (KD, VF, MZK, DP, MU), pp. 531–546.
TACASTACAS-2014-EssenG #generative
Analyzing the Next Generation Airborne Collision Avoidance System (CvE, DG), pp. 620–635.
TACASTACAS-2014-FinkbeinerT #detection #distributed #specification
Detecting Unrealizable Specifications of Distributed Systems (BF, LT), pp. 78–92.
TACASTACAS-2014-JahierDML #case study #modelling #testing
Environment-Model Based Testing of Control Systems: Case Studies (EJ, SDD, CM, EL), pp. 636–650.
TACASTACAS-2014-LiSSS #synthesis
Synthesis for Human-in-the-Loop Control Systems (WL, DS, SSS, SAS), pp. 470–484.
TACASTACAS-2014-ReinbacherRS #health #realtime #runtime
Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems (TR, KYR, JS), pp. 357–372.
WRLAWRLA-2014-BartolettiMSZ #maude #modelling #verification
Modelling and Verifying Contract-Oriented Systems in Maude (MB, MM, AS, RZ), pp. 130–146.
WRLAWRLA-2014-RochaMM #analysis #smt
Rewriting Modulo SMT and Open System Analysis (CR, JM, CAM), pp. 247–262.
SANERCSMR-WCRE-2014-AmalfitanoFMTMFS #architecture #case study #industrial #legacy #migration #mvc #web
Migrating legacy spreadsheets-based systems to Web MVC architecture: An industrial case study (DA, ARF, VM, PT, GDM, FF, SS), pp. 387–390.
SANERCSMR-WCRE-2014-GoeminneDM #co-evolution #data-driven
Co-evolving code-related and database-related changes in a data-intensive software system (MG, AD, TM), pp. 353–357.
SANERCSMR-WCRE-2014-HillSK #php #rascal
PHP AiR: Analyzing PHP systems with Rascal (MH, PK), pp. 454–457.
SANERCSMR-WCRE-2014-KlammerP #legacy #tool support #towards
Towards tool support for analyzing legacy systems in technical domains (CK, JP), pp. 371–374.
SANERCSMR-WCRE-2014-ZhangPNMELWCT #architecture #embedded #experience
Experience on applying software architecture recovery to automotive embedded systems (XZ, MP, MN, BM, AE, HL, JW, DJC, MT), pp. 379–382.
ICPCICPC-2014-PetersenHR #api #comparison #eclipse #empirical #groovy #ide #java #type system
An empirical comparison of static and dynamic type systems on API usage in the presence of an IDE: Java vs. groovy with eclipse (PP, SH, RR), pp. 212–222.
ICPCICPC-2014-ShobeKZK #commit #on the #open source
On mapping releases to commits in open source systems (JFS, MYK, MBZ, HHK), pp. 68–71.
ICSMEICSME-2014-Bettenburg #communication #developer #evolution #quality
Studying the Impact of Developer Communication on the Quality and Evolution of a Software System: A Doctoral Dissertation Retrospective (NB), pp. 651–656.
ICSMEICSME-2014-BiazziniMB #commit #distributed #on the #version control
On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems (MB, MM, BB), pp. 261–270.
ICSMEICSME-2014-LinsbauerAGLPLE #variability
Recovering Feature-to-Code Mappings in Mixed-Variability Software Systems (LL, FA, PG, DL, HP, RELH, AE), pp. 426–430.
ICSMEICSME-2014-MeuriceRWC #exclamation #information management #legacy
Establishing Referential Integrity in Legacy Information Systems — Reality Bites! (LM, FJBR, JHW, AC), pp. 461–465.
ICSMEICSME-2014-MulcahyH #legacy #self
Autonomic Software Systems: Developing for Self-Managing Legacy Systems (JJM, SH), pp. 549–552.
ICSMEICSME-2014-PonzanelliBPOL #named #recommendation #self
Prompter: A Self-Confident Recommender System (LP, GB, MDP, RO, ML), pp. 577–580.
ICSMEICSME-2014-SpasojevicLN #documentation
Overthrowing the Tyranny of Alphabetical Ordering in Documentation Systems (BS, ML, ON), pp. 511–515.
ICSMEICSME-2014-WangLVS #named #recommendation
EnTagRec: An Enhanced Tag Recommendation System for Software Information Sites (SW, DL, BV, AS), pp. 291–300.
SCAMSCAM-2014-MurtazaHKC #automation #detection
Total ADS: Automated Software Anomaly Detection System (SSM, AHL, WK, MC), pp. 83–88.
PEPMPEPM-2014-HanusS #analysis #composition #functional #logic programming #source code
A modular and generic analysis server system for functional logic programs (MH, FS), pp. 181–188.
PEPMPEPM-2014-Scholz #case study #compilation #experience #partial evaluation
Partial evaluation as universal compiler tool: experiences from the SAC Eco system (SBS), pp. 95–96.
PLDIPLDI-2014-AhnCSGT #javascript #performance #type system
Improving JavaScript performance by deconstructing the type system (WA, JC, TS, MJG, JT), p. 51.
PLDIPLDI-2014-RickettsRJTL #automation #proving
Automating formal proofs for reactive systems (DR, VR, DJ, ZT, SL), p. 47.
SASSAS-2014-AlbertFR #cost analysis #distributed
Peak Cost Analysis of Distributed Systems (EA, JCF, GRD), pp. 18–33.
SASSAS-2014-MandelP #ml
Reactivity of Cooperative Systems — Application to ReactiveML (LM, CP), pp. 219–236.
STOCSTOC-2014-CohenKMPPRX #linear
Solving SDD linear systems in nearly mlog1/2n time (MBC, RK, GLM, JWP, RP, AR, SCX), pp. 343–352.
STOCSTOC-2014-GalanisSV
Inapproximability for antiferromagnetic spin systems in the tree non-uniqueness region (AG, DS, EV), pp. 823–831.
STOCSTOC-2014-MendesTH #distributed
Distributed computability in Byzantine asynchronous systems (HM, CT, MH), pp. 704–713.
STOCSTOC-2014-PengS #linear #parallel #performance
An efficient parallel solver for SDD linear systems (RP, DAS), pp. 333–342.
FLOPSFLOPS-2014-BarkatiWJ #interpreter #multi #named
Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing — System Description (KB, HW, PJ), pp. 69–85.
FLOPSFLOPS-2014-CaiO #automaton
Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata (XC, MO), pp. 336–352.
FLOPSFLOPS-2014-Kiselyov #design #implementation
The Design and Implementation of BER MetaOCaml — System Description (OK), pp. 86–102.
DLTDLT-J-2013-AtigKS14 #multi #order
Adjacent Ordered Multi-Pushdown Systems (MFA, KNK, PS), pp. 1083–1096.
AFLAFL-2014-CarayolH #algorithm #automaton #model checking
Saturation algorithms for model-checking pushdown systems (AC, MH), pp. 1–24.
AFLAFL-2014-FernauFH #distributed #finite #hybrid
Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes (HF, RF, MH), pp. 246–260.
CIAACIAA-2014-DemailleDLSS #automaton #type system
A Type System for Weighted Automata and Rational Expressions (AD, ADL, SL, LS, JS), pp. 162–175.
DLTDLT-2014-KutribM #automaton #communication
Measuring Communication in Automata Systems — (Invited Paper) (MK, AM), pp. 260–274.
ICALPICALP-v1-2014-CleveM #constraints #game studies
Characterization of Binary Constraint System Games (RC, RM), pp. 320–331.
ICALPICALP-v1-2014-DemaineDFPSWW #assembly #simulation
One Tile to Rule Them All: Simulating Any Tile Assembly System with a Single Universal Tile (EDD, MLD, SPF, MJP, RTS, AW, DW), pp. 368–379.
ICALPICALP-v1-2014-OstrovskyPV #on the #proving
On Input Indistinguishable Proof Systems (RO, GP, IV), pp. 895–906.
LATALATA-2014-DennunzioFM #combinator
Extremal Combinatorics of Reaction Systems (AD, EF, LM), pp. 297–307.
FMFM-2014-ArenisWDMA #consistency #industrial #standard #verification
The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification (SFA, BW, DD, MM, ASA), pp. 658–672.
FMFM-2014-DammF #automation #composition #distributed #synthesis
Automatic Compositional Synthesis of Distributed Systems (WD, BF), pp. 179–193.
FMFM-2014-GunadiT #android #case study #logic #metric #monitoring #operating system #performance #runtime
Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System (HG, AT), pp. 296–311.
FMFM-2014-KrkaDMU
Revisiting Compatibility of Input-Output Modal Transition Systems (IK, ND, NM, SU), pp. 367–381.
FMFM-2014-LakshmiAK #analysis #liveness #reachability #using
Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis (KVL, AA, RK), pp. 335–350.
FMFM-2014-LinH #composition #concurrent #learning #model checking #synthesis
Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning (SWL, PAH), pp. 416–431.
FMFM-2014-LiTC #component #requirements
Management of Time Requirements in Component-Based Systems (YL, THT, MC), pp. 399–415.
FMFM-2014-LiuGL #analysis #reliability
MDP-Based Reliability Analysis of an Ambient Assisted Living System (YL, LG, YL), pp. 688–702.
FMFM-2014-MitschQP #hybrid #logic #reasoning #refactoring #refinement
Refactoring, Refinement, and Reasoning — A Logical Characterization for Hybrid Systems (SM, JDQ, AP), pp. 481–496.
IFMIFM-2014-FathabadiSB #manycore #modelling #process #runtime
Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems (ASF, CFS, MJB), pp. 120–135.
IFMIFM-2014-GilmoreTV #analysis #evaluation
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems (SG, MT, AV), pp. 71–86.
IFMIFM-2014-MellerGY #behaviour #uml #verification
Verifying Behavioral UML Systems via CEGAR (YM, OG, KY), pp. 139–154.
IFMIFM-2014-PatcasLM #embedded
A Separation Principle for Embedded System Interfacing (LMP, ML, TSEM), pp. 373–388.
SEFMSEFM-2014-BeckerSAB #analysis #constraints #deployment #fault tolerance #formal method
A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems (KB, BS, MA, CB), pp. 205–219.
SEFMSEFM-2014-HajisheykhiEK #fault #modelling #using
Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL (RH, AE, SSK), pp. 175–189.
SFMSFM-2014-AmighiBDHMZ #concurrent #verification
Verification of Concurrent Systems with VerCors (AA, SB, SD, MH, WM, MZS), pp. 172–216.
ICFPICFP-2014-HickeyPEBL #domain-specific language #embedded
Building embedded systems with embedded DSLs (PCH, LP, TE, JB, JL), pp. 3–9.
ICFPICFP-2014-OhoriUHNSMI #development #enterprise #industrial
SML# in industry: a practical ERP system development (AO, KU, KH, SN, TS, TM, YI), pp. 167–173.
ICFPICFP-2014-SchwerterGT #formal method
A theory of gradual effect systems (FBS, RG, ÉT), pp. 283–295.
ICFPICFP-2014-StansiferW #flexibility #named #programming
Romeo: a system for more flexible binding-safe programming (PS, MW), pp. 53–65.
IFLIFL-2014-AdsitF #analysis #control flow #performance #system f
An Efficient Type- and Control-Flow Analysis for System F (CA, MF), p. 3.
LISPILC-2014-Penkler #array
An Array and List Processing System (DP), p. 22.
LISPILC-2014-PetersenGAD
A Scheme-Based Closed-Loop Anesthesia System (CLP, MG, JMA, GAD), p. 40.
LISPILC-2014-WakitaHS #framework #implementation #javascript #metaprogramming
Hygienic Macro System for JavaScript and Its Light-weight Implementation Framework (KW, KH, AS), p. 12.
ICGTICGT-2014-Bruggink #graph transformation #mining #process #towards
Towards Process Mining with Graph Transformation Systems (HJSB), pp. 253–268.
CHICHI-2014-0002ACC #3d #animation #named
MotionMontage: a system to annotate and combine motion takes for 3D animations (AG, MA, BC, MFC), pp. 2017–2026.
CHICHI-2014-0002GF #multi #named #tutorial
CADament: a gamified multiplayer software tutorial system (WL, TG, GWF), pp. 3369–3378.
CHICHI-2014-Al-AkkadRBRZ #ad hoc #design #evaluation #lightweight #smarttech
Help beacons: design and evaluation of an ad-hoc lightweight s.o.s. system for smartphones (AAA, LR, AB, DWR, AZ), pp. 1485–1494.
CHICHI-2014-AyoadeB #novel
A novel knee rehabilitation system for the home (MA, LB), pp. 2521–2530.
CHICHI-2014-BurgbacherH #gesture #type system #verification
An implicit author verification system for text messages based on gesture typing biometrics (UB, KHH), pp. 2951–2954.
CHICHI-2014-ChapuisBF #development #named
Smarties: an input system for wall display development (OC, AB, SF), pp. 2763–2772.
CHICHI-2014-CostanzaFCRRJ #energy
Doing the laundry with agents: a field trial of a future smart energy system in the home (EC, JEF, JAC, TR, SDR, NRJ), pp. 813–822.
CHICHI-2014-LeeJN #experience
Partially intelligent automobiles and driving experience at the moment of system transition (KJL, YKJ, CN), pp. 3631–3634.
CHICHI-2014-LiR14a #named
SmartVoice: a presentation support system for overcoming the language barrier (XL, JR), pp. 1563–1570.
CHICHI-2014-LoeppHZ #collaboration #elicitation #recommendation
Choice-based preference elicitation for collaborative filtering recommender systems (BL, TH, JZ), pp. 3085–3094.
CHICHI-2014-MasseyTTW #file system #question #what
PIM and personality: what do our personal file systems say about us? (CM, ST, CT, SW), pp. 3695–3704.
CHICHI-2014-MatthewsGD #design
Taking part: role-play in the design of therapeutic systems (MM, GG, GD), pp. 643–652.
CHICHI-2014-MaziluBHTGH #named
GaitAssist: a daily-life support and training system for parkinson’s disease patients with freezing of gait (SM, UB, MH, GT, EG, JMH), pp. 2531–2540.
CHICHI-2014-MillerM #health #named #pervasive #social
StepStream: a school-based pervasive social fitness system for everyday adolescent health (ADM, EDM), pp. 2823–2832.
CHICHI-2014-PanS #multi
A gaze-preserving situated multiview telepresence system (YP, AS), pp. 2173–2176.
CHICHI-2014-RectorH #email #named
MinEMail: SMS alert system for managing critical emails (KR, JMH), pp. 783–792.
CHICHI-2014-ShiraziAHSKS #interactive
Exploiting thermal reflection for interactive systems (ASS, YA, NH, SS, MK, AS), pp. 3483–3492.
CHICHI-2014-Solomon #bias
Customization bias in decision support systems (JS), pp. 3065–3074.
CHICHI-2014-SuhPHK #design #evaluation #twitter #using
@BabySteps: design and evaluation of a system for using twitter for tracking children’s developmental milestones (HS, JRP, AH, JAK), pp. 2279–2288.
CHICHI-2014-VoidaDHM #logic
Shared values/conflicting logics: working around e-government systems (AV, LD, GRH, MM), pp. 3583–3592.
CHICHI-2014-WanMWR #evaluation #monitoring
Addressing the subtleties in dementia care: pre-study & evaluation of a GPS monitoring system (LW, CM, VW, DWR), pp. 3987–3996.
CHICHI-2014-ZhaoBCPEKR #collaboration #multi #named #sketching
skWiki: a multimedia sketching system for collaborative creativity (ZZ, SKB, SKC, DGP, NE, LGK, KR), pp. 1235–1244.
CSCWCSCW-2014-CoetzeeFHH #question
Should your MOOC forum use a reputation system? (DC, AF, MAH, BH), pp. 1176–1187.
CSCWCSCW-2014-LaseckiTK #information management
Information extraction and manipulation threats in crowd-powered systems (WSL, JT, EK), pp. 248–256.
CSCWCSCW-2014-TomasicZSH
Motivating contribution in a participatory sensing system via quid-pro-quo (AT, JZ, AS, YH), pp. 979–988.
CSCWCSCW-2014-XuSL #convergence
Achieving convergence in operational transformation: conditions, mechanisms and systems (YX, CS, ML), pp. 505–518.
HCIDHM-2014-AndreoniCABMNPBPRP #design #monitoring
Design and Ergonomics of Monitoring System for Elderly (GA, FC, AA, GB, SM, PN, AP, RB, RP, MR, PP), pp. 499–507.
HCIDHM-2014-GotoYTWS
Application of E-learning System Reality in Kyoto-style Earthen Wall Training (AG, HY, YT, ZW, HS), pp. 247–253.
HCIDHM-2014-HamamuraFYE
Evacuation Support System for Everyday Use in the Aftermath of a Natural Disaster (AH, TF, TY, NE), pp. 600–611.
HCIDHM-2014-HuangC #testing #usability
Evaluating the Healthcare Management System by Usability Testing (PHH, MCC), pp. 369–376.
HCIDHM-2014-LiZYD #simulation
Simulation on Thermal Control System of the Extravehicular Spacesuit (TL, JZ, XY, LD), pp. 112–123.
HCIDHM-2014-MamessierDO #artificial reality #assessment #online #using
Calibration of Online Situation Awareness Assessment Systems Using Virtual Reality (SM, DD, MO), pp. 124–135.
HCIDHM-2014-SantosST #information management #ontology #semantics #using #web
Using Ontologies and Semantic Web Technology on a Clinical Pedigree Information System (JMS, BSS, LT), pp. 448–459.
HCIDHM-2014-YoganathanK #using
ENT Disease Diagnosis Using an Expert System (DY, SK), pp. 472–483.
HCIDHM-2014-YouZLW #collaboration #design
Service-Oriented Emergency Management Collaboration System Design (FY, RPZ, PTL, JMW), pp. 649–660.
HCIDUXU-DI-2014-AcarturkAH #comprehension #graph
Developing a Verbal Assistance System for Line Graph Comprehension (CA, ÖA, CH), pp. 373–382.
HCIDUXU-DI-2014-ChammasQM #analysis #design #interactive
An Analysis of Design Methodologies of Interactive System for Mobiles (AC, MQ, CRM), pp. 213–222.
HCIDUXU-DI-2014-ChangH
Effect of Perception-Compatibility, Learning-Factor, and Symbol-Carrier on Single LED Symbol System Recognizing (CCC, TKPH), pp. 417–424.
HCIDUXU-DI-2014-ChoiCSLY #case study #crowdsourcing #design
A Study about Designing Reward for Gamified Crowdsourcing System (JC, HC, WS, JL, JY), pp. 678–687.
HCIDUXU-DI-2014-Khan0R #design #video
Embodied Tele-Presence System (ETS): Designing Tele-Presence for Video Teleconferencing (MSLK, HL, SuR), pp. 574–585.
HCIDUXU-DI-2014-MonatBL #visual notation
Taking Decisions with Systems Oriented to the General Public — Applying Visual Information Based on Viennese Method (ASM, MB, RCL), pp. 463–471.
HCIDUXU-DI-2014-MuukkonenHLV #mobile #process
Tracking Mobile Workers’ Daily Activities with the Contextual Activity Sampling System (HM, KH, SL, MV), pp. 289–300.
HCIDUXU-DI-2014-RenziF #gesture #interactive #interface #modelling #multi
Affordances and Gestural Interaction on Multi-touch Interface Systems: Building New Mental Models (ABR, SF), pp. 615–623.
HCIDUXU-DI-2014-Riha #game studies #information management
Cutscenes in Computer Games as an Information System (DR), pp. 661–668.
HCIDUXU-DI-2014-ShafiqICRAAR #analysis #case study #learning #smarttech #usability #user satisfaction #what
To What Extent System Usability Effects User Satisfaction: A Case Study of Smart Phone Features Analysis for Learning of Novice (MS, MI, JGC, ZR, MA, WA, SR), pp. 346–357.
HCIDUXU-DI-2014-VasconcelosBRSFKC #design #information management
Designing Information for Mediated Reality Systems (LAV, FB, BR, AS, DF, JK, UC), pp. 647–658.
HCIDUXU-DP-2014-Al-RubaianAAAAAAAAAAAAA #design #development #game studies
The Design and Development of Empathetic Serious Games for Dyslexia: BCI Arabic Phonological Processing Training Systems (AAR, LA, RA, WA, HA, NA, HAN, AA, SA, RA, AAS, DAO, GA, AAW), pp. 105–112.
HCIDUXU-DP-2014-ChunpirB0
User Support System in the Complex Environment (HIC, AAB, TL), pp. 392–402.
HCIDUXU-DP-2014-HamachiTN #integration #process #quality
Activities to Improve System Integration and Service Quality and Add Additional Values — Reducing the Cost in Applying Human-Centered-Design Process (RH, IT, HN), pp. 32–38.
HCIDUXU-DP-2014-ZhangZLH #experience #research #scalability #usability #user interface
Cross-Platform Product Usability and Large Screen User Experience: A Teleconference System U&E Research (YZ, CZ, GL, TH), pp. 469–479.
HCIDUXU-ELAS-2014-Abbas #behaviour #case study #challenge #implementation
Challenges in Implementation of TVM (Ticket Vending Machine) in Developing Countries for Mass Transport System: A Study of Human Behavior while Interacting with Ticket Vending Machine-TVM (MA), pp. 245–254.
HCIDUXU-ELAS-2014-Abdullah #monitoring #network #simulation
Simulation of Wireless Sensor Network for Flood Monitoring System (MA), pp. 255–264.
HCIDUXU-ELAS-2014-AldazHSSL #experience #personalisation #user interface
User Experience in Training a Personalized Hearing System (GA, TH, DS, MS, LJL), pp. 3–14.
HCIDUXU-ELAS-2014-Chunpir0B #comprehension #using
Using Soft Systems Methodology (SSM) in Understanding Current User-Support Scenario in the Climate Science Domain of Cyber-Infrastructures (HIC, TL, AAB), pp. 495–506.
HCIDUXU-ELAS-2014-FordPLNCM #design #feedback
User-Centred Design of an Audio Feedback System for Power Demand Management (RF, JP, YCL, KN, WC, MM), pp. 530–541.
HCIDUXU-ELAS-2014-IbrahimSHAAA #in the cloud #information management
Enhanced Hospital Information System by Cloud Computing: SHEFA’A (LFI, SS, SH, LAS, AIMA, AHAS), pp. 56–62.
HCIDUXU-ELAS-2014-KamiyaKASNMF #design #using
Timeaxis Design of a Service System Growing Values of Mobility Using the M-V Model (KK, AK, JA, KS, HN, YM, SF), pp. 281–292.
HCIDUXU-ELAS-2014-MustafaMMAAMEBK #development #interface #learning #multi
Rural Area Development through Multi-interface Technology and Virtual Learning System (FuM, AM, SM, SA, UA, SM, HE, TAB, MFK), pp. 442–451.
HCIDUXU-ELAS-2014-Pelczarski14a
Ultralight Backpack System for Heavy Loaded Users (MP), pp. 699–709.
HCIDUXU-ELAS-2014-Savage-KnepshieldTPDQM #design #experience #user interface
Designing the User Experience for C4ISR Systems in the U.S. Army (PASK, JT, CP, JD, DQ, DM), pp. 338–346.
HCIDUXU-ELAS-2014-ThumKGRBSKBH #usability
Usability Improvement of a Clinical Decision Support System (FT, MSK, NG, LR, RB, JS, JLK, KB, UH), pp. 125–131.
HCIDUXU-ELAS-2014-WoldmariamGAG #design #mobile
Mobile Money System Design for Illiterate Users in Rural Ethiopia (MFW, GG, SA, TMG), pp. 482–491.
HCIDUXU-TMT-2014-Beul-LeusmannSWKJZ #evaluation #information management #mobile #usability
Usability Evaluation of Mobile Passenger Information Systems (SBL, CS, MW, KHK, EMJ, MZ), pp. 217–228.
HCIDUXU-TMT-2014-Vodrazkova #communication #named
Film — System — Communication (KV), pp. 601–609.
HCIDUXU-TMT-2014-YigitbasFS #adaptation #development #modelling #self #user interface
Model-Based User Interface Development for Adaptive Self-Service Systems (EY, HF, SS), pp. 206–213.
HCIHCI-AIMT-2014-JakusGTS #artificial reality #evaluation #precise
Evaluation of Leap Motion Controller with a High Precision Optical Tracking System (GJ, JG, ST, JS), pp. 254–263.
HCIHCI-AIMT-2014-JonssonD #interactive #performance #speech
Driving with a Speech Interaction System: Effect of Personality on Performance and Attitude of Driver (IMJ, ND), pp. 417–428.
HCIHCI-AIMT-2014-MeyerBDS #concept #development #human-computer #information management #interactive
Development of Interaction Concepts for Touchless Human-Computer Interaction with Geographic Information Systems (RM, JB, JD, CMS), pp. 589–599.
HCIHCI-AIMT-2014-TsurudaHYI #mobile #using
Emotion Transmission System Using a Cellular Phone-Type Teleoperated Robot with a Mobile Projector (YT, MH, HY, YI), pp. 707–714.
HCIHCI-AS-2014-HidakaO
Proposal for a New Entertainment System That Connects Real Life and Net Excitement (KH, KO), pp. 604–613.
HCIHCI-AS-2014-HooeyABF #analysis #design #fault
Evidence-Based Error Analysis: Supporting the Design of Error-Tolerant Systems (BLH, MA, RB, DCF), pp. 401–412.
HCIHCI-AS-2014-Hussain #data mining #mining
Getting the Most from CRM Systems: Data Mining in SugarCRM, Finding Important Patterns (QH), pp. 693–699.
HCIHCI-AS-2014-JanssonSBAT #automation #design
Authority and Level of Automation — Lessons to Be Learned in Design of In-vehicle Assistance Systems (AJ, PS, IB, AA, ST), pp. 413–424.
HCIHCI-AS-2014-JeonCY #case study #mobile
Developing a Location-Aware Mobile Guide System for GLAMs Based on TAPIR Sound Tag: A Case Study of the Lee Ungno Museum (JJ, GC, WSY), pp. 425–433.
HCIHCI-AS-2014-LandyLNPLM #analysis #comparative #development #predict
Finding Directions to a Good GPS System — A Comparative Analysis and Development of a Predictive Model (JL, TL, NN, PP, EL, PM), pp. 454–465.
HCIHCI-AS-2014-PortouliP #adaptation #multi
Adaptive Warning Strategies from Multiple Systems: A Simulator Study with Drivers with Different Reaction Times (EP, VP), pp. 485–493.
HCIHCI-AS-2014-SatoIN
Tourist Evacuation Guidance Support System for Use in Disasters (TS, TI, YN), pp. 494–501.
HCIHCI-AS-2014-SatoYSR #collaboration
Collaborative Digital Sports Systems That Encourage Exercise (AS, AY, IS, JR), pp. 332–340.
HCIHCI-AS-2014-SchinkingerT #design
Design Implications to Systems Supporting Informal Caregivers’ Daily Life (SS, HT), pp. 341–350.
HCIHCI-TMT-2014-CafezeiroGCM #behaviour #collaboration #interactive #roadmap
A Knowledge-Construction Perspective on Human Computing, Collaborative Behavior and New Trends in System Interactions (IC, CG, VC, IdCM), pp. 58–68.
HCIHCI-TMT-2014-OrtegaLHBRA #formal method #modelling #multi #named #petri net #using
PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net (FRO, SL, FH, AB, NR, MA), pp. 361–372.
HCIHCI-TMT-2014-SousaB #recommendation #statistics
Recommender System to Support Chart Constructions with Statistical Data (TAFdS, SDJB), pp. 631–642.
HCIHIMI-AS-2014-AraiKTKA #comprehension #development #learning #source code
Development of a Learning Support System for Source Code Reading Comprehension (TA, HK, TT, YK, TA), pp. 12–19.
HCIHIMI-AS-2014-AsikisL #recommendation #research
Operations Research and Recommender Systems (TA, GL), pp. 579–589.
HCIHIMI-AS-2014-ItouMM #chat #communication #development
Development and Application of Manga-Style Chat System Aiming to Communicate Nonverbal Expression (JI, YM, JM), pp. 423–434.
HCIHIMI-AS-2014-KoyamaYKT #named
ChoiceLog: Life Log System Based on Choices for Supporting Decision-Making (JK, KY, IK, YT), pp. 172–183.
HCIHIMI-AS-2014-LinLLL #case study #design #functional #interface #navigation
A Study on the Interface Design of a Functional Menu and Icons for In-Vehicle Navigation Systems (MCL, YHL, CCL, JYL), pp. 261–272.
HCIHIMI-AS-2014-MikamiT #learning #music #performance
A Music Search System for Expressive Music Performance Learning (TM, KT), pp. 80–89.
HCIHIMI-AS-2014-MiwaNHIN
Co-creative Bodily Expression through Remote Shadow Media System (YM, AN, NH, SI, HN), pp. 445–454.
HCIHIMI-AS-2014-PandeyS #case study #data-driven #enterprise #user interface
Data Driven Enterprise UX: A Case Study of Enterprise Management Systems (SP, SS), pp. 205–216.
HCIHIMI-AS-2014-SeigerSMS #concept #cyber-physical #interactive #process
A Resilient Interaction Concept for Process Management on Tabletops for Cyber-Physical Systems (RS, SS, SM, TS), pp. 347–358.
HCIHIMI-AS-2014-TerwilligerIVL #interface
Advancement and Application of Unmanned Aerial System Human-Machine-Interface (HMI) Technology (BAT, DCI, DAV, DL), pp. 273–283.
HCIHIMI-AS-2014-TomotoH
Report on Practice of Note-Rebuilding Support System (TT, TH), pp. 127–136.
HCIHIMI-AS-2014-UeiFKNKS #design #education #evaluation #learning
Learning Effect Evaluation of an Educational Tool for Product-Service System Design Based on Learner Viewpoints (KU, TF, AK, YN, KK, YS), pp. 643–652.
HCIHIMI-AS-2014-YamamotoINTOW #development
From the Perspective of Service Engineering, The Development of Support Systems for Residents Affected by the Major Earthquake Disaster (SY, KI, NN, YT, KO, KW), pp. 359–370.
HCIHIMI-DE-2014-BonacinRHPB #aspect-oriented #collaboration #comprehension #social
Understanding Pragmatic Aspects with Social Values in Web-Mediated Collaborative Systems (RB, JCdR, HHH, RP, MCCB), pp. 471–482.
HCIHIMI-DE-2014-LeeLS14a #communication #development
Development of Digital-Device-Based Cooperation Support System to Aid Communication between MCR Operators and Field Workers in Nuclear Power Plants (NPPs) (SML, HCL, PHS), pp. 483–490.
HCIHIMI-DE-2014-MatsunagaY #documentation #network
Digital Document Network System for Organizing Individual Knowledge (KM, KY), pp. 396–403.
HCIHIMI-DE-2014-NishimuraMNWFM #component #evaluation
Proposal of Evaluation Support System of Nursing-Care Service Components (TN, YM, TN, KW, KF, YM), pp. 613–620.
HCIHIMI-DE-2014-OzawaMDTK #evaluation #multi #named
MulDiRoH: An Evaluation of Facial Direction Expression in Teleconferencing on a Multi-view Display System (SO, SM, MD, HT, AK), pp. 525–535.
HCIHIMI-DE-2014-WangGZY #microblog #visualisation
An Intuitive Way to Describe Our World: A Microblog LBS Visualization System (JMW, LG, RPZ, FY), pp. 108–119.
HCILCT-NLE-2014-MirandaIC #framework #information management
From Information Systems to e-Learning 3.0 Systems’s Critical Success Factors: A Framework Proposal (PM, PTI, CJC), pp. 180–191.
HCILCT-NLE-2014-MoissaCG #adaptation #behaviour #student #visualisation #web
A Web Analytics and Visualization Tool to Understand Students’ Behavior in an Adaptive E-Learning System (BM, LSdC, IG), pp. 312–321.
HCILCT-NLE-2014-MoriT #development #learning
Development of a Fieldwork Support System for Group Work in Project-Based Learning (MM, AT), pp. 429–440.
HCILCT-NLE-2014-UlbrichtBFQ #component #interface #learning #testing #usability
The Emotion Component on Usability Testing Human Computer Interface of an Inclusive Learning Management System (VRU, CHB, LF, SRPdQ), pp. 334–345.
HCILCT-TRE-2014-BraunhoferEGR #learning #mobile #recommendation
Context Dependent Preference Acquisition with Personality-Based Active Learning in Mobile Recommender Systems (MB, ME, MG, FR), pp. 105–116.
HCILCT-TRE-2014-HiramatsuIFS #development #learning #using
Development of the Learning System for Outdoor Study Using Zeigarnik Effect (YH, AI, MF, FS), pp. 127–137.
HCILCT-TRE-2014-IshikawaAKSTD #learning #process #self #student
Sustaining Outside-of-Class CALL Activities by Means of a Student Self-Evaluation System in a University Blended Learning EFL Course (YI, RAY, MK, CS, YT, MD), pp. 146–154.
HCISCSM-2014-MeloHSBGB #developer #gamification #version control
Version Control System Gamification: A Proposal to Encourage the Engagement of Developers to Collaborate in Software Projects (AAdM, MH, GS, CDMB, IG, FB), pp. 550–558.
HCISCSM-2014-MendesFFC #analysis #classification #how #social #using
How Do Users Express Their Emotions Regarding the Social System in Use? A Classification of Their Postings by Using the Emotional Analysis of Norman (MSM, EF, VF, MFdC), pp. 229–241.
HCISCSM-2014-OtakeSOSUS #gamification #motivation #using
A Proposal of a Support System for Motivation Improvement Using Gamification (KO, RS, MO, YS, TU, AS), pp. 571–580.
HCISCSM-2014-PlikynasM #approach #social
Agent-Based Nonlocal Social Systems: Neurodynamic Oscillations Approach (DP, SM), pp. 253–264.
VISSOFTVISSOFT-2014-KulaRGII #dependence #evolution #library #visualisation
Visualizing the Evolution of Systems and Their Library Dependencies (RGK, CDR, DMG, TI, KI), pp. 127–136.
AdaEuropeAdaEurope-2014-HanisS #development #maintenance
OBUs’ Development and Maintenance of a Train Control System for Low Density Traffic Lines (GH, BS), pp. 166–176.
AdaEuropeAdaEurope-2014-JaouenBPR #protocol
PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems (AJ, EB, LP, TR), pp. 149–165.
AdaEuropeAdaEurope-2014-LopatkinR #development #fault tolerance
Rigorous Development of Fault-Tolerant Systems through Co-refinement (IL, AR), pp. 11–26.
AdaEuropeAdaEurope-2014-QamhiehM #analysis #graph #multi #scheduling
Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level (MQ, SM), pp. 119–133.
AdaEuropeAdaEurope-2014-Shawky #challenge #design #embedded #framework
Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems (MS), pp. 7–10.
AdaEuropeAdaEurope-2014-ZhouLL #approach #embedded #requirements #safety #validation
A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems (JZ, YL, KL), pp. 43–57.
HILTHILT-2014-Larson #semantics #specification
Formal semantics for the PACEMAKER system specification (BRL), pp. 47–60.
CAiSECAiSE-2014-Dubois #information management
Information Systems for the Governance of Compliant Service Systems (ED0), pp. 1–11.
CAiSECAiSE-2014-LiH #approach #requirements #security
Dealing with Security Requirements for Socio-Technical Systems: A Holistic Approach (TL, JH), pp. 285–300.
CAiSECAiSE-2014-MalhotraMNL #database #towards
Towards a Form Based Dynamic Database Schema Creation and Modification System (KM, SM, SBN, MDDL), pp. 595–609.
CAiSECAiSE-2014-RuizCEFP #analysis #information management #process
Integrating the Goal and Business Process Perspectives in Information System Analysis (MR, DC, SE, XF, OP), pp. 332–346.
EDOCEDOC-2014-DomaschkaHE #database #distributed #reliability
Reliability and Availability Properties of Distributed Database Systems (JD, CBH, BE), pp. 226–233.
EDOCEDOC-2014-KurodaG #dependence #modelling #scalability
Model-Based IT Change Management for Large System Definitions with State-Related Dependencies (TK, ASG), pp. 170–179.
EDOCEDOC-2014-RitterS #exception #integration #modelling
Modeling Exception Flows in Integration Systems (DR, JS), pp. 12–21.
ICEISICEIS-v1-2014-BurdDARGHSS #named #research
SILAB — A System to Support Experiments in the Electric Power Research Center Labs (HB, WD, MA, SAR, AFG, JH, RPdS, JMdS), pp. 287–292.
ICEISICEIS-v1-2014-CoelhoAABB #network #using
Router Nodes Positioning for Wireless Networks Using Artificial Immune Systems (PHGC, JLMdA, JFMdA, LFdAB, AVdB), pp. 415–421.
ICEISICEIS-v1-2014-DavarG #distributed #information management #object-oriented #performance
Performance Tuning of Object-Oriented Applications in Distributed Information Systems (ZD, JRG), pp. 201–208.
ICEISICEIS-v1-2014-Dietz #enterprise #why
Why ERP Systems Will Keep Failing (JLGD), p. IX.
ICEISICEIS-v1-2014-FreitasBL #ontology #pervasive #workflow
Workflow Model for Management of Ontology of Homecare Pervasive Systems (LOF, EB, GRL), pp. 241–248.
ICEISICEIS-v1-2014-HayashiK #evaluation
Evaluation of Exclusive Data Allocation Between SSD Tier and SSD Cache in Storage Systems (SH, NK), pp. 144–151.
ICEISICEIS-v1-2014-JavidrooziACS #challenge #enterprise #integration #process
Business Process Change in Enterprise Systems Integration — Challenges and Opportunities (VJ, AA, AC, HS), pp. 128–135.
ICEISICEIS-v1-2014-KahkonenMS #enterprise #integration #scalability #what
What Are the Factors Affecting ERP System Integration? — Observations from a Large Manufacturing Enterprise (TK, AM, KS), pp. 5–17.
ICEISICEIS-v1-2014-Olive #agile #concept #development #information management #modelling
Conceptual Modeling in Agile Information Systems Development (AO), p. XI.
ICEISICEIS-v1-2014-Rios-AguilarLP #behaviour #information management #mobile #monitoring #using
Business Information System for the Control of Workforce Through Behaviour Monitoring Using Reactive and Terminal-based Mobile Location Technologies (SRA, FJLM, APS), pp. 30–38.
ICEISICEIS-v1-2014-RodriguesPFR #knowledge-based
Knowledge-based System for Urinalysis (FHR, JATP, CDF, LNR), pp. 514–519.
ICEISICEIS-v1-2014-SilvaLS #clustering #integration #maintenance #semantics
A Proposal to Maintain the Semantic Balance in Cluster-based Data Integration Systems (ERdS, BFL, ACS), pp. 90–98.
ICEISICEIS-v1-2014-SoaresA #concept #information management
Reflections on the Concept of Interoperability in Information Systems (DS, LA), pp. 331–339.
ICEISICEIS-v1-2014-Suarez-ColomaVR #quality
Quality Indices in Medical Alert Systems (JPSC, CV, CR), pp. 81–89.
ICEISICEIS-v1-2014-TitoRSFTS #information management #named #recommendation
RecRoute — A Bus Route Recommendation System Based on Users’ Contextual Information (AdOT, ARRR, LMdS, LAVF, PRT, ACS), pp. 357–366.
ICEISICEIS-v1-2014-Tribolet #adaptation #approach #bottom-up #enterprise #top-down
An Engineering Approach to Natural Enterprise Dynamics — From Top-down Purposeful Systemic Steering to Bottom-up Adaptive Guidance Control (JT), p. XIII.
ICEISICEIS-v2-2014-AbakumovA #assessment #enterprise #quality
Quality Assessment Technique for Enterprise Information-management System Software (EMA, DMA), pp. 348–354.
ICEISICEIS-v2-2014-AntonioRF #embedded #modelling #process #validation #verification
Verification and Validation Activities for Embedded Systems — A Feasibility Study on a Reading Technique for SysML Models (EAA, RR, SCPFF), pp. 233–240.
ICEISICEIS-v2-2014-BalikJ #adaptation #api #rest
RESTful User Model API for the Exchange of User’s Preferences among Adaptive Systems (MB, IJ), pp. 627–634.
ICEISICEIS-v2-2014-BassoPFR #information management #prototype #web
Assisted Tasks to Generate Pre-prototypes for Web Information Systems (FPB, RMP, RZF, FRF), pp. 14–25.
ICEISICEIS-v2-2014-BassoPRF #agile #case study #information management #modelling #web
Study on Combining Model-driven Engineering and Scrum to Produce Web Information Systems (FPB, RMP, FRF, RZF), pp. 137–144.
ICEISICEIS-v2-2014-BorattoC #clustering #collaboration #recommendation #using
Using Collaborative Filtering to Overcome the Curse of Dimensionality when Clustering Users in a Group Recommender System (LB, SC), pp. 564–572.
ICEISICEIS-v2-2014-Gateau #in the cloud #monitoring #multi
A Multi-agent System to Monitor SLA for Cloud Computing (BG), pp. 647–652.
ICEISICEIS-v2-2014-GulnazMT #information management
University’s Scientific Resources Processing in Knowledge Management Systems (GZ, MM, TB), pp. 225–232.
ICEISICEIS-v2-2014-HaoH #bibliography #enterprise
Cloud-based Enterprise Resources Planning System (ERP) — A Review of the Literature (YH, PH), pp. 185–192.
ICEISICEIS-v2-2014-Hogler #evaluation #mobile #research
A Research Agenda for Mobile Systems Evaluation (TH), pp. 454–459.
ICEISICEIS-v2-2014-MeloS #design #modelling #uml #using
Model-driven Structural Design of Software-intensive Systems Using SysML Blocks and UML Classes (MdSM, MSS), pp. 193–200.
ICEISICEIS-v2-2014-RoumelisLV #database #design #information management
Database Design of a Geo-environmental Information System (GR, TL, MV), pp. 375–382.
ICEISICEIS-v2-2014-SarmientoLRS #approach #automation #concurrent #generative #requirements #testing
An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions (ES, JCSdPL, NR, AvS), pp. 339–347.
ICEISICEIS-v3-2014-AntonayaSC #collaboration #enterprise #information management
Handling Human Factors in Cloud-based Collaborative Enterprise Information Systems (SLA, CBS, JGC), pp. 162–167.
ICEISICEIS-v3-2014-AzevedoF #case study #education #learning #process #student
The Response Systems in the Student’s Learning/Teaching Process — A Case Study in a Portuguese School (PA, MJF), pp. 79–86.
ICEISICEIS-v3-2014-BoissierKWP #data transformation #enterprise
An Integrated Data Management for Enterprise Systems (MB, JK, JW, HP), pp. 410–418.
ICEISICEIS-v3-2014-LaraC #integration #protocol
A Protocol for Command and Control Systems Integration (PL, RC), pp. 484–489.
ICEISICEIS-v3-2014-SvedaH #cyber-physical #enterprise #information management
Cyber-physical Information Systems for Enterprise Engineering — Cyber-physical Applications Timing (MS, PH), pp. 441–446.
CIKMCIKM-2014-ChengKWT #parallel #robust
Robust and Skew-resistant Parallel Joins in Shared-Nothing Systems (LC, SK, TEW, GT), pp. 1399–1408.
CIKMCIKM-2014-ChenHH #named #predict #video
Clairvoyant: An Early Prediction System For Video Hits (HC, QH, LH), pp. 2054–2056.
CIKMCIKM-2014-DahimeneCM #named #network #recommendation #social
RecLand: A Recommender System for Social Networks (RD, CC, CdM), pp. 2063–2065.
CIKMCIKM-2014-Deolalikar14a #behaviour #clustering #modelling #parametricity #retrieval
Parameter Tuning with User Models: Influencing Aggregate User Behavior in Cluster Based Retrieval Systems (VD), pp. 1823–1826.
CIKMCIKM-2014-LiZZW #keyword #named #performance
INK: A Cloud-Based System for Efficient Top-k Interval Keyword Search (RL, XZ, XZ, SW), pp. 2003–2005.
CIKMCIKM-2014-QinSFZW #3d #linked data #open data
Indexing Linked Data in a Wireless Broadcast System with 3D Hilbert Space-Filling Curves (YQ, QZS, NJGF, WEZ, HW), pp. 1775–1778.
CIKMCIKM-2014-Sakai #design
Designing Test Collections for Comparing Many Systems (TS), pp. 61–70.
CIKMCIKM-2014-SegerenGC #constraints #named
CONDOR: A System for CONstraint DiscOvery and Repair (JS, DG, FC), pp. 2087–2089.
CIKMCIKM-2014-TaxidouF #agile #analysis #information management #named #realtime #twitter
RApID: A System for Real-time Analysis of Information Diffusion in Twitter (IT, PMF), pp. 2060–2062.
CIKMCIKM-2014-WangMGH #information management #towards
Rebuilding the Tower of Babel: Towards Cross-System Malware Information Sharing (TW, SM, WG, XH), pp. 1239–1248.
CIKMCIKM-2014-WangYHKAS #chat #interactive #named #twitter #web
TwinChat: A Twitter and Web User Interactive Chat System (YW, GY, YH, YK, TA, KS), pp. 2045–2047.
CIKMCIKM-2014-YuanWYC #big data #database #grid #scalability #staged
Rubato DB: A Highly Scalable Staged Grid Database System for OLTP and Big Data Applications (LYY, LW, JHY, YC), pp. 1–10.
CIKMCIKM-2014-ZhangHSWHH #evaluation
Generalized Bias-Variance Evaluation of TREC Participated Systems (PZ, LH, DS, JW, YH, BH), pp. 1911–1914.
ECIRECIR-2014-BueyGETIM #named #query #semantics
SQX-Lib: Developing a Semantic Query Expansion System in a Media Group (MGB, ALG, SE, RT, SI, EM), pp. 780–783.
ECIRECIR-2014-DincerOM #evaluation #retrieval
Tackling Biased Baselines in the Risk-Sensitive Evaluation of Retrieval Systems (BTD, IO, CM), pp. 26–38.
ECIRECIR-2014-GaoWO #comparison #using
Reducing Reliance on Relevance Judgments for System Comparison by Using Expectation-Maximization (NG, WW, DWO), pp. 1–12.
ECIRECIR-2014-LiuYF #interactive #named #query
EntEXPO: An Interactive Search System for Entity-Bearing Queries (XL, PY, HF), pp. 784–788.
ECIRECIR-2014-MederPH #enterprise #named
DAIKnow: A Gamified Enterprise Bookmarking System (MM, TP, FH), pp. 759–762.
ECIRECIR-2014-RikitianskiiHC #personalisation #recommendation
A Personalised Recommendation System for Context-Aware Suggestions (AR, MH, FC), pp. 63–74.
ECIRECIR-2014-ThumaRO #detection #query #retrieval
Detecting Missing Content Queries in an SMS-Based HIV/AIDS FAQ Retrieval System (ET, SR, IO), pp. 247–259.
ECIRECIR-2014-WilkieA #analysis #bias #empirical #retrieval
Best and Fairest: An Empirical Analysis of Retrieval System Bias (CW, LA), pp. 13–25.
ICPRICPR-2014-AfridiLM #automation #rating
An Automated System for Plant-Level Disease Rating in Real Fields (MJA, XL, JMM), pp. 148–153.
ICPRICPR-2014-AfzalAFMO #3d #multi #re-engineering
RGB-D Multi-view System Calibration for Full 3D Scene Reconstruction (HA, DA, DF, BM, BEO), pp. 2459–2464.
ICPRICPR-2014-AhmadKM #analysis
Computer Assisted Analysis System of Electroencephalogram for Diagnosing Epilepsy (MAA, NAK, WM), pp. 3386–3391.
ICPRICPR-2014-Alvarez-MezaMC #adaptation #learning #video
Correntropy-Based Adaptive Learning to Support Video Surveillance Systems (AMÁM, SMG, GCD), pp. 2590–2595.
ICPRICPR-2014-Bermudez-CameoLG
Line-Images in Cone Mirror Catadioptric Systems (JBC, GLN, JJG), pp. 2083–2088.
ICPRICPR-2014-DominguesMMSR #information management #recommendation #topic #using
Using Contextual Information from Topic Hierarchies to Improve Context-Aware Recommender Systems (MAD, MGM, RMM, CVS, SOR), pp. 3606–3611.
ICPRICPR-2014-EnsafiLKT #automation #classification #image
Automatic CAD System for HEp-2 Cell Image Classification (SE, SL, AAK, CLT), pp. 3321–3326.
ICPRICPR-2014-EnzbergA #automation #fault #recognition
A Defect Recognition System for Automated Inspection of Non-rigid Surfaces (SvE, AAH), pp. 1812–1816.
ICPRICPR-2014-GotoFNHS
Super-resolution System for 4K-HDTV (TG, TF, FN, SH, MS), pp. 4453–4458.
ICPRICPR-2014-HiraiOHT
An HDR Spectral Imaging System for Time-Varying Omnidirectional Scene (KH, NO, TH, ST), pp. 2059–2064.
ICPRICPR-2014-HuangL
Camera Calibration for Plate Refractive Imaging System (LH, YL), pp. 4068–4073.
ICPRICPR-2014-ManzatoDMR #feedback #personalisation #ranking #recommendation #topic
Improving Personalized Ranking in Recommender Systems with Topic Hierarchies and Implicit Feedback (MGM, MAD, RMM, SOR), pp. 3696–3701.
ICPRICPR-2014-MarroccoT #fault
Bit Error Recovery in ECOC Systems through LDPC Codes (CM, FT), pp. 1454–1459.
ICPRICPR-2014-MatveevG #approximate #detection #segmentation
Iris Segmentation System Based on Approximate Feature Detection with Subsequent Refinements (IM, KG), pp. 1704–1709.
ICPRICPR-2014-MoriKO #analysis #collaboration #framework #online #search-based
Search-Based Content Analysis System on Online Collaborative Platform for Film Production (MM, HK, MO), pp. 1091–1096.
ICPRICPR-2014-RaghavendraRYB #assessment #automation #empirical #matrix #quality #using #video
Automatic Face Quality Assessment from Video Using Gray Level Co-occurrence Matrix: An Empirical Study on Automatic Border Control System (RR, KBR, BY, CB), pp. 438–443.
ICPRICPR-2014-ReschLL #image
Local Image Feature Matching Improvements for Omnidirectional Camera Systems (BR, JL, HPAL), pp. 918–923.
ICPRICPR-2014-VuYESOFAY #education #video
A Web-Based Education System for Reading Video Capsule Endoscopy (HV, YY, TE, MS, HO, YF, TA, YY), pp. 2721–2726.
KDDKDD-2014-AvvenutiCMMT #realtime
EARS (earthquake alert and report system): a real time decision support system for earthquake crisis management (MA, SC, AM, CM, MT), pp. 1749–1758.
KDDKDD-2014-KateCPK #mining #named #safety
FoodSIS: a text mining system to improve the state of food safety in singapore (KK, SC, AP, JK), pp. 1709–1718.
KDDKDD-2014-LeeLTS #modelling #recommendation #scalability
Modeling impression discounting in large-scale recommender systems (PL, LVSL, MT, SS), pp. 1837–1846.
KDDKDD-2014-QuZLLX #effectiveness #recommendation
A cost-effective recommender system for taxi drivers (MQ, HZ, JL, GL, HX), pp. 45–54.
KDDKDD-2014-SrikantA #machine learning #programming #using
A system to grade computer programming skills using machine learning (SS, VA), pp. 1887–1896.
KDDKDD-2014-ZhaoGHJWL #microblog #recommendation #what
We know what you want to buy: a demographic-based system for product recommendation on microblogs (WXZ, YG, YH, HJ, YW, XL), pp. 1935–1944.
KDIRKDIR-2014-BesbesZG #fuzzy #information retrieval #ontology #personalisation
Fuzzy Ontology-based System for Personalized Information Retrieval (GB, HBZ, HBG), pp. 286–293.
KDIRKDIR-2014-DistanteCVL #learning #online #paradigm #plugin #topic
Enhancing Online Discussion Forums with a Topic-driven Navigational Paradigm — A Plugin for the Moodle Learning Management System (DD, LC, AV, ML), pp. 97–106.
KDIRKDIR-2014-HasnaMDP #recommendation #sentiment
Sentiment Polarity Extension for Context-Sensitive Recommender Systems (OLH, FCM, MD, RP), pp. 126–137.
KDIRKDIR-2014-Nakano #induction #string
Emergent Induction of L-system Grammar from a String with Deletion-type Transmutation (RN), pp. 397–402.
KDIRKDIR-2014-SaiaBC #modelling #recommendation #semantics
Semantic Coherence-based User Profile Modeling in the Recommender Systems Context (RS, LB, SC), pp. 154–161.
KDIRKDIR-2014-TasciC #recommendation
A Media Tracking and News Recommendation System (ST, IC), pp. 53–60.
KDIRKDIR-2014-UtkuA #mobile #recommendation
A Mobile Location-Aware Recommendation System (SU, CEA), pp. 176–183.
KEODKEOD-2014-AllaniZMAG #image #retrieval
A Pattern-based System for Image Retrieval (OA, HBZ, NM, HA, HBG), pp. 345–352.
KEODKEOD-2014-DogduKG #information management #ontology #using
Waste Management Information System — An Expert System Using Ontologies (ED, BK, UG), pp. 312–318.
KEODKEOD-2014-FreibergHP #knowledge-based #novel #paradigm
Clarification KBS as Consultation-Justification Mash Ups — Proposing a Novel Paradigm for All-in-One Knowledge-based Systems (MF, FH, FP), pp. 168–175.
KEODKEOD-2014-GonenFEBWZP #how #maintenance #modelling #ontology #question
Maintaining SOA Systems of the Future — How Can Ontological Modeling Help? (BG, XF, EES, SB, NW, AZ, IP), pp. 376–381.
KEODKEOD-2014-GorskisB #ontology #reuse
Location based Reminder System with Reusable Ontology (HG, AB), pp. 161–167.
KEODKEOD-2014-KarkalasS #concept #learning #modelling #student
Intelligent Student Support in the FLIP Learning System based on Student Initial Misconceptions and Student Modelling (SK, SGS), pp. 353–360.
KEODKEOD-2014-LietoMPRF #architecture #ontology #process
A Dual Process Architecture for Ontology-based Systems (AL, AM, AP, DPR, MF), pp. 48–55.
KEODKEOD-2014-MinhasB #information management #ontology
Ontology Based Environmental Knowledge Management — A System to Support Decisions in Manufacturing Planning (SUHM, UB), pp. 397–404.
KEODKEOD-2014-SmirnovLS
Knowledge Fusion in Context-Aware Decision Support Systems (AVS, TL, NS), pp. 186–194.
KEODKEOD-2014-TakahashiTTL #automation #industrial #standard #web
An Automatic Coding System with a Three-Grade Confidence Level Corresponding to the National/International Occupation and Industry Standard — Open to the Public on the Web (KT, HT, ST, WL), pp. 369–375.
KEODKEOD-2014-TarakciC #recommendation #using
Using Hypergraph-based User Profile in a Recommendation System (HT, NKC), pp. 27–35.
KEODKEOD-2014-TawambaNBT #evolution #named #ontology
MS-ONTO — Model and System for Supporting Ontology Evolution (ET, RN, BB, CT), pp. 319–326.
KMISKMIS-2014-BartuskovaK #information management #learning
Knowledge Management and Sharing in E-Learning — Hierarchical System for Managing Learning Resources (AB, OK), pp. 179–185.
KMISKMIS-2014-DaviesB #security
Determining the Value of Information Security Investments — A Decision Support System (HLD, AJCB), pp. 426–433.
KMISKMIS-2014-HeavinDA #big data #information management
Small Data to Big Data — The Information Systems (IS) Continuum (CH, MD, FA), pp. 289–297.
KMISKMIS-2014-HisakaneS #learning #visualisation
A Visualization System of Discussion Structure in Case Method Learning (DH, MS), pp. 126–132.
KMISKMIS-2014-KimKO #performance
System Improvement for the Management of Subcontracted Service Performance Information in Korea’s Public Construction (SJK, NK, HO), pp. 382–386.
KMISKMIS-2014-MikhaylovZFS #development
Development of the Protection System Against Malicious Software (DM, AZ, MF, ASS), pp. 161–170.
KMISKMIS-2014-PascalT #clustering #experience #framework #information management #memory management
Transactive Memory System in Clusters — The Knowledge Management Platform Experience (AP, CT), pp. 5–14.
KMISKMIS-2014-Schmitt #approach #generative #information management #novel
Proposing a Next Generation of Knowledge Management Systems for Creative Collaborations in Support of Individuals and Institutions — Featuring a Novel Approach for Meme-based Personal Knowledge Management (US), pp. 346–353.
KMISKMIS-2014-SerranoRHCFAFSM
Improved Business Intelligence Solution with Reimbursement Tracking System for the Brazilian Ministry of Planning, Budget and Management (AMRS, PHBR, RCH, JPCLdC, EPdF, VLdA, AAF, RTdSJ, MAMM, BHAP), pp. 434–440.
KMISKMIS-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.
KMISKMIS-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.
KMISKMIS-2014-Wagner #concept #memory management
The Concept of Team Transactive Memory Systems — Developing an Extended Model for Organizational Contexts (VW), pp. 319–325.
KMISKMIS-2014-WangABN #recommendation #semantics #towards
Towards a Recommender System from Semantic Traces for Decision Aid (NW, MHA, JPAB, EN), pp. 274–279.
KRKR-2014-Baader #monitoring #ontology
Ontology-Based Monitoring of Dynamic Systems (FB).
KRKR-2014-BelleL14a #multi #on the
On the Progression of Knowledge in Multiagent Systems (VB, GL).
KRKR-2014-Coste-MarquisKMM #on the
On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses (SCM, SK, JGM, PM).
KRKR-2014-GutierrezHW #concurrent #reasoning
Reasoning about Equilibria in Game-Like Concurrent Systems (JG, PH, MW).
KRKR-2014-HaririCD #bound
State-Boundedness in Data-Aware Dynamic Systems (BBH, DC, MM, AD).
KRKR-2014-LomuscioM #abstraction #atl #multi #specification #verification
An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications (AL, JM).
KRKR-2014-LomuscioM14a #bound #model checking
Model Checking Unbounded Artifact-Centric Systems (AL, JM).
KRKR-2014-MarrellaMS #adaptation #calculus #named #process
SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (AM, MM, SS).
KRKR-2014-TasharrofiT #multi
Generalized Multi-Context Systems (ST, ET).
MLDMMLDM-2014-MaliarskyAH #classification
A Neuro-Genetic System for Cardiac Arrhythmia Classification (EM, MA, MH), pp. 343–360.
RecSysRecSys-2014-AdamopoulosT14a #bias #collaboration #on the #probability #recommendation
On over-specialization and concentration bias of recommendations: probabilistic neighborhood selection in collaborative filtering systems (PA, AT), pp. 153–160.
RecSysRecSys-2014-BachrachFGKKNP #recommendation #using
Speeding up the Xbox recommender system using a euclidean transformation for inner-product spaces (YB, YF, RGB, LK, NK, NN, UP), pp. 257–264.
RecSysRecSys-2014-BadenesBCGHMNPSSXYZ #automation #people #recommendation #social #social media
System U: automatically deriving personality traits from social media for people recommendation (HB, MNB, JC, LG, EMH, JM, JWN, AP, JS, BAS, YX, HY, MXZ), pp. 373–374.
RecSysRecSys-2014-Ben-ShimonTFH #as a service #configuration management #monitoring #recommendation
Configuring and monitoring recommender system as a service (DBS, AT, MF, JH), pp. 363–364.
RecSysRecSys-2014-Braunhofer #recommendation
Hybridisation techniques for cold-starting context-aware recommender systems (MB), pp. 405–408.
RecSysRecSys-2014-BraunhoferCR #hybrid #recommendation
Switching hybrid for cold-starting context-aware recommender systems (MB, VC, FR), pp. 349–352.
RecSysRecSys-2014-CantadorC #recommendation #tutorial
Tutorial on cross-domain recommender systems (IC, PC), pp. 401–402.
RecSysRecSys-2014-Christakopoulou #independence #recommendation
Moving beyond linearity and independence in top-N recommender systems (EC), pp. 409–412.
RecSysRecSys-2014-DalyBKM #multi #recommendation
Multi-criteria journey aware housing recommender system (EMD, AB, AK, RM), pp. 325–328.
RecSysRecSys-2014-GarcinFDABH #evaluation #online #recommendation
Offline and online evaluation of news recommender systems at swissinfo.ch (FG, BF, OD, AA, CB, AH), pp. 169–176.
RecSysRecSys-2014-GuyG #recommendation #social #tutorial
Social recommender system tutorial (IG, WG), pp. 403–404.
RecSysRecSys-2014-HaririMB #adaptation #interactive #recommendation
Context adaptation in interactive recommender systems (NH, BM, RDB), pp. 41–48.
RecSysRecSys-2014-HarmanOAG #recommendation #trust
Dynamics of human trust in recommender systems (JLH, JO, TFA, CG), pp. 305–308.
RecSysRecSys-2014-KellerR #e-commerce #framework #named #recommendation
Cosibon: an E-commerce like platform enabling bricks-and-mortar stores to use sophisticated product recommender systems (TK, MR), pp. 367–368.
RecSysRecSys-2014-KrishnanPFG #bias #learning #recommendation #social
A methodology for learning, analyzing, and mitigating social influence bias in recommender systems (SK, JP, MJF, KG), pp. 137–144.
RecSysRecSys-2014-LoniS #library #named #recommendation
WrapRec: an easy extension of recommender system libraries (BL, AS), pp. 377–378.
RecSysRecSys-2014-Nguyen #lifecycle #recommendation
Improving recommender systems: user roles and lifecycles (TTN), pp. 417–420.
RecSysRecSys-2014-PedroK #collaboration #recommendation
Question recommendation for collaborative question answering systems with RankSLDA (JSP, AK), pp. 193–200.
RecSysRecSys-2014-SaidB #benchmark #comparative #evaluation #framework #metric #recommendation
Comparative recommender system evaluation: benchmarking recommendation frameworks (AS, AB), pp. 129–136.
RecSysRecSys-2014-SaidB14a #evaluation #named #recommendation #tool support
Rival: a toolkit to foster reproducibility in recommender system evaluation (AS, AB), pp. 371–372.
RecSysRecSys-2014-SaidDLT #challenge #recommendation
Recommender systems challenge 2014 (AS, SD, BL, DT), pp. 387–388.
RecSysRecSys-2014-SeminarioW #recommendation
Attacking item-based recommender systems with power items (CES, DCW), pp. 57–64.
RecSysRecSys-2014-VanchinathanNBK #process #recommendation
Explore-exploit in top-N recommender systems via Gaussian processes (HPV, IN, FDB, AK), pp. 225–232.
RecSysRecSys-2014-VargasBKC #recommendation
Coverage, redundancy and size-awareness in genre diversity for recommender systems (SV, LB, AK, PC), pp. 209–216.
SEKESEKE-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.
SEKESEKE-2014-NguyenC #case study #coordination #requirements #verification
Formal Verification of Coordination Systems’ Requirements — A Case Study on the European Train Control System (HNN, ARC), pp. 393–396.
SEKESEKE-2014-OliveiraOON #taxonomy #towards
Towards a Taxonomy of Services for Developing Service-Oriented Robotic Systems (LBRdO, FSO, FO, EYN), pp. 344–349.
SEKESEKE-2014-PaikariF #analysis #design #implementation #simulation
Analysis, Design and Implementation of an Agent Based System for Simulating Connected Vehicles (EP, BHF), pp. 338–343.
SEKESEKE-2014-QueirozB #approach #embedded #modelling #product line
A Critical Embedded System Product Line Model-based Approach (PGGQ, RTVB), pp. 71–75.
SEKESEKE-2014-RochaADCAM #distributed #named #ontology
DKDs: An Ontology-based System for Distributed Teams (RGCR, RRA, MPD, DC, ARMA, SRLM), pp. 82–85.
SEKESEKE-2014-TangLYX #configuration management #development #towards
Towards Sustainability-Oriented Development of Dynamic Reconfigurable Software Systems (ST, LL, WY, JX), pp. 598–602.
SIGIRSIGIR-2014-BabbarPGA #approach #classification #distributed #ranking #scalability
Re-ranking approach to classification in large-scale power-law distributed category systems (RB, IP, ÉG, MRA), pp. 1059–1062.
SIGIRSIGIR-2014-ChengSM #adaptation #music #named #personalisation #recommendation #social
Just-for-me: an adaptive personalization system for location-aware social music recommendation (ZC, JS, TM), pp. 1267–1268.
SIGIRSIGIR-2014-DincerMO #evaluation #retrieval #testing
Hypothesis testing for the risk-sensitive evaluation of retrieval systems (BTD, CM, IO), pp. 23–32.
SIGIRSIGIR-2014-GiangrecoKS #database #information retrieval #multi #named #query #scalability
ADAM: a system for jointly providing ir and database queries in large-scale multimedia retrieval (IG, IAK, HS), pp. 1257–1258.
SIGIRSIGIR-2014-GuptaBV #automation #named
CharBoxes: a system for automatic discovery of character infoboxes from books (MG, PB, VV), pp. 1255–1256.
SIGIRSIGIR-2014-Ifada #modelling #personalisation #recommendation #topic #using
A tag-based personalized item recommendation system using tensor modeling and topic model approaches (NI), p. 1280.
SIGIRSIGIR-2014-JayasingheWSDC #nondeterminism #retrieval
Evaluating non-deterministic retrieval systems (GKJ, WW, MS, LSD, JSC), pp. 911–914.
SIGIRSIGIR-2014-KoopmanZ14a #assessment #exclamation #information retrieval #open source
Relevation!: an open source system for information retrieval relevance assessment} (BK, GZ), pp. 1243–1244.
SIGIRSIGIR-2014-LinGHTXL #layout #retrieval
A mathematics retrieval system for formulae in layout presentations (XL, LG, XH, ZT, YX, XL), pp. 697–706.
SIGIRSIGIR-2014-LiWM #recommendation #social
A revisit to social network-based recommender systems (HL, DW, NM), pp. 1239–1242.
SIGIRSIGIR-2014-Ma #on the #recommendation #social
On measuring social friend interest similarities in recommender systems (HM), pp. 465–474.
SIGIRSIGIR-2014-McParlaneJ14a #automation #image #novel
A novel system for the semi automatic annotation of event images (PJM, JMJ), pp. 1269–1270.
SIGIRSIGIR-2014-SoulierST #collaboration #information retrieval
User-driven system-mediated collaborative information retrieval (LS, CS, LT), pp. 485–494.
SIGIRSIGIR-2014-Vargas #evaluation #information retrieval #recommendation
Novelty and diversity enhancement and evaluation in recommender systems and information retrieval (SV), p. 1281.
SIGIRSIGIR-2014-ZerrSPHZ #exclamation
NicePic!: a system for extracting attractive photos from flickr streams (SZ, SS, JSP, JSH, XZ), pp. 1259–1260.
SIGIRSIGIR-2014-ZhangTZX #algorithm #recommendation
Addressing cold start in recommender systems: a semi-supervised co-training algorithm (MZ, JT, XZ, XX), pp. 73–82.
SIGIRSIGIR-2014-ZhouKWAD #detection #recommendation
Detection of abnormal profiles on group attacks in recommender systems (WZ, YSK, JW, SA, GD), pp. 955–958.
SKYSKY-2014-FragaM #requirements
Systems Engineering Requirements: A Guided Example of an Applied Knowledge System (AF, JLM), pp. 19–30.
MODELSMoDELS-2014-AndolfatoKSSZC #case study #experience #modelling
Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain (LA, RK, MS, HS, MZ, GC), pp. 403–419.
MODELSMoDELS-2014-EliassonHL0 #agile #case study #industrial #modelling
Agile Model-Driven Engineering in Mechatronic Systems — An Industrial Case Study (UE, RH, JL, CB), pp. 433–449.
MODELSMoDELS-2014-LiebelMTLH #embedded #modelling
Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain (GL, NM, MT, AL, JH), pp. 166–182.
MODELSMoDELS-2014-LuddeckeBS #modelling #ontology
Ontology-Based Modeling of Context-Aware Systems (DL, NB, IS), pp. 484–500.
MODELSMoDELS-2014-Pazzi #behaviour #composition #modelling
Modeling Systemic Behavior by State-Based Holonic Modular Units (LP), pp. 99–115.
MODELSMoDELS-2014-WestmanN #contract #cyber-physical #design
Environment-Centric Contracts for Design of Cyber-Physical Systems (JW, MN), pp. 218–234.
MODELSMoDELS-2014-AndolfatoKSSZC #case study #experience #modelling
Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain (LA, RK, MS, HS, MZ, GC), pp. 403–419.
MODELSMoDELS-2014-EliassonHL0 #agile #case study #industrial #modelling
Agile Model-Driven Engineering in Mechatronic Systems — An Industrial Case Study (UE, RH, JL, CB), pp. 433–449.
MODELSMoDELS-2014-LiebelMTLH #embedded #modelling
Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain (GL, NM, MT, AL, JH), pp. 166–182.
MODELSMoDELS-2014-LuddeckeBS #modelling #ontology
Ontology-Based Modeling of Context-Aware Systems (DL, NB, IS), pp. 484–500.
MODELSMoDELS-2014-Pazzi #behaviour #composition #modelling
Modeling Systemic Behavior by State-Based Holonic Modular Units (LP), pp. 99–115.
MODELSMoDELS-2014-WestmanN #contract #cyber-physical #design
Environment-Centric Contracts for Design of Cyber-Physical Systems (JW, MN), pp. 218–234.
GPCEGPCE-2014-JarviFH #constraints #data flow #multi
Specializing planners for hierarchical multi-way dataflow constraint systems (JJ, GF, MH), pp. 1–10.
GPCEGPCE-2014-RuprechtHL #automation #feature model #product line #scalability
Automatic feature selection in large-scale system-software product lines (AR, BH, DL), pp. 39–48.
LOPSTRLOPSTR-2014-LucasMG #2d #dependence #framework #term rewriting
Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems (SL, JM, RG), pp. 113–130.
PPDPPPDP-2014-Ilik #continuation #normalisation #proving #tutorial
Proofs in continuation-passing style: normalization of Gödel’s System T extended with sums and delimited control operators: Distilled Tutorial (DI), pp. 55–56.
PPDPPPDP-2014-KranzS #compilation #domain-specific language #functional #integration #legacy #performance
Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems (JK, AS), pp. 187–198.
QAPLQAPL-2014-Feng #distributed #hybrid #modelling #probability #using
Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE — ZebraNet as an Example (CF0), pp. 64–77.
PADLPADL-2014-KrijnenSV #named #towards
Expand: Towards an Extensible Pandoc System (JK, SDS, MV), pp. 200–215.
PADLPADL-2014-LierlerT #composition
Abstract Modular Inference Systems and Solvers (YL, MT), pp. 49–64.
PADLPADL-2014-SonPL #multi #prolog #source code
Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems (TCS, EP, TL), pp. 87–103.
POPLPOPL-2014-BokerHR
Battery transition systems (UB, TAH, AR), pp. 595–606.
POPLPOPL-2014-BouajjaniEH #consistency #replication #verification
Verifying eventual consistency of optimistic replication systems (AB, CE, JH), pp. 285–296.
POPLPOPL-2014-Katsumata #monad #parametricity #semantics
Parametric effect monads and semantics of effect systems (SyK), pp. 633–646.
POPLPOPL-2014-LeeP #logic #proving
A proof system for separation logic with magic wand (WL, SP), pp. 477–490.
RERE-2014-BonfimNDS #case study #experience #modelling
Modelling sustainability in a procurement system: An experience report (CB, WN, LD, MS), pp. 402–411.
RERE-2014-ChopraDAGMS #named
Protos: Foundations for engineering innovative sociotechnical systems (AKC, FD, FBA, PG, JM, MPS), pp. 53–62.
RERE-2014-GartnerRBSJ #maintenance #requirements #security
Maintaining requirements for long-living software systems by incorporating security knowledge (SG, TR, JB, KS, JJ), pp. 103–112.
RERE-2014-LetychevskyiW #requirements #verification
Symbolic verification of requirements in VRS system (OL, TW), pp. 331–332.
RERE-2014-SaitoTYA #design #named #quality #requirements #set
RISDM: A requirements inspection systems design methodology: Perspective-based design of the pragmatic quality model and question set to SRS (SS, MT, SY, MA), pp. 223–232.
RERE-2014-SutcliffeRBS #requirements
Discovering affect-laden requirements to achieve system acceptance (AS, PR, CNB, PS), pp. 173–182.
RERE-2014-Teruel #collaboration #requirements #specification
Improving collaborative and Post-WIMP systems through requirements specification (MAT), pp. 461–466.
RERE-2014-TohonenKM #case study #game studies
Evaluating the business value of information technology: Case study on game management system (HT, MK, TM), pp. 283–292.
RERE-2014-Zhou #development #embedded #realtime #requirements
Requirements development and management of embedded real-time systems (JZ), pp. 479–484.
RERE-2014-ZhouLLLKL #feature model #requirements #towards #validation
Towards feature-oriented requirements validation for automotive systems (JZ, YL, KL, HL, DK, BL), pp. 428–436.
REFSQREFSQ-2014-VierhauserRG #framework #monitoring #requirements
A Requirements Monitoring Infrastructure for Very-Large-Scale Software Systems (MV, RR, PG), pp. 88–94.
REFSQREFSQ-2014-YangLJC #adaptation #analysis #bibliography #modelling #requirements #self
A Systematic Literature Review of Requirements Modeling and Analysis for Self-adaptive Systems (ZY, ZL, ZJ, YC), pp. 55–71.
SACSAC-2014-A #authentication #health #mobile #network #privacy #research #student
Student research abstract: a privacy-preserving profile matching based authentication system for mobile health networks (DHA), pp. 196–197.
SACSAC-2014-BeckersCG #in the cloud #requirements #security
A catalog of security requirements patterns for the domain of cloud computing systems (KB, IC, LG), pp. 337–342.
SACSAC-2014-BeoharM #consistency #testing
Input-output conformance testing based on featured transition systems (HB, MRM), pp. 1272–1278.
SACSAC-2014-CalvoOFR #distributed #multi #parametricity
Parametric investigation of a distributed strategy for multiple agents systems applied to cooperative tasks (RC, JdO, MF, RAR), pp. 207–212.
SACSAC-2014-ChenCWD #recommendation #scalability
Instant expert hunting: building an answerer recommender system for a large scale Q&A website (TC, JC, HW, YD), pp. 260–265.
SACSAC-2014-ChenLFCCK #algorithm #design #detection #effectiveness #health #implementation #monitoring
Design and implementation of a personal health monitoring system with an effective SVM-based PVC detection algorithm in cardiology (HC, GTL, YCF, BCC, CMC, TCK), pp. 33–35.
SACSAC-2014-ChenZTWS #modelling #recommendation
Comparing the staples in latent factor models for recommender systems (CC, LZ, AT, KW, SV), pp. 91–96.
SACSAC-2014-GaoEWGL #empirical #generative #testing
An empirical study of requirements-based test generation on an automobile control system (RG, JSE, WEW, XG, SYL), pp. 1094–1099.
SACSAC-2014-GuoZTBY #empirical #recommendation #trust
From ratings to trust: an empirical study of implicit trust in recommender systems (GG, JZ, DT, AB, NYS), pp. 248–253.
SACSAC-2014-JangJL #component #embedded #generative #prototype #simulation
Virtual prototype generation by shockwave flash for simulating HW components of embedded system (SYJ, AKJ, WJL), pp. 1755–1756.
SACSAC-2014-KangS #analysis #implementation #scheduling
Schedulability analysis support for automotive systems: from requirement to implementation (EYK, PYS), pp. 1080–1085.
SACSAC-2014-KawsarAL #detection #multimodal #process #smarttech #using
Smartphone based multimodal activity detection system using plantar pressure sensors (FAK, SIA, RL), pp. 468–469.
SACSAC-2014-KuoT #in the cloud #incremental #virtual machine
Delay-based incrementally mapping of virtual machines in cloud computing systems (CFK, HWT), pp. 1498–1503.
SACSAC-2014-LeeJB #design #file system #memory management #named #similarity
DTFS: exploiting the similarity of data versions to design a write-efficient file system in phase-change memory (EL, JEJ, HB), pp. 1535–1540.
SACSAC-2014-LeePKH #clustering
Per-cluster allocation of relocation staff on electric vehicle sharing systems (JL, GLP, JK, NH), pp. 1541–1542.
SACSAC-2014-LopezTCC #algorithm #automation #design
Design of an automatic demand-side management system based on evolutionary algorithms (EGL, AT, SC, VC), pp. 525–530.
SACSAC-2014-Majumder #realtime
A real-time smartphone- and smartshoe-based fall prevention system (AKMJAM), pp. 470–471.
SACSAC-2014-MatiasPASH #case study #empirical #operating system #reliability
An empirical exploratory study on operating system reliability (RM, MP, LBdA, CS, LH), pp. 1523–1528.
SACSAC-2014-MoraCGZJEBAH #named
MUSES: a corporate user-centric system which applies computational intelligence methods (AMM, PdlC, JJMG, SZ, MJ, AIEA, MB, HA, ZH), pp. 1719–1723.
SACSAC-2014-OliveiraNWB #approach #kernel #named
Ianus: secure and holistic coexistence with kernel extensions — a immune system-inspired approach (DO, JN, NW, MB), pp. 1672–1679.
SACSAC-2014-ParkPJ #artificial reality #education #online
QR-code based online robot augmented reality system for education (JPP, MWP, SKJ), pp. 180–185.
SACSAC-2014-RithLM #sql
Speaking in tongues: SQL access to NoSQL systems (JR, PSL, KMW), pp. 855–857.
SACSAC-2014-RolimBCCAPM #approach #multimodal #recommendation
A recommendation approach for digital TV systems based on multimodal features (RR, FB, AC, GC, HOdA, AP, AFM), pp. 289–291.
SACSAC-2014-ShahriarH #assessment #fuzzy #injection #risk management #using
Risk assessment of code injection vulnerabilities using fuzzy logic-based system (HS, HH), pp. 1164–1170.
SACSAC-2014-ShangHHCK #personalisation #recommendation #towards
Beyond personalization and anonymity: towards a group-based recommender system (SS, YH, PH, PC, SRK), pp. 266–273.
SACSAC-2014-SilvaPBAP #architecture #cyber-physical #modelling #testing
A model-based architecture for testing medical cyber-physical systems (LCS, MP, FMB, HOA, AP), pp. 25–30.
SACSAC-2014-TragatschnigTZ #impact analysis #using
Impact analysis for event-based systems using change patterns (ST, HT, UZ), pp. 763–768.
SACSAC-2014-UnoI #music #named #recommendation
MALL: a life log based music recommendation system and portable music player (AU, TI), pp. 939–944.
SACSAC-2014-WangWPSC #collaboration #network #process
A collaborative processes synchronization method with regards to system crashes and network failures (LW, AW, LFP, MvS, CC), pp. 1393–1398.
SACSAC-2014-XiaLWZ #analysis #predict
Build system analysis with link prediction (XX, DL, XW, BZ), pp. 1184–1186.
SACSAC-2014-Yoo #named #online
OSBS: online storm-water billing system (WSY), pp. 760–761.
FSEFSE-2014-DziwokGBTHP #cyber-physical #modelling #re-engineering
A tool suite for the model-driven software engineering of cyber-physical systems (SD, CG, SB, ST, CH, UP), pp. 715–718.
FSEFSE-2014-Gui00ND #agile #analysis #named #nondeterminism #reliability #tool support
RaPiD: a toolkit for reliability analysis of non-deterministic systems (LG, JS, YL, TKN, JSD), pp. 727–730.
FSEFSE-2014-JiangZZZLSSGS #embedded #modelling #multi #named #synthesis #tool support #validation
Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems (YJ, HZ, HZ, XZ, HL, CS, XS, MG, JGS), pp. 711–714.
FSEFSE-2014-Llerena #nondeterminism #verification
Dealing with uncertainty in verification of nondeterministic systems (YRSL), pp. 787–790.
FSEFSE-2014-SwansonCDGF #adaptation #configuration management #self
Beyond the rainbow: self-adaptive failure avoidance in configurable systems (JS, MBC, MBD, BJG, JF), pp. 377–388.
FSEFSE-2014-Wolf #re-engineering
From software engineering to software systems (invited talk) (ALW), p. 2.
FSEFSE-2014-ZhangWLQRZ #concurrent #debugging #lightweight #named
AI: a lightweight system for tolerating concurrency bugs (MZ, YW, SL, SQ, JR, WZ), pp. 330–340.
ICSEICSE-2014-BeschastnikhBEK #behaviour #concurrent #modelling
Inferring models of concurrent systems from logs of their behavior with CSight (IB, YB, MDE, AK), pp. 468–479.
ICSEICSE-2014-BrindescuCSD #distributed #how #question #version control
How do centralized and distributed version control systems impact software changes? (CB, MC, SS, DD), pp. 322–333.
ICSEICSE-2014-DIppolitoBKMSU #adaptation #multi
Hope for the best, prepare for the worst: multi-tier control for adaptive systems (ND, VAB, JK, JM, DS, SU), pp. 688–699.
ICSEICSE-2014-IgnatievJM #optimisation #performance #towards
Towards efficient optimization in package management systems (AI, MJ, JMS), pp. 745–755.
ICSEICSE-2014-KhadkaBSJH #how #legacy #question
How do professionals perceive legacy systems and software modernization? (RK, BVB, AS, SJ, JH), pp. 36–47.
ICSEICSE-2014-MusluBNC #case study #distributed #version control
Transition from centralized to decentralized version control systems: a case study on reasons, barriers, and outcomes (KM, CB, NN, JC), pp. 334–344.
ICSEICSE-2014-SuR #analysis #empirical #parametricity #probability
Perturbation analysis of stochastic systems with empirical distribution parameters (GS, DSR), pp. 311–321.
SPLCSPLC-2014-AngererPLGG #dependence #graph #identification #product line
Identifying inactive code in product lines with configuration-aware system dependence graphs (FA, HP, DL, AG, PG), pp. 52–61.
SPLCSPLC-2014-Baresi #adaptation #product line #self
Self-adaptive systems, services, and product lines (LB), pp. 2–4.
SPLCSPLC-2014-DomisSGAK #analysis #case study #experience #industrial #reuse
Customizing domain analysis for assessing the reuse potential of industrial software systems: experience report (DD, SS, TG, MA, HK), pp. 310–319.
SPLCSPLC-2014-KodamaSTKT #case study #experience
Experiences with commonality control procedures to develop clinical instrument system (RK, JS, YT, SK, ST), pp. 254–263.
SPLCSPLC-2014-KruegerC #generative #product line
Second generation systems and software product line engineering (CWK, PCC), p. 358.
SPLCSPLC-2014-SimidchievaO #composition #generative #product line #verification
Generation, composition, and verification of families of human-intensive systems (BIS, LJO), pp. 207–216.
ASPLOSASPLOS-2014-BanabicCG #distributed
Finding trojan message vulnerabilities in distributed systems (RB, GC, RG), pp. 113–126.
ASPLOSASPLOS-2014-Calder #challenge #operating system
Inside windows azure: the challenges and opportunities of a cloud operating system (BC), pp. 1–2.
ASPLOSASPLOS-2014-CriswellDA #operating system
Virtual ghost: protecting applications from hostile operating systems (JC, ND, VSA), pp. 81–96.
ASPLOSASPLOS-2014-DingZZES #compilation #complexity #runtime #scheduling
Finding the limit: examining the potential and complexity of compilation scheduling for JIT-based runtime systems (YD, MZ, ZZ, SE, XS), pp. 607–622.
ASPLOSASPLOS-2014-JungCSK #array #named #performance
Triple-A: a Non-SSD based autonomic all-flash array for high performance storage systems (MJ, WC, JS, MTK), pp. 441–454.
ASPLOSASPLOS-2014-LinWZ #mobile #named #operating system
K2: a mobile operating system for heterogeneous coherence domains (FXL, ZW, LZ), pp. 285–300.
ASPLOSASPLOS-2014-OuyangLSHWW #internet #named
SDF: software-defined flash for web-scale internet storage systems (JO, SL, JS, ZH, YW, YW), pp. 471–484.
ASPLOSASPLOS-2014-Wood #architecture #named
Resolved: specialized architectures, languages, and system software should supplant general-purpose alternatives within a decade (DAW), pp. 653–654.
ASPLOSASPLOS-2014-ZhangRZGBXZ #correlation #detection #named
EnCore: exploiting system environment and correlation information for misconfiguration detection (JZ, LR, XZ, NG, VB, TX, YZ), pp. 687–700.
CGOCGO-2014-CastroKAPJ #benchmark #fine-grained #metric
Fine-grained Benchmark Subsetting for System Selection (PdOC, YK, CA, MP, WJ), p. 132.
HPCAHPCA-2014-GuevaraLL #design
Strategies for anticipating risk in heterogeneous system design (MG, BL, BCL), pp. 154–164.
HPCAHPCA-2014-XieTHC #clustering #memory management #throughput
Improving system throughput and fairness simultaneously in shared memory CMP systems via Dynamic Bank Partitioning (MX, DT, KH, XC), pp. 344–355.
HPDCHPDC-2014-GerofiSHTI #memory management #named #novel #policy
CMCP: a novel page replacement policy for system level hierarchical memory management on many-cores (BG, AS, AH, MT, YI), pp. 73–84.
HPDCHPDC-2014-MittalVL #embedded #energy #performance
Improving energy efficiency of embedded DRAM caches for high-end computing systems (SM, JSV, DL), pp. 99–110.
HPDCHPDC-2014-TangMEL0G #manycore #scalability
Data filtering for scalable high-dimensional k-NN search on multicore systems (XT, SM, DME, KCL, ZH, MG), pp. 305–310.
HPDCHPDC-2014-WangZCLR #generative
Next generation job management systems for extreme-scale ensemble computing (KW, XZ, HC, ML, IR), pp. 111–114.
HPDCHPDC-2014-XueYQHD #concurrent #graph #low cost #named #performance
Seraph: an efficient, low-cost system for concurrent graph processing (JX, ZY, ZQ, SH, YD), pp. 227–238.
OSDIOSDI-2014-ArdekaniT #configuration management #self
A Self-Configurable Geo-Replicated Cloud Storage System (MSA, DBT), pp. 367–381.
OSDIOSDI-2014-BelayPKGKB #latency #named #operating system #throughput
IX: A Protected Dataplane Operating System for High Throughput and Low Latency (AB, GP, AK, SG, CK, EB), pp. 49–65.
OSDIOSDI-2014-ChilimbiSAK #learning #performance #scalability
Project Adam: Building an Efficient and Scalable Deep Learning Training System (TMC, YS, JA, KK), pp. 571–582.
OSDIOSDI-2014-DevecseryCDFC
Eidetic Systems (DD, MC, XD, JF, PMC), pp. 525–540.
OSDIOSDI-2014-HawblitzelHLNPZZ #automation #security #verification
Ironclad Apps: End-to-End Security via Automated Full-System Verification (CH, JH, JRL, AN, BP, DZ, BZ), pp. 165–181.
OSDIOSDI-2014-LeesatapornwongsaHJLG #debugging #model checking #named #performance #semantics
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems (TL, MH, PJ, JFL, HSG), pp. 399–414.
OSDIOSDI-2014-LuZDAAA #file system #physics
Physical Disentanglement in a Container-Based File System (LL, YZ, TD, SAK, ACAD, RHAD), pp. 81–96.
OSDIOSDI-2014-PeterLZPWKAR #named #operating system
Arrakis: The Operating System is the Control Plane (SP, JL, IZ, DRKP, DW, AK, TEA, TR), pp. 1–16.
OSDIOSDI-2014-PillaiCAAAA #complexity #file system
All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications (TSP, VC, RA, SAK, ACAD, RHAD), pp. 433–448.
OSDIOSDI-2014-SpahnBLBGK #abstraction #data transformation #fine-grained #named #operating system
Pebbles: Fine-Grained Data Management Abstractions for Modern Operating Systems (RS, JB, ML, SB, RG, GEK), pp. 113–129.
OSDIOSDI-2014-SubramanianLRHLLPSVTK #facebook #named
f4: Facebook’s Warm BLOB Storage System (MS, WL, SR, CH, EL, WL, SP, SS, SV, LT, SK), pp. 383–398.
OSDIOSDI-2014-YuanLZRZZJS #analysis #data-driven #distributed #testing
Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems (DY, YL, XZ, GRR, XZ, YZ, PJ, MS), pp. 249–265.
OSDIOSDI-2014-ZellwegerGKR #kernel #operating system
Decoupling Cores, Kernels, and Operating Systems (GZ, SG, KK, TR), pp. 17–31.
OSDIOSDI-2014-ZhaoZLULYS #distributed #named #profiling
lprof: A Non-intrusive Request Flow Profiler for Distributed Systems (XZ, YZ, DL, MFU, YL, DY, MS), pp. 629–644.
PPoPPPPoPP-2014-LuoLHKP #hybrid #manycore #programming #runtime
Initial study of multi-endpoint runtime for MPI+OpenMP hybrid programming model on multi-core systems (ML, XL, KH, KCK, DKP), pp. 395–396.
PPoPPPPoPP-2014-RodriguesJDH #algorithm #clustering #interface #named #programming
Triolet: a programming system that unifies algorithmic skeleton interfaces for high-performance cluster computing (CIR, TBJ, AD, WmWH), pp. 247–258.
CAVCAV-2014-BrazdilKKN #low cost
Minimizing Running Costs in Consumption Systems (TB, DK, AK, PN), pp. 457–472.
CAVCAV-2014-ChatterjeeCD #analysis #probability
CEGAR for Qualitative Analysis of Probabilistic Systems (KC, MC, PD), pp. 473–490.
CAVCAV-2014-CimattiGMT #hybrid #ltl #verification
Verifying LTL Properties of Hybrid Systems with K-Liveness (AC, AG, SM, ST), pp. 424–440.
CAVCAV-2014-Hagemann #analysis #hybrid #orthogonal #reachability #using
Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections (WH), pp. 407–423.
CAVCAV-2014-KanavL0 #documentation
A Conference Management System with Verified Document Confidentiality (SK, PL, AP), pp. 167–183.
ICLPICLP-J-2014-BogaertsJBCVD #calculus #linear #simulation #using
Simulating Dynamic Systems Using Linear Time Calculus Theories (BB, JJ, MB, BdC, JV, MD), pp. 477–492.
ICLPICLP-J-2014-Jackson #domain-specific language
A Module System for Domain-Specific Languages (EKJ), pp. 771–785.
ICSTICST-2014-AliH #challenge #lessons learnt #modelling #testing #video
Model-Based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results (SA, HH), pp. 353–362.
ICSTICST-2014-Feldt #question #testing
Do System Test Cases Grow Old? (RF), pp. 343–352.
ICSTICST-2014-WojciakT #case study #combinator #concurrent #maintenance #testing
System Level Combinatorial Testing in Practice — The Concurrent Maintenance Case Study (PW, RTB), pp. 103–112.
ICTSSICTSS-2014-AbdelmoulaGA #automation #embedded #generative #named #testing
AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems (MA, DG, MA), pp. 97–112.
ICTSSICTSS-2014-Bures #automation #detection #maintenance #testing
Change Detection System for the Maintenance of Automated Testing (MB), pp. 192–197.
ICTSSICTSS-2014-ChabotP #embedded #framework #hardware #monitoring
A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems (MC, LP), pp. 173–179.
ICTSSICTSS-2014-EberhardingerSKR #adaptation #self #testing #towards
Towards Testing Self-organizing, Adaptive Systems (BE, HS, AK, WR), pp. 180–185.
ICTSSICTSS-2014-MossigeGM #case study #constraints #industrial #programming #testing #using
Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study (MM, AG, HM), pp. 145–160.
IJCARIJCAR-2014-BoudouFP #named #proving
Skeptik: A Proof Compression System (JB, AF, BWP), pp. 374–380.
IJCARIJCAR-2014-GoreOT #calculus #implementation #using
Implementing Tableau Calculi Using BDDs: BDDTab System Description (RG, KO, JT), pp. 337–343.
IJCARIJCAR-2014-GoreTW #logic #proving #theorem proving #using
A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description (RG, JT, JW), pp. 262–268.
IJCARIJCAR-2014-GorinPSWW #algebra #hybrid #logic #named
Cool — A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) (DG, DP, LS, FW, TW), pp. 396–402.
IJCARIJCAR-2014-HeuleSB #preprocessor #proving
A Unified Proof System for QBF Preprocessing (MH, MS, AB), pp. 91–106.
IJCARIJCAR-2014-JeanninP #difference #hybrid #logic #named
dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems (JBJ, AP), pp. 292–306.
ISSTAISSTA-2014-HendersonPYHWZY #analysis #framework #performance
Make it work, make it right, make it fast: building a platform-neutral whole-system dynamic binary analysis platform (AH, AP, LKY, XH, XW, RZ, HY), pp. 248–258.
ISSTAISSTA-2014-WeitzKSE #string #type system
A type system for format strings (KW, GK, SS, MDE), pp. 127–137.
LICSLICS-CSL-2014-CretinR #constraints #system f
System F with coercion constraints (JC, DR), p. 10.
LICSLICS-CSL-2014-Das #on the
On the pigeonhole and related principles in deep inference and monotone systems (AD), p. 10.
LICSLICS-CSL-2014-Hague #term rewriting
Senescent ground tree rewrite systems (MH), p. 10.
LICSLICS-CSL-2014-LerouxPS #automaton #bound
Hyper-Ackermannian bounds for pushdown vector addition systems (JL, MP, GS), p. 10.
LICSLICS-CSL-2014-LevyS #game studies
Transition systems over games (PBL, SS), p. 10.
RTARTA-TLCA-2014-AotoTU #confluence #diagrams #proving #term rewriting
Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams (TA, YT, KU), pp. 46–60.
RTARTA-TLCA-2014-CreusG #automation #context-free grammar #evaluation
Automatic Evaluation of Context-Free Grammars (System Description) (CC, GG), pp. 139–148.
RTARTA-TLCA-2014-NakazawaN #reduction #λ-calculus #μ-calculus
Reduction System for Extensional Λμ Calculus (KN, TN), pp. 349–363.
RTARTA-TLCA-2014-RouxD #type system
The Structural Theory of Pure Type Systems (CR, FvD), pp. 364–378.
RTARTA-TLCA-2014-SternagelM #confluence
Conditional Confluence (System Description) (TS, AM), pp. 456–465.
ICSTSAT-2014-BalabanovWJ #proving
QBF Resolution Systems and Their Proof Complexities (VB, MW, JHRJ), pp. 154–169.
ICSTSAT-2014-FeketeC #constraints #pseudo
Simplifying Pseudo-Boolean Constraints in Residual Number Systems (YF, MC), pp. 351–366.
TAPTAP-2014-ArcainiGR #abstraction #model checking #testing
An Abstraction Technique for Testing Decomposable Systems by Model Checking (PA, AG, ER), pp. 36–52.
VMCAIVMCAI-2014-AminofJKR #model checking
Parameterized Model Checking of Token-Passing Systems (BA, SJ, AK, SR), pp. 262–281.
CBSECBSE-2013-BarnatBCP #component #named #verification
DCCL: verification of component systems with ensembles (JB, NB, IC, ZP), pp. 43–52.
CBSECBSE-2013-BuresGHKKP #component #named
DEECO: an ensemble-based component system (TB, IG, PH, JK, MK, FP), pp. 81–90.
CBSECBSE-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.
CBSECBSE-2013-JohnsonCK #component #framework #incremental #verification
An incremental verification framework for component-based software systems (KJ, RC, SK), pp. 33–42.
CBSECBSE-2013-KezniklBPGHH #component #design #invariant #refinement
Design of ensemble-based component systems by invariant refinement (JK, TB, FP, IG, PH, NH), pp. 91–100.
ECSAECSA-2013-AmellerGAF #architecture #bibliography #quality
The Role of Quality Attributes in Service-Based Systems Architecting: A Survey (DA, MG, PA, XF), pp. 200–207.
ECSAECSA-2013-CherfiaB #adaptation #towards
Towards a Bigraph-Based Model for Context-Aware Adaptive Systems (TAC, FB), pp. 340–343.
ECSAECSA-2013-ChoualiCM #architecture #component #interface #requirements #specification
Specifying System Architecture from SysML Requirements and Component Interfaces (SC, OC, HM), pp. 348–352.
ECSAECSA-2013-ZouariR #adaptation #automation #deployment #distributed #towards
Towards Automated Deployment of Distributed Adaptation Systems (MZ, IBR), pp. 336–339.
QoSAQoSA-2013-BeckerLB #adaptation #analysis #performance #requirements #self #validation
Performance analysis of self-adaptive systems for requirements validation at design-time (MB, ML, SB), pp. 43–52.
QoSAQoSA-2013-KleinV #architecture #bibliography #research
A systematic review of system-of-systems architecture research (JK, HvV), pp. 13–22.
QoSAQoSA-2013-KonersmannDGR #approach #architecture #evolution #towards
Towards architecture-centric evolution of long-living systems (the ADVERT approach) (MK, ZD, MG, RHR), pp. 163–168.
QoSAQoSA-2013-YuanMSGG #architecture #self
Architecture-based self-protecting software systems (EY, SM, BRS, DG, JG), pp. 33–42.
ASEASE-2013-ArthoHPTWY #communication #distributed #model checking
Software model checking for distributed systems with selector-based, non-blocking communication (CA, MH, RP, YT, FW, MY), pp. 169–179.
ASEASE-2013-CalinescuJR #self #verification
Developing self-verifying service-based systems (RC, KJ, YR), pp. 734–737.
ASEASE-2013-CotroneoLFN #named #operating system #robust #testing
SABRINE: State-based robustness testing of operating systems (DC, DDL, FF, RN), pp. 125–135.
ASEASE-2013-DhunganaTWW #automation #interactive #rule-based #verification
Automated verification of interactive rule-based configuration systems (DD, CHT, CW, PW), pp. 551–561.
ASEASE-2013-Fard #behaviour #detection #distributed #independence #using
Detecting and fixing emergent behaviors in Distributed Software Systems using a message content independent method (FHF), pp. 746–749.
ASEASE-2013-Frank #automation #challenge #validation #verification
The challenges of verification and validation of automated planning systems (keynote) (JF), p. 2.
ASEASE-2013-GambiHD #automation #testing
Automated testing of cloud-based elastic systems with AUToCLES (AG, WH, SD), pp. 714–717.
ASEASE-2013-GhaisasMA #case study #detection #documentation
Detecting system use cases and validations from documents (SG, MM, PRA), pp. 568–573.
ASEASE-2013-Hellerstein #case study #design #distributed #experience #named
BOOM: Experiences in language and tool design for distributed systems (keynote) (JMH), p. 1.
ASEASE-2013-NardoABFNM #modelling #validation
Model based test validation and oracles for data acquisition systems (DDN, NA, LCB, EF, TNA, VM), pp. 540–550.
CASECASE-2013-0011ZD #petri net #robust #specification
Exploiting robustness in Petri net-based closed-loop systems to accommodate control specification changes (JL, MZ, XD), pp. 71–76.
CASECASE-2013-AlfonsoAX
Tactical planning of bloodmobile collection systems (EA, VA, XX), pp. 26–31.
CASECASE-2013-BrownB #process
A queuing model for systems with rework and process downtime (AJB, FB), pp. 789–794.
CASECASE-2013-BrundageCLXA #energy #performance
Energy efficiency management of an integrated serial production line and HVAC system (MB, QC, YL, GX, JA), pp. 634–639.
CASECASE-2013-ChenK #distributed #probability
Decentralized failure diagnosis of stochastic discrete event systems (JC, RK), pp. 1083–1088.
CASECASE-2013-ChenZH #analysis #modelling #performance
Mathematical modeling and performance analysis of battery equalization systems (HC, LZ, YH), pp. 711–716.
CASECASE-2013-ChenZS #metric #using
A severity measurement system for obstructive sleep apnea discrimination using a single ECG signal (LC, XZ, CS), pp. 1–6.
CASECASE-2013-CuiVM #adaptation #architecture #embedded #named #self
ReFrESH: A self-adaptive architecture for autonomous embedded systems (YC, RMV, MHM), pp. 850–855.
CASECASE-2013-Fries #agile #automation #fault #fuzzy #multi #using
Automation of rapid fault diagnosis in manufacturing systems using multiple fuzzy agents (TPF), pp. 65–70.
CASECASE-2013-GuoUZ #energy #feedback #monitoring
Evaluating feedback systems for residential building energy monitoring (WWG, TU, MZ), pp. 112–116.
CASECASE-2013-HanzG #abstraction #cyber-physical #mobile
An abstraction layer for controlling heterogeneous mobile cyber-physical systems (TH, MG), pp. 117–121.
CASECASE-2013-HuZL #automation #performance #petri net #synthesis #using
Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets (HH, MZ, YL), pp. 1139–1144.
CASECASE-2013-HuZL13a #automation #distributed #petri net #scalability
Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets (HH, MZ, YL), pp. 1145–1150.
CASECASE-2013-KurzDP #monitoring #reliability
Monitoring virtual metrology reliability in a sampling decision system (DK, CDL, JP), pp. 20–25.
CASECASE-2013-KwadzogahZL #bibliography #perspective #predict
Model predictive control for HVAC systems — A review (RK, MZ, SL), pp. 442–447.
CASECASE-2013-LaLBGYMRP #evaluation
Autonomous robotic system for high-efficiency non-destructive bridge deck inspection and evaluation (HML, RSL, BB, NG, JY, AM, FAR, HP), pp. 1053–1058.
CASECASE-2013-LiuCXG #distributed #energy #optimisation
A decentralized optimization method for energy saving of HVAC systems (ZL, XC, XX, XG), pp. 225–230.
CASECASE-2013-LiuLXB
Cooperative control of air flow for HVAC systems (SL, YL, LX, AMB), pp. 422–427.
CASECASE-2013-LiYY #energy #novel #performance
A novel parabolic trough solar lighting and thermal system for building energy efficiency (TL, FY, CY), pp. 657–662.
CASECASE-2013-LuoHL #metric #multi #parametricity #recognition
Multisensor integrated stair recognition and parameters measurement system for dynamic stair climbing robots (RCL, MH, CWL), pp. 318–323.
CASECASE-2013-Markovski #analysis #synthesis
Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems (JM), pp. 1075–1082.
CASECASE-2013-MartinezA #design
Optimal switched-type control design for a class of nonlinear systems (JCM, VA), pp. 1069–1074.
CASECASE-2013-MashaeiL #automation #concurrent #design
Concurrent design and control of automated material handling systems (MM, BL), pp. 292–299.
CASECASE-2013-NourzadehM #metric #multi #robust #visual notation
Robust visual measurement planning in multi-robot systems (HN, JEM), pp. 176–182.
CASECASE-2013-PanHJ #concurrent #flexibility #petri net #policy #using
One computationally improved deadlock prevention policy for flexible manufacturing systems using Petri nets (YLP, HH, MJ), pp. 924–929.
CASECASE-2013-ParisioMVJ #approach #predict
A scenario-based predictive control approach to building HVAC management systems (AP, MM, DV, KHJ), pp. 428–435.
CASECASE-2013-PerinF #automation #modelling
Comparing detailed and abstract timed models of automated discrete manufacturing systems (MP, JMF), pp. 916–923.
CASECASE-2013-PrettoTM #3d #flexibility #industrial #locality
Flexible 3D localization of planar objects for industrial bin-picking with monocamera vision system (AP, ST, EM), pp. 168–175.
CASECASE-2013-RenfrewBC #locality
Particle filter based active localization of target and needle in robotic image-guided intervention systems (MR, ZB, MCC), pp. 448–454.
CASECASE-2013-RoszkowskaG #distributed #multi
Correct-by-construction distributed control for multi-vehicle transport systems (ER, IG), pp. 156–161.
CASECASE-2013-SaidiM #analysis #configuration management #development #self
Analysis and development of self-reconfigurable open kinematic machinery systems (RAS, BPM), pp. 966–971.
CASECASE-2013-ShenWWW #modelling #optimisation
Application of vector ordinal optimization to the transportation systems with agent based modelling (ZS, KW, FYW, KW), pp. 898–903.
CASECASE-2013-ShisheieJBC #design #string #using
Design and fabrication of an assistive device for arm rehabilitation using twisted string system (RS, LJ, LEB, MHMC), pp. 255–260.
CASECASE-2013-SinhaK #constraints #policy
Production and subcontracting policies for assemble-to-order systems with service level constraints (AKS, AK), pp. 570–575.
CASECASE-2013-SunLJY #energy #nondeterminism #optimisation
Event-based optimization with non-stationary uncertainties to save energy costs of HVAC systems in buildings (BS, PBL, QSJ, BY), pp. 436–441.
CASECASE-2013-SustoSPPMB #fault #maintenance #predict
A predictive maintenance system for integral type faults based on support vector machines: An application to ion implantation (GAS, AS, SP, DP, SFM, AB), pp. 195–200.
CASECASE-2013-TranH #self
Self-recovery control for dependable systems (TT, QPH), pp. 45–50.
CASECASE-2013-TranH13a #composition #predict
Plug-and-play predictive control of modular nonlinear systems with coupling delays (TT, QPH), pp. 699–704.
CASECASE-2013-WangBR #modelling #monitoring #using
Model based unbalance monitoring using augmented observer in rotor systems under the consideration of gyroscopic effect (ZW, MB, SR), pp. 59–64.
CASECASE-2013-WangC #multi #policy #robust
A robust production control policy for a multiple-stage production system with inventory inaccuracy and time-delay (ZW, FTSC), pp. 77–82.
CASECASE-2013-WangJLC #capacity #policy
Integrated capacity allocation policies for a production service system with two-class customers and items (KW, ZJ, GL, JC), pp. 83–88.
CASECASE-2013-WongdhammaLB #monitoring #multi #smarttech
Wireless wearable multi-sensory system for monitoring of sleep apnea and other cardiorespiratory disorders (WW, TQL, STSB), pp. 605–610.
CASECASE-2013-YueH #concurrent #robust #using
Robust deadlock control using shared-resources for production systems with unreliable workstations (HY, HH), pp. 1095–1100.
CASECASE-2013-ZhangJYZCPLX #communication #multi
Multichannel subgrade temperature acquisition system based on LabVIEW and serial communication (JZ, SJ, MY, XZ, JC, BP, JL, XX), pp. 558–563.
CASECASE-2013-ZhangPJST #energy #interface #monitoring #scalability #using
A secure and scalable telemonitoring system using ultra-low-energy wireless sensor interface for long-term monitoring in life science applications (WZ, PP, EJ, RS, KT), pp. 617–622.
CASECASE-2013-ZhaoL #analysis #exponential #multi
Analysis of multi-product manufacturing systems with homogeneous exponential machines (CZ, JL), pp. 386–391.
CASECASE-2013-ZhaoZXCWS #framework
A unified control framework of HVAC system for thermal and acoustic comforts in office building (YZ, QZ, LX, ZC, FW, FS), pp. 416–421.
CASECASE-2013-ZhengC #enterprise #industrial
Master production schedule and system for excelling enterprise resources (SEER) in the LED industry (JNZ, CFC), pp. 1034–1039.
CASECASE-2013-ZhouL #detection #realtime #throughput
Real time electricity demand response for sustainable manufacturing systems considering throughput bottleneck detection (ZZ, LL), pp. 640–644.
DACDAC-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.
DACDAC-2013-AncajasCR #3d #manycore #memory management #named
DMR3D: dynamic memory relocation in 3D multicore systems (DMA, KC, SR), p. 9.
DACDAC-2013-BanerjeeDSC #adaptation #constraints #energy #performance #realtime
Real-time use-aware adaptive MIMO RF receiver systems for energy efficiency under BER constraints (DB, SKD, SS, AC), p. 7.
DACDAC-2013-BartoliniCDMSS #operating system #research
The autonomic operating system research project: achievements and future directions (DBB, RC, GD, MM, MDS, FS), p. 10.
DACDAC-2013-CalhounC #energy #flexibility #performance #power management
Flexible on-chip power delivery for energy efficient heterogeneous systems (BHC, KC), p. 6.
DACDAC-2013-ChoMCAM #design #evaluation #fault #injection #robust
Quantitative evaluation of soft error injection techniques for robust system design (HC, SM, CYC, JAA, SM), p. 10.
DACDAC-2013-CorbalanKTLRN #3d #challenge
Power and signal integrity challenges in 3D systems (MC, AK, TT, DL, RR, MN), p. 4.
DACDAC-2013-DingLM #analysis #multi #realtime
Integrated instruction cache analysis and locking in multitasking real-time systems (HD, YL, TM), p. 10.
DACDAC-2013-FattahDLP #agile #manycore
Smart hill climbing for agile dynamic mapping in many-core systems (MF, MD, PL, JP), p. 6.
DACDAC-2013-GeorgakosSSC #architecture #challenge #reliability
Reliability challenges for electric vehicles: from devices to architecture and systems software (GG, US, RS, SC), p. 9.
DACDAC-2013-HenkelBDGNSTW #lessons learnt #reliability #roadmap
Reliable on-chip systems in the nano-era: lessons learnt and future trends (JH, LB, ND, PG, SRN, MS, MBT, NW), p. 10.
DACDAC-2013-JahnPKCH #configuration management #optimisation #pipes and filters
Optimizations for configuring and mapping software pipelines in many core systems (JJ, SP, SK, JJC, JH), p. 8.
DACDAC-2013-JangPK #simulation
An event-driven simulation methodology for integrated switching power supplies in SystemVerilog (JEJ, MJP, JK), p. 7.
DACDAC-2013-JungPPC #distributed #embedded #framework #named #scalability
netShip: a networked virtual platform for large-scale heterogeneous distributed embedded systems (YJ, JP, MP, LPC), p. 10.
DACDAC-2013-Kahng #design #process #roadmap
The ITRS design technology and system drivers roadmap: process and status (ABK), p. 6.
DACDAC-2013-KarakostasTUNC #energy #performance
Improving the energy efficiency of hardware-assisted watchpoint systems (VK, ST, OSÜ, MN, AC), p. 6.
DACDAC-2013-KarthikR #approximate #linear #modelling #named #using
ABCD-L: approximating continuous linear systems using boolean models (KVA, JSR), p. 9.
DACDAC-2013-KauerNSLCH #architecture #composition #concurrent
Modular system-level architecture for concurrent cell balancing (MK, SN, SS, ML, SC, LH), p. 10.
DACDAC-2013-KimOCHH #distributed #embedded #estimation #novel
A novel analytical method for worst case response time estimation of distributed embedded systems (JK, HO, JC, HH, SH), p. 10.
DACDAC-2013-KinsmanKN #generative #sequence #validation
Hardware-efficient on-chip generation of time-extensive constrained-random sequences for in-system validation (ABK, HFK, NN), p. 6.
DACDAC-2013-LeGHD #simulation #using #verification
Verifying SystemC using an intermediate verification language and symbolic simulation (HML, DG, VH, RD), p. 6.
DACDAC-2013-LukasiewyczSASWCKMSFC #architecture #design
System architecture and software design for electric vehicles (ML, SS, SA, FS, PW, WC, MK, PM, SS, SAF, SC), p. 6.
DACDAC-2013-ParkKC #energy #hybrid
Hybrid energy storage systems and battery management for electric vehicles (SP, YK, NC), p. 6.
DACDAC-2013-RellermeyerLK #embedded #operating system
Cloud platforms and embedded computing: the operating systems of the future (JSR, SWL, MK), p. 6.
DACDAC-2013-SinghDK #energy #execution #multi #optimisation #streaming
Energy optimization by exploiting execution slacks in streaming applications on multiprocessor systems (AKS, AD, AK), p. 7.
DACDAC-2013-SinghSKH #bibliography #manycore #roadmap
Mapping on multi/many-core systems: survey of current and emerging trends (AKS, MS, AK, JH), p. 10.
DACDAC-2013-WangW #named
SAW: system-assisted wear leveling on the write endurance of NAND flash devices (CW, WFW), p. 9.
DACDAC-2013-YuYGP #named
E-BLOW: e-beam lithography overlapping aware stencil planning for MCC system (BY, KY, JRG, DZP), p. 7.
DACDAC-2013-ZhaiBS #parallel #realtime #streaming
Exploiting just-enough parallelism when mapping streaming applications in hard real-time systems (JTZ, MB, TS), p. 8.
DACDAC-2013-ZhangGQ #embedded #energy #performance #scheduling
Improving charging efficiency with workload scheduling in energy harvesting embedded systems (YZ, YG, QQ), p. 8.
DACDAC-2013-ZhanSOTNX #design #embedded #energy #optimisation #realtime
Designing energy-efficient NoC for real-time embedded systems through slack optimization (JZ, NS, JO, LT, VN, YX), p. 6.
DATEDATE-2013-0001WAWG #3d #energy #modelling
System and circuit level power modeling of energy-efficient 3D-stacked wide I/O DRAMs (KC, CW, BA, NW, KG), pp. 236–241.
DATEDATE-2013-AminifarEPC #cyber-physical #design #robust
Control-quality driven design of cyber-physical systems with robustness guarantees (AA, PE, ZP, AC), pp. 1093–1098.
DATEDATE-2013-AmpaduZS #energy #fault tolerance #manycore
Breaking the energy barrier in fault-tolerant caches for multicore systems (PA, MZ, VS), pp. 731–736.
DATEDATE-2013-BouhadibaMM #energy #modelling #validation
System-level modeling of energy in TLM for early validation of power and thermal management (TB, MM, FM), pp. 1609–1614.
DATEDATE-2013-BundMS #analysis
Event density analysis for event triggered control systems (TB, BM, FS), pp. 1111–1116.
DATEDATE-2013-CassanoCKHPS #configuration management #online #testing
On-line testing of permanent radiation effects in reconfigurable systems (LC, DC, SK, JH, MP, LS), pp. 717–720.
DATEDATE-2013-ChenHBK #energy #multi #optimisation #pipes and filters #worst-case
Energy optimization with worst-case deadline guarantee for pipelined multiprocessor systems (GC, KH, CB, AK), pp. 45–50.
DATEDATE-2013-ChenM #analysis #modelling #reliability
System-level modeling and microprocessor reliability analysis for backend wearout mechanisms (CCC, LM), pp. 1615–1620.
DATEDATE-2013-CilardoGMM #design #performance #scalability
Efficient and scalable OpenMP-based system-level design (AC, LG, AM, NM), pp. 988–991.
DATEDATE-2013-DaneshtalabEPT #interface #manycore #named #network
CARS: congestion-aware request scheduler for network interfaces in NoC-based manycore systems (MD, ME, JP, HT), pp. 1048–1051.
DATEDATE-2013-DasKV #multi
Reliability-driven task mapping for lifetime extension of networks-on-chip based multiprocessor systems (AD, AK, BV), pp. 689–694.
DATEDATE-2013-DasKV13a #communication #design #energy #fault #manycore #migration
Communication and migration energy aware design space exploration for multicore systems with intermittent faults (AD, AK, BV), pp. 1631–1636.
DATEDATE-2013-GhiribaldiBN #architecture #effectiveness #manycore
A transition-signaling bundled data NoC switch architecture for cost-effective GALS multicore systems (AG, DB, SMN), pp. 332–337.
DATEDATE-2013-Gomez-PradoCT #latency #optimisation #using
FPGA latency optimization using system-level transformations and DFG restructuring (DGP, MJC, RT), pp. 1553–1558.
DATEDATE-2013-GuoWLLLC #named
DA-RAID-5: a disturb aware data protection technique for NAND flash storage systems (JG, WW, YZ, SL, HL, YC), pp. 380–385.
DATEDATE-2013-GuoYZC #hybrid #low cost
Low cost power failure protection for MLC NAND flash storage systems with PRAM/DRAM hybrid buffer (JG, JY, YZ, YC), pp. 859–864.
DATEDATE-2013-GurgenGBG #cyber-physical #self
Self-aware cyber-physical systems and applications in smart buildings and cities (LG, OG, YB, MG), pp. 1149–1154.
DATEDATE-2013-HamdiouiNGGGB #challenge #realtime #reliability
Reliability challenges of real-time systems in forthcoming technology nodes (SH, MN, DG, AG, GG, PB), pp. 129–134.
DATEDATE-2013-HasanA #analysis #fault #feedback #formal method #using
Formal analysis of steady state errors in feedback control systems using HOL-light (OH, MA), pp. 1423–1426.
DATEDATE-2013-HellwegeHPP #analysis #metric #reliability
Reliability analysis for integrated circuit amplifiers used in neural measurement systems (NH, NH, DPD, SP), pp. 713–716.
DATEDATE-2013-HuZXTS #embedded #hybrid #in memory #memory management
Software enabled wear-leveling for hybrid PCM main memory on embedded systems (JH, QZ, CJX, WCT, EHMS), pp. 599–602.
DATEDATE-2013-JiangEP #embedded #optimisation #set
Optimization of secure embedded systems with dynamic task sets (KJ, PE, ZP), pp. 1765–1770.
DATEDATE-2013-KatoenNWSS #energy #modelling #optimisation
Model-based energy optimization of automotive control systems (JPK, TN, HW, TS, DS), pp. 761–766.
DATEDATE-2013-KimYIBS #manycore #realtime #scheduling
Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems (JEK, MKY, SI, RMB, LS), pp. 970–975.
DATEDATE-2013-KinsyCKD #architecture #grid #named #smarttech
MARTHA: architecture for control and emulation of power electronics and smart grid systems (MAK, IC, OK, SD), pp. 519–524.
DATEDATE-2013-KosmidisAQC #design #realtime
A cache design for probabilistically analysable real-time systems (LK, JA, EQ, FJC), pp. 513–518.
DATEDATE-2013-KumarCT #approach #distributed #realtime #satisfiability
A satisfiability approach to speed assignment for distributed real-time systems (PK, DBC, LT), pp. 749–754.
DATEDATE-2013-LeGD #design #fault #locality #scalability
Scalable fault localization for SystemC TLM designs (HML, DG, RD), pp. 35–38.
DATEDATE-2013-LiuN #multi
Radar signature in multiple target tracking system for driver assistant application (HL, SN), pp. 887–892.
DATEDATE-2013-LukasiewyczSC #programming #using
Priority assignment for event-triggered systems using mathematical programming (ML, SS, SC), pp. 982–987.
DATEDATE-2013-LyrasRPS #multi #scalability #simulation
Hypervised transient SPICE simulations of large netlists & workloads on multi-processor systems (GL, DR, AP, DS), pp. 655–658.
DATEDATE-2013-MartinB #configuration management #integration
Configurable I/O integration to reduce system-on-chip time to market: DDR, PCIe examples (FM, PB), p. 169.
DATEDATE-2013-Moy #approach #modelling #parallel #programming
Parallel programming with SystemC for loosely timed models: a non-intrusive approach (MM), pp. 9–14.
DATEDATE-2013-Mueller-GritschnederLWGS #case study #framework #prototype #realtime
A virtual prototyping platform for real-time systems with a case study for a two-wheeled robot (DMG, KL, EW, MG, US), pp. 1331–1334.
DATEDATE-2013-NegreanKE #analysis #manycore
Timing analysis of multi-mode applications on AUTOSAR conform multi-core systems (MN, SK, RE), pp. 302–307.
DATEDATE-2013-NeukirchnerQMAE #analysis #realtime
Sensitivity analysis for arbitrary activation patterns in real-time systems (MN, SQ, TM, PA, RE), pp. 135–140.
DATEDATE-2013-NiakiS #automation #embedded #parallel #simulation
An automated parallel simulation flow for heterogeneous embedded systems (SHAN, IS), pp. 27–30.
DATEDATE-2013-NovoAI #estimation #fault #fixpoint #invariant #linear #trade-off
Accuracy vs speed tradeoffs in the estimation of fixed-point errors on linear time-invariant systems (DN, SEA, PI), pp. 15–20.
DATEDATE-2013-OjailDLG #embedded #framework #lightweight #manycore #named
ARTM: a lightweight fork-join framework for many-core embedded systems (MO, RD, YL, AG), pp. 1510–1515.
DATEDATE-2013-PistorHRTSBGMPKSLPP #development
Development of a fully implantable recording system for ECoG signals (JP, JH, DR, ET, TS, DB, VGG, SM, DPD, AKK, MS, WL, KP, SP), pp. 893–898.
DATEDATE-2013-QuintonNE #analysis #formal method #realtime
Formal analysis of sporadic bursts in real-time systems (SQ, MN, RE), pp. 767–772.
DATEDATE-2013-RustLP #architecture #complexity #using
Low complexity QR-decomposition architecture using the logarithmic number system (JR, FL, SP), pp. 97–102.
DATEDATE-2013-SabooriA #embedded #hybrid #manycore #prototype
Hybrid prototyping of multicore embedded systems (ES, SA), pp. 1627–1630.
DATEDATE-2013-SchneiderP #adaptation #embedded
An extremely compact JPEG encoder for adaptive embedded systems (JS, SP), pp. 1063–1064.
DATEDATE-2013-ShafiqueVH #adaptation #hybrid #manycore #power management #self
Self-adaptive hybrid dynamic power management for many-core systems (MS, BV, JH), pp. 51–56.
DATEDATE-2013-Vigna #internet
Smart systems for internet of things (BV), p. 1.
DATEDATE-2013-WangLPKC #architecture #configuration management #cost analysis #design #optimisation
Capital cost-aware design and partial shading-aware architecture optimization of a reconfigurable photovoltaic system (YW, XL, MP, JK, NC), pp. 909–912.
DATEDATE-2013-WangLPPC #energy #hybrid
Optimal control of a grid-connected hybrid electrical energy storage system for homes (YW, XL, MP, SP, NC), pp. 881–886.
DATEDATE-2013-WangW #named #performance #ram
TreeFTL: efficient RAM management for high performance of NAND flash-based storage systems (CW, WFW), pp. 374–379.
DATEDATE-2013-WeddellMMBAB #bibliography #energy #multi
A survey of multi-source energy harvesting systems (ASW, MM, GVM, DB, BMAH, LB), pp. 905–908.
DATEDATE-2013-WildermannZT #analysis #distributed #game studies #manycore
Game-theoretic analysis of decentralized core allocation schemes on many-core systems (SW, TZ, JT), pp. 1498–1503.
DATEDATE-2013-WilleGSKD #modelling #towards #verification
Towards a generic verification methodology for system models (RW, MG, MS, MK, RD), pp. 1193–1196.
DATEDATE-2013-XieYPSC #adaptation
Adaptive thermal management for portable system batteries by forced convection cooling (QX, SY, MP, DS, NC), pp. 1225–1228.
DATEDATE-2013-YingHH #3d #performance
Fast and optimized task allocation method for low vertical link density 3-dimensional networks-on-chip based many core systems (HY, TH, KH), pp. 1777–1782.
DATEDATE-2013-ZakharenkoAM #cpu #gpu #performance #using
Characterizing the performance benefits of fused CPU/GPU systems using FusionSim (VZ, TMA, AM), pp. 685–688.
DATEDATE-2013-ZhaoLBT #detection #manycore #probability #runtime
Run-time probabilistic detection of miscalibrated thermal sensors in many-core systems (JZ, S(L, WB, RT), pp. 1395–1398.
DocEngDocEng-2013-RahtzB
Reviewing the TEI ODD system (SR, LB), pp. 193–196.
DocEngDocEng-2013-WellsJPW #deployment #documentation #enterprise
Enterprise document system cloud deployment (CAW, JJ, SP, AJW), pp. 223–224.
DRRDRR-2013-LabbenKB #retrieval
A proposal system for historic Arabic manuscript transcription and retrieval (AL, AK, AB).
DRRDRR-2013-RicquebourgCG #evaluation #recognition #robust #verification #word
Evaluation of lexicon size variations on a verification and rejection system based on SVM, for accurate and robust recognition of handwritten words (YR, BC, LG).
DRRDRR-2013-VasilopoulosK #classification
A classification-free word-spotting system (NV, EK).
HTHT-2013-AntoniniVSPS #information management #named #ontology
MeSoOnTV: a media and social-driven ontology-based TV knowledge management system (AA, LV, CS, RGP, MLS), pp. 208–213.
HTHT-2013-WuCH #recommendation #using
Using personality to adjust diversity in recommender systems (WW, LC, LH), pp. 225–229.
HTHT-2013-YangZYW #personalisation #recommendation #sentiment
A sentiment-enhanced personalized location recommendation system (DY, DZ, ZY, ZW), pp. 119–128.
ICDARICDAR-2013-BertrandGTFO #detection #documentation
A System Based on Intrinsic Features for Fraudulent Document Detection (RB, PGK, ORT, PF, JMO), pp. 106–110.
ICDARICDAR-2013-BhattacharyaPK #online
A System for Bangla Online Handwritten Text (NB, UP, FK), pp. 1335–1339.
ICDARICDAR-2013-BillerAKD #documentation #generative #interactive #named
WebGT: An Interactive Web-Based System for Historical Document Ground Truth Generation (OB, AA, KK, ID), pp. 305–308.
ICDARICDAR-2013-BouillonLAR #gesture #learning #using
Using Confusion Reject to Improve (User and) System (Cross) Learning of Gesture Commands (MB, PL, ÉA, GR), pp. 1017–1021.
ICDARICDAR-2013-BuiVM #documentation #invariant #navigation
Invariants Extraction Method Applied in an Omni-language Old Document Navigating System (QAB, MV, RM), pp. 1325–1329.
ICDARICDAR-2013-FurukoriYMSO #documentation
An OCR System with OCRopus for Scientific Documents Containing Mathematical Formulas (FF, SY, TM, KS, MO), pp. 1175–1179.
ICDARICDAR-2013-HePXSN #3d #bound #re-engineering
A Book Dewarping System by Boundary-Based 3D Surface Reconstruction (YH, PP, SX, JS, SN), pp. 403–407.
ICDARICDAR-2013-KozielskiDN #recognition
Improvements in RWTH’s System for Off-Line Handwriting Recognition (MK, PD, HN), pp. 935–939.
ICDARICDAR-2013-LiPH #retrieval
Ukiyo-e Rakkan Retrieval System (LL, CP, KH), pp. 150–154.
ICDARICDAR-2013-MalikLD #automation #comparison #forensics #verification
Part-Based Automatic System in Comparison to Human Experts for Forensic Signature Verification (MIM, ML, AD), pp. 872–876.
ICDARICDAR-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.
ICDARICDAR-2013-ToyamaDSK #artificial reality #documentation #eye tracking #retrieval #smarttech
Wearable Reading Assist System: Augmented Reality Document Combining Document Retrieval and Eye Tracking (TT, AD, WS, KK), pp. 30–34.
ICDARICDAR-2013-ZirariENM #analysis #component #documentation #image #segmentation #using
A Document Image Segmentation System Using Analysis of Connected Components (FZ, AE, SN, DM), pp. 753–757.
PODSPODS-2013-BojanczykST #verification
Verification of database-driven systems via amalgamation (MB, LS, ST), pp. 63–74.
PODSPODS-2013-HaririCGDM #relational #verification
Verification of relational data-centric dynamic systems with external services (BBH, DC, GDG, AD, MM), pp. 163–174.
SIGMODSIGMOD-2013-BernsteinJPRT #compilation #incremental
Incremental mapping compilation in an object-to-relational mapping system (PAB, MJ, JP, GR, JFT), pp. 1269–1280.
SIGMODSIGMOD-2013-Borthakur #database #facebook
Petabyte scale databases and storage systems at Facebook (DB), pp. 1267–1268.
SIGMODSIGMOD-2013-BykauRV #evolution #query
A query answering system for data with evolution relationships (SB, FR, YV), pp. 989–992.
SIGMODSIGMOD-2013-ChoudhuryHCRBF #graph #named
StreamWorks: a system for dynamic graph search (SC, LBH, GCJ, AR, SB, JF), pp. 1101–1104.
SIGMODSIGMOD-2013-DallachiesaEEEIOT #named
NADEEF: a commodity data cleaning system (MD, AE, AE, AKE, IFI, MO, NT), pp. 541–552.
SIGMODSIGMOD-2013-GaoLOWC #crowdsourcing #online
An online cost sensitive decision-making method in crowdsourcing systems (JG, XL, BCO, HW, GC), pp. 217–228.
SIGMODSIGMOD-2013-Hartig #execution #linked data #named #open data #query #traversal #web
SQUIN: a traversal based query execution system for the web of linked data (OH), pp. 1081–1084.
SIGMODSIGMOD-2013-LapeineHHG #data analysis #interactive #mobile #query
Mobile interaction and query optimizationin a protein-ligand data analysis system (ML, KGH, EH, NMG), pp. 1291–1292.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2013-MaasKHL #in memory #named
BUZZARD: a NUMA-aware in-memory indexing system (LMM, TK, DH, WL), pp. 1285–1286.
SIGMODSIGMOD-2013-MoustafaMDG #analysis #declarative #interactive #named #network
GRDB: a system for declarative and interactive analysis of noisy information networks (WEM, HM, AD, LG), pp. 1085–1088.
SIGMODSIGMOD-2013-OrdonezGGCBQ #algorithm #as a service #data mining #database #in the cloud #mining #relational
Data mining algorithms as a service in the cloud exploiting relational database systems (CO, JGG, CGA, WC, VB, MSQ), pp. 1001–1004.
SIGMODSIGMOD-2013-TianHLBJ #named
Noah: a dynamic ridesharing system (CT, YH, ZL, FB, RJ), pp. 985–988.
SIGMODSIGMOD-2013-VartakM #named #recommendation
CHIC: a combination-based recommendation system (MV, SM), pp. 981–984.
VLDBVLDB-2013-0002LW #interactive #named
IPS: An Interactive Package Configuration System for Trip Planning (MX, LVSL, PTW), pp. 1362–1365.
VLDBVLDB-2013-AjiWVLL0S #named #performance #pipes and filters
Hadoop-GIS: A High Performance Spatial Data Warehousing System over MapReduce (AA, FW, HV, RL, QL, XZ, JHS), pp. 1009–1020.
VLDBVLDB-2013-AntenucciLLZCR #named
Ringtail: A Generalized Nowcasting System (DA, EL, SL, BZ, MJC, CR), pp. 1358–1361.
VLDBVLDB-2013-BergamaschiGILV #data-driven #database #keyword #machine learning #named #relational #semantics
QUEST: A Keyword Search System for Relational Data based on Semantic and Machine Learning Techniques (SB, FG, MI, RTL, YV), pp. 1222–1225.
VLDBVLDB-2013-BouquetM #ecosystem
A global Entity Name System (ENS) for data ecosystems (PB, AM), pp. 1182–1183.
VLDBVLDB-2013-ChenCCPZ #database #named #prototype #spreadsheet
Senbazuru: A Prototype Spreadsheet Database Management System (ZC, MC, JC, DP, JZ), pp. 1202–1205.
VLDBVLDB-2013-ChenYYC #named #recommendation #twitter
TeRec: A Temporal Recommender System Over Tweet Stream (CC, HY, JY, BC), pp. 1254–1257.
VLDBVLDB-2013-CurtissBBDGJKLPSSWYZ #graph #named #social
Unicorn: A System for Searching the Social Graph (MC, IB, TB, SD, LG, TJ, SK, SL, PP, SS, GS, GW, CY, NZ), pp. 1150–1161.
VLDBVLDB-2013-DeBrabantPTSZ #approach #architecture #database #named
Anti-Caching: A New Approach to Database Management System Architecture (JD, AP, ST, MS, SBZ), pp. 1942–1953.
VLDBVLDB-2013-EbaidEIOQ0Y #named
NADEEF: A Generalized Data Cleaning System (AE, AKE, IFI, MO, JAQR, NT, SY), pp. 1218–1221.
VLDBVLDB-2013-HacigumusSTLP #multi #named
Odyssey: A Multi-Store System for Evolutionary Analytics (HH, JS, JT, JL, NP), pp. 1180–1181.
VLDBVLDB-2013-HardockPGB #database #named
NoFTL: Database Systems on FTL-less Flash Storage (SH, IP, RG, APB), pp. 1278–1281.
VLDBVLDB-2013-KondaKRS #data analysis #enterprise #feature model #using
Feature Selection in Enterprise Analytics: A Demonstration using an R-based Data Analytics System (PK, AK, CR, VS), pp. 1306–1309.
VLDBVLDB-2013-KumarGDL #named #scalability
Hone: “Scaling Down” Hadoop on Shared-Memory Systems (KAK, JG, AD, JL), pp. 1354–1357.
VLDBVLDB-2013-LiuS #database #hybrid
Hybrid Storage Management for Database Systems (XL, KS), pp. 541–552.
VLDBVLDB-2013-MansourEKAA #named #parallel #scalability #sequence
RACE: A Scalable and Elastic Parallel System for Discovering Repeats in Very Long Sequences (EM, AER, PK, AA, AA), pp. 865–876.
VLDBVLDB-2013-OvsiannikovRRSRK #file system
A The Quantcast File System (MO, SR, DR, PS, SR, JK), pp. 1092–1101.
VLDBVLDB-2013-SarwatEHM #declarative #distributed #graph #query #reachability
Horton+: A Distributed System for Processing Declarative Reachability Queries over Partitioned Graphs (MS, SE, YH, MFM), pp. 1918–1929.
VLDBVLDB-2013-ShkapskyZZ #datalog #graph #query
Graph Queries in a Next-Generation Datalog System (AS, KZ, CZ), pp. 1258–1261.
VLDBVLDB-2013-XueZZXYTJZ #named #predict #privacy
DesTeller: A System for Destination Prediction Based on Trajectories with Privacy Protection (AYX, RZ, YZ, XX, JY, YT), pp. 1198–1201.
VLDBVLDB-2013-YuanLWJZL #named #performance #rdf #scalability
TripleBit: a Fast and Compact System for Large Scale RDF Data (PY, PL, BW, HJ, WZ, LL), pp. 517–528.
VLDBVLDB-2013-ZhouTWN #2d #learning #named #predict #probability
R2-D2: a System to Support Probabilistic Path Prediction in Dynamic Environments via “Semi-Lazy” Learning (JZ, AKHT, WW, WSN), pp. 1366–1369.
CSEETCSEET-2013-InagaWYKFYOKTK #development #education #effectiveness
Team characteristics for maximizing the educational effectiveness of practical lectures on software intensive systems development (SI, HW, YY, KK, YF, SY, MO, TK, MT, TK), pp. 264–268.
CSEETCSEET-2013-RibaudS #cost analysis #information management #learning #problem
The cost of problem-based learning: An example in information systems engineering (VR, PS), pp. 259–263.
ITiCSEITiCSE-2013-Baumgartner #approach #case study #design #education #information management #using
Using case studies to design and deliver technology-centered computing education courses: an innovative approach from an undergraduate information systems program in singapore (IB), pp. 189–194.
ITiCSEITiCSE-2013-BeltranGP #architecture #concept #in the cloud #using
Using CloudSim to learn cloud computing architecture/system concepts in a graduate course (MB, AG, MP), pp. 82–87.
ITiCSEITiCSE-2013-CalvoGII #content management #evaluation #heuristic #learning
Are chats and forums accessible in e-learning systems?: a heuristic evaluation comparing four learning content management systems (RC, AG, BI, AI), p. 342.
ITiCSEITiCSE-2013-QianM #android #embedded
A fostering embedded system educationwith android sensory embedded system labware (KQ, KM), p. 336.
ITiCSEITiCSE-2013-TsompanoudiSX #collaboration #distributed #embedded #programming
Exploring the effects of collaboration scripts embedded in a distributed pair programming system (DT, MS, SX), pp. 225–230.
ESOPESOP-2013-KatoenP #concurrent #implementation #modelling #probability
Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems (JPK, DP), pp. 411–430.
ESOPESOP-2013-MatsudaW #named
FliPpr: A Prettier Invertible Printing System (KM, MW), pp. 101–120.
FASEFASE-2013-BapodraH #abstraction #graph transformation #probability
Abstraction and Training of Stochastic Graph Transformation Systems (MB, RH), pp. 312–326.
FASEFASE-2013-TrikiCBS #implementation #modelling #parallel #realtime
Model-Based Implementation of Parallel Real-Time Systems (AT, JC, SB, JS), pp. 235–249.
FoSSaCSFoSSaCS-2013-MioS #composition #concurrent #probability #process #proving #verification
A Proof System for Compositional Verification of Probabilistic Concurrent Processes (MM, AS), pp. 161–176.
TACASTACAS-2013-LindenW #approach #memory management
A