Stem smart$ (all stems)

365 papers:

ECSA-2015-0002QDSV #cyber-physical #named #smarttech

SmartyCo: Managing Cyber-Physical Systems for Smart Environments (DR, CQ, LD, LS, CV), pp. 294–302.

ECSA-2015-BaresiS #approach #architecture

An Architecture-Centric Approach for Dynamic Smart Spaces (LB, AS), pp. 277–284.

ECSA-2015-TahriDP #architecture #deployment #distributed #feature model #modelling #smarttech #using

Using Feature Models for Distributed Deployment in Extended Smart Home Architecture (AT, LD, JP), pp. 285–293.

CASE-2015-CarliDPR #energy #multi #optimisation #performance #using

Using multi-objective optimization for the integrated energy efficiency improvement of a smart city public buildings’ portfolio (RC, MD, RP, LR), pp. 21–26.

CASE-2015-DamesK #automation #detection #locality #multi #smarttech

Automated detection, localization, and registration of smart devices with multiple robots (PD, VK), pp. 564–571.

CASE-2015-Jin0S #energy #pattern matching #pattern recognition #predict #recognition

Power prediction through energy consumption pattern recognition for smart buildings (MJ, LZ, CJS), pp. 419–424.

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

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

CASE-2015-LuMF #standard

Standards landscape and directions for smart manufacturing systems (YL, KCM, SF), pp. 998–1005.

CASE-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.

CASE-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.

DAC-2015-CuiWCZNP #energy #grid #smarttech

Optimal control of PEVs for energy cost minimization and frequency regulation in the smart grid accounting for battery state-of-health degradation (TC, YW, SC, QZ, SN, MP), p. 6.

DAC-2015-LiuHWSJHL #assessment #detection #smarttech

Impact assessment of net metering on smart home cyberattack detection (YL, SH, JW, YS, YJ, YH, XL), p. 6.

DAC-2015-SarmaMBDN #energy #linux #named #performance

SmartBalance: a sensing-driven linux load balancer for energy efficiency of heterogeneous MPSoCs (SS, TM, LADB, NDD, AN), p. 6.

DATE-2015-AzarkhishRLB #memory management #performance

High performance AXI-4.0 based interconnect for extensible smart memory cubes (EA, DR, IL, LB), pp. 1317–1322.

DATE-2015-CornaFNS #android #detection

Occupancy detection via iBeacon on Android devices for smart building management (AC, LF, AAN, DS), pp. 629–632.

DATE-2015-SteinhorstL #composition #identification

Topology identification for smart cells in modular batteries (SS, ML), pp. 1249–1252.

SIGMOD-2015-WangXLCH #grid #migration #smarttech

QMapper for Smart Grid: Migrating SQL-based Application to Hive (YW, YX, YL, JC, SH), pp. 647–658.

VLDB-2015-AnciauxLPP #scalability

A Scalable Search Engine for Mass Storage Smart Objects (NA, SL, ISP, PP), pp. 910–921.

VLDB-2015-JoglekarGP #data analysis

Smart Drill-Down: A New Data Exploration Operator (MJ, HGM, AGP), pp. 1928–1939.

ICFP-2015-JaskelioffR #data type #functional

Functional pearl: a smart view on datatypes (MJ, ER), pp. 355–361.

CHI-2015-AdibMKKM #monitoring #smarttech

Smart Homes that Monitor Breathing and Heart Rate (FA, HM, ZK, DK, RCM), pp. 837–846.

CHI-2015-BrotmanBFHL #design

Building Change: Constructive Design of Smart Domestic Environments for Goal Achievement (RB, WB, JF, WH, JL), pp. 3083–3092.

CHI-2015-OakleyLIE #gesture #named

Beats: Tapping Gestures for Smart Watches (IO, DL, MRI, AE), pp. 1237–1246.

CHI-2015-TungHWCLWVC #game studies

User-Defined Game Input for Smart Glasses in Public Space (YCT, CYH, HYW, SC, JWL, PJW, AV, MYC), pp. 3327–3336.

CHI-2015-WithanaPSN #gesture #named #recognition #smarttech

zSense: Enabling Shallow Depth Gesture Recognition for Greater Input Expressivity on Smart Wearables (AIW, RLP, NS, SN), pp. 3661–3670.

DUXU-IXD-2015-BorgesonFKTR #energy #learning #visualisation

Learning from Hourly Household Energy Consumption: Extracting, Visualizing and Interpreting Household Smart Meter Data (SB, JAF, JK, CWT, RR), pp. 337–345.

DUXU-UI-2015-Chen15b #adaptation #interactive

Adapting Smart Textiles to Develop Soft Interactive Tool Kits for Applying in Sewing Projects (ACYC), pp. 611–621.

DUXU-UI-2015-KangK #documentation #experience #framework #in the cloud #smarttech #user interface

Elements of Properties of User Experience in Cloud Computing Documentation Platform According to Smart Device Screen Size Changes: Focus on Google Docs and Naver Office (MKK, SWK), pp. 551–562.

DUXU-UI-2015-ZhuSK #case study #design #smarttech

A Field Study on Basic Usage Patterns of Traditional Watch and Smart Phone for Designing Smart Watch (ZZ, HS, SWK), pp. 597–608.

HCI-IT-2015-AtroucheID #problem

A Mashup-Based Application for the Smart City Problematic (AA, DI, BD), pp. 683–694.

HCI-IT-2015-DibitontoM #automation #performance

Improving User Performance in a Smart Surveillance Scenario through Different Levels of Automation (MD, CMM), pp. 706–716.

HCI-IT-2015-SarsharNR #analysis #human-computer #on the #smarttech #usability

On the Usability of Smartphone Apps in Emergencies — An HCI Analysis of GDACSmobile and SmartRescue Apps (PS, VN, JR), pp. 765–774.

ICEIS-v1-2015-Giaglis #contract #named

Money-over-IP — From Bitcoin to Smart Contracts and M2M Money (GMG), p. V.

ICEIS-v2-2015-DuarteOB #approach #architecture

Smart Cities — An Architectural Approach (AD, CO, JB), pp. 563–573.

ICEIS-v2-2015-SarsharNR #case study #comparison #smarttech

A Study on the Usage of Smartphone Apps in Fire Scenarios — Comparison between GDACSmobile and SmartRescue Apps (PS, VN, JR), pp. 469–474.

ICEIS-v3-2015-VolpentestaF #interactive #modelling #smarttech

Modeling NFC-triggered User Interactions with Simple Services in a Smart Environment (APV, NF), pp. 96–104.

KDD-2015-MitraKBASMSL #correlation

Voltage Correlations in Smart Meter Data (RM, RK, SB, VA, BS, RM, HS, GL), pp. 1999–2008.

KDD-2015-XuLLQL #effectiveness #online #optimisation

Smart Pacing for Effective Online Ad Campaign Optimization (JX, KcL, WL, HQ, QL), pp. 2217–2226.

SEKE-2015-ChangCLT #design #framework

Application of Slow Intelligence Framework for Smart Pet Care System Design (SKC, WHC, WCL, CLT), pp. 51–56.

SAC-2015-BarbosaBA #monitoring

Defending against load monitoring in smart metering data through noise addition (PB, AB, HA), pp. 2218–2224.

SAC-2015-GouthamLY #authentication #protocol #smarttech #using

An anonymous ID-based remote mutual authentication with key agreement protocol on ECC using smart cards (RAG, GJL, KYY), pp. 169–174.

SAC-2015-LopesFBM #communication #named #network #smarttech

SMARTFlow: a solution for autonomic management and control of communication networks for smart grids (YL, NCF, CAMB, DCMS), pp. 2212–2217.

SAC-2015-Pesare #learning #social

Smart learning environments for social learning (EP), pp. 273–274.

SAC-2015-PreuveneersJ #authentication #named

SmartAuth: dynamic context fingerprinting for continuous user authentication (DP, WJ), pp. 2185–2191.

ICSE-v2-2015-PadhyeDMS #programming

Smart Programming Playgrounds (RP, PD, SM, VSS), pp. 607–610.

