Tag #communication
1368 papers:
 FDG-2019-LuPN #analysis #developer #game studies FDG-2019-LuPN #analysis #developer #game studies
- Game postmortems vs. developer Reddit AMAs: computational analysis of developer communication (CL, JP, TN), p. 7.
 FDG-2019-SteinbockLKPK #education #game studies #named FDG-2019-SteinbockLKPK #education #game studies #named
- Cologon: a game to foster communication skills in inclusive education (MS, NL, FK, MP, GK), p. 5.
 ICGJ-2019-WhitePYJS #game studies ICGJ-2019-WhitePYJS #game studies
- Communication Beyond Languages Realized by International Game Jams (JW, IP, RY, SJ, DS), p. 6.
 ICML-2019-AcharyaS #complexity #estimation ICML-2019-AcharyaS #complexity #estimation
- Communication Complexity in Locally Private Distribution Estimation and Heavy Hitters (JA, ZS), pp. 51–60.
 ICML-2019-AcharyaSFS #distributed #learning #sublinear ICML-2019-AcharyaSFS #distributed #learning #sublinear
- Distributed Learning with Sublinear Communication (JA, CDS, DJF, KS), pp. 40–50.
 ICML-2019-DasGRBPRP #multi #named ICML-2019-DasGRBPRP #multi #named
- TarMAC: Targeted Multi-Agent Communication (AD, TG, JR, DB, DP, MR, JP), pp. 1538–1546.
 ICML-2019-HaddadpourKMC #distributed #optimisation ICML-2019-HaddadpourKMC #distributed #optimisation
- Trading Redundancy for Communication: Speeding up Distributed SGD for Non-convex Optimization (FH, MMK, MM, VRC), pp. 2545–2554.
 ICML-2019-KoloskovaSJ #algorithm #distributed #optimisation #probability ICML-2019-KoloskovaSJ #algorithm #distributed #optimisation #probability
- Decentralized Stochastic Optimization and Gossip Algorithms with Compressed Communication (AK, SUS, MJ), pp. 3478–3487.
 ICML-2019-YuJ #complexity #on the #optimisation #parallel #probability ICML-2019-YuJ #complexity #on the #optimisation #parallel #probability
- On the Computation and Communication Complexity of Parallel SGD with Dynamic Batch Sizes for Stochastic Non-Convex Optimization (HY, RJ), pp. 7174–7183.
 ICML-2019-YuJY #analysis #distributed #linear #on the #optimisation #performance ICML-2019-YuJY #analysis #distributed #linear #on the #optimisation #performance
- On the Linear Speedup Analysis of Communication Efficient Momentum SGD for Distributed Non-Convex Optimization (HY, RJ, SY), pp. 7184–7193.
 POPL-2019-CastroHJNY #api #distributed #parametricity #programming #static typing #using POPL-2019-CastroHJNY #api #distributed #parametricity #programming #static typing #using
- Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures (DCP, RH, SSJ, NN, NY), p. 30.
 ESEC-FSE-2019-Gizzatullina #agile #empirical #problem #requirements ESEC-FSE-2019-Gizzatullina #agile #empirical #problem #requirements
- Empirical study of customer communication problem in agile requirements engineering (IG), pp. 1262–1264.
 CASE-2019-GildertPT #performance CASE-2019-GildertPT #performance
- Comparing The Performance of Explicit and Implicit Communication in Simple Object Manipulation Tasks (NG, AP, JT), pp. 1456–1462.
 CAV-2019-LangeY #automaton #interactive #verification CAV-2019-LangeY #automaton #interactive #verification
- Verifying Asynchronous Interactions via Communicating Session Automata (JL, NY), pp. 97–117.
 TAP-2019-PetrenkoA #learning #state machine TAP-2019-PetrenkoA #learning #state machine
- Learning Communicating State Machines (AP, FA), pp. 112–128.
 ICSA-2018-KugeleHP #architecture ICSA-2018-KugeleHP #architecture
- Data-Centric Communication and Containerization for Future Automotive Software Architectures (SK, DH, JP), pp. 65–74.
 JCDL-2018-Strasser #matter #open source #why JCDL-2018-Strasser #matter #open source #why
- Open Source Tech for Scholarly Communication: Why It Matters (CS), p. 5.
 VS-Games-2018-CliffordHMOBL VS-Games-2018-CliffordHMOBL
- Evaluating the Effects of Realistic Communication Disruptions in VR Training for Aerial Firefighting (RMSC, SH, NM, HO, MB, RWL), pp. 1–8.
 VS-Games-2018-SpyridonisDO #collaboration #game studies #multi #online #performance VS-Games-2018-SpyridonisDO #collaboration #game studies #multi #online #performance
- Efficient In-Game Communication in Collaborative Online Multiplayer Games (FS, DDZ, MPO), pp. 1–4.
 ICML-2018-ShenMZZQ #convergence #distributed #learning #performance #probability #towards ICML-2018-ShenMZZQ #convergence #distributed #learning #performance #probability #towards
- Towards More Efficient Stochastic Decentralized Learning: Faster Convergence and Sparse Communication (ZS, AM, TZ, PZ, HQ), pp. 4631–4640.
 ICML-2018-ZhuL #constraints #distributed #parametricity ICML-2018-ZhuL #constraints #distributed #parametricity
- Distributed Nonparametric Regression under Communication Constraints (YZ, JL), pp. 6004–6012.
 ASE-2018-HammadGM #android #component #self ASE-2018-HammadGM #android #component #self
- Self-protection of Android systems from inter-component communication attacks (MH, JG, SM), pp. 726–737.
 ESEC-FSE-2018-ZhaoARJO #android #static analysis ESEC-FSE-2018-ZhaoARJO #android #static analysis
- Neural-augmented static analysis of Android communication (JZ, AA, VR, SJ, DO), pp. 342–353.
 CASE-2018-KastnerKSJH #architecture #cyber-physical #design #performance CASE-2018-KastnerKSJH #architecture #cyber-physical #design #performance
- Design of an efficient Communication Architecture for Cyber-Physical Production Systems (FK, DK, CS, BJ, MH), pp. 829–835.
 CIG-2017-GrossiR #behaviour #multi CIG-2017-GrossiR #behaviour #multi
- Evolved communication strategies and emergent behaviour of multi-agents in pursuit domains (GG, BR), pp. 110–117.
 FDG-2017-DayZ #interactive FDG-2017-DayZ #interactive
- Agency informing techniques: communicating player agency in interactive narratives (TD, JZ), p. 4.
 CIKM-2017-HuHQ #algorithm #parallel #parametricity #performance CIKM-2017-HuHQ #algorithm #parallel #parametricity #performance
- A Communication Efficient Parallel DBSCAN Algorithm based on Parameter Server (XH, JH0, MQ), pp. 2107–2110.
 ICML-2017-SureshYKM #distributed #estimation ICML-2017-SureshYKM #distributed #estimation
- Distributed Mean Estimation with Limited Communication (ATS, FXY, SK, HBM), pp. 3329–3337.
 Onward-2017-Prokopec #encoding Onward-2017-Prokopec #encoding
- Encoding the building blocks of communication (AP), pp. 104–118.
 SAS-2017-OuadjaoutM #markov #protocol #static analysis #using SAS-2017-OuadjaoutM #markov #protocol #static analysis #using
- Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains (AO, AM), pp. 277–298.
 ESEC-FSE-2017-GarciaHGM #android #automation #component #generative ESEC-FSE-2017-GarciaHGM #android #automation #component #generative
- Automatic generation of inter-component communication exploits for Android applications (JG, MH, NG, SM), pp. 661–671.
 ESEC-FSE-2017-Kafer #re-engineering ESEC-FSE-2017-Kafer #re-engineering
- Summarizing software engineering communication artifacts from different sources (VK), pp. 1038–1041.
 CASE-2017-YuDZH #distributed #optimisation #resource management CASE-2017-YuDZH #distributed #optimisation #resource management
- Distributed resource allocation optimization with discrete-time communication and application to economic dispatch in power systems (WY, ZD, HZ, YH), pp. 1226–1231.
 ESOP-2017-Atkey #process #semantics ESOP-2017-Atkey #process #semantics
- Observed Communication Semantics for Classical Processes (RA), pp. 56–82.
 CAV-2017-SelyuninJNRHBNG #monitoring #protocol #runtime CAV-2017-SelyuninJNRHBNG #monitoring #protocol #runtime
- Runtime Monitoring with Recovery of the SENT Communication Protocol (KS, SJ, TN, CR, UH, EB, DN, RG), pp. 336–355.
 ICST-2017-TapplerAB #automaton #learning #modelling #testing ICST-2017-TapplerAB #automaton #learning #modelling #testing
- Model-Based Testing IoT Communication via Active Automata Learning (MT, BKA, RB), pp. 276–287.
 VMCAI-2017-BotbolCG #process #static analysis #transducer #using VMCAI-2017-BotbolCG #process #static analysis #transducer #using
- Static Analysis of Communicating Processes Using Symbolic Transducers (VB, EC, TLG), pp. 73–90.
 QoSA-2016-FreibergPE #distributed #source code QoSA-2016-FreibergPE #distributed #source code
- Retargetable Communication for Distributed Programs (OF, JP, ME), pp. 21–30.
 MSR-2016-AhmadKSA #android #challenge #developer MSR-2016-AhmadKSA #android #challenge #developer
- Inter-app communication in Android: developer challenges (WA, CK, JS, JA), pp. 177–188.
 SEFM-2016-CanalS #adaptation SEFM-2016-CanalS #adaptation
- Stability-Based Adaptation of Asynchronously Communicating Software (CC, GS), pp. 321–336.
 SEFM-2016-JahnigGG #verification SEFM-2016-JahnigGG #verification
- Refinement-Based Verification of Communicating Unstructured Code (NJ, TG, SG), pp. 61–75.
 VS-Games-2016-Piedra-Fernandez #artificial reality #people #using VS-Games-2016-Piedra-Fernandez #artificial reality #people #using
- Sign Communication for People with Disabilities Using Kinect Technology at Home (JAPF, JJOC, CBB, LIM), pp. 1–2.
 CIKM-2016-Shankaralingappa CIKM-2016-Shankaralingappa
- Extracting Skill Endorsements from Personal Communication Data (DMS, GDFM, AG), pp. 1961–1964.
 KDD-2016-BalcanLSW0 #analysis #component #distributed #kernel #performance KDD-2016-BalcanLSW0 #analysis #component #distributed #kernel #performance
- Communication Efficient Distributed Kernel Principal Component Analysis (MFB, YL, LS, DPW, BX0), pp. 725–734.
 MoDELS-2016-BarnesCVP #industrial #protocol #simulation #towards #verification MoDELS-2016-BarnesCVP #industrial #protocol #simulation #towards #verification
- Towards the verification of industrial communication protocols through a simulation environment based on QEMU and systemC (CB, JMC, FV, AP), pp. 207–214.
 FSE-2016-JohnsonPSFEMHS #program analysis FSE-2016-JohnsonPSFEMHS #program analysis
- A cross-tool communication study on program analysis tool notifications (BJ, RP, JS0, DF, SE, ERMH, SH, CS), pp. 73–84.
 ASPLOS-2016-AbadalCAT #architecture #named #performance ASPLOS-2016-AbadalCAT #architecture #named #performance
- WiSync: An Architecture for Fast Synchronization through On-Chip Wireless Communication (SA, ACA, EA, JT), pp. 3–17.
 CASE-2016-SchererR #constraints #energy #multi #persistent CASE-2016-SchererR #constraints #energy #multi #persistent
- Persistent multi-UAV surveillance with energy and communication constraints (JS, BR), pp. 1225–1230.
 CASE-2016-Wason #automation #internet CASE-2016-Wason #automation #internet
- Robot Raconteur® version 0.8: An updated communication system for robotics, automation, building control, and the Internet of Things (JDW), pp. 595–602.
 ESOP-2016-DOsualdoO #on the #π-calculus ESOP-2016-DOsualdoO #on the #π-calculus
- On Hierarchical Communication Topologies in the π-calculus (ED, CHLO), pp. 149–175.
 CBSE-2015-KitPMBK #component #optimisation CBSE-2015-KitPMBK #component #optimisation
- Employing Domain Knowledge for Optimizing Component Communication (MK, FP, VM, TB, OK), pp. 59–64.
 HT-2015-BurnapCS #analysis #classification #twitter HT-2015-BurnapCS #analysis #classification #twitter
- Machine Classification and Analysis of Suicide-Related Communication on Twitter (PB, WC, JS), pp. 75–84.
 PODS-2015-GuchtWWZ #complexity #distributed #matrix #multi PODS-2015-GuchtWWZ #complexity #distributed #matrix #multi
- The Communication Complexity of Distributed Set-Joins with Applications to Matrix Multiplication (DVG, RW, DPW, QZ), pp. 199–212.
 SIGMOD-2015-ClinkenbeardN #scheduling SIGMOD-2015-ClinkenbeardN #scheduling
- Job Scheduling with Minimizing Data Communication Costs (TC, AN), pp. 2071–2072.
 SIGMOD-2015-GurukarRR #approach #commit #mining #named #network #scalability SIGMOD-2015-GurukarRR #approach #commit #mining #named #network #scalability
- COMMIT: A Scalable Approach to Mining Communication Motifs from Dynamic Networks (SG, SR, BR), pp. 475–489.
 VLDB-2015-HammoudRNBS #adaptation #distributed #named #query #rdf VLDB-2015-HammoudRNBS #adaptation #distributed #named #query #rdf
- DREAM: Distributed RDF Engine with Adaptive Query Planner and Minimal Communication (MH, DAR, RN, SMRB, SS), pp. 654–665.
 SANER-2015-Felden SANER-2015-Felden
- SKilLed communication for toolchains (TF), p. 596.
 ICALP-v1-2015-FontesJKLLR #complexity ICALP-v1-2015-FontesJKLLR #complexity
- Relative Discrepancy Does not Separate Information and Communication Complexity (LF, RJ, IK, SL, ML, JR), pp. 506–516.
 ICALP-v1-2015-WeinsteinW #data type ICALP-v1-2015-WeinsteinW #data type
- The Simultaneous Communication of Disjointness with Applications to Data Streams (OW, DPW), pp. 1082–1093.
 ICALP-v2-2015-ChattopadhyayR ICALP-v2-2015-ChattopadhyayR
- The Range of Topological Effects on Communication (AC, AR), pp. 540–551.
 ICALP-v2-2015-DaniMSY #interactive ICALP-v2-2015-DaniMSY #interactive
- Interactive Communication with Unknown Noise Rate (VD, MM, JS, MY), pp. 575–587.
 ICFP-2015-SwordsST #contract #monitoring ICFP-2015-SwordsST #contract #monitoring
- Expressing contract monitors as patterns of communication (CS, AS, STH), pp. 387–399.
 ICFP-2015-YangCAEKN #normalisation #performance ICFP-2015-YangCAEKN #normalisation #performance
- Efficient communication and collection with compact normal forms (EZY, GC, ÖSA, AEH, AK, RRN), pp. 362–374.
 CHI-PLAY-2015-JoiJKPLC #gamification #named #smarttech CHI-PLAY-2015-JoiJKPLC #gamification #named #smarttech
- WearLove: Affective Communication via Wearable Device with Gamification (YRJ, BTJ, JHK, KHP, TL, JDC), pp. 559–564.
 CHI-PLAY-2015-VaddiWTSKN #validation CHI-PLAY-2015-VaddiWTSKN #validation
- Validating Test Chambers to Study Cooperative Communication Mechanics in Portal 2 (DV, RRW, ZOT, SNS, RK, LEN), pp. 721–726.
 VS-Games-2015-PanzoliPL #game studies #learning VS-Games-2015-PanzoliPL #game studies #learning
- Communication and Knowledge Sharing in an Immersive Learning Game (DP, CPL, PL), pp. 1–8.
 CHI-2015-BaeLBK #experience CHI-2015-BaeLBK #experience
- Pause Moment Experience in SNS Communication (JeB, YKL, JbB, MK), pp. 2113–2116.
 CHI-2015-BlomkvistPA #agile #bound #distributed CHI-2015-BlomkvistPA #agile #bound #distributed
- Communication through Boundary Objects in Distributed Agile Teams (JKB, JP, JÅ), pp. 1875–1884.
 CHI-2015-CramerJ #question #what #why CHI-2015-CramerJ #question #what #why
- Couples’ Communication Channels: What, When & Why? (HC, MLJ), pp. 709–712.
 CHI-2015-LopesJB CHI-2015-LopesJB
- Affordance++: Allowing Objects to Communicate Dynamic Use (PL, PJ, PB), pp. 2515–2524.
 CHI-2015-MelvinBON #dependence #product line CHI-2015-MelvinBON #dependence #product line
- The Effect of Signal Expense and Dependability on Family Communication in Rural and Northern Canada (RMM, AB, EO, CN), pp. 717–726.
 CHI-2015-NevesFMBN #evaluation #exclamation #quote CHI-2015-NevesFMBN #evaluation #exclamation #quote
- “My Hand Doesn’t Listen to Me!”: Adoption and Evaluation of a Communication Technology for the “Oldest Old” (BBN, RLF, CM, RB, MN), pp. 1593–1602.
 CHI-2015-PerrierDDAKUJ #human-computer #hybrid #women CHI-2015-PerrierDDAKUJ #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.
 CSCW-2015-BiehlAD #comprehension CSCW-2015-BiehlAD #comprehension
- Not Really There: Understanding Embodied Communication Affordances in Team Perception and Participation (JTB, DA, AD), pp. 1567–1575.
 CSCW-2015-Erete #behaviour #how #online CSCW-2015-Erete #behaviour #how #online
- Engaging Around Neighborhood Issues: How Online Communication Affects Offline Behavior (SLE), pp. 1590–1601.
 DHM-EH-2015-SuzukiOSSI DHM-EH-2015-SuzukiOSSI
- Verbal and Nonverbal Skills in Open Communication: Comparing Experienced and Inexperienced Radio Duos (NS, YO, HS, MS, NI), pp. 490–499.
 DUXU-UI-2015-Albers DUXU-UI-2015-Albers
- Infographics and Communicating Complex Information (MJA), pp. 267–276.
 DUXU-UI-2015-GrimaldiCM #interface #named DUXU-UI-2015-GrimaldiCM #interface #named
- CubeMate: A New Communication Device as Non-verbal Interface in a Shared Space (RG, VC, CMM), pp. 434–443.
 DUXU-UI-2015-WiedauGFGW #named DUXU-UI-2015-WiedauGFGW #named
- Commiticator: Enhancing Non-verbal Communication by Means of Magnetic Vision (AW, DG, RF, TG, MW), pp. 705–714.
 HCI-DE-2015-ChomaZB #design #heuristic #protocol #usability HCI-DE-2015-ChomaZB #design #heuristic #protocol #usability
- Communication of Design Decisions and Usability Issues: A Protocol Based on Personas and Nielsen’s Heuristics (JC, LAMZ, DB), pp. 163–174.
 HCI-IT-2015-KondoTT #smarttech #using HCI-IT-2015-KondoTT #smarttech #using
- Information Select and Transfer Between Touch Panel and Wearable Devices Using Human Body Communication (YK, ST, JT), pp. 208–216.
 HCI-IT-2015-MeleMR #predict #type system #user interface HCI-IT-2015-MeleMR #predict #type system #user interface
- Beyond Direct Gaze Typing: A Predictive Graphic User Interface for Writing and Communicating by Gaze (MLM, DM, CER), pp. 66–77.
 HCI-IT-2015-SakamotoT #interactive HCI-IT-2015-SakamotoT #interactive
- Stage of Subconscious Interaction for Forming Communication Relationship (TS, YT), pp. 376–384.
 HIMI-IKC-2015-RobertsACC #complexity HIMI-IKC-2015-RobertsACC #complexity
- A Method for Calculating Air Traffic Controller Communication Complexity (ZR, BA, JC, DC), pp. 25–32.
 HIMI-IKD-2015-SasajimaOOS #twitter #using #visualisation HIMI-IKD-2015-SasajimaOOS #twitter #using #visualisation
- Proposal of a Visualization Method to Support Informal Communication Using Twitter Attributes (RS, KO, MO, AS), pp. 107–114.
 HIMI-IKD-2015-SkinnerVB #development #gesture #navigation HIMI-IKD-2015-SkinnerVB #development #gesture #navigation
- Development of Tactile and Gestural Displays for Navigation, Communication, and Robotic Control (AS, JMV, LB), pp. 445–457.
 LCT-2015-HiramatsuIISS #case study #mobile #using LCT-2015-HiramatsuIISS #case study #mobile #using
- A Study to Activate Communication by Using SNS on Mobile Phone — An Essay Lesson at the Elementary School (YH, AI, KI, FS, FS), pp. 492–502.
 LCT-2015-OnoOIY #case study LCT-2015-OnoOIY #case study
- Voice-Based Computer Mediated Communication for Individual Practice to Increase Speaking Proficiency: Construction and Pilot Study (YO, AO, MI, MY), pp. 115–123.
 SEKE-2015-DingLTV #architecture #empirical SEKE-2015-DingLTV #architecture #empirical
- Causes of Architecture Changes: An Empirical Study through the Communication in OSS Mailing Lists (WD, PL, AT, HvV), pp. 403–408.
 SIGIR-2015-Trippas #information retrieval SIGIR-2015-Trippas #information retrieval
- Spoken Conversational Search: Information Retrieval over a Speech-only Communication Channel (JRT), p. 1067.
 SIGIR-2015-TrippasSSC #comprehension #summary #towards #web SIGIR-2015-TrippasSSC #comprehension #summary #towards #web
- Towards Understanding the Impact of Length in Web Search Result Summaries over a Speech-only Communication Channel (JRT, DS, MS, LC), pp. 991–994.
 MoDELS-2015-AhmarGDP #modelling #uml #visual notation MoDELS-2015-AhmarGDP #modelling #uml #visual notation
- Enhancing the communication value of UML models with graphical layers (YEA, SG, CD, XLP), pp. 64–69.
 POPL-2015-LangeTY #visual notation POPL-2015-LangeTY #visual notation
- From Communicating Machines to Graphical Choreographies (JL, ET, NY), pp. 221–232.
 REFSQ-2015-Liskin #how #requirements REFSQ-2015-Liskin #how #requirements
- How Artifacts Support and Impede Requirements Communication (OL), pp. 132–147.
 ASE-2015-RubinGNR #mobile ASE-2015-RubinGNR #mobile
- Covert Communication in Mobile Applications (T) (JR, MIG, NN, MCR), pp. 647–657.
 ICSE-v1-2015-OcteauLDJM #analysis #android #component #constant ICSE-v1-2015-OcteauLDJM #analysis #android #component #constant
- Composite Constant Propagation: Application to Android Inter-Component Communication Analysis (DO, DL, MD, SJ, PM), pp. 77–88.
 SAC-2015-AlrahmanNLTV #calculus SAC-2015-AlrahmanNLTV #calculus
- A calculus for attribute-based communication (YAA, RDN, ML, FT, RV), pp. 1840–1845.
 SAC-2015-GotoT #detection #network #visual notation SAC-2015-GotoT #detection #network #visual notation
- Anomalous network communication detection system by visual pattern on a client computer (HG, TT), pp. 1263–1269.
 SAC-2015-LopesFBM #named #network #smarttech SAC-2015-LopesFBM #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-MainiS #distributed #multi #using SAC-2015-MainiS #distributed #multi #using
- Distributed task servicing using multiple robots with human-in-the-loop under limited communication range (PM, PBS), pp. 301–306.
 ASPLOS-2015-HeckeyPJHKBFCM #compilation #parallel #quantum ASPLOS-2015-HeckeyPJHKBFCM #compilation #parallel #quantum
- Compiler Management of Communication and Parallelism for Quantum Computation (JH, SP, AJ, AH, DK, KRB, DF, FTC, MM), pp. 445–456.
 ASPLOS-2015-YetimMM #execution #fault #named #parallel ASPLOS-2015-YetimMM #execution #fault #named #parallel
- CommGuard: Mitigating Communication Errors in Error-Prone Parallel Execution (YY, SM, MM), pp. 311–323.
 CASE-2015-KeroglouH #constraints #distributed #using CASE-2015-KeroglouH #constraints #distributed #using
- Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints (CK, CNH), pp. 831–836.
 DAC-2015-KehrQBS #execution #legacy #manycore #parallel DAC-2015-KehrQBS #execution #legacy #manycore #parallel
- Parallel execution of AUTOSAR legacy applications on multicore ECUs with timed implicit communication (SK, EQ, BB, GS), p. 6.
 DAC-2015-LiBTO #energy #performance DAC-2015-LiBTO #energy #performance
- Complementary communication path for energy efficient on-chip optical interconnects (HL, SLB, YT, IO), p. 6.
 DATE-2015-JoostenS #architecture #automation #design #modelling DATE-2015-JoostenS #architecture #automation #design #modelling
- Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs (SJCJ, JS), pp. 1413–1418.
 DATE-2015-KarkarTMY #distributed #multi DATE-2015-KarkarTMY #distributed #multi
- Mixed wire and surface-wave communication fabrics for decentralized on-chip multicasting (AK, KFT, TSTM, AY), pp. 794–799.
 DATE-2015-RamboE #analysis #worst-case DATE-2015-RamboE #analysis #worst-case
- Worst-case communication time analysis of networks-on-chip with shared virtual channels (EAR, RE), pp. 537–542.
 DATE-2015-TangAKP #configuration management DATE-2015-TangAKP #configuration management
- Dynamic reconfigurable puncturing for secure wireless communication (LT, JAA, AK, SP), pp. 888–891.
 HPCA-2015-NeuwirthFNB #architecture #scalability HPCA-2015-NeuwirthFNB #architecture #scalability
- Scalable communication architecture for network-attached accelerators (SN, DF, MN, UB), pp. 627–638.
 HPDC-2015-RothMV #automation #parallel HPDC-2015-RothMV #automation #parallel
- Automated Characterization of Parallel Application Communication Patterns (PCR, JSM, JSV), pp. 73–84.
 PDP-2015-Denis #named #parallel #thread PDP-2015-Denis #named #parallel #thread
- pioman: A Pthread-Based Multithreaded Communication Engine (AD), pp. 155–162.
 PDP-2015-LingCYCWL #framework #manycore #named #parallel #platform PDP-2015-LingCYCWL #framework #manycore #named #parallel #platform
- MACRON: The NoC-Based Many-Core Parallel Processing Platform and Its Applications in 4G Communication Systems (XL, YC, ZY, SC, XW, GL), pp. 396–403.
 PDP-2015-MunkFRC PDP-2015-MunkFRC
- Dynamic Guaranteed Service Communication on Best-Effort Networks-on-Chip (PM, MF, JR, JJC), pp. 353–360.
 PDP-2015-NanriSAMHKTS #interface #memory management #performance PDP-2015-NanriSAMHKTS #interface #memory management #performance
- Channel Interface: A Primitive Model for Memory Efficient Communication (TN, TS, YA, YM, HH, TK, TT, SS), pp. 177–181.
 PDP-2015-Reiter #framework #peer-to-peer PDP-2015-Reiter #framework #peer-to-peer
- Enabling Secure Communication over Existing Peer-to-Peer Frameworks (AR), pp. 575–582.
 PDP-2015-UtreraGM #multi #performance PDP-2015-UtreraGM #multi #performance
- Evaluating the Performance Impact of Communication Imbalance in Sparse Matrix-Vector Multiplication (GU, MG, XM), pp. 321–328.
 PPoPP-2015-DasSR #concurrent #detection #program analysis #thread PPoPP-2015-DasSR #concurrent #detection #program analysis #thread
- Section based program analysis to reduce overhead of detecting unsynchronized thread communication (MD, GS, JR), pp. 283–284.
 PPoPP-2015-HarshvardhanAR #algorithm #approach #graph #parallel PPoPP-2015-HarshvardhanAR #algorithm #approach #graph #parallel
- A hierarchical approach to reducing communication in parallel graph algorithms (H, NMA, LR), pp. 285–286.
 FASE-2015-CanalS #adaptation #modelling FASE-2015-CanalS #adaptation #modelling
- Model-Based Adaptation of Software Communicating via FIFO Buffers (CC, GS), pp. 252–266.
 STOC-2015-DvirG STOC-2015-DvirG
- 2-Server PIR with Sub-Polynomial Communication (ZD, SG), pp. 577–584.
 STOC-2015-GanorKR #exponential STOC-2015-GanorKR #exponential
- Exponential Separation of Information and Communication for Boolean Functions (AG, GK, RR), pp. 557–566.
 STOC-2015-GowersV #complexity STOC-2015-GowersV #complexity
- The communication complexity of interleaved group products (TG, EV), pp. 351–360.
 ISSTA-2015-GuiSLD #abstraction #assessment #distributed #refinement #reliability ISSTA-2015-GuiSLD #abstraction #assessment #distributed #refinement #reliability
- Reliability assessment for distributed systems via communication abstraction and refinement (LG, JS, YL, JSD), pp. 293–304.
 ISSTA-2015-HayTP #android #detection ISSTA-2015-HayTP #android #detection
- Dynamic detection of inter-application communication vulnerabilities in Android (RH, OT, MP), pp. 118–128.
 HT-2014-ChelaruHNS #network HT-2014-ChelaruHNS #network
- Recognizing skill networks and their specific communication and connection practices (SC, EH, KDN, PS), pp. 13–23.
 HT-2014-LiuW #twitter HT-2014-LiuW #twitter
- Cross-hierarchical communication in Twitter conflicts (ZL, IW), pp. 311–312.
 EDM-2014-Barmaki #education #performance EDM-2014-Barmaki #education #performance
- Nonverbal Communication and Teaching Performance (RB), pp. 441–443.
 ITiCSE-2014-HeldalSBM #industrial ITiCSE-2014-HeldalSBM #industrial
- Supporting communication within industrial doctoral projects: the thesis steering model (IH, ES, LB, RM), p. 325.
 CSMR-WCRE-2014-AlawnehHML #approach #effectiveness CSMR-WCRE-2014-AlawnehHML #approach #effectiveness
- A contextual approach for effective recovery of inter-process communication patterns from HPC traces (LA, AHL, SSM, YL), pp. 274–282.
 ICSME-2014-Bettenburg #developer #evolution #quality ICSME-2014-Bettenburg #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.
 AFL-2014-BordihnKM #automaton #finite #parallel AFL-2014-BordihnKM #automaton #finite #parallel
- Measuring Communication in Parallel Communicating Finite Automata (HB, MK, AM), pp. 124–138.
 DLT-2014-KutribM #automaton DLT-2014-KutribM #automaton
- Measuring Communication in Automata Systems — (MK, AM), pp. 260–274.
 ICALP-v1-2014-BavarianGI #on the ICALP-v1-2014-BavarianGI #on the
- On the Role of Shared Randomness in Simultaneous Communication (MB, DG, TI), pp. 150–162.
 FM-2014-ForejtKNS #analysis #precise #predict #source code FM-2014-ForejtKNS #analysis #precise #predict #source code
- Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs (VF, DK, GN, SS), pp. 263–278.
 CHI-PLAY-2014-BekkumBJMvLKB CHI-PLAY-2014-BekkumBJMvLKB
- Taxi trouble: communication is key (RvB, TLMB, SSJ, ACAM, JJEOv, FL, BAK, RB), pp. 387–390.
 CHI-PLAY-2014-ToupsHHJGG #framework #game studies CHI-PLAY-2014-ToupsHHJGG #framework #game studies
- A framework for cooperative communication game mechanics from grounded theory (ZOT, JH, WAH, AJ, WG, OG), pp. 257–266.
 VS-Games-2014-GuoSB #development #game studies #simulation VS-Games-2014-GuoSB #development #game studies #simulation
- A Serious Game Engine for Interview Simulation: Application to the Development of Doctor-Patient Communication Skills (JG0, NS, RB), pp. 1–6.
 CHI-2014-BetzW #concept #named CHI-2014-BetzW #concept #named
- EmergencyMessenger: a text based communication concept for indoor firefighting (MB, VW), pp. 1515–1524.
 CHI-2014-GaoYHEF #automation #multi CHI-2014-GaoYHEF #automation #multi
- Effects of public vs. private automated transcripts on multiparty communication between native and non-native english speakers (GG, NY, AMJH, AE, SRF), pp. 843–852.
 CHI-2014-HarbachHWS #privacy #security #using CHI-2014-HarbachHWS #privacy #security #using
- Using personal examples to improve risk communication for security & privacy decisions (MH, MH, SW, MS), pp. 2647–2656.
 CHI-2014-HautasaariYG #detection #quote CHI-2014-HautasaariYG #detection #quote
- “Maybe it was a joke”: emotion detection in text-only communication by non-native english speakers (AMJH, NY, GG), pp. 3715–3724.
 CHI-2014-JangMH #named CHI-2014-JangMH #named
- BodyDiagrams: improving communication of pain symptoms through drawing (AJ, DLM, JH), pp. 1153–1162.
 CHI-2014-MullenbachSCP CHI-2014-MullenbachSCP
- Exploring affective communication through variable-friction surface haptics (JM, CDS, JEC, AMP), pp. 3963–3972.
 CHI-2014-OduorNJHPH #how #product line CHI-2014-OduorNJHPH #how #product line
- How technology supports family communication in rural, suburban, and urban kenya (EO, CN, TKJ, KH, CP, SH), pp. 2705–2714.
 CHI-2014-ParkPN #mobile #named CHI-2014-ParkPN #mobile #named
- Wrigglo: shape-changing peripheral for interpersonal mobile communication (JP, YP, TJN), pp. 3973–3976.
 CHI-2014-Smith-ClarkeMC #mobile #network #using CHI-2014-Smith-ClarkeMC #mobile #network #using
- Poverty on the cheap: estimating poverty maps using aggregated mobile communication networks (CSC, AJM, LC), pp. 511–520.
 CHI-2014-WangL #gesture #similarity #using CHI-2014-WangL #gesture #similarity #using
- Kinect-taped communication: using motion sensing to study gesture use and similarity in face-to-face and computer-mediated brainstorming (HCW, CTL), pp. 3205–3214.
 CSCW-2014-EhrlichC #development #performance CSCW-2014-EhrlichC #development #performance
- The communication patterns of technical leaders: impact on product development team performance (KE, MC), pp. 733–744.
 CSCW-2014-GavilanesMQ #bound #social #twitter CSCW-2014-GavilanesMQ #bound #social #twitter
- Twitter ain’t without frontiers: economic, social, and cultural boundaries in international communication (ROGG, YM, DQ), pp. 1511–1522.
 CSCW-2014-SauppeM #coordination #how #social CSCW-2014-SauppeM #coordination #how #social
- How social cues shape task coordination and communication (AS, BM), pp. 97–108.
 CSCW-2014-YaroshMA #towards CSCW-2014-YaroshMA #towards
- Towards a questionnaire for measuring affective benefits and costs of communication technologies (SY, PM, GDA), pp. 84–96.
 DHM-2014-AbibBA #comprehension #process DHM-2014-AbibBA #comprehension #process
- Understanding and Facilitating the Communication Process among Healthcare Professionals (JCA, AOB, JCA), pp. 313–324.
 DUXU-DP-2014-DiasPdS #design #interface #multimodal #named #people DUXU-DP-2014-DiasPdS #design #interface #multimodal #named #people
- TAC-ACCESS — Technologies to Support Communication from Interfaces Accessible and Multimodal for People with Disabilities and Diversity: Context-Centered Design of Usage (CdOD, LMP, CdCL, EGS), pp. 141–151.
 DUXU-TMT-2014-Vodrazkova #named DUXU-TMT-2014-Vodrazkova #named
- Film — System — Communication (KV), pp. 601–609.
 HCI-AIMT-2014-EndrassHHTA #interactive HCI-AIMT-2014-EndrassHHTA #interactive
- A Pictorial Interaction Language for Children to Communicate with Cultural Virtual Characters (BE, LEH, CH, ST, EA), pp. 532–543.
 HCI-AIMT-2014-LackeyBM #interactive #recommendation #requirements HCI-AIMT-2014-LackeyBM #interactive #recommendation #requirements
- Recommended Considerations for Human-Robot Interaction Communication Requirements (SJL, DJB, SGM), pp. 663–674.
 HCI-AIMT-2014-NakaI #effectiveness #generative #gesture HCI-AIMT-2014-NakaI #effectiveness #generative #gesture
- Proposal of the Effective Method of Generating Characteristic Gestures in Nonverbal Communication (TN, TI), pp. 102–112.
 HCI-AIMT-2014-WuttkeM #adaptation #behaviour HCI-AIMT-2014-WuttkeM #adaptation #behaviour
- Natural Forms of Communication and Adaptive Behaviour in Human-Computer-Interaction (MW, KUM), pp. 641–647.
 HCI-AS-2014-AbibRG HCI-AS-2014-AbibRG
- Tool to Help the Communication for Autists (JCA, LAR, RG), pp. 211–220.
 HCI-AS-2014-MwangiKK #online HCI-AS-2014-MwangiKK #online
- Textual Emotion Communication with Non-verbal Symbols in Online Environments (ENM, SK, MK), pp. 42–48.
 HCI-TMT-2014-HeidtPBR HCI-TMT-2014-HeidtPBR
- Tangible Disparity — Different Notions of the Material as Catalyst of Interdisciplinary Communication (MH, LP, AB, PR), pp. 199–206.
 HIMI-AS-2014-HamaguchiAWA #effectiveness #product line HIMI-AS-2014-HamaguchiAWA #effectiveness #product line
- Investigating the Effective Factors of Communication for Family Members Living Apart (NH, DA, MW, YA), pp. 373–382.
 HIMI-AS-2014-ItouMM #chat #development HIMI-AS-2014-ItouMM #chat #development
- Development and Application of Manga-Style Chat System Aiming to Communicate Nonverbal Expression (JI, YM, JM), pp. 423–434.
 HIMI-DE-2014-ItoW #challenge HIMI-DE-2014-ItoW #challenge
- Three Key Challenges in ARM-COMS for Entrainment Effect Acceleration in Remote Communication (TI, TW), pp. 177–186.
 HIMI-DE-2014-LeeLS14a #development HIMI-DE-2014-LeeLS14a #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.
 LCT-TRE-2014-FardounACL #community LCT-TRE-2014-FardounACL #community
