Stem messag$ (all stems)

362 papers:

DATE-2015-LaerEMWJ #multi #predict

Coherence based message prediction for optically interconnected chip multiprocessors (AVL, CE, MRM, PMW, TMJ), pp. 613–616.

FASE-2015-AndriescuMI #automaton #data type #using

Composing Message Translators and Inferring Their Data Types Using Tree Automata (EA, TM, VI), pp. 35–50.

MSR-2015-MauczkaBSG #commit #dataset #developer

Dataset of Developer-Labeled Commit Messages (AM, FB, CS, TG), pp. 490–493.

CHI-2015-BreretonSVR #distance #prototype

The Messaging Kettle: Prototyping Connection over a Distance between Adult Children and Older Parents (MB, AS, KV, PR), pp. 713–716.

CHI-2015-Gilbert #abstraction

Open Book: A Socially-inspired Cloaking Technique that Uses Lexical Abstraction to Transform Messages (EG), pp. 477–486.

ICML-2015-ManoelKTZ #approximate #estimation #message passing

Swept Approximate Message Passing for Sparse Estimation (AM, FK, EWT, LZ), pp. 1123–1132.

ICML-2015-SunSK #message passing #modelling #visual notation

Message Passing for Collective Graphical Models (TS, DS, AK), pp. 853–861.

KDD-2015-FujiwaraNSIT #adaptation #performance

Adaptive Message Update for Fast Affinity Propagation (YF, MN, HS, YI, MT), pp. 309–318.

MLDM-2015-PatchalaBG #email #using

Author Attribution of Email Messages Using Parse-Tree Features (JP, RB, SG), pp. 313–327.

OOPSLA-2015-LopezMMNSVY #message passing #parallel #source code #verification

Protocol-based verification of message-passing parallel programs (HAL, ERBM, FM, NN, CS, VTV, NY), pp. 280–298.

OOPSLA-2015-UpadhyayaR #abstraction #concurrent #effectiveness #java #message passing #thread #virtual machine

Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine (GU, HR), pp. 840–859.

SAC-2015-CremonaMN #composition #named #representation #simulation

TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink (FC, MM, MDN), pp. 1940–1947.

SAC-2015-MatlCD #effectiveness #network

Effective manycast messaging for Kademlia network (LM, TC, MJD), pp. 646–652.

ICSE-v2-2015-VasquezCAP #automation #commit #generative #named

ChangeScribe: A Tool for Automatically Generating Commit Messages (MLV, LFCC, JA, DP), pp. 709–712.

HPDC-2015-BestaH #hardware #memory management #transaction

Accelerating Irregular Computations with Hardware Transactional Memory and Active Messages (MB, TH), pp. 161–172.

PPoPP-2015-TallentVDDKH

Diagnosing the causes and severity of one-sided message contention (NRT, AV, HvD, JD, DJK, AH), pp. 130–139.

SOSP-2015-HooffLZZ #analysis #named #scalability

Vuvuzela: scalable private messaging resistant to traffic analysis (JvdH, DL, MZ, NZ), pp. 137–152.

ISSTA-2015-ZhangE #detection #fault

Proactive detection of inadequate diagnostic messages for software configuration errors (SZ, MDE), pp. 12–23.

SIGMOD-2014-GurajadaSMT #distributed #message passing #named #rdf

TriAD: a distributed shared-nothing RDF engine based on asynchronous message passing (SG, SS, IM, MT), pp. 289–300.

VLDB-2015-ZhouGSY14 #distributed #graph #named #online #scalability #using

MOCgraph: Scalable Distributed Graph Processing Using Message Online Computing (CZ, JG, BS, JXY), pp. 377–388.

ITiCSE-2014-DennyLC #error message #fault #syntax

Enhancing syntax error messages appears ineffectual (PD, ALR, DC), pp. 273–278.

SCAM-2014-Cortes-CoyVAP #automation #commit #generative #on the #source code #summary

On Automatically Generating Commit Messages via Summarization of Source Code Changes (LFCC, MLV, JA, DP), pp. 275–284.

CHI-2014-BurgbacherH #gesture #type system #verification

An implicit author verification system for text messages based on gesture typing biometrics (UB, KHH), pp. 2951–2954.

CHI-2014-PielotOKO #mobile #predict

Didn’t you see my message?: predicting attentiveness to mobile instant messages (MP, RdO, HK, NO), pp. 3319–3328.

CHI-2014-WeiMZ #social #using

Food messaging: using edible medium for social messaging (JW, XM, SZ), pp. 2873–2882.

HCI-AS-2014-ParkKL #case study #smarttech

A Study of Emoticon Use in Instant Messaging from Smartphone (TWP, SJK, GL), pp. 155–165.

VISSOFT-2014-BarikLCM #approach #compilation #developer #how #visualisation

How Developers Visualize Compiler Messages: A Foundational Approach to Notification Construction (TB, KL, SC, ERMH), pp. 87–96.

ICML-c2-2014-PachecoZBS

Preserving Modes and Messages via Diverse Particle Selection (JP, SZ, MJB, EBS), pp. 1152–1160.

SIGIR-2014-BianYC #microblog #network #predict

Predicting trending messages and diffusion participants in microblogging network (JB, YY, TSC), pp. 537–546.

PPDP-J-2012-JaksicP14 #exception

Exception handling for copyless messaging (SJ, LP), pp. 22–51.

SAC-2014-ZeilemakerSP #network #scalability

Large-scale message synchronization in challenged networks (NZ, BS, JAP), pp. 481–488.

ASPLOS-2014-BanabicCG #distributed

Finding trojan message vulnerabilities in distributed systems (RB, GC, RG), pp. 113–126.

PPoPP-2014-PetrovicRS #concurrent #hardware #message passing #performance #thread

Leveraging hardware message passing for efficient thread synchronization (DP, TR, AS), pp. 143–154.

VMCAI-2014-JezequelE #algorithm #distributed #message passing #protocol #verification

Message-Passing Algorithms for the Verification of Distributed Protocols (LJ, JE), pp. 222–241.

ASE-2013-Fard #behaviour #detection #distributed #independence #using

Detecting and fixing emergent behaviors in Distributed Software Systems using a message content independent method (FHF), pp. 746–749.

SAS-2013-MajumdarMW #message passing #source code #verification

Static Provenance Verification for Message Passing Programs (RM, RM, ZW), pp. 366–387.

STOC-2013-LenzenP #performance #using

Fast routing table construction using small messages: extended abstract (CL, BPS), pp. 381–390.

CHI-2013-JungBLK #design

Make it move: a movement design method of simple standing products based on systematic mapping of torso movements & product messages (JJ, SHB, JHL, MSK), pp. 1279–1288.

CHI-2013-SunZDRX #comprehension

Messaging to your doctors: understanding patient-provider communications via a portal system (SS, XZ, JCD, STR, HX), pp. 1739–1748.

CHI-2013-YunA

A text message a day keeps the pulmonologist away (TJY, RIA), pp. 1769–1778.

CSCW-2013-NguyenF #communication #process

Effect of message content on communication processes in intercultural and same-culture instant messaging conversations (DTN, SRF), pp. 19–32.

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

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

ICML-c2-2013-WangK13a #approach #message passing #problem

Subproblem-Tree Calibration: A Unified Approach to Max-Product Message Passing (HW, DK), pp. 190–198.

ICML-c3-2013-QiG #message passing

Message passing with l1 penalized KL minimization (YQ, YG), pp. 262–270.