ICSE-v2-2015-Shahzada #development #framework

A Comprehensive Framework for the Development of Dynamic Smart Spaces (AS), pp. 927–930.

PLEASE-2015-TzeremesG #approach #development #product line

A Software Product Line Approach for End User Development of Smart Spaces (VT, HG), pp. 23–26.

SPLC-2015-DhunganaFHS #ecosystem #product line #smarttech

Smart factory product lines: a configuration perspective on smart production ecosystems (DD, AAF, AH, HS), pp. 201–210.

CBSE-2014-Bures #cyber-physical #development

Development of smart cyber-physical systems (TB), pp. 189–190.

CBSE-2014-BuresHP #architecture #continuation #modelling #product line #runtime

Strengthening architectures of smart CPS by modeling them as runtime product-lines (TB, PH, FP), pp. 91–96.

CASE-2014-HeidingsfeldKTS #fault #modelling

Model-based sensor fault diagnosis for the Stuttgart SmartShell (MH, UK, CT, OS), pp. 846–851.

CASE-2014-HoussemanDRP #reduction

Smart dynamic sampling for wafer at risk reduction in semiconductor manufacturing (SH, SDP, GRV, JP), pp. 780–785.

CASE-2014-LaiTCL #energy #industrial #monitoring #performance

Non-Intrusive Load Monitoring applied in energy efficiency of the smart manufacturing industry: A case of air-conditioner (YHL, IJT, CYC, CFL), pp. 1127–1132.

CASE-2014-ParidariPSJ #energy #performance #scheduling

Energy and CO2 efficient scheduling of smart appliances in active houses equipped with batteries (KP, AP, HS, KHJ), pp. 632–639.

DAC-2014-LiangC #analysis #clustering #named #network #probability #reduction #scalability #smarttech

ClusRed: Clustering and Network Reduction Based Probabilistic Optimal Power Flow Analysis for Large-Scale Smart Grids (YL, DC), p. 6.

DATE-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.

DATE-2014-HarrantNKGP #assessment #robust

Emulation-based robustness assessment for automotive smart-power ICs (MH, TN, JK, CG, GP), pp. 1–6.

DATE-2014-ZhuWCP #design #energy

Optimal design and management of a smart residential PV and energy storage system (DZ, YW, NC, MP), pp. 1–6.

VLDB-2014-LiuHRLJWCL #effectiveness #grid #multi #smarttech

DGFIndex for Smart Grid: Enhancing Hive with a Cost-Effective Multidimensional Range Index (YL, SH, TR, WL, HAJ, KW, JC, JL), pp. 1496–1507.

ITiCSE-WGR-2014-BrusilovskyEKMB #education #learning

Increasing Adoption of Smart Learning Content for Computer Science Education (PB, SHE, ANK, LM, LB, DB, PI, RP, TS, SAS, JUF, AV, MW), pp. 31–57.

CHI-2014-ChenGWF #interactive #named #smarttech