- A New Way to Community Services — Communication with Administration (HMF, DMA, APC, SRL), pp. 397–407.
 SCSM-2014-KamalNB #distributed #mobile #product line #quote SCSM-2014-KamalNB #distributed #mobile #product line #quote
- “Presence in Absence”: Distributed Family Communication Practices for Familial Bonding via Mobile Communication Technology (FMK, NLMN, HB), pp. 474–485.
 SCSM-2014-PensasVGKKCV #network #social #using SCSM-2014-PensasVGKKCV #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.
 SCSM-2014-SobierajK #what SCSM-2014-SobierajK #what
- What Is Beautiful in Cyberspace? Communication with Attractive Avatars (SS, NCK), pp. 125–136.
 SCSM-2014-SpapeR #social SCSM-2014-SpapeR #social
- Social Psychology of the Digital Age: The Interpersonal Neuroscience of Mediated Communication (MMAS, NR), pp. 494–505.
 SCSM-2014-WaltherT #how #relational #self SCSM-2014-WaltherT #how #relational #self
- Inventing Partners in Computer-Mediated Communication: How CMC Sustains Self-fulfilling Prophecies and Relational Attributions (JBW, STT), pp. 517–527.
 ICEIS-v1-2014-RezendeJC #problem #workflow ICEIS-v1-2014-RezendeJC #problem #workflow
- Possibilistic Interorganizational Workflow Net for the Recovery Problem Concerning Communication Failures (LPdR, SJ, JC), pp. 432–439.
 KMIS-2014-FrancoisMA #design #email #problem #traceability #using KMIS-2014-FrancoisMA #design #email #problem #traceability #using
- Discovering Problem-Solving Knowledge in Business Emails — Traceability in Software Design Using Computer Mediated Communication (RF, NM, HA), pp. 186–193.
 KMIS-2014-SaoutalMC KMIS-2014-SaoutalMC
- Should I Be Aware of the Information of Other Actors — Transversal Communication in Crisis Management (AS, NM, JPC), pp. 212–219.
 SIGIR-2014-GrausDTWR #email #enterprise #graph #recommendation #using SIGIR-2014-GrausDTWR #email #enterprise #graph #recommendation #using
- Recipient recommendation in enterprises using communication graphs and email content (DG, DvD, MT, WW, MdR), pp. 1079–1082.
 MoDELS-2014-EnriciAP #approach #modelling #uml MoDELS-2014-EnriciAP #approach #modelling #uml
- A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes (AE, LA, RP), pp. 370–385.
 MoDELS-2014-NataleCSS #adaptation #approach #component #generative MoDELS-2014-NataleCSS #adaptation #approach #component #generative
- An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink (MDN, FC, AS, ALSV), pp. 353–369.
 QAPL-2014-LatellaLMS QAPL-2014-LatellaLMS
- Stochastically timed predicate-based communication primitives for autonomic computing (DL, ML, MM, VS), pp. 1–16.
 RE-2014-LaueHBN #performance #visual notation RE-2014-LaueHBN #performance #visual notation
- Efficient visual notations for efficient stakeholder communication (RL, FH, BB, MN), pp. 329–330.
 REFSQ-2014-AbeleinP #developer #scalability REFSQ-2014-AbeleinP #developer #scalability
- State of Practice of User-Developer Communication in Large-Scale IT Projects — Results of an Expert Interview Series (UA, BP), pp. 95–111.
 SAC-2014-Daniel #protocol #using SAC-2014-Daniel #protocol #using
- Vehicle to vehicle communication using Zigbee protocol (AD), pp. 715–716.
 SAC-2014-EmuraKOT #formal method #implementation #prototype SAC-2014-EmuraKOT #formal method #implementation #prototype
- Building secure and anonymous communication channel: formal model and its prototype implementation (KE, AK, SO, TT), pp. 1641–1648.
 SAC-2014-LiuGSLSX #encryption #grid #named #smarttech SAC-2014-LiuGSLSX #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-TesfayHBO #architecture #network SAC-2014-TesfayHBO #architecture #network
- Cyber-secure communication architecture for active power distribution networks (TTT, JPH, JYLB, PO), pp. 545–552.
 CASE-2014-LiuK #nondeterminism #parametricity CASE-2014-LiuK #nondeterminism #parametricity
- Passivity-based teleoperation system for robots with parametric uncertainty and communication delay (YCL, MHK), pp. 271–276.
 CGO-2014-MargiolasO #optimisation CGO-2014-MargiolasO #optimisation
- Portable and Transparent Host-Device Communication Optimization for GPGPU Environments (CM, MFPO), p. 55.
 DAC-2014-HeisswolfZZKWTHSHB #named #programming DAC-2014-HeisswolfZZKWTHSHB #named #programming
- CAP: Communication Aware Programming (JH, AZ, AZ, SK, AW, JT, JH, GS, AH, JB), p. 6.
 DAC-2014-ZalmanM #low cost DAC-2014-ZalmanM #low cost
- A Secure but still Safe and Low Cost Automotive Communication Technique (RZ, AM), p. 5.
 DATE-2014-AzimCPF #distributed #generative #multi #realtime DATE-2014-AzimCPF #distributed #generative #multi #realtime
- Generation of communication schedules for multi-mode distributed real-time applications (AA, GC, RP, SF), pp. 1–6.
 DATE-2014-CilardoFGM #manycore #scheduling #synthesis DATE-2014-CilardoFGM #manycore #scheduling #synthesis
- Joint communication scheduling and interconnect synthesis for FPGA-based many-core systems (AC, EF, LG, AM), pp. 1–4.
 DATE-2014-JoostenS #liveness #scalability #verification DATE-2014-JoostenS #liveness #scalability #verification
- Scalable liveness verification for communication fabrics (SJCJ, JS), pp. 1–6.
 DATE-2014-KarkarDATMY #architecture #hybrid DATE-2014-KarkarDATMY #architecture #hybrid
- Hybrid wire-surface wave architecture for one-to-many communication in networks-on-chip (AK, ND, RAD, KT, TSTM, AY), pp. 1–4.
 DATE-2014-ZebeleinHFST #modelling #multi #protocol DATE-2014-ZebeleinHFST #modelling #multi #protocol
- Model-based actor multiplexing with application to complex communication protocols (CZ, CH, JF, TS, JT), pp. 1–4.
 HPDC-2014-ChenDWCZG #distributed #graph #performance #perspective HPDC-2014-ChenDWCZG #distributed #graph #performance #perspective
- Computation and communication efficient graph processing with distributed immutable view (RC, XD, PW, HC, BZ, HG), pp. 215–226.
 PDP-2014-BaudischBS #message passing #source code PDP-2014-BaudischBS #message passing #source code
- Reducing the Communication of Message-Passing Systems Synthesized from Synchronous Programs (DB, YB, KS), pp. 444–451.
 PDP-2014-Hadim #concurrent #multi #network #performance PDP-2014-Hadim #concurrent #multi #network #performance
- The Multi-level Communication: Minimal Deadlock-Free and Storage Efficient Routing for Torus Networks (MBH), pp. 44–51.
 PDP-2014-ShalabyRGFK #network PDP-2014-ShalabyRGFK #network
- Hierarchical Network Coding for Collective Communication on HPC Interconnects (AS, MESR, VG, IF, MK), pp. 98–102.
 ESOP-2014-NanevskiLSD #concurrent #fine-grained ESOP-2014-NanevskiLSD #concurrent #fine-grained
- Communicating State Transition Systems for Fine-Grained Concurrent Resources (AN, RLW, IS, GAD), pp. 290–310.
 FoSSaCS-2014-KoutavasSH #bisimulation #transaction FoSSaCS-2014-KoutavasSH #bisimulation #transaction
- Bisimulations for Communicating Transactions — (VK, CS, MH), pp. 320–334.
 STOC-2014-GoosP #bound STOC-2014-GoosP #bound
- Communication lower bounds via critical block sensitivity (MG, TP), pp. 847–856.
 STOC-2014-Lovett #bound #rank STOC-2014-Lovett #bound #rank
- Communication is bounded by root of rank (SL), pp. 842–846.
 LICS-CSL-2014-Bollig #automaton #logic LICS-CSL-2014-Bollig #automaton #logic
- Logic for communicating automata with parameterized topology (BB), p. 10.
 PODS-2013-BeameKS #parallel #query PODS-2013-BeameKS #parallel #query
- Communication steps for parallel query processing (PB, PK, DS), pp. 273–284.
 CSEET-2013-FortalezaVJPC #collaboration #development #distributed #using CSEET-2013-FortalezaVJPC #collaboration #development #distributed #using
- Using Distributed Software Development in the improvement of communication and collaboration skills in SE courses: An observational study (LLF, SRCV, OOMJ, RP, TC), pp. 139–148.
 ITiCSE-2013-HowardS #overview #re-engineering #source code ITiCSE-2013-HowardS #overview #re-engineering #source code
- A survey of communication skills in computerscience/software engineering (CS/SE) abet-accredited programs (AH, BS), p. 364.
 ITiCSE-2013-ZarbHR #guidelines #programming #student ITiCSE-2013-ZarbHR #guidelines #programming #student
- Industry-inspired guidelines improve students’ pair programming communication (MZ, JH, JR), pp. 135–140.
 SIGITE-2013-LiG #empirical #social #social media #student #using SIGITE-2013-LiG #empirical #social #social media #student #using
- Can you hear me now?: an empirical study on using social media to improve student-instructor communication (LL, RG), pp. 147–148.
 MSR-2013-GuzziBLPD #development #open source MSR-2013-GuzziBLPD #development #open source
- Communication in open source software development mailing lists (AG, AB, ML, MP, AvD), pp. 277–286.
 ICALP-v1-2013-KonradR #approximate #streaming ICALP-v1-2013-KonradR #approximate #streaming
- Approximating Semi-matchings in Streaming and in Two-Party Communication (CK, AR), pp. 637–649.
 ICALP-v2-2013-DenielouY #automaton #multi #synthesis ICALP-v2-2013-DenielouY #automaton #multi #synthesis
- Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types (PMD, NY), pp. 174–186.
 LATA-2013-BolligCHKS #automaton #branch LATA-2013-BolligCHKS #automaton #branch
- Dynamic Communicating Automata and Branching High-Level MSCs (BB, AC, LH, AK, TS), pp. 177–189.
 IFM-2013-VigoNN IFM-2013-VigoNN
- Broadcast, Denial-of-Service, and Secure Communication (RV, FN, HRN), pp. 412–427.
 AIIDE-2013-BernardiniPS #design #social AIIDE-2013-BernardiniPS #design #social
- Designing an Intelligent Virtual Agent for Social Communication in Autism (SB, KPP, HS).
 CHI-2013-OgataSOI #named CHI-2013-OgataSOI #named
- FlashTouch: data communication through touchscreens (MO, YS, HO, MI), pp. 2321–2324.
 CHI-2013-RaeTM #case study #experience #trust CHI-2013-RaeTM #case study #experience #trust
- In-body experiences: embodiment, control, and trust in robot-mediated communication (IR, LT, BM), pp. 1921–1930.
 CHI-2013-TangXHVTR #named #physics #video CHI-2013-TangXHVTR #named #physics #video
- HomeProxy: exploring a physical proxy for video communication in the home (JCT, RX, AH, GV, PT, AR), pp. 1339–1342.
 CHI-2013-WeilenmannHJ #experience #social CHI-2013-WeilenmannHJ #experience #social
- Instagram at the museum: communicating the museum experience through social photo sharing (AW, TH, BJ), pp. 1843–1852.
 CSCW-2013-ChoiHHLS #mining #social #using CSCW-2013-ChoiHHLS #mining #social #using
- Mining social relationship types in an organization using communication patterns (JC, SH, JH, GL, JS), pp. 295–302.
 CSCW-2013-HailpernDHSLK #framework #named #platform #research CSCW-2013-HailpernDHSLK #framework #named #platform #research
- ACES: a cross-discipline platform and method for communication and language research (JMH, MD, AH, SS, RL, KK), pp. 515–526.
 CSCW-2013-KaneTL CSCW-2013-KaneTL
- Shared decision making needs a communication record (BK, PJT, SL), pp. 79–90.
 CSCW-2013-NguyenF #process CSCW-2013-NguyenF #process
- Effect of message content on communication processes in intercultural and same-culture instant messaging conversations (DTN, SRF), pp. 19–32.
 CSCW-2013-RostBCB #challenge #dataset #representation #scalability #social #social media CSCW-2013-RostBCB #challenge #dataset #representation #scalability #social #social media
- Representation and communication: challenges in interpreting large social media datasets (MR, LB, HC, BB), pp. 357–362.
 CSCW-2013-TeevanH #comprehension #how CSCW-2013-TeevanH #comprehension #how
- Understanding how the projection of availability state impacts the reception incoming communication (JT, AH), pp. 753–758.
 CSCW-2013-YaroshTMA #quote #using CSCW-2013-YaroshTMA #quote #using
- “Almost touching”: parent-child remote communication using the sharetable system (SY, AT, SM, GDA), pp. 181–192.
 CSCW-2013-YuanSCF #comprehension #multi CSCW-2013-YuanSCF #comprehension #multi
- Understanding informal communication in multilingual contexts (CWY, LDS, DC, SRF), pp. 909–922.
 DUXU-CXC-2013-Al-ArifiAAAA #towards DUXU-CXC-2013-Al-ArifiAAAA #towards
- Towards an Arabic Language Augmentative and Alternative Communication Application for Autism (BAA, AAR, GAO, NAR, AAW), pp. 333–341.
 DUXU-CXC-2013-Heidt #prototype DUXU-CXC-2013-Heidt #prototype
- Examining Interdisciplinary Prototyping in the Context of Cultural Communication (MH), pp. 54–61.
 DUXU-CXC-2013-ShalashBS #interactive DUXU-CXC-2013-ShalashBS #interactive
- Interactive System for Solving Children Communication Disorder (WMS, MBs, GS), pp. 462–469.
 DUXU-NTE-2013-Gyoda #ad hoc #analysis #evaluation #network #performance DUXU-NTE-2013-Gyoda #ad hoc #analysis #evaluation #network #performance
- Analysis and Evaluation of Wireless Ad Hoc Network Performance for a Disaster Communication Model and Scenarios (KG), pp. 65–74.
 DUXU-WM-2013-BucchianicoCP #analysis #towards #visual notation DUXU-WM-2013-BucchianicoCP #analysis #towards #visual notation
- Branding “for All”: Toward the Definition of Inclusive Toolkits of Analysis and Visual Communication for Brand Identities (GDB, SC, SP), pp. 23–29.
 DUXU-WM-2013-SchneidermeierMS #approach #concept DUXU-WM-2013-SchneidermeierMS #approach #concept
- Human-Centered Communication Planning: A Conceptual Approach (TS, FM, JS), pp. 94–102.
 HCI-AMTE-2013-FerreiraS #case study #modelling HCI-AMTE-2013-FerreiraS #case study #modelling
- Communicating Ideas in Computer-Supported Modeling Tasks: A Case Study with BPMN (JJF, CSdS), pp. 320–329.
 HCI-AMTE-2013-HishinaMAMOM #case study #education HCI-AMTE-2013-HishinaMAMOM #case study #education
- Study on Effects of Text Decoration for a Text Based Communication Tool in Education (MH, KM, NA, SM, YO, TM), pp. 565–574.
 HCI-III-2013-OhiroIN HCI-III-2013-OhiroIN
- An Awareness System for Supporting Remote Communication — Application to Long-Distance Relationships (TO, TI, YN), pp. 329–338.
 HCI-IMT-2013-RigasA13a #interface #speech HCI-IMT-2013-RigasA13a #interface #speech
- Investigating the Impact of Combining Speech and Earcons to Communicate Information in E-government Interfaces (DR, BA), pp. 23–31.
 HCI-IMT-2013-SakataKN #analysis #collaboration #scalability HCI-IMT-2013-SakataKN #analysis #collaboration #scalability
- Communication Analysis of Remote Collaboration System with Arm Scaling Function (NS, TK, SN), pp. 378–387.
 HCI-IMT-2013-WangGHL #collaboration #elicitation #nondeterminism #speech #using HCI-IMT-2013-WangGHL #collaboration #elicitation #nondeterminism #speech #using
- A Knowledge Elicitation Study for Collaborative Dialogue Strategies Used to Handle Uncertainties in Speech Communication While Using GIS (HW, AG, DH, RL), pp. 135–144.
 HCI-UC-2013-ItouTM #development #interface #using HCI-UC-2013-ItouTM #development #interface #using
- Development of Communication Support System at Mealtimes Using Tabletop Interface (JI, ST, JM), pp. 174–182.
 HCI-UC-2013-TsaiHCL #named #network #online #product line #social #using HCI-UC-2013-TsaiHCL #named #network #online #product line #social #using
- Memotree: Using Online Social Networking to Strengthen Family Communication (THT, YLH, HTC, YWL), pp. 359–367.
 HIMI-D-2013-IshiiW #detection #evaluation #self #video HIMI-D-2013-IshiiW #detection #evaluation #self #video
- Evaluation of Superimposed Self-character Based on the Detection of Talkers’ Face Angles in Video Communication (YI, TW), pp. 431–438.
 HIMI-HSM-2013-ElliottMCMZP #development #multi #navigation HIMI-HSM-2013-ElliottMCMZP #development #multi #navigation
- Development of Dual Tactor Capability for a Soldier Multisensory Navigation and Communication System (LRE, BJPM, RWC, GRM, GAZ, RP), pp. 46–55.
 HIMI-HSM-2013-HosonoMINSMT #people HIMI-HSM-2013-HosonoMINSMT #people
- The Urgent Communication System for Deaf and Language Dysfunction People (NH, FM, TI, MN, MS, HM, YT), pp. 269–274.
 HIMI-HSM-2013-KinoeOS #design #product line HIMI-HSM-2013-KinoeOS #design #product line
- Qualitative Study for Designing Peripheral Communication between Hospitalized Children and Their Family Members (YK, CO, YS), pp. 275–284.
 HIMI-LCCB-2013-BrynielssonJL #design #process #prototype #social #social media #using #video HIMI-LCCB-2013-BrynielssonJL #design #process #prototype #social #social media #using #video
- Using Video Prototyping as a Means to Involve Crisis Communication Personnel in the Design Process: Innovating Crisis Management by Creating a Social Media Awareness Tool (JB, FJ, SL), pp. 559–568.
 HIMI-LCCB-2013-ItoW #monitoring #named HIMI-LCCB-2013-ItoW #monitoring #named
- ARM-COMS: ARm-Supported eMbodied COmmunication Monitor System (TI, TW), pp. 307–316.
 HIMI-LCCB-2013-JohnstonGHW #development HIMI-LCCB-2013-JohnstonGHW #development
- Development of a System for Communicating Human Factors Readiness (MJ, KDG, KSH, BW), pp. 475–484.
 HIMI-LCCB-2013-KanegaeYYW #game studies HIMI-LCCB-2013-KanegaeYYW #game studies
- Effects of a Communication with Make-Believe Play in a Real-Space Sharing Edutainment System (HK, MY, MY, TW), pp. 326–335.
 HIMI-LCCB-2013-NakaI #3d #gesture #using #web HIMI-LCCB-2013-NakaI #3d #gesture #using #web
- Consideration of the Effect of Gesture Exaggeration in Web3D Communication Using 3DAgent (TN, TI), pp. 511–520.
 HIMI-LCCB-2013-YajimaHY #analysis #design HIMI-LCCB-2013-YajimaHY #analysis #design
- Application of Ethno-Cognitive Interview and Analysis Method for the Smart Communication Design (AY, HH, TY), pp. 649–657.
 OCSC-2013-AlaouiL #approach #design OCSC-2013-AlaouiL #approach #design
- A LivingLab Approach to Involve Elderly in the Design of Smart TV Applications Offering Communication Services (MA, ML), pp. 325–334.
 OCSC-2013-TokelC #game studies #representation OCSC-2013-TokelC #game studies #representation
- Communication and Avatar Representation during Role-Playing in Second Life Virtual World (STT, EC), pp. 210–215.
 ICEIS-v1-2013-BudiM #mobile #scheduling ICEIS-v1-2013-BudiM #mobile #scheduling
- Scheduling Data Communication based Services on the Personal Mobile Devices (SB, VM), pp. 401–408.
 ICEIS-v2-2013-RothPS #social #social media ICEIS-v2-2013-RothPS #social #social media
- Some Insights into the Role of Social Media in Political Communication (MR, GP, JS), pp. 351–360.
 SEKE-2013-IqbalKH #behaviour #developer #social SEKE-2013-IqbalKH #behaviour #developer #social
- Analyzing Social Behavior of Software Developers Across Different Communication Channels (AI, MK, MH), pp. 113–118.
 SEKE-2013-LiLJJ #comprehension #concurrent #debugging #graph SEKE-2013-LiLJJ #comprehension #concurrent #debugging #graph
- Locating and Understanding Concurrency Bugs Based on Edge-labeled Communication Graphs (HL, ML, TJ, ZJ), pp. 525–530.
 SPLC-2013-MartiniPB #agile #development #reuse #scalability SPLC-2013-MartiniPB #agile #development #reuse #scalability
- Communication factors for speed and reuse in large-scale agile software development (AM, LP, JB), pp. 42–51.
 ER-BR-2013-SantosW #ecosystem #on the #requirements ER-BR-2013-SantosW #ecosystem #on the #requirements
- On the Impact of Software Ecosystems in Requirements Communication and Management (RPdS, CMLW).
 ASE-2013-ArthoHPTWY #distributed #model checking ASE-2013-ArthoHPTWY #distributed #model checking
- Software model checking for distributed systems with selector-based, non-blocking communication (CA, MH, RP, YT, FW, MY), pp. 169–179.
 ICSE-2013-DamianHKMK #coordination ICSE-2013-DamianHKMK #coordination
- The role of domain knowledge and cross-functional communication in socio-technical coordination (DD, RH, IK, SM, BK), pp. 442–451.
 ICSE-2013-KnaussD #named #online #requirements ICSE-2013-KnaussD #named #online #requirements
- V: ISSUE: LIZER: exploring requirements clarification in online communication over time (EK, DD), pp. 1327–1330.
 ICSE-2013-Simpson #detection #developer ICSE-2013-Simpson #detection #developer
- Changeset based developer communication to detect software failures (BS), pp. 1468–1470.
 SAC-2013-AguiarFMH #design #embedded #multi SAC-2013-AguiarFMH #design #embedded #multi
- Communication support at the OS level to enhance design space exploration in multiprocessed embedded systems (AA, SJF, FGM, FH), pp. 1555–1556.
 SAC-2013-KawakamiIYT #data type #delivery SAC-2013-KawakamiIYT #data type #delivery
- A delivery method considering communication loads for sensor data stream with different collection cycles (TK, YI, TY, YT), pp. 611–618.
 SAC-2013-Markovski #coordination #probability #process #reliability SAC-2013-Markovski #coordination #probability #process #reliability
- Reliable supervisory coordination of stochastic communicating processes with data (JM), pp. 1347–1354.
 SAC-2013-MeilingSSW #framework #grid #multi #network #scalability #smarttech #using SAC-2013-MeilingSSW #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.
 CASE-2013-ZhangJYZCPLX #multi CASE-2013-ZhangJYZCPLX #multi
- Multichannel subgrade temperature acquisition system based on LabVIEW and serial communication (JZ, SJ, MY, XZ, JC, BP, JL, XX), pp. 558–563.
 DAC-2013-SchurmansZALACW #architecture #automation #modelling #using DAC-2013-SchurmansZALACW #architecture #automation #modelling #using
- Creation of ESL power models for communication architectures using automatic calibration (SS, DZ, DA, RL, GA, XC, LW), p. 58.
 DAC-2013-TangAP #configuration management #multi #pipes and filters DAC-2013-TangAP #configuration management #multi #pipes and filters
- Reconfigurable pipelined coprocessor for multi-mode communication transmission (LT, JAA, SP), p. 8.
 DATE-2013-DasKV13a #design #energy #fault #manycore #migration DATE-2013-DasKV13a #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.
 DATE-2013-Pedram #framework DATE-2013-Pedram #framework
- Creating a sustainable information and communication infrastructure (MP), p. 2.
 DATE-2013-ZhuTSHSS DATE-2013-ZhuTSHSS
- A 100 GOPS ASP based baseband processor for wireless communication (ZZ, ST, YS, JH, GS, JS), pp. 121–124.
 HPDC-2013-LiHS HPDC-2013-LiHS
- NUMA-aware shared-memory collective communication for MPI (SL, TH, MS), pp. 85–96.
 HPDC-2013-RamosH #case study #modelling HPDC-2013-RamosH #case study #modelling
- Modeling communication in cache-coherent SMP systems: a case-study with Xeon Phi (SR, TH), pp. 97–108.
 PDP-2013-AkturkO #3d #reduction PDP-2013-AkturkO #3d #reduction
- ILP-Based Communication Reduction for Heterogeneous 3D Network-on-Chips (IA, ÖÖ), pp. 514–518.
 PDP-2013-BahrebarFHDMS #clustering #manycore PDP-2013-BahrebarFHDMS #clustering #manycore
- Making Communication a First-Class Citizen in Multicore Partitioning (PB, RMF, WH, LD, AM, DS), pp. 287–293.
 PDP-2013-MoosaviRLPT #3d #multi #network #performance #protocol #using PDP-2013-MoosaviRLPT #3d #multi #network #performance #protocol #using
- Enhancing Performance of 3D Interconnection Networks using Efficient Multicast Communication Protocol (SRM, AMR, PL, JP, HT), pp. 294–301.
 ESOP-2013-CairesPPT #behaviour #morphism #parametricity #polymorphism ESOP-2013-CairesPPT #behaviour #morphism #parametricity #polymorphism
- Behavioral Polymorphism and Parametricity in Session-Based Communication (LC, JAP, FP, BT), pp. 330–349.
 FoSSaCS-2013-ClementeHSS #process #reachability FoSSaCS-2013-ClementeHSS #process #reachability
- Reachability of Communicating Timed Processes (LC, FH, AS, GS), pp. 81–96.
 STOC-2013-BravermanGPW STOC-2013-BravermanGPW
- From information to exact communication (MB, AG, DP, OW), pp. 151–160.
 STOC-2013-Sherstov #bound #using STOC-2013-Sherstov #bound #using
- Communication lower bounds using directional derivatives (AAS), pp. 921–930.
 DocEng-2012-PruittW DocEng-2012-PruittW
- HP relate: a customer communication system for the SMB market (SP, AJW), pp. 141–144.
 CSEET-2012-MacKellar #case study #re-engineering #scalability CSEET-2012-MacKellar #case study #re-engineering #scalability
- A Case Study of Group Communication Patterns in a Large Project Software Engineering Course (BM), pp. 134–138.
 CSMR-2012-BernardiCLPD #debugging #developer #eclipse CSMR-2012-BernardiCLPD #debugging #developer #eclipse
- Do Developers Introduce Bugs When They Do Not Communicate? The Case of Eclipse and Mozilla (MLB, GC, GADL, MDP, DD), pp. 139–148.
 ICPC-2012-AlawnehH #identification ICPC-2012-AlawnehH #identification
- Identifying computational phases from inter-process communication traces of HPC applications (LA, AHL), pp. 133–142.
 ICSM-2012-GuzziBMN #developer #enterprise ICSM-2012-GuzziBMN #developer #enterprise
- Facilitating enterprise software developer communication with CARES (AG, AB, JKM, KN), pp. 527–536.
 ICALP-v1-2012-AdaCFN #complexity #multi ICALP-v1-2012-AdaCFN #complexity #multi
- The NOF Multiparty Communication Complexity of Composed Functions (AA, AC, OF, PN), pp. 13–24.
 ICALP-v1-2012-HalldorssonSSW #approximate #clique #complexity #streaming ICALP-v1-2012-HalldorssonSSW #approximate #clique #complexity #streaming
- Streaming and Communication Complexity of Clique Approximation (MMH, XS, MS, CW), pp. 449–460.
 ICALP-v2-2012-Bar-YehudaKKR ICALP-v2-2012-Bar-YehudaKKR
- Growing Half-Balls: Minimizing Storage and Communication Costs in CDNs (RBY, EK, SK, DR), pp. 416–427.
 GT-VMT-2012-Heussner #graph #graph grammar #model checking #process GT-VMT-2012-Heussner #graph #graph grammar #model checking #process
- Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO (AH).
 CHI-2012-CataldoE #development CHI-2012-CataldoE #development
- The impact of communication structure on new product development outcomes (MC, KE), pp. 3081–3090.
 CHI-2012-DabbishKP #game studies #online CHI-2012-DabbishKP #game studies #online
- Communication and commitment in an online game team (LD, RK, JP), pp. 879–888.
 CHI-2012-HourcadeDH #multi CHI-2012-HourcadeDH #multi
- Supporting face-to-face communication between clinicians and children with chronic headaches through a zoomable multi-touch app (JPH, MD, KEH), pp. 2609–2618.
 CHI-2012-RaeTM #behaviour CHI-2012-RaeTM #behaviour
- One of the gang: supporting in-group behavior for embodied mediated communication (IR, LT, BM), pp. 3091–3100.
 CHI-2012-XuBRTM #how #learning #towards CHI-2012-XuBRTM #how #learning #towards
- Learning how to feel again: towards affective workplace presence and communication technologies (AX, JTB, EGR, TT, WvM), pp. 839–848.
 CSCW-2012-CheungCS #collaboration #game studies CSCW-2012-CheungCS #collaboration #game studies
- Communication channels and awareness cues in collocated collaborative time-critical gaming (VC, YLBC, SDS), pp. 569–578.
 CSCW-2012-DongF #why CSCW-2012-DongF #why
- One piece at a time: why video-based communication is better for negotiation and conflict resolution (WD, WTF), pp. 167–176.
 CSCW-2012-EhrlichC #analysis #development #distributed #multi #performance CSCW-2012-EhrlichC #analysis #development #distributed #multi #performance
- All-for-one and one-for-all?: a multi-level analysis of communication patterns and individual performance in geographically distributed software development (KE, MC), pp. 945–954.
 CSCW-2012-GenestG #distributed #effectiveness #gesture #visualisation CSCW-2012-GenestG #distributed #effectiveness #gesture #visualisation
- Evaluating the effectiveness of height visualizations for improving gestural communication at distributed tabletops (AG, CG), pp. 519–528.
 CSCW-2012-LeeTPC #challenge #design CSCW-2012-LeeTPC #challenge #design
- Loosely formed patient care teams: communication challenges and technology design (SL, CT, SYP, YC), pp. 867–876.
 CSCW-2012-LiCPT #design #flexibility #named #sketching CSCW-2012-LiCPT #design #flexibility #named #sketching
- SketchComm: a tool to support rich and flexible asynchronous communication of early design ideas (GL, XC, SP, FT), pp. 359–368.
 CSCW-2012-SchroterADK CSCW-2012-SchroterADK
- To talk or not to talk: factors that influence communication around changesets (AS, JA, DD, IK), pp. 1317–1326.
 CSCW-2012-SmithNLLB CSCW-2012-SmithNLLB
- Going to college and staying connected: communication between college freshmen and their parents (MES, DTN, CL, GL, EPSB), pp. 789–798.
 CSCW-2012-WycheG #case study #how #product line #quote CSCW-2012-WycheG #case study #how #product line #quote
- “This is how we do it in my country”: a study of computer-mediated family communication among Kenyan migrants in the United States (SW, REG), pp. 87–96.
 CIKM-2012-Shiraishi0KA CIKM-2012-Shiraishi0KA
- Simultaneous realization of page-centric communication and search (YS, JZ, YK, TA), pp. 2719–2721.
 KDD-2012-DingKBKC #anti #detection #social KDD-2012-DingKBKC #anti #detection #social
- Intrusion as (anti)social communication: characterization and detection (QD, NK, PB, EDK, MC), pp. 886–894.
 KMIS-2012-KeumKB #collaboration #design #framework #platform KMIS-2012-KeumKB #collaboration #design #framework #platform
- Architeture Design of a Network-centric Platform for Unified Communication and Collaboration Applications (CK, SK, HB), pp. 294–297.
 OOPSLA-2012-St-AmourTF #optimisation OOPSLA-2012-St-AmourTF #optimisation
- Optimization coaching: optimizers learn to communicate with programmers (VSA, STH, MF), pp. 163–178.
 HILT-2012-OLearyS #automation #development HILT-2012-OLearyS #automation #development
- FAA’s controller pilot automatic data communication (data comm) system software development (JO, AS), pp. 71–72.
 RE-2012-Todoran #identification #in the cloud #named #requirements RE-2012-Todoran #identification #in the cloud #named #requirements
- StakeCloud: Stakeholder requirements communication and resource identification in the cloud (IT), pp. 353–356.
 ASE-2012-DosingerMB #automation #effectiveness #integration #testing ASE-2012-DosingerMB #automation #effectiveness #integration #testing
- Communicating continuous integration servers for increasing effectiveness of automated testing (SD, RM, SB), pp. 374–377.
 ICSE-2012-GuzziB ICSE-2012-GuzziB
- Facilitating communication between engineers with CARES (AG, AB), pp. 1367–1370.
 CASE-2012-PandeySK #multi CASE-2012-PandeySK #multi
- Multi-robot exploration with communication requirement to a moving base station (RP, AKS, KMK), pp. 823–828.
 DATE-2012-AbellanPABBMB #clustering #design #framework DATE-2012-AbellanPABBMB #clustering #design #framework
- Design of a collective communication infrastructure for barrier synchronization in cluster-based nanoscale MPSoCs (JLA, JFP, MEA, DB, DB, AM, LB), pp. 491–496.
 DATE-2012-JiangEP #co-evolution #constraints #design #distributed #embedded #realtime #security DATE-2012-JiangEP #co-evolution #constraints #design #distributed #embedded #realtime #security
- Co-design techniques for distributed real-time embedded systems with communication security constraints (KJ, PE, ZP), pp. 947–952.
 DATE-2012-KakoeeLB #architecture #clustering #latency DATE-2012-KakoeeLB #architecture #clustering #latency
- A resilient architecture for low latency communication in shared-L1 processor clusters (MRK, IL, LB), pp. 887–892.
 DATE-2012-MasrurGCCAB #analysis #cyber-physical #hybrid #protocol DATE-2012-MasrurGCCAB #analysis #cyber-physical #hybrid #protocol
- Timing analysis of cyber-physical applications for hybrid communication protocols (AM, DG, SC, JJC, AA, AB), pp. 1233–1238.
 DATE-2012-ZhengLGBYC #configuration management #power management DATE-2012-ZhengLGBYC #configuration management #power management
- Power-efficient calibration and reconfiguration for on-chip optical communication (YZ, PL, MG, JB, SY, KTC), pp. 1501–1506.
 HPCA-2012-MaJW #performance HPCA-2012-MaJW #performance
- Supporting efficient collective communication in NoCs (SM, NDEJ, ZW), pp. 165–176.
 HPDC-2012-PasettoMFPX #architecture #evaluation #manycore #parallel #performance #thread HPDC-2012-PasettoMFPX #architecture #evaluation #manycore #parallel #performance #thread
- Performance evaluation of interthread communication mechanisms on multicore/multithreaded architectures (DP, MM, HF, FP, JX), pp. 131–132.
 PDP-2012-HakkarinenCCH #parallel PDP-2012-HakkarinenCCH #parallel
- Reduced Data Communication for Parallel CMA-ES for REACTS (DH, TC, ZC, AH), pp. 97–101.
 PPoPP-2012-BallardDK #reduction PPoPP-2012-BallardDK #reduction
- Communication avoiding successive band reduction (GB, JD, NK), pp. 35–44.
 PPoPP-2012-BaskaranVML #automation #memory management #optimisation #reuse PPoPP-2012-BaskaranVML #automation #memory management #optimisation #reuse
- Automatic communication optimizations through memory reuse strategies (MMB, NV, BM, RL), pp. 277–278.
 PPoPP-2012-SackG #algorithm #performance PPoPP-2012-SackG #algorithm #performance
- Faster topology-aware collective algorithms through non-minimal communication (PS, WG), pp. 45–54.
 ESOP-2012-DenielouY #automaton #multi ESOP-2012-DenielouY #automaton #multi
- Multiparty Session Types Meet Communicating Automata (PMD, NY), pp. 194–213.
 STOC-2012-HuynhN #complexity #on the #proving #trade-off STOC-2012-HuynhN #complexity #on the #proving #trade-off
- On the virtue of succinct proofs: amplifying communication complexity hardness to time-space trade-offs in proof complexity (TH, JN), pp. 233–248.
 STOC-2012-Sherstov #complexity #multi #set STOC-2012-Sherstov #complexity #multi #set
- The multiparty communication complexity of set disjointness (AAS), pp. 525–548.
 TACAS-2012-HeussnerGS #framework #named #verification TACAS-2012-HeussnerGS #framework #named #verification
- McScM: A General Framework for the Verification of Communicating Machines (AH, TLG, GS), pp. 478–484.
 CSL-2012-DeYoungCPT #linear #logic #reduction CSL-2012-DeYoungCPT #linear #logic #reduction
- Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication (HD, LC, FP, BT), pp. 228–242.
 VMCAI-2012-BasuBO #verification VMCAI-2012-BasuBO #verification
- Synchronizability for Verification of Asynchronously Communicating Systems (SB, TB, MO), pp. 56–71.
 CBSE-2011-HeinzemannH #adaptation #architecture #component #embedded #protocol #reuse #self CBSE-2011-HeinzemannH #adaptation #architecture #component #embedded #protocol #reuse #self
- Reusing dynamic communication protocols in self-adaptive embedded component architectures (CH, SH), pp. 109–118.
 ECSA-2011-TamburriL #agile #development #network ECSA-2011-TamburriL #agile #development #network
- Supporting Communication and Cooperation in Global Software Development with Agile Service Networks (DAT, PL), pp. 236–243.
 QoSA-ISARCS-2011-KlattRK #framework #integration #predict #quality QoSA-ISARCS-2011-KlattRK #framework #integration #predict #quality
- Integration of event-based communication in the palladio software quality prediction framework (BK, CR, SK), pp. 43–52.
 CSEET-2011-CarterVGBAH #education #re-engineering CSEET-2011-CarterVGBAH #education #re-engineering
- Communication genres: Integrating communication into the software engineering curriculum (MC, MAV, GCG, JEB, PVA, MEH), pp. 21–30.
 CSEET-2011-EngM #assessment #experience #learning #student CSEET-2011-EngM #assessment #experience #learning #student