SAC-2013-CampioloSBG #security #twitter

Evaluating the utilization of Twitter messages as a source of security alerts (RC, LAFS, DMB, MAG), pp. 942–943.

SAC-2013-LaboreiroBSRO #microblog

Determining language variant in microblog messages (GL, MB, LS, EMR, ECO), pp. 902–907.

SAC-2013-SolankiRBGB #embedded #parsing #performance

Improving the performance of message parsers for embedded systems (JS, LR, YDB, BLG, TFB), pp. 1505–1510.

ESEC-FSE-2013-GarciaPSHM #distributed #identification

Identifying message flow in distributed event-based systems (JG, DP, GS, WGJH, NM), pp. 367–377.

PPoPP-2013-EdmondsWL #algorithm #graph #using

Expressing graph algorithms using generalized active messages (NE, JW, AL), pp. 289–290.

CSL-2013-Kuusisto #automaton #distributed #logic #message passing

Modal Logic and Distributed Message Passing Automata (AK), pp. 452–468.

ICTSS-2013-StepienP #challenge #testing #using

Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3 (BS, LP), pp. 207–222.

SAT-2013-Gableske #heuristic #message passing #on the #satisfiability

On the Interpolation between Product-Based Message Passing Heuristics for SAT (OG), pp. 293–308.

DATE-2012-AxerSE #bound #probability

Probabilistic response time bound for CAN messages with arbitrary deadlines (PA, MS, RE), pp. 1114–1117.

HT-2012-FahlHMS #named #network #social

TrustSplit: usable confidentiality for social network messaging (SF, MH, TM, MS), pp. 145–154.

SIGMOD-2012-XueYC

Temporal provenance discovery in micro-blog message streams (abstract only) (ZX, JY, BC), p. 864.

FASE-2012-MauczkaHSSBG #automation #classification #commit #maintenance #taxonomy #validation

Tracing Your Maintenance Work — A Cross-Project Validation of an Automated Classification Dictionary for Commit Messages (AM, MH, CS, WS, MB, TG), pp. 301–315.

TACAS-2012-BouajjaniE #analysis #bound #message passing #source code

Bounded Phase Analysis of Message-Passing Programs (AB, ME), pp. 451–465.

CSCW-2012-NguyenF #analysis #how

How did you feel during our conversation?: retrospective analysis of intercultural and same-culture instant messaging conversations (DTN, SRF), pp. 117–126.

CAiSE-2012-EngelAZPW #case study #mining #modelling #process

Mining Inter-organizational Business Process Models from EDI Messages: A Case Study from the Automotive Sector (RE, WMPvdA, MZ, CP, HW), pp. 222–237.

ECIR-2012-TamFL #approach #automation #email

Automatic Foldering of Email Messages: A Combination Approach (TT, AF, AL), pp. 232–243.

KDD-2012-ZhouJL #community #profiling #social

Community discovery and profiling with social messages (WZ, HJ, YL), pp. 388–396.

SEKE-2012-RakaLM #approach #generative #modelling #product line

Interoperable EMR Message Generation: A Model-Driven Software Product Line Approach (DR, SHL, MM), pp. 537–540.

OOPSLA-2012-LucasER #detection #distributed #problem #sequence

Detecting problematic message sequences and frequencies in distributed systems (CL, SGE, DSR), pp. 915–926.

TOOLS-EUROPE-2012-NgYH #optimisation #parallel #programming

Multiparty Session C: Safe Parallel Programming with Message Optimisation (NN, NY, KH), pp. 202–218.

PPDP-2012-JaksicP #exception

Exception handling for copyless messaging (SJ, LP), pp. 151–162.

SAC-2012-Longuet #sequence chart #testing

Global and local testing from Message Sequence Charts (DL), pp. 1332–1338.

ISMM-2012-LyberisPNSGS #memory management #message passing

The myrmics memory allocator: hierarchical, message-passing allocation for global address spaces (SL, PP, DSN, MS, TG, BRdS), pp. 15–24.

VMCAI-2012-MorseVMM #c #message passing #modelling #source code

Modeling Asynchronous Message Passing for C Programs (EM, NV, EM, JM), pp. 332–347.

CASE-2011-PuiuM #communication #realtime

The time delay control of CAN messages for real-time communication (DP, FM), pp. 631–636.

ESOP-2011-BonoMP #message passing #type system

Typing Copyless Message Passing (VB, CM, LP), pp. 57–76.

CSCW-2011-FetterG #experience #named

PRIMIExperience: experience sampling via instant messaging (MF, TG), pp. 629–632.

HCI-DDA-2011-OttoFR #flexibility #human-computer #middleware

Message Oriented Middleware for Flexible Wizard of Oz Experiments in HCI (MO, RF, DFR), pp. 121–130.

HIMI-v2-2011-YonemuraK #case study

Study on Accessibility of Urgent Message Transmission Service in a Disaster (SY, KK), pp. 446–450.

IDGD-2011-Dai #communication #development #interactive #mobile

New Development of Mobile Instant Messaging: Virtual Body Communication Interaction (LD), pp. 483–489.

IDGD-2011-LiRH #communication #difference

The Impact of Cultural Differences on Instant Messaging Communication in China and Germany (HL, PLPR, AH), pp. 75–84.

CAiSE-2011-DornD #process #self

Supporting Dynamic, People-Driven Processes through Self-learning of Message Flows (CD, SD), pp. 657–671.

CAiSE-2011-GuabtniNB #correlation #graph #interactive #using

Using Graph Aggregation for Service Interaction Message Correlation (AG, HRMN, BB), pp. 642–656.

EDOC-2011-Halle #contract #logic #message passing

Causality in Message-Based Contract Violations: A Temporal Logic “Whodunit” (SH), pp. 171–180.

CIKM-2011-HuTL #microblog #semantics #using

Enhancing accessibility of microblogging messages using semantic knowledge (XH, LT, HL), pp. 2465–2468.

CIKM-2011-KarwegHB #evolution #network #social

Evolving social search based on bookmarks and status messages from social networks (BK, CH, KB), pp. 1825–1834.

ICML-2011-KnowlesGG #algorithm #message passing

Message Passing Algorithms for the Dirichlet Diffusion Tree (DAK, JVG, ZG), pp. 721–728.

MLDM-2011-ChenHCS #detection #email #similarity

Authorship Similarity Detection from Email Messages (XC, PH, RC, KPS), pp. 375–386.

ECOOP-2011-Bergel #execution #smalltalk

Counting Messages as a Proxy for Average Execution Time in Pharo (AB), pp. 533–557.

Onward-2011-MarceauFK #error message #fault #interactive

Mind your language: on novices’ interactions with error messages (GM, KF, SK), pp. 3–18.

PADL-2011-Brown #combinator #haskell #message passing

Combinators for Message-Passing in Haskell (NCCB), pp. 19–33.

PADL-2011-ChristakisS #detection #fault #message passing #static analysis #using

Detection of Asynchronous Message Passing Errors Using Static Analysis (MC, KFS), pp. 5–18.

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

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

SAC-2011-MakanjuZM #retrieval #using

Storage and retrieval of system log events using a structured schema based on message type transformation (AM, ANZH, EEM), pp. 528–533.

SAC-2011-MunizL #encryption #on the #protocol #recognition

On the (im)possibility of perennial message recognition protocols without public-key cryptography (MGM, PL), pp. 1510–1515.

