Stem ambient$ (all stems)

102 papers:

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

SANER-2015-LiZXBPGZ #named #online #programming

amAssist: In-IDE ambient search of online programming resources (HL, XZ, ZX, LB, XP, DG, WZ), pp. 390–398.

CSCW-2015-SnyderMCCSAG #named #social

MoodLight: Exploring Personal and Social Implications of Ambient Display of Biosensor Data (JS, MM, JTC, PFC, ES, SA, GG), pp. 143–153.

DUXU-DD-2015-DiasVSVPSE #approach #testing #usability

A Living Labs Approach for Usability Testing of Ambient Assisted Living Technologies (MSD, EV, FS, AV, FMP, NS, SE), pp. 167–178.

ICEIS-v2-2015-MaranMAWO #information management #query

Proactive Domain Data Querying based on Context Information in Ambient Assisted Living Environments (VM, AM, IA, LKW, JPMdO), pp. 610–617.

HPCA-2015-MaZLSLLS0N #architecture #energy

Architecture exploration for ambient energy harvesting nonvolatile processors (KM, YZ, SL, KS, XL, YL, JS, YX, VN), pp. 526–537.

DATE-2014-PaternaZR #component #mobile

Ambient variation-tolerant and inter components aware thermal management for mobile system on chips (FP, JZ, TSR), pp. 1–6.

FM-2014-LiuGL #analysis #reliability

MDP-Based Reliability Analysis of an Ambient Assisted Living System (YL, LG, YL), pp. 688–702.

CHI-2014-LeeLKKHC #approach

An EEG-based approach for evaluating audio notifications under ambient sounds (YCL, WCL, JTK, LWK, YTH, FYC), pp. 3817–3826.

CHI-2014-WinklerSDR #constant #mobile #pervasive

Pervasive information through constant personal projection: the ambient mobile pervasive display (AMP-D) (CW, JS, DD, ER), pp. 4117–4126.

HCI-AIMT-2014-JinDC #interactive

Exploring Initiative Interactions on a Proxemic and Ambient Public Screen (HJ, BD, RC), pp. 567–577.

SCSM-2014-PensasVGKKCV #communication #network #social #using

Using Ambient Communication and Social Networking Technologies to Reduce Loneliness of Elders (HP, AMV, MG, TK, SK, SC, JV), pp. 91–102.

ICEIS-v2-2014-MachadoLPWO #approach

A Reactive and Proactive Approach for Ambient Intelligence (AM, DL, AMP, LKW, JPMdO), pp. 501–512.

SAC-2014-Umatani #calculus #implementation

Practical implementation techniques of ambient calculus in conventional dynamic languages (SU), pp. 1345–1351.

ICEIS-v2-2013-MachadoPATWO

Situation-awareness as a Key for Proactive Actions in Ambient Assisted Living (AM, AMP, IA, LHT, LKW, JPMdO), pp. 418–426.

CHI-2012-HalveyWBH #feedback #quote

“Baby it’s cold outside”: the influence of ambient temperature and humidity on thermal feedback (MH, GW, SAB, SAH), pp. 715–724.

ICSE-2012-DownsPH

Ambient awareness of build status in collocated software teams (JD, BP, JGH), pp. 507–517.

CHI-2011-BalaamFGH

Enhancing interactional synchrony with an ambient display (MB, GF, JG, EH), pp. 867–876.

CHI-2011-HazlewoodSC #case study

Issues in evaluating ambient displays in the wild: two case studies (WRH, ES, KC), pp. 877–886.

CHI-2011-LucaFMSHKH #internet #security #visualisation

Does MoodyBoard make internet use more secure?: evaluating an ambient security visualization tool (ADL, BF, MEM, JS, DH, NK, HH), pp. 887–890.

CHI-2011-MatejkaGF

Ambient help (JM, TG, GWF), pp. 2751–2760.

DUXU-v2-2011-BaughD #design #experience #locality #user interface

Designing Notebook Computers to Ensure a Comfortable User Experience: Effects of Surface Temperature, Material, Locality, and Ambient Temperature (EB, RD), pp. 539–547.

HCI-MIIE-2011-Abril-JimenezVWAG #framework #user interface

User Interface Framework for Ambient Intelligence Platforms (PAJ, CVM, MTAW, HA, JRBG), pp. 129–136.