- Continued assessment of students’ learning experience in an oral communication course at MIT for EECS majors (TLE, RM), pp. 439–443.
 CSEET-2011-GannodABB #education #integration #question #re-engineering CSEET-2011-GannodABB #education #integration #question #re-engineering
- Is integration of communication and technical instruction across the SE curriculum a viable strategy for improving the real-world communication abilities of software engineering graduates? (GCG, PVA, JEB, AB), pp. 525–529.
 ITiCSE-2011-KaratsolisCHCOAS #effectiveness ITiCSE-2011-KaratsolisCHCOAS #effectiveness
- Getting CS undergraduates to communicate effectively (AK, IC, KAH, YC, KO, NBAG, TS), pp. 283–287.
 SIGITE-2011-ZhangW #case study #performance SIGITE-2011-ZhangW #case study #performance
- Effects of communication, leadership, and team performance on successful IT capstone projects: a case study (CZ, AJAW), pp. 281–286.
 CSMR-2011-AlawnehH #abstraction #pattern matching #pattern recognition #recognition CSMR-2011-AlawnehH #abstraction #pattern matching #pattern recognition #recognition
- Pattern Recognition Techniques Applied to the Abstraction of Traces of Inter-Process Communication (LA, AHL), pp. 211–220.
 DLT-J-2010-BordihnKM11 #automaton #finite #parallel DLT-J-2010-BordihnKM11 #automaton #finite #parallel
- Undecidability and Hierarchy Results for Parallel Communicating Finite Automata (HB, MK, AM), pp. 1577–1592.
 ICALP-v1-2011-Zhang #bound #complexity #on the #power of #quantum ICALP-v1-2011-Zhang #bound #complexity #on the #power of #quantum
- On the Power of Lower Bound Methods for One-Way Quantum Communication Complexity (SZ), pp. 49–60.
 ICALP-v2-2011-ChlebusKPR #ad hoc #distributed #network #performance ICALP-v2-2011-ChlebusKPR #ad hoc #distributed #network #performance
- Efficient Distributed Communication in Ad-Hoc Radio Networks (BSC, DRK, AP, MAR), pp. 613–624.
 FM-2011-ChenLW #process #refinement FM-2011-ChenLW #process #refinement
- Failure-Divergence Refinement of Compensating Communicating Processes (ZC, ZL, JW), pp. 262–277.
 SEFM-2011-Pedercini #modelling #policy #process SEFM-2011-Pedercini #modelling #policy #process
- Models and Communication in the Policy Process (MP), pp. 35–37.
 DiGRA-2011-VasconcellosA #game studies #health #online #video DiGRA-2011-VasconcellosA #game studies #health #online #video
- Online Video Games in Brazilian Public Health Communication (MSdV, ISdA).
 CHI-2011-NiKW #named #using CHI-2011-NiKW #named #using
- AnatOnMe: facilitating doctor-patient communication using a projection-based handheld device (TN, AKK, DW), pp. 3333–3342.
 CHI-2011-PaldaniusKVJH #case study #experience #interactive CHI-2011-PaldaniusKVJH #case study #experience #interactive
- Communication technology for human-dog interaction: exploration of dog owners’ experiences and expectations (MP, TK, KVVM, OJ, JH), pp. 2641–2650.
 CHI-2011-SetlockF #interactive CHI-2011-SetlockF #interactive
- Culture or fluency?: unpacking interactions between culture and communication medium (LDS, SRF), pp. 1137–1140.
 CSCW-2011-BalesLG #mobile #named CSCW-2011-BalesLG #mobile #named
- CoupleVIBE: mobile implicit communication to improve awareness for (long-distance) couples (EB, KAL, WGG), pp. 65–74.
 CSCW-2011-InkpenS CSCW-2011-InkpenS
- Me and my avatar: exploring users’ comfort with avatars for workplace communication (KMI, MS), pp. 383–386.
 CSCW-2011-Johri #distributed #email #exclamation #tool support CSCW-2011-Johri #distributed #email #exclamation #tool support
- Look ma, no email!: blogs and IRC as primary and preferred communication tools in a distributed firm (AJ), pp. 305–308.
 CSCW-2011-KanaiK CSCW-2011-KanaiK
- A menu-planning support system to facilitate communication among neighbors (HK, KK), pp. 661–664.
 CSCW-2011-LiuHTCGPH #mobile #social CSCW-2011-LiuHTCGPH #mobile #social
- Improving communication and social support for caregivers of high-risk infants through mobile technologies (LSL, SHH, MT, KGC, SG, SYP, GRH), pp. 475–484.
 DUXU-v1-2011-GouldM #collaboration #development DUXU-v1-2011-GouldM #collaboration #development
- Company Culture Audit to Improve Development Team’s Collaboration, Communication, and Cooperation (EWG, AM), pp. 415–424.
 DUXU-v2-2011-CoopamootooA #evaluation #online #privacy DUXU-v2-2011-CoopamootooA #evaluation #online #privacy
- A Systematic Evaluation of the Communicability of Online Privacy Mechanisms with Respect to Communication Privacy Management (PLC, DA), pp. 384–393.
 HCD-2011-AryanaBN #mobile HCD-2011-AryanaBN #mobile
- Possibilities for Cultural Customization of Mobile Communication Devices: The Case of Iranian Mobile Users (BA, CB, AN), pp. 177–186.
 HCD-2011-KamihiraAN #community #design #education #learning #visual notation HCD-2011-KamihiraAN #community #design #education #learning #visual notation
- Building a Shared Cross-Cultural Learning Community for Visual Communication Design Education (TK, MA, TN), pp. 397–406.
 HCD-2011-KandaK #people #tool support HCD-2011-KandaK #people #tool support
- Holistic Prosthetic Approaches to the Hearing Handicapped People: Communication Tools in Various Situations (KK, TK), pp. 313–320.
 HCD-2011-KoikeOTMMKUKY #collaboration #process HCD-2011-KoikeOTMMKUKY #collaboration #process
- Co-creation Process of Collaborative Work with Communication Robot (SK, TO, ST, TM, YM, DK, KU, KK, KY), pp. 417–424.
 HCD-2011-KwakSM #interactive #prototype HCD-2011-KwakSM #interactive #prototype
- Study of Honest Signal: Bringing Unconscious Channel of Communication into Awareness through Interactive Prototype (YK, TS, JM), pp. 529–536.
 HCD-2011-Lin #design #research #semantics #using HCD-2011-Lin #design #research #semantics #using
- Research in the Use of Product Semantics to Communicate Product Design Information (CHL), pp. 556–565.
 HCI-ITE-2011-NakaI #3d #gesture #interface #using HCI-ITE-2011-NakaI #3d #gesture #interface #using
- Web-Based Nonverbal Communication Interface Using 3DAgents with Natural Gestures (TN, TI), pp. 565–574.
 HCI-ITE-2011-OzakiMYS #design #multi HCI-ITE-2011-OzakiMYS #design #multi
- Design of a Face-to-Face Multilingual Communication System for a Handheld Device in the Medical Field (SO, TM, TY, AS), pp. 378–386.
 HCI-MIIE-2011-AoyagiOIS #behaviour HCI-MIIE-2011-AoyagiOIS #behaviour
- Proposal of a Method for Promotion of Continuous Pro-Environmental Behavior with Easy Communication (SA, TO, HI, HS), pp. 465–473.
 HCI-MIIE-2011-KitaN HCI-MIIE-2011-KitaN
- Recall and Communication Support System for Reminiscences Triggered by Humming (YK, YN), pp. 213–219.
 HCI-MIIE-2011-Wang #elicitation #speech HCI-MIIE-2011-Wang #elicitation #speech
- A Knowledge Elicitation Study for a Speech Enabled GIS to Handle Vagueness in Communication (HW), pp. 338–345.
 HCI-UA-2011-IzuharaYS HCI-UA-2011-IzuharaYS
- Promotion Project for Communication between Artisans and Consumers Supported by Media Technology (RI, SY, SS), pp. 237–244.
 HCI-UA-2011-KhairatG #human-computer #interactive HCI-UA-2011-KhairatG #human-computer #interactive
- Clinical Communication: Human-Computer and Human-Human Interactions (SSK, YG), pp. 182–191.
 HCI-UA-2011-KimuraF #comprehension #design HCI-UA-2011-KimuraF #comprehension #design
- Design of Communication Field for Leading to Satisfied Understanding: Example of High-Level Radioactive Waste Disposal in Japan (HK, MF), pp. 354–359.
 HCI-UA-2011-Levis #towards #using #women HCI-UA-2011-Levis #towards #using #women
- Working toward Women’s Economic Empowerment: Using Information and Communication Technology in Developing Areas to Market Traditional Crafts (MSL), pp. 266–273.
 HIMI-v1-2011-ElliottSR #development #navigation HIMI-v1-2011-ElliottSR #development #navigation
- Development of Tactile and Haptic Systems for U.S. Infantry Navigation and Communication (LRE, ETS, ESR), pp. 399–407.
 HIMI-v1-2011-Ito #gesture #personalisation HIMI-v1-2011-Ito #gesture #personalisation
- Hand Gesture-Based Manipulation of a Personalized Avatar Robot in Remote Communication (TI), pp. 425–434.
 HIMI-v1-2011-MitaWKM #case study #using HIMI-v1-2011-MitaWKM #case study #using
- A Study of Attention Control by Using Eye Communication with an Anthropomorphic Agent (TM, RW, NK, KM), pp. 603–611.
 HIMI-v1-2011-TogawaKY #detection #network #peer-to-peer #using #visualisation HIMI-v1-2011-TogawaKY #detection #network #peer-to-peer #using #visualisation
- Peer-to-Peer File Sharing Communication Detection Using Spherical SOM Visualization for Network Management (ST, KK, YY), pp. 259–267.
 HIMI-v2-2011-BrandtLDBJ #protocol HIMI-v2-2011-BrandtLDBJ #protocol
- Flight Deck Workload and Acceptability of Verbal and Digital Communication Protocols (SLB, JL, AQVD, VB, WWJ), pp. 463–472.
 HIMI-v2-2011-IshiiOMM #3d #named #pseudo #video HIMI-v2-2011-IshiiOMM #3d #named #pseudo #video
- MoPaCo: Pseudo 3D Video Communication System (RI, SO, TM, NM), pp. 131–140.
 HIMI-v2-2011-KinoeN #design #product line HIMI-v2-2011-KinoeN #design #product line
- Designing Peripheral Communication Services for Families Living-Apart: Elderly Persons and Family (YK, MN), pp. 147–156.
 HIMI-v2-2011-OgakiIM #chat #research #visual notation HIMI-v2-2011-OgakiIM #chat #research #visual notation
- Research on the Relationships between Visual Entertainment Factor and Chat Communication (TO, JI, JM), pp. 165–170.
 HIMI-v2-2011-SakataM #collaboration #process HIMI-v2-2011-SakataM #collaboration #process
- Process in Establishing Communication in Collaborative Creation (MS, KM), pp. 315–324.
 HIMI-v2-2011-SumiN #interactive HIMI-v2-2011-SumiN #interactive
- Interactive e-Hon as Parent-Child Communication Tool (KS, MN), pp. 199–206.
 HIMI-v2-2011-SutoS #concept HIMI-v2-2011-SutoS #concept
- Local Communication Media Based on Concept of Media Biotope (HS, MS), pp. 396–402.
 HIMI-v2-2011-YuCW #framework #interactive #named #platform #problem #product line HIMI-v2-2011-YuCW #framework #interactive #named #platform #problem #product line
- SAM: A Spatial Interactive Platform for Studying Family Communication Problem (GJY, TWC, YCW), pp. 207–216.
 IDGD-2011-Dai #development #interactive #mobile IDGD-2011-Dai #development #interactive #mobile
- New Development of Mobile Instant Messaging: Virtual Body Communication Interaction (LD), pp. 483–489.
 IDGD-2011-LiRH #difference IDGD-2011-LiRH #difference
- The Impact of Cultural Differences on Instant Messaging Communication in China and Germany (HL, PLPR, AH), pp. 75–84.
 IDGD-2011-Yang11a IDGD-2011-Yang11a
- Common Task-Oriented Communication Tool Applied in Radiology Department of Hospital (RY), pp. 238–247.
 OCSC-2011-OhiraMM #interactive #interface #named #online #visual notation OCSC-2011-OhiraMM #interactive #interface #named #online #visual notation
- CICRO: An Interactive Visual Interface for Crowd Communication Online (MO, HM, KiM), pp. 251–260.
 OCSC-2011-YoshinoM #using OCSC-2011-YoshinoM #using
- GAZO GAZO KUN: Photo-Sharing System Using an Anthropomorphic Photo Frame for Communication Support (TY, TM), pp. 297–305.
 CAiSE-2011-BiderJS #architecture #case study #experience #process #using CAiSE-2011-BiderJS #architecture #case study #experience #process #using
- Experiences of Using Different Communication Styles in Business Process Support Systems with the Shared Spaces Architecture (IB, PJ, RS), pp. 299–313.
 ICEIS-v1-2011-Kim #network #using ICEIS-v1-2011-Kim #network #using
- CRL Distribution using an Alternative Communication Media for Vehicular Networks (HK), pp. 217–222.
 ICEIS-v1-2011-PiTX #peer-to-peer ICEIS-v1-2011-PiTX #peer-to-peer
- Solutions for Enabling Communication between Different Proprietary Peer-to-peer Systems (RP, JT, KX), pp. 580–585.
 ICEIS-v2-2011-YangLT #development #how #memory management #question ICEIS-v2-2011-YangLT #development #how #memory management #question
- How Communication Impacts on the Development of Transactive Memory System in Task-teams? (YY, YL, FT), pp. 451–454.
 ICEIS-v3-2011-TangX #analysis #modelling #network ICEIS-v3-2011-TangX #analysis #modelling #network
- Modeling and Analysis of a Power Line Communication Network Subject to Channel Failure (ST, YX), pp. 184–189.
 ICEIS-v4-2011-SchulteKKS #education #integration #towards ICEIS-v4-2011-SchulteKKS #education #integration #towards
- KOI School — Towards the Next Level of Communication, Organization and Integration in Education (JS, RK, DK, JS), pp. 43–52.
 SEKE-2011-AndradeDBW #approach #documentation #retrieval #using SEKE-2011-AndradeDBW #approach #documentation #retrieval #using
- An approach for retrieval and knowledge communication using medical documents (RA, MARD, FCB, AvW), pp. 169–174.
 PADL-2011-HolkBWHCL #declarative #named PADL-2011-HolkBWHCL #declarative #named
- Kanor — A Declarative Language for Explicit Communication (EH, WEB, JW, TH, AC, AL), pp. 190–204.
 PLDI-2011-JablinPJJBA #automation #cpu #gpu #optimisation PLDI-2011-JablinPJJBA #automation #cpu #gpu #optimisation
- Automatic CPU-GPU communication management and optimization (TBJ, PP, JAJ, NPJ, SRB, DIA), pp. 142–151.
 RE-2011-BjarnasonWR #case study #development #requirements #scalability RE-2011-BjarnasonWR #case study #development #requirements #scalability
- Requirements are slipping through the gaps — A case study on causes & effects of communication gaps in large-scale software development (EB, KW, BR), pp. 37–46.
 RE-2011-MarczakD #collaboration #how #interactive RE-2011-MarczakD #collaboration #how #interactive
- How interaction between roles shapes the communication structure in requirements-driven collaboration (SM, DD), pp. 47–56.
 ESEC-FSE-2011-TreudeS #community #development #effectiveness ESEC-FSE-2011-TreudeS #community #development #effectiveness
- Effective communication of software development knowledge through community portals (CT, MADS), pp. 91–101.
 ICSE-2011-KwanD ICSE-2011-KwanD
- The hidden experts in software-engineering communication (IK, DD), pp. 800–803.
 SAC-2011-KienHB #algorithm #hybrid #problem #search-based SAC-2011-KienHB #algorithm #hybrid #problem #search-based
- New hybrid genetic algorithm for solving optimal communication spanning tree problem (PTK, NDH, HTTB), pp. 1076–1081.
 SLE-2011-Wojciechowski #concurrent #scripting language SLE-2011-Wojciechowski #concurrent #scripting language
- Typed First-Class Communication Channels and Mobility for Concurrent Scripting Languages (PTW), pp. 378–387.
 CASE-2011-CatalanSBRC #distributed CASE-2011-CatalanSBRC #distributed
- Communication types for manufacturing systems. A proposal to distributed control system based on IEC 61499 (CC, FS, AB, JMR, JMC), pp. 767–772.
 CASE-2011-Hackbarth #distributed #memory management #self CASE-2011-Hackbarth #distributed #memory management #self
- Self-organizing warehouse management based on communicating distributed memory tags (FH), pp. 232–237.
 CASE-2011-PuiuM #realtime CASE-2011-PuiuM #realtime
- The time delay control of CAN messages for real-time communication (DP, FM), pp. 631–636.
 CASE-2011-WasonW #architecture #automation #library CASE-2011-WasonW #architecture #automation #library
- Robot Raconteur: A communication architecture and library for robotic and automation systems (JDW, JTW), pp. 761–766.
 DATE-2011-AgyekumN #hardware #robust DATE-2011-AgyekumN #hardware #robust
- A delay-insensitive bus-invert code and hardware support for robust asynchronous global communication (MYA, SMN), pp. 1370–1375.
 DATE-2011-GoswamiSC #cyber-physical #hybrid #protocol #re-engineering DATE-2011-GoswamiSC #cyber-physical #hybrid #protocol #re-engineering
- Re-engineering cyber-physical control applications for hybrid communication protocols (DG, RS, SC), pp. 914–919.
 DATE-2011-HuangDEB #collaboration #framework #platform DATE-2011-HuangDEB #collaboration #framework #platform
- A circuit technology platform for medical data acquisition and communication: Outline of a collaboration project within the Swiss Nano-Tera.ch Initiative (QH, CD, CE, TB), pp. 1472–1473.
 DATE-2011-KakoeeBB #named #network #reliability DATE-2011-KakoeeBB #named #network #reliability
- ReliNoC: A reliable network for priority-based on-chip communication (MRK, VB, LB), pp. 667–672.
 DATE-2011-MahlknechtKGW #energy DATE-2011-MahlknechtKGW #energy
- Wireless communication and energy harvesting in automobiles (SM, TJK, CG, LW), pp. 1042–1047.
 DATE-2011-MatischekHGH #realtime DATE-2011-MatischekHGH #realtime
- Real-time wireless communication in automotive applications (RM, TH, CG, JH), pp. 1036–1041.
 DATE-2011-OnizawaMH #monitoring DATE-2011-OnizawaMH #monitoring
- Interconnect-fault-resilient delay-insensitive asynchronous communication link based on current-flow monitoring (NO, AM, TH), pp. 776–781.
 DATE-2011-RabaeyMCSTGWW DATE-2011-RabaeyMCSTGWW
- Powering and communicating with mm-size implants (JMR, MM, DC, CS, CT, SG, MW, DW), pp. 722–727.
 DATE-2011-TendulkarPNKNK #hardware #runtime DATE-2011-TendulkarPNKNK #hardware #runtime
- Fine-grain OpenMP runtime support with explicit communication hardware primitives (PT, VP, GN, SGK, DSN, MK), pp. 891–894.
 PDP-2011-AliKGP #approach #fault tolerance #modelling #programming #scalability PDP-2011-AliKGP #approach #fault tolerance #modelling #programming #scalability
- A Redundant Communication Approach to Scalable Fault Tolerance in PGAS Programming Models (NA, SK, NG, BJP), pp. 24–31.
 PDP-2011-RahmaniLLPT #3d #architecture #reliability PDP-2011-RahmaniLLPT #3d #architecture #reliability
- A Stacked Mesh 3D NoC Architecture Enabling Congestion-Aware and Reliable Inter-layer Communication (AMR, KL, PL, JP, HT), pp. 423–430.
 PPoPP-2011-LesaniP #memory management #transaction PPoPP-2011-LesaniP #memory management #transaction
- Communicating memory transactions (ML, JP), pp. 157–168.
 PPoPP-2011-WuM #named #source code PPoPP-2011-WuM #named #source code
- ScalaExtrap: trace-based communication extrapolation for spmd programs (XW, FM), pp. 113–122.
 STOC-2011-BravermanR #fault #interactive #towards STOC-2011-BravermanR #fault #interactive #towards
- Towards coding for maximum errors in interactive communication (MB, AR), pp. 159–166.
 STOC-2011-ChakrabartiR #bound #complexity STOC-2011-ChakrabartiR #bound #complexity
- An optimal lower bound on the communication complexity of gap-hamming-distance (AC, OR), pp. 51–60.
 STOC-2011-KantorLPP STOC-2011-KantorLPP
- The topology of wireless communication (EK, ZL, MP, DP), pp. 383–392.
 STOC-2011-RegevK #quantum STOC-2011-RegevK #quantum
- Quantum one-way communication can be exponentially stronger than classical communication (OR, BK), pp. 31–40.
 STOC-2011-Sherstov #complexity #quantum #query #theorem STOC-2011-Sherstov #complexity #quantum #query #theorem
- Strong direct product theorems for quantum communication and query complexity (AAS), pp. 41–50.
 ICTSS-2011-ShinboH #detection #empirical #mobile ICTSS-2011-ShinboH #detection #empirical #mobile
- An Empirical Study on Applying Anomaly Detection Technique to Detecting Software and Communication Failures in Mobile Data Communication Services (HS, TH), pp. 195–208.
 TAP-2011-TroyaBLV #lightweight #network #testing TAP-2011-TroyaBLV #lightweight #network #testing
- Lightweight Testing of Communication Networks with e-Motions (JT, JMB, FLR, AV), pp. 187–204.
 VMCAI-2011-GotmanovCK #verification VMCAI-2011-GotmanovCK #verification
- Verifying Deadlock-Freedom of Communication Fabrics (AG, SC, MK), pp. 214–231.
 ECSA-2010-KiwelekarJ10a #architecture #concept analysis #identification ECSA-2010-KiwelekarJ10a #architecture #concept analysis #identification
- Identifying Architectural Connectors through Formal Concept Analysis of Communication Primitives (AWK, RKJ), pp. 515–518.
 ECSA-2010-SchwittekE #architecture #information management #requirements #tool support ECSA-2010-SchwittekE #architecture #information management #requirements #tool support
- Communicating Architectural Knowledge: Requirements for Software Architecture Knowledge Management Tools (WS, SE), pp. 457–463.
 PASTE-2010-HaC #concurrent #dynamic analysis PASTE-2010-HaC #concurrent #dynamic analysis
- Opportunities for concurrent dynamic analysis with explicit inter-core communication (JH, SPC), pp. 17–20.
 DLT-J-2008-Ada10 #complexity #nondeterminism #on the #regular expression DLT-J-2008-Ada10 #complexity #nondeterminism #on the #regular expression
- On the Non-Deterministic Communication Complexity of Regular Languages (AA), pp. 479–493.
 DLT-2010-BordihnKM #automaton #finite #parallel DLT-2010-BordihnKM #automaton #finite #parallel
- Undecidability and Hierarchy Results for Parallel Communicating Finite Automata (HB, MK, AM), pp. 88–99.
 ICALP-v1-2010-BeimelDKW #complexity ICALP-v1-2010-BeimelDKW #complexity
- Choosing, Agreeing, and Eliminating in Communication Complexity (AB, SBD, EK, EW), pp. 451–462.
 ICALP-v1-2010-LeeZ #complexity #composition #theorem ICALP-v1-2010-LeeZ #complexity #composition #theorem
- Composition Theorems in Communication Complexity (TL, SZ), pp. 475–489.
 ICALP-v2-2010-LanesePSS #calculus #higher-order #on the #process ICALP-v2-2010-LanesePSS #calculus #higher-order #on the #process
- On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi (IL, JAP, DS, AS), pp. 442–453.
 LATA-2010-Muscholl #analysis #automaton LATA-2010-Muscholl #analysis #automaton
- Analysis of Communicating Automata (AM), pp. 50–57.
 ICGT-2010-Modica #analysis #formal method #modelling #petri net #platform ICGT-2010-Modica #analysis #formal method #modelling #petri net #platform
- Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems (TM), pp. 400–402.
 CHI-2010-NakatsumaS #2d #detection #network CHI-2010-NakatsumaS #2d #detection #network
- High accuracy position and orientation detection in two-dimensional communication network (KN, HS), pp. 2297–2306.
 CHI-2010-PanJYPQ #automation #comprehension #quality #realtime CHI-2010-PanJYPQ #automation #comprehension #quality #realtime
- Effects of automated transcription quality on non-native speakers’ comprehension in real-time computer-mediated communication (YP, DJ, LY, MP, YQ), pp. 1725–1734.
 CHI-2010-TsujitaTS #behaviour #evaluation #named CHI-2010-TsujitaTS #behaviour #evaluation #named
- InPhase: evaluation of a communication system focused on “happy coincidences” of daily behaviors (HT, KT, IS), pp. 2481–2490.
 CHI-2010-TurnerQBGB CHI-2010-TurnerQBGB
- Exploring the workplace communication ecology (TT, PQ, JTB, GG, MB), pp. 841–850.
 CSCW-2010-BertramVGW #collaboration #debugging #issue tracking #social CSCW-2010-BertramVGW #collaboration #debugging #issue tracking #social
- Communication, collaboration, and bugs: the social nature of issue tracking in small, collocated teams (DB, AV, SG, RW), pp. 291–300.
 CSCW-2010-BurkeKW #social #using CSCW-2010-BurkeKW #social #using
- Social use of computer-mediated communication by adults on the autism spectrum (MB, RK, DW), pp. 425–434.
 CSCW-2010-CaoSBKED #comprehension #product line CSCW-2010-CaoSBKED #comprehension #product line
- Understanding family communication across time zones (XC, AS, AJBB, DSK, DE, XD), pp. 155–158.
 CSCW-2010-KirkSC #video CSCW-2010-KirkSC #video
- Home video communication: mediating “closeness” (DSK, AS, XC), pp. 135–144.
 CSCW-2010-TangPIBTB #collaboration #comprehension #distributed CSCW-2010-TangPIBTB #collaboration #comprehension #distributed
- Three’s company: understanding communication channels in three-way distributed collaboration (AT, MP, KI, HB, JCT, BB), pp. 271–280.
 CSCW-2010-WarkentinWHC CSCW-2010-WarkentinWHC
- Warrants and deception in computer mediated communication (DW, MW, JTH, NC), pp. 9–12.
 CAiSE-2010-LeonardiSSZ #requirements CAiSE-2010-LeonardiSSZ #requirements
- Ahab’s Leg: Exploring the Issues of Communicating Semi-formal Requirements to the Final Users (CL, LS, AS, MZ), pp. 455–469.
 ICEIS-HCI-2010-Cruz-LaraOGBB #chat #interface #multi #standard ICEIS-HCI-2010-Cruz-LaraOGBB #chat #interface #multi #standard
- Standards for Communication and e-Learning in Virtual Worlds — The Multilingual-assisted Chat Interface (SCL, TO, JG, NB, LB), pp. 45–52.
 ICEIS-ISAS-2010-FerreiraAB #identification #modelling ICEIS-ISAS-2010-FerreiraAB #identification #modelling
- Identifying Ruptures in Business-IT Communication through Business Models (JJF, RMdA, FAB), pp. 44–51.
 ICEIS-J-2010-Cruz-LaraOGBBC #chat #interface #standard #using ICEIS-J-2010-Cruz-LaraOGBBC #chat #interface #standard #using
- A Chat Interface Using Standards for Communication and e-Learning in Virtual Worlds (SCL, TO, JG, NB, LB, JPC), pp. 541–554.
 ICEIS-J-2010-FerreiraAB10a #identification #modelling ICEIS-J-2010-FerreiraAB10a #identification #modelling
- Identifying Ruptures in Business-IT Communication through Business Models (JJF, RMdA, FAB), pp. 311–325.
 CIKM-2010-ZhaoTHOJL #social CIKM-2010-ZhaoTHOJL #social
- Communication motifs: a tool to characterize social communications (QZ, YT, QH, NO, RJ, WCL), pp. 1645–1648.
 ICPR-2010-EklundAOYK #interface #realtime #using ICPR-2010-EklundAOYK #interface #realtime #using
- A Brain Computer Interface for Communication Using Real-Time fMRI (AE, MTA, HO, AY, HK), pp. 3665–3669.
 ICPR-2010-GuptaD #detection #network #social ICPR-2010-GuptaD #detection #network #social
- Detection and Characterization of Anomalous Entities in Social Communication Networks (NG, LD), pp. 738–741.
 KMIS-2010-Kenfack #collaboration #community #information management KMIS-2010-Kenfack #collaboration #community #information management
- JADE Agent is Intermediation System (JAIS) for Knowledge Emergence in Community of Practices — Intelligent Information Systems, Best Practices & Communities of Practice, Cooperation, Communication, Collaboration and Knowledge Sharing (CK), pp. 372–377.
 KMIS-2010-SultanowWL KMIS-2010-SultanowWL
- Solve Insufficient Communications — A Measurement-method for Satisfied Communication in Business Organizations (ES, EW, RL), pp. 367–371.
 SEKE-2010-EsfahaniS #architecture #automation SEKE-2010-EsfahaniS #architecture #automation
- Service Automation Architecture as adopted by Unified Communication Audit Tool (SSE, TS), pp. 443–447.
 OOPSLA-2010-WoodSCG #composition #specification OOPSLA-2010-WoodSCG #composition #specification
- Composable specifications for structured shared-memory communication (BPW, AS, LC, DG), pp. 140–159.
 SAC-2010-RubegniBPS #design #multi SAC-2010-RubegniBPS #design #multi
- A format to design narrative multimedia applications for cultural heritage communication (ER, NDB, PP, AS), pp. 1238–1239.
 CASE-2010-YangCHA #estimation #monitoring CASE-2010-YangCHA #estimation #monitoring
- Longitude force estimation for bandwidth conservative communication and vehicular monitoring (JY, TNC, ESHH, NA), pp. 668–673.
 CGO-2010-WeiYYG #pipes and filters #source code CGO-2010-WeiYYG #pipes and filters #source code
- Minimizing communication in rate-optimal software pipelining for stream programs (HW, JY, HY, GRG), pp. 210–217.
 DATE-2010-AgyekumN #hardware #robust DATE-2010-AgyekumN #hardware #robust
- An error-correcting unordered code and hardware support for robust asynchronous global communication (MYA, SMN), pp. 765–770.
 DATE-2010-Eul #difference #standard DATE-2010-Eul #difference #standard
- Wireless communication — successful differentiation on standard technology by innovation (HE), p. 2.
 DATE-2010-PascaARLC #3d #fault DATE-2010-PascaARLC #3d #fault
- Error resilience of intra-die and inter-die communication with 3D spidergon STNoC (VP, LA, CR, RL, MC), pp. 275–278.
 DATE-2010-ZhangLZMC #architecture #generative DATE-2010-ZhangLZMC #architecture #generative
- Domain specific architecture for next generation wireless communication (BZ, HL, HZ, FM, TC), pp. 1414–1419.
 HPDC-2010-PerryS #data type HPDC-2010-PerryS #data type
- Improving MPI communication via data type fission (BP, DMS), pp. 352–355.
 PDP-2010-BazN #adaptation #distributed #performance #protocol #self PDP-2010-BazN #adaptation #distributed #performance #protocol #self
- A Self-adaptive Communication Protocol with Application to High Performance Peer to Peer Distributed Computing (DEB, TTN), pp. 327–333.
 PPoPP-2010-AliMP #algorithm #modelling PPoPP-2010-AliMP #algorithm #modelling
- Modeling advanced collective communication algorithms on cell-based systems (QA, SPM, VSP), pp. 293–304.
 PPoPP-2010-HoeflerSL #protocol #scalability PPoPP-2010-HoeflerSL #protocol #scalability
- Scalable communication protocols for dynamic sparse data exchange (TH, CS, AL), pp. 159–168.
 PPoPP-2010-MarjanovicLAV #effectiveness #hybrid PPoPP-2010-MarjanovicLAV #effectiveness #hybrid
- Effective communication and computation overlap with hybrid MPI/SMPSs (VM, JL, EA, MV), pp. 337–338.
 FoSSaCS-2010-HeussnerLMS #analysis #automaton #reachability FoSSaCS-2010-HeussnerLMS #analysis #automaton #reachability
- Reachability Analysis of Communicating Pushdown Systems (AH, JL, AM, GS), pp. 267–281.
 STOC-2010-BarakBCR #how #interactive STOC-2010-BarakBCR #how #interactive
- How to compress interactive communication (BB, MB, XC, AR), pp. 67–76.
 CAV-2010-ChatterjeeK #architecture #automation #generative #induction #invariant #modelling CAV-2010-ChatterjeeK #architecture #automation #generative #induction #invariant #modelling
- Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics (SC, MK), pp. 321–338.
 ICLP-2010-BautersJSVC10 #set #source code ICLP-2010-BautersJSVC10 #set #source code
- Communicating Answer Set Programs (KB, JJ, SS, DV, MDC), pp. 34–43.
 ICTSS-2010-AartsJU #abstraction #generative #infinity #modelling #protocol #using ICTSS-2010-AartsJU #abstraction #generative #infinity #modelling #protocol #using
- Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction (FA, BJ, JU), pp. 188–204.
 WICSA-ECSA-2009-RodriguezDCJ #adaptation #architecture #configuration management #modelling #multi WICSA-ECSA-2009-RodriguezDCJ #adaptation #architecture #configuration management #modelling #multi
- A model-based multi-level architectural reconfiguration applied to adaptability management in context-aware cooperative communication support systems (IBR, KD, CC, MJ), pp. 353–356.
 SIGMOD-2009-WangYGYTWLP #case study #data mining #mining #mobile #named SIGMOD-2009-WangYGYTWLP #case study #data mining #mining #mobile #named
- MobileMiner: a real world case study of data mining in mobile communication (TW, BY, JG, DY, ST, HW, KL, JP), pp. 1083–1086.
 SIGMOD-2009-ZhangCPT #maintenance SIGMOD-2009-ZhangCPT #maintenance
- Minimizing the communication cost for continuous skyline maintenance (ZZ, RC, DP, AKHT), pp. 495–508.
 CSEET-2009-BurgeA #student CSEET-2009-BurgeA #student
- Improving Communication Skills of SE Students through Curricular Innovation (JEB, PVA), pp. 292–293.
 ITiCSE-2009-BlumeBCD ITiCSE-2009-BlumeBCD
- A “communication skills for computer scientists” course (LB, RMB, CC, AD), pp. 65–69.
 SCAM-2009-LangeM #csp #named #process #thread #towards SCAM-2009-LangeM #csp #named #process #thread #towards
- thr2csp: Toward Transforming Threads into Communicating Sequential Processes (RCL, SM), pp. 3–12.
 CIAA-2009-AtigT #parallel #source code #verification CIAA-2009-AtigT #parallel #source code #verification
- Verifying Parallel Programs with Dynamic Communication Structures (MFA, TT), pp. 145–154.
 CIAA-2009-KutribM #automaton CIAA-2009-KutribM #automaton
- Cellular Automata with Sparse Communication (MK, AM), pp. 34–43.
 ICALP-v1-2009-DraismaKW #complexity #multi ICALP-v1-2009-DraismaKW #complexity #multi
- Partition Arguments in Multiparty Communication Complexity (JD, EK, EW), pp. 390–402.
 ICALP-v1-2009-HalldorssonW ICALP-v1-2009-HalldorssonW
- Wireless Communication Is in APX (MMH, RW), pp. 525–536.
 ICALP-v1-2009-KobayashiGNR #network #quantum ICALP-v1-2009-KobayashiGNR #network #quantum
- General Scheme for Perfect Quantum Network Coding with Free Classical Communication (HK, FLG, HN, MR), pp. 622–633.
 ICALP-v1-2009-RolandS #complexity ICALP-v1-2009-RolandS #complexity
- Amortized Communication Complexity of Distributions (JR, MS), pp. 738–749.
 LATA-2009-PardubskaPO #automaton #correctness #on the #parallel LATA-2009-PardubskaPO #automaton #correctness #on the #parallel
- On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata (DP, MP, FO), pp. 660–671.
 TLCA-2009-MostrousY #higher-order #mobile #optimisation #process TLCA-2009-MostrousY #higher-order #mobile #optimisation #process
- Session-Based Communication Optimisation for Higher-Order Mobile Processes (DM, NY), pp. 203–218.
 ICFP-2009-ZiarekSJ #concurrent ICFP-2009-ZiarekSJ #concurrent
- Partial memoization of concurrency and communication (LZ, KCS, SJ), pp. 161–172.
 DiGRA-2009-Siitonen #community #multi DiGRA-2009-Siitonen #community #multi
- Conflict management and leadership communication in multiplayer communities (MS).
 VS-Games-2009-Dowd #design #game studies VS-Games-2009-Dowd #design #game studies
- Creative Agents and Triggers (CAT) Game Design Method: For Crisis Communication (CD), pp. 215–216.
 VS-Games-2009-Halloran #game studies #using VS-Games-2009-Halloran #game studies #using
- It's Talk, But Not as We Know It: Using VoIP to Communicate in War Games (JH0), pp. 133–140.
 CHI-2009-BrownSKH CHI-2009-BrownSKH
- Exploring the potential of audio-tactile messaging for remote interpersonal communication (LMB, AS, RK, RHRH), pp. 1527–1530.
 CHI-2009-HuangHTNMMR #case study #chat #social CHI-2009-HuangHTNMMR #case study #chat #social
- Of social television comes home: a field study of communication choices and practices in tv-based text and voice chat (EMH, GH, JT, AN, NM, CJM, GR), pp. 585–594.
 CHI-2009-MaC #how #question #visual notation CHI-2009-MaC #how #question #visual notation
- How well do visual verbs work in daily communication for young and old adults? (XM, PRC), pp. 361–364.
 CHI-2009-TangC #mobile #question CHI-2009-TangC #mobile #question
- A mobile voice communication system in medical setting: love it or hate it? (CT, MSTC), pp. 2041–2050.
 CHI-2009-WangFS #adaptation #difference CHI-2009-WangFS #adaptation #difference
- Cultural difference and adaptation of communication styles in computer-mediated group brainstorming (HCW, SRF, LDS), pp. 669–678.
 CHI-2009-ZimmermanRHTM #effectiveness CHI-2009-ZimmermanRHTM #effectiveness