ICSE-2011-KumarKRL #graph #mining #sequence

Mining message sequence graphs (SK, SCK, AR, DL), pp. 91–100.

HPCA-2011-GuLKS #named

MOPED: Orchestrating interprocess message data on CMPs (JG, SSL, RK, YS), pp. 111–120.

PPoPP-2011-NegaraKA #message passing #performance

Inferring ownership transfer for efficient message passing (SN, RKK, GAA), pp. 81–90.

ICST-2011-DanH #consistency #sequence chart #testing

Conformance Testing from Message Sequence Charts (HD, RMH), pp. 279–288.

ICST-2011-GoKKL #approach #generative #testing #variability

A Systematic Test Case Generation Approach for Testing Message Length Variability (KG, SK, MK, JL), pp. 397–406.

VMCAI-2011-SiegelG #analysis #formal method #message passing

Formal Analysis of Message Passing — (Invited Talk) (SFS, GG), pp. 2–18.

DATE-2010-TotaCRRZ #architecture #hybrid #message passing #multi #named

MEDEA: a hybrid shared-memory/message-passing multiprocessor NoC-based architecture (ST, MRC, MRR, LR, MZ), pp. 45–50.

STOC-2010-Montanari #algorithm #message passing

Message passing algorithms: a success looking for theoreticians (AM), pp. 37–38.

CHI-2010-HartmannMBK #error message #fault #what

What would other programmers do: suggesting solutions to error messages (BH, DM, JB, SRK), pp. 1019–1028.

CHI-2010-LindleyHS #case study #design #game studies

Designing a technological playground: a field study of the emergence of play in household messaging (SEL, RHRH, AS), pp. 2351–2360.

CHI-2010-MorrisTP #behaviour #bibliography #network #people #social #what #why

What do people ask their social networks, and why?: a survey study of status message q&a behavior (MRM, JT, KP), pp. 1739–1748.

CSCW-2010-NaamanBL #social

Is it really about me?: message content in social awareness streams (MN, JB, CHL), pp. 189–192.

ICEIS-DISI-2010-BohmHL #clustering #multi #optimisation #queue

Multi-process Optimization Via Horizontal Message Queue Partitioning (MB, DH, WL), pp. 5–14.

ICEIS-J-2010-BohmHL10a #clustering #multi #optimisation #queue

Multi-flow Optimization via Horizontal Message Queue Partitioning (MB, DH, WL), pp. 31–47.

ICEIS-J-2010-BottcherHM10a #using #xml

Using XML Schema Subtraction to Compress Electronic Payment Messages (SB, RH, CM), pp. 451–463.

ICEIS-SAIC-2010-BottcherHM #xml

Queryable SEPA Message Compression by XML Schema Subtraction (SB, RH, CM), pp. 23–29.

ICEIS-SAIC-2010-Kristensen #abstraction #collaboration #message passing #using

Abstraction from Collaboration between Agents using Asynchronous Message-passing (BBK), pp. 86–92.

CIKM-2010-TianWWRCM #detection #mobile #topic

Topic detection and organization of mobile text messages (YT, WW, XW, JR, CC, JM), pp. 1877–1880.

ICPR-2010-CheongL #case study #clustering #detection #topic #twitter

A Study on Detecting Patterns in Twitter Intra-topic User and Message Clustering (MC, VCSL), pp. 3125–3128.

ICPR-2010-Ogawara #approximate

Approximate Belief Propagation by Hierarchical Averaging of Outgoing Messages (KO), pp. 1368–1372.

SAC-2010-DolevGK #multi #scalability #trust

Computing multi-party trust privately: in O(n) time units sending one (possibly large) message at a time (SD, NG, MK), pp. 1460–1465.

FSE-2010-HalleB #analysis #interactive #message passing #using

Realizability analysis for message-based interactions using shared-state projections (SH, TB), pp. 27–36.

ICPC-2009-KarumuriR #automation #detection

Automatic detection of internal queues and stages in message processing systems (SK, SPR), pp. 315–316.

PEPM-2009-BoustaniH #error message #fault #java

Improving type error messages for generic java (NEB, JH), pp. 131–140.

STOC-2009-AroraDS #algorithm #message passing

Message passing algorithms and improved LP decoding (SA, CD, DS), pp. 3–12.

IFM-2009-MilhauFF #automation #error message #execution #fault #generative #process #symbolic computation

Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions (JM, BF, MF), pp. 337–351.

CHI-2009-BrownSKH #communication

Exploring the potential of audio-tactile messaging for remote interpersonal communication (LMB, AS, RK, RHRH), pp. 1527–1530.

CHI-2009-EcklesWCTBF #mobile #self #social

Social responses in mobile messaging: influence strategies, self-disclosure, and source orientation (DE, DW, CC, AT, MBF, BJF), pp. 1651–1654.

CHI-2009-Otterbacher #community #online #quality

“Helpfulness” in online communities: a measure of message quality (JO), pp. 955–964.

HCD-2009-Stiso

Frequency of Usage and Feelings of Connectedness in Instant Messaging by Age, Sex, and Civil Status (MES), pp. 562–569.

HCI-NIMT-2009-Ito #case study

Preliminary Study on Vibrotactile Messaging for Sharing Brief Information (TI), pp. 451–460.

HCI-NIMT-2009-LiCMY #gesture

Emotions and Messages in Simple Robot Gestures (JL, MHC, SM, MY), pp. 331–340.

HCI-NT-2009-RaoCJB #concurrent #exclamation #how #people

“You’ve Got IMs!” How People Manage Concurrent Instant Messages (SR, JC, RJ, RB), pp. 500–509.

HIMI-DIE-2009-MinakuchiM #email #named

Richbiff: E-Mail Message Notification with Richer Clues (MM, HM), pp. 570–578.

CIKM-2009-ChenL #product line

Message family propagation for ising mean field based on iteration tree (YC, SL), pp. 345–354.

MoDELS-2009-ShtelmaCM #domain-specific language #execution #integration #message passing

Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.

MoDELS-2009-ShtelmaCM #domain-specific language #execution #integration #message passing

Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.

SAC-2009-KrocSS #heuristic #message passing #satisfiability

Message-passing and local heuristics as decimation strategies for satisfiability (LK, AS, BS), pp. 1408–1414.

SAC-2009-LeePR #ad hoc #mobile #network #realtime

A real-time message scheduler support for dual-sink mobile ad-hoc sensor networks (JL, GLP, SuR), pp. 305–309.

SAC-2009-Pohja

Server push with instant messaging (MP), pp. 653–658.

CGO-2009-Bronevetsky #data flow #message passing #parallel

Communication-Sensitive Static Dataflow for Parallel Message Passing Applications (GB), pp. 1–12.

DATE-2008-EdwardsVT #compilation #concurrent #memory management #message passing #multi #programming #thread

Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads (SAE, NV, OT), pp. 1498–1503.

DATE-2008-SahaSPBW #framework #implementation #message passing #parallel

An Optimized Message Passing Framework for Parallel Implementation of Signal Processing Applications (SS, JS, SP, SSB, WW), pp. 1220–1225.

FoSSaCS-2008-DarondeauGH #sequence chart

Products of Message Sequence Charts (PD, BG, LH), pp. 458–473.

STOC-2008-Gavinsky #interactive #quantum

Classical interaction cannot replace a quantum message (DG), pp. 95–102.

SEFM-2008-BhatejaM #message passing #testing

Tagging Make Local Testing of Message-Passing Systems Feasible (PB, MM), pp. 171–180.