HIMI-v1-2011-MarincSBLHK #interactive #personalisation

Interactive Personalization of Ambient Assisted Living Environments (AM, CS, AB, CL, CH, AK), pp. 567–576.

SAC-2011-BoixNCMD #debugging #message passing #named

REME-D: a reflective epidemic message-oriented debugger for ambient-oriented applications (EGB, CN, TVC, WDM, TD), pp. 1275–1281.

SAC-2011-MajchrzakJLU #integration #mobile #social #towards #web

Towards better social integration through mobile web 2.0 ambient assisted living devices (TAM, AJ, ML, FÜ), pp. 821–822.

SOFTVIS-2010-Murphy-HillB #interactive #smell #visualisation

An interactive ambient visualization for code smells (ERMH, APB), pp. 5–14.

KR-2010-AntoniouPB #reasoning

Reasoning about Context in Ambient Intelligence Environments: A Report from the Field (GA, CP, AB).

FoSSaCS-2009-BonchiGM #mobile #semantics

Reactive Systems, Barbed Semantics, and the Mobile Ambients (FB, FG, GVM), pp. 272–287.

DHM-2009-AksenovVLC #approach

Ambient Compass: One Approach to Model Spatial Relations (PA, GV, KL, KC), pp. 183–191.

HCD-2009-Rocker

Perceived Usefulness and Perceived Ease-of-Use of Ambient Intelligence Applications in Office Environments (CR), pp. 1052–1061.

HCI-AUII-2009-BillinghurstGSD #artificial reality #interface #towards

Towards Ambient Augmented Reality with Tangible Interfaces (MB, RG, HS, AD), pp. 387–396.

HCI-AUII-2009-LeeSW #architecture #user interface

Context-Aware Cognitive Agent Architecture for Ambient User Interfaces (YL, CS, WW), pp. 456–463.

HCI-AUII-2009-Sixsmith #comprehension

Understanding the Older User of Ambient Technologies (AS), pp. 511–519.

HCI-VAD-2009-BreinerGMMZ #adaptation #runtime #user interface

Run-Time Adaptation of a Universal User Interface for Ambient Intelligent Production Environments (KB, DG, OM, GM, DZ), pp. 663–672.

ICEIS-ISAS-2009-ArmenterosMMS #communication #dependence #prototype #security

Security and Dependability in Ambient Intelligence Scenarios — The Communication Prototype (ÁA, AM, AM, DS), pp. 49–56.

SAC-2009-BandiniBV #design #self #simulation

Simulation supporting the design of self-organizing ambient intelligent systems (SB, AB, GV), pp. 2082–2086.

SAC-2009-FranqueiraLE #framework #mobile #modelling #multi #simulation

Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients (VNLF, RHCL, PvE), pp. 66–73.

ICSE-2009-BoccuzzoG

CocoViz with ambient audio software exploration (SB, HG), pp. 571–574.

ICGT-2008-GadducciM #distributed #implementation #mobile

A Decentralized Implementation of Mobile Ambients (FG, GVM), pp. 115–130.

CHI-2008-HarboeMBTMR #experience #people #social

Ambient social tv: drawing people into a shared experience (GH, CJM, FB, JT, NM, GR), pp. 1–10.

QAPL-2008-BakelKVH #modelling

Modelling Intracellular Fate of FGF Receptors With BioAmbients (SvB, IK, MGV, JKH), pp. 181–197.

SAC-2008-LeeKRG #framework #mobile

A generic mobile agent framework for ambient intelligence (YCL, ESK, SR, BG), pp. 1866–1871.

ITiCSE-2007-BureaC #complexity

Complexity of ambient intelligence in managerial work (VB, PC), p. 325.

HCI-IDU-2007-VerpoortenLC #interactive #predict

Task-Based Prediction of Interaction Patterns for Ambient Intelligence Environments (KV, KL, KC), pp. 1216–1225.

HCI-IPT-2007-MavrommatiD #bibliography #perspective #tool support

End User Tools for Ambient Intelligence Environments: An Overview (IM, JD), pp. 864–872.

HCI-IPT-2007-ZhangHHLCS #human-computer #interactive #research

The Research on Human-Computer Interaction in Ambient Intelligence (YZ, YH, ZH, HL, RC, HS), pp. 1030–1039.