- User-created forms as an effective method of human-agent communication (JZ, KR, IH, AT, KM), pp. 1869–1878.
 DHM-2009-YucelHDR #coordination DHM-2009-YucelHDR #coordination
- Analyzing the Effects of a BCMA in Inter-Provider Communication, Coordination and Cooperation (GY, BH, VGD, MR), pp. 744–753.
 HCD-2009-HashizumeKY #difference #using HCD-2009-HashizumeKY #difference #using
- Regional Difference in the Use of Cell Phone and Other Communication Media among Senior Users (AH, MK, TY), pp. 426–435.
 HCD-2009-KurosuH #analysis #behaviour #development #research HCD-2009-KurosuH #analysis #behaviour #development #research
- Culture and Communication Behavior: A Research Based on the Artifact Development Analysis (MK, AH), pp. 468–475.
 HCD-2009-MejiaMFOP #concept #design #development #evaluation HCD-2009-MejiaMFOP #concept #design #development #evaluation
- Evaluating Design Concepts to Support Informal Communication in Hospitals through the Development of a Tool Based on an Iterative Evaluation (DAM, ALM, JF, SFO, JAP), pp. 1013–1022.
 HCI-AUII-2009-HayashiM #interactive HCI-AUII-2009-HayashiM #interactive
- Cognitive and Emotional Characteristics of Communication in Human-Human/Human-Agent Interaction (YH, KM), pp. 267–274.
 HCI-AUII-2009-SuedaIMR #hybrid #physics HCI-AUII-2009-SuedaIMR #hybrid #physics
- Communication Grill/Salon: Hybrid Physical/Digital Artifacts for Stimulating Spontaneous Real World Communication (KS, KI, TM, JR), pp. 526–535.
 HCI-NIMT-2009-ChenOYFT HCI-NIMT-2009-ChenOYFT
- Prompter “.” Based Creating Thinking Support Communication System That Allows Hand-Drawing (LJC, JO, SY, SF, YT), pp. 783–790.
 HCI-NIMT-2009-MassonM #named HCI-NIMT-2009-MassonM #named
- WeMe: Seamless Active and Passive Liquid Communication (NM, WEM), pp. 694–700.
 HCI-NIMT-2009-MikhailAGSSE #named #using HCI-NIMT-2009-MikhailAGSSE #named #using
- BEXPLORER: Computer and Communication Control Using EEG (MM, MAS, MG, NS, BS, KEA), pp. 579–587.
 HCI-NIMT-2009-OkitaNS #using HCI-NIMT-2009-OkitaNS #using
- Non-verbal Communication System Using Pictograms (MO, YN, HS), pp. 720–724.
 HCI-NT-2009-MesarinaJSCR HCI-NT-2009-MesarinaJSCR
- Evaluating a Personal Communication Tool: Sidebar (MRM, JJ, CS, TC, JR), pp. 490–499.
 HCI-NT-2009-RojasC #perspective HCI-NT-2009-RojasC #perspective
- The Appropriation of Information and Communication Technology: A Cross-Cultural Perspective (JR, MC), pp. 687–696.
 HCI-NT-2009-TogawaKY #detection #mining #peer-to-peer #visualisation HCI-NT-2009-TogawaKY #detection #mining #peer-to-peer #visualisation
- Peer-to-Peer File Sharing Communication Detection System with Traffic Mining and Visualization (ST, KK, YY), pp. 900–909.
 HIMI-DIE-2009-Chen #design #visual notation HIMI-DIE-2009-Chen #design #visual notation
- A Management System for Visual Communication Design at Film Studio (HSC), pp. 13–21.
 HIMI-DIE-2009-Ocenasek09a #approach #design #embedded HIMI-DIE-2009-Ocenasek09a #approach #design #embedded
- An Approach for the Design of Secure Communication in Embedded Systems (PO), pp. 579–586.
 HIMI-DIE-2009-SamoylovFRTSG #interactive HIMI-DIE-2009-SamoylovFRTSG #interactive
- Tactical Access to Complex Technology through Interactive Communication (TACTIC) (AS, CF, SHR, PDT, KS, PG), pp. 154–162.
 HIMI-DIE-2009-TsetserukouNPKIT #exclamation HIMI-DIE-2009-TsetserukouNPKIT #exclamation
- iFeel_IM! Emotion Enhancing Garment for Communication in Affect Sensitive Instant Messenger (DT, AN, HP, NK, MI, ST), pp. 628–637.
 HIMI-II-2009-FurutaSKAKT #analysis #collaboration HIMI-II-2009-FurutaSKAKT #analysis #collaboration
- Analysis of Team Communication and Collaboration in En-Route Air Traffic Control (KF, YS, TK, HA, DK, MT), pp. 758–765.
 HIMI-II-2009-KwonSB #comprehension HIMI-II-2009-KwonSB #comprehension
- Redefining Interoperability: Understanding Police Communication Task Environments (GHK, TLSJ, CWB), pp. 797–805.
 HIMI-II-2009-RheeKKLC HIMI-II-2009-RheeKKLC
- Expanding SNS Features with CE Devices: Space, Profile, Communication (YR, HK, YK, JL, IC), pp. 458–467.
 IDGD-2009-MiyabeY #design #multi #people IDGD-2009-MiyabeY #design #multi #people
- Design of Face-to-Face Multilingual Communication Environment for Illiterate People (MM, TY), pp. 283–292.
 OCSC-2009-HeikeFT #personalisation OCSC-2009-HeikeFT #personalisation
- Personalized and Deformed Avatars for Realizing Avatar-Mediated Real Person-to-Person Communication (MH, KF, TT), pp. 207–215.
 OCSC-2009-NeviarouskayaPI #automation #named OCSC-2009-NeviarouskayaPI #automation #named
- EmoHeart: Automation of Expressive Communication of Emotions in Second Life (AN, HP, MI), pp. 584–592.
 OCSC-2009-TanakaMF #estimation #multi #online OCSC-2009-TanakaMF #estimation #multi #online
- Supporting Acceptable Dialogue Start Based on User Uninterruptibility Estimation for Avatar-Mediated Multi-tasking Online Communication (TT, KM, KF), pp. 272–281.
 CAiSE-2009-EspanaGP #analysis #information management #requirements CAiSE-2009-EspanaGP #analysis #information management #requirements
- Communication Analysis: A Requirements Engineering Method for Information Systems (SE, AG, OP), pp. 530–545.
 ICEIS-HCI-2009-MazieroSG #aspect-oriented #evaluation #interactive #interface ICEIS-HCI-2009-MazieroSG #aspect-oriented #evaluation #interactive #interface
- The Impact of Interface Aspects on Interactive Map Communication — An Evaluation Methodology (LPM, CRS, LSG), pp. 105–112.
 ICEIS-ISAS-2009-ArmenterosMMS #dependence #prototype #security ICEIS-ISAS-2009-ArmenterosMMS #dependence #prototype #security
- Security and Dependability in Ambient Intelligence Scenarios — The Communication Prototype (ÁA, AM, AM, DS), pp. 49–56.
 ICEIS-ISAS-2009-RochaN #comprehension #information management #named ICEIS-ISAS-2009-RochaN #comprehension #information management #named
- Semiotics — An Asset for Understanding Information Systems Communication (PAR, ÂLN), pp. 273–278.
 CIKM-2009-ParateM #framework CIKM-2009-ParateM #framework
- A framework for safely publishing communication traces (AP, GM), pp. 1469–1472.
 KDD-2009-DuFWA #generative #network #scalability KDD-2009-DuFWA #generative #network #scalability
- Large human communication networks: patterns and a utility-driven generator (ND, CF, BW, LA), pp. 269–278.
 KDD-2009-MalmgrenHAW KDD-2009-MalmgrenHAW
- Characterizing individual communication patterns (RDM, JMH, LANA, DJW), pp. 607–616.
 AdaEurope-2009-PiBF #modelling AdaEurope-2009-PiBF #modelling
- Modeling AADL Data Communication with BIP (LP, JPB, MF), pp. 192–206.
 QAPL-2009-TafliovichH #programming #quantum QAPL-2009-TafliovichH #programming #quantum
- Programming with Quantum Communication (AT, ECRH), pp. 99–118.
 ICSE-2009-WolfSDN #analysis #developer #network #predict #social #using ICSE-2009-WolfSDN #analysis #developer #network #predict #social #using
- Predicting build failures using social network analysis on developer communication (TW, AS, DD, THDN), pp. 1–11.
 SAC-2009-CerutiDTPDTLMAFRLE #gesture #recognition SAC-2009-CerutiDTPDTLMAFRLE #gesture #recognition
- Wireless communication glove apparatus for motion tracking, gesture recognition, data transmission, and reception in extreme environments (MGC, VVD, NXT, HVP, LD, TAT, GL, EWM, OA, SF, GJR, RL, JE), pp. 172–176.
 SAC-2009-KerschbaumDSB #complexity #multi #on the #protocol SAC-2009-KerschbaumDSB #complexity #multi #on the #protocol
- On the practical importance of communication complexity for secure multi-party computation protocols (FK, DD, AS, DB), pp. 2008–2015.
 SAC-2009-TimotheouL #nondeterminism SAC-2009-TimotheouL #nondeterminism
- Autonomous networked robots for the establishment of wireless communication in uncertain emergency response scenarios (ST, GL), pp. 1171–1175.
 SAC-2009-WanMKJ #detection #email #network SAC-2009-WanMKJ #detection #email #network
- Link-based event detection in email communication networks (XW, EEM, NK, JJ), pp. 1506–1510.
 CASE-2009-Srinivasan CASE-2009-Srinivasan
- Sustaining manufacturing assets through smarter utilization of information and communication technologies (VS), pp. 478–482.
 DATE-2009-FaruqueEH #adaptation #configuration management #runtime DATE-2009-FaruqueEH #adaptation #configuration management #runtime
- Configurable links for runtime adaptive on-chip communication (MAAF, TE, JH), pp. 256–261.
 DATE-2009-GhasemzadehJSJ #network DATE-2009-GhasemzadehJSJ #network
- Communication minimization for in-network processing in body sensor networks: A buffer assignment technique (HG, NJ, MS, RJ), pp. 358–363.
 DATE-2009-Jara-BerrocalG #architecture #composition #configuration management #named #parametricity #scalability DATE-2009-Jara-BerrocalG #architecture #composition #configuration management #named #parametricity #scalability
- SCORES: A scalable and parametric streams-based communication architecture for modular reconfigurable systems (AJB, AGR), pp. 268–273.
 DATE-2009-JooKH #architecture DATE-2009-JooKH #architecture
- On-chip communication architecture exploration for processor-pool-based MPSoC (YPJ, SK, SH), pp. 466–471.
 DATE-2009-LiWSDS #latency DATE-2009-LiWSDS #latency
- Latency criticality aware on-chip communication (ZL, JW, LS, RPD, YS), pp. 1052–1057.
 DATE-2009-LukasiewyczSGHT #architecture #synthesis DATE-2009-LukasiewyczSGHT #architecture #synthesis
- Combined system synthesis and communication architecture exploration for MPSoCs (ML, MS, MG, CH, JT), pp. 472–477.
 DATE-2009-LuMJBWH DATE-2009-LuMJBWH
- Flow regulation for on-chip communication (ZL, MM, AJ, ACB, PvdW, TH), pp. 578–581.
 DATE-2009-PaciBB #adaptation #bias #effectiveness #variability DATE-2009-PaciBB #adaptation #bias #effectiveness #variability
- Effectiveness of adaptive supply voltage and body bias as post-silicon variability compensation techniques for full-swing and low-swing on-chip communication channels (GP, DB, LB), pp. 1404–1409.
 DATE-2009-SanderGRBM DATE-2009-SanderGRBM
- Priority-based packet communication on a bus-shaped structure for FPGA-systems (OS, BG, CR, JB, KDMG), pp. 178–183.
 HPCA-2009-MadanZMUBIMN #3d #capacity #configuration management #optimisation HPCA-2009-MadanZMUBIMN #3d #capacity #configuration management #optimisation
- Optimizing communication and capacity in a 3D stacked reconfigurable cache hierarchy (NM, LZ, NM, ANU, RB, RI, SM, DN), pp. 262–274.
 PDP-2009-Goglin #throughput PDP-2009-Goglin #throughput
- High Throughput Intra-Node MPI Communication with Open-MX (BG), pp. 173–180.
 PDP-2009-OrtizODP #interface #network #performance PDP-2009-OrtizODP #interface #network #performance
- A New Offloaded/Onloaded Network Interface for High Performance Communication (AO, JO, AFD, AP), pp. 143–150.
 STOC-2009-KushilevitzW #complexity #on the STOC-2009-KushilevitzW #complexity #on the
- On the complexity of communication complexity (EK, EW), pp. 465–474.
 CSL-2009-CockettS #on the #problem #word CSL-2009-CockettS #on the #problem #word
- On the Word Problem for ΣΠ-Categories, and the Properties of Two-Way Communication (JRBC, LS), pp. 194–208.
 LICS-2009-Kahlon #bound #decidability #thread LICS-2009-Kahlon #bound #decidability #thread
- Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks (VK), pp. 27–36.
 ECDL-2008-KruseSBCHNPRST #case study #community ECDL-2008-KruseSBCHNPRST #case study #community
- A User Field Study: Communication in Academic Communities and Government Agencies (FK, ABS, BB, BCD, HH, MPN, JWPF, SR, KS, JT), pp. 447–449.
 HT-2008-ChoudhurySJS #predict #social #using HT-2008-ChoudhurySJS #predict #social #using
- Dynamic prediction of communication flow using social context (MDC, HS, AJ, DDS), pp. 49–54.
 HT-2008-ChoudhurySJS08a #correlation #process #question HT-2008-ChoudhurySJS08a #correlation #process #question
- Can blog communication dynamics be correlated with stock market activity? (MDC, HS, AJ, DDS), pp. 55–60.
 CSEET-2008-BurgeW #education #re-engineering CSEET-2008-BurgeW #education #re-engineering
- Teaching Communication Skills in the Software Engineering Curriculum (JEB, CW), pp. 265–266.
 SIGITE-2008-HilbergM SIGITE-2008-HilbergM
- Undergraduate fluency with information and communication technology: perceptions and reality (JSH, GM), pp. 5–10.
 WCRE-2008-Devanbu #collaboration #development #open source #reverse engineering WCRE-2008-Devanbu #collaboration #development #open source #reverse engineering
- Reverse Engineering the Bazaar: Collaboration and Communication in Open Source Development (PTD), p. 4.
 DLT-2008-Ada #complexity #nondeterminism #on the #regular expression DLT-2008-Ada #complexity #nondeterminism #on the #regular expression
- On the Non-deterministic Communication Complexity of Regular Languages (AA), pp. 96–107.
 DLT-2008-BordihnKM #automaton #capacity #finite #on the #parallel DLT-2008-BordihnKM #automaton #capacity #finite #on the #parallel
- On the Computational Capacity of Parallel Communicating Finite Automata (HB, MK, AM), pp. 146–157.
 ICALP-C-2008-HirtNP #multi #polynomial ICALP-C-2008-HirtNP #multi #polynomial
- Asynchronous Multi-Party Computation with Quadratic Communication (MH, JBN, BP), pp. 473–485.
 AIIDE-2008-DohertyO #behaviour #evolution AIIDE-2008-DohertyO #behaviour #evolution
- Effects of Communication on the Evolution of Squad Behaviours (DD, CO).
 CHI-2008-HsiehLHK #using CHI-2008-HsiehLHK #using
- Using tags to assist near-synchronous communication (GH, JL, SEH, RK), pp. 223–226.
 CHI-2008-SuM #multi CHI-2008-SuM #multi
- Communication chains and multitasking (NMS, GM), pp. 83–92.
 CSCW-2008-AvrahamiFH #latency CSCW-2008-AvrahamiFH #latency
- IM waiting: timing and responsiveness in semi-synchronous communication (DA, SRF, SEH), pp. 285–294.
 CSCW-2008-Bietz #feedback CSCW-2008-Bietz #feedback
- Effects of communication media on the interpretation of critical feedback (MJB), pp. 467–476.
 CSCW-2008-CataldoH #development #distributed #network CSCW-2008-CataldoH #development #distributed #network
- Communication networks in geographically distributed software development (MC, JDH), pp. 579–588.
 CSCW-2008-HsiehKHW CSCW-2008-HsiehKHW
- Can markets help?: applying market mechanisms to improve synchronous communication (GH, RK, SEH, RW), pp. 535–544.
 CSCW-2008-ShklovskiPS #community CSCW-2008-ShklovskiPS #community
- Finding community through information and communication technology in disaster response (IS, LP, JS), pp. 127–136.
 CSCW-2008-SzostekKEH #comprehension #social CSCW-2008-SzostekKEH #comprehension #social
- Understanding the implications of social translucence for systems supporting communication at work (AMS, EK, BE, MH), pp. 649–658.
 CSCW-2008-YamashitaHAKH #video CSCW-2008-YamashitaHAKH #video
- Impact of seating positions on group video communication (NY, KH, SA, HK, YH), pp. 177–186.
 SOFTVIS-2008-ZeckzerKSHK #3d #clustering #graph #reliability #using #visualisation SOFTVIS-2008-ZeckzerKSHK #3d #clustering #graph #reliability #using #visualisation
- Analyzing the reliability of communication between software entities using a 3D visualization of clustered graphs (DZ, RK, LS, HH, TK), pp. 37–46.
 ICEIS-HCI-2008-FurtadoSFC #case study #design #interactive #requirements #validation ICEIS-HCI-2008-FurtadoSFC #case study #design #interactive #requirements #validation
- Promoting Communication and Participation through Enactments of Interaction Design Solutions — A Study Case for Validating Requirements for Digital TV (EF, AS, FF, LC), pp. 268–275.
 ICEIS-HCI-2008-PenichetTLGM #collaboration #web ICEIS-HCI-2008-PenichetTLGM #collaboration #web
- A Collaborative Web System to Improve Citizens-Administration Communication (VMRP, MT, MDL, JAG, FMS), pp. 308–315.
 ICEIS-ISAS1-2008-MoralesTPA #composition #concept #model checking #verification ICEIS-ISAS1-2008-MoralesTPA #composition #concept #model checking #verification
- A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems (LEMM, MICT, MAP, KBA), pp. 86–93.
 ICEIS-SAIC-2008-BaguesBBGI #protocol #semantics #using ICEIS-SAIC-2008-BaguesBBGI #protocol #semantics #using
- Use of Semantic Technology to Describe and Reason about Communication Protocols (MIB, IB, JB, AG, AI), pp. 67–72.
 ICEIS-SAIC-2008-BoddyWRC #collaboration #information management ICEIS-SAIC-2008-BoddyWRC #collaboration #information management
- Awareness in Project Information Spaces for Improved Communication and Collaboration (SB, MW, YR, GC), pp. 101–106.
 ICEIS-SAIC-2008-VallejoCAG #e-commerce #protocol #standard ICEIS-SAIC-2008-VallejoCAG #e-commerce #protocol #standard
- Integrating a Standard Communication Protocol into an E-Commerce Environment Based on Intelligent Agents (DV, JJCS, JA, CGM), pp. 55–60.
 KDD-2008-KossinetsKW #network #social KDD-2008-KossinetsKW #network #social
- The structure of information pathways in a social communication network (GK, JMK, DJW), pp. 435–443.
 PLDI-2008-WegielK #coordination #memory management #named #type safety PLDI-2008-WegielK #coordination #memory management #named #type safety
- XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination (MW, CK), pp. 327–338.
 GPCE-2008-LienhardtSS #component #type system GPCE-2008-LienhardtSS #component #type system
- Typing communicating component assemblages (ML, AS, JBS), pp. 125–136.
 ASPLOS-2008-OttoniA #concurrent #multi #optimisation #scheduling #thread ASPLOS-2008-OttoniA #concurrent #multi #optimisation #scheduling #thread
- Communication optimizations for global multi-threaded instruction scheduling (GO, DIA), pp. 222–232.
 CASE-2008-FischionePRST #architecture #automation #mining CASE-2008-FischionePRST #architecture #automation #mining
- Mining ventilation automation: Wireless sensing, communication architecture and advanced services (CF, LP, CR, FS, ST), pp. 851–857.
 DAC-2008-FaruqueKH #distributed #named #runtime DAC-2008-FaruqueKH #distributed #named #runtime
- ADAM: run-time agent-based distributed application mapping for on-chip communication (MAAF, RK, JH), pp. 760–765.
 DAC-2008-FaviC DAC-2008-FaviC
- Techniques for fully integrated intra-/inter-chip optical communication (CF, EC), pp. 343–344.
 DAC-2008-YuP #embedded #latency #multi #performance DAC-2008-YuP #embedded #latency #multi #performance
- Latency and bandwidth efficient communication through system customization for embedded multiprocessors (CY, PP), pp. 766–771.
 DATE-2008-BeckerHEHSL #architecture #design DATE-2008-BeckerHEHSL #architecture #design
- Design Flows, Communication Based Design and Architectures in Automotive Electronic Systems (JB, MH, RE, AH, WS, VL).
 DATE-2008-BombieriFP #interface DATE-2008-BombieriFP #interface
- A Mutation Model for the SystemC TLM 2.0 Communication Interfaces (NB, FF, GP), pp. 396–401.
 DATE-2008-DeleddaMVBGMKRHBCPLMCD #configuration management #design #framework DATE-2008-DeleddaMVBGMKRHBCPLMCD #configuration management #design #framework
- Design of a HW/SW Communication Infrastructure for a Heterogeneous Reconfigurable Processor (AD, CM, AV, PB, AG, PM, MK, FR, MH, JB, MC, LP, RL, GM, FC, TD), pp. 1352–1357.
 DATE-2008-EberleG #architecture #automation #design #network #power management #scalability DATE-2008-EberleG #architecture #automation #design #network #power management #scalability
- A scalable low-power digital communication network architecture and an automated design path for controlling the analog/RF part of SDR transceivers (WE, MG), pp. 710–715.
 DATE-2008-FaruqueH #architecture DATE-2008-FaruqueH #architecture
- Minimizing Virtual Channel Buffer for Routers in On-chip Communication Architectures (MAAF, JH), pp. 1238–1243.
 DATE-2008-HaidZLK DATE-2008-HaidZLK
- Impact of Leakage Current on Data Retention of RF-powered Devices During Amplitude-Modulation-based Communication (JH, BZ, TL, TK), pp. 784–787.
 DATE-2008-KwonHYMCE DATE-2008-KwonHYMCE
- An Open-Loop Flow Control Scheme Based on the Accurate Global Information of On-Chip Communication (WCK, SMH, SY, BM, KMC, SKE), pp. 1244–1249.
 DATE-2008-WiggersBS #throughput DATE-2008-WiggersBS #throughput
- Computation of Buffer Capacities for Throughput Constrained and Data Dependent Inter-Task Communication (MW, MB, GJMS), pp. 640–645.
 PDP-2008-AbellanFA #named PDP-2008-AbellanFA #named
- CellStats: A Tool to Evaluate the Basic Synchronization and Communication Operations of the Cell BE (JLA, JF, MEA), pp. 261–268.
 PDP-2008-CarrozzaCCR #dependence #evaluation #modelling PDP-2008-CarrozzaCCR #dependence #evaluation #modelling
- Dependability Evaluation and Modeling of the Bluetooth Data Communication Channel (GC, MC, DC, SR), pp. 245–252.
 PDP-2008-DummlerRR #framework #multi PDP-2008-DummlerRR #framework #multi
- A Transformation Framework for Communicating Multiprocessor-Tasks (JD, TR, GR), pp. 64–71.
 PDP-2008-GrossF #data mining #feedback #mining #named #ubiquitous PDP-2008-GrossF #data mining #feedback #mining #named #ubiquitous
- CoDaMine: Communication Data Mining for Feedback and Control in Ubiquitous Environments (TG, MF), pp. 539–546.
 PDP-2008-HeienFH #clustering #parallel PDP-2008-HeienFH #clustering #parallel
- Static Load Distribution for Communication Intensive Parallel Computing in Multiclusters (EMH, NF, KH), pp. 321–328.
 PDP-2008-LorenzBUWW #grid PDP-2008-LorenzBUWW #grid
- Secure Communication for Computational Steering of Grid Jobs (DL, PB, CU, WW, RW), pp. 209–217.
 PPoPP-2008-NishtalaAC #layout #performance PPoPP-2008-NishtalaAC #layout #performance
- Performance without pain = productivity: data layout and collective communication in UPC (RN, GA, CC), pp. 99–110.
 PPoPP-2008-PatrickSK #performance PPoPP-2008-PatrickSK #performance
- Enhancing the performance of MPI-IO applications by overlapping I/O, computation and communication (CMP, SWS, MTK), pp. 277–278.
 FoSSaCS-2008-GruberJ #bound #complexity #regular expression #using FoSSaCS-2008-GruberJ #bound #complexity #regular expression #using
- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity (HG, JJ), pp. 273–286.
 STOC-2008-BarkolIW #replication STOC-2008-BarkolIW #replication
- Communication in the presence of replication (OB, YI, EW), pp. 661–670.
 STOC-2008-ChakrabartiCM #bound #robust STOC-2008-ChakrabartiCM #bound #robust
- Robust lower bounds for communication and stream computation (AC, GC, AM), pp. 641–650.
 STOC-2008-JainKN #bound #complexity #theorem STOC-2008-JainKN #bound #complexity #theorem
- Direct product theorems for classical communication complexity via subdistribution bounds: extended abstract (RJ, HK, AN), pp. 599–608.
 STOC-2008-JubaS #semantics STOC-2008-JubaS #semantics
- Universal semantic communication I (BJ, MS), pp. 123–132.
 STOC-2008-Sherstov #bound #matrix #quantum STOC-2008-Sherstov #bound #matrix #quantum
- The pattern matrix method for lower bounds on quantum communication (AAS), pp. 85–94.
 WICSA-2007-KornstadtS #agile #architecture #challenge #development WICSA-2007-KornstadtS #agile #architecture #challenge #development
- Tackling Offshore Communication Challenges with Agile Architecture-Centric Development (AK, JS), p. 28.
 JCDL-2007-AbbasiC #analysis #categorisation #using #visualisation JCDL-2007-AbbasiC #analysis #categorisation #using #visualisation
- Categorization and analysis of text in computer mediated communication archives using visualization (AA, HC), pp. 11–18.
 CSEET-2007-BradySVW #approach #case study #development CSEET-2007-BradySVW #approach #case study #development
- Addressing Communication Issues in Software Development: A Case Study Approach (AB, MS, TV, CW), pp. 301–308.
 ICSM-2007-JansenB #framework #named ICSM-2007-JansenB #framework #named
- Pheme: A Communication Infrastructure for Product Software Knowledge (SJ, SB), pp. 527–528.
 ICSM-2007-PentaHAQ #approach #maintenance #search-based ICSM-2007-PentaHAQ #approach #maintenance #search-based
- The Effect of Communication Overhead on Software Maintenance Project Staffing: a Search-Based Approach (MDP, MH, GA, FQ), pp. 315–324.
 ICALP-2007-BeameDPW #complexity #multi #nondeterminism ICALP-2007-BeameDPW #complexity #multi #nondeterminism
- Separating Deterministic from Nondeterministic NOF Multiparty Communication Complexity (PB, MD, TP, PW), pp. 134–145.
 ICALP-2007-IwamaNRY #bound #complexity #quantum ICALP-2007-IwamaNRY #bound #complexity #quantum
- Unbounded-Error One-Way Classical and Quantum Communication Complexity (KI, HN, RR, SY), pp. 110–121.
 ICALP-2007-MontanaroW #bound #complexity #quantum ICALP-2007-MontanaroW #bound #complexity #quantum
- A Lower Bound on Entanglement-Assisted Quantum Communication Complexity (AM, AJW), pp. 122–133.
 IFM-2007-Toben #data type #reduction IFM-2007-Toben #data type #reduction
- Non-interference Properties for Data-Type Reduction of Communicating Systems (TT), pp. 619–638.
 CHI-2007-HancockLS CHI-2007-HancockLS
- Expressing emotion in text-based communication (JTH, CL, CS), pp. 929–932.
 CHI-2007-PfeilZ #online CHI-2007-PfeilZ #online
- Patterns of empathy in online communication (UP, PZ), pp. 919–928.
 HCI-AS-2007-NguyenS #semantics HCI-AS-2007-NguyenS #semantics
- ICT-Mediated Synchronous Communication in Creative Teamwork: From Cognitive Dust to Semantics (VN, PAS), pp. 692–701.
 HCI-AS-2007-NodaST #email #evaluation HCI-AS-2007-NodaST #email #evaluation
- Project Evaluation by E-Mail Communication Pattern (JN, RS, HT), pp. 702–711.
 HCI-AS-2007-TanevaL #design #safety HCI-AS-2007-TanevaL #design #safety
- Interfacing Safety and Communication Breakdowns: Situated Medical Technology Design (ST, EL), pp. 525–534.
 HCI-AS-2007-ZhangOD #automation #evaluation #performance HCI-AS-2007-ZhangOD #automation #evaluation #performance
- Performance Evaluation for Automatic Protection Switching in a CDMA-TDD Wireless Communication System (LZ, HO, TD), pp. 1200–1209.
 HCI-MIE-2007-Marcus #mobile #user interface HCI-MIE-2007-Marcus #mobile #user interface
- m-LoCoS UI: A Universal Visible Language for Global Mobile Communication (AM), pp. 144–153.
 HCI-MIE-2007-OguraNS #parallel #thread #using HCI-MIE-2007-OguraNS #parallel #thread #using
- Exploration of Possibility of Multithreaded Conversations Using a Voice Communication System (KO, KN, KS), pp. 186–195.
 HCI-MIE-2007-Wheatley #concurrent #design #evaluation HCI-MIE-2007-Wheatley #concurrent #design #evaluation
- User-Centered Design and Evaluation of a Concurrent Voice Communication and Media Sharing Application (DW), pp. 990–999.
 HIMI-IIE-2007-ItoMN #design #development HIMI-IIE-2007-ItoMN #design #development
- Design and Development of Computer-Based Discussion Support Tool for Science and Technology Communication Exercise (KI, EM, SN), pp. 356–363.
 HIMI-IIE-2007-NakataniMSKN HIMI-IIE-2007-NakataniMSKN
- Communication Environment for Sharing Fond Memories (MN, SM, MS, HK, SN), pp. 110–117.
 HIMI-IIE-2007-SuzukiUKAI #adaptation #interactive #towards HIMI-IIE-2007-SuzukiUKAI #adaptation #interactive #towards
- Toward Adaptive Interaction — The Effect of Ambient Sounds in an Ultra-Realistic Communication System (NS, IU, TK, HA, NI), pp. 185–194.
 HIMI-MTT-2007-EnriquezBH HIMI-MTT-2007-EnriquezBH
- Embodied Communication Between Human and Robot in Route Guidance (GE, YB, SH), pp. 824–829.
 HIMI-MTT-2007-IizukaK #design HIMI-MTT-2007-IizukaK #design
- Design for Confident Communication of Information in Public Spaces (SI, YK), pp. 51–58.
 HIMI-MTT-2007-NakayasuNH #analysis #metric #performance HIMI-MTT-2007-NakayasuNH #analysis #metric #performance
- Measurement and Analysis of Performance of Human Perception for Information Communication Technology (HN, MN, HH), pp. 126–135.
 HIMI-MTT-2007-TogawaKY #detection #mining #network #peer-to-peer #using HIMI-MTT-2007-TogawaKY #detection #mining #network #peer-to-peer #using
- Peer-to-Peer File Sharing Communication Detection System Using Network Traffic Mining (ST, KK, YY), pp. 769–778.
 HIMI-MTT-2007-Watanabe07a HIMI-MTT-2007-Watanabe07a
- Human-Entrained E-COSMIC: Embodied Communication System for Mind Connection (TW), pp. 1008–1016.
 HIMI-MTT-2007-YonemuraYTO #analysis #visual notation HIMI-MTT-2007-YonemuraYTO #analysis #visual notation
- Communication Analysis of Visual Support System That Uses Line Drawing Expression (SY, TY, YT, JO), pp. 359–365.
 OCSC-2007-GamberiniMSSS #feedback #game studies #multi #online #process #social OCSC-2007-GamberiniMSSS #feedback #game studies #multi #online #process #social
- Unveiling the Structure: Effects of Social Feedback on Communication Activity in Online Multiplayer Videogames (LG, FM, FS, AS, AS), pp. 334–341.
 OCSC-2007-MarzialiC #community #delivery #online OCSC-2007-MarzialiC #community #delivery #online
- An E-Health Community of Practice: Online Communication in an E-Health Service Delivery Environment (EM, TC), pp. 395–405.
 OCSC-2007-NeviarouskayaPI #online #recognition OCSC-2007-NeviarouskayaPI #online #recognition
- Recognition of Affect Conveyed by Text Messaging in Online Communication (AN, HP, MI), pp. 141–150.
 OCSC-2007-NuschkeJ #collaboration #framework #information management #tool support #using OCSC-2007-NuschkeJ #collaboration #framework #information management #tool support #using
- A Framework for Inter-organizational Collaboration Using Communication and Knowledge Management Tools (PN, XJ), pp. 406–415.
 CAiSE-2007-AldredADH #abstraction #distributed #process CAiSE-2007-AldredADH #abstraction #distributed #process
- Communication Abstractions for Distributed Business Processes (LA, WMPvdA, MD, AHMtH), pp. 409–423.
 ICEIS-HCI-2007-EijkKSR #ad hoc #mobile ICEIS-HCI-2007-EijkKSR #ad hoc #mobile
- A WE-Centric Service for Mobile Police Officers to Support Communication in Ad-Hoc Groups (RvE, NdK, MS, ER), pp. 61–67.
 ICEIS-HCI-2007-GiraldoS ICEIS-HCI-2007-GiraldoS
- Inhibiting Factors for Communication and Information Technologies Usage — Five Colombian SMEs Study (OLG, EAS), pp. 111–116.
 ICEIS-J-2007-SteenEKR ICEIS-J-2007-SteenEKR
- A We-Centric Telecom Service for Police Officers to Support Communication (MS, RvE, NdK, ER), pp. 357–365.
 RecSys-2007-Radmacher #elicitation RecSys-2007-Radmacher #elicitation
- Elicitation of profile attributes by transparent communication (MR), pp. 199–202.
 LOPSTR-2007-Poernomo #process #synthesis LOPSTR-2007-Poernomo #process #synthesis
- Synthesis of Data Views for Communicating Processes (IP), pp. 185–200.
 QAPL-2007-Smith #modelling #probability #protocol #source code QAPL-2007-Smith #modelling #probability #protocol #source code
- Stochastic Modelling of Communication Protocols from Source Code (MJAS), pp. 129–145.
 SAS-2007-BauerW #abstraction #static analysis SAS-2007-BauerW #abstraction #static analysis
- Static Analysis of Dynamic Communication Systems by Partner Abstraction (JB, RW), pp. 249–264.
 RE-2007-BolchiniGP #interactive RE-2007-BolchiniGP #interactive
- Branding and Communication Goals for Content-Intensive Interactive Applications (DB, FG, PP), pp. 173–182.
 SAC-2007-ArnautovicKFPS #specification #towards SAC-2007-ArnautovicKFPS #specification #towards
- Gradual transition towards autonomic software systems based on high-level communication specification (EA, HK, JF, RP, AS), pp. 84–89.
 SAC-2007-LobatoBPT #architecture #internet #named SAC-2007-LobatoBPT #architecture #internet #named
- MOJOHON: a channel-driven communication architecture for applications deployed on the internet (DCL, MQB, MdGCP, CACT), pp. 1061–1066.
 SAC-2007-Saad-KhorchefRC #framework #robust #testing SAC-2007-Saad-KhorchefRC #framework #robust #testing
- A framework and a tool for robustness testing of communicating software (FSK, AR, RC), pp. 1461–1466.
 DAC-2007-LimKK #architecture #distributed #synthesis DAC-2007-LimKK #architecture #distributed #synthesis
- Interconnect and Communication Synthesis for Distributed Register-File Microarchitecture (KHL, YK, TK), pp. 765–770.
 DATE-2007-BrandCGB DATE-2007-BrandCGB
- Congestion-controlled best-effort communication for networks-on-chip (JWvdB, CC, KG, TB), pp. 948–953.
 DATE-2007-Huomo #ubiquitous DATE-2007-Huomo #ubiquitous
- Emerging solutions technology and business views for the ubiquitous communication (HH), p. 678.
 DATE-2007-MedardoniRBBSP #in memory #industrial #interactive #memory management #platform DATE-2007-MedardoniRBBSP #in memory #industrial #interactive #memory management #platform
- Interactive presentation: Capturing the interaction of the communication, memory and I/O subsystems in memory-centric industrial MPSoC platforms (SM, MR, DB, LB, GS, CP), pp. 660–665.
 DATE-2007-MoussaMBJ #multi #network DATE-2007-MoussaMBJ #multi #network
- Butterfly and benes-based on-chip communication networks for multiprocessor turbo decoding (HM, OM, AB, MJ), pp. 654–659.
 DATE-2007-SatishRK #approach #constraints #graph #multi #optimisation #scheduling DATE-2007-SatishRK #approach #constraints #graph #multi #optimisation #scheduling
- A decomposition-based constraint optimization approach for statically scheduling task graphs with communication delays to multiprocessors (NS, KR, KK), pp. 57–62.
 DATE-2007-Stanley-MarbellM #energy #interface #multi #power management DATE-2007-Stanley-MarbellM #energy #interface #multi #power management
- An 0.9 × 1.2”, low power, energy-harvesting system with custom multi-channel communication interface (PSM, DM), pp. 15–20.
 DATE-2007-TychopoulosK #architecture #optimisation DATE-2007-TychopoulosK #architecture #optimisation
- Optimization of the “FOCUS” Inband-FEC architecture for 10-Gbps SDH/SONET optical communication channels (AT, OGK), pp. 1575–1580.
 LCTES-2007-ViskicAG #automation #embedded #generative #platform LCTES-2007-ViskicAG #automation #embedded #generative #platform
- Automatic generation of embedded communication SW for heterogeneous MPSoC platforms (IV, SA, DDG), pp. 143–145.
 PDP-2007-Barlas #image #latency #optimisation #query PDP-2007-Barlas #image #latency #optimisation #query