CAiSE-2008-SerrourGKB #correlation #interactive #protocol

Message Correlation and Business Protocol Discovery in Service Interaction Logs (BS, DPG, HK, BB), pp. 405–419.

EDOC-2008-HalleV #message passing #monitoring #runtime #workflow

Runtime Monitoring of Message-Based Workflows with Data (SH, RV), pp. 63–72.

EDOC-2008-NitzscheLL #multi

Extending BPELlight for Expressing Multi-Partner Message Exchange Patterns (JN, TvL, FL), pp. 245–254.

ICEIS-DISI-2008-BohmWHL08a #integration #process

Message Indexing for Document-Oriented Integration Processes (MB, UW, DH, WL), pp. 137–142.

ECIR-2008-CarvalhoC #ranking

Ranking Users for Intelligent Message Addressing (VRC, WWC), pp. 321–333.

ICML-2008-RavikumarAW #convergence #linear #message passing #source code

Message-passing for graph-structured linear programs: proximal projections, convergence and rounding schemes (PDR, AA, MJW), pp. 800–807.

RE-2008-Kof #generative #sequence chart

From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction (LK), pp. 331–332.

SAC-2008-CeriottiMP #case study #message passing

Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study (MC, ALM, GPP), pp. 100–107.

SAC-2008-ChbeirCLY #information management

Track on Advances in Spatial and Image-Based Information Systems (ASIIS): editorial message (RC, CC, KJL, KY), p. 851.

SAC-2008-FahmyRJ #realtime #scheduling #thread

Scheduling distributable real-time threads in the presence of crash failures and message losses (SFF, BR, EDJ), pp. 294–301.

SAC-2008-FreireVMP #network

Track on Computer Networks: editorial message (MMF, TV, EM, MP), p. 2040.

SAC-2008-Hassan #automation #classification #open source

Automated classification of change messages in open source projects (AEH), pp. 837–841.

SAC-2008-LiQWLW #consistency #diagrams #interactive #java #runtime #source code #state machine #uml #verification

UML state machine diagram driven runtime verification of Java programs for message interaction consistency (XL, XQ, LW, BL, WEW), pp. 384–389.

SAC-2008-LobatoBNTP #middleware #semantics

Exploiting semantic information on a message exchanging middleware (DCL, MQB, RBN, CACT, MdGCP), pp. 514–515.

SAC-2008-WongSS #re-engineering

Message from the software engineering track chairs: editorial (WEW, COS, SYS), p. 660.

DATE-2007-ZhengNPGV #distributed #modelling #realtime #synthesis

Synthesis of task and message activation models in real-time distributed automotive systems (WZ, MDN, CP, PG, ALSV), pp. 93–98.

ICDAR-2007-ProchassonVM #modelling

Language Models for Handwritten Short Message Services (EP, CVG, EM), pp. 83–87.

TACAS-2007-ElkindGP #detection #sequence chart

Detecting Races in Ensembles of Message Sequence Charts (EE, BG, DP), pp. 420–434.

PLDI-2007-LernerFGC #error message

Searching for type-error messages (BSL, MF, DG, CC), pp. 425–434.

LATA-2007-BolligK #automaton #logic #message passing

Muller Message-Passing Automata and Logics (BB, DK), pp. 163–174.

SEFM-2007-GrandyBSR #encoding #named #protocol #security

ASN1-light: A Verified Message Encoding for Security Protocols (HG, RB, KS, WR), pp. 195–204.

HCI-AS-2007-ChoiLU #analysis #internet #user interface

Analysis of Internet Users’ Interests Based on Windows GUI Messages (JC, GL, YU), pp. 881–888.

HCI-IPT-2007-CaoE #privacy #towards

Influence of Culture on Attitude Towards Instant Messaging: Balance Between Awareness and Privacy (JC, AE), pp. 236–240.

HCI-MIE-2007-LeeP07a #behaviour #generative #speech #synthesis

Customized Message Generation and Speech Synthesis in Response to Characteristic Behavioral Patterns of Children (HJL, JCP), pp. 114–123.

HCI-MIE-2007-XuBAM #empirical #fault #recognition #speech

An Empirical Study on Users’ Acceptance of Speech Recognition Errors in Text-Messaging (SX, SB, MA, DM), pp. 232–242.

HIMI-IIE-2007-MaILJ

Use of Chinese Short Messages (DM, FI, YL, LJ), pp. 582–591.

HIMI-IIE-2007-MurataNSKT #feedback #visual notation

Visual Feedback to Reduce the Negative Effects of Message Transfer Delay on Voice Chatting (KM, MN, YS, IK, YT), pp. 95–101.

OCSC-2007-NeviarouskayaPI #communication #online #recognition

Recognition of Affect Conveyed by Text Messaging in Online Communication (AN, HP, MI), pp. 141–150.

EDOC-2007-MartinWSL #comparison

An EAI Pattern-Based Comparison of Spaces and Messaging (DM, DW, TS, FL), p. 511–?.

EDOC-2007-Molina-JimenezSC #consistency #implementation #message passing #middleware #using

Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware (CMJ, SKS, NC), pp. 51–62.

EDOC-2007-TakaseT #framework #performance #web #web service

Efficient Web Services Message Exchange by SOAP Bundling Framework (TT, KT), pp. 63–74.

ICEIS-EIS-2007-MehrS #modelling #security #uml

Modelling of Message Security Concerns with UML (FM, US), pp. 365–374.

ICEIS-SAIC-2007-SchallGD #ad hoc #collaboration

Pattern-Based Collaboration in Ad-Hoc Teams Through Message Annotation (DS, RG, SD), pp. 84–91.

CIKM-2007-CormackHS

Spam filtering for short messages (GVC, JMGH, EPS), pp. 313–320.

CIKM-2007-FortunaRM #analysis #classification #network #social

Improving the classification of newsgroup messages through social network analysis (BF, EMR, NMF), pp. 877–880.

ICML-2007-KimC #algorithm #geometry #message passing

Neighbor search with global geometry: a minimax message passing algorithm (KHK, SC), pp. 401–408.

TOOLS-EUROPE-2007-VallejosCBMDM #message passing

The Message-Oriented Mobility Model (JV, TVC, EGB, SM, JD, WDM), pp. 363–382.

POPL-2007-ReppyX #message passing

Specialization of CML message-passing primitives (JHR, YX), pp. 315–326.

SAC-2007-ChengLW #automation #web #web service

Automatic enactment of message exchange pattern for web services (XC, LL, JW), pp. 1649–1653.

SAC-2007-HallerKVO

Handling heterogeneity in RosettaNet messages (AH, PK, TV, EO), pp. 1368–1374.

ESEC-FSE-2007-RoychoudhuryGS #sequence chart

Symbolic message sequence charts (AR, AG, BS), pp. 275–284.

HPDC-2007-ImranRLL #coordination #grid #mobile

A proxy-based uncoordinated checkpointing scheme with pessimistic message logging for mobile grid systems (NI, IR, YKL, SL), pp. 237–238.

PPoPP-2007-BaudeCDH #consistency

Promised messages: recovering from inconsistent global states (FB, DC, CD, LH), pp. 154–155.

ASE-2006-BookGM #framework #user interface

An Instant Message-Driven User Interface Framework for Thin Client Applications (MB, VG, GM), pp. 257–260.

DAC-2006-ZhongWS #design #energy #mobile #multi #named