HIMI-IIE-2007-SuzukiUKAI #adaptation #communication #interactive #towards

Toward Adaptive Interaction — The Effect of Ambient Sounds in an Ultra-Realistic Communication System (NS, IU, TK, HA, NI), pp. 185–194.

VISSOFT-2007-ParninG #design #guidelines #visualisation

Design Guidelines for Ambient Software Visualization in the Workplace (CP, CG), pp. 18–25.

ITiCSE-2006-Bures

Systems thinking as a basis for ambient intelligence (VB), p. 318.

CHI-2006-KuriharaGOI #multimodal #predict #recognition #speech

Speech pen: predictive handwriting based on ambient multimodal recognition (KK, MG, JO, TI), pp. 851–860.

SEKE-2006-ManaSSM #towards

Towards Secure Ambient Intelligence Scenarios (AM, FSC, DS, AM), pp. 386–391.

ECOOP-2006-DedeckerCMDM #programming

Ambient-Oriented Programming in AmbientTalk (JD, TVC, SM, TD, WDM), pp. 230–254.

PPDP-2006-GarraldaCD #named

BASS: boxed ambients with safe sessions (PG, ABC, MDC), pp. 61–72.

QAPL-2006-VigliottiH #calculus #probability

Stochastic Ambient Calculus (MGV, PGH), pp. 169–186.

ICSE-2006-NehmerBKL #approach

Living assistance systems: an ambient intelligence approach (JN, MB, AIK, RL), pp. 43–50.

WICSA-2005-AliPRC #aspect-oriented #calculus #mobile

Introducing Ambient Calculus in Mobile Aspect-Oriented Software (NA, JP, IR, JÁC), pp. 233–234.

ASE-2005-MokhtarLGI #composition

QoS-aware dynamic service composition in ambient intelligence environments (SBM, JL, NG, VI), pp. 317–320.

WRLA-2004-CenciarelliTT05 #graph grammar

Ambient Graph Rewriting (PC, IT, AT), pp. 335–351.

ESOP-2005-BusiZ #mobile #reachability

Deciding Reachability in Mobile Ambients (NB, GZ), pp. 248–262.

RE-2005-IvanovicMSW #case study #elicitation #requirements

Eliciting User Requirements for Ambient Intelligent Systems: A Case Study (AI, AM, KS, RW), pp. 477–478.

DAC-2004-HuM04a #adaptation #clustering #multi

Adaptive data partitioning for ambient multimedia (XH, RM), pp. 562–565.

ESOP-2004-LeviB #analysis #control flow

A Control Flow Analysis for Safe and Boxed Ambients (FL, CB), pp. 188–203.

ESOP-2004-LhoussaineS #calculus

A Dependently Typed Ambient Calculus (CL, VS), pp. 171–187.

ESOP-2004-PhillipsYE #automaton #calculus #distributed

A Distributed Abstract Machine for Boxed Ambient Calculi (AP, NY, SE), pp. 155–170.

FoSSaCS-2004-PhillipsV #calculus

Electoral Systems in Ambient Calculi (IP, MGV), pp. 408–422.

SAS-2004-NielsonNP #analysis

Spatial Analysis of BioAmbients (HRN, FN, HP), pp. 69–83.

DATE-2003-AartsR #challenge #design

IC Design Challenges for Ambient Intelligence (EHLA, RR), pp. 10002–10007.

DATE-2003-BastenBCLLMZ #scalability

Scaling into Ambient Intelligence (TB, LB, AC, ML, JL, RM, FZ), pp. 10076–10083.

DATE-2003-LindwerMBZMJC #concept

Ambient Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts (ML, DM, TB, RZ, RM, SJ, EC), pp. 10010–10017.

HT-2003-WealMTR #experience #game studies

The ambient wood journals: replaying the experience (MJW, DTM, MKT, DDR), pp. 20–27.

FoSSaCS-2003-BonevaT

When Ambients Cannot Be Opened (IB, JMT), pp. 169–184.

TACAS-2003-BraghinCFFLP #analysis #bound #named

BANANA — A Tool for Boundary Ambients Nesting ANAlysis (CB, AC, SF, RF, FLL, CP), pp. 437–441.

ICALP-2003-MerroN #bisimulation #mobile #proving