- Optimizing Image Content-Based Query Applications over High Latency Communication Media (GDB), pp. 341–348.
 PDP-2007-Baz #algorithm #analysis #architecture #implementation #message passing #parallel PDP-2007-Baz #algorithm #analysis #architecture #implementation #message passing #parallel
- Communication Study and Implementation Analysis of Parallel Asynchronous Iterative Algorithms on Message Passing Architectures (DEB), pp. 77–83.
 PDP-2007-GalletRV #algorithm #complexity #scheduling #traversal PDP-2007-GalletRV #algorithm #complexity #scheduling #traversal
- Scheduling Communication Requests Traversing a Switch: Complexity and Algorithms (MG, YR, FV), pp. 39–46.
 PDP-2007-TudrujM #clustering #matrix #on the fly #parallel PDP-2007-TudrujM #clustering #matrix #on the fly #parallel
- Dynamic SMP Clusters with Communication on the Fly in SoC Technology Applied for Medium-Grain Parallel Matrix Multiplication (MT, LM), pp. 270–277.
 PPoPP-2007-IancuS #network #optimisation #performance PPoPP-2007-IancuS #network #optimisation #performance
- Optimizing communication overlap for high-speed networks (CI, ES), pp. 35–45.
 PPoPP-2007-SpearSHDS #memory management #multi #named PPoPP-2007-SpearSHDS #memory management #multi #named
- Alert-on-update: a communication aid for shared memory multiprocessors (MFS, AS, HH, SD, MLS), pp. 132–133.
 SOSP-2007-WangFHJ #abstraction #web SOSP-2007-WangFHJ #abstraction #web
- Protection and communication abstractions for web browsers in MashupOS (HJW, XF, JH, CJ), pp. 1–16.
 STOC-2007-GavinskyKKRW #complexity #encryption #exponential #quantum STOC-2007-GavinskyKKRW #complexity #encryption #exponential #quantum
- Exponential separations for one-way quantum communication complexity, with applications to cryptography (DG, JK, IK, RR, RdW), pp. 516–525.
 STOC-2007-HartM #complexity #equilibrium #nash STOC-2007-HartM #complexity #equilibrium #nash
- The communication complexity of uncoupled nash equilibrium procedures (SH, YM), pp. 345–353.
 STOC-2007-LinialS #bound #complexity STOC-2007-LinialS #bound #complexity
- Lower bounds in communication complexity based on factorization norms (NL, AS), pp. 699–708.
 TestCom-FATES-2007-PlesowiczM #automation #testing TestCom-FATES-2007-PlesowiczM #automation #testing
- Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control (PP, MM), pp. 260–275.
 PODS-2006-DeutschSVZ #data-driven #verification #web #web service PODS-2006-DeutschSVZ #data-driven #verification #web #web service
- Verification of communicating data-driven web services (AD, LS, VV, DZ), pp. 90–99.
 ITiCSE-2006-Boisvert #animation #development #web ITiCSE-2006-Boisvert #animation #development #web
- Web animation to communicate iterative development (CB), pp. 173–177.
 SIGITE-2006-DittmarS #online SIGITE-2006-DittmarS #online
- Online BSIT program starts with communication skills and team building infused with IT field exploration (ED, TS), p. 159.
 ICALP-v2-2006-AcetoFIL #equation #finite ICALP-v2-2006-AcetoFIL #equation #finite
- A Finite Equational Base for CCS with Left Merge and Communication Merge (LA, WF, AI, BL), pp. 492–503.
 ICALP-v2-2006-AdaoF #encryption #implementation #process ICALP-v2-2006-AdaoF #encryption #implementation #process
- Cryptographically Sound Implementations for Communicating Processes (PA, CF), pp. 83–94.
 ICALP-v2-2006-KarhumakiKO ICALP-v2-2006-KarhumakiKO
- Communication of Two Stacks and Rewriting (JK, MK, AO), pp. 468–479.
 FM-2006-LangariT #formal method #graph transformation #modelling #protocol FM-2006-LangariT #formal method #graph transformation #modelling #protocol
- Formal Modeling of Communication Protocols by Graph Transformation (ZL, RJT), pp. 348–363.
 CHI-2006-AvrahamiH #latency #modelling #predict CHI-2006-AvrahamiH #latency #modelling #predict
- Responsiveness in instant messaging: predictive models supporting inter-personal communication (DA, SEH), pp. 731–740.
 CHI-2006-EisensteinM #evaluation CHI-2006-EisensteinM #evaluation
- Interacting with communication appliances: an evaluation of two computer vision-based selection techniques (JE, WEM), pp. 1111–1114.
 CHI-2006-KramerOF #using CHI-2006-KramerOF #using
- Using linguistic features to measure presence in computer-mediated communication (ADIK, LMO, SRF), pp. 913–916.
 CHI-2006-McAtamneyP #smarttech CHI-2006-McAtamneyP #smarttech
- An examination of the effects of a wearable display on informal face-to-face communication (GM, CP), pp. 45–54.
 CSCW-2006-AvrahamiH #predict CSCW-2006-AvrahamiH #predict
- Communication characteristics of instant messaging: effects and predictions of interpersonal relationships (DA, SEH), pp. 505–514.
 CSCW-2006-GueddanaR #video CSCW-2006-GueddanaR #video
- Pêle-Mêle, a video communication system supporting a variable degree of engagement (SG, NR), pp. 423–426.
 CSCW-2006-KelloggEWLCSB #experience #user interface CSCW-2006-KelloggEWLCSB #experience #user interface
- Leveraging digital backchannels to enhance user experience in electronically mediated communication (WAK, TE, TVW, SL, JC, JBS, WEB), pp. 451–454.
 ICEIS-ISAS-2006-BarjisB #design #interactive #process ICEIS-ISAS-2006-BarjisB #design #interactive #process
- Business Process Design Based on Communication and Interaction (JB, IB), pp. 197–203.
 AdaEurope-2006-UruenaZBPP #distributed #protocol #realtime AdaEurope-2006-UruenaZBPP #distributed #protocol #realtime
- The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems (SU, JZ, DB, JAP, JAdlP), pp. 215–226.
 SAS-2006-Bertrane #proving SAS-2006-Bertrane #proving
- Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems (JB), pp. 370–386.
 ICSE-2006-CubranicSR #comparison #programming ICSE-2006-CubranicSR #comparison #programming
- A comparison of communication technologies to support novice team programming (DC, MADS, JR), pp. 695–698.
 ICSE-2006-MikulovicH #development #distributed #how #quote #requirements #what ICSE-2006-MikulovicH #development #distributed #how #quote #requirements #what
- “How do I know what I have to do?”: the role of the inquiry culture in requirements communication for distributed software development projects (VM, MH), pp. 921–925.
 SAC-2006-MuhammadMA #scheduling SAC-2006-MuhammadMA #scheduling
- Contentions-conscious dynamic but deterministic scheduling of computational and communication tasks (MF, FM, MA), pp. 1487–1492.
 DAC-2006-BandiDK #design #reliability DAC-2006-BandiDK #design #reliability
- Design in reliability for communication designs (URB, MD, PKK), pp. 188–192.
 DAC-2006-CongFHJZ #behaviour DAC-2006-CongFHJZ #behaviour
- Behavior and communication co-optimization for systems with sequential communication media (JC, YF, GH, WJ, ZZ), pp. 675–678.
 DAC-2006-HuZCGC #latency #power management #synthesis DAC-2006-HuZCGC #latency #power management #synthesis
- Communication latency aware low power NoC synthesis (YH, YZ, HC, RLG, CKC), pp. 574–579.
 DAC-2006-PandeyG #constraints #scalability #statistics #synthesis DAC-2006-PandeyG #constraints #scalability #statistics #synthesis
- Statistical on-chip communication bus synthesis and voltage scaling under timing yield constraint (SP, MG), pp. 663–668.
 DATE-2006-KastnerGHBKBS #layout #optimisation #synthesis DATE-2006-KastnerGHBKBS #layout #optimisation #synthesis
- Layout driven data communication optimization for high level synthesis (RK, WG, XH, FB, AK, PB, MS), pp. 1185–1190.
 DATE-2006-ManolacheEP #optimisation #synthesis DATE-2006-ManolacheEP #optimisation #synthesis
- Buffer space optimisation with communication synthesis and traffic shaping for NoCs (SM, PE, ZP), pp. 718–723.
 DATE-2006-OgrasMLC #architecture #optimisation DATE-2006-OgrasMLC #architecture #optimisation
- Communication architecture optimization: making the shortest path shorter in regular networks-on-chip (ÜYO, RM, HGL, NC), pp. 712–717.
 DATE-2006-PasrichaD #architecture #memory management #named DATE-2006-PasrichaD #architecture #memory management #named
- COSMECA: application specific co-synthesis of memory and communication architectures for MPSoC (SP, NDD), pp. 700–705.
 DATE-2006-Weber #network DATE-2006-Weber #network
- Management of complex automotive communication networks (TW), pp. 554–555.
 DATE-2006-WeiTD #configuration management #design #multi DATE-2006-WeiTD #configuration management #design #multi
- Systematic methodology for designing reconfigurable Delta-Sigma modulator topologies for multimode communication systems (YW, HT, AD), pp. 393–398.
 DATE-2006-YangCBHS #framework #integration DATE-2006-YangCBHS #framework #integration
- Communication and co-simulation infrastructure for heterogeneous system integration (GY, XC, FB, HH, ALSV), pp. 462–467.
 PDP-2006-GarciaHL #petri net #protocol #using #validation PDP-2006-GarciaHL #petri net #protocol #using #validation
- Validation of a Protocol for Communication Management in CSCW Systems Using a Coloured-Petri Net Modelization (ÉG, JH, JCL), pp. 272–275.
 PDP-2006-GrossBK #development #named #performance PDP-2006-GrossBK #development #named #performance
- MatchBase: A Development Suite for Efficient Context-Aware Communication (TG, SB, SK), pp. 308–315.
 PPoPP-2006-ChanGGT #architecture #multi PPoPP-2006-ChanGGT #architecture #multi
- Collective communication on architectures that support simultaneous communication over multiple links (EC, RAvdG, WG, RT), pp. 2–11.
 FoSSaCS-2006-Gorla #on the #power of FoSSaCS-2006-Gorla #on the #power of
- On the Relative Expressive Power of Asynchronous Communication Primitives (DG), pp. 47–62.
 STOC-2006-GavinskyKRW #bound #complexity #exponential #identification #quantum STOC-2006-GavinskyKRW #bound #complexity #exponential #identification #quantum
- Bounded-error quantum state identification and exponential separations in communication complexity (DG, JK, OR, RdW), pp. 594–603.
 CAV-2006-KrcalY #automaton #verification CAV-2006-KrcalY #automaton #verification
- Communicating Timed Automata: The More Synchronous, the More Difficult to Verify (PK, WY), pp. 249–262.
 TestCom-2006-GotzheinK #composition #testing TestCom-2006-GotzheinK #composition #testing
- Compositional Testing of Communication Systems (RG, FK), pp. 227–244.
 TestCom-2006-WangWYST #realtime #testing #using TestCom-2006-WangWYST #realtime #testing #using
- Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems (ZW, JW, XY, XS, BT), pp. 324–340.
 VMCAI-2006-BozzelliTP #recursion #state machine #verification VMCAI-2006-BozzelliTP #recursion #state machine #verification
- Verification of Well-Formed Communicating Recursive State Machines (LB, SLT, AP), pp. 412–426.
 HT-2005-HsiehS #process HT-2005-HsiehS #process
- Activity links: supporting communication and reflection about action (HwH, FMSI), pp. 161–170.
 CSEET-2005-Liu #issue tracking #learning #re-engineering #student #tool support #using CSEET-2005-Liu #issue tracking #learning #re-engineering #student #tool support #using
- Using Issue Tracking Tools to Facilitate Student Learning of Communication Skills in Software Engineering Courses (CL), pp. 61–68.
 CSEET-2005-Sindre #case study #education #experience #game studies #student CSEET-2005-Sindre #case study #education #experience #game studies #student
- Teaching Oral Communication Techniques in RE by Student-Student Role Play: Initial Experiences (GS), pp. 85–92.
 ITiCSE-2005-Granger #collaboration #concept #learning ITiCSE-2005-Granger #collaboration #concept #learning
- Learning technical concepts with collaboration and communication skills (MJG), p. 391.
 ITiCSE-2005-WoitB #challenge #distributed #re-engineering #student ITiCSE-2005-WoitB #challenge #distributed #re-engineering #student
- Student communication challenges in distributed software engineering environments (DMW, KJB), pp. 286–290.
 SIGITE-2005-Howard SIGITE-2005-Howard
- Promoting communication and inclusiveness in the IT classroom (EVH), pp. 311–317.
 CIAA-2005-BaillyCS #behaviour #component #composition #contract CIAA-2005-BaillyCS #behaviour #component #composition #contract
- Component Composition Preserving Behavioural Contracts Based on Communication Traces (AB, MC, ISR), pp. 54–65.
 ICALP-2005-BeamePS #bound #complexity #multi ICALP-2005-BeamePS #bound #complexity #multi
- Lower Bounds for Lovász-Schrijver Systems and Beyond Follow from Multiparty Communication Complexity (PB, TP, NS), pp. 1176–1188.
 ICALP-2005-CrescenzoK ICALP-2005-CrescenzoK
- Asynchronous Perfectly Secure Communication over One-Time Pads (GDC, AK), pp. 216–227.
 ICALP-2005-FordG #bound #complexity #multi ICALP-2005-FordG #bound #complexity #multi
- Hadamard Tensors and Lower Bounds on Multiparty Communication Complexity (JF, AG), pp. 1163–1175.
 ICALP-2005-GentryR #constant #information retrieval ICALP-2005-GentryR #constant #information retrieval
- Single-Database Private Information Retrieval with Constant Communication Rate (CG, ZR), pp. 803–815.
 ICALP-2005-TessonT #complexity #strict ICALP-2005-TessonT #complexity #strict
- Restricted Two-Variable Sentences, Circuits and Communication Complexity (PT, DT), pp. 526–538.
 FM-2005-LeiI #approach #protocol FM-2005-LeiI #approach #protocol
- An Approach to Unfolding Asynchronous Communication Protocols (YL, SPI), pp. 334–349.
 AIIDE-2005-KlaasSC #game studies AIIDE-2005-KlaasSC #game studies
- Particle-Based Communication Among Game Agents (MK, TS, WC), pp. 75–80.
 DiGRA-2005-PaulHT #concept #simulation #student DiGRA-2005-PaulHT #concept #simulation #student
- Modding NeverWinter Nights: a Simulation for Reinforcing Information Seeking Concepts for Mass Communication Students (NP, KH, MT).
 DiGRA-2005-Wiklund #game studies #multi DiGRA-2005-Wiklund #game studies #multi
- Game mediated communication: Multiplayer games as the medium for computer based communication (MW).
 CHI-2005-AokiW #ambiguity #design CHI-2005-AokiW #ambiguity #design
- Making space for stories: ambiguity in the design of personal communication systems (PMA, AW), pp. 181–190.
 ICEIS-v4-2005-SannaVPM #lightweight #mobile #protocol ICEIS-v4-2005-SannaVPM #lightweight #mobile #protocol
- Lightweight Client-Pull Protocol for Mobile Communication (SS, EDV, AP, CM), pp. 227–231.
 ICEIS-v4-2005-TawbiBC #development #framework #protocol #web ICEIS-v4-2005-TawbiBC #development #framework #protocol #web
- A Framework for Web Applications Development: A SOAP Based Communication Protocol (ST, JPB, BC), pp. 82–89.
 SEKE-2005-ChouLL #web #web service SEKE-2005-ChouLL #web #web service
- Web Service for Communication Service Management (WC, LL, FL), pp. 584–589.
 SEKE-2005-Hanakawa #development #modelling SEKE-2005-Hanakawa #development #modelling
- A project growth model based on communication for software development (NH), pp. 665–670.
 QAPL-2004-Tuosto05 #named QAPL-2004-Tuosto05 #named
- Tarzan: Communicating and Moving in Wireless Jungles (ET), pp. 77–94.
 AdaEurope-2005-MartinezH #named #protocol #realtime #standard AdaEurope-2005-MartinezH #named #protocol #realtime #standard
- RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet (JMM, MGH), pp. 180–195.
 POPL-2005-GayN #process #quantum POPL-2005-GayN #process #quantum
- Communicating quantum processes (SJG, RN), pp. 145–157.
 SAC-2005-ByunS #development #protocol SAC-2005-ByunS #development #protocol
- A pattern-based development methodology for communication protocols (YB, BAS), pp. 1524–1528.
 SAC-2005-HurtT #effectiveness #empirical #evaluation #multi SAC-2005-HurtT #effectiveness #empirical #evaluation #multi
- An empirical evaluation of communication effectiveness in autonomous reactive multiagent systems (DH, PT), pp. 74–78.
 SAC-2005-KinatederTR #alias #peer-to-peer SAC-2005-KinatederTR #alias #peer-to-peer
- Strong pseudonymous communication for peer-to-peer reputation systems (MK, RT, KR), pp. 1570–1576.
 SAC-2005-Nakayama #mobile SAC-2005-Nakayama #mobile
- Alternative source coding model for mobile text communication (TN), pp. 1139–1145.
 SAC-2005-YonekiB #mobile #peer-to-peer SAC-2005-YonekiB #mobile #peer-to-peer
- Dynamic group communication in mobile peer-to-peer environments (EY, JB), pp. 986–992.
 DAC-2005-EberleBPC #design #energy DAC-2005-EberleBPC #design #energy
- From myth to methodology: cross-layer design for energy-efficient wireless communication (WE, BB, SP, FC), pp. 303–308.
 DAC-2005-ManolacheEP #energy #fault #latency DAC-2005-ManolacheEP #energy #fault #latency
- Fault and energy-aware communication mapping with guaranteed latency for applications implemented on NoC (SM, PE, ZP), pp. 266–269.
 DAC-2005-PasrichaDBB #architecture #automation #synthesis DAC-2005-PasrichaDBB #architecture #automation #synthesis
- Floorplan-aware automated synthesis of bus-based communication architectures (SP, NDD, EB, MBR), pp. 565–570.
 DAC-2005-SekarLRD #architecture #configuration management #named DAC-2005-SekarLRD #architecture #configuration management #named
- FLEXBUS: a high-performance system-on-chip communication architecture with a dynamically configurable topology (KS, KL, AR, SD), pp. 571–574.
 DATE-2005-FaroukS #algorithm #encryption #hybrid #implementation #security DATE-2005-FaroukS #algorithm #encryption #hybrid #implementation #security
- An Improved FPGA Implementation of the Modified Hybrid Hiding Encryption Algorithm (MHHEA) for Data Communication Security (HAF, MS), pp. 76–81.
 DATE-2005-KallakuriDF DATE-2005-KallakuriDF
- Buffer Insertion for Bridges and Optimal Buffer Sizing for Communication Sub-System of Systems-on-Chip (SK, AD, EAF), pp. 826–827.
 DATE-2005-MolnosHCE #composition #memory management #multi DATE-2005-MolnosHCE #composition #memory management #multi
- Compositional Memory Systems for Multimedia Communicating Tasks (AMM, MJMH, SDC, JTJvE), pp. 932–937.
 DATE-2005-OgrasM #approach #architecture #composition #energy #synthesis #using DATE-2005-OgrasM #approach #architecture #composition #energy #synthesis #using
- Energy- and Performance-Driven NoC Communication Architecture Synthesis Using a Decomposition Approach (ÜYO, RM), pp. 352–357.
 PDP-2005-Castro-CompanyPRIDM #database #named #performance PDP-2005-Castro-CompanyPRIDM #database #named #performance
- CLOB: Communication Support for Efficient Replicated Database Recovery (FCC, JEP, MIRF, LIB, HD, FDME), pp. 314–321.
 PPoPP-2005-Chavarria-MirandaM #effectiveness PPoPP-2005-Chavarria-MirandaM #effectiveness
- Effective communication coalescing for data-parallel applications (DGCM, JMMC), pp. 14–25.
 WRLA-2004-CiobanuL05 #concurrent WRLA-2004-CiobanuL05 #concurrent
- Communicating Concurrent Objects in HiddenCCS (GC, DL), pp. 353–373.
 STOC-2005-Shi #complexity #metric #quantum STOC-2005-Shi #complexity #metric #quantum
- Tensor norms and the classical communication complexity of nonlocal quantum measurement (YS), pp. 460–467.
 CAV-2005-KahlonIG #reasoning #thread CAV-2005-KahlonIG #reasoning #thread
- Reasoning About Threads Communicating via Locks (VK, FI, AG), pp. 505–518.
 TestCom-2005-BerradaCF #testing TestCom-2005-BerradaCF #testing
- Testing Communicating Systems: a Model, a Methodology, and a Tool (IB, RC, PF), pp. 111–128.
 TestCom-2005-ChiH #detection #generative #interactive #testing TestCom-2005-ChiH #detection #generative #interactive #testing
- Test Generation for Interaction Detection in Feature-Rich Communication Systems (CC, RH), pp. 242–257.
 HT-2004-LeggettS #design #hypermedia #interactive #research HT-2004-LeggettS #design #hypermedia #interactive #research
- Directions for hypertext research: exploring the design space for interactive scholarly communication (JJL, FMSI), pp. 2–11.
 ITiCSE-2004-Boisvert #design #named ITiCSE-2004-Boisvert #design #named
- eL-CID: communicating iterative program design (CB), p. 253.
 DLT-2004-GenestMK #algorithm #automaton #effectiveness #theorem DLT-2004-GenestMK #algorithm #automaton #effectiveness #theorem
- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms (BG, AM, DK), pp. 30–48.
 DLT-2004-GruskaTP #array #problem DLT-2004-GruskaTP #array #problem
- Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings (JG, SLT, MP), pp. 200–211.
 ICALP-2004-HarshaIKNV ICALP-2004-HarshaIKNV
- Communication Versus Computation (PH, YI, JK, KN, SV), pp. 745–756.
 SEFM-2004-JohnsenO #concurrent #distributed SEFM-2004-JohnsenO #concurrent #distributed
- An Asynchronous Communication Model for Distributed Concurrent Objects (EBJ, OO), pp. 188–197.
 CHI-2004-HancockTR #behaviour #design CHI-2004-HancockTR #behaviour #design
- Deception and design: the impact of communication technology on lying behavior (JTH, JTS, TR), pp. 129–134.
 CHI-2004-KuzuokaYYKSH #coordination CHI-2004-KuzuokaYYKSH #coordination
- Dual ecologies of robot as communication media: thoughts on coordinating orientations and projectability (HK, KY, AY, JK, YS, CH), pp. 183–190.
 CHI-2004-NakanishiKII #scalability CHI-2004-NakanishiKII #scalability
- Transcendent communication: location-based guidance for large-scale public spaces (HN, SK, TI, HI), pp. 655–662.
 CSCW-2004-MiwaI #interactive CSCW-2004-MiwaI #interactive
- Shadow communication: system for embodied interaction with remote partners (YM, CI), pp. 467–476.
 CSCW-2004-MorrisMW CSCW-2004-MorrisMW
- Individual audio channels with single display groupware: effects on communication and task strategy (MRM, DM, TW), pp. 242–251.
 CSCW-2004-NagelHA #predict CSCW-2004-NagelHA #predict
- Predictors of availability in home life context-mediated communication (KSN, JMH, GDA), pp. 497–506.
 ICEIS-v2-2004-ValleP ICEIS-v2-2004-ValleP
- Decision Follow-Up Support Mechanism Based on Asynchronous Communication (CV, WP), pp. 423–429.
 ICEIS-v3-2004-GoethalsVLSBH #architecture #enterprise #integration ICEIS-v3-2004-GoethalsVLSBH #architecture #enterprise #integration
- Communication and Enterprise Architecture in Extended Enterprise Integration (FGG, JV, WL, MS, MDB, RH), pp. 332–337.
 ICEIS-v3-2004-RukanovaSS #how #metamodelling #towards ICEIS-v3-2004-RukanovaSS #how #metamodelling #towards
- Towards a Meta Model for Describing Communication: How to Address Interoperability on a Pragmatic Level (BR, KvS, RAS), pp. 375–382.
 ICEIS-v4-2004-CotaCCS #case study #education ICEIS-v4-2004-CotaCCS #case study #education
- The Impact of the Information Technologies and Communication in the Educational System — Case Study of North of Portugal and South of Galicia (MPC, LVC, JPMDC, AIDS), pp. 197–201.
 ICEIS-v4-2004-EbaraGSYWM #network ICEIS-v4-2004-EbaraGSYWM #network
- The Project of Virtual Laboratory for Informal Communication on Gigabit Network (YE, YG, TS, SY, KW, YM), pp. 176–181.
 ICEIS-v4-2004-SharifiVD #mobile ICEIS-v4-2004-SharifiVD #mobile
- Seamless Communication and Access to Information for Mobile Users in a Wireless Environment (GS, JV, RD), pp. 122–129.
 ICEIS-v5-2004-GattiM #composition #predict ICEIS-v5-2004-GattiM #composition #predict
- CABA2L A Bliss Predictive Composition Assistant for AAC Communication Software (NG, MM), pp. 89–96.
 ICEIS-v5-2004-RibeiroRC #personalisation #towards ICEIS-v5-2004-RibeiroRC #personalisation #towards
- Towards a Model for Personalized Communication Services Based on User Perception (CMFAR, NSR, PRFC), pp. 211–215.
 ICML-2004-ConitzerS #bound #complexity #game studies #learning ICML-2004-ConitzerS #bound #complexity #game studies #learning
- Communication complexity as a lower bound for learning in games (VC, TS).
 KR-2004-Davis #first-order KR-2004-Davis #first-order
- A First-Order Theory of Communicating First-Order Formulas (ED), pp. 235–245.
 ECOOP-2004-LiuS #interface ECOOP-2004-LiuS #interface
- Modules with Interfaces for Dynamic Linking and Communication (YDL, SFS), pp. 414–439.
 SAC-2004-HatalaREW #implementation #learning #network #repository SAC-2004-HatalaREW #implementation #learning #network #repository
- The eduSource Communication Language: implementing open network for learning repositories and services (MH, GR, TE, JW), pp. 957–962.
 SAC-2004-LimniotesPA #coordination #web #web service SAC-2004-LimniotesPA #coordination #web #web service
- Web Services: separation of concerns: computation coordination communication (TAL, GAP, FA), pp. 492–497.
 SAC-2004-MinOAK #network SAC-2004-MinOAK #network
- Communication delay in hypercubic networks with LRD traffic (GM, MOK, IUA, DDK), pp. 347–351.
 SAC-2004-StefanoSPT #framework SAC-2004-StefanoSPT #framework
- Enforcing agent communication laws by means of a reflective framework (ADS, CS, GP, ET), pp. 462–468.
 SAC-2004-ZhangVlY #approach #design #multi SAC-2004-ZhangVlY #approach #design #multi
- A decision-theoretic approach for designing proactive communication in multi-agent teamwork (YZ, RAV, TRI, JY), pp. 64–71.
 CGO-2004-ZhaiCSM #compilation #optimisation #thread CGO-2004-ZhaiCSM #compilation #optimisation #thread
- Compiler Optimization of Memory-Resident Value Communication Between Speculative Threads (AZ, CBC, JGS, TCM), pp. 39–52.
 DAC-2004-Micheli #reliability DAC-2004-Micheli #reliability
- Reliable communication in systems on chips (GDM), p. 77.
 DAC-2004-NakamuraHKYY #c #c++ #hardware #performance #using DAC-2004-NakamuraHKYY #c #c++ #hardware #performance #using
- A fast hardware/software co-verification method for system-on-a-chip by using a C/C++ simulator and FPGA emulator with shared register communication (YN, KH, IK, KY, TY), pp. 299–304.
 DAC-2004-PasrichaDB #approach #architecture #modelling #performance #transaction DAC-2004-PasrichaDB #approach #architecture #modelling #performance #transaction
- Extending the transaction level modeling approach for fast communication architecture exploration (SP, NDD, MBR), pp. 113–118.
 DAC-2004-ShiB #automation #data type #fixpoint #optimisation DAC-2004-ShiB #automation #data type #fixpoint #optimisation
- Automated fixed-point data-type optimization tool for signal processing and communication systems (CS, RWB), pp. 478–483.
 DATE-DF-2004-BruschiB #design #synthesis DATE-DF-2004-BruschiB #design #synthesis
- A Design Methodology for the Exploitation of High Level Communication Synthesis (FB, MB), pp. 180–185.
 DATE-v1-2004-DSilvaRS #architecture #automaton #framework #modelling #protocol #verification DATE-v1-2004-DSilvaRS #architecture #automaton #framework #modelling #protocol #verification
- Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures (VD, SR, AS), pp. 390–395.
 DATE-v1-2004-HuM #architecture #constraints #energy #realtime #scheduling DATE-v1-2004-HuM #architecture #constraints #energy #realtime #scheduling
- Energy-Aware Communication and Task Scheduling for Network-on-Chip Architectures under Real-Time Constraints (JH, RM), pp. 234–239.
 DATE-v1-2004-SiebenbornBR #analysis #design DATE-v1-2004-SiebenbornBR #analysis #design
- Communication Analysis for System-On-Chip Design (AS, OB, WR), pp. 648–655.
 DATE-v2-2004-LoghiABBZ DATE-v2-2004-LoghiABBZ
- Analyzing On-Chip Communication in a MPSoC Environment (ML, FA, DB, LB, RZ), pp. 752–757.
 DATE-v2-2004-ShendeMB #quantum DATE-v2-2004-ShendeMB #quantum
- Smaller Two-Qubit Circuits for Quantum Communication and Computation (VVS, ILM, SSB), pp. 980–987.
 DATE-v2-2004-WieferinkKLAMBN #framework #multi #platform DATE-v2-2004-WieferinkKLAMBN #framework #multi #platform
- A System Level Processor/Communication Co-Exploration Methodology for Multi-Processor System-on-Chip Platform (AW, TK, RL, GA, HM, GB, AN), pp. 1256–1263.
 DATE-v2-2004-ZhuM #architecture #framework #multi #platform #prototype #specification #using DATE-v2-2004-ZhuM #architecture #framework #multi #platform #prototype #specification #using
- Using a Communication Architecture Specification in an Application-Driven Retargetable Prototyping Platform for Multiprocessing (XZ, SM), pp. 1244–1249.
 HPDC-2004-DenisAHVKB #performance #problem #security HPDC-2004-DenisAHVKB #performance #problem #security
- Wide-Area Communication for Grids: An Integrated Solution to Connectivity, Performance and Security Problems (AD, OA, RFHH, KV, TK, HEB), pp. 97–106.
 PDP-2004-RieraLSAVB #collaboration #learning #multi PDP-2004-RieraLSAVB #collaboration #learning #multi
- Study of Communication in a Multi-Agent System for Collaborative Learning Scenarios (AR, ML, ESV, RRA, XAVS, SB), pp. 233–240.
 FASE-2004-SaffreyC #model checking #optimisation FASE-2004-SaffreyC #model checking #optimisation
- Optimising Communication Structure for Model Checking (PS, MC), pp. 310–323.
 STOC-2004-Bar-YossefJK #complexity #exponential #quantum STOC-2004-Bar-YossefJK #complexity #exponential #quantum
- Exponential separation of quantum and classical one-way communication complexity (ZBY, TSJ, IK), pp. 128–137.
 TestCom-2004-NeukirchenDG #realtime #requirements #testing #using TestCom-2004-NeukirchenDG #realtime #requirements #testing #using
- Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing (HN, ZRD, JG), pp. 144–159.
 ICDAR-2003-YinFD #image ICDAR-2003-YinFD #image
- Archive Image Communication with Improved Compression (XWY, MF, ACD), pp. 92–96.
 CSEET-2003-TelesO #education #re-engineering CSEET-2003-TelesO #education #re-engineering
- Reviewing the Curriculum of Software Engineering Undergraduate Courses to Incorporate Communication and Interpersonal Skills Teaching (VMT, CETdO), pp. 158–165.
 ICALP-2003-JainRS #complexity #theorem ICALP-2003-JainRS #complexity #theorem
- A Direct Sum Theorem in Communication Complexity via Message Compression (RJ, JR, PS), pp. 300–315.
 DiGRA-2003-KujanpaaM #game studies #visual notation DiGRA-2003-KujanpaaM #game studies #visual notation
- Supporting visual elements of non-verbal communication in computer game avatars (TK, TM).
 DiGRA-2003-Molesworth #development #game studies DiGRA-2003-Molesworth #development #game studies
- Encounters with consumption during computer-mediated play: the development of digital games as marketing communication media (MM).
 CHI-2003-GarauSVBSS #quality CHI-2003-GarauSVBSS #quality
- The impact of avatar realism and eye gaze control on perceived quality of communication in a shared immersive virtual environment (MG, MS, VV, AB, AS, MAS), pp. 529–536.
 ICEIS-v2-2003-BrownSKL #enterprise ICEIS-v2-2003-BrownSKL #enterprise
- The Communigram: Making Communication Visible for Enterprise Management (KMB, HS, JJK, PL), pp. 34–42.
 ICEIS-v3-2003-CaroGGCA #approach #modelling #reasoning #workflow ICEIS-v3-2003-CaroGGCA #approach #modelling #reasoning #workflow
- A Temporal Reasoning Approach of Communication Based Workflow Modelling (JLC, AG, SG, AC, AA), pp. 245–250.
 ICEIS-v3-2003-Santana #enterprise ICEIS-v3-2003-Santana #enterprise
- The Impact of Information and Communication Technologies in Small and Medium Enterprises (SS), pp. 637–641.
 ICEIS-v3-2003-TyrvainenP #analysis #how #metric ICEIS-v3-2003-TyrvainenP #analysis #how #metric
- How Digital Is Communication in Your Organization? a Metrics and an Analysis Method (PT, TP), pp. 156–166.
 ICEIS-v4-2003-Cox #design #what ICEIS-v4-2003-Cox #design #what
- What Is the Value of Emotion in Communication? Implications for User Centred Design (RC), pp. 418–425.
 ICEIS-v4-2003-MahmoudV #modelling ICEIS-v4-2003-MahmoudV #modelling
- Inter-Agent Communication Models (QHM, LV), pp. 448–450.
 ICEIS-v4-2003-WangH03a ICEIS-v4-2003-WangH03a
- VoiceXML Applied to a Wireless Communication System (FW, NH), pp. 505–508.
 CIKM-2003-GloorLDZ #analysis #collaboration #network #visualisation CIKM-2003-GloorLDZ #analysis #collaboration #network #visualisation
- Visualization of Communication Patterns in Collaborative Innovation Networks — Analysis of Some W3C Working Groups (PAG, RL, SBCD, YZ), pp. 56–60.
 SEKE-2003-CiancariniPA #design #ontology SEKE-2003-CiancariniPA #design #ontology
- An Ontology Driven Design Method for inter-Agent Communication (PC, VP, LA), pp. 90–94.
 ASE-2003-Moore #requirements #user interface #using ASE-2003-Moore #requirements #user interface #using
- Communicating Requirements Using End-User GUI Constructions with Argumentation (JMM), pp. 360–363.
 SAC-2003-RaisanenW #evaluation #multi #network #optimisation #problem SAC-2003-RaisanenW #evaluation #multi #network #optimisation #problem
- Multi-objective Optimization in the Area Coverage Problems for Cellular Communication Networks: Evaluation of an Elitist Evolutionary Strategy (LR, RMW), pp. 714–720.
 DAC-2003-AbdiSG #automation #design #refinement DAC-2003-AbdiSG #automation #design #refinement
- Automatic communication refinement for system level design (SA, DS, DG), pp. 300–305.
 DAC-2003-KaplanBK #configuration management #estimation #reduction DAC-2003-KaplanBK #configuration management #estimation #reduction
- Data communication estimation and reduction for reconfigurable systems (AK, PB, RK), pp. 616–621.
 DAC-2003-KiranJRN #behaviour #complexity #effectiveness #modelling DAC-2003-KiranJRN #behaviour #complexity #effectiveness #modelling
- A complexity effective communication model for behavioral modeling of signal processing applications (MNVSK, MNJ, PR, SKN), pp. 412–415.
 DAC-2003-Matsuzawa #collaboration #how #optimisation #performance DAC-2003-Matsuzawa #collaboration #how #optimisation #performance
- How to make efficient communication, collaboration, and optimization from system to chip (AM), pp. 417–418.
 DAC-2003-PimentelE #refinement DAC-2003-PimentelE #refinement
- An IDF-based trace transformation method for communication refinement (ADP, CE), pp. 402–407.
 DAC-2003-RaghunathanSG #energy #overview #performance DAC-2003-RaghunathanSG #energy #overview #performance
- A survey of techniques for energy efficient on-chip communication (VR, MBS, RKG), pp. 900–905.
 DAC-2003-ZieglerHD #pipes and filters DAC-2003-ZieglerHD #pipes and filters
- Compiler-generated communication for pipelined FPGA applications (HEZ, MWH, PCD), pp. 610–615.
 DATE-2003-BriniBC #architecture #flexibility #framework #platform DATE-2003-BriniBC #architecture #flexibility #framework #platform
- A Flexible Virtual Platform for Computational and Communication Architecture Exploration of DMT VDSL Modems (SB, DB, FC), pp. 20164–20169.
 DATE-2003-ChoLYCZ #analysis #design #scheduling DATE-2003-ChoLYCZ #analysis #design #scheduling
- Scheduling and Timing Analysis of HW/SW On-Chip Communication in MP SoC Design (YC, GL, SY, KC, NEZ), pp. 20132–20137.
 DATE-2003-CoppolaCGM #named #refinement DATE-2003-CoppolaCGM #named #refinement
- IPSIM: SystemC 3.0 Enhancements for Communication Refinement (MC, SC, MDG, GM), pp. 20106–20111.
 DATE-2003-DumitrasM #probability DATE-2003-DumitrasM #probability
- On-Chip Stochastic Communication (TD, RM), pp. 10790–10795.
 DATE-2003-GilbertTW #architecture #embedded #multi DATE-2003-GilbertTW #architecture #embedded #multi