SMERT: energy-efficient design of a multimedia messaging system for mobile devices (LZ, BW, MJS), pp. 586–591.

FoSSaCS-2006-BackesMPV #analysis #encryption

Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario (MB, SM, BP, LV), pp. 428–445.

TACAS-2006-ChakiCKRT #c #concurrent #message passing #recursion #source code #verification

Verifying Concurrent Message-Passing C Programs with Recursive Calls (SC, EMC, NK, TWR, TT), pp. 334–349.

CHI-2006-AvrahamiH #communication #latency #modelling #predict

Responsiveness in instant messaging: predictive models supporting inter-personal communication (DA, SEH), pp. 731–740.

CHI-2006-WeiszEK

Synchronous broadcast messaging: the use of ICT (JDW, TE, WAK), pp. 1293–1302.

CSCW-2006-AvrahamiH #communication #predict

Communication characteristics of instant messaging: effects and predictions of interpersonal relationships (DA, SEH), pp. 505–514.

CSCW-2006-GutwinFWDB #network #performance #realtime

Improving network efficiency in real-time groupware with general message compression (CG, CF, MW, JD, TB), pp. 119–128.

CSCW-2006-KayanFS #difference

Cultural differences in the use of instant messaging in Asia and North America (SK, SRF, LDS), pp. 525–528.

CSCW-2006-SellenHEIRTW #named

HomeNote: supporting situated messaging in the home (AS, RHRH, RE, SI, TR, AST, KRW), pp. 383–392.

CSCW-2006-VoidaM #analysis #challenge #multimodal

Challenges in the analysis of multimodal messaging (AV, EDM), pp. 427–430.

ICEIS-DISI-2006-OngSKO #data transformation #evaluation #mobile

Data Management System Evaluation for Mobile Messaging Services (DCCO, RS, SK, RO), pp. 226–231.

SIGIR-2006-ShenYSC #concurrent #detection #thread

Thread detection in dynamic text message streams (DS, QY, JTS, ZC), pp. 35–42.

HPDC-2006-NiH #adaptation #implementation #interface #message passing #network #peer-to-peer

An Implementation of the Message Passing Interface over an Adaptive Peer-to-Peer Network (LN, AH), pp. 371–372.

TestCom-2006-ShuL #monitoring #protocol #security #testing

Message Confidentiality Testing of Security Protocols — Passive Monitoring and Active Checking (GS, DL), pp. 357–372.

CBSE-2005-LiuG #performance #predict #protocol #using

Performance Prediction of J2EE Applications Using Messaging Protocols (YL, IG), pp. 1–16.

WICSA-2005-PoortAKW #architecture

Successful Architecture for Short Message Service Center (ERP, HA, AK, PHNdW), pp. 299–300.

DATE-2005-FrancescoAM #architecture #distributed #flexibility #hardware #memory management #message passing

Flexible Hardware/Software Support for Message Passing on a Distributed Shared Memory Architecture (FP, AP, PM), pp. 736–741.

VLDB-2005-BerardiCGHM #automation #composition #semantics #web #web service

Automatic Composition of Transition-based Semantic Web Services with Messaging (DB, DC, GDG, RH, MM), pp. 613–624.

TACAS-2005-Genest #composition #sequence chart

Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs (BG), pp. 429–444.

CHI-2005-DabbishKFK #comprehension #email #predict

Understanding email use: predicting action on a message (LAD, REK, SRF, SBK), pp. 691–700.

CHI-2005-JungPB #design #evaluation #mobile #named

DeDe: design and evaluation of a context-enhanced mobile messaging system (YJ, PP, JB), pp. 351–360.

CHI-2005-OuOYF #collaboration

Effects of task properties, partner actions, and message content on eye gaze patterns in a collaborative task (JO, LMO, JY, SRF), pp. 231–240.

ICEIS-v4-2005-TosicZ #fault tolerance

Generic Fault-Tolerant Layer Supporting Publish/Subscribe Messaging (MT, ABZ), pp. 111–118.

SEKE-2005-SouzaVSSGLH #message passing #named #parallel #source code #testing

ValiPar: A Testing Tool for Message-Passing Parallel Programs (SdRSdS, SRV, PSLdS, AdSS, TBG, AdML, ACH), pp. 386–391.

SAC-2005-QuagliaR #coordination #persistent #reliability

Reliability in three-tier systems without application server coordination and persistent message queues (FQ, PR), pp. 718–723.

SAC-2005-Rosso #analysis #framework #message passing #paradigm #performance #scalability

Performance analysis framework for large software-intensive systems with a message passing paradigm (CDR), pp. 885–889.

PPoPP-2005-ThiesKSRA #distributed #source code

Teleport messaging for distributed stream programs (WT, MK, JS, RMR, SPA), pp. 224–235.

IFL-2004-Cristobal-SalasCRG #message passing #program transformation #source code

Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations (ACS, AC, ERA, JLG), pp. 1–16.

CHI-2004-FussellKSS #multi

Effects of instant messaging on the management of multiple project trajectories (SRF, SBK, LDS, PS), pp. 191–198.

CHI-2004-HuangRS #interactive #scalability

IM here: public instant messaging on large, shared displays for workgroup interactions (EMH, DMR, AES), pp. 279–286.

CSCW-2004-AvrahamiH #latency #named #performance

QnA: augmenting an instant messaging client to balance user responsiveness and performance (DA, SEH), pp. 515–518.

CSCW-2004-Campbell #framework

Instant messages: a framework for reading between the lines (JDC), pp. 519–522.

CSCW-2004-SetlockFN

Taking it out of context: collaborating within and across cultures in face-to-face settings and via instant messaging (LDS, SRF, CN), pp. 604–613.

CAiSE-2004-ZdravkovicJ #process

Cooperation of Processes through Message Level Agreement (JZ, PJ), pp. 564–579.

ICEIS-v1-2004-SadiqOSS #process

Facilitating Business Process Management with Harmonized Messaging (SWS, MEO, WS, KAS), pp. 30–36.

ICEIS-v3-2004-CostaCA #named

P-Manager: Actions vs. Messages (CJC, JPC, MA), pp. 643–646.

ICEIS-v4-2004-LohGLBRSAP #chat #library #recommendation #web

Analyzing Web Chat Messages for Recommending Items from a Digital Library (SL, RSG, DL, TB, RR, GS, LA, TP), pp. 41–48.

ICPR-v4-2004-YuWT #estimation #on the

On Estimation of Secret Message Length in JSteg-like Steganography (XY, YW, TT), pp. 673–676.

KDD-2004-DavidsonP #image

Locating secret messages in images (ID, GP), pp. 545–550.

SEKE-2004-Flake #concept #constraints #ocl

Enhancing the Message Concept of the Object Constraint Language (SF), pp. 161–166.

SAC-2004-BellaR #security

Editoral message: special track on computer security (GB, PR), pp. 373–374.

SAC-2004-CarmeliGHNNSV #reliability #throughput

High throughput reliable message dissemination (BC, GG, AH, NN, HN, JS, PV), pp. 322–327.

SAC-2004-OssowskiM #coordination #modelling

Editoral message: special track on coordination models, languages and applications (SO, RM), pp. 447–448.

ISMM-2004-SagonasW #concurrent #garbage collection #incremental

Message analysis-guided allocation and low-pause incremental garbage collection in a concurrent language (KFS, JW), pp. 1–12.

CSL-2004-EmersonK #message passing #model checking