Duet: exploring joint interactions on a smart phone and a smart watch (X'C, TG, DJW, GWF), pp. 159–168.

CHI-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.

CHI-2014-DancuFF #navigation #using

Smart flashlight: map navigation using a bike-mounted projector (AD, ZF, MF), pp. 3627–3630.

CHI-2014-KovacsM #learning

Smart subtitles for vocabulary learning (GK, RCM), pp. 853–862.

CHI-2014-LiR14a #named

SmartVoice: a presentation support system for overcoming the language barrier (XL, JR), pp. 1563–1570.

CHI-2014-UrMHL #programming #smarttech

Practical trigger-action programming in the smart home (BU, EM, MPYH, MLL), pp. 803–812.

CHI-2014-WalberSS

Smart photo selection: interpret gaze as personal interest (TCW, AS, SS), pp. 2065–2074.

CSCW-2014-NakazatoYSNTH #realtime #using #video

Smart Face: enhancing creativity during video conferences using real-time facial deformation (NN, SY, SS, TN, TT, MH), pp. 75–83.

DUXU-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.

DUXU-DI-2014-StasoMA #experience #named #user interface

Smart-Islands: Enhancing User Experience for Mediterranean Islands for Tourism Support (UDS, DM, RdA), pp. 223–233.

DUXU-DP-2014-MieslerGHW #case study #experience #on-demand #user interface

User Experience of Video-on-Demand Applications for smart TVs: A Case Study (LM, BG, FH, AW), pp. 412–422.

DUXU-ELAS-2014-GeabelJHABA #identification #using

Pilgrim Smart Identification Using RFID Technology (PSI) (AG, KJ, RAH, RA, MB, MA), pp. 273–280.

DUXU-ELAS-2014-George-PalilonisB #multi #student #tablet #tool support

SMART Note: Student-Centered Multimedia Active Reading Tools for Tablet Textbooks (JGP, DB), pp. 217–229.

DUXU-ELAS-2014-Takei #interactive #smarttech

Human Interactive Wearable Devices: Applications of Artificial Electronic Skins and Smart Bandages (KT), pp. 710–718.

HCI-AIMT-2014-RoshandelMMTK14a #gesture #multi #recognition

Multi-sensor Based Gestures Recognition with a Smart Finger Ring (MR, AM, PM, ST, HK), pp. 316–324.

HCI-AS-2014-HimmelZWZ #challenge #design #energy

The Youth of Today Designing the Smart City of Tomorrow — Challenges to Future Mobility, Energy, and City Climate (SH, BSZ, WW, MZ), pp. 389–400.

HCI-AS-2014-Moallem #network

Home Networking: Smart but Complicated (AM), pp. 731–741.

HCI-TMT-2014-BuchholzF #design #modelling #smarttech

Combining Design of Models for Smart Environments with Pattern-Based Extraction (GB, PF), pp. 285–294.

ICEIS-v2-2014-MaretLL #ad hoc #community #semantics #web

A Semantic Web Model for Ad Hoc Context-aware Virtual Communities — Application to the Smart Place Scenario (PM, FL, DL), pp. 591–598.

ICEIS-v2-2014-ShamsuzzohaAKH #collaboration #internet #monitoring #process #realtime #repository

Smart Collaborative Processes Monitoring in Real-time Business Environment — Applications of Internet of Things and Cloud-data Repository (AS, SA, SK, PTH), pp. 556–563.

CIKM-2014-DeveaudAMMO #named #personalisation #recommendation

SmartVenues: Recommending Popular and Personalised Venues in a City (RD, MDA, JM, CM, IO), pp. 2078–2080.

ECIR-2014-AlbakourMOCB #information management

Information Access in Smart Cities (i-ASC) (MDA, CM, IO, CLAC, VB), pp. 810–814.

ICPR-2014-AokiFKM #algorithm #architecture #visual notation

KIZUKI Processing for Visual Inspection: A Smart Pattern Pop-Out Algorithm Based on Human Visual Architecture (KA, TF, HK, YM), pp. 2317–2322.

ICPR-2014-FahadTR #classification #clustering #process #recognition #smarttech #using

Activity Recognition in Smart Homes Using Clustering Based Classification (LGF, SFT, MR), pp. 1348–1353.

KMIS-2014-FersiniMMBJA #named #online #towards

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

KR-2014-MarrellaMS #adaptation #calculus #named #process

SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (AM, MM, SS).

SEKE-2014-XuL14a #ontology #reasoning #semantics #using

Two-Level Smart Search Engine Using Ontology-Based Semantic Reasoning (HX, AL), pp. 648–652.

RE-2014-GregoriadesPS #requirements

Simulation-based requirements discovery for smart driver assistive technologies (AG, MP, AGS), pp. 317–318.

REFSQ-2014-KamstiesKVIK #documentation #requirements #smarttech

Feedback-Aware Requirements Documents for Smart Devices (EK, FK, MV, BI, BK), pp. 119–134.

SAC-2014-AdibuzzamanAL #monitoring #personalisation #smarttech #using

A personalized model for monitoring vital signs using camera of the smart phone (MA, SIA, RL), pp. 444–449.

SAC-2014-AminikhanghahiWSSJ #effectiveness #feature model #smarttech

Effective tumor feature extraction for smart phone based microwave tomography breast cancer screening (SA, WW, SYS, SHS, SIJ), pp. 674–679.

SAC-2014-BarbosaBAC #lightweight #privacy

Lightweight privacy for smart metering data by adding noise (PB, AB, HA, SC), pp. 531–538.

SAC-2014-Chen #analysis #behaviour #coordination #energy #research #scheduling #student

Student research abstract: demand behavior analysis and coordination scheduling for energy saving in smart building (SC), pp. 569–570.

SAC-2014-GeorgiadisP #algorithm #online #problem #scheduling #smarttech

Dealing with storage without forecasts in smart grids: problem transformation and online scheduling algorithm (GG, MP), pp. 518–524.

SAC-2014-HongHKK #mobile #music #recommendation #smarttech

Context-aware music recommendation in mobile smart devices (JH, WSH, JHK, SWK), pp. 1463–1468.

SAC-2014-LiuGSLSX #communication #encryption #grid #named #smarttech

SEDE: state estimation-based dynamic encryption scheme for smart grid communication (TL, YG, YS, YL, YS, FX), pp. 539–544.

SAC-2014-PalVCS #detection #smarttech #using

Improved heart rate detection using smart phone (AP, AV, ADC, AS), pp. 8–13.

ASE-2013-ChhetriCVK #in the cloud

Smart Cloud Broker: Finding your home in the clouds (MBC, SC, QBV, RK), pp. 698–701.

CASE-2013-MaHS #grid #network #smarttech

Transmission power allocation for cooperative relay-based neighborhood area networks for smart grid (KM, GH, CJS), pp. 599–604.

CASE-2013-QianY #named #navigation #performance #visual notation

NCC-RANSAC: A fast plane extraction method for navigating a smart cane for the visually impaired (XQ, CY), pp. 261–267.

CASE-2013-RockeyPN #evaluation #low cost

An evaluation of low-cost sensors for smart wheelchairs (CAR, EMP, WSN), pp. 249–254.

CASE-2013-YadatiKBSN #smarttech

Incentive compatible mechanisms for power cut allocation in smart grids (CY, DK, NB, AS, YN), pp. 100–105.

CASE-2013-ZhouKZS #analysis

Causal analysis for non-stationary time series in sensor-rich smart buildings (YZ, ZK, LZ, CJS), pp. 593–598.

DAC-2013-FattahDLP #agile #manycore

Smart hill climbing for agile dynamic mapping in many-core systems (MF, MD, PL, JP), p. 6.

DAC-2013-KahngKL #reduction

Smart non-default routing for clock power reduction (ABK, SK, HL), p. 7.

DAC-2013-LuBS #data transformation #multi #named #stack

SSDM: smart stack data management for software managed multicores (SMMs) (JL, KB, AS), p. 8.

DATE-2013-ChenPKSCP #configuration management #named

SMART: a single-cycle reconfigurable NoC for SoC applications (CHOC, SP, TK, SS, APC, LSP), pp. 338–343.

DATE-2013-GreenGW #energy

Innovative energy storage solutions for future electromobility in smart cities (KG, SRG, RW), pp. 1730–1734.

DATE-2013-GurgenGBG #cyber-physical #self

Self-aware cyber-physical systems and applications in smart buildings and cities (LG, OG, YB, MG), pp. 1149–1154.

DATE-2013-HankMVK #network

Automotive ethernet: in-vehicle networking and smart mobility (PH, SM, OV, JVdK), pp. 1735–1739.

DATE-2013-JohnSVK

Semiconductor technologies for smart mobility management (RJ, MS, OV, KK), pp. 1749–1752.

DATE-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.

DATE-2013-LiYHL #adaptation #named #smarttech #user interface

SmartCap: user experience-oriented power adaptation for smartphone’s application processor (XL, GY, YH, XL), pp. 57–60.

DATE-2013-VermesanBJHBM #architecture #ecosystem #mobile

Smart, connected and mobile: architecting future electric mobility ecosystems (OV, LCJB, RJ, PH, RB, AM), pp. 1740–1744.

DATE-2013-Vigna #internet

Smart systems for internet of things (BV), p. 1.

ICDAR-2013-GacebLD #adaptation #documentation #image

Adaptative Smart-Binarization Method: For Images of Business Documents (DG, FL, JD), pp. 118–122.

SIGMOD-2013-DoKPPPD #challenge #query

Query processing on smart SSDs: opportunities and challenges (JD, YSK, JMP, CP, KP, DJD), pp. 1221–1230.

VLDB-2013-KotsakosSKG #health #monitoring #named #smarttech #using

SmartMonitor: Using Smart Devices to Perform Structural Health Monitoring (DK, PS, VK, DG), pp. 1282–1285.

CHI-2013-BranzelHHSKLM0B13a #named #smarttech #using

GravitySpace: tracking users and their poses in a smart room using a pressure-sensing floor (AB, CH, DH, DS, MK, PL, RM, SR, PB), pp. 725–734.

CHI-2013-RoddenFPBM #energy #towards

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

DUXU-WM-2013-BohmS #design #energy #mobile #performance #smarttech

Smart Metering with Smartphones: User-Centered Design of a Mobile Application in the Context of Energy Efficiency (SB, LS), pp. 631–640.

DUXU-WM-2013-Komischke #case study #design #smarttech #user interface

9/11 Memorial App: A Case Study of Serious Smart Phone UX Design (TK), pp. 691–695.

HCI-AMTE-2013-ForbrigMZ #challenge #modelling #smarttech

Special Challenges for Models and Patterns in Smart Environments (PF, CM, MZ), pp. 340–349.

HCI-AS-2013-WuWT #design #experience #information management #user interface

User Experience in Public Information Service Design for Smart Life (QW, GW, XT), pp. 207–215.

HCI-IMT-2013-LeMPNT #interactive #multimodal

Multimodal Smart Interactive Presentation System (HAL, KNCM, TAP, VTN, MTT), pp. 67–76.

HCI-IMT-2013-TruongNTD #collaboration #predict #word

Collaborative Smart Virtual Keyboard with Word Predicting Function (CTT, DHNH, MTT, ADD), pp. 513–522.

HCI-IMT-2013-TungGKM #human-computer #interactive #multimodal #using

Multi-party Human-Machine Interaction Using a Smart Multimodal Digital Signage (TT, RG, TK, TM), pp. 408–415.

HIMI-D-2013-KlomannM #approach #interactive #named #prototype

Freiform: A SmartPen Based Approach for Creating Interactive Paper Prototypes for Collecting Data (MK, JTM), pp. 316–321.

HIMI-HSM-2013-ZhangA #flexibility #user interface

Improving the Flexibility of In-Vehicle Infotainment Systems by the Smart Management of GUI-Application Binding Related Information (RZ, TA), pp. 223–232.

HIMI-LCCB-2013-AehneltBRKUK #interactive #multi #smarttech

Situation Aware Interaction with Multi-modal Business Applications in Smart Environments (MA, SB, GR, FK, BU, TK), pp. 413–422.

HIMI-LCCB-2013-YajimaHY #analysis #communication #design

Application of Ethno-Cognitive Interview and Analysis Method for the Smart Communication Design (AY, HH, TY), pp. 649–657.

OCSC-2013-AlaouiL #approach #communication #design

A LivingLab Approach to Involve Elderly in the Design of Smart TV Applications Offering Communication Services (MA, ML), pp. 325–334.

OCSC-2013-HallCW #approach #community #predict

Well-Being’s Predictive Value — A Gamified Approach to Managing Smart Communities (MH, SC, CW), pp. 13–22.

ICEIS-v2-2013-TomasSNGAG #architecture #bibliography #perspective

Smart Cities Architectures — A Systematic Review (GHRPT, WMdS, PAdMSN, VCG, AÁ, KG), pp. 410–417.

ICEIS-v3-2013-MarciniakO #concept #grid #usability

Usability of Knowledge Grid in Smart City Concepts (KM, MLO), pp. 341–346.

KDD-2013-FeiKSNMH #detection #learning

Heat pump detection from coarse grained smart meter data with positive and unlabeled learning (HF, YK, SS, MRN, SKM, JH), pp. 1330–1338.

KDD-2013-PapadimitriouE #bibliography #mining #mobile

Mining data from mobile devices: a survey of smart sensing and analytics (SP, TER), p. 1524.

KDIR-KMIS-2013-LitvakM #named #order

SmartNews: Bringing Order into Comments Chaos (ML, LM), pp. 191–196.

KDIR-KMIS-2013-SmirnovSK #approach #multi #self #smarttech

Multilevel Self-Organization in Smart Environment — Service-Oriented Approach (AVS, NS, AK), pp. 290–297.

MLDM-2013-NikovskiWESSMT #data analysis #detection

Smart Meter Data Analysis for Power Theft Detection (DNN, ZW, AE, HS, KS, TM, KT), pp. 379–389.

RecSys-2013-KucharK #case study #learning #named #web #web service

GAIN: web service for user tracking and preference learning — a smart TV use case (JK, TK), pp. 467–468.

SEKE-2013-AgrawalT #locality #smarttech

Smart Phone Based Indoor Pedestrian Localization System (S) (LA, DT), pp. 283–286.

SAC-2013-AhatAB #grid #modelling #smarttech #strict

Modeling fundamentals for smart grid enabled ecodistricts (MA, SBA, AB), pp. 688–689.

SAC-2013-CicekD #smarttech

Demand response computation for future smart grids incorporating wind power (NÇ, HD), pp. 680–685.

SAC-2013-DimitriouK #energy #privacy #smarttech

Privacy-friendly tasking and trading of energy in smart grids (TD, GK), pp. 652–659.

SAC-2013-IlicSKJ #algorithm #assessment

Impact assessment of smart meter grouping on the accuracy of forecasting algorithms (DI, PGdS, SK, MJ), pp. 673–679.

SAC-2013-KannanMDS #navigation #predict #using

Predictive indoor navigation using commercial smart-phones (BK, FM, MBD, KPS), pp. 519–525.

SAC-2013-KimPK #evaluation #grid #network #performance #smarttech #towards

Towards cosimulating network and electrical systems for performance evaluation in smart grid (HK, WP, HK), pp. 686–687.

SAC-2013-MeilingSSW #communication #framework #grid #multi #network #scalability #smarttech #using

A scalable communication infrastructure for smart grid applications using multicast over public networks (SM, TS, TCS, MW), pp. 690–694.

SAC-2013-SilvaATADG #architecture #bibliography

Smart cities software architectures: a survey (WMdS, AÁ, GHRPT, RAA, KLD, VCG), pp. 1722–1727.

SAC-2013-WaflerH #analysis #approach #dependence #grid #modelling #smarttech

A combined structural and dynamic modelling approach for dependability analysis in smart grid (JW, PEH), pp. 660–665.

SPLC-2013-WangPXCZ0 #named

SmartFixer: fixing software configurations based on dynamic priorities (BW, LTP, YX, KC, HZ, WZ), pp. 82–90.

CGO-2013-EmaniWO #adaptation #parallel

Smart, adaptive mapping of parallelism in the presence of external workload (MKE, ZW, MFPO), p. 10.

HPCA-2013-KarpuzcuSKT #energy #named #towards

EnergySmart: Toward energy-efficient manycores for Near-Threshold Computing (URK, AAS, NSK, JT), pp. 542–553.

HPCA-2013-KrishnaCKP #latency #using

Breaking the on-chip latency barrier using SMART (TK, CHOC, WCK, LSP), pp. 378–389.

DATE-2012-DrumlSWGH #estimation #manycore #smarttech

Estimation based power and supply voltage management for future RF-powered multi-core smart cards (ND, CS, RW, AG, JH), pp. 358–363.

DATE-2012-KroneAGF #smarttech #towards

Towards a wireless medical smart card (SK, BA, FG, GF), pp. 1483–1488.

DATE-2012-MagnoMBPOB #network #power management

Smart power unit with ultra low power radio trigger capabilities for wireless sensor networks (MM, SJM, DB, EMP, BO, LB), pp. 75–80.

DATE-2012-NirmaierBTHKRLP #robust

Measuring and improving the robustness of automotive smart power microelectronics (TN, VMzB, MT, MH, MK, MR, JL, GP), pp. 872–873.

DATE-2012-PattiAAOCJJM #energy #middleware #network #performance

Middleware services for network interoperability in smart energy efficient buildings (EP, AA, FA, AO, AC, MJ, MJ, EM), pp. 338–339.

DATE-2012-ZhangWHY #algorithm #energy #game studies #resource management

Fair energy resource allocation by minority game algorithm for smart buildings (CZ, WW, HH, HY), pp. 63–68.

VLDB-2012-MetwallyF #framework #multi #named #pipes and filters #scalability #similarity

V-SMART-Join: A Scalable MapReduce Framework for All-Pair Similarity Joins of Multisets and Vectors (AM, CF), pp. 704–715.

CSMR-2012-ShahDM #source code

Making Smart Moves to Untangle Programs (SMAS, JD, CM), pp. 359–364.

CHI-2012-BardramGHN #collaboration #distributed #named

ReticularSpaces: activity-based computing support for physically distributed and collaborative smart spaces (JB, SG, SH, SN), pp. 2845–2854.

CHI-2012-WooL #named #smarttech #tool support

Clipoid: an augmentable short-distance wireless toolkit for “accidentally smart home” environments (JbW, YKL), pp. 1751–1754.

ICPR-2012-FuscoWY #mining

Mining residential household information from low-resolution smart meter data (FF, MW, JWY), pp. 3545–3548.

KDD-2012-AgarwalSS #named #performance

SmartDispatch: enabling efficient ticket dispatch in an IT service environment (SA, RS, BS), pp. 1393–1401.

KDIR-2012-Dagnino #approach #grid #information management #machine learning #smarttech

Knowledge Discovery in the Smart Grid — A Machine Learning Approach (AD), pp. 366–369.

SAC-2012-BeusterG #modelling #policy #security #smarttech

Formal security policy models for smart card evaluations (GB, KG), pp. 1640–1642.

ICSE-2012-DevosPDBMA #case study #industrial #performance #reuse #smarttech

Efficient reuse of domain-specific test knowledge: An industrial case in the smart card domain (ND, CP, JCD, RB, BM, GA), pp. 1123–1132.

LCTES-2012-ZuluagaKMP #design #predict

“Smart” design space sampling to predict Pareto-optimal solutions (MZ, AK, PAM, MP), pp. 119–128.

ICST-2012-BekrarBGM #approach #fuzzing

A Taint Based Approach for Smart Fuzzing (SB, CB, RG, LM), pp. 818–825.

ICST-2012-GansR #protocol #smarttech #testing

The SmartLogic Tool: Analysing and Testing Smart Card Protocols (GdKG, JdR), pp. 864–871.

ICST-2012-Li #automation #testing

A Smart Structured Test Automation Language (SSTAL) (NL), pp. 471–474.

DATE-2011-AgarwalWG #comprehension

Understanding the role of buildings in a smart microgrid (YA, TW, RKG), pp. 1224–1229.

DATE-2011-BilgicPGB #industrial #power management

Low-power smart industrial control (AB, VP, MG, FB), pp. 595–599.

DATE-2011-DupretTVAP

Smart imagers of the future (AD, MT, AV, LA, AP), pp. 437–442.

DATE-2011-Papa

Smart systems at ST (CP), p. 1230.

ICDAR-2011-DeckertSEG #comprehension

Table Content Understanding in SmartFIX (FD, BS, ME, MG), pp. 488–492.

FASE-2011-CrouzenL #reduction

Smart Reduction (PC, FL), pp. 111–126.

ICPC-2011-RothlisbergerND #ide #named

SmartGroups: Focusing on Task-Relevant Source Artifacts in IDEs (DR, ON, SD), pp. 61–70.

WCRE-2011-FokinDCT #c++ #decompiler #named

SmartDec: Approaching C++ Decompilation (AF, ED, AC, KT), pp. 347–356.

CHI-2011-HutamaSFG #correlation #interactive #multi #using

Distinguishing multiple smart-phone interactions on a multi-touch wall display using tilt correlation (WH, PS, CWF, WBG), pp. 3315–3318.

CSCW-2011-LobunetsP #game studies #prototype

Evaluating a smart working environment with a digital card game prototype (OL, WP), pp. 673–676.

DUXU-v1-2011-HongK #guidelines #mobile #smarttech #usability #web

Mobile Web Usability: Developing Guidelines for Mobile Web via Smart Phones (SH, SCK), pp. 564–572.

DUXU-v1-2011-ZilzF #composition

Smart User Assistance Based on Dynamic Model Composition (RZ, PF), pp. 706–714.

DUXU-v2-2011-DahlS #case study #composition #interface #smarttech #usability

End-User Composition Interfaces for Smart Environments: A Preliminary Study of Usability Factors (YD, RMS), pp. 118–127.

HCD-2011-BohmSW #design #experience #interactive #user interface

Smart Sol — Bringing User Experience to Facility Management: Designing the User Interaction of a Solar Control Unit (PB, TS, CW), pp. 187–196.

HCD-2011-ChoiPJP #analysis #research #smarttech #state of the art

Scientometric Analysis of Research in Smart Clothing: State of the Art and Future Direction (KC, HP, ESJ, SP), pp. 500–508.

HCI-DDA-2011-BreinerBRSMD #adaptation #automation #generative #modelling #runtime #user interface #workflow

Automatic Adaptation of User Workflows within Model-Based User Interface Generation during Runtime on the Example of the SmartMote (KB, KB, TR, MS, GM, PD), pp. 165–174.

HCI-DDA-2011-SeisslerBM #adaptation #runtime #smarttech #towards #user interface

Towards Pattern-Driven Engineering of Run-Time Adaptive User Interfaces for Smart Production Environments (MS, KB, GM), pp. 299–308.

HCI-DDA-2011-ZakiF #smarttech

User-Oriented Accessibility Patterns for Smart Environments (MZ, PF), pp. 319–327.

HCI-ITE-2011-EdlingerHG #human-computer #hybrid #interface #smarttech

A Hybrid Brain-Computer Interface for Smart Home Control (GE, CH, CG), pp. 417–426.

HCI-MIIE-2011-BraunK #identification #smarttech

Passive Identification and Control of Arbitrary Devices in Smart Environments (AB, FK), pp. 147–154.

HCI-MIIE-2011-HondaSN #process #recognition #risk management

Activity Recognition for Risk Management with Installed Sensor in Smart and Cell Phone (DH, NS, SN), pp. 230–239.

HCI-MIIE-2011-JangLK #named #smarttech

CornerPen: Smart Phone Is the Pen (BgJ, ML, GJK), pp. 76–83.

HCI-UA-2011-BellegoBBT #smarttech #using

Using a Smart Phone for Information Rendering in Computer-Aided Surgery (GLB, MB, IB, JT), pp. 202–209.

HIMI-v1-2011-KoCECCKH #recommendation

A Smart Movie Recommendation System (SKK, SMC, HSE, JWC, HC, LK, YSH), pp. 558–566.

HIMI-v1-2011-LeeKW #authentication #multi #smarttech #using

Cryptanalysis to a Remote User Authentication Scheme Using Smart Cards for Multi-server Environment (YL, JK, DW), pp. 321–329.

IDGD-2011-OginoKIK #behaviour #comprehension

Smart Store Understanding Consumer’s Preference through Behavior Logs (AO, TK, YI, TK), pp. 385–392.

ICEIS-v1-2011-GongG #evaluation #internet #performance #research

Research on the Evaluation Index System and Method for Intelligent Performance of Smart Space based on Internet of Things Technology (XG, TG), pp. 301–307.

ICEIS-v3-2011-SchneiderCKZ #information management #integration #modelling

Domain-specific Modelling Applied to Integration of Smart Sensors into an Information System (JPS, JC, DK, OZ), pp. 253–259.

KDD-2011-ChenDWSNL #analysis #process

Activity analysis based on low sample rate smart meters (FC, JD, BW, SS, MRN, CTL), pp. 240–248.

MLDM-2011-Sullins #smarttech

Exploration Strategies for Learned Probabilities in Smart Terrain (JS), pp. 224–238.

Onward-2011-PetersLH #smarttech

The intuitive control of smart home and office environments (SP, VL, VH), pp. 113–114.

SAC-2011-KimuraEFYN #behaviour #detection #motivation #named #persuasion #smarttech #using

iDetective: a persuasive application to motivate healthier behavior using smart phone (HK, JE, YF, AY, TN), pp. 399–404.

SAC-2011-LeePKKS #grid #power management #reduction #scheduling #smarttech

Power consumption scheduling for peak load reduction in smart grid homes (JL, GLP, SWK, HJK, COS), pp. 584–588.

SAC-2011-ZhaoGFC #approach #predict #smarttech

A system context-aware approach for battery lifetime prediction in smart phones (XZ, YG, QF, XC), pp. 641–646.

ICSE-2011-KazmanBIM #architecture #evaluation #experience #grid #smarttech

Architecture evaluation without an architecture: experience with the smart grid (RK, LB, JI, GAM), pp. 663–670.

PLEASE-2011-RosaL #component #composition #mobile #product line #reuse

Smart composition of reusable software components in mobile application product lines (REVDSR, VFdLJ), pp. 45–49.

HPCA-2011-JiangMZIFSMBD #named #scheduling #symmetry

ACCESS: Smart scheduling for asymmetric cache CMPs (XJ, AKM, LZ, RI, ZF, SS, SM, PB, CRD), pp. 527–538.

ICLP-2011-Bulwahn #generative #logic programming #testing

Smart test data generators via logic programming (LB), pp. 139–150.

ICST-2011-BekrarBGM #fuzzing

Finding Software Vulnerabilities by Smart Fuzzing (SB, CB, RG, LM), pp. 427–430.

DAC-2010-Hiskens #grid #question #smarttech #what

What’s smart about the smart grid? (IAH), pp. 937–939.

DAC-2010-JohnR #smarttech

Smart phone power (JJ, CR), pp. 935–936.

DAC-2010-KleisslA #cyber-physical #energy

Cyber-physical energy systems: focus on smart buildings (JK, YA), pp. 749–754.

DAC-2010-VeetilCSB #monte carlo #performance #resource management

Efficient smart monte carlo based SSTA on graphics processing units with improved resource utilization (VV, YHC, DS, DB), pp. 793–798.

DATE-2010-VergariBSDZRC

A Smart Space application to dynamically relate medical and environmental information (FV, SB, FS, AD, GZ, LR, TSC), pp. 1542–1547.

CSMR-2010-KellensNSRD #co-evolution #source code

Co-evolving Annotations and Source Code through Smart Annotations (AK, CN, KDS, CDR, TD), pp. 117–126.

CHI-2010-ParkZ #process

Investigating the opportunity for a smart activity bag (SYP, JZ), pp. 2543–2552.

SAC-2010-MassinkHL #analysis #behaviour #scalability

Scalable analysis of collective behaviour in smart service systems (MM, MDH, DL), pp. 1173–1180.

SAC-2010-Stander #smarttech #towards

Towards interactionflows for smart products (MS), pp. 1234–1235.

ICSE-2010-DiosDSBCE #development #modelling #named #user interface

SSG: a model-based development environment for smart, security-aware GUIs (MAGdD, CD, MS, DAB, MC, ME), pp. 311–312.

CASE-2009-GhoshR #design #network

Sensor network design for smart highways (SG, SR), pp. 353–360.

DAC-2009-VeetilSBSR #analysis #dependence #performance

Efficient smart sampling based full-chip leakage analysis for intra-die variation considering state dependence (VV, DS, DB, SS, SR), pp. 154–159.

SIGMOD-2009-LiuMBJILG #named #physics

SmartCIS: integrating digital and physical environments (ML, SRM, ZB, MJ, ZGI, BTL, SG), pp. 1111–1114.

FASE-2009-NarasamdyaP #certification

Certification of Smart-Card Applications in Common Criteria (IN, MP), pp. 309–324.

CHI-2009-ChengLCC #named #video

SmartPlayer: user-centric video fast-forwarding (KYC, SJL, BYC, HHC), pp. 789–798.

DHM-2009-BurghardtK #approach #behaviour #modelling #probability #smarttech

A Probabilistic Approach for Modeling Human Behavior in Smart Environments (CB, TK), pp. 202–210.

DHM-2009-SchwartzeFA #behaviour #smarttech #user interface

Behavior-Sensitive User Interfaces for Smart Environments (VS, SF, SA), pp. 305–314.

HCD-2009-JeongPS #interface #smarttech

Grouping Preferences of Americans and Koreans in Interfaces for Smart Home Control (KAJ, RWP, GS), pp. 436–445.

HCI-AUII-2009-BekiarisKMP #concept #paradigm #smarttech

An Interoperable Concept for Controlling Smart Homes — The ASK-IT Paradigm (EB, KK, AM, MP), pp. 377–386.

HCI-AUII-2009-ChaeCKH #smarttech #usability

Usability Studies on Sensor Smart Clothing (HSC, WJC, SHK, KHH), pp. 725–730.

HCI-AUII-2009-DuvalHC #interactive #performance #smarttech

Considering Personal Profiles for Comfortable and Efficient Interactions with Smart Clothes (SD, CH, GC), pp. 731–740.

HCI-AUII-2009-HermannBJKSS #challenge #smarttech

Challenges for User Centered Smart Environments (FH, RB, DJ, TK, AS, DS), pp. 407–415.

HCI-AUII-2009-LeeJ #smarttech #standard

Standardization for Smart Clothing Technology (KL, YGJ), pp. 768–777.

HCI-AUII-2009-WakitaST #smarttech

Emotional Smart Materials (AW, MS, KT), pp. 802–805.

HCI-VAD-2009-IwabuchiNS #smarttech

Smart Makeup Mirror: Computer-Augmented Mirror to Aid Makeup Application (EI, MN, IS), pp. 495–503.

HIMI-II-2009-Bunnig #privacy #ubiquitous

Smart Privacy Management in Ubiquitous Computing Environments (CB), pp. 131–139.

SEKE-2009-RetkowitzAN #smarttech #towards

Towards Mobility Support in Smart Environments (DR, IA, MN), pp. 603–608.

SAC-2009-HarshN #multi #using

Using geo-spatial session tagging for smart multicast session discovery (PH, REN), pp. 22–27.

SAC-2009-JangYC #algorithm #clustering #multi #set

A smart clustering algorithm for photo set obtained from multiple digital cameras (CJJ, TY, HGC), pp. 1784–1791.

SAC-2009-NarasamdyaP #certification

Certification of smart-card applications in common criteria (IN, MP), pp. 601–608.

ESEC-FSE-2009-KnabKP #problem

Smart views for analyzing problem reports: tool demo (PK, HG, MP), pp. 289–290.

ICSE-2009-ZhangHZM #ide #interactive #named

SmartTutor: Creating IDE-based interactive tutorials via editable replay (YZ, GH, NZ, HM), pp. 559–562.

SLE-2009-Jugel #api #generative #library

Generating Smart Wrapper Libraries for Arbitrary APIs (UJ), pp. 354–373.

TAP-2009-Chetali #certification #formal method #security #smarttech #testing

Security Testing and Formal Methods for High Levels Certification of Smart Cards (BC), pp. 1–5.

WICSA-2008-ChenTCSKLT #architecture #component #smarttech

Component Model and Architecture of Smart Devices for Elderly (TYC, PHT, TSC, CSS, TWK, JWSL, AT), pp. 51–60.

WICSA-2008-SousaSPB #design #monitoring #named

uDesign: End-User Design Applied to Monitoring and Control Applications for Smart Spaces (JPS, BRS, VP, AB), pp. 71–80.

CASE-2008-NugentHHFS #impact analysis #reliability

Assessing the impact of individual sensor reliability within smart living environments (CDN, XH, JH, DDF, KS), pp. 685–690.

CASE-2008-ZhuCS #markov #recognition #using

Human intention recognition in Smart Assisted Living Systems using a Hierarchical Hidden Markov Model (CZ, QC, WS), pp. 253–258.

CSMR-2008-LewisS #tool support

SMART Tool Demonstration (GAL, DBS), pp. 332–334.

CSCW-2008-MorrisTB #collaboration #personalisation #web

Enhancing collaborative web search with personalization: groupization, smart splitting, and group hit-highlighting (MRM, JT, SB), pp. 481–484.

ICEIS-DISI-2008-NymanFM #smarttech

Gathering Product Data from Smart Products (JN, KF, VM), pp. 252–257.

SAC-2008-WendtGSWNM #analysis #mobile #optimisation #smarttech

System level power profile analysis and optimization for smart cards and mobile devices (MW, MG, CS, RW, UN, AM), pp. 1884–1888.

ASE-2007-XieGH #named #testing

Smart: a tool for application reference testing (QX, MG, MH), pp. 537–538.

CASE-2007-HallbergNDSDFM #named #smarttech

HomeRuleML — A Model for the Exchange of Decision Support Rules Within Smart Environments (JH, CDN, RJD, KS, MPD, DDF, MDM), pp. 513–520.

CASE-2007-LinF #multi #smarttech

Multi-user Preference Model and Service Provision in a Smart Home Environment (ZHL, LCF), pp. 759–764.

CASE-2007-LuHF #network #process #robust #smarttech #using

Creating Robust Activity Maps Using Wireless Sensor Network in a Smart Home (CHL, YcH, LCF), pp. 741–746.

ICSM-2007-CorboGP #learning #source code

Smart Formatter: Learning Coding Style from Existing Source Code (FC, CDG, MDP), pp. 525–526.

IFM-2007-HanebergGRS #approach #smarttech #verification

Verifying Smart Card Applications: An ASM Approach (DH, HG, WR, GS), pp. 313–332.

HCI-AS-2007-LaarniNK #collaboration #interface #process

Affordance Table — A Collaborative Smart Interface for Process Control (JL, LN, HMKK), pp. 611–619.

HCI-IPT-2007-ChaeHCHL #evaluation #smarttech #usability

An Investigation of Usability Evaluation for Smart Clothing (HSC, JYH, HSC, KHH, JL), pp. 1053–1060.

HCI-IPT-2007-ChiCLC #design #interactive

Designing Smart Living Objects — Enhancing vs. Distracting Traditional Human-Object Interaction (PYC, JhC, SyL, HHC), pp. 788–797.

HCI-IPT-2007-ChoL #design #development #generative #prototype

A Development of Design Prototype of Smart Healthcare Clothing for Silver Generation Based on Bio-medical Sensor Technology (HC, JL), pp. 1070–1077.

HCI-IPT-2007-ChoMSJC #design #evaluation

Design and Evaluation of Textile-Based Signal Transmission Lines and Keypads for Smart Wear (JC, JM, MS, KJ, GC), pp. 1078–1085.

HCI-IPT-2007-Hinske #implementation #mobile

Pulling Digital Data from a Smart Object: Implementing the PullMe-Paradigm with a Mobile Phone (SH), pp. 306–310.

HCI-IPT-2007-HongCH #case study #smarttech

A Study on the Acceptance Factors of the Smart Clothing (JYH, HSC, KHH), pp. 1106–1112.

HCI-IPT-2007-KimP #smarttech

Preparation of Conductive Materials for Smart Clothing: Doping and Composite of Conducting Polymer (JK, NP), pp. 1147–1154.

HCI-IPT-2007-OhsawaSIITT #process

Smart Furoshiki: A Context Sensitive Cloth for Supporting Everyday Activities (RO, KS, TI, MI, KT, HT), pp. 1193–1199.

HCI-IPT-2007-RashidiYCD #smarttech

Inhabitant Guidance of Smart Environments (PR, GMY, DJC, SKD), pp. 910–919.

ICEIS-AIDSS-2007-Prasad

Driving ahead: Joint enterprise-embedded computing in smart clouds, smart dust and intelligent automobiles (KVP), pp. 27–32.

ICEIS-DISI-2007-Prasad

Driving ahead: Joint enterprise-embedded computing in smart clouds, smart dust and intelligent automobiles (KVP), pp. 27–32.

ICEIS-EIS-2007-Prasad

Driving ahead: Joint enterprise-embedded computing in smart clouds, smart dust and intelligent automobiles (KVP), pp. 27–32.

ICEIS-HCI-2007-Prasad

Driving ahead: Joint enterprise-embedded computing in smart clouds, smart dust and intelligent automobiles (KVP), pp. 27–32.

ICEIS-SAIC-2007-LokeLIK #adaptation #approach #smarttech #towards #workflow

Adaptive Workflows for Smart Devices — A Concrete Approach Towards Device Failures (SWL, SL, MI, SK), pp. 191–197.

ICEIS-SAIC-2007-Prasad

Driving ahead: Joint enterprise-embedded computing in smart clouds, smart dust and intelligent automobiles (KVP), pp. 27–32.

RE-2007-LuoST #hybrid #modelling #music

Modelling a Smart Music Player with a Hybrid Agent-Oriented Methodology (YL, LS, KT), pp. 281–286.

SAC-2007-AitenbichlerLAKM #self #smarttech

Engineering intuitive and self-explanatory smart products (EA, FL, GA, JK, MM), pp. 1632–1637.

CASE-2006-MiddletonWBCN #smarttech

A smart environment for biometric capture (LM, DKW, AIB, JNC, MSN), pp. 57–62.

DATE-2006-MallikSBZ #design #optimisation #power management

Smart bit-width allocation for low power optimization in a systemc based ASIC design environment (AM, DS, PB, HZ), pp. 618–623.

DocEng-2006-Matulic #documentation #named #reuse

SmartPublisher: document creation on pen-based systems via document element reuse (FM), pp. 182–183.

SCAM-2006-JacobsL #c #metaprogramming #semantics

SMART C: A Semantic Macro Replacement Translator for C (MJ, ECL), pp. 95–106.

SAC-2006-AbidinP #classification #data mining #mining #named #nearest neighbour #performance #scalability

SMART-TV: a fast and scalable nearest neighbor based classifier for data mining (TA, WP), pp. 536–540.

SAC-2006-BodhuinCPT #complexity #physics

Hiding complexity and heterogeneity of the physical world in smart living environments (TB, GC, RP, MT), pp. 1921–1927.

DAC-2005-EzerJ #configuration management #verification

Smart diagnostics for configurable processor verification (SE, SJ), pp. 789–794.

DATE-2005-BotaRRS #testing

Smart Temperature Sensor for Thermal Testing of Cell-Based ICs (SAB, MR, JLR, JS), pp. 464–465.

DATE-2005-StagniGLBR #design #detection

Hardware-Software Design of a Smart Sensor for Fully-Electronic DNA Hybridization Detection (CS, CG, ML, LB, BR), pp. 198–203.

HT-2005-BurgerGG #concept #multi

Smart content factory: assisting search for digital objects by generic linking concepts to multimedia content (TB, EG, GG), pp. 286–287.

SIGMOD-2005-BouganimCNDP #smarttech

Safe data sharing and data dissemination on smart devices (LB, CC, FDN, ND, PP), pp. 888–890.

SIGMOD-2005-MorishimaOTI #named #semantics #xml

SMART: a tool for semantic-driven creation of complex XML mappings (AM, TO, JT, KI), pp. 909–911.

FM-2005-AndronickCP #embedded #security #smarttech #source code #verification

Formal Verification of Security Properties of Smart Card Embedded Source Code (JA, BC, CPM), pp. 302–317.

AdaEurope-2005-AmeyCW #certification

Smart Certification of Mixed Criticality Systems (PA, RC, NW), pp. 144–155.

SEKE-2005-KuoLL #smarttech

Smart cards for the Taiwan NHI (JSK, TWL, CHL), pp. 99–104.

SAC-2005-AdaikkalavanC #approach #named #security #web

SmartGate: a smart push-pull approach to support role-based security in web gateways (RA, SC), pp. 1727–1731.

AMOST-2005-BouquetJLPU #automation #generative #requirements #smarttech #testing #traceability #validation

Requirements traceability in automated test generation: application to smart card software validation (FB, EJ, BL, FP, MU).

TestCom-2005-LeeJL #analysis #detection #smarttech #using

Detecting Trapdoors in Smart Cards Using Timing and Power Analysis (JYL, SWJ, JL), pp. 275–288.

CBSE-2004-MinCK #component #off the shelf #problem #using

Using Smart Connectors to Resolve Partial Matching Problems in COTS Component Acquisition (HGM, SWC, SDK), pp. 40–47.

DAC-2004-HuM #named

DyAD: smart routing for networks-on-chip (JH, RM), pp. 260–263.

DATE-DF-2004-NeffeRSWRM #energy #estimation #modelling #power management #smarttech

Energy Estimation Based on Hierarchical Bus Models for Power-Aware Smart Cards (UN, KR, CS, RW, ER, AM), pp. 300–305.

DRR-2004-BerknerSM #named

SmartNails: display- and image-dependent thumbnails (KB, ELS, CM), pp. 54–65.

ICEIS-v5-2004-GonzalezLR #modelling #recommendation

Managing Emotions in Smart User Models for Recommender Systems (GG, BL, JLdlR), pp. 187–194.

ICPR-v1-2004-BourlaiMK #architecture #smarttech #using #verification

Face Verification System Architecture Using Smart Cards (TB, KM, JK), pp. 793–796.

UML-2004-HayashiYSMSH #development #modelling #uml

Test Driven Development of UML Models with SMART Modeling System (SH, PY, MS, KM, SS, SH), pp. 395–409.

GPCE-2004-BonnetPMG #approach #modelling #smarttech

A Model-Driven Approach for Smart Card Configuration (SB, OP, RM, JMG), pp. 416–435.

PADL-2004-Balduccini #named #quality #set

USA-Smart: Improving the Quality of Plans in Answer Set Planning (MB), pp. 135–147.

SAC-2004-Cazzola #named #performance

SmartMethod: an efficient replacement for method (WC), pp. 1305–1309.

SAC-2004-Chan #smarttech

Cookies on-the-move: managing cookies on a smart card (ATSC), pp. 1693–1697.

SAC-2004-Lagorio #compilation #java #towards

Another step towards a smart compilation manager for Java (GL), pp. 1275–1280.

SAC-PL-J-2004-Cazzola #java #named #performance

SmartReflection: Efficient Introspection in Java (WC), pp. 117–132.

DATE-2003-Goltze #architecture #communication #flexibility #object-oriented

A Flexible Object-Oriented Software Architecture for Smart Wireless Communication Devices (MG), pp. 20126–20131.

ICEIS-v4-2003-BrunsDH #smarttech

Secure Smart Card-Based Access to an E-Learning Portal (RB, JD, JvH), pp. 167–172.

RE-2003-StufflebeamAA #named #requirements

SMaRT — Scenario Management and Requirements Tool (WHS, AIA, TAA), p. 351.

SAC-2003-Chan #information management #smarttech

Integrating Smart Card Access to Web-Based Medical Information System (ATSC), pp. 246–250.

SAC-2003-ShekarNH #pervasive #ubiquitous

iGrocer- A Ubiquitous and Pervasive Smart Grocery Shopping System (SS, PN, AH), pp. 645–652.

HT-2002-HughesC #question

Microsoft smart tags: support, ignore or condemn them? (GVH, LC), pp. 80–81.

VLDB-2002-King

The Rubicon of Smart Data (RK), pp. 1002–1005.

VLDB-2002-LohmanL #named

SMART: Making DB2 (More) Autonomic (GML, SL), pp. 877–879.

CHI-2002-DruckerGMW #named #video

SmartSkip: consumer level browsing and skipping of digital video content (SMD, AG, SDM, CW), pp. 219–226.

CHI-2002-Rekimoto #for free #framework #interactive #named

SmartSkin: an infrastructure for freehand manipulation on interactive surfaces (JR), pp. 113–120.

ICPR-v2-2002-Arana-ArejolaleibaLBLH #detection #navigation #visual notation

A Smart Sensor Based Visual Landmarks Detection for Indoor Robot Navigation (NAA, FL, MB, CL, JBH), pp. 848–851.

ICPR-v2-2002-YonemotoT #3d #interactive #interface

Vision-Based 3D Direct Manipulation Interface for Smart Interaction (SY, RiT), pp. 655–654.

ICPR-v3-2002-AnquetilB #integration #online #recognition #smarttech

Integration of an On-Line Handwriting Recognition System in a Smart Phone Device (ÉA, HB), pp. 192–194.

ICPR-v3-2002-DuricWY #adaptation #gesture #interface #using

Adaptive and Smart Interface for VCR Remote Control Using Hand Gestures (ZD, HW, JY), pp. 1035–1038.

ICPR-v3-2002-TanCM #image #named #retrieval #towards #unification

SmartAlbum — Towards Unification of Approaches for Image Retrieval (TT, JC, PM), pp. 983–986.

SAC-2002-LuSP #generative #implementation #performance #smarttech

Implementation of fast RSA key generation on smart cards (CL, ALMdS, FRP), pp. 214–220.

LDTA-2002-ParigotCDFPFHA #framework #generative #semantics #xml

Aspect and XML-oriented Semantic Framework Generator: SmartTools (DP, CC, PD, AF, CP, JF, CH, IA), pp. 97–116.

ICDAR-2001-WenyinQXJ #online #recognition #sketching

Smart Sketchpad — An On-line Graphics Recognition System (LW, WQ, RX, XJ), pp. 1050–1054.

ITiCSE-2001-ShiSC #component

Smart instructional component based course content organization and delivery (HS, YS, SSC), p. 186.

FME-2001-HartelBJL #memory management #smarttech

Transacted Memory for Smart Cards (PHH, MJB, EdJ, ML), pp. 478–499.

EDOC-2001-TojiWHS #framework #multi #smarttech

A Network-Based Platform for Multi-Application Smart Cards (RT, YW, SH, KS), p. 34–?.

LDTA-2001-AttaliCDFPP #generative #interactive #named #tool support

SmartTools: a Generator of Interactive Environment Tools (IA, CC, PD, AF, DP, CP), pp. 225–231.

CC-2001-AttaliCDFPP #generative #interactive #named #tool support

SmartTools: A Generator of Interactive Environments Tools (IA, CC, PD, AF, DP, CP), pp. 355–360.

DAC-2000-VancorenlandRSG #algorithm #design #using

Optimal RF design using smart evolutionary algorithms (PJV, CDR, MS, GGEG), pp. 7–10.

DATE-2000-GirolaPV

Smart Antenna Receiver Based on a Single Chip Solution for GSM/DCS Baseband Processing (UG, AP, DV), pp. 181–185.

CHI-2000-PuF #approach #case study #experience

Enriching buyers’ experiences: the SmartClient approach (PP, BF), pp. 289–296.

ICPR-v3-2000-YagiKYB #smarttech

Active Contour Road Model for Smart Vehicle (YY, YK, MY, MB), pp. 3819–3822.

ICPR-v4-2000-HealeyP #detection #named

SmartCar: Detecting Driver Stress (JH, RWP), pp. 4218–4221.

FM-v1-1999-SabatierL #design #formal method #smarttech #transaction #validation

The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications (DS, PL), pp. 348–368.

HCI-CCAD-1999-GoldsteinAB #effectiveness #evaluation #navigation #prototype #smarttech #usability

Usability evaluation of a high-fidelity smart phone prototype: task navigation depth affects effectiveness (MG, MA, RB), pp. 38–42.

HCI-CCAD-1999-Machate #concept #interactive #multimodal #smarttech

Being natural — on the use of multimodal interaction concepts in smart homes (JM), pp. 937–941.

TOOLS-EUROPE-1999-OrtigosaC #framework #named

SmartBooks: A Step Beyond Active-Cookbooks to Aid in Framework Instantiation (AO, MC), pp. 131–140.

ESEC-FSE-1999-GrimaudLV #named #smarttech

FACADE: A Typed Intermediate Language Dedicated to Smart Cards (GG, JLL, JJV), pp. 476–493.

DATE-1998-RassauYCLECW #2d #implementation #mobile #parallel

Smart Pixel Implementation of a 2-D Parallel Nucleic Wavelet Transform for Mobile Multimedia Communications (AMR, TCBY, HC, SL, KE, WAC, TDW), pp. 191–195.

SIGMOD-1998-LacroixSC #exclamation #web #what

User-oriented smart-cache for the Web: What You Seek is What You Get! (ZL, AS, RC), pp. 572–574.

CHI-1998-ChristianA #smarttech

Digital Smart Kiosk Project (ADC, BLA), pp. 155–162.

EDOC-1998-BarryADHKWGLR #deployment #development #distributed #enterprise #named

NIIIP-SMART: an investigation of distributed object approaches to support MES development and deployment in a virtual enterprise (JB, MAI, TD, PH, JK, CW, CG, HL, RR), pp. 366–377.

ICPR-1998-Pentland #smarttech

Smart rooms, smart clothes (AP), pp. 949–953.

CADE-1998-GorePSV #proving #smarttech #theorem proving

System Description: card TAP: The First Theorem Prover on a Smart Card (RG, JP, AS, HV), pp. 47–50.

EDTC-1997-RowekampP #estimation #realtime #visual notation

A real-time smart sensor system for visual motion estimation (TR, LP), p. 613.

EDTC-1997-TangelderDK

Smart sensor system application: an integrated compass (RJWTT, GD, HGK), pp. 195–199.

AdaEurope-1997-DobbingR #ada #named #realtime #tool support

T-SMART — Task-Safe, Minimal Ada Realtime Toolset (BD, MRF), pp. 244–253.

SOSP-1997-NiehL #design #evaluation #implementation #multi

The Design, Implementation and Evaluation of SMART: A Scheduler for Multimedia Applications (JN, MSL), pp. 184–197.

OOPSLA-1995-HainesMR #approach #named #object-oriented

SmartFiles: An OO Approach to Data File Interoperabilty (MH, PM, JVR), pp. 453–466.

SOSP-1995-NiehL #multi #named

SMART: A Processor Scheduler for Multimedia Applications (JN, MSL), p. 233.

TRI-Ada-1994-GasperoniB #compilation

Smart Recompilation and the GNAT Compiler (FG, PB), pp. 104–111.

ICSE-1994-GargMPST #approach #process

The SMART Approach for Software Process Engineering (PKG, PM, TP, WS, GT), pp. 341–350.

HCI-ACS-1993-Badham #design #implementation

Implementing Smart Manufacturing: Some Techniques for Designer/User Cooperation (RJB), pp. 62–67.

TRI-Ada-1993-Brett #ada #compilation #implementation #what

Smart Recompilation: What Is It?, Its Benefits for the User, and Its Implementation in the DEC Ada Compilation System (BRB), pp. 277–287.

DAC-1988-BergstraesserGHW #architecture #named #synthesis #tool support

SMART: Tools and Methods for Synthesis of VLSI Chips with Processor Architecture (TB, JG, KH, SW), pp. 654–657.

CCHSC-1988-Alblas

Attributed Tree Transformations with Delayed and Smart Re-Evaluation (HA), pp. 160–174.

HCI-SES-1987-MoodyJR #how #question

Vigilance and Its Role in AI Technology: How Smart is Too Smart? (TM, MJ, RR), pp. 263–270.

POPL-1985-TichyB

Smart Recompilation (WFT, MCB), pp. 236–244.

SCC-1984-FisherERN #compilation #parallel

Parallel processing: a smart compiler and a dumb machine (JAF, JRE, JCR, AN), pp. 37–47.

Best-of-PLDI-1984-FisherERN #compilation #parallel

Parallel processing: a smart compiler and a dumb machine (with retrospective) (JAF, JRE, JCR, AN), pp. 112–124.