- Communication Centric Architectures for Turbo-Decoding on Embedded Multiprocessors  (FG, MJT, NW), pp. 10356–10363.
 DATE-2003-Goltze #architecture #flexibility #object-oriented DATE-2003-Goltze #architecture #flexibility #object-oriented
- A Flexible Object-Oriented Software Architecture for Smart Wireless Communication Devices (MG), pp. 20126–20131.
 DATE-2003-LuoPJ #distributed #embedded #realtime #scalability DATE-2003-LuoPJ #distributed #embedded #realtime #scalability
- Simultaneous Dynamic Voltage Scaling of Processors and Communication Links in Real-Time Distributed Embedded Systems (JL, LSP, NKJ), pp. 11150–11151.
 DATE-2003-WittmannHWTS #design #topic DATE-2003-WittmannHWTS #design #topic
- Hot Topic Session: RF Design Technology for Highly Integrated Communication Systems (RW, JH, HJW, GT, MS), pp. 10842–10849.
 DATE-2003-YeBM #analysis DATE-2003-YeBM #analysis
- Packetized On-Chip Interconnect Communication Analysis for MPSoC (TTY, LB, GDM), pp. 10344–10349.
 HPCA-2003-HoP #design #performance HPCA-2003-HoP #design #performance
- A Methodology for Designing Efficient On-Chip Interconnects on Well-Behaved Communication Patterns (WHH, TMP), pp. 377–388.
 HPCA-2003-NagarajaKBMN #architecture #clustering HPCA-2003-NagarajaKBMN #architecture #clustering
- Evaluating the Impact of Communication Architecture on the Performability of Cluster-Based Services (KN, NK, RB, RPM, TDN), pp. 229–240.
 HPCA-2003-RadovicH #architecture HPCA-2003-RadovicH #architecture
- Hierarchical Backoff Locks for Nonuniform Communication Architectures (ZR, EH), pp. 241–252.
 HPCA-2003-TerechkoTGEC #clustering #modelling HPCA-2003-TerechkoTGEC #clustering #modelling
- Inter-Cluster Communication Models for Clustered VLIW Processors (AT, ELT, MG, JTJvE, HC), pp. 354–364.
 HPDC-2003-KurmannS #corba #distributed #middleware #performance HPDC-2003-KurmannS #corba #distributed #middleware #performance
- Zero-Copy for CORBA — Efficient Communication for Distributed Object Middleware (CK, TS), pp. 4–13.
 PDP-2003-CordobaFGMV #algorithm #concurrent #detection #distributed PDP-2003-CordobaFGMV #algorithm #concurrent #detection #distributed
- A Low Communication Cost Algorithm for Distributed Deadlock Detection and Resolution (AC, FF, JRG, JRGdM, JEV), pp. 235–242.
 PDP-2003-TudrujM #clustering #configuration management #execution #on the fly PDP-2003-TudrujM #clustering #configuration management #execution #on the fly
- Communication on the Fly and Program Execution Control in a System of Dynamically Configurable SMP Clusters (MT, LM), pp. 67–74.
 PDP-2003-VerdosciaS #policy PDP-2003-VerdosciaS #policy
- CODACS Project: Level-Node Communication Policies (LV, US), pp. 134–139.
 PPoPP-2003-KarwandeYL #clustering #named #prototype PPoPP-2003-KarwandeYL #clustering #named #prototype
- CC-MPI: a compiled communication capable MPI prototype for ethernet switched clusters (AK, XY, DKL), p. 3.
 PPoPP-2003-KarwandeYL03a #clustering #named #prototype PPoPP-2003-KarwandeYL03a #clustering #named #prototype
- CC-MPI: a compiled communication capable MPI prototype for ethernet switched clusters (AK, XY, DKL), pp. 95–106.
 PPoPP-2003-SaundersR #adaptation #framework #independence #library #named #platform PPoPP-2003-SaundersR #adaptation #framework #independence #library #named #platform
- ARMI: an adaptive, platform independent communication library (SS, LR), pp. 230–241.
 FoSSaCS-2003-AbdullaR #probability #verification FoSSaCS-2003-AbdullaR #probability #verification
- Verification of Probabilistic Systems with Faulty Communication (PAA, AMR), pp. 39–53.
 TestCom-2003-TrenkaevKS #fault #testing TestCom-2003-TrenkaevKS #fault #testing
- Interoperability Testing Based on a Fault Model for a System of Communicating FSMs (VT, MK, SS), pp. 226–242.
 VMCAI-2003-Levi #evolution VMCAI-2003-Levi #evolution
- Types for Evolving Communication in Safe Ambients (FL), pp. 102–115.
 WICSA-2002-ShiH #architecture #modelling #protocol #using WICSA-2002-ShiH #architecture #modelling #protocol #using
- Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM (TS, XH), pp. 63–77.
 JCDL-2002-DunlopCJ #library JCDL-2002-DunlopCJ #library
- A digital library of conversational expressions: helping profoundly disabled users communicate (HD, SJC, MJ), pp. 273–274.
 DLT-2002-UmeoK #automaton #infinity #realtime #sequence DLT-2002-UmeoK #automaton #infinity #realtime #sequence
- An Infinite Prime Sequence Can Be Generated in Real-Time by a 1-Bit Inter-cell Communication Cellular Automaton (HU, NK), pp. 339–348.
 ICALP-2002-KhannaNR #protocol ICALP-2002-KhannaNR #protocol
- Control Message Aggregation in Group Communication Protocols (SK, JN, DR), pp. 135–146.
 ICALP-2002-Nisan #approximate #complexity #set ICALP-2002-Nisan #approximate #complexity #set
- The Communication Complexity of Approximate Set Packing and Covering (NN), pp. 868–875.
 FME-2002-HendersonP #classification #verification FME-2002-HendersonP #classification #verification
- The Formal Classification and Verification of Simpson’s 4-Slot Asynchronous Communication Mechanism (NH, SP), pp. 350–369.
 CSCW-2002-WhittakerJT #identification CSCW-2002-WhittakerJT #identification
- Contact management: identifying contacts to support long-term communication (SW, QJ, LGT), pp. 216–225.
 CAiSE-2002-SmolanderP #architecture CAiSE-2002-SmolanderP #architecture
- Describing and Communicating Software Architecture in Practice: Observations on Stakeholders and Rationale (KS, TP), pp. 117–133.
 ICEIS-2002-BaranauskasSL ICEIS-2002-BaranauskasSL
- Analysing Communication in the Context of a Software Production Organisation (MCCB, JPS, KL), pp. 562–569.
 ICEIS-2002-GuerreroOHF ICEIS-2002-GuerreroOHF
- Mediated Communication in Groupware Systems (LAG, SFO, OAH, DAF), pp. 815–818.
 ICEIS-2002-KimT #design #enterprise #modelling #ontology #process #using ICEIS-2002-KimT #design #enterprise #modelling #ontology #process #using
- Designing Business Processes and Communication Structures for E-Business Using Ontology-Based Enterprise Models with Mathematical Models (HMK, KDT), pp. 635–641.
 ICEIS-2002-LuzuriagaMC #elicitation #enterprise #network #process #requirements ICEIS-2002-LuzuriagaMC #elicitation #enterprise #network #process #requirements
- Managing Enterprise Communication Networks to Improve the Requirements Elicitation Process (JML, RM, AC), pp. 770–775.
 ICPR-v1-2002-ErdemS #automation #detection #gesture ICPR-v1-2002-ErdemS #automation #detection #gesture
- Automatic Detection of Relevant Head Gestures in American Sign Language Communication (UME, SS), p. 460–?.
 ICPR-v2-2002-UkitaM #multi #realtime ICPR-v2-2002-UkitaM #multi #realtime
- Real-Time Cooperative Multi-Target Tracking by Communicating Active Vision Agents (NU, TM), pp. 14–19.
 OOPSLA-2002-PalaczVCD #named #performance OOPSLA-2002-PalaczVCD #named #performance
- Incommunicado: efficient communication for isolates (KP, JV, GC, LD), pp. 262–274.
 SAS-2002-SabelfeldM #concurrent SAS-2002-SabelfeldM #concurrent
- Securing Communication in a Concurrent Language (AS, HM), pp. 376–394.
 ASE-2002-CalderM #automation #concurrent #process #verification ASE-2002-CalderM #automation #concurrent #process #verification
- Automatic Verification of any Number of Concurrent, Communicating Processes (MC, AM), pp. 227–230.
 SAC-2002-BarrettMSR #ad hoc #framework #generative #modelling #network #simulation SAC-2002-BarrettMSR #ad hoc #framework #generative #modelling #network #simulation
- A mobility and traffic generation framework for modeling and simulating ad hoc communication networks (CLB, MVM, JPS, SSR), pp. 122–126.
 SAC-2002-DunningR #security SAC-2002-DunningR #security
- Security status display and browser interframe communication (LAD, SR), pp. 237–241.
 SAC-2002-ShahrabiOM #network SAC-2002-ShahrabiOM #network
- Communication delay in wormhole-routed torus networks (AS, MOK, LMM), pp. 825–829.
 ASPLOS-2002-ZhaiCSM #compilation #optimisation #thread ASPLOS-2002-ZhaiCSM #compilation #optimisation #thread
- Compiler optimization of scalar value communication between speculative threads (AZ, CBC, JGS, TCM), pp. 171–183.
 DAC-2002-ChiasseriniNS #energy #protocol DAC-2002-ChiasseriniNS #energy #protocol
- Energy-efficient communication protocols (CFC, PN, VS), pp. 824–829.
 DAC-2002-LahiriDR #architecture #design #performance #power management DAC-2002-LahiriDR #architecture #design #performance #power management
- Communication architecture based power management for battery efficient system design (KL, SD, AR), pp. 691–696.
 DAC-2002-PintoCS #constraints #synthesis DAC-2002-PintoCS #constraints #synthesis
- Constraint-driven communication synthesis (AP, LPC, ALSV), pp. 783–788.
 DAC-2002-SanderJ #design #refinement DAC-2002-SanderJ #design #refinement
- Transformation based communication and clock domain refinement for system design (IS, AJ), pp. 281–286.
 DAC-2002-SiegmundM #declarative #hardware #novel #protocol #specification #synthesis DAC-2002-SiegmundM #declarative #hardware #novel #protocol #specification #synthesis
- A novel synthesis technique for communication controller hardware from declarative data communication protocol specifications (RS, DM), pp. 602–607.
 DATE-2002-RigaudFRQ #design #modelling DATE-2002-RigaudFRQ #design #modelling
- High-Level Modeling and Design of Asynchronous Arbiters for On-Chip Communication Systems (JBR, LF, MR, JQ), p. 1090.
 DATE-2002-WilliamsHA #parallel DATE-2002-WilliamsHA #parallel
- Communication Mechanisms for Parallel DSP Systems on a Chip (JW, NH, BDA), pp. 420–422.
 HPCA-2002-CarreraRIB #clustering HPCA-2002-CarreraRIB #clustering
- User-Level Communication in Cluster-Based Servers (EVC, SR, LI, RB), pp. 275–286.
 HPCA-2002-SteffanCZM #concurrent #thread HPCA-2002-SteffanCZM #concurrent #thread
- Improving Value Communication for Thread-Level Speculation (JGS, CBC, AZ, TCM), pp. 65–75.
 PDP-2002-GrosspietschM #network PDP-2002-GrosspietschM #network
- Routing to Support Communication in Dependable Networks (KEG, EM), p. 71–?.
 FoSSaCS-2002-LohreyM #bound FoSSaCS-2002-LohreyM #bound
- Bounded MSC Communication (ML, AM), pp. 295–309.
 STOC-2002-BeameV #complexity #multi #nearest neighbour #problem #trade-off STOC-2002-BeameV #complexity #multi #nearest neighbour #problem #trade-off
- Time-space tradeoffs, multiparty communication complexity, and nearest-neighbor problems (PB, EV), pp. 688–697.
 STOC-2002-NayakS #on the #quantum STOC-2002-NayakS #on the #quantum
- On communication over an entanglement-assisted quantum channel (AN, JS), pp. 698–704.
 WRLA-2002-DenkerM #modelling #multi #protocol #term rewriting #using WRLA-2002-DenkerM #modelling #multi #protocol #term rewriting #using
- Modeling Group Communication Protocols Using Multiset Term Rewriting (GD, JKM), pp. 20–39.
 TestCom-2002-CavalliPY #component #detection #fault TestCom-2002-CavalliPY #component #detection #fault
- Fault Detection within a Component of a System of Communicating FSMs (ARC, SP, NY), p. 317–?.
 TestCom-2002-SeolKC #generative #multi #principle #protocol #testing TestCom-2002-SeolKC #generative #multi #principle #protocol #testing
- Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle (SS, MK, STC), pp. 151–168.
 WICSA-2001-Shaw #architecture #bound #research #ubiquitous WICSA-2001-Shaw #architecture #bound #research #ubiquitous
- When System Boundaries Dissolve: Research Opportunities in Software Architectures for Ubiquitous Computing and Communication (MS), p. 99–?.
 VLDB-2001-AndreiV #using VLDB-2001-AndreiV #using
- User-Optimizer Communication using Abstract Plans in Sybase ASE (MA, PV), pp. 29–38.
 IWPC-J-1999-MartinoMMV01 #detection #interactive #parallel #program analysis IWPC-J-1999-MartinoMMV01 #detection #interactive #parallel #program analysis
- Parallel program analysis and restructuring by detection of point-to-point interaction patterns and their transformation into collective communication constructs (BDM, AM, NM, UV), pp. 235–263.
 DLT-2001-Csuhaj-VarjuV #parallel DLT-2001-Csuhaj-VarjuV #parallel
- Parallel Communicating Grammar Systems with Incomplete Information Communication (ECV, GV), pp. 359–368.
 DLT-2001-RovanS #parallel DLT-2001-RovanS #parallel
- Eliminating Communication by Parallel Rewriting (BR, MS), pp. 369–278.
 ICALP-2001-JurdzinskiK #finite #memory management ICALP-2001-JurdzinskiK #finite #memory management
- Communication Gap for Finite Memory Devices (TJ, MK), pp. 1052–1064.
 ICALP-2001-MuschollP #finite #protocol #sequence chart ICALP-2001-MuschollP #finite #protocol #sequence chart
- From Finite State Communication Protocols to High-Level Message Sequence Charts (AM, DP), pp. 720–731.
 CHI-2001-GarauSBS #using CHI-2001-GarauSBS #using
- The impact of eye gaze on communication using humanoid avatars (MG, MS, SB, MAS), pp. 309–316.
 ICEIS-v1-2001-Kotowicz ICEIS-v1-2001-Kotowicz
- Computer Augmented Communication in Cooperative Groups (JPK), pp. 411–417.
 AdaEurope-2001-OppenheimerZN #interface #modelling AdaEurope-2001-OppenheimerZN #interface #modelling
- Modelling Communication Interfaces with COMIX (FO, DZ, WN), pp. 337–348.
 AdaEurope-2001-PinhoV #distributed #reliability AdaEurope-2001-PinhoV #distributed #reliability
- Reliable Communication in Distributed Computer-Controlled Systems (LMP, FV), pp. 136–147.
 GCSE-2001-HeuzerothLLA #adaptation #aspect-oriented #component GCSE-2001-HeuzerothLLA #adaptation #aspect-oriented #component
- Aspect-Oriented Configuration and Adaptation of Component Communication (DH, WL, AL, UA), pp. 58–69.
 POPL-2001-AbadiF #mobile POPL-2001-AbadiF #mobile
- Mobile values, new names, and secure communication (MA, CF), pp. 104–115.
 POPL-2001-UnyapothS #framework #mobile POPL-2001-UnyapothS #framework #mobile
- Nomadic pict: correct communication infrastructure for mobile computation (AU, PS), pp. 116–127.
 SAS-2001-BertranBCN #concurrent #imperative #parallel #source code SAS-2001-BertranBCN #concurrent #imperative #parallel #source code
- Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs (MB, FXB, AC, MN), pp. 20–39.
 SIGAda-2001-Gantsou #ada #distributed #multi #network #simulation SIGAda-2001-Gantsou #ada #distributed #multi #network #simulation
- Targeting Ada95/DSA for distributed simulation of multiprotocol communication networks (DG), pp. 91–96.
 SAC-2001-MinhA #distributed #mobile #network #replication SAC-2001-MinhA #distributed #mobile #network #replication
- User profile replication with caching for distributed location management in mobile communication networks (HNM, HRvA), pp. 381–386.
 SAC-2001-Shimoura #design #performance #self #simulation SAC-2001-Shimoura #design #performance #self #simulation
- Self-consistent simulation studying environment for the design of high-speed optical communication lines (KS), pp. 73–76.
 DAC-2001-KarimNDR #architecture #network DAC-2001-KarimNDR #architecture #network
- On-Chip Communication Architecture for OC-768 Network Processors (FK, AN, SD, RRR), pp. 678–683.
 DAC-2001-LahiriRL #architecture #design #named DAC-2001-LahiriRL #architecture #design #named
- LOTTERYBUS: A New High-Performance Communication Architecture for System-on-Chip Designs (KL, AR, GL), pp. 15–20.
 DAC-2001-SavojR #design DAC-2001-SavojR #design
- Design of Half-Rate Clock and Data Recovery Circuits for Optical Communication Systems (JS, BR), pp. 121–126.
 DATE-2001-DemmelerG #framework #integration #platform DATE-2001-DemmelerG #framework #integration #platform
- A universal communication model for an automotive system integration platform (TD, PG), pp. 47–54.
 DATE-2001-NguyenJ #simulation DATE-2001-NguyenJ #simulation
- Simulation method to extract characteristics for digital wireless communication systems (LN, VJ), pp. 176–181.
 DATE-2001-NicolescuYJ #design #refinement DATE-2001-NicolescuYJ #design #refinement
- Mixed-level cosimulation for fine gradual refinement of communication in SoC design (GN, SY, AAJ), pp. 754–759.
 DATE-2001-SiegmundM #design #interface #modelling #multi #named DATE-2001-SiegmundM #design #interface #modelling #multi #named
- SystemCSV — an extension of SystemC for mixed multi-level communication modeling and interface-based system design (RS, DM), pp. 26–33.
 DATE-2001-SvarstadNJ #design #embedded #specification DATE-2001-SvarstadNJ #design #embedded #specification
- A model for describing communication between aggregate objects in the specification and design of embedded systems (KS, GN, AAJ), pp. 77–85.
 HPCA-2001-HeathKPN #architecture #scalability HPCA-2001-HeathKPN #architecture #scalability
- Quantifying the Impact of Architectural Scaling on Communication (TH, SK, RPM, TDN), pp. 267–277.
 HPDC-2001-WidenerES #metadata #performance #xml HPDC-2001-WidenerES #metadata #performance #xml
- Open Metadata Formats: Efficient XML-Based Communication for High Performance Computing (PW, GE, KS), p. 371–?.
 LCTES-OM-2001-CadotKLRS #embedded #multi #named LCTES-OM-2001-CadotKLRS #embedded #multi #named
- ENSEMBLE: A Communication Layer for Embedded Multi-Processor Systems (SC, FK, KL, KvR, HJS), pp. 56–63.
 PDP-2001-BernaschiR #memory management #scalability PDP-2001-BernaschiR #memory management #scalability
- MPI Collective Communication Operations on Large Shared Memory Systems (MB, GR), pp. 159–164.
 PDP-2001-BertozziPR #design #protocol PDP-2001-BertozziPR #design #protocol
- Design of a VIA Based Communication Protocol for LAM/MPI Suite (MB, MP, MR), pp. 27–33.
 PDP-2001-CourtraiMR #java #network #performance PDP-2001-CourtraiMR #java #network #performance
- Java Objects Communication on a High Performance Network (LC, YM, FR), pp. 203–210.
 PDP-2001-MehoferS #optimisation #parallel #probability PDP-2001-MehoferS #optimisation #parallel #probability
- Probabilistic Communication Optimizations and Parallelization for Distributed-Memory Systems (EM, BS), p. 186–?.
 PDP-2001-SchulzHT #performance #predict PDP-2001-SchulzHT #performance #predict
- Prediction of Communication Performance for Wide Area Computing Systems (JS, CH, DT), pp. 480–486.
 PDP-2001-TesseraD #case study #performance #policy PDP-2001-TesseraD #case study #performance #policy
- Communication Policies Performance: A Case Study (DT, AD), p. 491–?.
 PPoPP-2001-VetterM #analysis #distributed #scalability #statistics PPoPP-2001-VetterM #analysis #distributed #scalability #statistics
- Statistical scalability analysis of communication operations in distributed applications (JSV, MOM), pp. 123–132.
 FASE-2001-PingerE #composition FASE-2001-PingerE #composition
- Compositional Checking of Communication among Observers (RP, HDE), pp. 32–44.
 FoSSaCS-2001-AbadiB #symmetry FoSSaCS-2001-AbadiB #symmetry
- Secrecy Types for Asymmetric Communication (MA, BB), pp. 25–41.
 STOC-2001-KlauckNTZ #complexity #interactive #quantum #set STOC-2001-KlauckNTZ #complexity #interactive #quantum #set
- Interaction in quantum communication and the complexity of set disjointness (HK, AN, ATS, DZ), pp. 124–133.
 STOC-2001-NaorN #evaluation #protocol STOC-2001-NaorN #evaluation #protocol
- Communication preserving protocols for secure function evaluation (MN, KN), pp. 590–599.
 WLC-2000-BuchholzKK #array #nondeterminism WLC-2000-BuchholzKK #array #nondeterminism
- Iterative Arrays With Limited Nondeterministic Communication Cell (TB, AK, MK), pp. 73–87.
 CHI-2000-BreretonM #design #how CHI-2000-BreretonM #design #how
- An observational study of how objects support engineering design thinking and communication: implications for the design of tangible media (MB, BM), pp. 217–224.
 CHI-2000-JensenFDK #online CHI-2000-JensenFDK #online
- The effect of communication modality on cooperation in online environments (CJ, SF, SMD, PK), pp. 470–477.
 CHI-2000-MakelaGTS #how #image #network #social CHI-2000-MakelaGTS #how #image #network #social
- Joking, storytelling, artsharing, expressing affection: a field trial of how children and their social network communicate with digital images in leisure time (AM, VG, MT, RS), pp. 548–555.
 CHI-2000-TaylorR #consistency #semantics #using CHI-2000-TaylorR #consistency #semantics #using
- Gaze communication using semantically consistent spaces (MJT, SMR), pp. 400–407.
 CSCW-2000-FussellKS #collaboration #coordination #visual notation CSCW-2000-FussellKS #collaboration #coordination #visual notation
- Coordination of communication: effects of shared visual context on collaborative work (SRF, REK, JS), pp. 21–30.
 CSCW-2000-GreenspanGWB #trust CSCW-2000-GreenspanGWB #trust
- Interpersonal trust and common ground in electronically mediated communication (SG, DG, DMW, AB), pp. 251–260.
 ICEIS-2000-DiazEL #network ICEIS-2000-DiazEL #network
- Expert System-Based Alarm Management in Communication Networks (SD, JIE, JL), pp. 116–120.
 ICEIS-2000-HeathC #mobile #multi ICEIS-2000-HeathC #mobile #multi
- Application of a Virtual Connection Tree over Multiple Access Techniques for 3G Mobile Communication Systems (AH, RAC), pp. 531–532.
 ECOOP-2000-Cochinwala #generative #using ECOOP-2000-Cochinwala #generative #using
- Using Objects for Next Generation Communication Services (MC), pp. 388–393.
 ICRE-2000-DamianESG #performance #requirements ICRE-2000-DamianESG #performance #requirements
- The Effects of Communication Media on Group Performance in Requirements Engineering (DED, AE, MLGS, BRG), p. 191.
 ICRE-2000-HorlA #requirements #validation ICRE-2000-HorlA #requirements #validation
- Requirements Validation of a Voice Communication System Used in Air Traffic Control (JH, BKA), p. 190.
 FSE-2000-DeMillo #development #generative #network FSE-2000-DeMillo #development #generative #network
- Software development for next generation communication networks (RAD), p. 1.
 SAC-2000-Lee #2d #quality SAC-2000-Lee #2d #quality
- Effects of Communication Characteristics on Task Mapping Quality on a 2-D Mesh with Wormhole Routing (SYL), pp. 633–640.
 SAC-2000-PiresBM #behaviour #database #object-oriented #specification SAC-2000-PiresBM #behaviour #database #object-oriented #specification
- Mechanisms for Specifying Communication Behavior in Object Oriented Database (PFP, MRFB, MM), pp. 389–397.
 SAC-2000-ShibusawaMNH SAC-2000-ShibusawaMNH
- Scatter and Gather Operations on an Asynchronous Communication Model (SS, HM, SN, JiH), pp. 685–691.
 ASPLOS-2000-BhoedjangVRBH #design #network #performance #reliability ASPLOS-2000-BhoedjangVRBH #design #network #performance #reliability
- Evaluating Design Alternatives for Reliable Communication on High-Speed Networks (RB, KV, TR, HEB, RFHH), pp. 71–81.
 ASPLOS-2000-MattsonDRKO #scheduling ASPLOS-2000-MattsonDRKO #scheduling
- Communication Scheduling (PRM, WJD, SR, UJK, JDO), pp. 82–92.
 DAC-2000-BrunelKKPPKS DAC-2000-BrunelKKPPKS
- COSY communication IP’s (JYB, WMK, HJHNK, FP, LP, EAdK, WJMS), pp. 406–409.
 DAC-2000-KatagiriYKHT #concurrent #hardware #implementation #multi #protocol DAC-2000-KatagiriYKHT #concurrent #hardware #implementation #multi #protocol
- Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization (HK, KY, AK, TH, KT), pp. 762–767.
 DAC-2000-LahiriRLD #architecture #design DAC-2000-LahiriRLD #architecture #design
- Communication architecture tuners: a methodology for the design of high-performance communication architectures for systems-on-chips (KL, AR, GL, SD), pp. 513–518.
 DATE-2000-WambacqDDEB #modelling DATE-2000-WambacqDDEB #modelling
- Compact Modeling of Nonlinear Distortion in Analog Communication Circuits (PW, PD, SD, ME, IB), pp. 350–354.
 HPCA-2000-KaxirasY #multi #predict HPCA-2000-KaxirasY #multi #predict
- Coherence Communication Prediction in Shared-Memory Multiprocessors (SK, CY), pp. 156–167.
 HPDC-2000-KurmannMRS #performance HPDC-2000-KurmannMRS #performance
- Speculative Defragmentation — A Technique to Improve the Communication Software Efficiency for Gigabit Ethernet (CK, MM, FR, TS), pp. 131–138.
 HPDC-2000-SumimotoTHHTI #clustering #network #performance #using HPDC-2000-SumimotoTHHTI #clustering #network #performance #using
- High Performance Communication using a Commodity Network for Cluster Systems (SS, HT, AH, HH, TT, YI), pp. 139–146.
 LCTES-2000-LeeSJ #multi LCTES-2000-LeeSJ #multi
- An Integrated Push/Pull Buffer Management Method in Multimedia Communication Environments (SL, HS, TJ), pp. 216–220.
 PDP-2000-LefevreR #clustering #multi #performance #protocol #thread PDP-2000-LefevreR #clustering #multi #performance #protocol #thread
- Combining low-latency communication protocols with multithreading for high performance DSM systems on clusters (LL, OR), pp. 333–340.
 PDP-2000-SalehR #component #distributed #multi PDP-2000-SalehR #component #distributed #multi
- Communication support for distributed multimedia components (AS, GRRJ), pp. 28–35.
 STOC-2000-Klauck #on the #probability #protocol #quantum STOC-2000-Klauck #on the #probability #protocol #quantum
- On quantum and probabilistic communication: Las Vegas and one-way protocols (HK), pp. 644–651.
 TACAS-2000-KrimmM #composition #generative #partial order #reduction TACAS-2000-KrimmM #composition #generative #partial order #reduction
- Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems (JPK, LM), pp. 266–282.
 CL-2000-Hofstedt CL-2000-Hofstedt
- Better Communication for Tighter Cooperation (PH), pp. 342–358.
 TestCom-2000-CavalliPY #detection #fault #power of #testing TestCom-2000-CavalliPY #detection #fault #power of #testing
- Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs (ARC, SP, NY), p. 35–?.
 ITiCSE-1999-Polak #case study #education #using ITiCSE-1999-Polak #case study #education #using
- Teaching computer communication skills using case study method (PP), p. 190.
 IWPC-1999-MartinoMMV #interactive #parallel #source code IWPC-1999-MartinoMMV #interactive #parallel #source code
- Restructuring Parallel Programs by Transformation of Point-To-Point Interactions into Collective Communication (BDM, AM, NM, UV), pp. 84–91.
 ICALP-1999-AlurKY #state machine ICALP-1999-AlurKY #state machine
- Communicating Hierarchical State Machines (RA, SK, MY), pp. 169–178.
 FM-v1-1999-ZhouC #analysis #formal method #protocol FM-v1-1999-ZhouC #analysis #formal method #protocol
- Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol (DZ, SKC), pp. 758–775.
 FM-v2-1999-ButhS #architecture #design #model checking FM-v2-1999-ButhS #architecture #design #model checking
- Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems (BB, MS), p. 1869.
 FM-v2-1999-CimattiPSTV #protocol #specification #validation FM-v2-1999-CimattiPSTV #protocol #specification #validation
- Formal Specification and Validation of a Vital Communication Protocol (AC, PLP, RS, PT, AV), pp. 1584–1604.
 FM-v2-1999-HorlA #specification FM-v2-1999-HorlA #specification
- Formal Specification of a Voice Communication System Used in Air Traffic Control (JH, BKA), p. 1868.
 FM-v2-1999-Jonkers #interactive #using FM-v2-1999-Jonkers #interactive #using
- Communication and Synchronisation Using Interaction Objects (HBMJ), pp. 1321–1342.
 IFM-1999-Paige #concurrent #refinement #specification #using IFM-1999-Paige #concurrent #refinement #specification #using
- Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication (RFP), pp. 353–372.
 CHI-1999-Vertegaal #collaboration #multi CHI-1999-Vertegaal #collaboration #multi
- The GAZE Groupware System: Mediating Joint Attention in Multiparty Communication and Collaboration (RV), pp. 294–301.
 HCI-CCAD-1999-BismarckH #question HCI-CCAD-1999-BismarckH #question
- Is informal communication needed, wanted and supported? (WBvB, MH), pp. 477–481.
 HCI-CCAD-1999-BussMR #3d #chat #distributed HCI-CCAD-1999-BussMR #3d #chat #distributed
- Advantages and disadvantages of a 3D virtual environment for supporting informal communication in distributed workgroups compared with a text-chat and a chat/cam system (RB, LM, DR), pp. 512–516.
 HCI-CCAD-1999-GrundelS #process #user interface HCI-CCAD-1999-GrundelS #process #user interface
- A direct manipulation user interface for the control of communication processes — making call handling manageable (CG, MSH), pp. 8–13.
 HCI-CCAD-1999-Kameneva #education #using HCI-CCAD-1999-Kameneva #education #using
- Educational use of communication and information technologies in Ukraine (TK), pp. 701–706.
 HCI-CCAD-1999-KoisoN #development #evaluation HCI-CCAD-1999-KoisoN #development #evaluation
- Development of an evaluation system for organizational structure in emergency from the viewpoint of communication (TK, SN), pp. 578–582.
 HCI-CCAD-1999-LuczakW HCI-CCAD-1999-LuczakW
- Computer supported communication and cooperation — making information aware (HL, MW), pp. 298–302.
 HCI-CCAD-1999-MambreyP #design #multi HCI-CCAD-1999-MambreyP #design #multi
- Enhancing participatory design by multiple communication channels (PM, VP), pp. 387–391.
 HCI-CCAD-1999-MatsuuraSM #named #visual notation HCI-CCAD-1999-MatsuuraSM #named #visual notation
- HiQIS: a networked virtual environment for visual communication (NM, SS, SM), pp. 588–592.
 HCI-CCAD-1999-Morikawa #video HCI-CCAD-1999-Morikawa #video
- Pointing on HyperMirror video mediated communication (OM), pp. 548–552.
 HCI-CCAD-1999-MorimotoKY #collaboration #interactive #video HCI-CCAD-1999-MorimotoKY #collaboration #interactive #video
- Influence of interaction modes on a collaborative task and structure of dialogues in video communication (KM, TK, AY), pp. 212–216.
 HCI-CCAD-1999-Morishima #multi #using HCI-CCAD-1999-Morishima #multi #using
- Multiple points face-to-face communication in cyberspace using multi-modal agent (SM), pp. 177–181.
 HCI-CCAD-1999-NimanTHH HCI-CCAD-1999-NimanTHH
- Transparent communication appliances (BvN, DVT, JH, HH), pp. 18–22.
 HCI-CCAD-1999-OhyaOUIS #image #towards HCI-CCAD-1999-OhyaOUIS #image #towards
- Towards the realization of non-verbal communication — computer vision based technologies for analyzing human images (JO, TO, AU, SI, TS), pp. 172–176.
 HCI-CCAD-1999-OkamotoNII HCI-CCAD-1999-OkamotoNII
- Supporting cross-cultural communication in real-world encounters (MO, HN, KI, TI), pp. 442–446.
 HCI-CCAD-1999-RuuskaV #design #mobile #research HCI-CCAD-1999-RuuskaV #design #mobile #research
- Contextual research for technological innovation — satisfying user needs in the design of mobile communication devices (SR, KVVM), pp. 28–32.
 HCI-CCAD-1999-Schneider-Hufschmidt #design #integration #user interface HCI-CCAD-1999-Schneider-Hufschmidt #design #integration #user interface
- User interface design — the driving force for the integration of information and communication (MSH), pp. 14–17.
 HCI-CCAD-1999-Tamura HCI-CCAD-1999-Tamura
- Communication beyond reality (HT), pp. 1337–1340.
 HCI-CCAD-1999-WatanabeO #analysis #interactive #synthesis HCI-CCAD-1999-WatanabeO #analysis #interactive #synthesis
- Virtual face-to-face communication system for human interaction analysis by synthesis (TW, MO), pp. 182–186.
 HCI-EI-1999-Biagioni #distance #network HCI-EI-1999-Biagioni #distance #network
- Asynchronous and Distance Communication Over Digital Networks (ESB), pp. 851–855.
 HCI-EI-1999-HienzMSA #human-computer #multimodal HCI-EI-1999-HienzMSA #human-computer #multimodal
- Multimodal Human-Computer Communication in Technical Applications (HH, JM, RS, SA), pp. 755–759.
 HCI-EI-1999-OliveiraB #design #interface HCI-EI-1999-OliveiraB #design #interface
- Communicating Entities: a Semiotic-Based Methodology for Interface Design (OLDO, MCCB), pp. 1237–1241.
 HCI-EI-1999-PoC #case study #challenge #design #user interface HCI-EI-1999-PoC #case study #challenge #design #user interface
- Challenges in Designing User Interfaces for Handheld Communication Devices: — A Case Study (TMP, TKC), pp. 808–812.
 HCI-EI-1999-RigasKO #debugging #named HCI-EI-1999-RigasKO #debugging #named
- AUDIOTEST: Utilising Audio to Communicate Information in Program Debugging (DIR, MARK, DO), pp. 1293–1297.
 HCI-EI-1999-Takeda #approach #diagrams #using HCI-EI-1999-Takeda #approach #diagrams #using
- Evolutionary Approach to Revolutionary Use of Software Diagrams in Client-Designer Communication (KT), pp. 866–870.
 TOOLS-ASIA-1999-LiZL #csp #process #type system TOOLS-ASIA-1999-LiZL #csp #process #type system
- The Typing of Communicating Sequential Processes (WL, XZ, SL), pp. 61–66.
 TOOLS-USA-1999-DeugoOAW #component TOOLS-USA-1999-DeugoOAW #component
- Communication as a Means to Differentiate Objects, Components and Agents (DD, FO, BA, MW), pp. 376–386.
 ESEC-FSE-1999-HauswirthJ #component ESEC-FSE-1999-HauswirthJ #component
- A Component and Communication Model for Push Systems (MH, MJ), pp. 20–38.
 DAC-1999-BeniniMMPS #interface #power management #synthesis DAC-1999-BeniniMMPS #interface #power management #synthesis
- Synthesis of Low-Overhead Interfaces for Power-Efficient Communication over Wide Buses (LB, AM, EM, MP, RS), pp. 128–133.
 DATE-1999-ChangP #co-evolution #design #named #programming #using DATE-1999-ChangP #co-evolution #design #named #programming #using
- Codex-dp: Co-design of Communicating Systems Using Dynamic Programming (JMC, MP), p. 568–?.
 HPCA-1999-FalsafiW #abstraction #parallel #programming #protocol #queue HPCA-1999-FalsafiW #abstraction #parallel #programming #protocol #queue
- Parallel Dispatch Queue: A Queue-Based Programming Abstraction to Parallelize Fine-Grain Communication Protocols (BF, DAW), pp. 182–192.
 HPCA-1999-SohnPKKY #parallel #thread HPCA-1999-SohnPKKY #parallel #thread
- Communication Studies of Single-Threaded and Multithreaded Distributed-Memory Multiprocessors (AS, YP, JYK, YK, YY), pp. 310–314.
 PDP-1999-ColinN #distributed #scheduling PDP-1999-ColinN #distributed #scheduling
- Scheduling tasks with communication delays on a two-levels virtual distributed system (JYC, MN), pp. 344–348.
 PPoPP-1999-KielmannHBPB #clustering #named PPoPP-1999-KielmannHBPB #clustering #named
- MagPIe: MPI’s Collective Communication Operations for Clustered Wide Area Systems (TK, RFHH, HEB, AP, RB), pp. 131–140.
 PPoPP-1999-MainwaringC #challenge #design #network #performance PPoPP-1999-MainwaringC #challenge #design #network #performance
- Design Challenges of Virtual Networks: Fast, General-Purpose Communication (AMM, DEC), pp. 119–130.
 SOSP-1999-LiuKRHHBC #component #reliability SOSP-1999-LiuKRHHBC #component #reliability
- Building reliable, high-performance communication systems from components (XL, CK, RvR, JH, MH, KPB, RLC), pp. 80–92.
 FASE-1999-Weber #information management FASE-1999-Weber #information management
- Continuous Engineering of Information and Communication Infrastructures (HW), pp. 22–29.
 FoSSaCS-1999-HuhnNW #logic #model checking FoSSaCS-1999-HuhnNW #logic #model checking