Parameterized Model Checking of Ring-Based Message Passing Systems (EAE, VK), pp. 325–339.

VLDB-2003-DiaoF #query #xml

Query Processing for High-Volume XML Message Brokering (YD, MJF), pp. 261–272.

SAS-2003-CarlssonSW #analysis #concurrent

Message Analysis for Concurrent Languages (RC, KFS, JW), pp. 73–90.

ICALP-2003-JainRS #communication #complexity #theorem

A Direct Sum Theorem in Communication Complexity via Message Compression (RJ, JR, PS), pp. 300–315.

CHI-2003-ForlizziLH #using

The kinedit system: affective messages using dynamic texts (JF, JCL, SEH), pp. 377–384.

CHI-2003-GrinterE

Wan2tlk?: everyday text messaging (REG, ME), pp. 441–448.

EDOC-2003-GortonACHH #performance #scalability

An Efficient, Scalable Content-Based Messaging System (IG, JA, NC, JH, MH), pp. 278–287.

ICEIS-v1-2003-FatoohiG #distributed #execution #using #web

A Distributed Job Execution Environment Using Asynchronous Messaging and Web Technologies (RF, NG), pp. 246–251.

ICEIS-v3-2003-LiongM #dependence #design #source code

Computing Message Dependencies in System Designs and Programs (BLL, LAM), pp. 619–622.

KDD-2003-ArgamonSS #mining #multi

Style mining of electronic messages for multiple authorship discrimination: first results (SA, MS, SSS), pp. 475–480.

RE-2003-SenguptaC #modelling #requirements #sequence chart #using

Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts (BS, RC), pp. 95–104.

CAV-2003-SenguptaC #named #sequence chart

TRIM: A Tool for Triggered Message Sequence Charts (BS, RC), pp. 106–109.

VMCAI-2003-MeenakshiR #message passing #reasoning

Reasoning about Layered Message Passing Systems (BM, RR), pp. 268–282.

VLDB-2002-KounevB #data access

Improving Data Access of J2EE Applications by Exploiting Asynchronous Messaging and Caching Services (SK, APB), pp. 574–585.

SCAM-2002-RillingLG #message passing #slicing #source code

Predicate-Based Dynamic Slicing of Message Passing Programs (JR, HFL, DG), p. 133–?.

DLT-2002-Adorna #nondeterminism #on the

On the Separation between k-Party and (k-1)-Party Nondeterministic Message Complexities (HNA), pp. 152–161.

ICALP-2002-ChristerssonGL #ad hoc #bound #network

Gossiping with Bounded Size Messages in ad hoc Radio Networks (MC, LG, AL), pp. 377–389.

ICALP-2002-KhannaNR #communication #protocol

Control Message Aggregation in Group Communication Protocols (SK, JN, DR), pp. 135–146.

CHI-2002-FukayamaOMSH #embedded #interface

Messages embedded in gaze of interface agents — impression management with agent’s gaze (AF, TO, NM, MS, NH), pp. 41–48.

CHI-2002-HerbslebABHF #chat

Introducing instant messaging and chat in the workplace (JDH, DLA, DGB, MH, TAF), pp. 171–178.

CHI-2002-VoidaNM

When conventions collide: the tensions of instant messaging attributed (AV, WN, EDM), pp. 187–194.

CSCW-2002-GrinterP

Instant messaging in teen life (REG, LP), pp. 21–30.

CSCW-2002-IsaacsWWSK

The character, functions, and styles of instant messaging in the workplace (EI, AW, SW, DJS, CAK), pp. 11–20.

ICEIS-2002-SongLK #design #implementation

Design and Implementation of a Message Service Handler for EBXML (EJS, HSL, TGK), pp. 1064–1069.

ICML-2002-FitzgibbonDA #approximate #monte carlo #polynomial

Univariate Polynomial Inference by Monte Carlo Message Length Approximation (LJF, DLD, LA), pp. 147–154.

SEKE-2002-LeeKC #finite #interactive #sequence chart #state machine #testing

Construction of global finite state machine for testing task interactions written in message sequence charts (NHL, THK, SDC), pp. 369–376.

SIGIR-2002-Rijsbergen #information retrieval

Landmarks in information retrieval: the message out of the bottle (CJvR), p. 1.

POPL-2002-ChakiRR #message passing #model checking #modelling #source code

Types as models: model checking message-passing programs (SC, SKR, JR), pp. 45–57.

SAC-2002-HaratyZ #database #library

Database and digital library technologies: track chairs message (RAH, MZ), p. 401.

SAC-2002-Jurjens #message passing #semantics #uml

A UML statecharts semantics with message-passing (JJ), pp. 1009–1013.

FSE-2002-SenguptaC #sequence chart

Triggered message sequence charts (BS, RC), pp. 167–176.

ICSE-2002-BlausteinOB #graph #sequence chart

Observing timed systems by means of message sequence chart graphs (SB, FO, VAB), p. 707.

ISMM-2002-JohanssonSW #architecture #concurrent #message passing #using

Heap architectures for concurrent languages using message passing (EJ, KFS, JW), pp. 195–206.

CAV-2002-RajamaniR #consistency #message passing #modelling

Conformance Checking for Models of Asynchronous Message Passing Software (SKR, JR), pp. 166–179.

ASE-2001-GrundyMHK #generative #specification #visual notation

Generating EDI Message Translations from Visual Specifications (JCG, RM, JGH, PK), pp. 35–42.

FoSSaCS-2001-Morin #on the #sequence chart #traceability

On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory (RM), pp. 332–346.

TACAS-2001-GunterMP #composition #sequence chart

Compositional Message Sequence Charts (ELG, AM, DP), pp. 496–511.

ICALP-2001-Madhusudan #behaviour #branch #graph #reasoning #sequence

Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs (PM), pp. 809–820.

ICALP-2001-MuschollP #communication #finite #protocol #sequence chart

From Finite State Communication Protocols to High-Level Message Sequence Charts (AM, DP), pp. 720–731.

EDOC-2001-TaiMRS #distributed #named #transaction

Dependency-Spheres: A Global Transaction Context for Distributed Objects and Messages (ST, TAM, IR, SMSJ), p. 105–?.

ICEIS-v1-2001-DamnjanovicRSOPR #case study #data flow #integration

Integration of Different Data Sources and Message Queueing System in Postnet-Case Studies (DD, ZR, MS, PO, BP, MR), pp. 279–282.

UML-2001-DevosS #analysis #object-oriented #paradigm

The Message Paradigm in Object-Oriented Analysis (FD, ES), pp. 182–193.

SAC-2001-MaddiD #algorithm #performance

An efficient algorithm for causal messages ordering (AM, FD), pp. 499–503.

SAC-2001-Omicini #coordination #modelling

Coordination models, languages applications track chair messages (AO), pp. 105–106.

ESEC-FSE-2001-UchitelKM #detection #sequence chart #specification

Detecting implied scenarios in message sequence chart specifications (SU, JK, JM), pp. 74–82.

ICALP-2000-HenriksenMKT #graph #on the #sequence

On Message Sequence Graphs and Finitely Generated Regular MSC Languages (JGH, MM, KNK, PST), pp. 675–686.

ICALP-2000-MeenakshiR #finite #message passing #reasoning

Reasoning about Message Passing in Finite State Environments (BM, RR), pp. 487–498.

CHI-2000-Balter #analysis #email

Keystroke level analysis of email message organization (OB), pp. 105–112.

CSCW-2000-NardiWB #interactive

