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:
base (32)
search (31)
tutori (29)
type (29)
poster (28)

Stem session$ (all stems)

229 papers:

ITiCSEITiCSE-2015-TollOEW #programming #student
Detailed Recordings of Student Programming Sessions (DT, TO, ME, AW), p. 328.
ESOPESOP-2015-LindleyM #semantics
A Semantics for Propositions as Sessions (SL, JGM), pp. 560–584.
FoSSaCSFoSSaCS-2015-PfenningG
Polarized Substructural Session Types (FP, DG), pp. 3–22.
SFMSFM-2015-CoppoDPY #multi
A Gentle Introduction to Multiparty Asynchronous Session Types (MC, MDC, LP, NY), pp. 146–178.
CSCWCSCW-2015-GiesbrechtCS #mobile
Back in Sight, Back in Mind: Picture-Centric Support for Mobile Counseling Sessions (TG, TC, GS), pp. 486–495.
ECIRECIR-2015-HienertHWK #analysis #named
WHOSE — A Tool for Whole-Session Analysis in IIR (DH, WvH, AW, DK), pp. 172–183.
ECIRECIR-2015-LuoZDY #design #using
Designing States, Actions, and Rewards for Using POMDP in Session Search (JL, SZ, XD, HY), pp. 526–537.
SIGIRSIGIR-2015-Mitra #distributed #query #using
Exploring Session Context using Distributed Representations of Queries and Reformulations (BM), pp. 3–12.
PPDPPPDP-2015-Al-HumaimeedyF #multi #specification #verification
Enhancing the specification and verification techniques of multiparty sessions in SOC (ASAH, MF), pp. 19–30.
PPDPPPDP-2015-CanoRLP #concurrent #declarative
Declarative interpretations of session-based concurrency (MC, CR, HAL, JAP), pp. 67–78.
SACSAC-2015-RyckDPJ #named
SecSess: keeping your session tucked away in your browser (PDR, LD, FP, WJ), pp. 2171–2176.
CCCC-2015-NgCY #code generation #protocol
Protocols by Default — Safe MPI Code Generation Based on Session Types (NN, JGdFC, NY), pp. 212–232.
DATEDATE-2014-RuhrmairSB #how
Special session: How secure are PUFs really? On the reach and limits of recent PUF attacks (UR, US, WB), pp. 1–4.
DATEDATE-2014-ShiC #named
Memcomputing: The cape of good hope: [Extended special session description] (YS, HMC), pp. 1–3.
ICSMEICSME-2014-MinelliBML #development #visual notation
Visual Storytelling of Development Sessions (RM, LB, AM, ML), pp. 416–420.
CHICHI-2014-ChiltonKACLWDMZ #collaboration #data transformation #named
Frenzy: collaborative data organization for creating conference sessions (LBC, JK, PA, FC, JAL, DSW, SPD, RCM, HZ), pp. 1255–1264.
CHICHI-2014-HuangYWZLMLZS #named #using
FOCUS: enhancing children’s engagement in reading by using contextual BCI training sessions (JH, CY, YW, YZ, SL, CM, JL, LZ, YS), pp. 1905–1908.
RecSysRecSys-2014-TavakolB #detection #topic
Factored MDPs for detecting topics of user sessions (MT, UB), pp. 33–40.
SIGIRSIGIR-2014-JiangHA #behaviour
Searching, browsing, and clicking in a search session: changes in user behavior by task and over time (JJ, DH, JA), pp. 607–616.
SIGIRSIGIR-2014-LuoZY #game studies #probability
Win-win search: dual-agent stochastic game in session search (JL, SZ, HY), pp. 587–596.
PPDPPPDP-2014-ChenDY #on the #precise #type system
On the Preciseness of Subtyping in Session Types (TCC, MDC, NY), pp. 135–146.
ESOPESOP-2013-CairesPPT #behaviour #communication #morphism #parametricity #polymorphism
Behavioral Polymorphism and Parametricity in Session-Based Communication (LC, JAP, FP, BT), pp. 330–349.
ESOPESOP-2013-ToninhoCP #higher-order #integration #monad #process
Higher-Order Processes, Functions, and Sessions: A Monadic Integration (BT, LC, FP), pp. 350–369.
ICALPICALP-v2-2013-DenielouY #automaton #communication #multi #synthesis
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types (PMD, NY), pp. 174–186.
ICALPICALP-v2-2013-Padovani #type system
Fair Subtyping for Open Session Types (LP), pp. 373–384.
CSCWCSCW-2013-GeigerH #using #wiki
Using edit sessions to measure participation in wikipedia (RSG, AH), pp. 861–870.
ECIRECIR-2013-FujikawaJN #modelling
Tempo of Search Actions to Modeling Successful Sessions (KF, HJ, SiN), pp. 718–721.
ECIRECIR-2013-GuanY
Increasing Stability of Result Organization for Session Search (DG, HY), pp. 471–482.
ECIRECIR-2013-ZhuGCLN #graph #query #recommendation
Recommending High Utility Query via Session-Flow Graph (XZ, JG, XC, YL, WN), pp. 642–655.
SIGIRSIGIR-2013-BronGNBR #interface #multi
Aggregated search interface preferences in multi-session search tasks (MB, JvG, FN, LBB, MdR), pp. 123–132.
SIGIRSIGIR-2013-GuanZY #query
Utilizing query change for session search (DG, SZ, HY), pp. 453–462.
SIGIRSIGIR-2013-HeBV #multi #query
Characterizing stages of a multi-session complex search task through direct and indirect query modifications (JH, MB, APdV), pp. 897–900.
SIGIRSIGIR-2013-LuoGY #named
InfoLand: information lay-of-land for session search (JL, DG, HY), pp. 1097–1098.
SIGIRSIGIR-2013-RamanBC #towards #web
Toward whole-session relevance: exploring intrinsic diversity in web search (KR, PNB, KCT), pp. 463–472.
SIGIRSIGIR-2013-SakaiD #evaluation #framework #information management #retrieval #summary
Summaries, ranked retrieval and sessions: a unified framework for information access evaluation (TS, ZD), pp. 473–482.
SIGIRSIGIR-2013-ZhangGY #feedback #query
Query change as relevance feedback in session search (SZ, DG, HY), pp. 821–824.
ICSEICSE-2013-Kuhn #interactive #live programming #on the #programming #testing
On extracting unit tests from interactive live programming sessions (AK), pp. 1241–1244.
ESOPESOP-2012-DenielouY #automaton #communication #multi
Multiparty Session Types Meet Communicating Automata (PMD, NY), pp. 194–213.
ESOPESOP-2012-PerezCPT #concurrent #linear #logic
Linear Logical Relations for Session-Based Concurrency (JAP, LC, FP, BT), pp. 539–558.
FoSSaCSFoSSaCS-2012-ToninhoCP #process
Functions as Session-Typed Processes (BT, LC, FP), pp. 346–360.
ICALPICALP-v2-2012-Honda #distributed
Session Types and Distributed Computing (KH), p. 23.
ICFPICFP-2012-Wadler
Propositions as sessions (PW), pp. 273–286.
CIKMCIKM-2012-JiangHHYN #evaluation #query #simulation
Contextual evaluation of query reformulations in a search session by user simulation (JJ, DH, SH, ZY, CN), pp. 2635–2638.
CIKMCIKM-2012-KustarevUMS #performance #predict #query
Session-based query performance prediction (AK, YU, AM, PS), pp. 2563–2566.
CIKMCIKM-2012-Tyler0 #multi
Multi-session re-search: in pursuit of repetition and diversification (SKT, YZ), pp. 2055–2059.
ECIRECIR-2012-DiriyeG #collaboration #named
Querium: A Session-Based Collaborative Search System (AD, GG), pp. 583–584.
ICPRICPR-2012-MotlicekSWMM #authentication #mobile #modelling #using #variability
Bi-modal authentication in mobile environments using session variability modelling (PM, LES, RW, CM, SM), pp. 1100–1103.
SIGIRSIGIR-2012-BaskayaKJ #interactive #simulation
Time drives interaction: simulating sessions in diverse searching environments (FB, HK, KJ), pp. 105–114.
SIGIRSIGIR-2012-LiuBC #behaviour #interactive #personalisation #using
Personalization of search results using interaction behaviors in search sessions (CL, NJB, MJC), pp. 205–214.
ECOOPECOOP-2012-DugganY #data flow
Static Sessional Dataflow (DD, JY), pp. 484–508.
TOOLSTOOLS-EUROPE-2012-NgYH #optimisation #parallel #programming
Multiparty Session C: Safe Parallel Programming with Message Optimisation (NN, NY, KH), pp. 202–218.
PPDPPPDP-2012-DardhaGS #revisited
Session types revisited (OD, EG, DS), pp. 139–150.
SACSAC-2012-BernardiH #contract #modelling #using
Modelling session types using contracts (GB, MH), pp. 1941–1946.
CSLCSL-2012-DeYoungCPT #communication #linear #logic #reduction
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication (HD, LC, FP, BT), pp. 228–242.
QoSAQoSA-ISARCS-2011-FranksLH #metric #modelling #performance #protocol
Performance measurements and modeling of a java-based session initiation protocol (SIP) application server (GF, DHL, CEH), pp. 63–72.
DACDAC-2011-DensmoreHKSAWV #biology #design #synthesis
Joint DAC/IWBDA special session design and synthesis of biological circuits (DD, MH, SK, XS, AA, EW, CV), pp. 114–115.
ICSMEICSM-2011-SampathBJM #reduction #testing
A tool for combination-based prioritization and reduction of user-session-based test suites (SS, RCB, SJ, SM), pp. 574–577.
CIKMCIKM-2011-HagenSR #detection #query
Query session detection as a cascade (MH, BS, TR), pp. 147–152.
CIKMCIKM-2011-OzertemVL #set #using
Suggestion set utility maximization using session logs (UO, EV, LL), pp. 105–114.
ECIRECIR-2011-FrommholzPLR #framework #information retrieval #query
Processing Queries in Session in a Quantum-Inspired IR Framework (IF, BP, ML, KvR), pp. 751–754.
SIGIRSIGIR-2011-KanoulasCCS #multi
Evaluating multi-query sessions (EK, BC, PDC, MS), pp. 1053–1062.
SIGIRSIGIR-2011-KotovBWDT #analysis #modelling
Modeling and analysis of cross-session search tasks (AK, PNB, RWW, STD, JT), pp. 5–14.
SIGIRSIGIR-2011-Tyler #behaviour #multi #persistent #personalisation
Persistence in the ephemeral: utilizing repeat behaviors for multi-session personalized search (SKT), pp. 1311–1312.
PPDPPPDP-2011-ToninhoCP #linear #type system
Dependent session types via intuitionistic linear type theory (BT, LC, FP), pp. 161–172.
POPLPOPL-2011-DenielouY #multi
Dynamic multirole session types (PMD, NY), pp. 435–446.
SACSAC-2011-JohnsBSP #reliability
Reliable protection against session fixation attacks (MJ, BB, MS, JP), pp. 1531–1537.
SACSAC-2011-Vega-OliverosMP #authoring #documentation #interactive #multi
Media-oriented operators for authoring interactive multimedia documents generated from capture sessions (DAVO, DSM, MdGCP), pp. 1267–1272.
DACDAC-2010-RiedelHWSAM #biology
Joint DAC/IWBDA special session engineering biology: fundamentals and applications (MR, SH, RW, PS, JCA, RMM), pp. 220–221.
FoSSaCSFoSSaCS-2010-YoshidaDBH #multi
Parameterised Multiparty Session Types (NY, PMD, AB, RH), pp. 128–145.
CHICHI-2010-CapraMVM #collaboration #learning #multi
Tools-at-hand and learning in multi-session, collaborative search (RGC, GM, JVM, KM), pp. 951–960.
ECIRECIR-2010-PascaARMH #query #web
The Role of Query Sessions in Extracting Instance Attributes from Web Search Queries (MP, EA, ERA, RMB, KBH), pp. 62–74.
SIGIRSIGIR-2010-DuZYCC #query #recognition #using
Using search session context for named entity recognition in query (JD, ZZ, JY, YC, ZC), pp. 765–766.
SIGIRSIGIR-2010-LiuB #information retrieval #multi #personalisation
Personalizing information retrieval for multi-session tasks: the roles of task stage and task type (JL, NJB), pp. 26–33.
ECOOPECOOP-2010-HuKPYH #java #type safety
Type-Safe Eventful Sessions in Java (RH, DK, OP, NY, KH), pp. 329–353.
PPDPPPDP-2010-Barbanerad #behaviour
Two notions of sub-behaviour for session-based client/server systems (FB, Ud), pp. 155–164.
POPLPOPL-2010-GayVRGC #composition #distributed #object-oriented #programming
Modular session types for distributed object-oriented programming (SJG, VTV, AR, NG, AZC), pp. 299–312.
SACSAC-2010-EgeleBKK #web
CAPTCHA smuggling: hijacking web browsing sessions to create CAPTCHA farms (ME, LB, EK, CK), pp. 1865–1870.
SACSAC-2010-HarshN #approach #architecture #independence #multi #network
Mode independent session directory service architecture: a unified approach for ASM and SSM multicast networks (PH, REN), pp. 647–654.
HTHT-2009-MeissDGRM #behaviour #web #what
What’s in a session: tracking individual behavior on the web (MM, JD, BG, JJR, FM), pp. 173–182.
ESOPESOP-2009-MostrousYH #commutative #type system
Global Principal Typing in Partially Commutative Asynchronous Sessions (DM, NY, KH), pp. 316–332.
ICPCICPC-2009-GueheneucKM #comprehension #using
Working session: Using eye-tracking to understand program comprehension (YGG, HHK, JIM), pp. 278–279.
SFMSFM-2009-CarboneYH #exception #interactive #multi
Asynchronous Session Types: Exceptions and Multiparty Interactions (MC, NY, KH), pp. 187–212.
SFMSFM-2009-Vasconcelos
Fundamentals of Session Types (VTV), pp. 158–186.
ICEISICEIS-ISAS-2009-BarkaouiBE #collaboration #coordination
An Event Structure based Coordination Model for Collaborative Sessions (KB, CB, JMME), pp. 137–143.
KDDKDD-2009-WangCP #aspect-oriented #mining #query
Mining broad latent query aspects from search sessions (XW, DC, KP), pp. 867–876.
KDDKDD-2009-ZhuM #mining #web
Mining rich session context to improve web search (GZ, GM), pp. 1037–1046.
KDIRKDIR-2009-Fernandez-FernandezG #mining #query #taxonomy #topic
Hierarchical Taxonomy Extraction by Mining Topical Query Sessions (MFF, DGA), pp. 229–235.
SIGIRSIGIR-2009-GuoA #interactive #predict #segmentation
Beyond session segmentation: predicting changes in search intent with client-side user interactions (QG, EA), pp. 636–637.
PPDPPPDP-2009-CastagnaDGP
Foundations of session types (GC, MDC, EG, LP), pp. 219–230.
PPDPPPDP-2009-Vasconcelos #functional #linear #parallel #programming #thread
Session types for linear multithreaded functional programming (VTV), pp. 1–6.
SACSAC-2009-DaoudTBC #ontology #personalisation #using
A session based personalized search using an ontological user profile (MD, LTL, MB, BC), pp. 1732–1736.
SACSAC-2009-HarshN #multi #using
Using geo-spatial session tagging for smart multicast session discovery (PH, REN), pp. 22–27.
ICSTICST-2009-LuoPC #clustering #testing #web
Clustering and Tailoring User Session Data for Testing Web Applications (XL, FP, MHC), pp. 336–345.
RTARTA-2009-BursucC #algebra #bound #protocol #security
Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions (SB, HCL), pp. 133–147.
TLCATLCA-2009-MostrousY #communication #higher-order #mobile #optimisation #process
Session-Based Communication Optimisation for Higher-Order Mobile Processes (DM, NY), pp. 203–218.
CSMRCSMR-2008-Retalis #industrial
Industrial Track Session — Introduction (SR), p. 307.
ICPCICPC-2008-ComanS #automation #development #identification
Automated Identification of Tasks in Development Sessions (IDC, AS), pp. 212–217.
CHICHI-2008-MacKayW #multi #web
Exploring multi-session web tasks (BM, CRW), pp. 1187–1196.
CIKMCIKM-2008-JonesK #automation #query #segmentation #topic
Beyond the session timeout: automatic hierarchical segmentation of search topics in query logs (RJ, KLK), pp. 699–708.
CIKMCIKM-2008-WebbCP #predict #web
Predicting web spam with HTTP session information (SW, JC, CP), pp. 339–348.
ECIRECIR-2008-JarvelinPDN #evaluation #information retrieval #multi
Discounted Cumulated Gain Based Evaluation of Multiple-Query IR Sessions (KJ, SLP, LMLD, MLN), pp. 4–15.
ECIRECIR-2008-PandeyL #case study #comparative #information retrieval
Exploiting Session Context for Information Retrieval — A Comparative Study (GP, JL), pp. 652–657.
KDDKDD-2008-CaoJPHLCL #mining #query
Context-aware query suggestion by mining click-through and session data (HC, DJ, JP, QH, ZL, EC, HL), pp. 875–883.
ECOOPECOOP-2008-HuYH #distributed #java #programming
Session-Based Distributed Programming in Java (RH, NY, KH), pp. 516–541.
POPLPOPL-2008-HondaYC #multi
Multiparty asynchronous session types (KH, NY, MC), pp. 273–284.
SACSAC-2008-DinizFM #adaptation #architecture #ubiquitous
An architecture of services for session management and contents adaptation in ubiquitous medical environments (JRBD, CAGF, HM), pp. 1353–1357.
SPLCSPLC-2008-McGregor #agile #product line
Agile Software Product Lines — A Working Session (JDM), p. 364.
ICSTICST-2008-HarmanA #automation #program repair #testing #web
Automated Session Data Repair for Web Application Regression Testing (MH, NA), pp. 298–307.
ICSTICST-2008-SampathBVKK #testing #web
Prioritizing User-Session-Based Test Cases for Web Applications Testing (SS, RCB, GV, VK, AGK), pp. 141–150.
WICSAWICSA-2007-ClementsKK #architecture
Working Session: Software Architecture Competence (PCC, RK, MK), p. 27.
ITiCSEITiCSE-2007-CukiermanT #learning
Learning strategies sessions within the classroom in computing science university courses (DC, DMT), p. 341.
ICPCICPC-2007-RobbesL #comprehension #development
Characterizing and Understanding Development Sessions (RR, ML), pp. 155–166.
ICSMEICSM-2007-Arcelli #reverse engineering
Working Session on Reverse Engineering techniques for Application Portfolio Management — RE4APM 2007 - (FA), pp. 495–496.
ICSMEICSM-2007-HassanZ #re-engineering
MythSE Myths in Software Engineering Half day ICSM 2007Working Session (AEH, TZ), pp. 489–490.
SIGIRSIGIR-2007-HuffmanH #how #predict #question
How well does result relevance predict session satisfaction? (SBH, MH), pp. 567–574.
FATESTestCom-FATES-2007-LuukkalaO #embedded #modelling #protocol #testing
Model Based Testing of an Embedded Session and Transport Protocol (VL, IO), pp. 212–227.
TLCATLCA-2007-MostrousY #higher-order #mobile #process #type system
Two Session Typing Systems for Higher-Order Mobile Processes (DM, NY), pp. 321–335.
DocEngDocEng-2006-LumleyT
XSLT working session (JWL, JT), p. 1.
ICPCICPC-2006-SmithOK #architecture #comprehension #migration #web #web service
Working Session: Program Comprehension and Migration Strategies for Web Service and Service-Oriented Architectures (DBS, LO, KK), pp. 235–240.
ICSMEICSM-2006-MarcusLHP #evolution #information retrieval
Working Session: Information Retrieval Based Approaches in Software Evolution (AM, ADL, JHH, DP), pp. 197–209.
ICEISICEIS-SAIC-2006-BrzezinskiKK #mobile #protocol #safety
Safety of Checkpointing and Rollback-Recovery Protocol for Mobile Systems with RYW Session Guarantee (JB, AK, JK), pp. 118–123.
ECOOPECOOP-2006-Dezani-CiancagliniMYD #object-oriented
Session Types for Object-Oriented Languages (MDC, DM, NY, SD), pp. 328–352.
PPDPPPDP-2006-GarraldaCD #named
BASS: boxed ambients with safe sessions (PG, ABC, MDC), pp. 61–72.
WICSAWICSA-2005-BassMO #quality
Quality Session Report (LB, MM, FGO), pp. 191–192.
WICSAWICSA-2005-Clements #architecture #documentation
Software Architecture Documentation in Practice Session Report (PCC), pp. 257–258.
WICSAWICSA-2005-CrnkovicJ #component
Components and Services Session Report (IC, VJ), pp. 269–271.
WICSAWICSA-2005-Garlan #analysis #architecture #evaluation
Software Architecture Evaluation and Analysis Session Report (DG), pp. 227–228.
WICSAWICSA-2005-Hofmeister #architecture
Architecting Session Report (CH), pp. 209–210.
WICSAWICSA-2005-ShawV #architecture #education
Software Architecture Education Session Report (MS, HvV), pp. 185–190.
WICSAWICSA-2005-StaffordB
Working Session Reports (JAS, JB), pp. 181–184.
WICSAWICSA-2005-Tyree #architecture #design
Architectural Design Decisions Session Report (JT), pp. 285–286.
WICSAWICSA-2005-WoodsH #architecture
Architecture Description Languages in Practice Session Report (EW, RH), pp. 243–246.
ICSMEICSM-2005-SprenkleSGPS #comparison #empirical #reduction #testing #web
An Empirical Comparison of Test Suite Reduction Techniques for User-Session-Based Testing of Web Applications (SS, SS, EG, LLP, ALS), pp. 587–596.
IWPCIWPC-2005-CoxC #comprehension #source code
Working Session: Textual Views of Source Code to Support Comprehension (AC, MLC), pp. 109–112.
IWPCIWPC-2005-JinW #re-engineering
Working Session on Interoperable Reengineering Services (DJ, AW), pp. 291–293.
HPDCHPDC-2005-ZhaoCF #file system #grid
Supporting application-tailored grid file system sessions with WSRF-based services (MZ, VC, RJOF), pp. 24–33.
ASEASE-2004-SampathMSP #approach #concept analysis #scalability #testing #web
Scalable Approach to User-Session based Testing of Web Applications through Concept Analysis (SS, VM, ALS, LLP), pp. 132–141.
IWPCIWPC-2004-OBrienS #architecture #comprehension #web #web service
Working Session: Program Comprehension Strategies for Web Service and Service-oriented Architectures (LO, DBS), pp. 260–263.
SIGIRSIGIR-2004-SriramSZ
A session-based search engine (SS, XS, CZ), pp. 492–493.
PADLPADL-2004-NeubauerT #implementation
An Implementation of Session Types (MN, PT), pp. 56–70.
DATEDATE-2003-WittmannHWTS #communication #design #topic
Hot Topic Session: RF Design Technology for Highly Integrated Communication Systems (RW, JH, HJW, GT, MS), pp. 10842–10849.
VLDBVLDB-2003-Cabrera #industrial #web #web service
Web Services (Industrial Session) (FC), pp. 1031–1032.
VLDBVLDB-2003-Leymann #grid #industrial
Grid and Applications (Industrial Session) (FL), p. 1033.
AGTIVEAGTIVE-2003-QemaliT #graph transformation #towards #validation #web
Towards Validation of Session Management in Web Applications based on Graph Transformation (AQ, GT), pp. 15–29.
SEKESEKE-2003-RichterAMF #information management #traceability
Tagging Knowledge Acquisition Sessions to Facilitate Knowledge Traceability (HR, GDA, CAM, HF), pp. 432–439.
ICSEICSE-2003-ElbaumKR #testing #web
Improving Web Application Testing with User Session Data (SGE, SK, GR), pp. 49–59.
CSLCSL-2003-ChevalierKRTV #bound
Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions (YC, RK, MR, MT, LV), pp. 128–141.
CHICHI-2002-HeerC #categorisation #web
Separating the swarm: categorization methods for user sessions on the web (JH, EHhC), pp. 243–250.
PADLPADL-2002-Thiemann #composition #named #web
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms (PT), pp. 192–208.
WICSAWICSA-2001-GeppertR #design #internet #protocol
Collaboration-Based Design — Exemplified by the Internet Session Initiation Protocol (SIP) (BG, FR), p. 158–?.
ITiCSEITiCSE-2001-Joyce
Sneaking in extra material (panel session) (DJ), p. 190.
KDDKDD-2001-WarnerRDB #interactive #knowledge base #mining #web
Mining user session data to facilitate user interaction with a customer service knowledge base in RightNow Web (DW, JNR, SDD, BB), pp. 467–472.
HPDCHPDC-2001-SwanyW
The Logistical Session Layer (DMS, RW), p. 443–?.
ITiCSEITiCSE-2000-Anderson #algorithm #geometry #interactive #student #using #visualisation
Algorithm visualization using QuickTime movies for student interaction (poster session).: algorithms from computational geometry (JMA), p. 185.
ITiCSEITiCSE-2000-BarrosP
A versatile assignment in CS 2(poster session): a file compression utility based on the Huffman code (JPB, RP), p. 185.
ITiCSEITiCSE-2000-BlandL #learning
Agents, profiles, learning styles and tutors (poster session) (CGB, PBL), p. 185.
ITiCSEITiCSE-2000-Chang #analysis #concept #learning #web
Discovering learning patterns from Web logs by concept transformation analysis (poster session) (CKC), pp. 186–187.
ITiCSEITiCSE-2000-ChongS #chat #coordination #interactive #multi
A multi-modal chat for coordinated interaction (poster session) (NSTC, MS), p. 187.
ITiCSEITiCSE-2000-DavidovicWT #adaptation
Structural example-based adaptive tutoring system (poster session) (SEATS) (AD, JW, ET), p. 187.
ITiCSEITiCSE-2000-Delgado
Ethical knowledge for an electronic era (poster session) (GGD), pp. 187–188.
ITiCSEITiCSE-2000-Eremin
Software system to learn objects (poster session) (EE), p. 188.
ITiCSEITiCSE-2000-GooldR
Undergraduates in business computing and computer science (poster session) (AG, RR), p. 188.
ITiCSEITiCSE-2000-Hagan #education #java #using
Using BlueJ to teach Java (poster session) (DH), pp. 188–189.
ITiCSEITiCSE-2000-KajavaV
The professional growth of ICT experts through progressive sandwich training (poster session) (JK, RV), p. 189.
ITiCSEITiCSE-2000-KleinDHBGLCS #challenge #education
Teaching inter-institutional courses (panel session): sharing challenges and resources (BJK, MD, DH, AB, AG, MZL, TC, ES), pp. 178–179.
ITiCSEITiCSE-2000-KoldehofePT #algorithm #animation #distributed #education
LYDIAN (poster session): an extensible educational animation environment for distributed algorithms (BK, MP, PT), p. 189.
ITiCSEITiCSE-2000-Kosa #algorithm #distributed
Distributed algorithms in the discrete mathematics course (poster session) (MJK), pp. 189–190.
ITiCSEITiCSE-2000-Manne
Competing in computing (poster session) (FM), p. 190.
ITiCSEITiCSE-2000-MentoTHS #development #education #internet #multi
Internet and multimedia technology curriculum development (poster session) (BM, DT, KH, SS), pp. 190–191.
ITiCSEITiCSE-2000-Odekirk #source code #student
Analyzing student programs (poster session) (EO), p. 191.
ITiCSEITiCSE-2000-RosslingF #testing
TOPKAPI (poster session): a tool for performing knowledge tests over the WWW (GR, BF), p. 191.
ITiCSEITiCSE-2000-SatrazemiD #effectiveness #programming #student
Telemachus an effective electronic marker of students’ programming assignments (poster session) (MS, VD), pp. 191–192.
ITiCSEITiCSE-2000-Scanlan #multi #student
Student preference for multimedia-based lectures (poster session): a preliminary report (DAS), p. 192.
ITiCSEITiCSE-2000-SheardPM #difference #student
Subject differences in student attitudes to paper-based and Web-based resources (poster session) (JS, MP, SM), pp. 192–193.
ITiCSEITiCSE-2000-SheneL #geometry
Computing with geometry as an undergraduate course (poster session) (CKS, JLL), p. 193.
ITiCSEITiCSE-2000-SheneL00a #design
DesignMentor (poster session): a pedagogical tool for graphics and computer-aided design (CKS, JLL), p. 193.
ITiCSEITiCSE-2000-ShinYLL #database #education #learning
Plan of teaching & learning for database software through situated learning (poster session) (SBS, IHY, CHL, TWL), pp. 193–194.
ITiCSEITiCSE-2000-Sooriamurthi #abstraction #functional #recursion #using
Using recursion as a tool to reinforce functional abstraction (poster session) (RS), p. 194.
ITiCSEITiCSE-2000-Stratton #approach #education #network #protocol #quote
“Network protocols and services”: a non-specialist approach to teaching networking (poster session) (DS), p. 194.
ITiCSEITiCSE-2000-Sutinen #challenge #visualisation
Future challenges in program visualization (panel session) (ES), pp. 176–177.
ITiCSEITiCSE-2000-Terada
Program paper-slide-show (poster session) (MT), pp. 194–195.
ITiCSEITiCSE-2000-Thompson #learning #maturity #process
Learning process maturity (poster session) (ET), p. 195.
IWPCIWPC-2000-Sajaniemi #comprehension #multi
Program Comprehension through Multiple Simultaneous Views: A Session with VinEd (JS), pp. 99–108.
KDDKDD-2000-KarguptaCKO #distributed #information management #parallel
Distributed and parallel knowledge discovery (workshop session — title only) (HK, PC, VK, ZO), p. 534.
ICSEICSE-2000-BasiliLSR #tutorial #using
Improving software inspections by using reading techniques (tutorial session) (VRB, OL, FS, IR), p. 836.
ICSEICSE-2000-Batory #architecture #aspect-oriented #product line #reuse #tutorial
Product-line architectures, aspects, and reuse (tutorial session) (DSB), p. 832.
ICSEICSE-2000-Bevan #quality #specification #tutorial
Specifying and measuring quality in use (tutorial session) (NB), p. 819.
ICSEICSE-2000-Curtis00a #lessons learnt #process #tutorial
Software process improvement (tutorial session): best practices and lessons learned (BC), p. 828.
ICSEICSE-2000-GilHK #modelling #tutorial #uml #visual notation
Advanced visual modeling (tutorial session): beyond UML (JYG, JH, SK), p. 833.
ICSEICSE-2000-Gomaa #design #distributed #realtime #tutorial #uml
Designing real-time and distributed applications with the UML (tutorial session) (HG), p. 829.
ICSEICSE-2000-Jalote #tutorial
Moving from ISO9000 to higher levels of the CMM (tutorial session) (PJ), p. 823.
ICSEICSE-2000-KazmanK #architecture #design #tutorial #using
Designing and analyzing software architectures using ABASs (tutorial session) (RK, MK), p. 820.
ICSEICSE-2000-KirschS #tutorial
Intellectual property protection for software in the United States and Europe (tutorial session): the changing roles of patents and copyrights (GJK, YS), p. 827.
ICSEICSE-2000-LieberherrLM #composition #object-oriented #reuse #tutorial
Building modular object-oriented systems with reusable collaborations (tutorial session) (KJL, DHL, MM), p. 821.
ICSEICSE-2000-LittlewoodS #assessment #concept #reliability #tutorial
Software reliability (tutorial session): basic concepts and assessment methods (BL, LS), p. 831.
ICSEICSE-2000-LittlewoodS00a #assessment #design #fault #fault tolerance #reliability #tutorial
Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment (BL, LS), p. 835.
ICSEICSE-2000-LopesK #aspectj #composition #design #source code #tutorial #using
Improving design and source code modularity using AspectJ (tutorial session) (CVL, GK), p. 825.
ICSEICSE-2000-NordPS #architecture #tutorial #using
Planning realistic schedules using software architecture (tutorial session) (RLN, DJP, DS), p. 824.
ICSEICSE-2000-Picco #comprehension #tutorial
Understanding code mobility (tutorial session) (GPP), p. 834.
ICSEICSE-2000-TakahashiEFG #development #tutorial #using
System development using application services over the Net (tutorial session) (KT, WE, AF, SG), p. 830.
ICSEICSE-2000-Vinoski #corba #tutorial
Introduction to CORBA (tutorial session) (SV), p. 822.
ICSEICSE-2000-Vinoski00a #corba #scalability #tutorial
Scalability issues in CORBA-based systems (tutorial session) (SV), p. 826.
ITiCSEITiCSE-1999-Ackermann #education #internet
Poster session. Internet curriculum. two courses: introductory and advanced (ECA), pp. 179–180.
ITiCSEITiCSE-1999-HabermanG #distance #education #learning
Distance learning model with local workshop sessions applied to in-service teacher training (BH, DG), pp. 64–67.
CHICHI-1999-KristoffersenL #empirical #how #interactive #modelling #people
An Empirical Study of How People Establish Interaction: Implications for CSCW Session Management Models (SK, FL), pp. 1–8.
AdaSIGAda-1999-Gilchrist #ada
Attitudes to Ada in the UK high-reliability software sector (plenary session) (IG), p. 221.
CSCWCSCW-1998-TrevorRS #architecture
Out of this World: An Extensible Session Architecture for Heterogeneous Electronic Landscapes (JT, TR, GS), pp. 119–128.
HPDCHPDC-1998-YoussefAM #architecture #distributed #quality
The Software Architecture of a Distributed Quality of Session Control Layer (AY, HMAW, KM), pp. 21–28.
ITiCSEITiCSE-WGR-1997-PetreP #internet #problem #programming
Programming practical work and problem sessions via the Internet (MP, BAP), pp. 125–128.
SACSAC-1997-MostafaS #collaboration #multi #protocol #reliability
A reliable multicast session protocol for collaborative continuous-feed applications (WM, MS), pp. 35–39.
ISSTAISSTA-1996-BarjaktarovicCJ #functional #kernel #protocol #specification #using #verification
Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS (MB, SKC, KJ), pp. 270–279.
STOCSTOC-1995-BellareR
Provably secure session key distribution: the three party case (MB, PR), pp. 57–66.
CSCWCSCW-1994-Edwards #collaboration
Session Management for Collaborative Applications (WKE), pp. 323–330.
HCIHCI-SHI-1993-KatoWI
Cooperative Musical Partner System: JASPER (Jam Session Partner) (HK, SHW, SI), pp. 250–255.
ICTSSIWPTS-1991-Heijnk #compilation
Session on TTCN Compilers (RJH), p. 295.
ICTSSIWPTS-1991-Hogrefe91a #consistency #formal method #requirements
Session on Conformance Requirements and Test Purposes in the Context of Formal Methods (DH), pp. 289–290.
ICTSSIWPTS-1991-Marchese #development #testing
Session on Test Suite Development (PM), p. 283.
ICTSSIWPTS-1991-Stoettinger #tool support
Session on Equivqlence of Test Tools (KS), pp. 291–293.
DACDAC-1986-BirminghamJK #tutorial
Knowlege-based expert systems and their application (tutorial session (WPB, RJ, JK), pp. 531–539.
DACDAC-1986-Eurich #design #tutorial
A tutorial introduction to the electronic design interchange format (tutorial session) (JPE), pp. 327–333.
DACDAC-1986-HancockD #automation #design #parallel #tutorial
Tutorial on parallel processing for design automation applications (tutorial session) (JMH, SD), pp. 69–77.
DACDAC-1986-PreasK #automation #bibliography #tutorial
Automatic placement a review of current techniques (tutorial session) (BP, PGK), pp. 622–629.
DACDAC-1985-Cho #bibliography #tutorial
A subjective review of compaction (tutorial session) (YEC), pp. 396–404.
DACDAC-1985-CollinsK #programmable #tutorial
The impact of technological advances on programmable controller s(tutorial session) (RPC, WJK), pp. 498–502.
DACDAC-1985-LowensteinW #standard #tutorial
Importance of standards (tutorial session) (AL, GW), pp. 88–93.
DACDAC-1985-TaylorBS #design #layout #lessons learnt #tutorial
Layout design-lessons from the Jedi designer (tutorial session) (SLT, RB, TS), p. 337.
DACDAC-1985-Tucker #evolution #tutorial
Electronic CAD/CAM-is it revolution or evolution (tutorial session) (BWT), pp. 830–834.
LISPLISP-1980-LiebermanH #testing
A Session with Tinker: Interleaving Program Testing with Program Writing (HL, CH), pp. 90–99.
VLDBVLDB-1978-Hsiao
An Opening Statement for the Session in Impact of New Technologies (DKH), p. 70.

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.