- Model Checking Logics for Communicating Sequential Agents (MH, PN, FW), pp. 227–242.
 STOC-1999-PonzioRV #complexity #pointer STOC-1999-PonzioRV #complexity #pointer
- The Communication Complexity of Pointer Chasing: Applications of Entropy and Sampling (SP, JR, SV), pp. 602–611.
 STOC-1999-Raz #complexity #exponential #quantum STOC-1999-Raz #complexity #exponential #quantum
- Exponential Separation of Quantum and Classical Communication Complexity (RR), pp. 358–367.
 TACAS-1999-KahloucheVZ #consistency #hardware #protocol #testing #using TACAS-1999-KahloucheVZ #consistency #hardware #protocol #testing #using
- Hardware Testing Using a Communication Protocol Conformance Testing Tool (HK, CV, MZ), pp. 315–329.
 TACAS-1999-Kreitz #automation #configuration management TACAS-1999-Kreitz #automation #configuration management
- Automated Fast-Track Reconfiguration of Group Communication Systems (CK), pp. 104–118.
 CADE-1999-FrankeK #automation #distributed #proving #theorem proving CADE-1999-FrankeK #automation #distributed #proving #theorem proving
- System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving (AF, MK), pp. 217–221.
 IWTCS-1999-LatvakoskiH #embedded #protocol #simulation #testing IWTCS-1999-LatvakoskiH #embedded #protocol #simulation #testing
- Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems (JL, HH), pp. 379–394.
 ECDL-1998-MayburySW #multi ECDL-1998-MayburySW #multi
- Intelligent Multimedia Communication (MTM, OS, WW), pp. 1–11.
 VLDB-1998-BlottKS #how #question #what VLDB-1998-BlottKS #how #question #what
- Information, Communication, and Money: For What Can We Charge and How Can We Meter It? (SB, HFK, AS), p. 697.
 ICSM-1998-FrenchL #case study #distributed ICSM-1998-FrenchL #case study #distributed
- A Study of Communication and Cooperation in Distributed Software Project Teams (AF, PJL), p. 146–?.
 ICALP-1998-PelegR #approximate ICALP-1998-PelegR #approximate
- Deterministic Polylog Approximation for Minimum Communication Spanning Trees (DP, ER), pp. 670–681.
 ICALP-1998-RaymondTT #algebra #approach #complexity ICALP-1998-RaymondTT #algebra #approach #complexity
- An Algebraic Approach to Communication Complexity (JFR, PT, DT), pp. 29–40.
 TAGT-1998-FischerKT #distributed TAGT-1998-FischerKT #distributed
- Local Views on Distributed Systems and Their Communication (IF, MK, GT), pp. 164–178.
 CHI-1998-AltyR #music #using #visual notation CHI-1998-AltyR #music #using #visual notation
- Communicating Graphical Information to Blind Users Using Music: The Role of Context (JLA, DIR), pp. 574–581.
 CHI-1998-KrautMSKS #internet CHI-1998-KrautMSKS #internet
- Communication and Information: Alternative Uses of the Internet in Households (REK, TM, JS, SBK, WLS), pp. 368–375.
 CHI-1998-WojahnNB #collaboration #interface CHI-1998-WojahnNB #collaboration #interface
- Effects of Interfaces for Annotation on Communication in a Collaborative Task (PGW, CN, BB), pp. 456–463.
 CSCW-1998-BraveID #collaboration #interface CSCW-1998-BraveID #collaboration #interface
- Tangible Interfaces for Remote Collaboration and Communication (SB, HI, AD), pp. 169–178.
 CSCW-1998-FussellKLSMC #coordination #performance CSCW-1998-FussellKLSMC #coordination #performance
- Coordination, Overload and Team Performance: Effects of Team Communication Strategies (SRF, REK, FJL, WLS, MMM, JJC), pp. 275–284.
 CSCW-1998-MorikawaM #named #towards #video CSCW-1998-MorikawaM #named #towards #video
- HyperMirror: Toward Pleasant-to-Use Video Mediated Communication System (OM, TM), pp. 149–158.
 CSCW-1998-NeuwirthMRCW CSCW-1998-NeuwirthMRCW
- Envisioning Communication: Task-Tailorable Representations of Communication in Asynchronous Work (CN, JHM, SHR, RC, GCW), pp. 265–274.
 EDOC-1998-BakkerB #architecture #component #design #distributed #evaluation #framework EDOC-1998-BakkerB #architecture #component #design #distributed #evaluation #framework
- Design and evaluation of the distributed software component framework for distributed communication architectures (JLB, HJB), pp. 282–288.
 EDOC-1998-LitiuP #adaptation EDOC-1998-LitiuP #adaptation
- Adaptive group communication services for groupware systems (RL, AP), pp. 218–229.
 ICPR-1998-OhbaCTKT ICPR-1998-OhbaCTKT
- Facial expression communication with FES (KO, GC, TT, TK, KT), pp. 1376–1378.
 ICPR-1998-TakahashiNKS ICPR-1998-TakahashiNKS
- Helping computer vision by verbal and nonverbal communication (TT, SN, YK, YS), pp. 1216–1218.
 TOOLS-ASIA-1998-DongDLL #framework #on the TOOLS-ASIA-1998-DongDLL #framework #on the
- On Open Communication Frameworks for Software Agents (HD, JD, XL, JL), pp. 188–195.
 TOOLS-ASIA-1998-Ersavas98a TOOLS-ASIA-1998-Ersavas98a
- Enhancing Object Communication Mechanisms (TE), pp. 232–244.
 TOOLS-ASIA-1998-WeiHH #challenge #mobile TOOLS-ASIA-1998-WeiHH #challenge #mobile
- Challenges of Communication in Mobile Computing (JW, TH, TH), p. 196–?.
 AdaEurope-1998-Gonzalez-BarahonaQCB #ada #approach #composition AdaEurope-1998-Gonzalez-BarahonaQCB #ada #approach #composition
- Building Modular Communication Systems in Ada: The Simple_Com Approach (JMGB, PdlHQ, JCG, FJB), pp. 225–237.
 PLDI-1998-ZhuH #c #optimisation #parallel #source code PLDI-1998-ZhuH #c #optimisation #parallel #source code
- Communication Optimizations for Parallel C Programs (YZ, LJH), pp. 199–211.
 SAS-1998-Venet #automation #mobile SAS-1998-Venet #automation #mobile
- Automatic Determination of Communication Topologies in Mobile Systems (AV), pp. 152–167.
 SIGAda-1998-AlbertiniB #ada SIGAda-1998-AlbertiniB #ada
- Ada in an On-Board Military Communication System (VDA, CJB), pp. 132–136.
 REFSQ-1998-YoungM REFSQ-1998-YoungM
- The “Knowledge Curtain”: Beyond the “Communication Gap” (LY, NM), pp. 115–120.
 SAC-1998-RussellH #kernel #performance #reliability SAC-1998-RussellH #kernel #performance #reliability
- Efficient kernel support for reliable communication (RDR, PJH), pp. 541–550.
 SAC-1998-WohlmuthM #configuration management #parallel SAC-1998-WohlmuthM #configuration management #parallel
- A method for them embedding of arbitrary communication topologies into configurable parallel computers (OW, FML), pp. 569–574.
 DATE-1998-GasteierGM #generative #synthesis DATE-1998-GasteierGM #generative #synthesis
- Generation of Interconnect Topologies for Communication Synthesis (MG, MG, MM), pp. 36–42.
 DATE-1998-LeijtenMTJ #multi #realtime DATE-1998-LeijtenMTJ #multi #realtime
- Stream Communication between Real-Time Tasks in a High-Performance Multiprocessor (JAJL, JLvM, AHT, JAGJ), pp. 125–131.
 DATE-1998-NiemannM #concurrent #hardware #synthesis DATE-1998-NiemannM #concurrent #hardware #synthesis
- Synthesis of Communicating Controllers for Concurrent Hardware/Software Systems (RN, PM), pp. 912–913.
 DATE-1998-ObergHK #grammarware #hardware #protocol #scheduling #synthesis DATE-1998-ObergHK #grammarware #hardware #protocol #scheduling #synthesis
- Scheduling of Outputs in Grammar-based Hardware Synthesis of Data Communication Protocols (JÖ, AH, AK), pp. 596–603.
 HPCA-1998-ChongBDKA #latency HPCA-1998-ChongBDKA #latency
- The Sensitivity of Communication Mechanisms to Bandwidth and Latency (FTC, RB, FD, JK, AA), pp. 37–46.
 HPCA-1998-GhoshC HPCA-1998-GhoshC
- Communication Across Fault-Containment Firewalls on the SGI Origin (KG, AJC), pp. 277–287.
 HPCA-1998-SpeightB #multi #thread #using HPCA-1998-SpeightB #multi #thread #using
- Using Multicast and Multithreading to Reduce Communication in Software DSM Systems (ES, JKB), pp. 312–322.
 HPDC-1998-BhatPR #adaptation #algorithm #distributed HPDC-1998-BhatPR #adaptation #algorithm #distributed
- Adaptive Communication Algorithms for Distributed Heterogeneous Systems (PBB, VKP, CSR), pp. 310–321.
 HPDC-1998-DiwanG #adaptation #approach HPDC-1998-DiwanG #adaptation #approach
- Adaptive Utilization of Communication and Computational Resources in High-Performance Distribution Systems: The EMOP Approach (SD, DG), pp. 2–9.
 HPDC-1998-GianniniC #architecture #clustering #performance HPDC-1998-GianniniC #architecture #clustering #performance
- A Software Architecture for Global Address Space Communication on Clusters: Put/Get on Fast Messages (LAG, AAC), pp. 330–337.
 HPDC-1998-LauriaPC #performance HPDC-1998-LauriaPC #performance
- Efficient Layering for High Speed Communication: Fast Messages 2.x (ML, SP, AAC), pp. 10–20.
 HPDC-1998-RosuS #coordination #distributed HPDC-1998-RosuS #coordination #distributed
- Sender Coordination in the Distributed Virtual Communication Machine (MCR, KS), pp. 322–329.
 PDP-1998-BarretoJ #approach #reliability PDP-1998-BarretoJ #approach #reliability
- Open and reliable group communication processing: the FITOS-RPC approach (LPB, IJP), pp. 389–394.
 PDP-1998-GarcesFL #parallel PDP-1998-GarcesFL #parallel
- Improving parallel computer communication: dynamic routing balancing (IG, DF, EL), pp. 111–119.
 PDP-1998-Glazek #3d #distributed PDP-1998-Glazek #3d #distributed
- Distributed computation in a three-dimensional mesh with communication delays (WG), pp. 38–42.
 STOC-1998-BabaiHK #complexity #cost analysis STOC-1998-BabaiHK #complexity #cost analysis
- The Cost of the Missing Bit: Communication Complexity with Help (LB, TPH, PGK), pp. 673–682.
 STOC-1998-BuhrmanCW #quantum STOC-1998-BuhrmanCW #quantum
- Quantum vs. Classical Communication and Computation (HB, RC, AW), pp. 63–68.
 CADE-1998-KreitzHH #development #proving CADE-1998-KreitzHH #development #proving
- A Proof Environment for the Development of Group Communication Systems (CK, MH, JH), pp. 317–332.
 ITiCSE-1997-Carswell #distance #education #internet #learning #student ITiCSE-1997-Carswell #distance #education #internet #learning #student
- Teaching via the Internet: the impact of the Internet as a communication medium on distance learning introductory computing students (LC), pp. 1–5.
 ITiCSE-1997-RoblesFPA #distance #learning #multi #using ITiCSE-1997-RoblesFPA #distance #learning #multi #using
- Using multimedia communication technologies in distance learning (TR, DF, EP, SA), pp. 6–7.
 ITiCSE-1997-Taylor #online #social #using ITiCSE-1997-Taylor #online #social #using
- Using online seminars to demonstrate the social psychological impacts of computer-mediated communication systems (JT), pp. 80–84.
 ITiCSE-WGR-1997-TengstrandH #assessment #case study ITiCSE-WGR-1997-TengstrandH #assessment #case study
- Forms of assessment that develop communication skills in computer science and mathematics — a case study (AT, MH), pp. 135–136.
 ITiCSE-WGR-1997-WolzPACDKLMSW #collaboration #education ITiCSE-WGR-1997-WolzPACDKLMSW #collaboration #education
- Computer-mediated communication in collaborative educational settings (report of the ITiCSE 1997 working group on CMC in collaborative educational settings) (UW, JP, PA, ZC, JD, GK, AL, SM, RS, HMW), pp. 51–69.
 DLT-1997-Mihalache #hybrid #parallel DLT-1997-Mihalache #hybrid #parallel
- Hybrid Parallel Communicating Grammar Systems (VM), pp. 175–189.
 ICALP-1997-Ambainis #bound #complexity #information retrieval ICALP-1997-Ambainis #bound #complexity #information retrieval
- Upper Bound on Communication Complexity of Private Information Retrieval (AA), pp. 401–407.
 ICALP-1997-Fu #approach #proving ICALP-1997-Fu #approach #proving
- A Proof Theoretical Approach to Communication (YF), pp. 325–335.
 CHI-1997-DixML CHI-1997-DixML
- Communication, Action and History (AJD, RM, SL), pp. 542–543.
 HCI-CC-1997-Dabija #behaviour HCI-CC-1997-Dabija #behaviour
- Communicating about Reactive Behaviors (VGD), pp. 31–34.
 HCI-CC-1997-HolmL #abstraction #modelling #multi HCI-CC-1997-HolmL #abstraction #modelling #multi
- Combining Multiple Abstraction Mechanisms in Communication Modeling (PH, JL), pp. 93–96.
 HCI-CC-1997-KoisoSYN HCI-CC-1997-KoisoSYN
- Communication Model in Emergency Which Considers Competence, Duty and Responsibility (TK, NS, TY, SN), pp. 49–52.
 HCI-CC-1997-LuczakSS #social HCI-CC-1997-LuczakSS #social
- Computer Supported Communication and Cooperation-Building Social Environments into Computer Systems (HL, JS, SS), pp. 277–280.
 HCI-CC-1997-Pejtersen #approach #information retrieval #network #semantics HCI-CC-1997-Pejtersen #approach #information retrieval #network #semantics
- A Cognitive Engineering Approach to Cross Disciplinary Exploration of Work Domains and Semantic Information Retrieval in Communication Networks (AMP), pp. 69–72.
 HCI-CC-1997-Venda #analysis #performance #predict HCI-CC-1997-Venda #analysis #performance #predict
- Ergodynamics in Analysis and Prediction of Communication Efficiency (VFV), pp. 833–836.
 HCI-SEC-1997-AnkerA #approach #development #mobile #multi HCI-SEC-1997-AnkerA #approach #development #mobile #multi
- Mobile Multimedia Communication: A Task- and User-Centered Approach to Future Systems Development (FWGvdA, AGA), pp. 651–654.
 HCI-SEC-1997-Bannon97a #human-computer #interactive #problem HCI-SEC-1997-Bannon97a #human-computer #interactive #problem
- Problems in Human-Machine Interaction and Communication (LJB), pp. 47–50.
 HCI-SEC-1997-Benyon #human-computer HCI-SEC-1997-Benyon #human-computer
- Communication and Shared Knowledge in Human-Computer Systems (DB), pp. 43–46.
 HCI-SEC-1997-HollnagelH #lessons learnt #problem #question HCI-SEC-1997-HollnagelH #lessons learnt #problem #question
- Twenty-Five Years of Operator-Process Communication: Lessons Learned and Problems Solved? (EH, JØH), pp. 221–224.
 HCI-SEC-1997-KimuraKI #multi #product line HCI-SEC-1997-KimuraKI #multi #product line
- Multimedia Communication for Family (AK, HK, SI), pp. 639–642.
 HCI-SEC-1997-KohtakeYA #process #strict HCI-SEC-1997-KohtakeYA #process #strict
- Reducing Restriction of Activity in Media Communication with Demand Driven Viewer (NK, YY, YA), pp. 189–192.
 HCI-SEC-1997-Morishima #recognition #synthesis HCI-SEC-1997-Morishima #recognition #synthesis
- Expression Recognition and Synthesis for Face-to-Face Communication (SM), pp. 415–418.
 HCI-SEC-1997-MuraiKI #3d #multi #using #video HCI-SEC-1997-MuraiKI #3d #multi #using #video
- Display of Conversation Partners Using 3D-Facial Model in the Multiparty Video Communication System (TM, HK, SI), pp. 861–864.
 HCI-SEC-1997-PattersonD #industrial #multi #network #tool support #usability HCI-SEC-1997-PattersonD #industrial #multi #network #tool support #usability
- Evaluating the Usability of Application Tools in Transferring Multimedia Information Across ATM Communication Networks Within the Fashion Industry in Europe (GP, RD), pp. 767–770.
 HCI-SEC-1997-Purchase #multi #perspective HCI-SEC-1997-Purchase #multi #perspective
- Multimedia Communication and Technology: A Semiotic Perspective (HCP), pp. 687–690.
 HCI-SEC-1997-TamuraZ HCI-SEC-1997-TamuraZ
- Remote and Local Camera Works in Media Communication (HT, RZ), pp. 419–422.
 HCI-SEC-1997-Vaananen-Vainio-MattilaH #mobile #user interface HCI-SEC-1997-Vaananen-Vainio-MattilaH #mobile #user interface
- Mobile Communication User Interfaces for Everyone (KVVM, SH), pp. 815–818.
 HCI-SEC-1997-WatanabeO #analysis HCI-SEC-1997-WatanabeO #analysis
- Physiological Analysis of Entrainment in Face-to-Face Communication (TW, MO), pp. 411–414.
 EDOC-1997-IidaK #corba #evaluation #reliability EDOC-1997-IidaK #corba #evaluation #reliability
- Evaluation of a Method for Reliable Message Transfer Communication in CORBA (KI, JK), pp. 104–110.
 TOOLS-ASIA-1997-Schmidt97b #design pattern #framework #object-oriented #using TOOLS-ASIA-1997-Schmidt97b #design pattern #framework #object-oriented #using
- Using Design Patterns and Frameworks to Develop Object-Oriented Communication Systems (DCS), pp. 422–423.
 TOOLS-PACIFIC-1997-Schmidt #design pattern #framework #object-oriented #using TOOLS-PACIFIC-1997-Schmidt #design pattern #framework #object-oriented #using
- Using Design Patterns and Frameworks to Develop Object-Oriented Communication Systems (DCS), pp. 361–362.
 SAS-1997-IgarashiK #analysis #concurrent #programming language #type system SAS-1997-IgarashiK #analysis #concurrent #programming language #type system
- Type-Based Analysis of Communication for Concurrent Programming Languages (AI, NK), pp. 187–201.
 TRI-Ada-1997-Gargaro TRI-Ada-1997-Gargaro
- Ada-Java Communication in ADEPT (AG), pp. 231–245.
 ICSE-1997-BrueggeD #development #metric ICSE-1997-BrueggeD #development #metric
- Communication Metrics for Software Development (BB, AHD), pp. 271–281.
 ICSE-1997-SeamanB #empirical ICSE-1997-SeamanB #empirical
- An Empirical Study of Communication in Code Inspections (CBS, VRB), pp. 96–106.
 SAC-1997-BjornN #multi #web SAC-1997-BjornN #multi #web
- Pre-processed, multilingual communication on the World-Wide Web (MB, CN), pp. 115–117.
 SAC-1997-LiMII SAC-1997-LiMII
- Booking heterogeneous processor resources to reduce communication overhead (DL, AM, YI, NI), pp. 354–360.
 SAC-1997-Sibai #multi #network SAC-1997-Sibai #multi #network
- Multi-node communication in hyper-ring networks (FNS), pp. 380–383.
 SAC-1997-Sibai97a #multi #on the #pipes and filters SAC-1997-Sibai97a #multi #on the #pipes and filters
- On the impact of pipelined communication in hierarchical ring multicomputers (FNS), pp. 384–388.
 SAC-1997-SurmaS #hybrid #parallel #scheduling SAC-1997-SurmaS #hybrid #parallel #scheduling
- Hybrid static-dynamic communication scheduling for parallel systems (DRS, EHMS), pp. 374–379.
 DAC-1997-HinesB #embedded #modelling DAC-1997-HinesB #embedded #modelling
- Dynamic Communication Models in Embedded System Co-Simulation (KH, GB), pp. 395–400.
 HPCA-1997-Abdel-ShafiHAA #evaluation #multi HPCA-1997-Abdel-ShafiHAA #evaluation #multi
- An Evaluation of Fine-Grain Producer-Initiated Communication in Cache-Coherent Multiprocessors (HAS, JH, SVA, VSA), pp. 204–215.
 HPCA-1997-ChodnekarSVSD #parallel #towards HPCA-1997-ChodnekarSVSD #parallel #towards
- Towards a Communication Characterization Methodology for Parallel Applications (SC, VS, ASV, AS, CRD), pp. 310–319.
 HPCA-1997-DaoYD #architecture #multi #network HPCA-1997-DaoYD #architecture #multi #network
- Architectural Support for Reducing Communication Overhead in Multiprocessor Interconnection Networks (BVD, SY, JD), pp. 343–352.
 HPCA-1997-FalsafiW #parallel #scheduling HPCA-1997-FalsafiW #parallel #scheduling
- Scheduling Communication on a SMP Node Parallel Machine (BF, DAW), pp. 128–138.
 HPCA-1997-HwangWW #3d #multi HPCA-1997-HwangWW #3d #multi
- Evaluating MPI Collective Communication on the SP2, T3D, and Paragon Multicomputers (KH, CW, CLW), pp. 106–115.
 HPCA-1997-LimHPS #clustering #performance HPCA-1997-LimHPS #clustering #performance
- Message Proxies for Efficient, Protected Communication on SMP Clusters (BHL, PH, PP, MS), pp. 116–127.
 HPCA-1997-QinB #multi #on the #performance HPCA-1997-QinB #multi #on the #performance
- On the Use and Performance of Explicit Communication Primitives in Cache-Coherent Multiprocessor Systems (XQ, JLB), pp. 182–193.
 HPCA-1997-Sivasubramaniam #memory management #multi HPCA-1997-Sivasubramaniam #memory management #multi
- Reducing the Communication Overhead of Dynamic Applications on Shared Memory Multiprocessors (AS), pp. 194–203.
 HPCA-1997-WelshBE #interface #network #performance HPCA-1997-WelshBE #interface #network #performance
- ATM and Fast Ethernet Network Interfaces for User-Level Communication (MW, AB, TvE), pp. 332–342.
 HPDC-1997-BaldoniBP #distributed #flexibility HPDC-1997-BaldoniBP #distributed #flexibility
- Flexible General Purpose Communication Primitives for Distributed Systems (RB, RB, RP), pp. 201–210.
 HPDC-1997-HaydenR #optimisation #protocol HPDC-1997-HaydenR #optimisation #protocol
- Optimizing Layered Communication Protocols (MH, RvR), pp. 169–177.
 HPDC-1997-SimonS #collaboration #multi HPDC-1997-SimonS #collaboration #multi
- Load-balanced Routing for Collaborative Multimedia Communication (RS, AKS), pp. 81–90.
 PDP-1997-RuhlB #library #using PDP-1997-RuhlB #library #using
- A portable collective communication library using communication schedules (TR, HEB), pp. 297–306.
 PDP-1997-Sampels #architecture #parallel PDP-1997-Sampels #architecture #parallel
- Massively parallel architectures and systolic communication (MS), pp. 322–334.
 PPoPP-1997-ChandraL #distributed #memory management #optimisation #source code PPoPP-1997-ChandraL #distributed #memory management #optimisation #source code
- Optimizing Communication in HPF programs for Fine-Grain Distributed Shared Memory (SC, JRL), pp. 100–111.
 PPoPP-1997-LimCCE #performance PPoPP-1997-LimCCE #performance
- Performance Implications of Communication Mechanisms in All-Software Global Address Space Systems (BHL, CCC, GC, TvE), pp. 230–239.
 PPoPP-1997-ZhangC #optimisation #parallel #pointer PPoPP-1997-ZhangC #optimisation #parallel #pointer
- Dynamic Pointer Alignment: Tiling and Communication Optimizations for Parallel Pointer-based Computations (XZ, AAC), pp. 37–47.
 STOC-1997-Dietzfelbinger #complexity #problem STOC-1997-Dietzfelbinger #complexity #problem
- The Linear-Array Problem in Communication Complexity Resolved (MD), pp. 373–382.
 STOC-1997-ParnafesRW #modelling #problem STOC-1997-ParnafesRW #modelling #problem
- Direct Product Results and the GCD Problem, in Old and New Communication Models (IP, RR, AW), pp. 363–372.
 TACAS-1997-Kleuker #concurrent #development #incremental TACAS-1997-Kleuker #concurrent #development #incremental
- Incremental Development of Deadlock-Free Communicating Systems (SK), pp. 306–320.
- DL-1996-Murphy #evaluation #research
- Information Product Evaluation as Asynchronous Communication in Context: A Model for Organizational Research (LDM), pp. 134–142.
 ICALP-1996-BermondGPRV #network #performance ICALP-1996-BermondGPRV #network #performance
- Efficient Collective Communication in Optical Networks (JCB, LG, SP, AAR, UV), pp. 574–585.
 FME-1996-BoerH #nondeterminism #process FME-1996-BoerH #nondeterminism #process
- Local Nondeterminism in Asynchronously Communicating Processes (FSdB, MvH), pp. 367–384.
 IFL-1996-LoidlH #effectiveness #graph #parallel #reduction IFL-1996-LoidlH #effectiveness #graph #parallel #reduction
- Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer (HWL, KH), pp. 184–199.
 CSCW-1996-Hall #collaboration #research CSCW-1996-Hall #collaboration #research
- Research in Communication Services for Collaborative Systems (doctoral colloquium) (RWH), p. 447.
 CSCW-1996-HallMJPR #collaboration #named #reliability #scalability CSCW-1996-HallMJPR #collaboration #named #reliability #scalability
- Corona: A Communication Service for Scalable, Reliable Group Collaboration Systems (RWH, AGM, FJ, AP, CR), pp. 140–149.
 CSCW-1996-KrautMS #collaboration #performance #physics CSCW-1996-KrautMS #collaboration #performance #physics
- Collaboration in Performance of Physical Tasks: Effects on Outcomes and Communication (REK, MDM, JS), pp. 57–66.
 CSCW-1996-KuzuokaINN #collaboration #named #video CSCW-1996-KuzuokaINN #collaboration #named #video
- GestureCam: A Video Communication System to Support Spatial Workspace Collaboration (Video Program) (HK, GI, YN, YN), p. 9.
 SEKE-1996-KimSK SEKE-1996-KimSK
- Relationship Between Communication Capability and Goal Achievement in System of Agents (HGK, YCS, MhK), pp. 246–252.
 SEKE-1996-SlivaMS #protocol SEKE-1996-SlivaMS #protocol
- A Method for Applying G-Nets To Communication Protocols (VPS, TM, SMS), pp. 145–152.
 AdaEurope-1996-KienzleWS #ada #distributed AdaEurope-1996-KienzleWS #ada #distributed
- Secure Communication in Distributed Ada (JK, TW, AS), pp. 198–210.
 PLDI-1996-ChakrabartiGC #analysis #optimisation PLDI-1996-ChakrabartiGC #analysis #optimisation
- Global Communication Analysis and Optimization (SC, MG, JDC), pp. 68–78.
 TRI-Ada-1996-Gramp #architecture #comparison #mobile TRI-Ada-1996-Gramp #architecture #comparison #mobile
- A Comparison of Different Tasking Architectures Used in Mobile Satellite Communication Ground Station Software (KJG), pp. 23–28.
 TRI-Ada-1996-LedruS TRI-Ada-1996-LedruS
- Interpartition Communication with Shared Active Packages (PL, SGS), pp. 57–62.
 FSE-1996-NaumovichCO #analysis #data flow #protocol #using #verification FSE-1996-NaumovichCO #analysis #data flow #protocol #using #verification
- Verification of Communication Protocols Using Data Flow Analysis (GN, LAC, LJO), pp. 93–105.
 SAC-1996-BurgeN #distributed #memory management #performance SAC-1996-BurgeN #distributed #memory management #performance
- A decentralized communication efficient distributed shared memory (LLBI, MLN), pp. 358–365.
 ASPLOS-1996-BianchiniKPMAA #latency ASPLOS-1996-BianchiniKPMAA #latency
- Hiding Communication Latency and Coherence Overhead in Software DSMs (RB, LIK, RP, MDM, MA, CLdA), pp. 198–209.
 ASPLOS-1996-KrishnamurthySSWCY #architecture #evaluation #parallel #scalability ASPLOS-1996-KrishnamurthySSWCY #architecture #evaluation #parallel #scalability
- Evaluation of Architectural Support for Global Address-Based Communication in Large-Scale Parallel Machines (AK, KES, CJS, RYW, DEC, KAY), pp. 37–48.
 ASPLOS-1996-Scott #multi ASPLOS-1996-Scott #multi
- Synchronization and Communication in the T3E Multiprocessor (SLS), pp. 26–36.
 DAC-1996-VideiraVS #design #performance DAC-1996-VideiraVS #design #performance
- Efficient Communication in a Design Environment (IV, PV, HS), pp. 169–174.
 HPDC-1996-ParkHKHY #message passing #network #parallel #thread HPDC-1996-ParkHKHY #message passing #network #parallel #thread
- NYNET Communication System (NCS): A Multithreaded Message Passing Tool over ATM Network (SYP, SH, YK, JSH, RY), pp. 460–469.
 PDP-1996-Allison #distributed PDP-1996-Allison #distributed
- Developing Distributed Group Communication in pSR (CA), pp. 462–469.
 PDP-1996-IazzettaSS #network #recursion PDP-1996-IazzettaSS #network #recursion
- Tree-Based Communication Model for WK-Recursive Networks (AI, CS, US), pp. 204–210.
 PDP-1996-MoureFHL #kernel #named PDP-1996-MoureFHL #kernel #named
- TransCom: A Communication Microkernel for Transputers (JCM, DF, EH, EL), pp. 147–153.
 STOC-1996-HromkovicS #nondeterminism STOC-1996-HromkovicS #nondeterminism
- Nondeterministic Communication with a Limited Number of Advice Bits (JH, GS), pp. 551–560.
 STOC-1996-KushilevitzLO #complexity STOC-1996-KushilevitzLO #complexity
- The Linear-Array Conjecture in Communication Complexity is False (EK, NL, RO), pp. 1–10.
 STOC-1996-NewmanS #game studies STOC-1996-NewmanS #game studies
- Public vs. Private Coin Flips in One Round Communication Games (IN, MS), pp. 561–570.
 CAV-1996-BoigelotG #infinity #protocol #using #verification CAV-1996-BoigelotG #infinity #protocol #using #verification
- Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (BB, PG), pp. 1–12.
 CAV-1996-MerinoT #analysis #integration #named #protocol #verification CAV-1996-MerinoT #analysis #integration #named #protocol #verification
- EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols (PM, JMT), pp. 406–410.
 JICSLP-1996-BonnerK #concurrent #logic #transaction JICSLP-1996-BonnerK #concurrent #logic #transaction
- Concurrency and Communication in Transaction Logic (AJB, MK), pp. 142–156.
 ADL-1995-Cordova ADL-1995-Cordova
- Communicating NASA’s Science to the Public (FC), pp. 1–16.
 VLDB-1995-HasanM #optimisation #parallel #query VLDB-1995-HasanM #optimisation #parallel #query
- Coloring Away Communication in Parallel Query Optimization (WH, RM), pp. 239–250.
 DLT-1995-Hromkovic #complexity #generative #on the DLT-1995-Hromkovic #complexity #generative #on the
- On the Communication Complexity of Distributive Language Generation (JH), pp. 237–246.
 DLT-1995-Mihalache #parallel DLT-1995-Mihalache #parallel
- Szilard Languages Associated to Parallel Communicating Grammar Systems (VM), pp. 247–256.
 CAiSE-1995-DignumW #modelling CAiSE-1995-DignumW #modelling
- Modelling Communication between Cooperative Systems (FD, HW), pp. 140–153.
 SEKE-1995-ZaitriC #component #named SEKE-1995-ZaitriC #component #named
- TCO: a Tool to map Communication components to Objects (NKZ, XC), pp. 106–108.
 ECOOP-1995-SchmidtS #design pattern #experience #platform #using ECOOP-1995-SchmidtS #design pattern #experience #platform #using
- Experience Using Design Patterns to Evolve Communication Software Across Diverse OS Platforms (DCS, PS), pp. 399–423.
 PEPM-1995-Colby #concurrent #source code PEPM-1995-Colby #concurrent #source code
- Analyzing the Communication Topology of Concurrent Programs (CC), pp. 202–213.
 SAS-1995-KobayashiNY #concurrent #programming language #static analysis SAS-1995-KobayashiNY #concurrent #programming language #static analysis
- Static Analysis of Communication for Asynchronous Concurrent Programming Languages (NK, MN, AY), pp. 225–242.
 HPCA-1995-CappelloG #network #performance #towards HPCA-1995-CappelloG #network #performance #towards
- Toward High Communication Performance through Compiled Communications on a Circuit Switched Interconnection Network (FC, CG), pp. 44–53.
 HPCA-1995-GargS #architecture HPCA-1995-GargS #architecture
- Architectural Support for Inter-Stream Communication in a MSIMD System (VG, DES), pp. 348–357.
 HPCA-1995-QiaoM #latency #multi HPCA-1995-QiaoM #latency #multi
- Reducing Communication Latency with Path Multiplexing in Optically Interconnected Multiprocessor Systems (CQ, RGM), pp. 34–43.
 HPDC-1995-SterlingSBFO #parallel HPDC-1995-SterlingSBFO #parallel
- Communication Overhead for Space Science Applications on the Beowulf Parallel Workstation (TLS, DS, DJB, BF, KO), pp. 23–30.
 HPDC-1995-TachikawaT #multi #protocol HPDC-1995-TachikawaT #multi #protocol
- Multimedia Intra-Group Communication Protocol (TT, MT), pp. 180–187.
 LCT-RTS-1995-BakkersSP #automation #generative #parallel #realtime #scheduling #source code LCT-RTS-1995-BakkersSP #automation #generative #parallel #realtime #scheduling #source code
- Automatic Generation of Scheduling and Communication Code in Real-Time Parallel Programs (AB, JS, EP), pp. 134–145.
 PDP-1995-Ammann #distributed #monitoring PDP-1995-Ammann #distributed #monitoring
- DIPC-a monitor for distributed inter-process communication (EMA), pp. 272–279.
 PDP-1995-StrohschneiderKW #data flow #network #scalability PDP-1995-StrohschneiderKW #data flow #network #scalability
- An associative communication network for fine and large grain dataflow (JS, BK, KW), pp. 324–331.
 PPoPP-1995-Philippsen #array #automation #process PPoPP-1995-Philippsen #array #automation #process
- Automatic Alignment of Array Data and Processes to Reduce Communication Time on DMPPs (MP), pp. 156–165.
 PPoPP-1995-WallachHJKW #scheduling PPoPP-1995-WallachHJKW #scheduling
- Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation (DAW, WCH, KLJ, MFK, WEW), pp. 217–226.
 STOC-1995-KremerNR #complexity #on the #random STOC-1995-KremerNR #complexity #on the #random
- On randomized one-round communication complexity (IK, NN, DR), pp. 596–605.
 STOC-1995-KushilevitzOR #polynomial STOC-1995-KushilevitzOR #polynomial
- Log-space polynomial end-to-end communication (EK, RO, AR), pp. 559–568.
 STOC-1995-MiltersenNSW #complexity #data type #on the #symmetry STOC-1995-MiltersenNSW #complexity #data type #on the #symmetry
- On data structures and asymmetric communication complexity (PBM, NN, SS, AW), pp. 103–111.
 TACAS-1995-BohnR #automation #design #interactive #on the TACAS-1995-BohnR #automation #design #interactive #on the
- On Automatic and Interactive Design of Communication Systems (JB, SR), pp. 216–237.
 ICALP-1994-Pudlak #bound #complexity #game studies ICALP-1994-Pudlak #bound #complexity #game studies
- Unexpected Upper Bounds on the Complexity of Some Communication Games (PP), pp. 1–10.
 CHI-1994-HarrisonMBN94a #design #interface CHI-1994-HarrisonMBN94a #design #interface
- Communicating About Communicating: Cross-Disciplinary Design of a Media Space Interface (BH, MMM, GB, TN), pp. 124–130.
 CHI-1994-WhittakerFD94a #how #question #what CHI-1994-WhittakerFD94a #how #question #what
- Informal workplace communication: what is it like and how might we support it? (SW, DF, ODJ), pp. 131–137.
 CSCW-1994-KrautRCF #social #using CSCW-1994-KrautRCF #social #using
- Life and Death of New Technology: Task, Utility and Social Influences on the Use of a Communication Medium (REK, RER, CC, RSF), pp. 13–21.
 CSCW-1994-KuzuokaKT #collaboration #named #video CSCW-1994-KuzuokaKT #collaboration #named #video
- GestureCam: A Video Communication System for Sympathetic Remote Collaboration (HK, TK, MT), pp. 35–43.
 CSCW-1994-SimonSZ CSCW-1994-SimonSZ
- Communication Control in Computer Supported Cooperative Work Systems (RS, RJS, TZ), pp. 311–321.
 CSCW-1994-SohlenkampC CSCW-1994-SohlenkampC
- Integrating Communication, Cooperation, and Awareness: The DIVA Virtual Office Environment (MS, GC), pp. 331–343.
 CAiSE-1994-Johannesson #approach #information management #representation #speech CAiSE-1994-Johannesson #approach #information management #representation #speech
- Representation and Communication in Information Systems — A Speech Act Based Approach (PJ), pp. 200–213.
 CIKM-1994-FininFMM CIKM-1994-FininFMM
- KQML As An Agent Communication Language (TWF, RF, DPM, RM), pp. 456–463.
 CIKM-1994-LabrouF #approach #semantics CIKM-1994-LabrouF #approach #semantics
- A Semantics Approach for KQML — A General Purpose Communication Language for Software Agents (YL, TWF), pp. 447–455.
 SEKE-1994-Holm #modelling #using SEKE-1994-Holm #modelling #using