Interaction and outeraction: instant messaging in action (BAN, SW, EB), pp. 79–88.

CSCW-2000-TangBRI

Instant messaging: products meet workplace users (JCT, AdB, MBR, EI), p. 363.

SIGIR-2000-AndroutsopoulosKCS #anti #comparison #email #keyword #naive bayes

An experimental comparison of naive bayesian and keyword-based anti-spam filtering with personal e-mail messages (IA, JK, KC, CDS), pp. 160–167.

TOOLS-PACIFIC-2000-HsiaoLY #corba

An Asynchronous Message Exchange System on CORBA (TYH, WTL, SMY), pp. 14–23.

TOOLS-PACIFIC-2000-Silva-LepeCNF #architecture #component #java #message passing

Container-Managed Messaging: An Architecture for Integrating Java Components and Message-Oriented Applications (ISL, CFC, PN, DFF), pp. 228–241.

SAC-2000-Rine #modelling #re-engineering

Message from the Track Chair: Improving Software Engineering Management Practice Through Modeling and Experimentation with Enabling Technologies (DCR), pp. 849–850.

SAC-2000-SchimkatMK #lightweight #message passing

A Lightweight, Message-Oriented Application Server for the WWW (RDS, SM, WK), pp. 934–941.

ICSE-2000-AlurEY #sequence chart

Inference of message sequence charts (RA, KE, MY), pp. 304–313.

LCTES-2000-BelloM #network #scheduling

Randomization-Based Approaches for Dynamic Priority Scheduling of Aperiodic Messages on a CAN Network (LLB, OM), pp. 1–18.

FoSSaCS-1999-Muscholl #sequence chart #specification

Matching Specifications for Message Sequence Charts (AM), pp. 273–287.

IFM-1999-Hennessy #calculus #message passing #process #proving

Proof Systems for Message-Passing Process Calculi (MH), p. 26.

CHI-1999-SawhneyS #smarttech

Nomadic Radio: Scaleable and Contextual Notification for Wearable Audio Messaging (NS, CS), pp. 96–103.

ICEIS-1999-FanCY

Blind Signatures with Double-Hashes Messages for Fair Electronic Elections and Ownership Claimable Digital Cash (CIF, WKC, YSY), pp. 612–618.

ECOOP-1999-GaspariZ #algebra #corba #process #specification

Process Algebraic Specification of the New Asynchronous CORBA Messaging Service (MG, GZ), pp. 495–518.

SAC-1999-Haynes99a #adaptation #message passing

Distributing Collective Adaptation via Message Passing (TH), pp. 501–505.

SAC-1999-PuntigamP #component #concurrent #interface

Changeable Interfaces and Promised Messages for Concurrent Components (FP, CP), pp. 141–145.

HPCA-1999-KuoCK #message passing #named

MP-LOCKs: Replacing H/W Synchronization Primitives with Message Passing (CCK, JBC, RK), pp. 284–288.

HPDC-1999-SchnaidtHFKJ #adaptation #independence #message passing #monitoring #performance

Passive, Domain-Independent, End-to-End Message Passing Performance Monitoring to Support Adaptive Applications in MSHN (MCS, DAH, JF, TK, DSJ), pp. 337–338.

ASE-1998-LeueMR #architecture #sequence chart #specification

Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications (SL, LM, MR), pp. 192–195.

DATE-1998-Putzke-RomingRN #flexibility #message passing

A Flexible Message Passing Mechanism for Objective VHDL (WPR, MR, WN), pp. 242–249.

FoSSaCS-1998-MuschollPS #sequence chart

Deciding Properties for Message Sequence Charts (AM, DP, ZS), pp. 226–242.

IFL-1998-SerrarensP #concurrent #message passing

Explicit Message Passing for Concurrent Clean (PRS, MJP), pp. 229–245.

SIGAda-1998-PlintaDS #code generation #specification #validation

A Specification and Code Generation Tool for Message Translation and Validation (CP, RD, RVS), pp. 276–286.

TOOLS-ASIA-1998-Hsiung98a #message passing #object-oriented #parallel #synthesis

Parallel Object-Oriented Synthesis Environment Based On Message-Passing (PAH), p. 251–?.

POPL-1998-Nishimura #static typing #type system

Static Typing for Dynamic Messages (SN), pp. 266–278.

HPCA-1998-MackenzieKFLLAK #performance

Exploiting Two-Case Delivery for Fast Protected Messaging (KM, JK, MF, WL, VL, AA, MFK), pp. 231–242.

HPDC-1998-GianniniC #architecture #clustering #communication #performance

A Software Architecture for Global Address Space Communication on Clusters: Put/Get on Fast Messages (LAG, AAC), pp. 330–337.

HPDC-1998-LauriaPC #communication #performance

Efficient Layering for High Speed Communication: Fast Messages 2.x (ML, SP, AAC), pp. 10–20.

HPDC-1998-ZhangSL #message passing #source code #using

Dynamically Instrumenting Message-Passing Programs Using Virtual Clocks (KZ, CS, KCL), pp. 340–341.

CAV-1998-Peled98a #sequence chart #tool support

A Toolset for Message Sequence Charts (DP), pp. 532–536.

ICDAR-1997-BaumannADJMWW #documentation

Message Extraction from Printed Documents — A Complete Solution (SB, MBHA, AD, TJ, MM, AW, CW), pp. 1055–1059.

FME-1997-BroyGK #message passing #realtime

Reconciling Real-Time with Asynchronous Message Passing (MB, RG, CK), pp. 182–200.

HCI-CC-1997-CaldwellP #evaluation

Longitudinal Evaluation of Adoption and Use Patterns of Electronic Voice Messaging Systems (BSC, PVP), pp. 129–132.

HCI-SEC-1997-ZanottiRC

Human Factors Principles for Variable Message Signs Utilized in Intelligent Transportation Systems (AZ, MLR, GC), pp. 339–342.

EDOC-1997-IidaK #communication #corba #evaluation #reliability

Evaluation of a Method for Reliable Message Transfer Communication in CORBA (KI, JK), pp. 104–110.

HPCA-1997-LimHPS #clustering #communication #performance

Message Proxies for Efficient, Protected Communication on SMP Clusters (BHL, PH, PP, MS), pp. 116–127.

HPDC-1997-FriedmanR #performance #protocol

Packing Messages as a Tool for Boosting the Performance of Total Ordering Protocols (RF, RvR), pp. 233–242.

HPDC-1997-NetzerX #distributed #game studies #source code

Replaying Distributed Programs without Message Logging (RHBN, YX), pp. 137–147.

HPDC-1997-YocumCGL

Cut-Through Delivery in Trapeze: An Exercise in Low-Latency Messaging (KY, JSC, AJG, ARL), pp. 243–252.

WPC-1996-EickW #interactive #sequence chart #visualisation

An Interactive Visualization for Message Sequence Charts (SGE, AW), pp. 2–7.

CHI-1996-MarxS #named #navigation

MailCall: Message Presentation and Navigation in a Nonvisual Environment (MM, CS), pp. 165–172.

CSCW-1996-MarxS #named #personalisation

CLUES: Dynamic Personalized Message Filtering (MM, CS), pp. 113–121.

SAC-1996-McBride #security

Security considerations for active messages (RAM), pp. 463–467.

SAC-1996-PizanoH #concept #multi

Integrated multimedia messaging concepts and applications (AP, TYH), pp. 12–16.

