BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
pass (74)
system (41)
base (34)
use (31)
sequenc (27)

Stem messag$ (all stems)

362 papers:

DATEDATE-2015-LaerEMWJ #multi #predict
Coherence based message prediction for optically interconnected chip multiprocessors (AVL, CE, MRM, PMW, TMJ), pp. 613–616.
FASEFASE-2015-AndriescuMI #automaton #data type #using
Composing Message Translators and Inferring Their Data Types Using Tree Automata (EA, TM, VI), pp. 35–50.
MSRMSR-2015-MauczkaBSG #commit #dataset #developer
Dataset of Developer-Labeled Commit Messages (AM, FB, CS, TG), pp. 490–493.
CHICHI-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.
CHICHI-2015-Gilbert #abstraction
Open Book: A Socially-inspired Cloaking Technique that Uses Lexical Abstraction to Transform Messages (EG), pp. 477–486.
ICMLICML-2015-ManoelKTZ #approximate #estimation #message passing
Swept Approximate Message Passing for Sparse Estimation (AM, FK, EWT, LZ), pp. 1123–1132.
ICMLICML-2015-SunSK #message passing #modelling #visual notation
Message Passing for Collective Graphical Models (TS, DS, AK), pp. 853–861.
KDDKDD-2015-FujiwaraNSIT #adaptation #performance
Adaptive Message Update for Fast Affinity Propagation (YF, MN, HS, YI, MT), pp. 309–318.
MLDMMLDM-2015-PatchalaBG #email #using
Author Attribution of Email Messages Using Parse-Tree Features (JP, RB, SG), pp. 313–327.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-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.
SACSAC-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.
SACSAC-2015-MatlCD #effectiveness #network
Effective manycast messaging for Kademlia network (LM, TC, MJD), pp. 646–652.
ICSEICSE-v2-2015-VasquezCAP #automation #commit #generative #named
ChangeScribe: A Tool for Automatically Generating Commit Messages (MLV, LFCC, JA, DP), pp. 709–712.
HPDCHPDC-2015-BestaH #hardware #memory management #transaction
Accelerating Irregular Computations with Hardware Transactional Memory and Active Messages (MB, TH), pp. 161–172.
PPoPPPPoPP-2015-TallentVDDKH
Diagnosing the causes and severity of one-sided message contention (NRT, AV, HvD, JD, DJK, AH), pp. 130–139.
SOSPSOSP-2015-HooffLZZ #analysis #named #scalability
Vuvuzela: scalable private messaging resistant to traffic analysis (JvdH, DL, MZ, NZ), pp. 137–152.
ISSTAISSTA-2015-ZhangE #detection #fault
Proactive detection of inadequate diagnostic messages for software configuration errors (SZ, MDE), pp. 12–23.
SIGMODSIGMOD-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.
VLDBVLDB-2015-ZhouGSY14 #distributed #graph #named #online #scalability #using
MOCgraph: Scalable Distributed Graph Processing Using Message Online Computing (CZ, JG, BS, JXY), pp. 377–388.
ITiCSEITiCSE-2014-DennyLC #error message #fault #syntax
Enhancing syntax error messages appears ineffectual (PD, ALR, DC), pp. 273–278.
SCAMSCAM-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.
CHICHI-2014-BurgbacherH #gesture #type system #verification
An implicit author verification system for text messages based on gesture typing biometrics (UB, KHH), pp. 2951–2954.
CHICHI-2014-PielotOKO #mobile #predict
Didn’t you see my message?: predicting attentiveness to mobile instant messages (MP, RdO, HK, NO), pp. 3319–3328.
CHICHI-2014-WeiMZ #social #using
Food messaging: using edible medium for social messaging (JW, XM, SZ), pp. 2873–2882.
HCIHCI-AS-2014-ParkKL #case study #smarttech
A Study of Emoticon Use in Instant Messaging from Smartphone (TWP, SJK, GL), pp. 155–165.
VISSOFTVISSOFT-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.
ICMLICML-c2-2014-PachecoZBS
Preserving Modes and Messages via Diverse Particle Selection (JP, SZ, MJB, EBS), pp. 1152–1160.
SIGIRSIGIR-2014-BianYC #microblog #network #predict
Predicting trending messages and diffusion participants in microblogging network (JB, YY, TSC), pp. 537–546.
PPDPPPDP-J-2012-JaksicP14 #exception
Exception handling for copyless messaging (SJ, LP), pp. 22–51.
SACSAC-2014-ZeilemakerSP #network #scalability
Large-scale message synchronization in challenged networks (NZ, BS, JAP), pp. 481–488.
ASPLOSASPLOS-2014-BanabicCG #distributed
Finding trojan message vulnerabilities in distributed systems (RB, GC, RG), pp. 113–126.
PPoPPPPoPP-2014-PetrovicRS #concurrent #hardware #message passing #performance #thread
Leveraging hardware message passing for efficient thread synchronization (DP, TR, AS), pp. 143–154.
VMCAIVMCAI-2014-JezequelE #algorithm #distributed #message passing #protocol #verification
Message-Passing Algorithms for the Verification of Distributed Protocols (LJ, JE), pp. 222–241.
ASEASE-2013-Fard #behaviour #detection #distributed #independence #using
Detecting and fixing emergent behaviors in Distributed Software Systems using a message content independent method (FHF), pp. 746–749.
SASSAS-2013-MajumdarMW #message passing #source code #verification
Static Provenance Verification for Message Passing Programs (RM, RM, ZW), pp. 366–387.
STOCSTOC-2013-LenzenP #performance #using
Fast routing table construction using small messages: extended abstract (CL, BPS), pp. 381–390.
CHICHI-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.
CHICHI-2013-SunZDRX #comprehension
Messaging to your doctors: understanding patient-provider communications via a portal system (SS, XZ, JCD, STR, HX), pp. 1739–1748.
CHICHI-2013-YunA
A text message a day keeps the pulmonologist away (TJY, RIA), pp. 1769–1778.
CSCWCSCW-2013-NguyenF #communication #process
Effect of message content on communication processes in intercultural and same-culture instant messaging conversations (DTN, SRF), pp. 19–32.
ICEISICEIS-v2-2013-MoraesSPP #architecture #pervasive #reuse #towards
Towards a Reusable Architecture for Message Exchange in Pervasive Healthcare (JLCdM, WLdS, LFP, AFdP), pp. 391–400.
ICMLICML-c2-2013-WangK13a #approach #message passing #problem
Subproblem-Tree Calibration: A Unified Approach to Max-Product Message Passing (HW, DK), pp. 190–198.
ICMLICML-c3-2013-QiG #message passing
Message passing with l1 penalized KL minimization (YQ, YG), pp. 262–270.
SACSAC-2013-CampioloSBG #security #twitter
Evaluating the utilization of Twitter messages as a source of security alerts (RC, LAFS, DMB, MAG), pp. 942–943.
SACSAC-2013-LaboreiroBSRO #microblog
Determining language variant in microblog messages (GL, MB, LS, EMR, ECO), pp. 902–907.
SACSAC-2013-SolankiRBGB #embedded #parsing #performance
Improving the performance of message parsers for embedded systems (JS, LR, YDB, BLG, TFB), pp. 1505–1510.
ESEC-FSEESEC-FSE-2013-GarciaPSHM #distributed #identification
Identifying message flow in distributed event-based systems (JG, DP, GS, WGJH, NM), pp. 367–377.
PPoPPPPoPP-2013-EdmondsWL #algorithm #graph #using
Expressing graph algorithms using generalized active messages (NE, JW, AL), pp. 289–290.
CSLCSL-2013-Kuusisto #automaton #distributed #logic #message passing
Modal Logic and Distributed Message Passing Automata (AK), pp. 452–468.
ICTSSICTSS-2013-StepienP #challenge #testing #using
Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3 (BS, LP), pp. 207–222.
ICSTSAT-2013-Gableske #heuristic #message passing #on the #satisfiability
On the Interpolation between Product-Based Message Passing Heuristics for SAT (OG), pp. 293–308.
DATEDATE-2012-AxerSE #bound #probability
Probabilistic response time bound for CAN messages with arbitrary deadlines (PA, MS, RE), pp. 1114–1117.
HTHT-2012-FahlHMS #named #network #social
TrustSplit: usable confidentiality for social network messaging (SF, MH, TM, MS), pp. 145–154.
SIGMODSIGMOD-2012-XueYC
Temporal provenance discovery in micro-blog message streams (abstract only) (ZX, JY, BC), p. 864.
FASEFASE-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.
TACASTACAS-2012-BouajjaniE #analysis #bound #message passing #source code
Bounded Phase Analysis of Message-Passing Programs (AB, ME), pp. 451–465.
CSCWCSCW-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.
CAiSECAiSE-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.
ECIRECIR-2012-TamFL #approach #automation #email
Automatic Foldering of Email Messages: A Combination Approach (TT, AF, AL), pp. 232–243.
KDDKDD-2012-ZhouJL #community #profiling #social
Community discovery and profiling with social messages (WZ, HJ, YL), pp. 388–396.
SEKESEKE-2012-RakaLM #approach #generative #modelling #product line
Interoperable EMR Message Generation: A Model-Driven Software Product Line Approach (DR, SHL, MM), pp. 537–540.
OOPSLAOOPSLA-2012-LucasER #detection #distributed #problem #sequence
Detecting problematic message sequences and frequencies in distributed systems (CL, SGE, DSR), pp. 915–926.
TOOLSTOOLS-EUROPE-2012-NgYH #optimisation #parallel #programming
Multiparty Session C: Safe Parallel Programming with Message Optimisation (NN, NY, KH), pp. 202–218.
PPDPPPDP-2012-JaksicP #exception
Exception handling for copyless messaging (SJ, LP), pp. 151–162.
SACSAC-2012-Longuet #sequence chart #testing
Global and local testing from Message Sequence Charts (DL), pp. 1332–1338.
ISMMISMM-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.
VMCAIVMCAI-2012-MorseVMM #c #message passing #modelling #source code
Modeling Asynchronous Message Passing for C Programs (EM, NV, EM, JM), pp. 332–347.
CASECASE-2011-PuiuM #communication #realtime
The time delay control of CAN messages for real-time communication (DP, FM), pp. 631–636.
ESOPESOP-2011-BonoMP #message passing #type system
Typing Copyless Message Passing (VB, CM, LP), pp. 57–76.
CSCWCSCW-2011-FetterG #experience #named
PRIMIExperience: experience sampling via instant messaging (MF, TG), pp. 629–632.
HCIHCI-DDA-2011-OttoFR #flexibility #human-computer #middleware
Message Oriented Middleware for Flexible Wizard of Oz Experiments in HCI (MO, RF, DFR), pp. 121–130.
HCIHIMI-v2-2011-YonemuraK #case study
Study on Accessibility of Urgent Message Transmission Service in a Disaster (SY, KK), pp. 446–450.
HCIIDGD-2011-Dai #communication #development #interactive #mobile
New Development of Mobile Instant Messaging: Virtual Body Communication Interaction (LD), pp. 483–489.
HCIIDGD-2011-LiRH #communication #difference
The Impact of Cultural Differences on Instant Messaging Communication in China and Germany (HL, PLPR, AH), pp. 75–84.
CAiSECAiSE-2011-DornD #process #self
Supporting Dynamic, People-Driven Processes through Self-learning of Message Flows (CD, SD), pp. 657–671.
CAiSECAiSE-2011-GuabtniNB #correlation #graph #interactive #using
Using Graph Aggregation for Service Interaction Message Correlation (AG, HRMN, BB), pp. 642–656.
EDOCEDOC-2011-Halle #contract #logic #message passing
Causality in Message-Based Contract Violations: A Temporal Logic “Whodunit” (SH), pp. 171–180.
CIKMCIKM-2011-HuTL #microblog #semantics #using
Enhancing accessibility of microblogging messages using semantic knowledge (XH, LT, HL), pp. 2465–2468.
CIKMCIKM-2011-KarwegHB #evolution #network #social
Evolving social search based on bookmarks and status messages from social networks (BK, CH, KB), pp. 1825–1834.
ICMLICML-2011-KnowlesGG #algorithm #message passing
Message Passing Algorithms for the Dirichlet Diffusion Tree (DAK, JVG, ZG), pp. 721–728.
MLDMMLDM-2011-ChenHCS #detection #email #similarity
Authorship Similarity Detection from Email Messages (XC, PH, RC, KPS), pp. 375–386.
ECOOPECOOP-2011-Bergel #execution #smalltalk
Counting Messages as a Proxy for Average Execution Time in Pharo (AB), pp. 533–557.
OnwardOnward-2011-MarceauFK #error message #fault #interactive
Mind your language: on novices’ interactions with error messages (GM, KF, SK), pp. 3–18.
PADLPADL-2011-Brown #combinator #haskell #message passing
Combinators for Message-Passing in Haskell (NCCB), pp. 19–33.
PADLPADL-2011-ChristakisS #detection #fault #message passing #static analysis #using
Detection of Asynchronous Message Passing Errors Using Static Analysis (MC, KFS), pp. 5–18.
SACSAC-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.
SACSAC-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.
SACSAC-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.
ICSEICSE-2011-KumarKRL #graph #mining #sequence
Mining message sequence graphs (SK, SCK, AR, DL), pp. 91–100.
HPCAHPCA-2011-GuLKS #named
MOPED: Orchestrating interprocess message data on CMPs (JG, SSL, RK, YS), pp. 111–120.
PPoPPPPoPP-2011-NegaraKA #message passing #performance
Inferring ownership transfer for efficient message passing (SN, RKK, GAA), pp. 81–90.
ICSTICST-2011-DanH #consistency #sequence chart #testing
Conformance Testing from Message Sequence Charts (HD, RMH), pp. 279–288.
ICSTICST-2011-GoKKL #approach #generative #testing #variability
A Systematic Test Case Generation Approach for Testing Message Length Variability (KG, SK, MK, JL), pp. 397–406.
VMCAIVMCAI-2011-SiegelG #analysis #formal method #message passing
Formal Analysis of Message Passing — (Invited Talk) (SFS, GG), pp. 2–18.
DATEDATE-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.
STOCSTOC-2010-Montanari #algorithm #message passing
Message passing algorithms: a success looking for theoreticians (AM), pp. 37–38.
CHICHI-2010-HartmannMBK #error message #fault #what
What would other programmers do: suggesting solutions to error messages (BH, DM, JB, SRK), pp. 1019–1028.
CHICHI-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.
CHICHI-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.
CSCWCSCW-2010-NaamanBL #social
Is it really about me?: message content in social awareness streams (MN, JB, CHL), pp. 189–192.
ICEISICEIS-DISI-2010-BohmHL #clustering #multi #optimisation #queue
Multi-process Optimization Via Horizontal Message Queue Partitioning (MB, DH, WL), pp. 5–14.
ICEISICEIS-J-2010-BohmHL10a #clustering #multi #optimisation #queue
Multi-flow Optimization via Horizontal Message Queue Partitioning (MB, DH, WL), pp. 31–47.
ICEISICEIS-J-2010-BottcherHM10a #using #xml
Using XML Schema Subtraction to Compress Electronic Payment Messages (SB, RH, CM), pp. 451–463.
ICEISICEIS-SAIC-2010-BottcherHM #xml
Queryable SEPA Message Compression by XML Schema Subtraction (SB, RH, CM), pp. 23–29.
ICEISICEIS-SAIC-2010-Kristensen #abstraction #collaboration #message passing #using
Abstraction from Collaboration between Agents using Asynchronous Message-passing (BBK), pp. 86–92.
CIKMCIKM-2010-TianWWRCM #detection #mobile #topic
Topic detection and organization of mobile text messages (YT, WW, XW, JR, CC, JM), pp. 1877–1880.
ICPRICPR-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.
ICPRICPR-2010-Ogawara #approximate
Approximate Belief Propagation by Hierarchical Averaging of Outgoing Messages (KO), pp. 1368–1372.
SACSAC-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.
FSEFSE-2010-HalleB #analysis #interactive #message passing #using
Realizability analysis for message-based interactions using shared-state projections (SH, TB), pp. 27–36.
ICPCICPC-2009-KarumuriR #automation #detection
Automatic detection of internal queues and stages in message processing systems (SK, SPR), pp. 315–316.
PEPMPEPM-2009-BoustaniH #error message #fault #java
Improving type error messages for generic java (NEB, JH), pp. 131–140.
STOCSTOC-2009-AroraDS #algorithm #message passing
Message passing algorithms and improved LP decoding (SA, CD, DS), pp. 3–12.
IFMIFM-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.
CHICHI-2009-BrownSKH #communication
Exploring the potential of audio-tactile messaging for remote interpersonal communication (LMB, AS, RK, RHRH), pp. 1527–1530.
CHICHI-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.
CHICHI-2009-Otterbacher #community #online #quality
“Helpfulness” in online communities: a measure of message quality (JO), pp. 955–964.
HCIHCD-2009-Stiso
Frequency of Usage and Feelings of Connectedness in Instant Messaging by Age, Sex, and Civil Status (MES), pp. 562–569.
HCIHCI-NIMT-2009-Ito #case study
Preliminary Study on Vibrotactile Messaging for Sharing Brief Information (TI), pp. 451–460.
HCIHCI-NIMT-2009-LiCMY #gesture
Emotions and Messages in Simple Robot Gestures (JL, MHC, SM, MY), pp. 331–340.
HCIHCI-NT-2009-RaoCJB #concurrent #exclamation #how #people
“You’ve Got IMs!” How People Manage Concurrent Instant Messages (SR, JC, RJ, RB), pp. 500–509.
HCIHIMI-DIE-2009-MinakuchiM #email #named
Richbiff: E-Mail Message Notification with Richer Clues (MM, HM), pp. 570–578.
CIKMCIKM-2009-ChenL #product line
Message family propagation for ising mean field based on iteration tree (YC, SL), pp. 345–354.
MODELSMoDELS-2009-ShtelmaCM #domain-specific language #execution #integration #message passing
Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
MODELSMoDELS-2009-ShtelmaCM #domain-specific language #execution #integration #message passing
Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
SACSAC-2009-KrocSS #heuristic #message passing #satisfiability
Message-passing and local heuristics as decimation strategies for satisfiability (LK, AS, BS), pp. 1408–1414.
SACSAC-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.
SACSAC-2009-Pohja
Server push with instant messaging (MP), pp. 653–658.
CGOCGO-2009-Bronevetsky #data flow #message passing #parallel
Communication-Sensitive Static Dataflow for Parallel Message Passing Applications (GB), pp. 1–12.
DATEDATE-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.
DATEDATE-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.
FoSSaCSFoSSaCS-2008-DarondeauGH #sequence chart
Products of Message Sequence Charts (PD, BG, LH), pp. 458–473.
STOCSTOC-2008-Gavinsky #interactive #quantum
Classical interaction cannot replace a quantum message (DG), pp. 95–102.
SEFMSEFM-2008-BhatejaM #message passing #testing
Tagging Make Local Testing of Message-Passing Systems Feasible (PB, MM), pp. 171–180.
CAiSECAiSE-2008-SerrourGKB #correlation #interactive #protocol
Message Correlation and Business Protocol Discovery in Service Interaction Logs (BS, DPG, HK, BB), pp. 405–419.
EDOCEDOC-2008-HalleV #message passing #monitoring #runtime #workflow
Runtime Monitoring of Message-Based Workflows with Data (SH, RV), pp. 63–72.
EDOCEDOC-2008-NitzscheLL #multi
Extending BPELlight for Expressing Multi-Partner Message Exchange Patterns (JN, TvL, FL), pp. 245–254.
ICEISICEIS-DISI-2008-BohmWHL08a #integration #process
Message Indexing for Document-Oriented Integration Processes (MB, UW, DH, WL), pp. 137–142.
ECIRECIR-2008-CarvalhoC #ranking
Ranking Users for Intelligent Message Addressing (VRC, WWC), pp. 321–333.
ICMLICML-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.
RERE-2008-Kof #generative #sequence chart
From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction (LK), pp. 331–332.
SACSAC-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.
SACSAC-2008-ChbeirCLY #information management
Track on Advances in Spatial and Image-Based Information Systems (ASIIS): editorial message (RC, CC, KJL, KY), p. 851.
SACSAC-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.
SACSAC-2008-FreireVMP #network
Track on Computer Networks: editorial message (MMF, TV, EM, MP), p. 2040.
SACSAC-2008-Hassan #automation #classification #open source
Automated classification of change messages in open source projects (AEH), pp. 837–841.
SACSAC-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.
SACSAC-2008-LobatoBNTP #middleware #semantics
Exploiting semantic information on a message exchanging middleware (DCL, MQB, RBN, CACT, MdGCP), pp. 514–515.
SACSAC-2008-WongSS #re-engineering
Message from the software engineering track chairs: editorial (WEW, COS, SYS), p. 660.
DATEDATE-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.
ICDARICDAR-2007-ProchassonVM #modelling
Language Models for Handwritten Short Message Services (EP, CVG, EM), pp. 83–87.
TACASTACAS-2007-ElkindGP #detection #sequence chart
Detecting Races in Ensembles of Message Sequence Charts (EE, BG, DP), pp. 420–434.
PLDIPLDI-2007-LernerFGC #error message
Searching for type-error messages (BSL, MF, DG, CC), pp. 425–434.
LATALATA-2007-BolligK #automaton #logic #message passing
Muller Message-Passing Automata and Logics (BB, DK), pp. 163–174.
SEFMSEFM-2007-GrandyBSR #encoding #named #protocol #security
ASN1-light: A Verified Message Encoding for Security Protocols (HG, RB, KS, WR), pp. 195–204.
HCIHCI-AS-2007-ChoiLU #analysis #internet #user interface
Analysis of Internet Users’ Interests Based on Windows GUI Messages (JC, GL, YU), pp. 881–888.
HCIHCI-IPT-2007-CaoE #privacy #towards
Influence of Culture on Attitude Towards Instant Messaging: Balance Between Awareness and Privacy (JC, AE), pp. 236–240.
HCIHCI-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.
HCIHCI-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.
HCIHIMI-IIE-2007-MaILJ
Use of Chinese Short Messages (DM, FI, YL, LJ), pp. 582–591.
HCIHIMI-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.
HCIOCSC-2007-NeviarouskayaPI #communication #online #recognition
Recognition of Affect Conveyed by Text Messaging in Online Communication (AN, HP, MI), pp. 141–150.
EDOCEDOC-2007-MartinWSL #comparison
An EAI Pattern-Based Comparison of Spaces and Messaging (DM, DW, TS, FL), p. 511–?.
EDOCEDOC-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.
EDOCEDOC-2007-TakaseT #framework #performance #web #web service
Efficient Web Services Message Exchange by SOAP Bundling Framework (TT, KT), pp. 63–74.
ICEISICEIS-EIS-2007-MehrS #modelling #security #uml
Modelling of Message Security Concerns with UML (FM, US), pp. 365–374.
ICEISICEIS-SAIC-2007-SchallGD #ad hoc #collaboration
Pattern-Based Collaboration in Ad-Hoc Teams Through Message Annotation (DS, RG, SD), pp. 84–91.
CIKMCIKM-2007-CormackHS
Spam filtering for short messages (GVC, JMGH, EPS), pp. 313–320.
CIKMCIKM-2007-FortunaRM #analysis #classification #network #social
Improving the classification of newsgroup messages through social network analysis (BF, EMR, NMF), pp. 877–880.
ICMLICML-2007-KimC #algorithm #geometry #message passing
Neighbor search with global geometry: a minimax message passing algorithm (KHK, SC), pp. 401–408.
TOOLSTOOLS-EUROPE-2007-VallejosCBMDM #message passing
The Message-Oriented Mobility Model (JV, TVC, EGB, SM, JD, WDM), pp. 363–382.
POPLPOPL-2007-ReppyX #message passing
Specialization of CML message-passing primitives (JHR, YX), pp. 315–326.
SACSAC-2007-ChengLW #automation #web #web service
Automatic enactment of message exchange pattern for web services (XC, LL, JW), pp. 1649–1653.
SACSAC-2007-HallerKVO
Handling heterogeneity in RosettaNet messages (AH, PK, TV, EO), pp. 1368–1374.
ESEC-FSEESEC-FSE-2007-RoychoudhuryGS #sequence chart
Symbolic message sequence charts (AR, AG, BS), pp. 275–284.
HPDCHPDC-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.
PPoPPPPoPP-2007-BaudeCDH #consistency
Promised messages: recovering from inconsistent global states (FB, DC, CD, LH), pp. 154–155.
ASEASE-2006-BookGM #framework #user interface
An Instant Message-Driven User Interface Framework for Thin Client Applications (MB, VG, GM), pp. 257–260.
DACDAC-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.
FoSSaCSFoSSaCS-2006-BackesMPV #analysis #encryption
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario (MB, SM, BP, LV), pp. 428–445.
TACASTACAS-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.
CHICHI-2006-AvrahamiH #communication #latency #modelling #predict
Responsiveness in instant messaging: predictive models supporting inter-personal communication (DA, SEH), pp. 731–740.
CHICHI-2006-WeiszEK
Synchronous broadcast messaging: the use of ICT (JDW, TE, WAK), pp. 1293–1302.
CSCWCSCW-2006-AvrahamiH #communication #predict
Communication characteristics of instant messaging: effects and predictions of interpersonal relationships (DA, SEH), pp. 505–514.
CSCWCSCW-2006-GutwinFWDB #network #performance #realtime
Improving network efficiency in real-time groupware with general message compression (CG, CF, MW, JD, TB), pp. 119–128.
CSCWCSCW-2006-KayanFS #difference
Cultural differences in the use of instant messaging in Asia and North America (SK, SRF, LDS), pp. 525–528.
CSCWCSCW-2006-SellenHEIRTW #named
HomeNote: supporting situated messaging in the home (AS, RHRH, RE, SI, TR, AST, KRW), pp. 383–392.
CSCWCSCW-2006-VoidaM #analysis #challenge #multimodal
Challenges in the analysis of multimodal messaging (AV, EDM), pp. 427–430.
ICEISICEIS-DISI-2006-OngSKO #data transformation #evaluation #mobile
Data Management System Evaluation for Mobile Messaging Services (DCCO, RS, SK, RO), pp. 226–231.
SIGIRSIGIR-2006-ShenYSC #concurrent #detection #thread
Thread detection in dynamic text message streams (DS, QY, JTS, ZC), pp. 35–42.
HPDCHPDC-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.
ICTSSTestCom-2006-ShuL #monitoring #protocol #security #testing
Message Confidentiality Testing of Security Protocols — Passive Monitoring and Active Checking (GS, DL), pp. 357–372.
CBSECBSE-2005-LiuG #performance #predict #protocol #using
Performance Prediction of J2EE Applications Using Messaging Protocols (YL, IG), pp. 1–16.
WICSAWICSA-2005-PoortAKW #architecture
Successful Architecture for Short Message Service Center (ERP, HA, AK, PHNdW), pp. 299–300.
DATEDATE-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.
VLDBVLDB-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.
TACASTACAS-2005-Genest #composition #sequence chart
Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs (BG), pp. 429–444.
CHICHI-2005-DabbishKFK #comprehension #email #predict
Understanding email use: predicting action on a message (LAD, REK, SRF, SBK), pp. 691–700.
CHICHI-2005-JungPB #design #evaluation #mobile #named
DeDe: design and evaluation of a context-enhanced mobile messaging system (YJ, PP, JB), pp. 351–360.
CHICHI-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.
ICEISICEIS-v4-2005-TosicZ #fault tolerance
Generic Fault-Tolerant Layer Supporting Publish/Subscribe Messaging (MT, ABZ), pp. 111–118.
SEKESEKE-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.
SACSAC-2005-QuagliaR #coordination #persistent #reliability
Reliability in three-tier systems without application server coordination and persistent message queues (FQ, PR), pp. 718–723.
SACSAC-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.
PPoPPPPoPP-2005-ThiesKSRA #distributed #source code
Teleport messaging for distributed stream programs (WT, MK, JS, RMR, SPA), pp. 224–235.
IFLIFL-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.
CHICHI-2004-FussellKSS #multi
Effects of instant messaging on the management of multiple project trajectories (SRF, SBK, LDS, PS), pp. 191–198.
CHICHI-2004-HuangRS #interactive #scalability
IM here: public instant messaging on large, shared displays for workgroup interactions (EMH, DMR, AES), pp. 279–286.
CSCWCSCW-2004-AvrahamiH #latency #named #performance
QnA: augmenting an instant messaging client to balance user responsiveness and performance (DA, SEH), pp. 515–518.
CSCWCSCW-2004-Campbell #framework
Instant messages: a framework for reading between the lines (JDC), pp. 519–522.
CSCWCSCW-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.
CAiSECAiSE-2004-ZdravkovicJ #process
Cooperation of Processes through Message Level Agreement (JZ, PJ), pp. 564–579.
ICEISICEIS-v1-2004-SadiqOSS #process
Facilitating Business Process Management with Harmonized Messaging (SWS, MEO, WS, KAS), pp. 30–36.
ICEISICEIS-v3-2004-CostaCA #named
P-Manager: Actions vs. Messages (CJC, JPC, MA), pp. 643–646.
ICEISICEIS-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.
ICPRICPR-v4-2004-YuWT #estimation #on the
On Estimation of Secret Message Length in JSteg-like Steganography (XY, YW, TT), pp. 673–676.
KDDKDD-2004-DavidsonP #image
Locating secret messages in images (ID, GP), pp. 545–550.
SEKESEKE-2004-Flake #concept #constraints #ocl
Enhancing the Message Concept of the Object Constraint Language (SF), pp. 161–166.
SACSAC-2004-BellaR #security
Editoral message: special track on computer security (GB, PR), pp. 373–374.
SACSAC-2004-CarmeliGHNNSV #reliability #throughput
High throughput reliable message dissemination (BC, GG, AH, NN, HN, JS, PV), pp. 322–327.
SACSAC-2004-OssowskiM #coordination #modelling
Editoral message: special track on coordination models, languages and applications (SO, RM), pp. 447–448.
ISMMISMM-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.
CSLCSL-2004-EmersonK #message passing #model checking
Parameterized Model Checking of Ring-Based Message Passing Systems (EAE, VK), pp. 325–339.
VLDBVLDB-2003-DiaoF #query #xml
Query Processing for High-Volume XML Message Brokering (YD, MJF), pp. 261–272.
SASSAS-2003-CarlssonSW #analysis #concurrent
Message Analysis for Concurrent Languages (RC, KFS, JW), pp. 73–90.
ICALPICALP-2003-JainRS #communication #complexity #theorem
A Direct Sum Theorem in Communication Complexity via Message Compression (RJ, JR, PS), pp. 300–315.
CHICHI-2003-ForlizziLH #using
The kinedit system: affective messages using dynamic texts (JF, JCL, SEH), pp. 377–384.
CHICHI-2003-GrinterE
Wan2tlk?: everyday text messaging (REG, ME), pp. 441–448.
EDOCEDOC-2003-GortonACHH #performance #scalability
An Efficient, Scalable Content-Based Messaging System (IG, JA, NC, JH, MH), pp. 278–287.
ICEISICEIS-v1-2003-FatoohiG #distributed #execution #using #web
A Distributed Job Execution Environment Using Asynchronous Messaging and Web Technologies (RF, NG), pp. 246–251.
ICEISICEIS-v3-2003-LiongM #dependence #design #source code
Computing Message Dependencies in System Designs and Programs (BLL, LAM), pp. 619–622.
KDDKDD-2003-ArgamonSS #mining #multi
Style mining of electronic messages for multiple authorship discrimination: first results (SA, MS, SSS), pp. 475–480.
RERE-2003-SenguptaC #modelling #requirements #sequence chart #using
Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts (BS, RC), pp. 95–104.
CAVCAV-2003-SenguptaC #named #sequence chart
TRIM: A Tool for Triggered Message Sequence Charts (BS, RC), pp. 106–109.
VMCAIVMCAI-2003-MeenakshiR #message passing #reasoning
Reasoning about Layered Message Passing Systems (BM, RR), pp. 268–282.
VLDBVLDB-2002-KounevB #data access
Improving Data Access of J2EE Applications by Exploiting Asynchronous Messaging and Caching Services (SK, APB), pp. 574–585.
SCAMSCAM-2002-RillingLG #message passing #slicing #source code
Predicate-Based Dynamic Slicing of Message Passing Programs (JR, HFL, DG), p. 133–?.
DLTDLT-2002-Adorna #nondeterminism #on the
On the Separation between k-Party and (k-1)-Party Nondeterministic Message Complexities (HNA), pp. 152–161.
ICALPICALP-2002-ChristerssonGL #ad hoc #bound #network
Gossiping with Bounded Size Messages in ad hoc Radio Networks (MC, LG, AL), pp. 377–389.
ICALPICALP-2002-KhannaNR #communication #protocol
Control Message Aggregation in Group Communication Protocols (SK, JN, DR), pp. 135–146.
CHICHI-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.
CHICHI-2002-HerbslebABHF #chat
Introducing instant messaging and chat in the workplace (JDH, DLA, DGB, MH, TAF), pp. 171–178.
CHICHI-2002-VoidaNM
When conventions collide: the tensions of instant messaging attributed (AV, WN, EDM), pp. 187–194.
CSCWCSCW-2002-GrinterP
Instant messaging in teen life (REG, LP), pp. 21–30.
CSCWCSCW-2002-IsaacsWWSK
The character, functions, and styles of instant messaging in the workplace (EI, AW, SW, DJS, CAK), pp. 11–20.
ICEISICEIS-2002-SongLK #design #implementation
Design and Implementation of a Message Service Handler for EBXML (EJS, HSL, TGK), pp. 1064–1069.
ICMLICML-2002-FitzgibbonDA #approximate #monte carlo #polynomial
Univariate Polynomial Inference by Monte Carlo Message Length Approximation (LJF, DLD, LA), pp. 147–154.
SEKESEKE-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.
SIGIRSIGIR-2002-Rijsbergen #information retrieval
Landmarks in information retrieval: the message out of the bottle (CJvR), p. 1.
POPLPOPL-2002-ChakiRR #message passing #model checking #modelling #source code
Types as models: model checking message-passing programs (SC, SKR, JR), pp. 45–57.
SACSAC-2002-HaratyZ #database #library
Database and digital library technologies: track chairs message (RAH, MZ), p. 401.
SACSAC-2002-Jurjens #message passing #semantics #uml
A UML statecharts semantics with message-passing (JJ), pp. 1009–1013.
FSEFSE-2002-SenguptaC #sequence chart
Triggered message sequence charts (BS, RC), pp. 167–176.
ICSEICSE-2002-BlausteinOB #graph #sequence chart
Observing timed systems by means of message sequence chart graphs (SB, FO, VAB), p. 707.
ISMMISMM-2002-JohanssonSW #architecture #concurrent #message passing #using
Heap architectures for concurrent languages using message passing (EJ, KFS, JW), pp. 195–206.
CAVCAV-2002-RajamaniR #consistency #message passing #modelling
Conformance Checking for Models of Asynchronous Message Passing Software (SKR, JR), pp. 166–179.
ASEASE-2001-GrundyMHK #generative #specification #visual notation
Generating EDI Message Translations from Visual Specifications (JCG, RM, JGH, PK), pp. 35–42.
FoSSaCSFoSSaCS-2001-Morin #on the #sequence chart #traceability
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory (RM), pp. 332–346.
TACASTACAS-2001-GunterMP #composition #sequence chart
Compositional Message Sequence Charts (ELG, AM, DP), pp. 496–511.
ICALPICALP-2001-Madhusudan #behaviour #branch #graph #reasoning #sequence
Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs (PM), pp. 809–820.
ICALPICALP-2001-MuschollP #communication #finite #protocol #sequence chart
From Finite State Communication Protocols to High-Level Message Sequence Charts (AM, DP), pp. 720–731.
EDOCEDOC-2001-TaiMRS #distributed #named #transaction
Dependency-Spheres: A Global Transaction Context for Distributed Objects and Messages (ST, TAM, IR, SMSJ), p. 105–?.
ICEISICEIS-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.
UMLUML-2001-DevosS #analysis #object-oriented #paradigm
The Message Paradigm in Object-Oriented Analysis (FD, ES), pp. 182–193.
SACSAC-2001-MaddiD #algorithm #performance
An efficient algorithm for causal messages ordering (AM, FD), pp. 499–503.
SACSAC-2001-Omicini #coordination #modelling
Coordination models, languages applications track chair messages (AO), pp. 105–106.
FSEESEC-FSE-2001-UchitelKM #detection #sequence chart #specification
Detecting implied scenarios in message sequence chart specifications (SU, JK, JM), pp. 74–82.
ICALPICALP-2000-HenriksenMKT #graph #on the #sequence
On Message Sequence Graphs and Finitely Generated Regular MSC Languages (JGH, MM, KNK, PST), pp. 675–686.
ICALPICALP-2000-MeenakshiR #finite #message passing #reasoning
Reasoning about Message Passing in Finite State Environments (BM, RR), pp. 487–498.
CHICHI-2000-Balter #analysis #email
Keystroke level analysis of email message organization (OB), pp. 105–112.
CSCWCSCW-2000-NardiWB #interactive
Interaction and outeraction: instant messaging in action (BAN, SW, EB), pp. 79–88.
CSCWCSCW-2000-TangBRI
Instant messaging: products meet workplace users (JCT, AdB, MBR, EI), p. 363.
SIGIRSIGIR-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.
TOOLSTOOLS-PACIFIC-2000-HsiaoLY #corba
An Asynchronous Message Exchange System on CORBA (TYH, WTL, SMY), pp. 14–23.
TOOLSTOOLS-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.
SACSAC-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.
SACSAC-2000-SchimkatMK #lightweight #message passing
A Lightweight, Message-Oriented Application Server for the WWW (RDS, SM, WK), pp. 934–941.
ICSEICSE-2000-AlurEY #sequence chart
Inference of message sequence charts (RA, KE, MY), pp. 304–313.
LCTESLCTES-2000-BelloM #network #scheduling
Randomization-Based Approaches for Dynamic Priority Scheduling of Aperiodic Messages on a CAN Network (LLB, OM), pp. 1–18.
FoSSaCSFoSSaCS-1999-Muscholl #sequence chart #specification
Matching Specifications for Message Sequence Charts (AM), pp. 273–287.
IFMIFM-1999-Hennessy #calculus #message passing #process #proving
Proof Systems for Message-Passing Process Calculi (MH), p. 26.
CHICHI-1999-SawhneyS #smarttech
Nomadic Radio: Scaleable and Contextual Notification for Wearable Audio Messaging (NS, CS), pp. 96–103.
ICEISICEIS-1999-FanCY
Blind Signatures with Double-Hashes Messages for Fair Electronic Elections and Ownership Claimable Digital Cash (CIF, WKC, YSY), pp. 612–618.
ECOOPECOOP-1999-GaspariZ #algebra #corba #process #specification
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service (MG, GZ), pp. 495–518.
SACSAC-1999-Haynes99a #adaptation #message passing
Distributing Collective Adaptation via Message Passing (TH), pp. 501–505.
SACSAC-1999-PuntigamP #component #concurrent #interface
Changeable Interfaces and Promised Messages for Concurrent Components (FP, CP), pp. 141–145.
HPCAHPCA-1999-KuoCK #message passing #named
MP-LOCKs: Replacing H/W Synchronization Primitives with Message Passing (CCK, JBC, RK), pp. 284–288.
HPDCHPDC-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.
ASEASE-1998-LeueMR #architecture #sequence chart #specification
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications (SL, LM, MR), pp. 192–195.
DATEDATE-1998-Putzke-RomingRN #flexibility #message passing
A Flexible Message Passing Mechanism for Objective VHDL (WPR, MR, WN), pp. 242–249.
FoSSaCSFoSSaCS-1998-MuschollPS #sequence chart
Deciding Properties for Message Sequence Charts (AM, DP, ZS), pp. 226–242.
IFLIFL-1998-SerrarensP #concurrent #message passing
Explicit Message Passing for Concurrent Clean (PRS, MJP), pp. 229–245.
AdaSIGAda-1998-PlintaDS #code generation #specification #validation
A Specification and Code Generation Tool for Message Translation and Validation (CP, RD, RVS), pp. 276–286.
TOOLSTOOLS-ASIA-1998-Hsiung98a #message passing #object-oriented #parallel #synthesis
Parallel Object-Oriented Synthesis Environment Based On Message-Passing (PAH), p. 251–?.
POPLPOPL-1998-Nishimura #static typing #type system
Static Typing for Dynamic Messages (SN), pp. 266–278.
HPCAHPCA-1998-MackenzieKFLLAK #performance
Exploiting Two-Case Delivery for Fast Protected Messaging (KM, JK, MF, WL, VL, AA, MFK), pp. 231–242.
HPDCHPDC-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.
HPDCHPDC-1998-LauriaPC #communication #performance
Efficient Layering for High Speed Communication: Fast Messages 2.x (ML, SP, AAC), pp. 10–20.
HPDCHPDC-1998-ZhangSL #message passing #source code #using
Dynamically Instrumenting Message-Passing Programs Using Virtual Clocks (KZ, CS, KCL), pp. 340–341.
CAVCAV-1998-Peled98a #sequence chart #tool support
A Toolset for Message Sequence Charts (DP), pp. 532–536.
ICDARICDAR-1997-BaumannADJMWW #documentation
Message Extraction from Printed Documents — A Complete Solution (SB, MBHA, AD, TJ, MM, AW, CW), pp. 1055–1059.
FMFME-1997-BroyGK #message passing #realtime
Reconciling Real-Time with Asynchronous Message Passing (MB, RG, CK), pp. 182–200.
HCIHCI-CC-1997-CaldwellP #evaluation
Longitudinal Evaluation of Adoption and Use Patterns of Electronic Voice Messaging Systems (BSC, PVP), pp. 129–132.
HCIHCI-SEC-1997-ZanottiRC
Human Factors Principles for Variable Message Signs Utilized in Intelligent Transportation Systems (AZ, MLR, GC), pp. 339–342.
EDOCEDOC-1997-IidaK #communication #corba #evaluation #reliability
Evaluation of a Method for Reliable Message Transfer Communication in CORBA (KI, JK), pp. 104–110.
HPCAHPCA-1997-LimHPS #clustering #communication #performance
Message Proxies for Efficient, Protected Communication on SMP Clusters (BHL, PH, PP, MS), pp. 116–127.
HPDCHPDC-1997-FriedmanR #performance #protocol
Packing Messages as a Tool for Boosting the Performance of Total Ordering Protocols (RF, RvR), pp. 233–242.
HPDCHPDC-1997-NetzerX #distributed #game studies #source code
Replaying Distributed Programs without Message Logging (RHBN, YX), pp. 137–147.
HPDCHPDC-1997-YocumCGL
Cut-Through Delivery in Trapeze: An Exercise in Low-Latency Messaging (KY, JSC, AJG, ARL), pp. 243–252.
WPCWPC-1996-EickW #interactive #sequence chart #visualisation
An Interactive Visualization for Message Sequence Charts (SGE, AW), pp. 2–7.
CHICHI-1996-MarxS #named #navigation
MailCall: Message Presentation and Navigation in a Nonvisual Environment (MM, CS), pp. 165–172.
CSCWCSCW-1996-MarxS #named #personalisation
CLUES: Dynamic Personalized Message Filtering (MM, CS), pp. 113–121.
SACSAC-1996-McBride #security
Security considerations for active messages (RAM), pp. 463–467.
SACSAC-1996-PizanoH #concept #multi
Integrated multimedia messaging concepts and applications (AP, TYH), pp. 12–16.
HPDCHPDC-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.
HPDCHPDC-1996-RobinsonRFH #implementation #interface #message passing #migration
A Task Migration Implementation of the Message-Passing Interface (JR, SHR, BKF, BH), pp. 61–68.
ICALPICALP-1995-BermondGRV #performance
Fast Gossiping by Short Messages (JCB, LG, AAR, UV), pp. 135–146.
CIKMCIKM-1995-RossBT #approach #named
MessageWorld: A New Approach to Facilitating Asynchronous Group Communications (DER, JJB, KT), pp. 266–273.
SEKESEKE-1995-LinL #message passing #model checking #protocol #verification
Formal Verification of a Message-Passing Protocol with Model Checking (AL, FL), pp. 296–302.
ECOOPECOOP-1995-DriesenHV #pipes and filters
Message Dispatch on Pipelined Processors (KD, UH, JV), pp. 253–282.
SACSAC-1995-Wong #fuzzy
Fuzzy routing control of service request messages in an individual computing environment (KWW), pp. 548–551.
ICSEICSE-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+SDFASF+SDF-1995-MauwMa #sequence chart #specification #tool support
Specification of Tools for Message Sequence Charts (SM, EAvdM), pp. 175–210.
HPDCHPDC-1995-YadavRH #message passing #parallel #thread
A Multithreaded Message Passing Environment for ATM LAN/WAN (RY, RR, SH), pp. 238–245.
PPoPPPPoPP-1995-SpertusD #locality
Evaluating the Locality Benefits of Active Messages (ES, WJD), pp. 189–198.
PPoPPPPoPP-1995-WallachHJKW #communication #scheduling
Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation (DAW, WCH, KLJ, MFK, WEW), pp. 217–226.
ECOOPECOOP-1994-VitekH #message passing #performance
Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages (JV, RNH), pp. 432–449.
SACSAC-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.
ASPLOSASPLOS-1994-ChandraLR #message passing #question #source code
Where is Time Spent in Message-Passing and Shared-Memory Programs? (SC, JRL, AR), pp. 61–73.
ASPLOSASPLOS-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.
ASPLOSASPLOS-1994-KaramchetiC #question
Software Overhead in Messaging Layers: Where Does the Time Go? (VK, AAC), pp. 51–60.
ICLPICLP-1994-KumonH #concurrent #logic
A New Transformation based on Process-Message Duality for Concurrent Logic Languages (KK, KH), pp. 684–698.
HCIHCI-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.
HCIHCI-SHI-1993-Wang #adaptation
An Adaptive User-Oriented Message Prioritization Scheme (WPW), pp. 784–789.
HCIHCI-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.
TOOLSTOOLS-USA-1993-ChangT #message passing
The Object Support via FIFO-Links on Message-Passing Systems (WTC, CCT), pp. 231–238.
HPDCHPDC-1993-HaririPYPF #distributed #interface #message passing #parallel
A Message Passing Interface for Parallel and Distributed Computing (SH, JP, FKY, MP, GF), pp. 84–91.
PPoPPPPoPP-1993-KranzJAKL #experience #message passing
Integrating Message-Passing and Shared-Memory: Early Experience (DAK, KLJ, AA, JK, BHL), pp. 54–63.
CAVCAV-1993-HennessyL #logic #message passing #process
A Modal Logic for Message passing Processes (Extended Abstract) (MH, XL), pp. 359–370.
DACDAC-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.
STOCSTOC-1992-Leighton #parallel
Methods for Message Routing in Parallel Machines (FTL), pp. 77–96.
ICALPICALP-1992-SantisPY #bound #proving #statistics #verification
One-Message Statistical Zero-Knowledge Proofs and Space-Bounded Verifier (ADS, GP, MY), pp. 28–40.
ECOOPECOOP-1992-GuerraouiCLR #message passing #protocol
Nesting Actions through Asynchronous Message Passing: the ACS Protocol (RG, RC, AL, PR), pp. 170–184.
OOPSLAOOPSLA-1991-Ghelli #message passing #static typing #type system
A Static Type System for Message Passing (GG), pp. 129–145.
DACDAC-1990-Tonkin #message passing #multi
Circuit Extraction on a Message-Based Multiprocessor (BAT), pp. 260–265.
PODSPODS-1990-SoparkarS #clustering
Data-value Partitioning and Virtual Messages (NS, AS), pp. 357–367.
PLDIPLDI-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.
OOPSLAOOPSLA-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.
ASPLOSASPLOS-1989-Delgado-RannauroR
A Message Driven Or-Parallel Machine (SADR, TJR), pp. 217–228.
CSCWCSCW-1988-BorensteinT
Cooperative Work in the Andrew Message System (NSB, CAT), pp. 306–323.
SIGMODSIGMOD-1986-Gelder #evaluation #framework #logic #message passing #query
A Message Passing Framework for Logical Query Evaluation (AVG), pp. 155–165.
CSCWCSCW-1986-MaloneGLRR #coordination
Semi-structured messages are surprisingly useful for computer-supported coordination (TWM, KRG, KYL, RR, DR), pp. 102–114.
SIGIRSIGIR-1984-Christodoulakis #development #framework
Framework for the Development of an Experimental Mixed-Mode Message System (SC), pp. 1–20.
SOSPSOSP-1983-BorgBG #fault tolerance
A Message System Supporting Fault Tolerance (AB, JB, SG), pp. 90–99.
POPLPOPL-1982-Wall
Messages as Active Agents (DWW), pp. 34–39.
VLDBVLDB-1981-Tsichritzis #database
Integrating Data Base and Message Systems (Invited Paper) (DT), pp. 356–362.
ICSEICSE-1981-CunhaM #data type #programming
Resource = Abstract Data Type + Synchronization — A Methodology for Message Oriented Programming (PRFC, TSEM), pp. 263–272.
SIGIRSIGIR-1980-LandauerM #estimation
Message Extraction Through Estimation of Relevance (CL, CM), pp. 117–138.
FMFM-1979-Moriconi #design #interactive #network #verification
Interactive Design and Verification: A Message Switching Network Example (MM), pp. 355–388.
SIGIRSIGIR-1979-LandauerM
Message Extraction Through Estimated Relevance (CL, CM), pp. 64–70.
ICALPICALP-1978-CremersH #using
Mutual Exclusion of N Processors Using an O(N)-Valued Message Variable (Extended Abstract) (ABC, TNH), pp. 165–176.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.