Bisimulation Proof Methods for Mobile Ambients (MM, FZN), pp. 584–598.

CHI-2003-MankoffDHKLA #evaluation #heuristic

Heuristic evaluation of ambient displays (JM, AKD, GH, JAK, SL, MA), pp. 169–176.

VMCAI-2003-BraghinCFLP #analysis #complexity #mobile

Complexity of Nesting Analysis in Mobile Ambients (CB, AC, RF, FLL, CP), pp. 86–101.

VMCAI-2003-Levi #communication #evolution

Types for Evolving Communication in Safe Ambients (FL), pp. 102–115.

ESOP-2002-CharatonikGT #mobile

Finite-Control Mobile Ambients (WC, ADG, JMT), pp. 295–313.

POPL-2002-MerroH #bisimulation

Bisimulation congruences in safe ambients (MM, MH), pp. 71–80.

LICS-2002-HirschkoffLS #decidability #logic

Separability, Expressiveness, and Decidability in the Ambient Logic (DH, ÉL, DS), pp. 423–432.

VMCAI-2002-CoppoD #higher-order #mobile

A Fully Abstract Model for Higher-Order Mobile Ambients (MC, MDC), pp. 255–271.

VLDB-2001-Sol #database #embedded #network #ubiquitous

Ambient Intelligence with the Ubiquitous Network, the Embedded Computer Devices and the Hidden Databases (abstract) (EJS), p. 14.

ESOP-2001-AmtoftKP #question #what

What Are Polymorphically-Typed Ambients? (TA, AJK, SMPG), pp. 206–220.

ESOP-2001-CardelliG #logic #query

A Query Language Based on the Ambient Logic (LC, GG), pp. 1–22.

FoSSaCS-2001-CharatonikDGMT #complexity #mobile #model checking

The Complexity of Model Checking Mobile Ambients (WC, SDZ, ADG, SM, JMT), pp. 152–167.

SAS-2001-Feret #abstract interpretation #mobile #static analysis

Abstract Interpretation-Based Static Analysis of Mobile Ambients (JF), pp. 412–430.

SAS-2001-LeviM #abstract interpretation #framework #mobile

An Abstract Interpretation Framework for Analysing Mobile Ambients (FL, SM), pp. 395–411.

ICALP-2001-SangiorgiV #automaton #distributed

A Distributed Abstract Machine for Safe Ambients (DS, AV), pp. 408–420.

POPL-2001-BugliesiC

Secure safe ambients (MB, GC), pp. 222–235.

POPL-2001-Sangiorgi #logic

Extensionality and Intensionality of the Ambient Logics (DS), pp. 4–13.

SAC-2001-FerrariT #calculus #debugging #mobile

A debugging calculus for mobile ambients (GLF, ET).

CSL-2001-CharatonikT #decidability #mobile #model checking

The Decidability of Model Checking Mobile Ambients (WC, JMT), pp. 339–354.

ESOP-2000-NielsonNS #analysis #mobile

A Kleene Analysis of Mobile Ambients (FN, HRN, SS), pp. 305–319.

FoSSaCS-2000-Zimmer #algorithm #mobile #type system

Subtyping and Typing Algorithms for Mobile Ambients (PZ), pp. 375–390.

POPL-2000-CardelliG #logic #mobile

Anytime, Anywhere: Modal Logics for Mobile Ambients (LC, ADG), pp. 365–377.

POPL-2000-LeviS

Controlling Interference in Ambients (FL, DS), pp. 352–364.

POPL-2000-NielsonN #analysis #mobile

Shape Analysis for Mobile Ambients (HRN, FN), pp. 142–154.

FoSSaCS-1999-GordonC #equation #mobile

Equational Properties of Mobile Ambients (ADG, LC), pp. 212–226.

SAS-1999-HansenJNN #abstract interpretation #mobile

Abstract Interpretation of Mobile Ambients (RRH, JGJ, FN, HRN), pp. 134–148.

ICALP-1999-CardelliGG #mobile

Mobility Types for Mobile Ambients (LC, ADG, GG), pp. 230–239.

POPL-1999-CardelliG #mobile

Types for Mobile Ambients (LC, ADG), pp. 79–92.

FoSSaCS-1998-CardelliG #mobile

Mobile Ambients (LC, ADG), pp. 140–155.