HPDC-1996-ParkHKHY #communication #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.

HPDC-1996-RobinsonRFH #implementation #interface #message passing #migration

A Task Migration Implementation of the Message-Passing Interface (JR, SHR, BKF, BH), pp. 61–68.

ICALP-1995-BermondGRV #performance

Fast Gossiping by Short Messages (JCB, LG, AAR, UV), pp. 135–146.

CIKM-1995-RossBT #approach #named

MessageWorld: A New Approach to Facilitating Asynchronous Group Communications (DER, JJB, KT), pp. 266–273.

SEKE-1995-LinL #message passing #model checking #protocol #verification

Formal Verification of a Message-Passing Protocol with Model Checking (AL, FL), pp. 296–302.

ECOOP-1995-DriesenHV #pipes and filters

Message Dispatch on Pipelined Processors (KD, UH, JV), pp. 253–282.

SAC-1995-Wong #fuzzy

Fuzzy routing control of service request messages in an individual computing environment (KWW), pp. 548–551.

ICSE-1995-TaylorMAWR #architecture #component #message passing #user interface

A Component- and Message-Based Architectural Style for GUI Software (RNT, NM, KMA, EJWJ, JER), pp. 295–304.

ASF+SDF-1995-MauwMa #sequence chart #specification #tool support

Specification of Tools for Message Sequence Charts (SM, EAvdM), pp. 175–210.

HPDC-1995-YadavRH #message passing #parallel #thread

A Multithreaded Message Passing Environment for ATM LAN/WAN (RY, RR, SH), pp. 238–245.

PPoPP-1995-SpertusD #locality

Evaluating the Locality Benefits of Active Messages (ES, WJD), pp. 189–198.

PPoPP-1995-WallachHJKW #communication #scheduling

Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation (DAW, WCH, KLJ, MFK, WEW), pp. 217–226.

ECOOP-1994-VitekH #message passing #performance

Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages (JV, RNH), pp. 432–449.

SAC-1994-Bennet #distributed #message passing #parallel #runtime #source code

Distributed message routing and run-time support for message-passing parallel programs derived from ordinary programs (TB), pp. 510–514.

ASPLOS-1994-ChandraLR #message passing #question #source code

Where is Time Spent in Message-Passing and Shared-Memory Programs? (SC, JRL, AR), pp. 61–73.

ASPLOS-1994-HeinleinGDG #integration #memory management #message passing #multi

Integration of Message Passing and Shared Memory in the Stanford FLASH Multiprocessor (JH, KG, SD, AG), pp. 38–50.

ASPLOS-1994-KaramchetiC #question

Software Overhead in Messaging Layers: Where Does the Time Go? (VK, AAC), pp. 51–60.

ICLP-1994-KumonH #concurrent #logic

A New Transformation based on Process-Message Duality for Concurrent Logic Languages (KK, KH), pp. 684–698.

HCI-SHI-1993-KobayashiN #generative #online

A Method for Generating Messages of the On-Line Help System Based on a User Model and a Situational Model (YK, MN), pp. 621–626.

HCI-SHI-1993-Wang #adaptation

An Adaptive User-Oriented Message Prioritization Scheme (WPW), pp. 784–789.

HCI-SHI-1993-WangSHPW #evaluation #interface #speech #usability

A Usability Evaluation of Text and Speech Redundant Help Messages on a Reader Interface (EMYW, HS, LH, KP, NW), pp. 724–729.

TOOLS-USA-1993-ChangT #message passing

The Object Support via FIFO-Links on Message-Passing Systems (WTC, CCT), pp. 231–238.

HPDC-1993-HaririPYPF #distributed #interface #message passing #parallel

A Message Passing Interface for Parallel and Distributed Computing (SH, JP, FKY, MP, GF), pp. 84–91.

PPoPP-1993-KranzJAKL #experience #message passing

Integrating Message-Passing and Shared-Memory: Early Experience (DAK, KLJ, AA, JK, BHL), pp. 54–63.

CAV-1993-HennessyL #logic #message passing #process

A Modal Logic for Message passing Processes (Extended Abstract) (MH, XL), pp. 359–370.

DAC-1992-BoseA #concurrent #fault #logic #memory management #message passing #multi #simulation

Concurrent Fault Simulation of Logic Gates and Memory Blocks on Message Passing Multicomputers (SB, PA), pp. 332–335.

STOC-1992-Leighton #parallel

Methods for Message Routing in Parallel Machines (FTL), pp. 77–96.

ICALP-1992-SantisPY #bound #proving #statistics #verification

One-Message Statistical Zero-Knowledge Proofs and Space-Bounded Verifier (ADS, GP, MY), pp. 28–40.

ECOOP-1992-GuerraouiCLR #message passing #protocol

Nesting Actions through Asynchronous Message Passing: the ACS Protocol (RG, RC, AL, PR), pp. 170–184.

OOPSLA-1991-Ghelli #message passing #static typing #type system

A Static Type System for Message Passing (GG), pp. 129–145.

DAC-1990-Tonkin #message passing #multi

Circuit Extraction on a Message-Based Multiprocessor (BAT), pp. 260–265.

PODS-1990-SoparkarS #clustering

Data-value Partitioning and Virtual Messages (NS, AS), pp. 357–367.

PLDI-1990-ChambersU #analysis #dynamic typing #object-oriented #optimisation #source code

Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs (CC, DU), pp. 150–164.

OOPSLA-ECOOP-1990-PurchaseW #fault #object-oriented #parallel #specification

Message Pattern Specifications: A New Technique for Handling Errors in Parallel Object Oriented Systems (JAP, RLW), pp. 116–125.

ASPLOS-1989-Delgado-RannauroR

A Message Driven Or-Parallel Machine (SADR, TJR), pp. 217–228.

CSCW-1988-BorensteinT

Cooperative Work in the Andrew Message System (NSB, CAT), pp. 306–323.

SIGMOD-1986-Gelder #evaluation #framework #logic #message passing #query

A Message Passing Framework for Logical Query Evaluation (AVG), pp. 155–165.

CSCW-1986-MaloneGLRR #coordination

Semi-structured messages are surprisingly useful for computer-supported coordination (TWM, KRG, KYL, RR, DR), pp. 102–114.

SIGIR-1984-Christodoulakis #development #framework

Framework for the Development of an Experimental Mixed-Mode Message System (SC), pp. 1–20.

SOSP-1983-BorgBG #fault tolerance

A Message System Supporting Fault Tolerance (AB, JB, SG), pp. 90–99.

POPL-1982-Wall

Messages as Active Agents (DWW), pp. 34–39.

VLDB-1981-Tsichritzis #database

Integrating Data Base and Message Systems (Invited Paper) (DT), pp. 356–362.

ICSE-1981-CunhaM #data type #programming

Resource = Abstract Data Type + Synchronization — A Methodology for Message Oriented Programming (PRFC, TSEM), pp. 263–272.

SIGIR-1980-LandauerM #estimation

Message Extraction Through Estimation of Relevance (CL, CM), pp. 117–138.

FM-1979-Moriconi #design #interactive #network #verification

Interactive Design and Verification: A Message Switching Network Example (MM), pp. 355–388.

SIGIR-1979-LandauerM

Message Extraction Through Estimated Relevance (CL, CM), pp. 64–70.

ICALP-1978-CremersH #using

Mutual Exclusion of N Processors Using an O(N)-Valued Message Variable (Extended Abstract) (ABC, TNH), pp. 165–176.