- The COMMODIOUS method — COMmunication MODelling as an aid to Illustrate the Organisational Use of Software (PH), pp. 10–19.
 TOOLS-EUROPE-1994-Silva TOOLS-EUROPE-1994-Silva
- Interobject Communication Mechanisms (ARFdS), pp. 383–393.
 AdaEurope-1994-Bondeli #ada #reuse AdaEurope-1994-Bondeli #ada #reuse
- A Fully Reusable Class of Objects for Synchronization and Communication in Ada 9X (PdB), pp. 355–386.
 POPL-1994-Bloom #higher-order #named #λ-calculus POPL-1994-Bloom #higher-order #named #λ-calculus
- CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms (BB), pp. 339–347.
 POPL-1994-NielsonN #concurrent #finite #higher-order #source code POPL-1994-NielsonN #concurrent #finite #higher-order #source code
- Higher-Order Concurrent Programs with Finite Communication Topology (HRN, FN), pp. 84–97.
 TRI-Ada-1994-Hines #design #object-oriented TRI-Ada-1994-Hines #design #object-oriented
- An Object-Oriented System Design for a Satellite Communication System (KMH), pp. 494–498.
 FSE-1994-CeceFI #fault FSE-1994-CeceFI #fault
- Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels (GC, AF, SPI), pp. 35–43.
 KBSE-1994-GirgensohnRS #design #developer KBSE-1994-GirgensohnRS #design #developer
- Agent-Based Support for Communication Between Developers and Users in Software Design (AG, DFR, FMSI), pp. 22–29.
 DAC-1994-JongL #concurrent #design #petri net DAC-1994-JongL #concurrent #design #petri net
- A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules (GGdJ, BL), pp. 49–55.
 DAC-1994-NarayanG #generative #protocol DAC-1994-NarayanG #generative #protocol
- Protocol Generation for Communication Channels (SN, DG), pp. 547–551.
 DAC-1994-VerlindKJLM #abstraction #performance #verification DAC-1994-VerlindKJLM #abstraction #performance #verification
- A Time Abstraction Method for Efficient Verification of Communicating Systems (EV, TK, GGdJ, BL, HDM), pp. 609–614.
 HPDC-1994-Benslimane #bound #finite #state machine HPDC-1994-Benslimane #bound #finite #state machine
- Deciding Boundedness for Systems of Two Communicating Finite State Machines (AB), pp. 262–269.
 HPDC-1994-TakamuraT #performance #protocol #scalability HPDC-1994-TakamuraT #performance #protocol #scalability
- Large-Scale Group Communication Protocol on High-Speed Channel (MT, MT), pp. 254–261.
 PDP-1994-BestaouiDT #fault tolerance PDP-1994-BestaouiDT #fault tolerance
- The SCEPTRE2 Communication Service In A Fault Tolerance Context (SB, AMD, YT), pp. 196–201.
 PDP-1994-BirdC #logic programming #modelling #network #using PDP-1994-BirdC #logic programming #modelling #network #using
- Modelling Logic Programming Using A Network Of Communicating Machines (PRB, AJC), pp. 156–161.
 PDP-1994-BucciMV #migration #petri net #process PDP-1994-BucciMV #migration #petri net #process
- Supporting Process Migration Through Communicating Petri Nets (GB, RM, EV), pp. 486–492.
 STOC-1994-MansourNV #parallel #throughput #trade-off STOC-1994-MansourNV #parallel #throughput #trade-off
- Trade-offs between communication throughput and parallel time (YM, NN, UV), pp. 372–381.
 DLT-1993-Pardubska #generative #on the #power of DLT-1993-Pardubska #generative #on the #power of
- On the Power of Communication Structure for Distributive Generation of Languages (DP), pp. 419–429.
 ICALP-1993-Ablayev #bound #complexity #probability ICALP-1993-Ablayev #bound #complexity #probability
- Lower Bounds for One-way Probabilistic Communication Complexity (FMA), pp. 241–252.
 HCI-ACS-1993-Harkins #people HCI-ACS-1993-Harkins #people
- Ergonomic Considerations for Communication Technologies for Deaf and Hard of Hearing People (JEH), pp. 504–509.
 HCI-ACS-1993-Hinman-Sweeney #network HCI-ACS-1993-Hinman-Sweeney #network
- Developing an Electronic International Network for Space Communication (EMHS), pp. 161–166.
 HCI-ACS-1993-Hjelmquist #people #using HCI-ACS-1993-Hjelmquist #people #using
- Communication Between People Using a Computer-Mediated Communication System (EH), pp. 955–960.
 HCI-ACS-1993-HuuhtanenVL #automation #implementation #library #named HCI-ACS-1993-HuuhtanenVL #automation #implementation #library #named
- Communication — A Key Factor in Implementation of Library Automation (PH, MV, IL), pp. 976–981.
 HCI-ACS-1993-Kirsch #evaluation #modelling HCI-ACS-1993-Kirsch #evaluation #modelling
- Evaluation of Communication Methods for User Participation in Data Modelling (CK), pp. 558–563.
 HCI-ACS-1993-MiwaFKO #interface HCI-ACS-1993-MiwaFKO #interface
- A Method of Communication Between CAD and VR Interfaces (MM, MF, MK, TO), pp. 255–260.
 HCI-ACS-1993-VaananenH #case study #guidelines #multi #testing #usability HCI-ACS-1993-VaananenH #case study #guidelines #multi #testing #usability
- Testing Acceptance and Usability of Multimedia in Man-Machine Communication: A Case Study and Guidelines (KV, DH), pp. 450–455.
 HCI-SHI-1993-KurokawaMW #bidirectional #people HCI-SHI-1993-KurokawaMW #bidirectional #people
- Bidirectional Translation between Sign Language and Japanese for Communication with Deaf-Mute People (TK, TM, SW), pp. 1109–1114.
 HCI-SHI-1993-MorishimaH #animation #human-computer #synthesis HCI-SHI-1993-MorishimaH #animation #human-computer #synthesis
- Facial Animation Synthesis for Human-Machine Communication System (SM, HH), pp. 1085–1090.
 HCI-SHI-1993-ShibuyaT #image #using HCI-SHI-1993-ShibuyaT #image #using
- Use of Bi-Directional Image Exchange in Facilitating Precontact Communication (YS, HT), pp. 943–948.
 HCI-SHI-1993-TakedaNN #development HCI-SHI-1993-TakedaNN #development
- Group Communication Support System for Software Development Project Based on Trouble Communication Model (ST, MN, SN), pp. 961–966.
 INTERCHI-1993-MonkNGMM #case study INTERCHI-1993-MonkNGMM #case study
- Mixing oil and water?: Ethnography versus experimental psychology in the study of computer-mediated communication (AFM, BAN, NG, MMM, JCM), pp. 3–6.
 CAiSE-1993-CroshereRB #animation #information management #simulation CAiSE-1993-CroshereRB #animation #information management #simulation
- An Animation Facility to Simulate an Information and Communication System (RC, RPvdR, AB), pp. 547–568.
 TOOLS-PACIFIC-1993-PloschW #distributed #hybrid #library TOOLS-PACIFIC-1993-PloschW #distributed #hybrid #library
- An Extensible Communication Class Library for Hybrid Distributed Systems (RP, RW), pp. 431–437.
 TOOLS-USA-1993-Polze #approach #c++ TOOLS-USA-1993-Polze #approach #c++
- The Object Space Approach: Decoupled Communication in C++ (AP), pp. 195–204.
 PLDI-1993-AmarasingheL #code generation #distributed #memory management #optimisation PLDI-1993-AmarasingheL #code generation #distributed #memory management #optimisation
- Communication Optimization and Code Generation for Distributed Memory Machines (SPA, MSL), pp. 126–138.
 POPL-1993-BerryRS #process POPL-1993-BerryRS #process
- Communicating Reactive Processes (GB, SR, RKS), pp. 85–98.
 POPL-1993-OhoriK #polymorphism #semantics POPL-1993-OhoriK #polymorphism #semantics
- Semantics for Communication Primitives in an Polymorphic Language (AO, KK), pp. 99–112.
 ICSE-1993-DalalHK #quality #reliability #safety ICSE-1993-DalalHK #quality #reliability #safety
- Reliable Software and Communication: Software Quality, Reliability, and Safety (SRD, JRH, JRK), pp. 425–435.
 SAC-1993-Jimenez-CedenoV #approach #network #predict #realtime SAC-1993-Jimenez-CedenoV #approach #network #predict #realtime
- Centralized Packet Radio Network: A Communication Approach Suited for Data Collection in a Real-Time Flash Flood Prediction System (MJC, RVE), pp. 709–713.
 SAC-1993-Millen SAC-1993-Millen
- OSI Group Communication Support for a Date Planning Application (WFM), pp. 714–720.
 HPDC-1993-MullinTDS #formal method #protocol #scheduling HPDC-1993-MullinTDS #formal method #protocol #scheduling
- Formal Method for Scheduling, Routing and Communication Protocol (LMRM, ST, DRD, EAS), pp. 234–242.
 PDP-1993-Carpenter PDP-1993-Carpenter
- Tolerating communication failures (GFC), pp. 394–400.
 PDP-1993-NieplochaC #algorithm #distributed PDP-1993-NieplochaC #algorithm #distributed
- Communication structures for asynchronous algorithms on distributed MIMD computers (JN, CCC), pp. 291–298.
 PDP-1993-PramanikDBF #adaptation #fault tolerance PDP-1993-PramanikDBF #adaptation #fault tolerance
- A communication structure for supporting fault-tolerant and adaptive wormhole routing in a binary n-cube (PP, PKD, AKB, DQMF), pp. 418–425.
 PDP-1993-PrasadW #analysis #finite PDP-1993-PrasadW #analysis #finite
- Communication vs. computation-experiences within a finite element analysis application on transputers (JCP, RW), pp. 3–10.
 PPoPP-1993-ChatterjeeGLST #generative #set #source code PPoPP-1993-ChatterjeeGLST #generative #set #source code
- Generating Local Address and Communication Sets for Data-Parallel Programs (SC, JRG, FJEL, RS, SHT), pp. 149–158.
 SOSP-1993-CheritonS #comprehension #order SOSP-1993-CheritonS #comprehension #order
- Understanding the Limitations of Causally and Totally Ordered Communication (DRC, DS), pp. 44–57.
 STOC-1993-Schulman #interactive STOC-1993-Schulman #interactive
- Deterministic coding for interactive communication (LJS), pp. 747–756.
 TAPSOFT-1993-AndreoliLPT #concurrent #linear #logic programming #programming language #semantics TAPSOFT-1993-AndreoliLPT #concurrent #linear #logic programming #programming language #semantics
- True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication (JMA, LLT, RP, BT), pp. 182–198.
 TAPSOFT-1993-DriraASC #testing TAPSOFT-1993-DriraASC #testing
- Testability of a Communicating System Through an Environment (KD, PA, BS, AMC), pp. 529–543.
 ICLP-1993-Futo #process #prolog ICLP-1993-Futo #process #prolog
- Prolog with Communicating Processes: From T-Prolog to CSR-Prolog (IF), pp. 3–17.
 IWPTS-1993-GhrigaF #adaptation #nondeterminism #protocol #testing IWPTS-1993-GhrigaF #adaptation #nondeterminism #protocol #testing
- Adaptive Testing of Non-Deterministic Communication Protocols (MG, PGF), pp. 347–362.
 IWPTS-1993-VermeerB #testing IWPTS-1993-VermeerB #testing
- Interoperability Testing: Basis for the Acceptance of Communication Systems (GV, HB), pp. 315–330.
 IWPTS-1993-VuongLC #design #framework #protocol #testing IWPTS-1993-VuongLC #design #framework #protocol #testing
- A Framework for the Design for Testability of Communication Protocols (STV, AAFL, STC), pp. 89–108.
 VLDB-1992-LiuM #approach #behaviour #database #declarative #object-oriented #process VLDB-1992-LiuM #approach #behaviour #database #declarative #object-oriented #process
- Activity Model: A Declarative Approach for Capturing Communication Behavior in Object-Oriented Databases (LL, RM), pp. 481–493.
 ICALP-1992-Olderog #interface ICALP-1992-Olderog #interface
- Interfaces between Languages for Communicating Systems (ERO), pp. 641–655.
 ICALP-1992-Vogler #petri net #refinement ICALP-1992-Vogler #petri net #refinement
- Asynchronous Communication of Petri Nets and the Refinement of Transitions (WV), pp. 605–616.
 CHI-1992-EnsorACPS #multi CHI-1992-EnsorACPS #multi
- The Rapport Multimedia Communication System (demonstration) (JRE, SRA, RBC, MP, DDS), pp. 581–582.
 CHI-1992-FishKRR #video CHI-1992-FishKRR #video
- Evaluating Video as a Technology for Informal Communication (RSF, REK, RWR, RER), pp. 37–48.
 CHI-1992-RopaA #case study #collaboration #design #interface #multi CHI-1992-RopaA #case study #collaboration #design #interface #multi
- A Case Study of a Multimedia Co-working Task and the Resulting Interface Design of a Collaborative Communication Tool (AR, BA), pp. 649–650.
 CSCW-1992-BrothersHNSAFL CSCW-1992-BrothersHNSAFL
- Supporting Informal Communication via Ephemeral Interest Groups (LB, JDH, JN, SS, SPA, GWF, MLL), pp. 84–90.
 CSCW-1992-CoolFKL #design #video CSCW-1992-CoolFKL #design #video
- Iterative Design of Video Communication Systems (CC, RSF, REK, CML), pp. 25–32.
 CSCW-1992-GalegherK #adaptation #collaboration #constraints CSCW-1992-GalegherK #adaptation #collaboration #constraints
- Computer-Mediated Communication and Collaborative Writing: Media Influence and Adaptation to Communication Constraints (JG, REK), pp. 155–162.
 CSCW-1992-PickeringK CSCW-1992-PickeringK
- Hardwiring Weak Ties: Individual and Institutional Issues in Computer Mediated Communication (JMP, JLK), pp. 356–361.
 CSCW-1992-ReevesS #design #evolution CSCW-1992-ReevesS #design #evolution
- Supporting Communication Between Designers with Artifact-Centered Evolving Information Spaces (BR, FMSI), pp. 394–401.
 CSCW-1992-WolfRB #information retrieval CSCW-1992-WolfRB #information retrieval
- Communication and Information Retrieval with a Pen-Based Meeting Support Tool (CGW, JRR, LKB), pp. 322–329.
 KR-1992-Grove #semantics KR-1992-Grove #semantics
- Semantics for Knowledge and Communication (AJG), pp. 213–224.
 KR-1992-Maida #information management #representation #requirements KR-1992-Maida #information management #representation #requirements
- Knowledge Representation Requirements for Description-Based Communication (ASM), pp. 232–243.
 OOPSLA-1992-Ishikawa OOPSLA-1992-Ishikawa
- Communication Mechanism on Autonomous Objects (YI), pp. 303–314.
 TRI-Ada-C-1992-KermarrecP #ada #component #distributed #realtime TRI-Ada-C-1992-KermarrecP #ada #component #distributed #realtime
- Ada Communication Components for Distributed and Real Time Applications (YK, LP), pp. 530–537.
 TRI-Ada-C-1992-MayrhauserH #ada #algorithm #concurrent #graph #testing TRI-Ada-C-1992-MayrhauserH #ada #algorithm #concurrent #graph #testing
- An Ada Deadlock Testing Algorithm Based on Control and Communication Flow Graphs (AvM, SMSH), pp. 450–457.
 TRI-Ada-C-1992-Westley #distributed #evaluation #performance #realtime TRI-Ada-C-1992-Westley #distributed #evaluation #performance #realtime
- Evaluation and Improvement of Performance of the Communication Subsystem of a Real-Time, Distributed, C2 Simulator (TJW), pp. 553–562.
 SOSP-WIP-1991-Finlayson92 #kernel SOSP-WIP-1991-Finlayson92 #kernel
- Structuring and Communication in the Vanguard OS Kernel (RSF), p. 30.
 STOC-1992-BeameL #complexity #nondeterminism #random STOC-1992-BeameL #complexity #nondeterminism #random
- Randomized versus Nondeterministic Communication Complexity (PB, JL), pp. 188–199.
 STOC-1992-FranklinY #complexity STOC-1992-FranklinY #complexity
- Communication Complexity of Secure Computation (MKF, MY), pp. 699–710.
 STOC-1992-Lin #fault tolerance #network STOC-1992-Lin #fault tolerance #network
- Fault Tolerant Planar Communication Networks (GL), pp. 133–139.
 CAV-1992-HiguchiSSFK #finite #invariant #state machine #verification CAV-1992-HiguchiSSFK #finite #invariant #state machine #verification
- A Verification Procedure via Invariant for Extended Communicating Finite-State Machines (MH, OS, HS, MF, TK), pp. 384–395.
 CSL-1992-GlavanR #algebra #evolution CSL-1992-GlavanR #algebra #evolution
- Communicating Evolving Algebras (PG, DR), pp. 182–215.
 JICSLP-1992-JacquetM #logic programming #towards JICSLP-1992-JacquetM #logic programming #towards
- Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming (JMJ, LM), pp. 98–112.
 LICS-1992-BoerKP #algebra #process LICS-1992-BoerKP #algebra #process
- Asynchronous Communication in Process Algebra (FSdB, JWK, CP), pp. 137–147.
 VDME-1991-RossigS #development #specification VDME-1991-RossigS #development #specification
- Specification and Stepwise Development of Communicating Systems (SR, MS), pp. 149–163.
 CHI-1991-HeathL #multi #video CHI-1991-HeathL #multi #video
- Disembodied conduct: communication through video in a multi-media office environment (CH, PL), pp. 99–103.
 CHI-1991-McCarthyMM #case study CHI-1991-McCarthyMM #case study
- An experimental study of common ground in text-based communication (JCM, VCM, AFM), pp. 209–215.
 CAiSE-1991-Olaisen #information management CAiSE-1991-Olaisen #information management
- Information as a Strategic Resource: A Question of Communication (JO), pp. 141–167.
 ECOOP-1991-HondaT #calculus ECOOP-1991-HondaT #calculus
- An Object Calculus for Asynchronous Communication (KH, MT), pp. 133–147.
 OOPSLA-1991-AndreoliP #information management OOPSLA-1991-AndreoliP #information management
- Communication as Fair Distribution of Knowledge (JMA, RP), pp. 212–229.
 POPL-1991-KleinmanMPS #logic POPL-1991-KleinmanMPS #logic
- Communication with Directed Logic Variables (AK, YM, AP, EYS), pp. 221–232.
 PPoPP-1991-BaconS #csp #parallel #process PPoPP-1991-BaconS #csp #parallel #process
- Optimistic Parallelization of Communicating Sequential Processes (DFB, RES), pp. 155–166.
 SOSP-1991-DravesBRD #concurrent #continuation #operating system #thread #using SOSP-1991-DravesBRD #concurrent #continuation #operating system #thread #using
- Using Continuations to Implement Thread Management and Communication in Operating Systems (RD, BNB, RFR, RWD), pp. 122–136.
 CCPSD-1991-BrinksmaJO #interface CCPSD-1991-BrinksmaJO #interface
- Refining Interfaces of Communicating Systems (EB, BJ, FO), pp. 297–312.
 STOC-1991-NisanW #complexity #revisited STOC-1991-NisanW #complexity #revisited
- Rounds in Communication Complexity Revisited (NN, AW), pp. 419–429.
 CAV-1991-Rasse #fault #finite CAV-1991-Rasse #fault #finite
- Error Diagnosis in Finite Communicating Systems (AR), pp. 114–124.
 IWPTS-1991-SatoTKM #generative #parametricity #specification #testing #tool support IWPTS-1991-SatoTKM #generative #parametricity #specification #testing #tool support
- Parameter Specification Language and Test Data Generation Tools for Communication Software Testing (FS, HT, KK, TM), pp. 207–218.
 IWPTS-1991-VuongA #metric #on the #protocol #test coverage IWPTS-1991-VuongA #metric #on the #protocol #test coverage
- On Test Coverage Metrics for Communication Protocols (STV, JAC), pp. 31–45.
 ICALP-1990-HennessyI #formal method #process ICALP-1990-HennessyI #formal method #process
- A Theory of Communicating Processes with Value-Passing (MH, AI), pp. 209–219.
 ICALP-1990-RabinovichT ICALP-1990-RabinovichT
- Communication among Relations (AMR, BAT), pp. 294–307.
 CSCW-1990-FishKC CSCW-1990-FishKC
- The VideoWindow System in Informal Communication (RSF, REK, BLC), pp. 1–11.
 CSCW-1990-GalegherK #empirical CSCW-1990-GalegherK #empirical
- Computer-Mediated Communication for Intellectual Teamwork: A Field Experiment in Group Writing (JG, REK), pp. 65–78.
 CAiSE-1990-Dietz #approach #concept #information management #modelling CAiSE-1990-Dietz #approach #concept #information management #modelling
- A Communication Oriented Approach to Conceptual Modelling of Information Systems (JLGD), pp. 134–151.
 OOPSLA-ECOOP-1990-NierstraszP OOPSLA-ECOOP-1990-NierstraszP
- Viewing Objects as Patterns of Communicating Agents (ON, MP), pp. 38–43.
 STOC-1990-Szegedy #bound #complexity #symmetry STOC-1990-Szegedy #bound #complexity #symmetry
- Functions with Bounded Symmetric Communication Complexity and Circuits with mod m Gates (MS), pp. 278–286.
 CAV-1990-LloretAV #composition #design #petri net #protocol #using #verification CAV-1990-LloretAV #composition #design #petri net #protocol #using #verification
- Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets (JCL, PA, FV), pp. 96–105.
 CAV-1990-PengP #approach #concurrent #detection #finite #network #problem #state machine CAV-1990-PengP #approach #concurrent #detection #finite #network #problem #state machine
- A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines (WP, SP), pp. 243–252.
 VLDB-1989-LorieY #algorithm #database #parallel #sorting VLDB-1989-LorieY #algorithm #database #parallel #sorting
- A Low Communication Sort Algorithm for a Parallel Database Machine (RAL, HCY), pp. 125–134.
 CHI-1989-GrudinP #coordination #design #scalability #user interface CHI-1989-GrudinP #coordination #design #scalability #user interface
- User interface design in large corporations: coordination and communication across disciplines (JG, SEP), pp. 197–203.
 CHI-1989-Sheffield #comparison CHI-1989-Sheffield #comparison
- The effects of bargaining orientation and communication medium on negotiations in the bilateral monopoly task: a comparison of decision room and computer conferencing communication media (JS), pp. 43–48.
 POPL-1989-Thomsen #calculus #higher-order POPL-1989-Thomsen #calculus #higher-order
- A Calculus of Higher Order Communicating Systems (BT), pp. 143–154.
 ASPLOS-1989-BurkowskiCD #architecture ASPLOS-1989-BurkowskiCD #architecture
- Architectural Support for Synchronous Task Communication (FJB, GVC, GDPD), pp. 40–53.
 DAC-1989-HwangOI #complexity #logic #multi #synthesis #using DAC-1989-HwangOI #complexity #logic #multi #synthesis #using
- Multi-Level Logic Synthesis Using Communication Complexity (TH, RMO, MJI), pp. 215–220.
 CAAP-1989-Boudol #concurrent #towards #λ-calculus CAAP-1989-Boudol #concurrent #towards #λ-calculus
- Towards a Lambda-Calculus for Concurrent and Communicating Systems (GB), pp. 149–161.
 STOC-1989-AlonBLP #complexity #on the STOC-1989-AlonBLP #complexity #on the
- On the Complexity of Radio Communication (NA, ABN, NL, DP), pp. 274–285.
 STOC-1989-LamTT #trade-off STOC-1989-LamTT #trade-off
- Tradeoffs Between Communication and Space (TWL, PT, MT), pp. 217–226.
 ICALP-1988-AggarwalC #complexity ICALP-1988-AggarwalC #complexity
- Communication Complexity of PRAMs (AA, AKC), pp. 1–17.
 CSCW-1988-BowersC CSCW-1988-BowersC
- Local and Global Structuring of Computer Mediated Communication: Developing Linguistic Perspectives on CSCW in Cosmos (JB, JC), pp. 125–139.
 CSCW-1988-KrautEG #collaboration #research CSCW-1988-KrautEG #collaboration #research
- Patterns of Contact and Communication in Scientific Research Collaboration (REK, CE, JG), pp. 1–12.
 CSCW-1988-Mackay #email #using CSCW-1988-Mackay #email #using
- More than just a Communication System: Diversity in the Use of Electronic Mail (WEM), pp. 344–353.
 CSCW-1988-RederS #multi CSCW-1988-RederS #multi
- The Communicative Economy of the Workgroup: Multi-Channel Genres of Communication (SR, RGS), pp. 354–368.
 CSCW-1988-Trigg #hypermedia #tool support CSCW-1988-Trigg #hypermedia #tool support
- Guided Tours and Tabletops: Tools for Communicating in a Hypertext Environment (RHT), pp. 216–226.
 OOPSLA-1988-MatsuokaK #distributed #object-oriented #tuple #using OOPSLA-1988-MatsuokaK #distributed #object-oriented #tuple #using
- Using Tuple Space Communication in Distributed Object-Oriented Languages (SM, SK), pp. 276–284.
 STOC-1988-HajnalMT #complexity #graph #on the STOC-1988-HajnalMT #complexity #graph #on the
- On the Communication Complexity of Graph Properties (AH, WM, GT), pp. 186–191.
 STOC-1988-HalstenbergR #on the STOC-1988-HalstenbergR #on the
- On Different Modes of Communication (BH, RR), pp. 162–172.
 PODS-1987-SegallW #transaction PODS-1987-SegallW #transaction
- Transaction Commitment at Minimal Communication Cost (AS, OW), pp. 112–118.
 ICALP-1987-GerthB #process ICALP-1987-GerthB #process
- A Timed Failures Model for Extended Communicating Processes (RG, AB), pp. 95–114.
 ECOOP-1987-MelloN #prolog ECOOP-1987-MelloN #prolog
- Objects as Communicating Prolog Units (PM, AN), pp. 181–191.
 ICSE-1987-Rathke #human-computer #re-engineering ICSE-1987-Rathke #human-computer #re-engineering
- Human-Computer Communication Meets Software Engineering (CR), pp. 216–224.
 SOSP-1987-YoungTRGECBBB #implementation #memory management #multi #operating system SOSP-1987-YoungTRGECBBB #implementation #memory management #multi #operating system
- The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System (MY, AT, RFR, DBG, JLE, JC, WJB, DLB, RVB), pp. 63–76.
 CAAP-1987-DarondeauG #behaviour #infinity CAAP-1987-DarondeauG #behaviour #infinity
- A Fullt Observational Model for Infinite Behaviours of Communicating Systems (PD, BG), pp. 153–168.
 STOC-1987-Furer #complexity #power of STOC-1987-Furer #complexity #power of
- The Power of Randomness for Communication Complexity (MF), pp. 178–181.
 LICS-1987-FaginH LICS-1987-FaginH
- I’m OK if You’re OK: On the Notion of Trusting Communication (RF, JYH), pp. 280–292.
 VLDB-1986-Kurokawa #development VLDB-1986-Kurokawa #development
- Computer and Communication System Development among Financial Institutions in Japan (TK), pp. 481–495.
 ICALP-1986-Lai #detection #distributed #termination ICALP-1986-Lai #detection #distributed #termination
- A Termination Detector for Static and Dynamic Distributed Systems with Asynchronous Non-first-in-first-out Communication (THL), pp. 196–205.
 ICALP-1986-ReedR #csp #process ICALP-1986-ReedR #csp #process
- A Timed Model for Communicating Sequential Processes (GMR, AWR), pp. 314–323.
 CSCW-1986-DanielsenPPPPSS CSCW-1986-DanielsenPPPPSS
- The AMIGO Project: advanced group communication model for computer-based communications environment (TD, UPB, WP, AP, PAP, KS, RS), pp. 115–142.
 CSCW-1986-EvelandB #assessment #empirical #evolution #network CSCW-1986-EvelandB #assessment #empirical #evolution #network
- Evolving electronic communication networks: an empirical assessment (JDE, TKB), pp. 91–101.
 CSCW-1986-Feldman #constraints #email CSCW-1986-Feldman #constraints #email
- Constraints on communication and electronic mail (MSF), pp. 73–90.
 CSCW-1986-JarrellB CSCW-1986-JarrellB
- Network-based systems for asynchronous group communication (NFJ, WB), pp. 184–191.
 POPL-1986-LiskovHG #distributed #process POPL-1986-LiskovHG #distributed #process
- Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing (BL, MH, LG), pp. 150–159.
 ESOP-1986-MelloN #prolog #source code ESOP-1986-MelloN #prolog #source code
- Programs as Collections of Communicating Prolog Units (PM, AN), pp. 274–288.
 ICALP-1985-Hennessy #algebra #process ICALP-1985-Hennessy #algebra #process
- An Algebraic Theory of Fair Asynchronous Communicating Processes (MH), pp. 260–269.
 ICSE-1985-Vefsnmo #quality #quote #re-engineering ICSE-1985-Vefsnmo #quality #quote #re-engineering
- “DASOM” — A Software Engineering Tool for Communication Applications Increasing Productivity and Software Quality (EAMV), pp. 26–35.
 SOSP-1985-FitzgeraldR #integration #memory management SOSP-1985-FitzgeraldR #integration #memory management
- The Integration of Virtual Memory Management and Interprocess Communication in Accent (RPF, RFR), pp. 13–14.
 CSE-1985-JosephM #algebra #specification CSE-1985-JosephM #algebra #specification
- Algebraic Specification Of A Communication Scheduler (MJ, AM), pp. 356–370.
 STOC-1985-Vazirani #complexity #generative #sequence #towards STOC-1985-Vazirani #complexity #generative #sequence #towards
- Towards a Strong Communication Complexity Theory or Generating Quasi-Random Sequences from Two Communicating Slightly-random Sources (UVV), pp. 366–378.
 ICALP-1984-GoudaR #finite #state machine ICALP-1984-GoudaR #finite #state machine
- Communicating Finite State Machines with Priority Channels (MGG, LER), pp. 209–221.
 ICALP-1984-Hromkovic #complexity ICALP-1984-Hromkovic #complexity
- Communication Complexity (JH), pp. 235–246.
 SCC-1984-BaiardiRV #static analysis SCC-1984-BaiardiRV #static analysis
- Static checking of interprocess communication in ECSP (FB, LR, MV), pp. 290–299.
 ICSE-1984-Ciuffoletti #fault #process ICSE-1984-Ciuffoletti #fault #process
- Error Recovery in Systems of Communicating Processes (AC), pp. 6–17.
 ICSE-1984-DuncanHBCFKMMS #ada #design #using ICSE-1984-DuncanHBCFKMMS #ada #design #using
- Communication System Design Using Ada (AGD, JSH, JWB, TMC, AF, EK, TM, DM, SBS), pp. 398–407.
 ICSE-1984-FischerS #knowledge-based #process #re-engineering ICSE-1984-FischerS #knowledge-based #process #re-engineering
- Knowledge-Based Communication Processes in Software Engineering (GF, MS), pp. 358–368.
 STOC-1984-DurisGS #bound #complexity STOC-1984-DurisGS #bound #complexity
- Lower Bounds on Communication Complexity (PD, ZG, GS), pp. 81–91.
 STOC-1984-FredericksonL #problem STOC-1984-FredericksonL #problem
- The Impact of Synchronous Communication on the Problem of Electing a Leader in a Ring (GNF, NAL), pp. 493–503.
 STOC-1984-OrlitskyE #constraints STOC-1984-OrlitskyE #constraints
- Communication with Secrecy Constraints (AO, AEG), pp. 217–224.
 ICALP-1983-OlderogH #process #semantics ICALP-1983-OlderogH #process #semantics
- Specification-Oriented Semantics for Communicating Processes (ERO, CARH), pp. 561–572.
 SOSP-1983-Black #symmetry SOSP-1983-Black #symmetry
- An Asymmetric Stream Communication System (APB), pp. 4–10.
 SOSP-1983-LindsayHMWY #database #distributed SOSP-1983-LindsayHMWY #database #distributed
- Computation & Communication in R*: A Distributed Database Manager (BGL, LMH, CM, PFW, RAY), pp. 1–2.
 SOSP-1983-PowellP #named #reliability SOSP-1983-PowellP #named #reliability
- PUBLISHING: A Reliable Broadcast Communication Mechanism (MLP, DLP), pp. 100–109.
 STOC-1983-Iwama #multi #string STOC-1983-Iwama #multi #string
- Unique Decomposability of Shuffled Strings: A Formal Treatment of Asynchronous Time-Multiplexed Communication (KI), pp. 374–381.
 POPL-1982-Francez #process POPL-1982-Francez #process
- Extended Naming Conventions for Communicating Processes (NF), pp. 40–45.
 POPL-1982-ReifS #bound #distributed #variability POPL-1982-ReifS #bound #distributed #variability
- Unbounded Speed Variability in Distributed Communication Systems (JHR, PGS), pp. 46–56.
 POPL-1982-Wolper #logic #process #specification #synthesis #using POPL-1982-Wolper #logic #process #specification #synthesis #using
- Specification and Synthesis of Communicating Processes using an Extended Temporal Logic (PW), pp. 20–33.
 ICSE-1982-ChibaKK #protocol ICSE-1982-ChibaKK #protocol
- A Model for Description of Communication Protocol (KC, KK, AK), pp. 424–428.
 ICSE-1982-MiyazawaOK #protocol ICSE-1982-MiyazawaOK #protocol
- The Portable Communication Protocol Program COMPAS for Data Terminal Systems (KM, MO, SK), pp. 420–421.
 ICSE-1982-ShiratoriGN #design #protocol ICSE-1982-ShiratoriGN #design #protocol
- A New Design Language for Communication Protocols and a Systematic Design Method of Communication Systems (NS, JG, SN), pp. 403–413.
 ASPLOS-1982-AhujaA #architecture #hardware #multi #scheduling ASPLOS-1982-AhujaA #architecture #hardware #multi #scheduling
- A Multi-Microprocessor Architecture with Hardware Support for Communication and Scheduling (SA, AA), pp. 205–209.
 STOC-1982-Greenberg #complexity #on the STOC-1982-Greenberg #complexity #on the
- On the Time Complexity of Broadcast Communication Schemes (AGG), pp. 354–364.
 STOC-1982-PapadimitriouS #complexity STOC-1982-PapadimitriouS #complexity
- Communication Complexity (CHP, MS), pp. 196–200.
 PS-1981-NielsenS #network PS-1981-NielsenS #network
- Communication Network (LSN, IHS), pp. 118–136.
 ICSE-1981-SandewallSS #architecture ICSE-1981-SandewallSS #architecture
- Software Architecture Based on Communicating Residential Environments (ES, CS, HS), pp. 144–152.
 SOSP-1981-CoxCLP #implementation #multi SOSP-1981-CoxCLP #implementation #multi
- A Unified Model and Implementation for Interprocess Communication in a Multiprocessor Environment (GWC, WMC, KKL, FJP), pp. 125–126.
 SOSP-1981-RashidR #kernel #named #network #operating system SOSP-1981-RashidR #kernel #named #network #operating system
- Accent: A Communication Oriented Network Operating System Kernel (RFR, GGR), pp. 64–75.
 STOC-1981-ReifS #algorithm #distributed #realtime STOC-1981-ReifS #algorithm #distributed #realtime
- Distributed Algorithms for Synchronizing Interprocess Communication within Real Time (JHR, PGS), pp. 133–145.
 STOC-1981-ValiantB #parallel STOC-1981-ValiantB #parallel
- Universal Schemes for Parallel Communication (LGV, GJB), pp. 263–277.
 ICALP-1980-CousotC #analysis #csp #process #semantics ICALP-1980-CousotC #analysis #csp #process #semantics
- Semantic Analysis of Communicating Sequential Processes (Shortened Version) (PC, RC), pp. 119–133.
 LISP-1980-SandewallSS LISP-1980-SandewallSS
- A System of Communicating Residential Environments (ES, HS, CS), pp. 82–89.
 POPL-1979-Reif #analysis #data flow #process POPL-1979-Reif #analysis #data flow #process
- Data Flow Analysis of Communicating Processes (JHR), pp. 257–268.
 SOSP-1979-AimesL #behaviour #network SOSP-1979-AimesL #behaviour #network
- The Behavior of Ethernet-Like Computer Communication Networks (GTA, EDL), pp. 66–81.
 STOC-1979-Ladner #complexity #csp #problem #process STOC-1979-Ladner #complexity #csp #problem #process
- The Complexity of Problems in Systems of Communicating Sequential Processes (REL), pp. 214–223.
 ICSE-1978-AzemaAB #approach #bottom-up #design #verification ICSE-1978-AzemaAB #approach #bottom-up #design #verification
- Design and Verification of Communication Procedures: A Bottom-Up Approach (PA, JMA, BB), pp. 168–174.
 SOSP-1977-BaskettHM SOSP-1977-BaskettHM
- Task Communication in DEMOS (FB, JHH, JTM), pp. 23–31.
 VLDB-1976-NahouraiiBC #approach #database VLDB-1976-NahouraiiBC #approach #database
- An Approach to Data Communication between Different Generalized Data Base Management Systems (EN, LOB, AFC), pp. 117–142.
 STOC-1976-Kimura #algebra #process STOC-1976-Kimura #algebra #process
- An Algebraic System for Process Structuring and Interprocess Communication (TK), pp. 92–100.
 SOSP-1973-Sorenson #realtime SOSP-1973-Sorenson #realtime
- Interprocess Communication in Real-Time Systems (PGS), pp. 1–7.
 SOSP-J-1973-Habermann72 #process SOSP-J-1973-Habermann72 #process
- Synchronization of Communicating Processes (ANH), pp. 171–176.
 SOSP-1971-Habermann #process SOSP-1971-Habermann #process
- Synchronization of Communicating Processes (ANH), pp. 80–85.
 SOSP-1969-BernsteinDK #process SOSP-1969-BernsteinDK #process
- Process control and communication (AJB, GDD, RHK), pp. 60–66.
 SOSP-1969-SpierO #multi SOSP-1969-SpierO #multi
- The multics interprocess communication facility (MJS, EIO), pp. 83–91.
 SHARE-1964-Sutherland #sketching #visual notation SHARE-1964-Sutherland #sketching #visual notation
- Sketch pad a man-machine graphical communication system (IES).