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:
softwar (179)
system (111)
engin (108)
theori (105)
design (103)

Stem practic$ (all stems)

1243 papers:

ECSAECSA-2015-RostWNLS #agile #architecture #case study #development #experience #industrial
Distilling Best Practices for Agile Development from Architecture Methodology — Experiences from Industrial Application (DR, BW, MN, TL, HS), pp. 259–267.
CASECASE-2015-ForsmanR #process
Chemical process control practice — Some examples and observations (KF, JR), pp. 892–893.
CASECASE-2015-LiangSQLY #agile #assessment #development #using
Criteria for lean practice selection: Development an assessment tool using the rooted arborescence (YL, SS, LQ, YL, GY), pp. 237–242.
DACDAC-2015-DunbarQ
A practical circuit fingerprinting method utilizing observability don’t care conditions (CD, GQ), p. 6.
DACDAC-2015-Peeters #architecture #security
SoC security architecture: current practices and emerging needs (EP), p. 6.
DACDAC-2015-YaoHC #constraints #named
PACOR: practical control-layer routing flow with length-matching constraint for flow-based microfluidic biochips (HY, TYH, YC), p. 6.
DATEDATE-2015-DeyCAM #analysis #difference #fault
Improved practical differential fault analysis of grain-128 (PD, AC, AA, DM), pp. 459–464.
SIGMODSIGMOD-2015-ChuBS #database #evaluation #parallel #performance #query #theory and practice
From Theory to Practice: Efficient Join Query Evaluation in a Parallel Database System (SC, MB, DS), pp. 63–78.
SIGMODSIGMOD-2015-HuangCZJX #named #realtime #recommendation
TencentRec: Real-time Stream Recommendation in Practice (YH, BC, WZ, JJ, YX), pp. 227–238.
VLDBVLDB-2015-AkidauBCCFLMMPS #approach #bound #correctness #data flow #latency
The Dataflow Model: A Practical Approach to Balancing Correctness, Latency, and Cost in Massive-Scale, Unbounded, Out-of-Order Data Processing (TA, RB, CC, SC, RFM, RL, SM, DM, FP, ES, SW), pp. 1792–1803.
VLDBVLDB-2015-PapadopoulosPTT #authentication #pattern matching #proving
Practical Authenticated Pattern Matching with Optimal Proof Size (DP, CP, RT, NT), pp. 750–761.
ESOPESOP-2015-TerauchiU #approach #refinement
Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement (TT, HU), pp. 610–633.
ICSMEICSME-2015-DongAS #fault #static analysis #using
Practical and accurate pinpointing of configuration errors using static analysis (ZD, AA, KS), pp. 171–180.
ICSMEICSME-2015-PawelkaJ #case study #identifier #natural language
Is this code written in English? A study of the natural language of comments and identifiers in practice (TP, EJ), pp. 401–410.
MSRMSR-2015-ThongtanunamMHI #bibliography #code review #empirical
Investigating Code Review Practices in Defective Files: An Empirical Study of the Qt System (PT, SM, AEH, HI), pp. 168–179.
SANERSANER-2015-Cordy #txl
TXL source transformation in practice (JRC), pp. 590–591.
SANERSANER-2015-KnodelNBV #risk management
Software risk management in practice: Shed light on your software product (JK, MN, EB, JV), pp. 592–594.
SANERSANER-2015-MoralesMK #bibliography #case study #code review #design #quality
Do code review practices impact design quality? A case study of the Qt, VTK, and ITK projects (RM, SM, FK), pp. 171–180.
SANERSANER-2015-Rahman
Investigating modern release engineering practices (MTR), pp. 607–608.
PEPMPEPM-2015-Krishnamurthi #challenge
Desugaring in Practice: Opportunities and Challenges (SK), pp. 1–2.
FMFM-2015-BringerCML #architecture #design #privacy #reasoning
Privacy by Design in Practice: Reasoning about Privacy Properties of Biometric System Architectures (JB, HC, DLM, RL), pp. 90–107.
FMFM-2015-KuritaIA #documentation #evolution #formal method #mobile #modelling
Practices for Formal Models as Documents: Evolution of VDM Application to “Mobile FeliCa” IC Chip Firmware (TK, FI, KA), pp. 593–596.
ICFPICFP-2015-Pavlinovic0W #fault #locality #smt
Practical SMT-based type error localization (ZP, TK, TW), pp. 412–423.
ICFPICFP-2015-PloegC #exclamation
Practical principled FRP: forget the past, change the future, FRPNow! (AvdP, KC), pp. 302–314.
ICFPICFP-2015-StuckiRUB #sequence
RRB vector: a practical general purpose immutable sequence (NS, TR, VU, PB), pp. 342–354.
GaMGaM-2015-HeussnerPCM #concurrent #graph #object-oriented #towards #verification
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model (AH, CMP, CC, BM), pp. 32–47.
CHICHI-2015-0001GH #challenge #design #framework #human-computer
Bridging the Theory-Practice Gap: Lessons and Challenges of Applying the Attachment Framework for Sustainable HCI Design (CR, SG, EMH), pp. 1305–1314.
CHICHI-2015-CecchinatoCB #bound #difference #email
Working 9-5?: Professional Differences in Email and Boundary Management Practices (MEC, ALC, JB), pp. 3989–3998.
CHICHI-2015-Clarke #design
The Work of Mad Men that Makes the Methods of Math Men Work: Practically Occasioned Segment Design (MFC), pp. 3275–3284.
CHICHI-2015-EntwistleRVBA #framework #human-computer #research
Beyond the Individual: The Contextual Wheel of Practice as a Research Framework for Sustainable HCI (JME, MKR, NV, RSB, MSA), pp. 1125–1134.
CHICHI-2015-GrayTG #design #user interface
Flow of Competence in UX Design Practice (CMG, ALT, SG), pp. 3285–3294.
CHICHI-2015-HarboeH
Real-World Affinity Diagramming Practices: Bridging the Paper-Digital Gap (GH, EMH), pp. 95–104.
CHICHI-2015-HillmanW #approach #social #social media
Situated Social Media Use: A Methodological Approach to Locating Social Media Practices and Trajectories (TH, AW), pp. 4057–4060.
CHICHI-2015-JacobsZ #collaboration #design #hybrid #tool support
Hybrid Practice in the Kalahari: Design Collaboration through Digital Tools and Hunter-Gatherer Craft (JJ, AZ), pp. 619–628.
CHICHI-2015-JonesCDTPDH #delphi #information management #using
“For Telling” the Present: Using the Delphi Method to Understand Personal Information Management Practices (WJ, RC, AD, JT, MAPQ, JDD, BMH), pp. 3513–3522.
CHICHI-2015-LordHCBWMF #mobile
Demand in My Pocket: Mobile Devices and the Data Connectivity Marshalled in Support of Everyday Practice (CL, MH, AKC, OB, RW, JM, AF), pp. 2729–2738.
CHICHI-2015-ManciniHAG #detection #interface #multi
Re-Centering Multispecies Practices: A Canine Interface for Cancer Detection Dogs (CM, RH, BA, CG), pp. 2673–2682.
CHICHI-2015-MaurielloNF #automation #comprehension #energy
Understanding the Role of Thermography in Energy Auditing: Current Practices and the Potential for Automated Solutions (MLM, LN, JEF), pp. 1993–2002.
CHICHI-2015-MullerHHW #design
Practice-based Design of a Neighborhood Portal: Focusing on Elderly Tenants in a City Quarter Living Lab (CM, DH, TH, VW), pp. 2295–2304.
CHICHI-2015-SmithBNHVBWO #gesture
Exploring Gesture Sonification to Support Reflective Craft Practice (TS, SJB, BN, JH, AV, JB, PCW, PO), pp. 67–76.
CHICHI-2015-WatkinsSL
Digital Collections and Digital Collecting Practices (RDW, AS, SEL), pp. 3423–3432.
CSCWCSCW-2015-MoghaddamNB #design #distributed #named
Procid: Bridging Consensus Building Theory with the Practice of Distributed Design Discussions (RZM, ZN, BPB), pp. 686–699.
CSCWCSCW-2015-RinglandWDH
Making “Safe”: Community-Centered Practices in a Virtual World Dedicated to Children with Autism (KER, CTW, LD, GRH), pp. 1788–1800.
CSCWCSCW-2015-SteinhardtJ
Anticipation Work: Cultivating Vision in Collective Practice (SBS, SJJ), pp. 443–453.
CSCWCSCW-2015-YoungL #research
(Re)defining Land Change Science through Synthetic Research Practices (ALY, WGL), pp. 431–442.
HCIDUXU-DD-2015-HertleinHVSW #human-computer #usability #what
Practice What We Preach — Checking the Usability of HCI Conference Websites (FH, BH, MV, TS, CW), pp. 295–305.
HCIDUXU-IXD-2015-PanY #design
A Practice on Wayfinding System Design with Service Design Thinking (JP, ZY), pp. 400–411.
HCIDUXU-IXD-2015-RibeiroM #case study #community #design #education #health
Origins and Perspectives on Designing Virtual Communities of Practice for Permanent Education: A Case Study in the Collective Health Sector (CER, CRM), pp. 94–103.
HCIDUXU-UI-2015-HeidtKBR #difference #gender #human-computer
Incommensurable Writings — Examining the Status of Gender Difference Within HCI Coding Practices (MH, KK, AB, PR), pp. 196–205.
HCIHCI-DE-2015-Alessandrini #challenge #interactive #physics #programming #prototype
Practices, Technologies, and Challenges of Constructing and Programming Physical Interactive Prototypes (AA), pp. 132–142.
HCIHCI-IT-2015-MaikeNGB #heuristic
Heuristics for NUI Revisited and Put into Practice (VRMLM, LdSBN, SKG, MCCB), pp. 317–328.
HCIHCI-UC-2015-HessBFHKMNRLT #approach #ecosystem #mobile
Building Mobile Software Ecosystems — A Practical Approach (SH, SB, JF, MH, FK, DM, MN, DR, TL, MT), pp. 165–177.
HCIHCI-UC-2015-LopesGCSO #community #evaluation #heuristic
Heuristic to Support the Sociability Evaluation in Virtual Communities of Practices (LAL, DFG, TAC, EMS, TFdO), pp. 3–14.
HCIHIMI-IKC-2015-FilhoHTJM #smarttech #using
Using Wearable and Contextual Computing to Optimize Field Engineering Work Practices (RSSF, CLH, AT, JJ, PM), pp. 522–533.
HCILCT-2015-OnoOIY #case study #communication
Voice-Based Computer Mediated Communication for Individual Practice to Increase Speaking Proficiency: Construction and Pilot Study (YO, AO, MI, MY), pp. 115–123.
ICEISICEIS-v1-2015-Hasheela #comparison #enterprise #scalability
On-premise ERP Organizational Post-implementation Practices — Comparison between Large Enterprises and Small and Medium-Sized Enterprises (VH), pp. 243–250.
ICEISICEIS-v2-2015-BenincaHGLBM #bibliography #information management
Knowledge Management Practices in GSD — A Systematic Literature Review Update (RdAB, EHMH, EVCG, GCLL, RB, YM), pp. 365–373.
ICEISICEIS-v2-2015-FilhoVC #experience #process
Applying Knowledge Codification in a Post-mortem Process — A Practical Experience (ESdSF, DV, TC), pp. 153–165.
SEKESEKE-2015-GomedeSB #approach #lifecycle
A Practical Approach to Software Continuous Delivery Focused on Application Lifecycle Management (EG, RTDS, RMdB), pp. 320–325.
SIGIRSIGIR-2015-Alonso #lessons learnt #quality #scalability
Practical Lessons for Gathering Quality Labels at Scale (OA), pp. 1089–1092.
ECOOPECOOP-2015-TakikawaFDFFTF #towards #type system
Towards Practical Gradual Typing (AT, DF, ED, MF, RBF, STH, MF), pp. 4–27.
SACSAC-2015-PianiniVB #named #programming
Protelis: practical aggregate programming (DP, MV, JB), pp. 1846–1853.
ICSEICSE-v1-2015-GousiosZSD #challenge #development #perspective
Work Practices and Challenges in Pull-Based Development: The Integrator’s Perspective (GG, AZ, MADS, AvD), pp. 358–368.
ICSEICSE-v1-2015-KalliamvakouDBS #collaboration #development #git #open source #using
Open Source-Style Collaborative Development Practices in Commercial Projects Using GitHub (EK, DED, KB, LS, DMG), pp. 574–585.
ICSEICSE-v2-2015-BarnBR #on the #re-engineering
On the Role of Value Sensitive Concerns in Software Engineering Practice (BSB, RB, FR), pp. 497–500.
ICSEICSE-v2-2015-Berghe #analysis #security #towards
Towards a Practical Security Analysis Methodology (AvDB), pp. 883–886.
ICSEICSE-v2-2015-CzerwonkaGT #bibliography #code review #debugging #how
Code Reviews Do Not Find Bugs. How the Current Code Review Best Practice Slows Us Down (JC, MG, JT), pp. 27–28.
ICSEICSE-v2-2015-Franch #requirements #state of the art
Software Requirements Patterns — A State of the Art and the Practice (XF), pp. 943–944.
ICSEICSE-v2-2015-Hanakawa #contest #learning #motivation #re-engineering #student
Contest Based Learning with Blending Software Engineering and Business Management: For Students’ High Motivation and High Practice Ability (NH), pp. 360–369.
ICSEICSE-v2-2015-LeeKW0 #design
Software Design Studio: A Practical Example (JL, GK, JW, CB), pp. 389–397.
ICSEICSE-v2-2015-Morrison #evaluation #framework #security
A Security Practices Evaluation Framework (PM), pp. 935–938.
ICSEICSE-v2-2015-PecchiaCCC #assessment #development #industrial #process
Industry Practices and Event Logging: Assessment of a Critical Software Development Process (AP, MC, GC, DC), pp. 169–178.
SLESLE-2015-LaurentM #parsing expression grammar
Parsing expression grammars made practical (NL, KM), pp. 167–172.
CCCC-2015-AfroozehI #gll #parsing #performance
Faster, Practical GLL Parsing (AA, AI), pp. 89–108.
HPDCHPDC-2015-PatkiLSMRSS #performance #resource management
Practical Resource Management in Power-Constrained, High Performance Computing (TP, DKL, AS, MM, BR, MS, BRdS), pp. 121–132.
LCTESLCTES-2015-StilkerichLES #analysis #embedded #realtime
A Practical Getaway: Applications of Escape Analysis in Embedded Real-Time Systems (IS, CL, CE, MS), p. 11.
PPoPPPPoPP-2015-BensonB #framework #matrix #parallel #performance
A framework for practical parallel fast matrix multiplication (ARB, GB), pp. 42–53.
SOSPSOSP-2015-HawblitzelHKLPR #distributed #named #proving
IronFleet: proving practical distributed systems correct (CH, JH, MK, JRL, BP, MLR, STVS, BZ), pp. 1–17.
ICLPICLP-J-2015-StulovaMH #runtime
Practical run-time checking via unobtrusive property caching (NS, JFM, MVH), pp. 726–741.
ISSTAISSTA-2015-GligoricEM #dependence #testing
Practical regression test selection with dynamic file dependencies (MG, LE, DM), pp. 211–222.
ISSTAISSTA-2015-GongPSS #javascript #named
DLint: dynamically checking bad coding practices in JavaScript (LG, MP, MS, KS), pp. 94–105.
ISSTAISSTA-2015-YueAZ #automation #framework #generative #named #natural language #testing
RTCM: a natural language based, automated, and practical test case generation framework (TY, SA, MZ), pp. 397–408.
WICSAWICSA-2014-GalsterB #architecture #empirical #information management
Empirical Study of Architectural Knowledge Management Practices (MG, MAB), pp. 239–242.
WICSAWICSA-2014-KnodelN #architecture #evaluation #industrial
Software Architecture Evaluation in Practice: Retrospective on More Than 50 Architecture Evaluations in Industry (JK, MN), pp. 115–124.
ASEASE-2014-ParkKB #empirical #fault
An empirical study on reducing omission errors in practice (JP, MK, DHB), pp. 121–126.
ASEASE-2014-TillmannHX #automation #generative #testing
Transferring an automated test generation tool to practice: from pex to fakes and code digger (NT, JdH, TX), pp. 385–396.
DACDAC-2014-LiuCHWXY #3d #design
Design Methodologies for 3D Mixed Signal Integrated Circuits: a Practical 12-bit SAR ADC Design Case (WL, GC, XH, YW, YX, HY), p. 6.
DACDAC-2014-WangSYHC #functional
Practical Functional and Washing Droplet Routing for Cross-Contamination Avoidance in Digital Microfluidic Biochips (QW, YS, HY, TYH, YC), p. 6.
HTHT-2014-ChelaruHNS #communication #network
Recognizing skill networks and their specific communication and connection practices (SC, EH, KDN, PS), pp. 13–23.
SIGMODSIGMOD-2014-IleanaCDK #constraints #query
Complete yet practical search for minimal query reformulations under constraints (II, BC, AD, YK), pp. 1015–1026.
SIGMODSIGMOD-2014-QardajiYL #named
PriView: practical differentially private release of marginal contingency tables (WHQ, WY, NL), pp. 1435–1446.
SIGMODSIGMOD-2014-TangXS #complexity #performance
Influence maximization: near-optimal time complexity meets practical efficiency (YT, XX, YS), pp. 75–86.
ITiCSEITiCSE-2014-SimonCSCJ #student
Student perceptions of the acceptability of various code-writing practices (S, BC, JS, AC, CJ), pp. 105–110.
ITiCSEITiCSE-2014-TollOWE #challenge #education #programming #student
The challenge of teaching students the value of programming best practices (DT, TO, AW, ME), p. 347.
SANERCSMR-WCRE-2014-KnodelN #architecture #industrial
Mitigating the Risk of software change in practice: Retrospective on more than 50 architecture evaluations in industry (Keynote paper) (JK, MN), pp. 2–17.
ICSMEICSME-2014-BellomoENO #performance
Evolutionary Improvements of Cross-Cutting Concerns: Performance in Practice (SB, NAE, RLN, IO), pp. 545–548.
ICSMEICSME-2014-Shihab #predict #quality
Practical Software Quality Prediction (ES), pp. 639–644.
ICSMEICSME-2014-SteidlDPHU #quality
Continuous Software Quality Control in Practice (DS, FD, MP, RH, BUM), pp. 561–564.
STOCSTOC-2014-AlistarhCS #algorithm #concurrent #question
Are lock-free concurrent algorithms practically wait-free? (DA, KCH, NS), pp. 714–723.
AFLAFL-2014-BerglundDM #backtracking #behaviour #regular expression
Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching (MB, FD, BvdM), pp. 109–123.
FMFM-2014-EstlerFNPM #contract
Contracts in Practice (HCE, CAF, MN, MP, BM), pp. 230–246.
FMFM-2014-RouxG #comparison #invariant #polynomial
Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison (PR, PLG), pp. 563–578.
FMFM-2014-SanatiMM #decidability #guidelines #logic #metric #using
Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic (MYS, WM, TSEM), pp. 611–626.
ICFPICFP-2014-BergstromFLRS #effectiveness #higher-order #optimisation
Practical and effective higher-order optimizations (LB, MF, ML, JHR, NS), pp. 81–93.
ICFPICFP-2014-OhoriUHNSMI #development #enterprise #industrial
SML# in industry: a practical ERP system development (AO, KU, KH, SN, TS, TM, YI), pp. 167–173.
GT-VMTGT-VMT-2014-ZambonR #problem #towards
Solving the N-Queens Problem with GROOVE — Towards a Compendium of Best Practices (EZ, AR).
CHICHI-2014-ChoeLLPK #comprehension
Understanding quantified-selfers’ practices in collecting and exploring personal data (EKC, NBL, BL, WP, JAK), pp. 1143–1152.
CHICHI-2014-DalsgardD #concept #human-computer #research #theory and practice
Between theory and practice: bridging concepts in HCI research (PD, CD), pp. 1635–1644.
CHICHI-2014-FastSWBB #ide #programming
Emergent, crowd-scale programming practice in the IDE (EF, DS, LW, JRB, MSB), pp. 2491–2500.
CHICHI-2014-Gray #design #evolution #user interface
Evolution of design competence in UX practice (CMG), pp. 1645–1654.
CHICHI-2014-GrimpeHJ #design #human-computer #policy #towards
Towards a closer dialogue between policy and practice: responsible design in HCI (BG, MH, MJ), pp. 2965–2974.
CHICHI-2014-KierasH #modelling #predict #towards #visual notation
Towards accurate and practical predictive models of active-vision-based visual search (DEK, AJH), pp. 3875–3884.
CHICHI-2014-KuuttiB #human-computer #research #towards
The turn to practice in HCI: towards a research agenda (KK, LJB), pp. 3543–3552.
CHICHI-2014-MentisCS #learning
Learning to see the body: supporting instructional practices in laparoscopic surgical procedures (HMM, AC, SDS), pp. 2113–2122.
CHICHI-2014-PritchardVBTO #how
Digitally driven: how location based services impact the work practices of London bus drivers (GWP, JV, PB, LT, PO), pp. 3617–3626.
CHICHI-2014-UrMHL #programming #smarttech
Practical trigger-action programming in the smart home (BU, EM, MPYH, MLL), pp. 803–812.
CSCWCSCW-2014-ForteDMA #network #online #social #student #what
What do teens ask their online social networks?: social search practices among high school students (AF, MD, RMM, DEA), pp. 28–37.
CSCWCSCW-2014-JacksonGP #design #policy #social
The policy knot: re-integrating policy, practice and design in cscw studies of social computing (SJJ, TG, SP), pp. 588–602.
CSCWCSCW-2014-LingelR #quote #tool support
“It’s in your spinal cord, it’s in your fingertips”: practices of tools and craft in building software (JL, TR), pp. 295–304.
CSCWCSCW-2014-MassimiHS #quote
“Real, but Glossy”: technology and the practical pursuit of magic in modern weddings (MM, RHRH, AS), pp. 854–865.
CSCWCSCW-2014-MugarOHCJ #online
Planet hunters and seafloor explorers: legitimate peripheral participation through practice proxies in online citizen science (GM, CSØ, KDH, KC, CBJ), pp. 109–119.
CSCWCSCW-2014-MurphyRX #case study #collaboration #privacy
Privacy practices in collaborative environments: a study of emergency department staff (ARM, MCR, HX), pp. 269–282.
CSCWCSCW-2014-OleksikMJ #collaboration #design
Study of electronic lab notebook design and practices that emerged in a collaborative scientific environment (GO, NMF, RJ), pp. 120–133.
CSCWCSCW-2014-Quinones
Cultivating practice & shepherding technology use: supporting appropriation among unanticipated users (PAQ), pp. 305–318.
HCIDUXU-DI-2014-HusseinMT #development #human-computer #process #user interface #web
HCI Knowledge for UX Practices in the Web Development Process (IH, MM, AOMT), pp. 116–126.
HCIDUXU-TMT-2014-BergerHE #design #interactive #prototype #towards
Towards a Vocabulary of Prototypes in Interaction Design — A Criticism of Current Practice (AB, MH, ME), pp. 25–32.
HCIDUXU-TMT-2014-SilvaMLO #quality #usability #user interface
Evaluating Quality and Usability of the User Interface: A Practical Study on Comparing Methods with and without Users (CMS, VM, RL, MLLRO), pp. 318–328.
HCIHCI-AS-2014-BovetR #experience #game studies
Assembling the Collective Experience of a Serious Game Mediation as an Interactional Practice (AB, MR), pp. 571–580.
HCIHCI-TMT-2014-BorumBF #case study #tool support
The Resilience of Analog Tools in Creative Work Practices: A Case Study of LEGO Future Lab’s Team in Billund (NB, EPB, SRFM), pp. 23–34.
HCIHCI-TMT-2014-Fross #architecture
Ergonomics in the Practice of Project Architect on Selected Examples (KF), pp. 77–85.
HCIHCI-TMT-2014-SiliMMGP #automation #generative #question #user interface #what
A Practical Solution for the Automatic Generation of User Interfaces — What Are the Benefits of a Practical Solution for the Automatic Generation of User Interfaces? (MS, CCM, MM, MG, MP), pp. 445–456.
HCIHIMI-AS-2014-TomotoH
Report on Practice of Note-Rebuilding Support System (TT, TH), pp. 127–136.
HCIHIMI-DE-2014-BannaiKA #education #game studies #interface
Food Practice Shooter: A Serious Game with a Real-World Interface for Nutrition and Dietary Education (YB, TK, NA), pp. 139–147.
HCISCSM-2014-KamalNB #communication #distributed #mobile #product line #quote
“Presence in Absence”: Distributed Family Communication Practices for Familial Bonding via Mobile Communication Technology (FMK, NLMN, HB), pp. 474–485.
AdaEuropeAdaEurope-2014-IliasovLR #approach #formal method
Practical Formal Methods in Railways — The SafeCap Approach (AI, IL, AR), pp. 177–192.
ICEISICEIS-v2-2014-EstacioP #distributed #programming #set
A Set of Practices for Distributed Pair Programming (BJdSE, RP), pp. 331–338.
ICEISICEIS-v3-2014-BuchdidPB #design #game studies
Playing Cards and Drawing with Patterns — Situated and Participatory Practices for Designing iDTV Applications (SBB, RP, MCCB), pp. 14–27.
ICEISICEIS-v3-2014-RavasanRH #approach #framework #fuzzy #process #using
A Practical Framework for Business Process Management Suites Selection Using Fuzzy TOPSIS Approach (AZR, SR, HH), pp. 295–302.
CIKMCIKM-2014-DuQF #approach #fine-grained #owl
A Practical Fine-grained Approach to Resolving Incoherent OWL 2 DL Terminologies (JD, GQ, XF), pp. 919–928.
ICMLICML-c1-2014-DenilMF #random
Narrowing the Gap: Random Forests In Theory and In Practice (MD, DM, NdF), pp. 665–673.
ICMLICML-c2-2014-GaboardiAHRW #query
Dual Query: Practical Private Query Release for High Dimensional Data (MG, EJGA, JH, AR, ZSW), pp. 1170–1178.
ICMLICML-c2-2014-SeldinS #algorithm #probability
One Practical Algorithm for Both Stochastic and Adversarial Bandits (YS, AS), pp. 1287–1295.
KDDKDD-2014-BonchiGL #clustering #correlation #theory and practice
Correlation clustering: from theory to practice (FB, DGS, EL), p. 1972.
KDDKDD-2014-PoaloH #case study #modelling #predict
Predictive modeling in practice: a case study from sprint (TDP, JH), p. 1517.
KMISKMIS-2014-Muthaiyah #implementation #information management #theory and practice
Knowledge Management Technology Implementation — Bridging the Gap between Theory and Practice (SM), pp. 393–399.
KRKR-2014-LudwigK #difference #logic
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (ML, BK).
SEKESEKE-2014-ParkSHSHB #algorithm #resource management #search-based #using
Practical Human Resource Allocation in Software Projects Using Genetic Algorithm (JP, DS, GH, DS, JH, DHB), pp. 688–694.
SIGIRSIGIR-2014-Carterette #information retrieval #statistics #testing #theory and practice
Statistical significance testing in information retrieval: theory and practice (BC), p. 1286.
MODELSMoDELS-2014-LiebelMTLH #embedded #modelling
Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain (GL, NM, MT, AL, JH), pp. 166–182.
MODELSMoDELS-2014-LiebelMTLH #embedded #modelling
Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain (GL, NM, MT, AL, JH), pp. 166–182.
OOPSLAOOPSLA-2014-AltidorS #java #refactoring
Refactoring Java generics by inferring wildcards, in practice (JA, YS), pp. 271–290.
POPLPOPL-2014-SergeyVJ #analysis #composition #higher-order #theory and practice
Modular, higher-order cardinality analysis in theory and practice (IS, DV, SLPJ), pp. 335–348.
REFSQREFSQ-2014-AbeleinP #communication #developer #scalability
State of Practice of User-Developer Communication in Large-Scale IT Projects — Results of an Expert Interview Series (UA, BP), pp. 95–111.
SACSAC-2014-Umatani #calculus #implementation
Practical implementation techniques of ambient calculus in conventional dynamic languages (SU), pp. 1345–1351.
FSEFSE-2014-BaltesD #diagrams #sketching
Sketches and diagrams in practice (SB, SD), pp. 530–541.
FSEFSE-2014-YingR #summary
Selection and presentation practices for code example summarization (ATTY, MPR), pp. 460–471.
FSEFSE-2014-ZhouM #mining
Mining micro-practices from operational data (MZ, AM), pp. 845–848.
CGOCGO-2014-YanXYR #detection #memory management #named
LeakChecker: Practical Static Memory Leak Detection for Managed Languages (DY, G(X, SY, AR), p. 87.
HPCAHPCA-2014-PeraisS
Practical data value speculation for future high-end processors (AP, AS), pp. 428–439.
OSDIOSDI-2014-BangertZ #generative #named #parsing
Nail: A Practical Tool for Parsing and Generating Data Formats (JB, NZ), pp. 615–628.
PPoPPPPoPP-2014-DrachslerVY #concurrent #logic
Practical concurrent binary search trees via logical ordering (DD, MTV, EY), pp. 343–356.
PPoPPPPoPP-2014-TimnatP #data type #simulation
A practical wait-free simulation for lock-free data structures (ST, EP), pp. 357–368.
ICSTICST-2014-WojciakT #case study #combinator #concurrent #maintenance #testing
System Level Combinatorial Testing in Practice — The Concurrent Maintenance Case Study (PW, RTB), pp. 103–112.
VMCAIVMCAI-2014-Romano #float #integer #testing
Practical Floating-Point Tests with Integer Code (AR), pp. 337–356.
ECSAECSA-2013-AngelovTK #architecture #design
Software Reference Architectures — Exploring Their Usage and Design in Practice (SA, JJMT, RJK), pp. 17–24.
ECSAECSA-2013-DimechB #approach #architecture #consistency #development #maintenance
Maintaining Architectural Conformance during Software Development: A Practical Approach (CD, DB), pp. 208–223.
ECSAECSA-2013-MiesbauerW #bibliography #classification #design
Classification of Design Decisions — An Expert Survey in Practice (CM, RW), pp. 130–145.
ASEASE-2013-ChenJ #named #parallel #refactoring
JFlow: Practical refactorings for flow-based parallelism (NC, REJ), pp. 202–212.
DATEDATE-2013-DarbelL #power management
SoC low-power practices for wireless applications (ND, SL), p. 778.
DATEDATE-2013-ElfadelMA #formal method #industrial #manycore
Closed-loop control for power and thermal management in multi-core processors: formal methods and industrial practice (IME, RM, DA), pp. 1879–1881.
DATEDATE-2013-ObergMSK #framework #hardware #testing
A practical testing framework for isolating hardware timing channels (JO, SM, TS, RK), pp. 1281–1284.
DATEDATE-2013-PigorschS #locality
Lemma localization: a practical method for downsizing SMT-interpolants (FP, CS), pp. 1405–1410.
SIGMODSIGMOD-2013-KoutrisUBHS #query #towards
Toward practical query pricing with QueryMarket (PK, PU, MB, BH, DS), pp. 613–624.
SIGMODSIGMOD-2013-ZhuMXLTZ #distance #network #query #theory and practice #towards
Shortest path and distance queries on road networks: towards bridging theory and practice (ADZ, HM, XX, SL, YT, SZ), pp. 857–868.
VLDBVLDB-2013-BajajS #authentication #named #query #sql
CorrectDB: SQL Engine with Practical Query Authentication (SB, RS), pp. 529–540.
VLDBVLDB-2013-KellarisP #difference #privacy
Practical Differential Privacy via Grouping and Smoothing (GK, SP), pp. 301–312.
CSEETCSEET-2013-InagaWYKFYOKTK #development #education #effectiveness
Team characteristics for maximizing the educational effectiveness of practical lectures on software intensive systems development (SI, HW, YY, KK, YF, SY, MO, TK, MT, TK), pp. 264–268.
CSEETCSEET-2013-StettinaZBK #education #re-engineering #towards
Academic education of software engineering practices: towards planning and improving capstone courses based upon intensive coaching and team routines (CJS, ZZ, TB, BRK), pp. 169–178.
ITiCSEITiCSE-2013-CrescenziEK #student #theory and practice
From theory to practice: NP-completeness for every CS student (PC, EE, VK), pp. 16–21.
TFPIETFPIE-2013-Tobin-HochstadtH
From Principles to Practice with Class in the First Year (STH, DVH), pp. 1–15.
CSMRCSMR-2013-Bauer #reuse
Facts and Fallacies of Reuse in Practice (VB), pp. 431–434.
CSMRCSMR-2013-PerezMK #case study #industrial #quality
A Pilot Study on Software Quality Practices in Belgian Industry (JP, TM, FK), pp. 395–398.
ICSMEICSM-2013-Hegedus #maintenance
Revealing the Effect of Coding Practices on Software Maintainability (PH), pp. 578–581.
ICSMEICSM-2013-LeTL #fault #locality #theory and practice
Theory and Practice, Do They Match? A Case with Spectrum-Based Fault Localization (TDBL, FT, DL), pp. 380–383.
ICSMEICSM-2013-RajlichH #question
Which Practices Are Suitable for an Academic Software Project? (VR, JH), pp. 440–443.
MSRMSR-2013-RaemaekersNDV #locality #testing
Testing principles, current practices, and effects of change localization (SR, GFN, AvD, JV), pp. 257–266.
WCREWCRE-2013-ChenSB13a #c #detection #memory management #named
MemBrush: A practical tool to detect custom memory allocators in C binaries (XC, AS, HB), pp. 477–478.
PEPMPEPM-2013-Hu #aspect-oriented #bidirectional #graph transformation
Practical aspects of bidirectional graph transformations (ZH), pp. 1–2.
PLDIPLDI-2013-CohenP #bound #towards
Limitations of partial compaction: towards practical bounds (NC, EP), pp. 309–320.
LATALATA-2013-HaberHMMR #performance #regular expression
Efficient Submatch Extraction for Practical Regular Expressions (SH, WH, PKM, MM, PR), pp. 323–334.
IFMIFM-2013-GiachinoGLLW #analysis #concurrent #theory and practice
Deadlock Analysis of Concurrent Objects: Theory and Practice (EG, CAG, CL, ML, PYHW), pp. 394–411.
ICFPICFP-2013-BernardyC #context-free grammar #divide and conquer #parsing #performance
Efficient divide-and-conquer parsing of practical context-free languages (JPB, KC), pp. 111–122.
ICFPICFP-2013-CheneyLW #query
A practical theory of language-integrated query (JC, SL, PW), pp. 403–416.
CHICHI-2013-BaumerAKLSSW #case study #experience #facebook
Limiting, leaving, and (re)lapsing: an exploration of facebook non-use practices and experiences (EPSB, PA, VDK, TCL, MES, VSS, KW), pp. 3257–3266.
CHICHI-2013-BirdBKMF #constraints #development #matter #mobile
A matter of life and death: practical and ethical constraints in the development of a mobile verbal autopsy tool (JB, PB, KK, PM, EF), pp. 1489–1498.
CHICHI-2013-ComberHHMO #design
Food practices as situated action: exploring and designing for everyday food practices with households (RC, JH, AvH, PM, PO), pp. 2457–2466.
CHICHI-2013-DenefBK #social #social media #twitter
Social media and the police: tweeting practices of british police forces during the August 2011 riots (SD, PSB, NAK), pp. 3471–3480.
CHICHI-2013-HillmanNPO #network #quote #social
“Shared joy is double joy”: the social practices of user networks within group shopping sites (SH, CN, CP, EO), pp. 2417–2426.
CHICHI-2013-LeongW #music #social
Revisiting social practices surrounding music (TWL, PCW), pp. 951–960.
CHICHI-2013-Moncur #research
The emotional wellbeing of researchers: considerations for practice (WM), pp. 1883–1890.
CHICHI-2013-RoedlS #design #research
Design research at CHI and its applicability to design practice (DR, ES), pp. 1951–1954.
CHICHI-2013-TanenbaumWDT
Democratizing technology: pleasure, utility and expressiveness in DIY and maker practice (JT, AMW, AD, KT), pp. 2603–2612.
CHICHI-2013-ThiemeWJMLWOM #design #women
Design to promote mindfulness practice and sense of self for vulnerable women in secure hospital services (AT, JW, PJ, JCM, SEL, PCW, PO, TDM), pp. 2647–2656.
CSCWCSCW-2013-ChenX #comprehension #privacy
Privacy management in dynamic groups: understanding information privacy in medical practices (YC, HX), pp. 541–552.
CSCWCSCW-2013-GrayEVL #facebook
Who wants to know?: question-asking and answering practices among facebook users (RG, NBE, JV, CL), pp. 1213–1224.
CSCWCSCW-2013-ParkPC #design #documentation #locality #named
Local-universality: designing EMR to support localized informal documentation practices (SYP, KP, YC), pp. 55–66.
CSCWCSCW-2013-PiperDH #comprehension #documentation #education
Going digital: understanding paper and photo documentation practices in early childhood education (AMP, SD, JDH), pp. 1319–1328.
CSCWCSCW-2013-Snyder #collaboration
Drawing practices in image-enabled collaboration (JS), pp. 741–752.
HCIDHM-SET-2013-MazzolaMBPAPP #process
Explicit Tracking in the Diagnostic Process for Hand Dermatological Practices (LM, SM, SB, FP, FA, ODP, PP), pp. 248–257.
HCIDUXU-CXC-2013-HassB #testing #usability
Usability Testing Medical Devices: A Practical Guide to Minimizing Risk and Maximizing Success (CH, DB), pp. 407–416.
HCIDUXU-CXC-2013-Wang13b #interactive
The Interactive Media between Human and the Sacred — An Example for Taiwanese Spiritual Practice (PFW), pp. 121–128.
HCIDUXU-PMT-2013-Flanagan #feedback #how #interface
Haptic Interface Aesthetics — “Feedback Loops, Live Coding and How to Harness the Potential of Embodied Estrangement in Artistic Practices and Aesthetic Theories within Interface Culture” (PJF), pp. 58–67.
HCIDUXU-PMT-2013-GreenwoodJ
Customer Recruitment: Ethical, Legal and Practical Issues (KG, AJ), pp. 273–282.
HCIHCI-AS-2013-JokelaLN #usability
Usability in RFP’s: The Current Practice and Outline for the Future (TJ, JL, MN), pp. 101–106.
HCIHCI-AS-2013-Rauch #enterprise #gamification #using
Best Practices for Using Enterprise Gamification to Engage Employees and Customers (MR), pp. 276–283.
HCIHCI-UC-2013-BelliniBNP #network #recommendation
A Static and Dynamic Recommendations System for Best Practice Networks (PB, IB, PN, MP), pp. 259–268.
HCIHIMI-D-2013-Zempo #effectiveness #modelling #standard #usability
Effective Practice of HCD by Usability Modeling and Standardization (HZ), pp. 393–399.
HILTHILT-2013-Logozzo #contract #specification #verification
Practical specification and verification with code contracts (FL), pp. 7–8.
ICEISICEIS-v2-2013-TrindadeGG #collaboration #community #concept #design #framework
Conceptual Framework for Design of Collaborative Environments — Cultivating Communities of Practices for Deaf Inclusion (DdFGT, CG, LSG), pp. 206–215.
CIKMCIKM-2013-Fagin #theory and practice
Applying theory to practice (RF), pp. 3–4.
ECIRECIR-2013-RadlinskiH #evaluation #online #retrieval
Practical Online Retrieval Evaluation (FR, KH), pp. 878–881.
ICMLICML-c2-2013-AroraGHMMSWZ #algorithm #modelling #topic
A Practical Algorithm for Topic Modeling with Provable Guarantees (SA, RG, YH, DMM, AM, DS, YW, MZ), pp. 280–288.
KDIRKDIR-KMIS-2013-AlwazaePK #classification #verification
Verifying the Usefulness of a Classification System of Best Practices (MMSA, EP, HK), pp. 405–412.
KDIRKDIR-KMIS-2013-GengUA #algorithm #mining
Trajectory Pattern Mining in Practice — Algorithms for Mining Flock Patterns from Trajectories (XG, TU, HA), pp. 143–151.
KEODKEOD-2013-MendesRB #development #information management #ontology #representation
Development and Population of an Elaborate Formal Ontology for Clinical Practice Knowledge Representation (DM, IPR, CFB), pp. 286–292.
SEKESEKE-2013-SouzaV #agile #product line
Selecting Agile Practices for Developing Software Product Lines (S) (DSdS, PV), pp. 220–225.
SIGIRSIGIR-2013-GaoYSL #internet #theory and practice
Internet advertising: theory and practice (BG, JY, DS, TYL), p. 1135.
ICMTICMT-2013-KramerKSMKBJ #weaving
Achieving Practical Genericity in Model Weaving through Extensibility (MEK, JK, JRHS, BM, JK, OB, JMJ), pp. 108–124.
ICMTICMT-2013-WieberS #approach #graph transformation #testing
Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns (MW, AS), pp. 205–220.
POPLPOPL-2013-Goodman #probability #programming
The principles and practice of probabilistic programming (NDG), pp. 399–402.
RERE-2013-Cousins #architecture #challenge #industrial #requirements
Starchitects and Jack-Hammers: Requirements engineering challenges and practices in the construction industry (keynote) (FC), p. 2.
RERE-2013-SaitoTHKA #quality #requirements #specification
Requirements clinic: Third party inspection methodology and practice for improving the quality of software requirements specifications (SS, MT, MH, TK, MA), pp. 290–295.
RERE-2013-YuAMFC #industrial #state of the art
Practical applications of i∗ in industry: The state of the art (ESKY, DA, GM, XF, JC), pp. 366–367.
REFSQREFSQ-2013-BouillonMP #bibliography #requirements #traceability
A Survey on Usage Scenarios for Requirements Traceability in Practice (EB, PM, IP), pp. 158–173.
REFSQREFSQ-2013-Herrmann #requirements
Requirements Engineering in Practice: There Is No Requirements Engineer Position (AH), pp. 347–361.
SACSAC-2013-CohenA #composition #refactoring
Practical use of static composition of refactoring operations (JC, AA), pp. 1700–1705.
ESEC-FSEESEC-FSE-2013-MadsenLF #framework #javascript #library #static analysis
Practical static analysis of JavaScript applications in the presence of frameworks and libraries (MM, BL, MF), pp. 499–509.
ESEC-FSEESEC-FSE-2013-RigbyB #bibliography #convergence
Convergent contemporary software peer review practices (PCR, CB), pp. 202–212.
ICSEICSE-2013-BellomoNO #agile #case study
A study of enabling factors for rapid fielding: combined practices to balance speed and stability (SB, RLN, IO), pp. 982–991.
ICSEICSE-2013-BouwersDVa #metric
Software metrics: pitfalls and best practices (EB, AvD, JV), pp. 1491–1492.
ICSEICSE-2013-PaganoB #case study #evolution
User involvement in software evolution practice: a case study (DP, BB), pp. 953–962.
ICSEICSE-2013-Petre #uml
UML in practice (MP), pp. 722–731.
ICSEICSE-2013-WangPXZ #feature model #interactive #multi
Improving feature location practice with multi-faceted interactive exploration (JW, XP, ZX, WZ), pp. 762–771.
ICSEICSE-2013-Zhang #semantics
Practical semantic test simplification (SZ), pp. 1173–1176.
SPLCSPLC-2013-ClementsRY
Barriers for SPL practice and paths to get over them (PCC, JR, KY), p. 289.
SPLCSPLC-2013-MarijanGSH #product line #testing
Practical pairwise testing for software product lines (DM, AG, SS, AH), pp. 227–235.
ASPLOSASPLOS-2013-OhKJLA #automation
Practical automatic loop specialization (TO, HK, NPJ, JWL, DIA), pp. 419–430.
CGOCGO-2013-ChoKWLLM #concurrent #source code
Practical lock/unlock pairing for concurrent programs (HKC, TK, YW, SL, HL, SAM), p. 12.
LCTESLCTES-2013-JangKL #algorithm #parallel
Practical speculative parallelization of variable-length decompression algorithms (HJ, CK, JWL), pp. 55–64.
SOSPSOSP-2013-CuiSLLBXYGB #named #reliability #runtime #thread
Parrot: a practical runtime for deterministic, stable, and reliable threads (HC, JS, YHL, HL, BB, XX, JY, GAG, REB), pp. 388–405.
CAVCAV-2013-ArmoniFJ #approach
SVA and PSL Local Variables — A Practical Approach (RA, DF, NJ), pp. 197–212.
ICLPICLP-J-2013-Balduccini
ASP with non-herbrand partial functions: a language and system for practical use (MB), pp. 547–561.
ICLPICLP-J-2013-LiangK #analysis #logic programming #scalability #source code
A practical analysis of non-termination in large logic programs (SL, MK), pp. 705–719.
ISSTAISSTA-2013-RadoiD #concurrent #detection #java #parallel
Practical static race detection for Java parallel loops (CR, DD), pp. 178–190.
ISSTAISSTA-2013-WeiR #analysis #javascript
Practical blended taint analysis for JavaScript (SW, BGR), pp. 336–346.
ASEASE-2012-YuLCZ #debugging #fault
Practical isolation of failure-inducing changes for debugging regression faults (KY, ML, JC, XZ), pp. 20–29.
CASECASE-2012-LiZH #realtime
A practical method for motor imagery based real-time prosthesis control (YNL, XDZ, ZXH), pp. 1052–1056.
CASECASE-2012-ParkBPB #development
Development of an anthropomorphic robot hand aimed at practical use for wide service robot application (SWP, JHB, JHP, MB), pp. 431–435.
CASECASE-2012-ParkM #behaviour #bound #clustering #hybrid #linear #performance #tool support
Performance bounds for hybrid flow lines: Fundamental behavior, practical features and application to linear cluster tools (KP, JRM), pp. 371–376.
VLDBVLDB-2012-BailisVFHS #bound
Probabilistically Bounded Staleness for Practical Partial Quorums (PB, SV, MJF, JMH, IS), pp. 776–787.
VLDBVLDB-2012-GetoorM #challenge
Entity Resolution: Theory, Practice & Open Challenges (LG, AM), pp. 2018–2019.
CSEETCSEET-2012-DingLLS #collaboration #in the cloud #re-engineering #research
Research on Remote Collaborative Engineering Practices for Master of Software Engineering Based on Cloud Computing Environment (QD, XL, YL, ZS), pp. 110–114.
CSEETCSEET-2012-LiuML #education #re-engineering
The Exploration and Practice of Gradually Industrialization Model in Software Engineering Education — A Factual Instance of the Excellent Engineer Plan of China (SL, PM, DL), pp. 23–31.
ITiCSEITiCSE-2012-SchaferMB #student
Best practices for time-management of student groups with heterogeneous effort (AS, MM, RB), p. 377.
ICSMEICSM-2012-SuvorovNHZA #case study #empirical #kernel #linux
An empirical study of build system migrations in practice: Case studies on KDE and the Linux kernel (RS, MN, AEH, YZ, BA), pp. 160–169.
ICSMEICSM-2012-ZhangPXZ #developer #what #why
Cloning practices: Why developers clone and what can be changed (GZ, XP, ZX, WZ), pp. 285–294.
MSRMSR-2012-Zhang #case study #experience
MSR 2012 keynote: Software analytics in practice — Approaches and experiences (DZ), p. 1.
SEFMSEFM-2012-BicknellRBCS #approach #using #verification
A Practical Approach for Closed Systems Formal Verification Using Event-B (BB, JR, MJB, JC, CFS), pp. 323–332.
ICFPICFP-2012-Chitil #contract #lazy evaluation
Practical typed lazy contracts (OC), pp. 67–76.
ICGTICGT-2012-GolasLEG #flexibility #formal method #graph grammar #towards
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars — Flexible Relations between Source and Target Elements (UG, LL, HE, HG), pp. 141–155.
CHICHI-2012-DombrowskiVHM #case study
The labor practices of service mediation: a study of the work practices of food assistance outreach (LD, AV, GRH, MM), pp. 1977–1986.
CHICHI-2012-EscobedoNBHRGTH #mobile #named #social
MOSOCO: a mobile assistive tool to support children with autism practicing social skills in real-life situations (LE, DHN, LAB, SHH, AR, DGR, MT, GRH), pp. 2589–2598.
CHICHI-2012-FolstadLH #analysis #bibliography #evaluation #usability
Analysis in practical usability evaluation: a survey study (AF, EL, KH), pp. 2127–2136.
CHICHI-2012-KratzMS #gesture
Making gestural input from arm-worn inertial sensors more practical (LK, DM, TSS), pp. 1747–1750.
CHICHI-2012-WeibelFEFHH #research
Digital pen and paper practices in observational research (NW, AF, CE, WF, EH, JDH), pp. 1331–1340.
CSCWCSCW-2012-KolkoHBSGKN #adaptation #collaboration
Adapting collaborative radiological practice to low-resource environments (BEK, AH, WB, KS, WG, MK, RN), pp. 97–106.
CSCWCSCW-2012-LingelTSN
Practices of information and secrecy in a punk rock subculture (JL, AT, JS, MN), pp. 157–166.
CSCWCSCW-2012-Meum #process
Electronic medication management: a socio — technical change process in clinical practice (TM), pp. 877–886.
CSCWCSCW-2012-Rosner12a #collaboration
The material practices of collaboration (DKR), pp. 1155–1164.
CAiSECAiSE-2012-MartinCM #assessment #empirical #process
Process Redesign for Liquidity Planning in Practice: An Empirical Assessment (JM, TC, AM), pp. 581–596.
CAiSECAiSE-2012-PastorE #code generation #modelling #requirements
Full Model-Driven Practice: From Requirements to Code Generation (OP, SE), pp. 701–702.
ICEISICEIS-v2-2012-HanadaOKM #java #ml #ocl #uml
Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation (KH, KO, SK, KM), pp. 389–394.
CIKMCIKM-2012-ThonangiB0 #concurrent
A practical concurrent index for solid-state drives (RT, SB, JY), pp. 1332–1341.
ICMLICML-2012-AvronKKS #performance #probability
Efficient and Practical Stochastic Subgradient Descent for Nuclear Norm Regularization (HA, SK, SPK, VS), p. 46.
ICPRICPR-2012-AbazaHB #metric #quality #recognition
Quality metrics for practical face recognition (AA, MAFH, TB), pp. 3103–3107.
KDDKDD-2012-SatoKN #process
Practical collapsed variational bayes inference for hierarchical dirichlet process (IS, KK, HN), pp. 105–113.
KMISKMIS-2012-Chai-ArayalertN #approach #information management #towards
Towards a Semiotic Approach to Practice-oriented Knowledge Transfer (SCA, KN), pp. 119–124.
KMISKMIS-2012-CrawfordBSMM #information management #re-engineering
Knowledge Management and Creativity Practices in Software Engineering (BC, CLdlB, RS, SM, EM), pp. 277–280.
KMISKMIS-2012-Grim-YefsahD #information management #outsourcing
Knowledge Transfer in Practice — A Socio-technical System for the Transition in Outsourcing (MGY, JD), pp. 223–228.
KRKR-2012-GrastienHT #theory and practice
Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice (AG, PH, ST).
KRKR-2012-KazakovKS #logic #product line #reasoning
Practical Reasoning with Nominals in the EL Family of Description Logics (YK, MK, FS).
SEKESEKE-2012-BagheriSS #named #synthesis #trade-off
Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping (HB, KJS, SHS), pp. 688–693.
ECOOPECOOP-2012-OliveiraC #algebra
Extensibility for the Masses — Practical Extensibility with Object Algebras (BCdSO, WRC), pp. 2–27.
ECOOPECOOP-2012-WestbrookZBS #parallel
Practical Permissions for Race-Free Parallelism (EMW, JZ, ZB, VS), pp. 614–639.
OOPSLAOOPSLA-2012-MullerC #concurrent #towards
Towards a practical secure concurrent language (SM, SC), pp. 57–74.
PADLPADL-2012-BalducciniL #aspect-oriented #tool support
Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools (MB, YL), pp. 78–92.
RERE-2012-Cleland-HuangMMA #recommendation #traceability
Breaking the big-bang practice of traceability: Pushing timely trace recommendations to project stakeholders (JCH, PM, MM, SA), pp. 231–240.
SACSAC-PL-J-2009-J-BiggarVG12 #compilation #scripting language
A practical solution for achieving language compatibility in scripting language compilers (PB, EdV, DG), pp. 971–989.
SACSAC-2012-WeiWRR #artificial reality #challenge #framework
Examining the practical challenges of an Augmented Reality cyber-infrastructure framework (CW, CNW, RR, JR), pp. 531–536.
FSEFSE-2012-AcharyaR #impact analysis #industrial #slicing
Practical change impact analysis based on static program slicing for industrial software systems (MA, BR), p. 13.
ICSEICSE-2012-AndronickJKKSZZ #perspective #process #scalability #verification
Large-scale formal verification in practice: A process perspective (JA, DRJ, GK, RK, MS, HZ, LZ), pp. 1002–1011.
ICSEICSE-2012-BavotaLFOZ #approach #education #project management #re-engineering
Teaching software engineering and software project management: An integrated and practical approach (GB, ADL, FF, RO, CZ), pp. 1155–1164.
ICSEICSE-2012-GreilerDS #case study #plugin #testing
Test confessions: A study of testing practices for plug-in systems (MG, AvD, MADS), pp. 244–254.
ICSEICSE-2012-ReissBL #programming
Code Bubbles: A practical working-set programming environment (SPR, JNB, JJLJ), pp. 1411–1414.
ICSEICSE-2012-Sprenger #case study #experience #how #industrial #re-engineering
How software engineering can benefit from traditional industries — A practical experience report (Invited industrial talk) (TS), p. 1000.
ICSEICSE-2012-WrightP
Release engineering practices and pitfalls (HKW, DEP), pp. 1281–1284.
ICSEICSE-2012-YuanPZ #open source
Characterizing logging practices in open-source software (DY, SP, YZ), pp. 102–112.
ICSEICSE-2012-ZhangX #tutorial
Software analytics in practice: Mini tutorial (DZ, TX), p. 997.
ICSEICSE-2012-ZhangYZFZZO #api #automation #parametricity #recommendation
Automatic parameter recommendation for practical API usage (CZ, JY, YZ, JF, XZ, JZ, PO), pp. 826–836.
CSLCSL-2012-Lynce #named #satisfiability
Satisfiability: where Theory meets Practice (Invited Talk) (IL), pp. 12–13.
ICSTICST-2012-EldhS #case study #challenge #industrial #mobile #robust #testing
Robustness Testing of Mobile Telecommunication Systems: A Case Study on Industrial Practice and Challenges (SE, DS), pp. 895–900.
ICSTICST-2012-RamlerKP #combinator #design #lessons learnt
Combinatorial Test Design in the TOSCA Testsuite: Lessons Learned and Practical Implications (RR, TK, WP), pp. 569–572.
ICSTICST-2012-YuL #debugging #fault #towards
Towards Practical Debugging for Regression Faults (KY, ML), pp. 487–490.
RTARTA-2012-Anai #algebra #geometry
Computational Real Algebraic Geometry in Practice (Invited Talk) (HA), p. 1.
SMTSMT-2012-Biere #aspect-oriented #satisfiability
Practical Aspects of SAT Solving (AB), p. 1.
VLDBVLDB-2011-ZhangM0 #matrix #revisited #theory and practice
Storing Matrices on Disk: Theory and Practice Revisited (YZ, KM, JY), pp. 1075–1086.
CSEETCSEET-2011-DingLZGSW #education #re-engineering #research
Research and practice on software engineering undergraduate curriculum NJU-SEC2006 (ED, BL, DZ, JG, DS, HW), pp. 492–496.
CSEETCSEET-2011-LiB #education #process #re-engineering #research #validation #verification
Making winners for both education and research: Verification and validation process improvement practice in a software engineering course (QL, BWB), pp. 304–313.
CSEETCSEET-2011-MacekK #development #student
The practical method of motivating students to iterative software development (OM, MK), pp. 512–516.
CSEETCSEET-2011-Sun #challenge #education #re-engineering
The challenge and practice of creating Software Engineering curriculum (YS), pp. 497–501.
ITiCSEITiCSE-2011-Harrach #feedback #research
Best practices for peer feedback in interdisciplinary research groups (SH), p. 348.
ITiCSEITiCSE-2011-Mahmoud #development #education #mobile
Best practices in teaching mobile application development (QHM), p. 333.
ITiCSEITiCSE-2011-SheardD #student
Computing student practices of cheating and plagiarism: a decade of change (JS, MD), pp. 233–237.
ITiCSEITiCSE-2011-VihavainenPLK #scalability
Extreme apprenticeship method: key practices and upward scalability (AV, MP, ML, JK), pp. 273–277.
FoSSaCSFoSSaCS-2011-Kobayashi #algorithm #automaton #higher-order #linear #model checking #recursion
A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes (NK0), pp. 260–274.
CSMRCSMR-2011-JurgensHDFSW #testing
Regression Test Selection of Manual System Tests in Practice (EJ, BH, FD, MF, CS, AW), pp. 309–312.
CSMRCSMR-2011-SalehieLTDLM #testing
Prioritizing Requirements-Based Regression Test Cases: A Goal-Driven Practice (MS, SL, LT, RD, SL, MM), pp. 329–332.
ICSMEICSM-2011-KuhnK #combinator #detection #fault #testing
Practical combinatorial (t-way) methods for detecting complex faults in regression testing (RK, RK), p. 599.
SASSAS-2011-BlackshearCSS #analysis #precise
The Flow-Insensitive Precision of Andersen’s Analysis in Practice (SB, BYEC, SS, MS), pp. 60–76.
FMFM-2011-BowenR #case study #community #formal method
From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community (JPB, SR), pp. 308–322.
SFMSFM-2011-SteffenHM #automaton #learning #perspective
Introduction to Active Automata Learning from a Practical Perspective (BS, FH, MM), pp. 256–296.
ICFPICFP-2011-OhoriU #database #ml #programming language #standard
Making standard ML a practical database programming language (AO, KU), pp. 307–319.
AGTIVEAGTIVE-2011-Kocsis
Best Practices to Model Business Services in Complex IT Environments (ZK), p. 1.
CHICHI-2011-ChilanaKWGF #bibliography #usability
Post-deployment usability: a survey of current practices (PKC, AJK, JOW, TG, GWF), pp. 2243–2246.
CHICHI-2011-DantecFCBEKE #ubiquitous #women
Publics in practice: ubiquitous computing at a shelter for homeless mothers (CALD, RGF, JC, MB, JBE, WAK, WKE), pp. 1687–1696.
CHICHI-2011-GoodmanSW #comprehension #design #interactive
Understanding interaction design practices (EG, ES, RW), pp. 1061–1070.
CHICHI-2011-KimP #reuse
Practices in the creative reuse of e-waste (SK, EP), pp. 2395–2404.
CHICHI-2011-LinehanKLC #design #education #game studies #guidelines
Practical, appropriate, empirically-validated guidelines for designing educational games (CL, BK, SWL, GC), pp. 1979–1988.
CHICHI-2011-PierceP #interactive
Second-hand interactions: investigating reacquisition and dispossession practices around domestic objects (JP, EP), pp. 2385–2394.
CHICHI-2011-ShklovskiK #internet #online
Online contribution practices in countries that engage in internet blocking and censorship (IS, NK), pp. 1109–1118.
CSCWCSCW-2011-BagalkotS #collaboration #named #towards
MagicMirror: towards enhancing collaborative rehabilitation practices (NB, TS), pp. 593–596.
CSCWCSCW-2011-LiaoPLY #enterprise
Enterprise blogging in a global context: comparing Chinese and American practices (QL, SP, JCL, CY), pp. 35–44.
CSCWCSCW-2011-Masih #requirements #towards
Towards requirements engineering for a tumour removing robot: work-practice observation of surgical teams performing brain tumour surgery (AM), pp. 677–680.
CSCWCSCW-2011-WulfRPS #case study #design #framework #research
Engaging with practices: design case studies as a research framework in CSCW (VW, MR, VP, GS), pp. 505–512.
HCIDUXU-v1-2011-BevanR #question #standard #usability
ISO 20282: Is a Practical Standard for the Usability of Consumer Products Possible? (NB, SR), pp. 119–127.
HCIDUXU-v2-2011-MirandaHB11a #interactive #physics
Prospecting a New Physical Artifact of Interaction for iDTV: Results of Participatory Practices (LCdM, HHH, MCCB), pp. 167–176.
HCIHCI-MIIE-2011-MajimaNMHNHA #evaluation #learning #mobile
Evaluation of Continuous Practice by Mobile Learning in Nursing Practical Training (YM, YN, YM, MH, YN, SH, HA), pp. 84–91.
HCIHIMI-v1-2011-JeonKLW #analysis #security #smarttech
A Practical Analysis of Smartphone Security (WJ, JK, YL, DW), pp. 311–320.
HCIIDGD-2011-HaiS #design #education #social
Design for All: Social Innovation and Service Design Education and Practice in China (JH, KWMS), pp. 514–523.
HCIIDGD-2011-WelkerGS #design #evaluation #web
Designing Web Marketing that Works for Users: Finding Best Practices through Evaluation and Conversation (KW, FYG, SS), pp. 407–416.
ICEISICEIS-J-2011-LemnaruP #classification #problem
Imbalanced Classification Problems: Systematic Study, Issues and Best Practices (CL, RP), pp. 35–50.
ICEISICEIS-v2-2011-ChenGC #enterprise #recommendation
Enterprise Knowledge Practice and Recommendation based on HOTP Model (BC, YG, DC), pp. 444–450.
ICEISICEIS-v2-2011-MaZ #research
Research and Practice of Group Decision Systems (SqM, YZ), pp. 287–290.
ICEISICEIS-v2-2011-YeL #theory and practice
Analyzing Data from AVL/APC System for Improving Transit Management — Theory and Practice (YY, JL), pp. 267–274.
ICEISICEIS-v3-2011-PereiraAPFS #development
SOA Practices and Patterns Applied in Global Software Development (MZP, JLNA, RP, MF, CRBdS), pp. 286–292.
ICEISICEIS-v4-2011-Naderipour #ad hoc #industrial #mining #process #using
Mining of Ad-hoc Business Processes using Microsoft Sharepoint, Nitro & Prom 6.0 — An Industrial Practice (FN), pp. 413–418.
CIKMCIKM-2011-CachedaCFF #algorithm #analysis #dataset #nearest neighbour
Improving k-nearest neighbors algorithms: practical application of dataset analysis (FC, VC, DF, VF), pp. 2253–2256.
CIKMCIKM-2011-ClaudeL #graph #social #web
Practical representations for web and social graphs (FC, SL), pp. 1185–1190.
KDIRKDIR-2011-Liebowitz #information management
Knowledge Management and e-Learning: Putting Theory into Practice (JL), p. 5.
KEODKEOD-2011-OgawaISAH #knowledge base #workflow
Acquisition of Service Practical Knowledge based on Ontologized Medical Workflow (TO, MI, MS, KA, KH), pp. 118–130.
KEODKEOD-2011-PhamS #reasoning
Practical Goal-based Reasoning in Ontology-driven Applications (HP, DS), pp. 99–109.
KEODKEOD-2011-PhamSD #composition #framework #workflow
A Practical Ontology-driven Workflow Composition Framework (HP, DS, RD), pp. 242–248.
KMISKMIS-2011-BerkaniCN #community #online #semantics
Semantics and Knowledge Capitalization in Online Communities of Practice of e-Learning (LB, AC, ON), pp. 96–104.
KMISKMIS-2011-Grim-YefsahRT #information management #outsourcing
Changing Provider in an Outsourced Information System Project — Good Practices for Knowledge Transfer (MGY, CRS, VTG), pp. 318–321.
KMISKMIS-2011-MendesR11a #development #ontology #semantics
The BRIDG Model as the Most Authoritative Resource in Shared Semantics for Ontologies Development in Healthcare Practice (DM, IPR), pp. 379–383.
KMISKMIS-2011-UrdzikovaJ #research
Complaints Management in Terms of Business Practice in Slovakia — Research Results (JU, MJ), pp. 302–305.
MLDMMLDM-2011-Bouguessa #approach #clustering #transaction
A Practical Approach for Clustering Transaction Data (MB), pp. 265–279.
SEKESEKE-2011-VilainM #agile #case study
Neglecting Agile Principles and Practices: A Case Study (PV, AJBM), pp. 596–601.
SEKESEKE-2011-XueJYPZ #industrial #scalability #variability
Scalability of Variability Management: An Example of Industrial Practice and Some Improvements (YX, SJ, PY, XP, WZ), pp. 705–710.
SIGIRSIGIR-2011-RadlinskiY #evaluation #online #retrieval
Practical online retrieval evaluation (FR, YY), pp. 1301–1302.
BXBX-2011-Czarnecki #theory and practice
Model Synchronization: Theory and Practice (KC), p. 52.
BXBX-2011-Terwilliger #bidirectional #database #research
Bidirectional Transformations in Database Research and Practice (JT), p. 50.
MODELSMoDELS-2011-LettnerTM #bibliography #embedded #identification #migration #problem
A Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in Practice (ML, MT, RM), pp. 228–242.
MODELSMoDELS-2011-LettnerTM #bibliography #embedded #identification #migration #problem
A Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in Practice (ML, MT, RM), pp. 228–242.
POPLPOPL-2011-TovP
Practical affine types (JAT, RP), pp. 447–458.
RERE-2011-Berntsson-SvenssonGRTSFA #quality #requirements
Prioritization of quality requirements: State of practice in eleven companies (RBS, TG, BR, RT, AS, RF, AA), pp. 69–78.
RERE-2011-FranqueiraTYWN #security
Risk and argument: A risk-based argumentation method for practical security (VNLF, TTT, YY, RW, BN), pp. 239–248.
REFSQREFSQ-2011-BakalovaDHW #agile #requirements #what
Agile Requirements Prioritization: What Happens in Practice and What Is Described in Literature (ZB, MD, AH, RW), pp. 181–195.
REFSQREFSQ-2011-Maiden #requirements #research
Delivering Requirements Research into Practice (NAMM), pp. 1–3.
SACSAC-2011-HauptPH #approach #programming language #type system
Type harvesting: a practical approach to obtaining typing information in dynamic programming languages (MH, MP, RH), pp. 1282–1289.
ESEC-FSEESEC-FSE-2011-Bodden #approach #monitoring #runtime
Stateful breakpoints: a practical approach to defining parameterized runtime monitors (EB), pp. 492–495.
ICSEICSE-2011-AcharyaR #impact analysis #industrial #slicing
Practical change impact analysis based on static program slicing for industrial software systems (MA, BR), pp. 746–755.
ICSEICSE-2011-AdlerBRSSUZ #analysis #scalability #test coverage
Code coverage analysis in practice for large systems (YA, NB, OR, OS, NS, SU, AZ), pp. 736–745.
ICSEICSE-2011-ArcuriB #algorithm #random #re-engineering #statistics #testing #using
A practical guide for using statistical tests to assess randomized algorithms in software engineering (AA, LCB), pp. 1–10.
ICSEICSE-2011-BoehmV #challenge #estimation #research
Impact of software resource estimation research on practice: a preliminary report on achievements, synergies, and challenges (BWB, RV), pp. 1057–1065.
ICSEICSE-2011-CadarGKPSTV #assessment #execution #symbolic computation #testing
Symbolic execution for software testing in practice: preliminary assessment (CC, PG, SK, CSP, KS, NT, WV), pp. 1066–1071.
ICSEICSE-2011-HutchinsonRW #industrial #modelling
Model-driven engineering practices in industry (JH, MR, JW), pp. 633–642.
ICSEICSE-2011-ZhangJHHZ #process #simulation
Impact of process simulation on software practice: an initial report (HZ, DRJ, DH, LH, LZ), pp. 1046–1056.
PLEASEPLEASE-2011-Li #evolution #identification #product line
Identifying best practice by analyzing the evolution of the FISCAN MTMSIS software product line (DL), pp. 40–44.
CCCC-2011-MaKA #memory management #multi
Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies (WM, SK, GA), pp. 266–285.
CGOCGO-2011-BrueningZ #memory management
Practical memory checking with Dr. Memory (DB, QZ), pp. 213–223.
HPCAHPCA-2011-QureshiSLF #detection #online
Practical and secure PCM systems by online detection of malicious write streams (MKQ, AS, LL, MF), pp. 478–489.
LCTESLCTES-2011-Cullmann #analysis #novel #persistent #theory and practice
Cache persistence analysis: a novel approachtheory and practice (CC), pp. 121–130.
SOSPSOSP-2011-GuoWZHYZ #interface #model checking #reduction
Practical software model checking via dynamic interface reduction (HG, MW, LZ, GH, JY, LZ), pp. 265–278.
CAVCAV-2011-DudkaPV #data type #logic #named #using
Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic (KD, PP, TV), pp. 372–378.
CAVCAV-2011-RamosE #equivalence #verification
Practical, Low-Effort Equivalence Verification of Real Code (DAR, DRE), pp. 669–685.
ICSTICST-2011-CzerwonkaDNTT #analysis #case study #experience #named #predict
CRANE: Failure Prediction, Change Analysis and Test Prioritization in Practice — Experiences from Windows (JC, RD, NN, AT, AT), pp. 357–366.
ICSTICST-2011-LuoDQ #concurrent #detection #manycore #performance
Multicore SDK: A Practical and Efficient Deadlock Detector for Real-World Applications (ZDL, RD, YQ), pp. 309–318.
LICSLICS-2011-Kobayashi #higher-order #model checking #theory and practice
Higher-Order Model Checking: From Theory to Practice (NK0), pp. 219–224.
RTARTA-2011-Tiwari
Rewriting in Practice (AT), pp. 3–8.
TLCATLCA-2011-Tiwari
Rewriting in Practice (AT), pp. 6–8.
VMCAIVMCAI-2011-ChengRKB #embedded #fault tolerance #game studies #synthesis #theory and practice #using
Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice (CHC, HR, AK, CB), pp. 118–133.
VMCAIVMCAI-2011-Logozzo #abstract interpretation #verification
Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation — (Invited Talk) (FL), pp. 19–22.
ECSAECSA-2010-Webber #rest
REST in Practice (JW), p. 7.
QoSAQoSA-2010-GloahecFS #architecture
Good Architecture = Good (ADL + Practices) (VLG, RF, SS), pp. 167–182.
CASECASE-2010-AllenT #consistency #detection #fault #industrial #nondeterminism
Event-based fault detection of manufacturing cell: Data inconsistencies between academic assumptions and industry practice (LVA, DMT), pp. 426–432.
CASECASE-2010-AnandFLM #distributed #implementation #network #using
A practical implementation of distributed system control over an asynchronous Ethernet network using time stamped data (DMA, JGF, YSLB, JRM), pp. 515–520.
CASECASE-2010-NazeemR #approach #design #resource management
A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems (AN, SR), pp. 451–458.
CASECASE-2010-ThayerE #approach
Developing a practical approach to measuring sustainability for the proceedings of the 2010 IEEE society spring conference (JT, DEE), pp. 162–167.
DACDAC-2010-TruongB #architecture #design #manycore #modelling
Circuit modeling for practical many-core architecture design exploration (DT, BMB), pp. 627–628.
DATEDATE-2010-JaffariA #estimation #monte carlo
Practical Monte-Carlo based timing yield estimation of digital circuits (JJ, MA), pp. 807–812.
ICSMEICSM-2010-Dig #parallel #refactoring #tutorial
A practical tutorial on refactoring for parallelism (DD), pp. 1–2.
PASTEPASTE-2010-AyewahP #analysis #null
Null dereference analysis in practice (NA, WP), pp. 65–72.
PASTEPASTE-2010-MizushimaMY #constant #parsing
Packrat parsers can handle practical grammars in mostly constant space (KM, AM, YY), pp. 29–36.
SCAMSCAM-2010-BastenS #ambiguity #detection #named
AMBIDEXTER: Practical Ambiguity Detection (BB, TvdS), pp. 101–102.
SASSAS-2010-AlbertAGPD #analysis #approach
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis (EA, PA, SG, GP, DVRD), pp. 100–116.
IFLIFL-2010-HinzeHJ #theory and practice
Theory and Practice of Fusion (RH, TH, DWHJ), pp. 19–37.
CHICHI-2010-ChilanaWK #comprehension #usability
Understanding usability practices in complex domains (PKC, JOW, AJK), pp. 2337–2346.
CHICHI-2010-SaponasTMTL #interface
Making muscle-computer interfaces more practical (TSS, DST, DM, JT, JAL), pp. 851–854.
CHICHI-2010-TerryKL #community #open source #usability
Perceptions and practices of usability in the free/open source software (FoSS) community (MAT, MK, BL), pp. 999–1008.
CSCWCSCW-2010-KeeganG #social #social media
Egalitarians at the gate: one-sided gatekeeping practices in social media (BK, DG), pp. 131–134.
AdaEuropeAdaEurope-2010-GraydonKY #case study #dependence
Practical Limits on Software Dependability: A Case Study (PJG, JCK, XY), pp. 83–96.
CAiSECAiSE-2010-KrastevaID #agile #approach #development
Experience-Based Approach for Adoption of Agile Practices in Software Development Projects (IK, SI, AD), pp. 266–280.
EDOCEDOC-2010-NezhadBGSS #approach #process
IT Support Conversation Manager: A Conversation-Centered Approach and Tool for Managing Best Practice IT Processes (HRMN, CB, SG, SS, SS), pp. 247–256.
ICEISICEIS-DISI-2010-RousseauCH #collaboration
A Practical Application of SOA — A Collaborative Marketplace (SR, OC, SH), pp. 332–336.
ICEISICEIS-ISAS-2010-Looso
A Generic Method for Best Practice Reference Model Application (SL), pp. 149–158.
ICEISICEIS-ISAS-2010-LopesSVS #concept #development #framework
A Conceptual Framework for the Development of Applications Centred on Context and Evidence-based Practice (ECL, US, VV, ACS), pp. 60–69.
ICEISICEIS-ISAS-2010-SetiawanS #analysis #process
Socialization of Work Practice through Business Process Analysis (MAS, SWS), pp. 165–170.
CIKMCIKM-2010-RaghavanI #probability #retrieval #theory and practice
Probabilistic first pass retrieval for search advertising: from theory to practice (HR, RI), pp. 1019–1028.
ICMLICML-2010-KalyanakrishnanS #multi #performance #theory and practice
Efficient Selection of Multiple Bandit Arms: Theory and Practice (SK, PS), pp. 511–518.
ICPRICPR-2010-ManjunathMS #classification #database #relational
A Practical Heterogeneous Classifier for Relational Databases (GM, MNM, DS), pp. 3316–3319.
ICPRICPR-2010-RomeroTV #analysis #corpus #image
Computer Assisted Transcription of Text Images: Results on the GERMANA Corpus and Analysis of Improvements Needed for Practical Use (VR, AHT, EV), pp. 2017–2020.
ICPRICPR-2010-SuXCWM #concept #identification
EEG-based Personal Identification: from Proof-of-Concept to A Practical System (FS, LX, AC, YW, JM), pp. 3728–3731.
KEODKEOD-2010-GrutterWD #development #lessons learnt #ontology
Practical Ontology Development — Some Lessons Learnt (RG, BW, CD), pp. 467–470.
KMISKMIS-2010-Kenfack #collaboration #communication #community #information management
JADE Agent is Intermediation System (JAIS) for Knowledge Emergence in Community of Practices — Intelligent Information Systems, Best Practices & Communities of Practice, Cooperation, Communication, Collaboration and Knowledge Sharing (CK), pp. 372–377.
KMISKMIS-2010-Rodriguez-EliasRVM #approach #information management
Integrating Current Practices and Information Systems in KM Initiatives — A Knowledge Management Audit Approach (OMRE, CERG, AV, AIMG), pp. 71–80.
SEKESEKE-2010-TibermacineSGFS #automation #evolution #towards
Towards an Automation of Software Evolution Good Practices (CT, SS, VLG, RF, SS), pp. 339–344.
MODELSMoDELS-v1-2010-GuerraLKP #named #theory and practice
Inter-modelling: From Theory to Practice (EG, JdL, DSK, RFP), pp. 376–391.
RERE-2010-KomssiKPTM #challenge #development #documentation
Persuading Software Development Teams to Document Inspections: Success Factors and Challenges in Practice (MK, MK, MP, JT, TM), pp. 283–288.
RERE-2010-SavolainenKV #agile #development #requirements
Transition to Agile Development — Rediscovery of Important Requirements Engineering Practices (JS, JK, AV), pp. 289–294.
SACSAC-2010-EspinozaBG #approach #formal method #reuse #traceability
A formal approach to reuse successful traceability practices in SPL projects (AE, GB, JG), pp. 2352–2359.
FSEFSE-2010-BadreddinL #case study #industrial #prototype #research
A study of applying a research prototype tool in industrial practice (OBB, TCL), pp. 353–356.
FSEFSE-2010-LiCK #analysis #detection #effectiveness
Practical and effective symbolic analysis for buffer overflow detection (LL, CC, NK), pp. 317–326.
ICSEICSE-2010-ArtziDTP #fault #locality #web
Practical fault localization for dynamic web applications (SA, JD, FT, MP), pp. 265–274.
ICSEICSE-2010-BudnikCK #automation #testing #theory and practice
Bridging the Gap Between the Theory and Practice of Software Test Automation (CJB, WKC, GMK), pp. 445–446.
ICSEICSE-2010-CohenU #combinator #design
Combinatorial test design in practice (MBC, SU), pp. 495–496.
ICSEICSE-2010-DeissenboeckHJ #clone detection #detection
Code clone detection in practice (FD, BH, EJ), pp. 499–500.
ICSEICSE-2010-KornstaedtR #development #eclipse #float #framework
Staying afloat in an expanding sea of choices: emerging best practices for eclipse rich client platform development (AK, ER), pp. 59–67.
ICSEICSE-2010-MedvidovicT #architecture #theory and practice
Software architecture: foundations, theory, and practice (NM, RNT), pp. 471–472.
ICSEICSE-2010-TillmannHX #testing #theory and practice
Parameterized unit testing: theory and practice (NT, JdH, TX), pp. 483–484.
ICSEICSE-2010-WangZ #case study #development #multi #policy
Penalty policies in professional software development practice: a multi-method field study (YW, MZ), pp. 39–47.
ICSEICSE-2010-Wieringa #design
Design science methodology: principles and practice (RW), pp. 493–494.
SPLCSPLC-2010-GustavssonE #architecture #industrial #product line
Architecting Automotive Product Lines: Industrial Practice (HG, UE), pp. 92–105.
SPLCSPLC-2010-Schmid #comparison #development #distributed #modelling #variability
Variability Modeling for Distributed Development — A Comparison with Established Practice (KS), pp. 151–165.
SPLCSPLC-2010-UbayashiNH #embedded #product line #reliability
Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems (NU, SN, MH), pp. 1–15.
CCCC-2010-NaeemLR #algorithm
Practical Extensions to the IFDS Algorithm (NAN, OL, JR), pp. 124–144.
HPDCHPDC-2010-MontanerSD #low cost #memory management
A practical way to extend shared memory support beyond a motherboard at low cost (HM, FS, JD), pp. 155–166.
PPoPPPPoPP-2010-BronsonCCO #concurrent
A practical concurrent binary search tree (NGB, JC, HC, KO), pp. 257–268.
CAVCAV-2010-Malacaria #data flow #question #theory and practice
Quantitative Information Flow: From Theory to Practice? (PM), pp. 20–22.
CAVCAV-2010-Rybalchenko #constraints #theorem proving #theory and practice #verification
Constraint Solving for Program Verification: Theory and Practice by Example (AR), pp. 57–71.
CSLCSL-2010-Rybalchenko #constraints #theorem proving #theory and practice #verification
Constraint Solving for Program Verification: Theory and Practice by Example (AR), p. 51.
ICTSSICTSS-2010-ShinboTAHS #network #performance #testing
Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks (HS, AT, SA, TH, KS), pp. 205–220.
WICSA-ECSAWICSA-ECSA-2009-Babar #agile #architecture #case study #challenge #development #using
An exploratory study of architectural practices and challenges in using agile software development approaches (MAB), pp. 81–90.
WICSA-ECSAWICSA-ECSA-2009-SavolainenM #architecture #comparison #research
Layered architecture revisited — Comparison of research and practice (JS, VM), pp. 317–320.
CASECASE-2009-SudarsanSS #industrial #metric #standard
Metrics, standards and industry best practices for sustainable manufacturing systems (RS, RDS, PS), pp. 472–477.
DACDAC-2009-FengZYTZ #algorithm #performance
Provably good and practically efficient algorithms for CMP dummy fill (CF, HZ, CY, JT, XZ), pp. 539–544.
VLDBVLDB-2009-ArenasPRR #theory and practice
Inverting Schema Mappings: Bridging the Gap between Theory and Practice (MA, JP, JLR, CR), pp. 1018–1029.
VLDBVLDB-2009-CohenDDHW #analysis #big data
MAD Skills: New Analysis Practices for Big Data (JC, BD, MD, JMH, CW), pp. 1481–1492.
VLDBVLDB-2009-FriedmanPC #approach #named #pipes and filters #polymorphism #self #sql
SQL/MapReduce: A practical approach to self-describing, polymorphic, and parallelizable user-defined functions (EF, PMP, JC), pp. 1402–1413.
CSEETCSEET-2009-Kumar #approach #education #re-engineering
Innovative Teaching of Software Engineering: Practical Approach with Labs (SK), pp. 284–287.
CSEETCSEET-2009-SaurabhK #re-engineering
Software Engineering: A System Dynamics Simulated Pedagogical Practice (KS, BK), pp. 280–283.
ITiCSEITiCSE-2009-Gibson #reuse
Software reuse and plagiarism: a code of practice (JPG), pp. 55–59.
ESOPESOP-2009-StricklandTF #morphism #polymorphism
Practical Variable-Arity Polymorphism (TSS, STH, MF), pp. 32–46.
ICPCICPC-2009-LiuM #static analysis
Practical static analysis for inference of security-related program properties (YL, AM), pp. 50–59.
ICSMEICSM-2009-HuangSWSW #industrial #legacy #mining #preprocessor
Preprocessing the noise in legacy user permission assignment data for role mining — An industrial practice (CH, JS, XW, YS, DW), pp. 403–406.
ICSMEICSM-2009-Mordal-ManetBDDWLBV #industrial #quality
The squale model — A practice-based industrial quality model (KMM, FB, SD, SD, HW, JL, FB, PV), pp. 531–534.
PLDIPLDI-2009-RoyPBMW #data flow #distributed #fine-grained #named
Laminar: practical fine-grained decentralized information flow control (IR, DEP, MDB, KSM, EW), pp. 63–74.
SASSAS-2009-SridharanF #analysis #complexity
The Complexity of Andersen’s Analysis in Practice (MS, SJF), pp. 205–221.
FMFM-2009-BicarreguiFLW #bibliography #formal method #industrial #perspective
Industrial Practice in Formal Methods: A Review (JB, JSF, PGL, JCPW), pp. 810–813.
FMFM-2009-VakkalankaVGK #execution #semantics #theory and practice
Reduced Execution Semantics of MPI: From Theory to Practice (SSV, AV, GG, RMK), pp. 724–740.
CEFPCEFP-2009-Kennedy #theory and practice
Types for Units-of-Measure: Theory and Practice (AK), pp. 268–305.
CHICHI-2009-HerringCKB #comprehension #design #exclamation #how #why
Getting inspired!: understanding how and why examples are used in creative design practice (SRH, CCC, JK, BPB), pp. 87–96.
CHICHI-2009-HuangHTNMMR #case study #chat #communication #social
Of social television comes home: a field study of communication choices and practices in tv-based text and voice chat (EMH, GH, JT, AN, NM, CJM, GR), pp. 585–594.
CHICHI-2009-KlasnjaCJGLPW #privacy #quote
“When I am on Wi-Fi, I am fearless”: privacy concerns & practices in everyday Wi-Fi use (PVK, SC, JJ, BG, LL, PP, DW), pp. 1993–2002.
CHICHI-2009-OleksikWTRKSMJ #lightweight #process
Lightweight tagging expands information and activity management practices (GO, MLW, CST, EMR, GK, GS, NMF, RJ), pp. 279–288.
CHICHI-2009-ReichlingW #automation #generative #recommendation
Expert recommender systems in practice: evaluating semi-automatic profile generation (TR, VW), pp. 59–68.
CHICHI-2009-SharminBCH #comprehension #design #information management #process #reuse
Understanding knowledge management practices for early design activity and its implications for reuse (MS, BPB, CC, KH), pp. 2367–2376.
CHICHI-2009-SnibbeR #interactive #multi #social
Social immersive media: pursuing best practices for multi-user interactive camera/projector exhibits (SSS, HR), pp. 1447–1456.
HCIDHM-2009-KuramotoIST #comparison #education #physics #realtime #self
Augmented Practice Mirror: A Self-learning Support System of Physical Motion with Real-Time Comparison to Teacher’s Model (IK, YI, YS, YT), pp. 123–131.
HCIHCD-2009-ItoIH #education
Practice of Promoting HCD Education by a Consumer-Electronics Manufacturer (JI, AI, TH), pp. 594–600.
HCIHCI-AUII-2009-DetweilerB #guidelines #online #towards #trust
Trust in Online Technology: Towards Practical Guidelines Based on Experimentally Verified Theory (CD, JB), pp. 605–614.
HCIHCI-NIMT-2009-SunSCC #multimodal
Building a Practical Multimodal System with a Multimodal Fusion Module (YS, Y(S, FC, VC), pp. 93–102.
HCIHCI-VAD-2009-MitsuishiKHG #concept #distance #interactive #realtime
The Concept of IMPRESSION: An Interactive Instruction System and Its Practice for Real-Time Distance Lessons between U.S. and Japan (TM, FK, YH, KG), pp. 176–185.
HCIHCI-VAD-2009-Peters #experience #performance
Influence of Real-World Ten-Pin Bowling Experience on Performance during First-Time Nintendo Wii Bowling Practice (KAP), pp. 396–405.
HCIHIMI-DIE-2009-GarciaV #performance
Effects of Practice with Foot- and Hand-Operated Secondary Input Devices on Performance of a Word-Processing Task (FPG, KPLV), pp. 505–514.
HCIHIMI-DIE-2009-MistrzykR #industrial #modelling
Practical Use of Task Models for Building and Modeling Operations Chart in the Industrial Production (TM, AR), pp. 140–148.
HCIHIMI-DIE-2009-RottermannV #word
Reversing the Simon Effect with Prior Practice of Noncorresponding Location Words (AR, KPLV), pp. 287–295.
HCIHIMI-DIE-2009-VuRR
The Effects of Practice and Speed Stress with Different Stimulus-Response Mappings (KPLV, AR, RR), pp. 709–717.
HCIIDGD-2009-KondratovaG #design #development #interface #research
Cultural Interface Design Advisor Tool: Research Methodology and Practical Development Efforts (IK, IG), pp. 259–265.
ICEISICEIS-DISI-2009-VinhasAM #realtime
Business Intelligence based on a Wi-Fi Real Time Positioning Engine — A Practical Application in a Major Retail Company (VV, PA, PM), pp. 11–16.
ICEISICEIS-ISAS-2009-MansourH #approach #database #framework #rule-based #using #xml
A Rule-based Approach and Framework for Managing Best Practices — An XML-based Management using Pure Database System Utilities (EM, HH), pp. 109–115.
ICEISICEIS-J-2009-CunhaAM #data mining #mining #reuse
Knowledge Reuse in Data Mining Projects and Its Practical Applications (RCLVC, PJLA, SRdLM), pp. 317–324.
ICEISICEIS-J-2009-StruskaP #named #testing
BORM-points: Introduction and Results of Practical Testing (ZS, RP), pp. 590–599.
CIKMCIKM-2009-ChenPBSM #data mining #exclamation #lessons learnt #mining
Practical lessons of data mining at Yahoo! (YC, DP, PB, AS, AM), pp. 1047–1056.
KMISKMIS-2009-BunVKV #challenge #community
Communities of Practice and the Challenge of Management Support (EB, PdV, GLK, WV), pp. 186–193.
KMISKMIS-2009-DzhusupovaOJ #challenge
Organizing and Managing Knowledge for e-Government — Issues, Practices and Challenges (ZD, AKO, TJ), pp. 206–211.
KMISKMIS-2009-Garrot-Lavoue #community #framework #information management #web
Interconnection of Communities of Practice — A Web Platform for Knowledge Management (ÉGL), pp. 13–20.
KMISKMIS-2009-SaadaouiM #approach #development
Improving Software Development in SME through Knowledge Sharing — A Practical Approach (SS, FFM), pp. 313–317.
KMISKMIS-2009-SerranoA #approach #implementation #information management #towards
Knowledge Management Implementation Methodology — Towards a Practical Approach (DBS, RMdA), pp. 305–308.
MODELSMoDELS-2009-BendixE #industrial #perspective #requirements
Requirements for Practical Model Merge — An Industrial Perspective (LB, PE), pp. 167–180.
MODELSMoDELS-2009-HermansPD #case study #domain-specific language
Domain-Specific Languages in Practice: A User Study on the Success Factors (FH, MP, AvD), pp. 423–437.
MODELSMoDELS-2009-BendixE #industrial #perspective #requirements
Requirements for Practical Model Merge — An Industrial Perspective (LB, PE), pp. 167–180.
MODELSMoDELS-2009-HermansPD #case study #domain-specific language
Domain-Specific Languages in Practice: A User Study on the Success Factors (FH, MP, AvD), pp. 423–437.
ECOOPECOOP-2009-BierhoffBA #api #protocol
Practical API Protocol Checking with Access Permissions (KB, NEB, JA), pp. 195–219.
GPCEGPCE-2009-WehrT #experience #interface
JavaGI in the battlefield: practical experience with generalized interfaces (SW, PT), pp. 65–74.
PADLPADL-2009-EastlundF #towards
Toward a Practical Module System for ACL2 (CE, MF), pp. 46–60.
POPLPOPL-2009-HawblitzelP #automation #garbage collection #verification
Automated verification of practical garbage collectors (CH, EP), pp. 441–453.
RERE-2009-DecreusSP #challenge #modelling #process
Practical Challenges for Methods Transforming i* Goal Models into Business Process Models (KD, MS, GP), pp. 15–23.
RERE-2009-Zowghi #challenge #education #requirements
Requirements Engineering Education and Training: Key Challenges and Practical Solutions (DZ), p. 358.
REFSQREFSQ-2009-Berntsson-SvenssonGR #embedded #quality #requirements
Quality Requirements in Practice: An Interview Study in Requirements Engineering for Embedded Systems (RBS, TG, BR), pp. 218–232.
SACSAC-2009-BiagioniDPS #distributed
Practical distributed voter-verifiable secret ballot system (EB, YD, WP, KS), pp. 16–21.
SACSAC-2009-BiggarVG #compilation #scripting language
A practical solution for scripting language compilers (PB, EdV, DG), pp. 1916–1923.
SACSAC-2009-IorioRVZ #community #web
Where are your manners?: Sharing best community practices in the web 2.0 (ADI, DR, FV, SZ), pp. 681–687.
SACSAC-2009-JungHKY #evaluation #memory management #reliability
A practical evaluation of large-memory data processing on a reliable remote memory system (HJ, HH, SGK, HYY), pp. 343–344.
SACSAC-2009-KerschbaumDSB #communication #complexity #multi #on the #protocol
On the practical importance of communication complexity for secure multi-party computation protocols (FK, DD, AS, DB), pp. 2008–2015.
ESEC-FSEESEC-FSE-2009-Bronsard #constraints #framework
Practical framework constraints (FB), pp. 273–276.
ESEC-FSEESEC-FSE-2009-Petre #design
Insights from expert software design practice (MP), pp. 233–242.
GTTSEGTTSE-2009-Selic #design #modelling #perspective #re-engineering #theory and practice
The Theory and Practice of Modeling Language Design for Model-Based Software Engineering — A Personal Perspective (BS), pp. 290–321.
SLESLE-2009-HerrmannsdoerferRW #evolution
Language Evolution in Practice: The History of GMF (MH, DR, GW), pp. 3–22.
SPLCSPLC-2009-ClementsFK #community #product line
Consolidating community consensus in product line practice (PCC, SRF, CWK), pp. 303–304.
ASPLOSASPLOS-2009-MontesinosHKT #interface #multi #named
Capo: a software-hardware interface for practical deterministic multiprocessor replay (PM, MH, STK, JT), pp. 73–84.
CGOCGO-2009-CuthbertsonVBAS #approach #hardware #monitoring #optimisation #performance #virtual machine
A Practical Approach to Hardware Performance Monitoring Based Dynamic Optimizations in a Production JVM (JC, SV, KB, AA, EK, US), pp. 190–199.
HPCAHPCA-2009-WenischFAFM #memory management #metadata #streaming
Practical off-chip meta-data for temporal memory streaming (TFW, MF, AA, BF, AM), pp. 79–90.
LCTESLCTES-2009-ZouABL #embedded #flexibility #graph #realtime #theory and practice
PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice (JZ, JSA, DFB, EAL), pp. 31–40.
PPoPPPPoPP-2009-VoVDGKT #source code #verification
Formal verification of practical MPI programs (AV, SSV, MD, GG, RMK, RT), pp. 261–270.
CADECADE-2009-Korovin #automation #reasoning #theory and practice
Instantiation-Based Automated Reasoning: From Theory to Practice (KK), pp. 163–166.
CAVCAV-2009-DilligDA #integer #linear #proving
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers (ID, TD, AA), pp. 233–247.
ICSTICST-2009-Chowdhary #testing
Practicing Testability in the Real World (VC), pp. 260–268.
CBSECBSE-2008-GamaD #approach #framework
A Practical Approach for Finding Stale References in a Dynamic Service Platform (KG, DD), pp. 246–261.
ECSAECSA-2008-ChristensenH #architecture #industrial #prototype
Architectural Prototyping in Industrial Practice (HBC, KMH), pp. 196–209.
CASECASE-2008-ChenFCWL #industrial
Practical industrial robot zero offset calibration (HC, TAF, SC, JW, XL), pp. 516–521.
CASECASE-2008-LiuYGB #certification #functional #safety
Functional safety certification: Practice and issues (JL, CY, FG, SB), pp. 412–417.
DACDAC-2008-DavisTYZ #configuration management #hardware #satisfiability
A practical reconfigurable hardware accelerator for Boolean satisfiability solvers (JDD, ZT, FY, LZ), pp. 780–785.
DACDAC-2008-GolsonC #implementation #physics #theory and practice
Flow engineering for physical implementation: theory and practice (SG, PC), p. 1.
DACDAC-2008-KwonYHMCE #approach #memory management #parallel
A practical approach of memory access parallelization to exploit multiple off-chip DDR memories (WCK, SY, SMH, BM, KMC, SKE), pp. 447–452.
DACDAC-2008-ReyNKKAHCS #question
DFM in practice: hit or hype? (JCR, NSN, ABK, FK, RA, CH, LC, VS), pp. 898–899.
DATEDATE-2008-AsianVR #implementation #network
Practical Implementation of a Network Analyzer for Analog BIST Applications (MJBA, DV, AR), pp. 80–85.
DATEDATE-2008-CertnerLPTAD #approach #parallel #performance #predict #source code
A Practical Approach for Reconciling High and Predictable Performance in Non-Regular Parallel Programs (OC, ZL, PP, OT, FA, ND), pp. 740–745.
DATEDATE-2008-StrakaMBK #aspect-oriented #metric #quality
Theoretical and Practical Aspects of IDDQ Settling-Impact on Measurement Timing and Quality (BS, HARM, JB, SK), pp. 1310–1315.
DocEngDocEng-2008-KerneTDK #documentation #framework #object-oriented #xml
A concise XML binding framework facilitates practical object-oriented document engineering (AK, ZOT, BD, MK), pp. 62–65.
SIGMODSIGMOD-2008-CecchetCA #database #middleware #replication #theory and practice
Middleware-based database replication: the gaps between theory and practice (EC, GC, AA), pp. 739–752.
VLDBVLDB-2008-AguileraGS #distributed #scalability
A practical scalable distributed B-tree (MKA, WMG, MAS), pp. 598–609.
ITiCSEITiCSE-2008-Connolly #design #development #education #multi #using
Complecto mutatio: teaching software design best practices using multi-platform development (RWC), p. 345.
ITiCSEITiCSE-2008-FullerK #student
Assessing students’ practice of professional values (UF, BK), pp. 88–92.
ITiCSEITiCSE-2008-PetkovicTT #assessment #comparison
Assessment and comparison of local and global SW engineering practices in a classroom setting (DP, GDT, RT), pp. 78–82.
ITiCSEITiCSE-2008-Sheridan-RossGF #education
Practical tips for creating podcasts in higher education (JSR, AG, JF), p. 311.
ESOPESOP-2008-PoswolskyS #dependent type #encoding #higher-order #programming
Practical Programming with Higher-Order Encodings and Dependent Types (AP, CS), pp. 93–107.
ICSMEICSM-2008-JiangZZZ #industrial #maintenance #product line
Maintaining software product lines — an industrial practice (MJ, JZ, HZ, YZ), pp. 444–447.
PEPMPEPM-2008-PietrzakCPH #analysis #composition #prolog #source code #verification
A practical type analysis for verification of modular prolog programs (PP, JC, GP, MVH), pp. 61–70.
PEPMPEPM-2008-PopeeaXC #array #bound #precise
A practical and precise inference and specializer for array bound checks elimination (CP, DNX, WNC), pp. 177–187.
PLDIPLDI-2008-BondhugulaHRS #automation #locality
A practical automatic polyhedral parallelizer and locality optimizer (UB, AH, JR, PS), pp. 101–113.
CHICHI-2008-Morris #bibliography #collaboration #web
A survey of collaborative web search practices (MRM), pp. 1657–1660.
CHICHI-2008-OHara #comprehension
Understanding geocaching practices and motivations (KO), pp. 1177–1186.
CHICHI-2008-SzentgyorgyiTL #game studies #social
Renegade gaming: practices surrounding social use of the Nintendo DS handheld gaming system (CS, MAT, EL), pp. 1463–1472.
CSCWCSCW-2008-Christensen #architecture #design #logic
The logic of practices of stigmergy: representational artifacts in architectural design (LRC), pp. 559–568.
CSCWCSCW-2008-EricksonDKH #named
Assistance: the work practices of human administrative assistants and their implications for it and organizations (TE, CMD, WAK, MEH), pp. 609–618.
CSCWCSCW-2008-IraniHD #online #visual notation
Situated practices of looking: visual practice in an online world (LI, GRH, PD), pp. 187–196.
AdaEuropeAdaEurope-2008-Evequoz #concurrent #performance #using #word
Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives (CE), pp. 59–72.
CAiSECAiSE-2008-MuehlenR #how #modelling #process
How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation (MzM, JR), pp. 465–479.
ICEISICEIS-AIDSS-2008-Portillo-RodriguezSVP #community #trust
A Model to Rate Trust in Communities of Practice (JPR, JPS, AV, MP), pp. 193–198.
ICEISICEIS-J-2008-BoglSPW08a #automation #identification #modelling #semantics
Semantic Annotation of EPC Models in Engineering Domains to Facilitate an Automated Identification of Common Modelling Practices (AB, MS, GP, NW), pp. 155–171.
ICPRICPR-2008-JunejoF
Practical pure pan and pure tilt camera calibration (INJ, HF), pp. 1–4.
SEKESEKE-2008-TubiioLR #bibliography #elicitation #perspective
Obtaining Well-Founded Practices about Elicitation Techniques by Means of an Update of a Previous Systematic Review (ÓDT, ML, FR), pp. 769–772.
ECMFAECMDA-FA-2008-ClavelSBE #experience #industrial #modelling #security
Model-Driven Security in Practice: An Industrial Experience (MC, VTdS, CB, ME), pp. 326–337.
ECMFAECMDA-FA-2008-MarzulloPLSB #approach #assessment #performance #profiling
A Practical MDA Approach for Autonomic Profiling and Performance Assessment (FPM, RNP, DGL, JMdS, JRB), pp. 110–120.
MODELSMoDELS-2008-HerrmannsdoerferBJ #co-evolution #evolution #metamodelling #modelling
Automatability of Coupled Evolution of Metamodels and Models in Practice (MH, SB, EJ), pp. 645–659.
MODELSMoDELS-2008-HerrmannsdoerferBJ #co-evolution #evolution #metamodelling #modelling
Automatability of Coupled Evolution of Metamodels and Models in Practice (MH, SB, EJ), pp. 645–659.
ECOOPECOOP-2008-LienhardGN #debugging #object-oriented
Practical Object-Oriented Back-in-Time Debugging (AL, TG, ON), pp. 592–615.
OOPSLAOOPSLA-2008-DistefanoP #java #named #towards #verification
jStar: towards practical verification for java (DD, MJP), pp. 213–226.
OOPSLAOOPSLA-2008-MuscheviciPTN #multi
Multiple dispatch in practice (RM, AP, EDT, JN), pp. 563–582.
GPCEGPCE-2008-SavgaRGA #framework
Practical refactoring-based framework upgrade (IS, MR, SG, UA), pp. 171–180.
RERE-2008-BreauxABD #case study #industrial #requirements
Legal Requirements, Compliance and Practice: An Industry Case Study in Accessibility (TDB, AIA, KB, MD), pp. 43–52.
RERE-2008-Monzon #approach #product line #requirements #reuse
A Practical Approach to Requirements Reuse in Product Families of On-Board Systems (AM), pp. 223–228.
RERE-2008-SmithG #requirements
Gameplay to Introduce and Reinforce Requirements Engineering Practices (RS, OG), pp. 95–104.
RERE-2008-UusitaloKKD #requirements #testing
Linking Requirements and Testing in Practice (EJU, MK, MK, AMD), pp. 265–270.
REFSQREFSQ-2008-Daneva #concept #enterprise #estimation #simulation
Integrating Portfolio Management and Simulation Concepts in the ERP Project Estimation Practice (MD), pp. 147–152.
SACSAC-2008-AndresAN #experience #formal method #information management #using
Using formal methods to develop a complex information system: a practical/theoretical experience (CA, RGA, MN), pp. 848–849.
SACSAC-2008-DennyM #lr #parsing
IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict resolution (JED, BAM), pp. 240–245.
ICSEICSE-2008-RigbyGS #bibliography #case study #open source
Open source software peer review practices: a case study of the apache server (PCR, DMG, MADS), pp. 541–550.
ICSEICSE-2008-StapelLK #design #programming
Best practices in extreme programming course design (KS, DL, EK), pp. 769–776.
ICSEICSE-2008-StoreyRBMS #debugging #developer #game studies #how
TODO or to bug: exploring how task annotations play a role in the work practices of software developers (MADS, JR, RIB, DM, JS), pp. 251–260.
SLESLE-2008-LiangD #evaluation #model transformation #txl #using
A Practical Evaluation of Using TXL for Model Transformation (HL, JD), pp. 245–264.
SLESLE-2008-Nilsson-NymanEH #semiparsing #using
Practical Scope Recovery Using Bridge Parsing (ENN, TE, GH), pp. 95–113.
SPLCSPLC-2008-Dalgarno08a #product line
Product Line Scoping in Practice (AMD), p. 363.
SPLCSPLC-2008-KrsekZRCD #case study #experience #product line #scalability
Experiences of Large Banks: Hurdles and Enablers to the Adoption of Software Product Line Practices in Large Corporate Organisations (MK, JvZ, RR, BC, ND), pp. 161–169.
SPLCSPLC-2008-Krueger08b #product line
Pragmatic Methods for Commercial Software Product Line Engineering Practice (CWK), p. 376.
SPLCSPLC-2008-KruegerCB #product line
HomeAway’s Transition to Software Product Line Practice: Engineering and Business Results in 60 Days (CWK, DC, RB), pp. 297–306.
ISMMISMM-2008-JungY #detection #memory management #summary
Practical memory leak detector based on parameterized procedural summaries (YJ, KY), pp. 131–140.
PPoPPPPoPP-2008-BrevnovDKYSCMS #case study #experience #java #memory management #transaction
Practical experiences with Java software transactional memory (EB, YD, BK, DY, VS, DyC, VM, SS), pp. 287–288.
CAVCAV-2008-Bjesse #approach #industrial #model checking #word
A Practical Approach to Word Level Model Checking of Industrial Netlists (PB), pp. 446–458.
ISSTAISSTA-2008-PapiACPE #java
Practical pluggable types for java (MMP, MA, TLCJ, JHP, MDE), pp. 201–212.
QoSAQoSA-2007-BabarBG #architecture #empirical #evaluation #industrial
Factors Influencing Industrial Practices of Software Architecture Evaluation: An Empirical Investigation (MAB, LB, IG), pp. 90–107.
WICSAWICSA-2007-Bondi #performance #reliability #requirements
Best Practices for Writing and Managing Performance, Reliability, and Availability Requirements (ABB), p. 42.
ASEASE-2007-LagardeETG #concept #design #domain model #modelling #uml
Improving uml profile design practices by leveraging conceptual domain models (FL, HE, FT, SG), pp. 445–448.
ICDARICDAR-2007-FuDLL #classification #effectiveness #recognition
An Effective and Practical Classifier Fusion Strategy for Improving Handwritten Character Recognition (QF, XD, TL, CL), pp. 1038–1042.
SIGMODSIGMOD-2007-TrisslL #graph #performance #query #scalability
Fast and practical indexing and querying of very large graphs (ST, UL), pp. 845–856.
VLDBVLDB-2007-BernsteinH #model management #theory and practice
Model Management and Schema Mappings: Theory and Practice (PAB, HH), pp. 1439–1440.
VLDBVLDB-2007-ConsensBLA #information retrieval #web #xml
XML retrieval: db/ir in theory, web in practice (MPC, RABY, ML, SAY), pp. 1437–1438.
VLDBVLDB-2007-LuMZBWPY #named #ontology #reasoning
SOR: A Practical System for Ontology Storage, Reasoning and Search (JL, LM, LZ, JSB, CW, YP, YY), pp. 1402–1405.
CSEETCSEET-2007-Armarego07a
Beyond PBL: Preparing Graduates for Professional Practice (JA), pp. 175–183.
CSEETCSEET-2007-FrezzaT #behaviour #developer #testing
Testing as a Mental Discipline: Practical Methods for Affecting Developer Behavior (STF, MHT), pp. 355–356.
CSEETCSEET-2007-KanerP #education #learning #testing
Practice and Transfer of Learning in the Teaching of Software Testing (CK, SP), pp. 157–166.
ITiCSEITiCSE-2007-Deibel #case study #experience #student
Studying our inclusive practices: course experiences of students with disabilities (KD), pp. 266–270.
ITiCSEITiCSE-2007-Sheridan-Ross #multi #student
Practical tips for engaging students in team formation for multi-discipline computing projects (JSR), p. 360.
FASEFASE-2007-DarvasL #implementation #reasoning
Practical Reasoning About Invocations and Implementations of Pure Methods (ÁD, KRML), pp. 336–351.
ICSMEICSM-2007-OsterlieW #debugging
Debugging Integrated Systems: An Ethnographic Study of Debugging Practice (, AIW), pp. 305–314.
PEPMPEPM-2007-OchoaP #partial evaluation
Poly-controlled partial evaluation in practice (CO, GP), pp. 164–173.
PLDIPLDI-2007-CheremPR #analysis #detection #memory management #using
Practical memory leak detection using guarded value-flow analysis (SC, LP, RR), pp. 480–491.
PLDIPLDI-2007-LattnerLA #analysis #points-to
Making context-sensitive points-to analysis with heap cloning practical for the real world (CL, AL, VSA), pp. 278–289.
CIAACIAA-J-2006-BastienCFR07 #exponential
Reducing Simple Grammars: Exponential against Highly-Polynomial Time in Practice (CB, JC, WF, WR), pp. 715–725.
CIAACIAA-2007-Vardi #automaton #linear #model checking
Linear-Time Model Checking: Automata Theory in Practice (MYV), pp. 5–10.
LATALATA-2007-BourdailletG #sequence
Practical block sequence alignment with moves (JB, JGG), pp. 199–210.
AGTIVEAGTIVE-2007-AschenbrennerG #graph #graph grammar #using
Transforming Scene Graphs Using Triple Graph Grammars — A Practice Report (NA, LG), pp. 32–43.
CHICHI-2007-AvrahamiFH #bias #estimation
Biases in human estimation of interruptibility: effects and implications for practice (DA, JF, SEH), pp. 50–60.
CHICHI-2007-KumarPW #named #using
EyePoint: practical pointing and selection using gaze and keyboard (MK, AP, TW), pp. 421–430.
CHICHI-2007-LjungbladH
Transfer scenarios: grounding innovation with marginal practices (SL, LEH), pp. 737–746.
CHICHI-2007-MillerE #case study
Give and take: a study of consumer photo-sharing culture and practice (ADM, WKE), pp. 347–356.
CHICHI-2007-OHaraKGBSKR #social
Social practices in location-based collecting (KO, TK, MG, LB, BS, GK, JR), pp. 1225–1234.
CHICHI-2007-SinghCDAF #design #security #social
Password sharing: implications for security design based on social practice (SS, AC, CD, GA, MF), pp. 895–904.
CHICHI-2007-ToupsK #coordination #design #education
Implicit coordination in firefighting practice: design implications for teaching fire emergency responders (ZOT, AK), pp. 707–716.
HCIHCI-AS-2007-KuramotoSST #motivation
An Entertainment System for Improving Motivation in Repeated Practice of Musical Instruments (IK, YS, YS, YT), pp. 278–283.
HCIHCI-AS-2007-PengKLC #approach #tablet
The Practices of Scenario Observation Approach in Defining Medical Tablet PC Applications (CYP, WSK, YZL, WKC), pp. 518–524.
HCIHCI-AS-2007-Yeh #3d
The Practice of Combining Cinematic Narrative with 3D Gameplay (CSIY), pp. 381–390.
HCIHCI-IDU-2007-HuangLC #analysis #usability
The Practices of Usability Analysis to Wireless Facility Controller for Conference Room (DHH, YZL, WKC), pp. 490–498.
HCIHCI-IDU-2007-HuHLC
The Practices of Scenario Study to Home Scenario Control (YHH, YTH, YZL, WKC), pp. 827–834.
HCIHIMI-IIE-2007-VuGNSCCP #online #privacy #question #what
Examining User Privacy Practices While Shopping Online: What Are Users Looking for? (KPLV, FPG, DN, JS, BC, VC, RWP), pp. 792–801.
HCIHIMI-MTT-2007-JungSL #collaboration #design #visualisation
Folksonomy-Based Collaborative Tagging System for Classifying Visualized Information in Design Practice (HoJ, MsS, KPL), pp. 298–306.
HCIOCSC-2007-CetinVF #analysis #development #distributed #human-computer
An Analysis of Involvement of HCI Experts in Distributed Software Development: Practical Issues (, DV, SF), pp. 32–40.
HCIOCSC-2007-HerreraONBAF #community #education #mobile
A Mobile Portfolio to Support Communities of Practice in Science Education (OAH, SFO, HAN, MB, RGA, DAF), pp. 416–425.
HCIOCSC-2007-MarzialiC #communication #community #online
An E-Health Community of Practice: Online Communication in an E-Health Service Delivery Environment (EM, TC), pp. 395–405.
CAiSECAiSE-2007-BlaauboerSA #requirements #traceability
Deciding to Adopt Requirements Traceability in Practice (FB, KS, MNA), pp. 294–308.
ICEISICEIS-EIS-2007-Custers #problem #profiling
Risk Profiling of Money Laundering and Terrorism Funding — Practical Problems of Current Information Strategies (BHMC), pp. 90–94.
ICEISICEIS-EIS-2007-Demigha #ontology #requirements #standard
An Ontology Supporting the Daily Practice Requirements of Radiologists-Senologists with the Standard BI-Rads (SD), pp. 243–249.
ICEISICEIS-EIS-2007-ErfurthRSHS #concept #development #domain-specific language #modelling #representation
Concepts of Model Driven Software Development in Practice — Generic Model Representation and DSL Interpretation (CE, WR, CS, DH, SS), pp. 278–286.
ICEISICEIS-EIS-2007-SandkuhlOSSK #case study #experience #industrial #ontology #recommendation
Ontology Construction in Practice — Experiences and Recommendations from Industrial Cases (KS, , AVS, NS, AK), pp. 250–256.
ICEISICEIS-EIS-2007-SteenbergenBB #architecture #development #enterprise
An Instrument for the Development of the Enterprise Architecture Practice (MvS, MvdB, SB), pp. 14–22.
ICEISICEIS-HCI-2007-NoortHB #information management
Unconscious Emotional Information Processing: Theoretical Consequences and Practical Applications (MvdN, KH, PB), pp. 207–214.
ICEISICEIS-J-2007-NetjesMRA07a #approach #process
Performing Business Process Redesign with Best Practices: An Evolutionary Approach (MN, SLM, HAR, WMPvdA), pp. 199–211.
ICEISICEIS-J-2007-SteenbergenBB07a #approach #architecture #enterprise
A Balanced Approach to Developing the Enterprise Architecture Practice (MvS, MvdB, SB), pp. 240–253.
CIKMCIKM-2007-TamashiroTV #integration #query #towards
Towards practically feasible answering of regular path queries in lav data integration (MT, AT, SV), pp. 381–390.
ICMLICML-2007-ZhangTK #clustering
Maximum margin clustering made practical (KZ, IWT, JTK), pp. 1119–1126.
KDDKDD-2007-KohaviHS #web
Practical guide to controlled experiments on the web: listen to your customers not to the hippo (RK, RMH, DS), pp. 959–967.
KDDKDD-2007-Sculley #feedback #learning
Practical learning from one-sided feedback (DS), pp. 609–618.
SEKESEKE-2007-VilainFM #agile #framework #process
A Framework for Selecting Agile Practices and Defining Agile Software Processes (PV, PBF, TLM), pp. 25–28.
SIGIRSIGIR-2007-LalmasBFFJ #community #comprehension #information management
Bridging the digital divide: understanding information access practices in an indian village community (ML, RB, MF, DMF, MJ), pp. 741–742.
ECMFAECMDA-FA-2007-BarberoJGB #approach
A Practical Approach to Model Extension (MB, FJ, JG, JB), pp. 32–42.
MODELSMoDELS-2007-BrownDJ #design #implementation
A Practical Perspective on the Design and Implementation of Service-Oriented Solutions (AWB, MD, SKJ), pp. 390–404.
MODELSMoDELS-2007-BrownDJ #design #implementation
A Practical Perspective on the Design and Implementation of Service-Oriented Solutions (AWB, MD, SKJ), pp. 390–404.
PPDPPPDP-2007-Lucas #proving #termination
Practical use of polynomials over the reals in proofs of termination (SL), pp. 39–50.
RERE-2007-HeitmeyerJBA #development #lessons learnt
RE Theory Meets Software Practice: Lessons from the Software Development Trenches (CLH, RDJ, RB, MA), pp. 265–268.
RERE-2007-Jacobson #process
Enough of RE Processes — Let’s Do Practices (IJ).
SACSAC-2007-LawleyR #declarative #implementation #model transformation
Implementing a practical declarative logic-based model transformation engine (ML, KR), pp. 971–977.
ESEC-FSEESEC-FSE-2007-El-SheikhT #bibliography #development #web
A survey of web engineering practice in small Jordanian web development firms (AES, HT), pp. 481–490.
ESEC-FSEESEC-FSE-2007-PatelBS #capacity #case study #using
A case study in assessing and improving capacity using an anatomy of good practice (MP, AB, KS), pp. 509–512.
ICSEICSE-2007-DuimAS #education #re-engineering
Good Practices for Educational Software Engineering Projects (LvdD, JA, MS), pp. 698–707.
ICSEICSE-2007-GrahamKW #architecture #trade-off
Agility and Experimentation: Practical Techniques for Resolving Architectural Tradeoffs (TCNG, RK, CW), pp. 519–528.
ICSEICSE-2007-HonidenTYTW #architecture #development #re-engineering #tool support
Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan (SH, YT, NY, KT, HW), pp. 708–718.
SPLCSPLC-2007-BeucheBDFGHJJKMW #product line #requirements #tool support #using
Using Requirements Management Tools in Software Product Line Engineering: The State of the Practice (DB, AB, HD, AF, HG, GH, DJ, IJ, RTK, TvdM, AW), pp. 84–96.
CCCC-2007-CheremR #analysis #lightweight #summary
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries (SC, RR), pp. 172–186.
SOSPSOSP-2007-HaeberlenKD #distributed #named
PeerReview: practical accountability for distributed systems (AH, PK, PD), pp. 175–188.
ICSTSAT-2007-GomesHSS #theory and practice
Short XORs for Model Counting: From Theory to Practice (CPG, JH, AS, BS), pp. 100–106.
QoSAQoSA-2006-BucchiaroneMP #analysis #architecture #process
A Practical Architecture-Centric Analysis Process (AB, HM, PP), pp. 127–144.
QoSAQoSA-2006-Stafford #documentation
Documentation Principles and Practices That You Can Live with (JAS), pp. 3–4.
DACDAC-2006-AlpertKSW
Timing-driven Steiner trees are (practically) free (CJA, ABK, CCNS, QW), pp. 389–392.
DACDAC-2006-Gluska #verification
Practical methods in coverage-oriented verification of the merom microprocessor (AG), pp. 332–337.
DACDAC-2006-PomplSHNS #analysis #aspect-oriented #design #reliability
Practical aspects of reliability analysis for IC designs (TP, CS, MH, HN, JS), pp. 193–198.
DACDAC-2006-SingheeFMR #probability #statistics #tool support #towards
Probabilistic interval-valued computation: toward a practical surrogate for statistics inside CAD tools (AS, CFF, JDM, RAR), pp. 167–172.
DATEDATE-2006-Liu
A practical method to estimate interconnect responses to variabilities (FL), pp. 545–546.
DATEDATE-DF-2006-CarvalhoPJF #algorithm #fault tolerance #implementation
A practical implementation of the fault-tolerant daisy-chain clock synchronization algorithm on CAN (FCC, CEP, ETSJ, EPdF), pp. 189–194.
SIGMODSIGMOD-2006-Cohen #theory and practice
User-defined aggregate functions: bridging theory and practice (SC), pp. 49–60.
SIGMODSIGMOD-2006-Jonas #experience #scalability
Identity resolution: 23 years of practical experience and observations at scale (JJ), p. 718.
CSEETCSEET-2006-FrezzaT #behaviour #student #testing
Testing as a Mental Discipline: Practical Methods for Affecting Student Behavior (STF, MHT), p. 241.
CSEETCSEET-2006-ThompsonE #education #industrial #re-engineering
Workshop on Best Practice in Software Engineering: The Role of Industry in Software Engineering Education and Training (JBT, HME), p. 247.
ITiCSEITiCSE-2006-PetkovicTT #comparison #education #evaluation #re-engineering
Teaching practical software engineering and global software engineering: evaluation and comparison (DP, GDT, RT), pp. 294–298.
TACASTACAS-2006-JhalaM #approach #refinement
A Practical and Complete Approach to Predicate Refinement (RJ, KLM), pp. 459–473.
ICSMEICSM-2006-XingS #case study #eclipse #how #refactoring
Refactoring Practice: How it is and How it Should be Supported — An Eclipse Case Study (ZX, ES), pp. 458–468.
PLDIPLDI-2006-FeiM #execution #monitoring #named #runtime
Artemis: practical runtime monitoring of applications for execution anomalies (LF, SPM), pp. 84–95.
PLDIPLDI-2006-NeamtiuHSO #c
Practical dynamic software updating for C (IN, MWH, GS, MO), pp. 72–83.
FLOPSFLOPS-2006-BartheFPR #coq #proving #reasoning #recursion
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant (GB, JF, DP, VR), pp. 114–129.
CIAACIAA-2006-BastienCFR #exponential
Reducing Simple Grammars: Exponential Against Highly-Polynomial Time in Practice (CB, JC, WF, WR), pp. 90–101.
ICFPICFP-2006-Shapiro #concurrent #proving #source code
Practical proofs of concurrent programs (MS), p. 123.
CHICHI-2006-KristensenKP #design
Participatory design in emergency medical service: designing for future practice (MK, MK, LP), pp. 161–170.
CHICHI-2006-MamykinaMK #health
Investigating health management practices of individuals with diabetes (LM, EDM, DRK), pp. 927–936.
CHICHI-2006-OHaraBL #mobile #video
Everyday practices with mobile video telephony (KO, AB, ML), pp. 871–880.
CSCWCSCW-2006-CrabtreeOTCCG
The practical indispensability of articulation work to immediate and remote help-giving (AC, JO, PT, SC, TC, AG), pp. 219–228.
ICEISICEIS-AIDSS-2006-LinHST #named #scheduling
LOGICRUNCHER — A Logistics Planning and Scheduling Decision Support System for Emerging EMS and 3PL Business Practices (RJL, JH, NSK, BT), pp. 176–181.
ICEISICEIS-ISAS-2006-CuaresmaVRVR #experience
A Practical Experience with NDT — The System to Measure the Grade of Handicap (MJEC, DV, JJGR, JTV, MMR), pp. 212–217.
ICEISICEIS-ISAS-2006-DaoHHRV #abstraction #mining #modelling #tool support #towards #uml
Towards Practical Tools for Mining Abstractions in UML Models (MD, MH, MRH, CR, PV), pp. 276–283.
ICEISICEIS-ISAS-2006-Weghorn #internet #network
Technology for Least-Cost Network Routing via Bluetooth and its Practical Application — Replacing Internet Access through Wireless Phone Networks by BT Data Links (HW), pp. 394–402.
CIKMCIKM-2006-SchutzeVP #classification #performance
Performance thresholding in practical text classification (HS, EV, JOP), pp. 662–671.
CIKMCIKM-2006-YangDB
Practical private data matching deterrent to spoofing attacks (YY, RHD, FB), pp. 852–853.
ICMLICML-2006-GreeneC #clustering #documentation #kernel #problem
Practical solutions to the problem of diagonal dominance in kernel document clustering (DG, PC), pp. 377–384.
ICPRICPR-v4-2006-LuC06a #3d #analysis #metric #using
Practical 3-D Shape Measurement Using Optimal Intensity-Modulated Projection and Intensity-Phase Analysis Techniques (CL, GC), pp. 870–873.
SEKESEKE-2006-KimRK #component #quality
A Practical Quality Model for Evaluating Business Components (JHK, SYR, SDK), pp. 309–314.
ECMFAECMDA-FA-2006-CuadradoMT #model transformation #named
RubyTL: A Practical, Extensible Transformation Language (JSC, JGM, MMT), pp. 158–172.
MODELSMoDELS-2006-ZitoDD #question #uml
Package Merge in UML 2: Practice vs. Theory? (AZ, ZD, JD), pp. 185–199.
MODELSMoDELS-2006-ZitoDD #question #uml
Package Merge in UML 2: Practice vs. Theory? (AZ, ZD, JD), pp. 185–199.
PPDPPPDP-2006-LindahlS #type inference
Practical type inference based on success typings (TL, KFS), pp. 167–178.
PADLPADL-2006-MacLartyS #debugging #declarative
Controlling Search Space Materialization in a Practical Declarative Debugger (IM, ZS), pp. 31–44.
RERE-2006-BorgPS #capacity #requirements #scalability
Good Practice and Improvement Model of Handling Capacity Requirements of Large Telecommunication Systems (AB, MP, KS), pp. 240–245.
RERE-2006-Young #requirements
Putting Requirements Theory into Practice at Northrop Grumman (RY), p. 263.
SACSAC-2006-KotsovinosW #named #scalability #trust
BambooTrust: practical scalable trust management for global public computing (EK, AW), pp. 1893–1897.
ICSEICSE-2006-JiangS #c #correctness #named #source code #type system #validation
Osprey: a practical type system for validating dimensional unit correctness of C programs (LJ, ZS), pp. 262–271.
ICSEICSE-2006-KobayashiKSP #agile #analysis #effectiveness #interactive
Analysis of the interaction between practices for introducing XP effectively (OK, MK, MS, EP), pp. 544–550.
ICSEICSE-2006-Lange #modelling #quality #uml
Improving the quality of UML models in practice (CFJL), pp. 993–996.
ICSEICSE-2006-OgasawaraIM #approach #development #process #scalability
Practical approach to development of SPI activities in a large organization: Toshiba’s SPI history since 2000 (HO, TI, TM), pp. 595–599.
ICSEICSE-2006-RundleD #agile #using
Using return on investment to compare agile and plan-driven practices in undergraduate group projects (PJR, RGD), pp. 649–654.
ICSEICSE-2006-SisonJORH #case study
Software practices in five ASEAN countries: an exploratory study (RS, SJ, SHO, WR, NNH), pp. 628–631.
SPLCSPLC-2006-JohnKLM #product line
A Practical Guide to Product Line Scoping (IJ, JK, TL, DM), pp. 3–12.
SPLCSPLC-2006-KircherSG #approach #challenge #product line
Transitioning to a Software Product Family Approach — Challenges and Best Practices (MK, CS, IG), pp. 163–171.
CGOCGO-2006-HundtMC #layout #optimisation
Practical Structure Layout Optimization and Advice (RH, SM, DRC), pp. 233–244.
HPDCHPDC-2006-BuissonAP #adaptation #parallel #performance
Performance and Practicability of Dynamic Adaptation for Parallel Computing (JB, FA, JLP), pp. 331–332.
PPoPPPPoPP-2006-JoinerGMP #education #parallel
Teaching parallel computing to science faculty: best practices and common pitfalls (DAJ, PG, TM, CP), pp. 239–246.
WICSAWICSA-2005-Clements #architecture #documentation
Software Architecture Documentation in Practice Session Report (PCC), pp. 257–258.
WICSAWICSA-2005-LungZG #architecture #what
Reflection on Software Architecture Practices — What Works, What Remains to Be Seen, and What Are the Gaps (CHL, MZ, NG), pp. 221–222.
WICSAWICSA-2005-WoodsH #architecture
Architecture Description Languages in Practice Session Report (EW, RH), pp. 243–246.
DACDAC-2005-WeiR #configuration management #implementation #power management #trade-off
Implementing low-power configurable processors: practical options and tradeoffs (JW, CR), pp. 706–711.
DATEDATE-2005-Wu #testing
SOC Testing Methodology and Practice (CWW), pp. 1120–1121.
DRRDRR-2005-RusuG #challenge #image #on the
On the challenges that handwritten text images pose to computers and new practical applications (AIR, VG), pp. 84–91.
ICDARICDAR-2005-KogaMKTYY
Camera-based Kanji OCR for Mobile-phones: Practical Issues (MK, RM, TK, TT, MY, TY), pp. 635–639.
PODSPODS-2005-BlumDMN #framework #privacy
Practical privacy: the SuLQ framework (AB, CD, FM, KN), pp. 128–138.
PODSPODS-2005-Gottlob #algorithm
Computing cores for data exchange: new algorithms and practical solutions (GG), pp. 148–159.
SIGMODSIGMOD-2005-BabcockC #approach #query #robust #towards
Towards a Robust Query Optimizer: A Principled and Practical Approach (BB, SC), pp. 119–130.
VLDBVLDB-2005-BernsteinDHIJMOSWW #database
Database Publication Practices (PAB, DJD, AH, ZGI, CSJ, HM, MTÖ, RTS, KYW, JW), pp. 1241–1246.
CSEETCSEET-2005-NikulaJSK #education #framework #industrial
Establishing the Current Practice in Industry as the Baseline for Educational Infrastructure: Case South-East Finland (UN, SJ, TS, MK), pp. 173–180.
CSEETCSEET-2005-ThompsonF #question #re-engineering
Best Practice: Is this the Cinderella Area of Software Engineering? (JBT, AJF), pp. 137–144.
CSEETCSEET-2005-Zeid #development #education #framework #object-oriented
Best Practices for Teaching Object-Oriented Framework Development (AZ), p. 257.
ITiCSEITiCSE-2005-Mikulecky #education
Knowledge sharing as an innovative educational practice: educating knowledge technologies (PM), p. 355.
ITiCSEITiCSE-2005-Vinha #learning #reuse #theory and practice
Reusable learning objects: theory to practice (AV), p. 413.
WRLAWRLA-2004-BragaM05 #composition #semantics
Modular Rewriting Semantics in Practice (CB, JM), pp. 393–416.
ICSMEICSM-2005-Chapin #evolution
Continuous Evolution: Practices and Issues (NC), p. 717.
ICSMEICSM-2005-OBrienBE #empirical #theory and practice
Empirically Studying Software Practitioners — Bridging the Gap between Theory and Practice (MPO, JB, CE), pp. 433–442.
FMFM-2005-Pretschner #modelling #testing
Model-Based Testing in Practice (AP), pp. 537–541.
CHICHI-2005-HornbaekF #development #problem #usability
Comparing usability problems and redesign proposals as input to practical systems development (KH, EF), pp. 391–400.
CHICHI-2005-VoidaGDEN #music
Listening in: practices surrounding iTunes music sharing (AV, REG, ND, WKE, MWN), pp. 191–200.
CHICHI-2005-WilliamsJFW
Children and emerging wireless technologies: investigating the potential for spatial practice (MW, OJ, CF, LW), pp. 819–828.
CAiSECAiSE-2005-ChenC #information management #metric #perspective
Measurement Practices for Knowledge Management: An Option Perspective (APC, MYC), pp. 387–399.
ICEISICEIS-v1-2005-Mattsson #database #encryption #enterprise #implementation
A Practical Implementation of Transparent Encryption and Separation of Duties in Enterprise Databases — Protection against External and Internal Attacks on Databases (UTM), pp. 146–153.
ICEISICEIS-v4-2005-JuretaKF #online
Best Practices Agent Patterns for On-Line Auctions (IJ, MK, SF), pp. 188–199.
CIKMCIKM-2005-ChenSZL #web
A practical system of keyphrase extraction for web pages (MC, JTS, HJZ, KYL), pp. 277–278.
CIKMCIKM-2005-HerzogLD #information management
SyynX solutions: practical knowledge management in a medical environment (CH, GL, MD), pp. 556–559.
ICMLICML-2005-DrakeV #learning
A practical generalization of Fourier-based learning (AD, DV), pp. 185–192.
LSOLSO-2005-FaegriDJLV #community #product line
Exploring Communities of Practice for Product Family Engineering (TEF, TD, LJ, PL, HvV), pp. 87–91.
LSOLSO-2005-Fajtak #learning
Kick-off Workshops and Project Retrospectives: A Good Learning Software Organization Practice (FFF), pp. 112–114.
MLDMMLDM-2005-FerrandizB05a #dataset #evaluation
Supervised Evaluation of Dataset Partitions: Advantages and Practice (SF, MB), pp. 600–609.
PADLPADL-2005-SaadP #framework #hybrid #logic programming #probability #towards
Towards a More Practical Hybrid Probabilistic Logic Programming Framework (ES, EP), pp. 67–82.
RERE-2005-AlexanderRM #industrial #process #requirements #what
What Influences the Requirements Process in Industry? A Report on Industrial Practice (IFA, SR, NAMM), pp. 411–415.
RERE-2005-FanmuyPRDBWB #question #requirements
Are Requirements Engineering best practices the same for all industries? (GF, FP, JR, JD, SB, MW, PB), p. 448.
ICSEICSE-2005-Zundorf #development #modelling
Story driven modeling: a practical guide to model driven software development (AZ), pp. 714–715.
CGOCGO-2005-BondM #profiling
Practical Path Profiling for Dynamic Optimizers (MDB, KSM), pp. 205–216.
CGOCGO-2005-GuoBTORA #analysis #low level #pointer
Practical and Accurate Low-Level Pointer Analysis (BG, MJB, ST, GO, ER, DIA), pp. 291–302.
ICLPICLP-2005-NadathurL #higher-order #on the fly #unification
Practical Higher-Order Pattern Unification with On-the-Fly Raising (GN, NL), pp. 371–386.
TLCATLCA-2005-BartheGP #polymorphism #termination #type system
Practical Inference for Type-Based Termination in a Polymorphic Setting (GB, BG, FP), pp. 71–85.
CBSECBSE-2004-BertolinoM #component #performance
CB-SPE Tool: Putting Component-Based Performance Engineering into Practice (AB, RM), pp. 233–248.
DACDAC-2004-LiuPP #library #power management #question #what
Practical repeater insertion for low power: what repeater library do we need? (XL, YP, MCP), pp. 30–35.
DACDAC-2004-ZhaiBSF #scalability
Theoretical and practical limits of dynamic voltage scaling (BZ, DB, DS, KF), pp. 868–873.
HTHT-2004-MooreGBA #case study #hypermedia
Practical applitudes: case studies of applications of the ZigZag hypermedia system (AM, JG, TJB, HA), pp. 143–152.
PODSPODS-2004-GottlobKBHF #theory and practice
The Lixto Data Extraction Project — Back and Forth between Theory and Practice (GG, CK, RB, MH, SF), pp. 1–12.
SIGMODSIGMOD-2004-ArgeBHY #performance #worst-case
The Priority R-Tree: A Practically Efficient and Worst-Case Optimal R-Tree (LA, MdB, HJH, KY), pp. 347–358.
SIGMODSIGMOD-2004-KosugiSM #named
SoundCompass: A Practical Query-by-Humming System (NK, YS, MM), pp. 881–886.
VLDBVLDB-2004-KoudasMS #database #flexibility #scalability #string
Flexible String Matching Against Large Databases in Practice (NK, AM, DS), pp. 1078–1086.
VLDBVLDB-2004-TataHP
Practical Suffix Tree Construction (ST, RAH, JMP), pp. 36–47.
VLDBVLDB-2004-TopaloglouDJMST #biology #data transformation #research
Biological Data Management: Research, Practice and Opportunities (TT, SBD, HVJ, VMM, EWS, MT), pp. 1233–1236.
ITiCSEITiCSE-2004-McKennaL #concept #learning
Constructivist or instructivist: pedagogical concepts practically applied to a computer learning environment (PM, BL), pp. 166–170.
TACASTACAS-2004-BardinFL #automaton #performance
FASTer Acceleration of Counter Automata in Practice (SB, AF, JL), pp. 576–590.
PLDIPLDI-2004-KodumalA #constraints #reachability #set
The set constraint/CFL reachability connection in practice (JK, AA), pp. 207–218.
AFPAFP-2004-McBride04 #dependent type #named #programming
Epigram: Practical Programming with Dependent Types (CM), pp. 130–170.
CSCWCSCW-2004-BarrettKMHTP #analysis #tool support
Field studies of computer system administrators: analysis of system management tools and practices (RB, EK, PPM, EMH, LT, MP), pp. 388–395.
ICEISICEIS-v1-2004-HezzahT #approach #design #enterprise #representation
Design and Representation of the Time Dimension in Enterprise Data Warehouses — A Business Related Practical Approach (AH, AMT), pp. 416–424.
ICEISICEIS-v2-2004-PachonVRST #industrial #process
Practical Application of KDD Techniques to an Industrial Process (VP, JMV, FR, JCRS, JMT), pp. 309–314.
ICEISICEIS-v3-2004-CaceresMC #agile #development #framework #information management #modelling #web
Integrating Agile and Model-Driven Practices in a Methodological Framework for the Web Information Systems Development (PC, EM, VdC), pp. 523–526.
ICEISICEIS-v3-2004-CheungHY #problem
The Delegation Problem and Practical PKI-Based Solutions (VLSC, LCKH, SMY), pp. 73–84.
ICEISICEIS-v3-2004-PerkinsC #authentication #case study #collaboration #design #industrial #process #social
E-Systems Design Through the Study of Authentic Work Practice — Social Activity Theory and the Case of University — Industry Collaboration (JP, SC), pp. 317–324.
CIKMCIKM-2004-ChuangC #approach #generative #topic
A practical web-based approach to generating topic hierarchy for text segments (SLC, LFC), pp. 127–136.
ICPRICPR-v3-2004-NakaiTHOO #detection
A Practical Stereo Scheme for Obstacle Detection in Automotive Use (HN, NT, HH, YO, KO), pp. 346–350.
LSOLSO-2004-Doran #agile #information management
Agile Knowledge Management in Practice (HDD), pp. 137–143.
LSOLSO-2004-MontoniMRT #approach #community #information management #multi
Knowledge Acquisition and Communities of Practice: An Approach to Convert Individual Knowledge into Multi-organizational Knowledge (MM, RM, ARR, GHT), pp. 110–121.
OOPSLAOOPSLA-2004-BirkaE #type system
A practical type system and language for reference immutability (AB, MDE), pp. 35–49.
OOPSLAOOPSLA-2004-Millstein
Practical predicate dispatch (TDM), pp. 345–364.
RERE-2004-Lamsweerde #requirements #research
Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice (AvL), pp. 4–7.
SACSAC-2004-Przelaskowski
Compression of mammograms for medical practice (AP), pp. 249–253.
FSEFSE-2004-LevesonW #embedded #reuse
Making embedded software reuse practical and safe (NGL, KAW), pp. 171–178.
FSEFSE-2004-SouzaRCMP #api #collaboration #development #how #multi
How a good software practice thwarts collaboration: the multiple roles of APIs in software development (CRBdS, DFR, LTC, DRM, JFP), pp. 221–230.
ICSEICSE-2004-BaxterPM #evolution #program transformation #scalability
DMS®: Program Transformations for Practical Scalable Software Evolution (IDB, CWP, MM), pp. 625–634.
ICSEICSE-2004-Card #re-engineering #statistics
Statistical Techniques for Software Engineering Practice (DNC), pp. 722–723.
SPLCSPLC-2004-NiemelaMT #architecture #evaluation #product line
Practical Evaluation of Software Product Family Architectures (EN, MM, AT), pp. 130–145.
SPLCSPLC-2004-StegerTBMPSF #case study #experience
Introducing PLA at Bosch Gasoline Systems: Experiences and Practices (MS, CT, BB, AM, OP, WS, SF), pp. 34–50.
CCCC-2004-McPeakN #generative #glr #named #parsing #performance
Elkhound: A Fast, Practical GLR Parser Generator (SM, GCN), pp. 73–88.
HPDCHPDC-2004-FosterGG #grid
The Grid2003 Production Grid: Principles and Practice (ITF, JG, SG, NM, ENM, AR, DS, AV, JS, SY, DA, RB, WD, JS, DY, IL, SS, CS, YX, MAA, EB, JA, LATB, ME, IF, LG, GEG, AH, JK, NK, RP, VS, JW, YW, KB, LS, JH, MA, LG, JH, FL, SP, RQ, SCS, GF, Jv, KC, KK, DS, HP, SC, KRJ, DEK, JL, DO, IS, BT, MG, RM, JL, TM, DB, CD, DE, RG, MM, YS, JSV, MW, YZ, XZ, PA, RC, BK, CP, JLR, AZ, SM, CTJ, JEP, TLT, HS, BC, ED, LF, CK, GM, NO, KV, KD, PM, MS, DB, PC, AD, CK, EP, AR, SK, BM, BB, PS), pp. 236–245.
DATEDATE-2003-OgawaNCSWNST #approach #architecture #optimisation #transaction
A Practical Approach for Bus Architecture Optimization at Transaction Level (OO, SBdN, PC, KS, YW, HN, TS, YT), pp. 20176–20181.
DATEDATE-2003-ZhangM #implementation #independence #satisfiability #using #validation
Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications (LZ, SM), pp. 10880–10885.
ICDARICDAR-2003-SimardSP #analysis #documentation #network #visual notation
Best Practices for Convolutional Neural Networks Applied to Visual Document Analysis (PYS, DS, JCP), pp. 958–962.
CSEETCSEET-2003-BarbosaMLG #design #testing
Introducing Testing Practices into Objects and Design Course (EFB, JCM, RJL, MG), p. 279–?.
CSEETCSEET-2003-GnatzKPS #approach #education #re-engineering
A Practical Approach of Teaching Software Engineering (MG, LK, FP, TS), pp. 120–128.
CSEETCSEET-2003-StrooperCNS #education #re-engineering
Teaching Software Engineering Fundamentals to Practicing Engineers (PAS, DAC, SN, TS), pp. 36–43.
ITiCSEITiCSE-2003-BarrosEDPS #programming #using
Using lab exams to ensure programming practice in an introductory programming course (JPB, LE, RD, RP, ES), pp. 16–20.
ITiCSEITiCSE-2003-DiGianoGHC #co-evolution #design
Consolidating Ed-tech co-design best practices through the TRAILS project (CD, MG, JH, MC), p. 245.
ITiCSEITiCSE-2003-Nodelman #learning #programming #theory and practice
Learning computer graphics by programming: linking theory and practice (VN), p. 261.
ITiCSEITiCSE-2003-SheardD #question #student #what
Influences on cheating practice of graduate students in IT courses: what are the factors? (JS, MD), pp. 45–49.
ITiCSEITiCSE-2003-TaylorP #source code
Putting ITiCSE into practice through NSF funding programs (HGT, JCP), p. 234.
IWPCIWPC-2003-Cordy03a #automation #industrial #maintenance
Comprehending Reality — Practical Barriers to Industrial Adoption of Software Maintenance Automation (JRC), pp. 196–206.
PLDIPLDI-2003-HeineL #c #c++ #detection #memory management
A practical flow-sensitive and context-sensitive C and C++ memory leak detector (DLH, MSL), pp. 168–181.
AdaSIGAda-2003-Potratz #ada #comparison #embedded #implementation #java #realtime
A practical comparison between Java and Ada in implementing a real-time embedded system (EP), pp. 71–83.
ICEISICEIS-v1-2003-BarkerD #database #implementation
Extended Protected Databases: A Practical Implementation (SB, PD), pp. 456–459.
ICEISICEIS-v3-2003-BonacinB #design #towards
Designing Towards Supporting and Improving Co-Operative Organisational Work Practices (RB, MCCB), pp. 233–238.
ICEISICEIS-v3-2003-SaeedA #analysis
Analysis of Level of Involvement of Six Best Practices of RUP in OOSP (MS, FA), pp. 523–526.
ICEISICEIS-v4-2003-Zhao #analysis
Analysis of Business to Business Electronic Markets in China: Theoretical and Practical Perspectives (JZ), pp. 377–385.
KDDKDD-2003-Piatetsky-ShapiroKR #array #data analysis
Capturing best practice for microarray gene expression data analysis (GPS, TK, SR), pp. 407–415.
SEKESEKE-2003-MunchHD #clustering
A Practical Way to Use Clustering and Context Knowledge for Software Project Planning (JM, JH, AD), pp. 377–384.
PPDPPPDP-2003-PopeN #aspect-oriented #debugging #declarative #haskell
Practical aspects of declarative debugging in Haskell 98 (BP, LN), pp. 230–240.
RERE-2003-MeadK #requirements
Requirements Engineering in Practice: Making the Business Case for Requirements Engineering (NRM, NK), p. 342.
RERE-2003-NakamuraM #lessons learnt
Practical Lessons from 40 System Integrating Projects (TN, SM), p. 298.
SACSAC-2003-Cerrito #estimation #kernel #using #visualisation
Data Visualization Using Kernel Density Estimation to Examine Patterns of Physician Practice (PBC), pp. 275–279.
ICSEICSE-2003-Card #metric
Practical Software Measurement (DNC), pp. 738–739.
ICSEICSE-2003-ConstantineL #agile #approach #re-engineering #usability #user interface
Usage-Centered Software Engineering: An Agile Approach to Integrating Users, User Interfaces, and Usability into Software Engineering Practice (LLC, LADL), pp. 746–747.
CCCC-2003-LeagueST #compilation #java #precise
Precision in Practice: A Type-Preserving Java Compiler (CL, ZS, VT), pp. 106–120.
SOSPSOSP-2003-SekarVBBD #approach #execution
Model-carrying code: a practical approach for safe execution of untrusted applications (RS, VNV, SB, SB, DCD), pp. 15–28.
LICSLICS-2003-Kwiatkowska #model checking #probability #theory and practice
Model checking for probability and time: from theory to practice (MZK), p. 351–?.
ICTSSTestCom-2003-Bergengruen #perspective #testing
UMTS Terminal Testing: A Practical Perspective (OB), pp. 10–19.
WICSAWICSA-2002-Riva #architecture #re-engineering
Architecture Reconstruction in Practice (CR), pp. 159–173.
WICSAWICSA-2002-SmolanderP #architecture
Practical Rationale for Describing Software Architecture (KS, TP), pp. 113–125.
DACDAC-2002-AnastasakisDMS #performance
A practical and efficient method for compare-point matching (DA, RFD, HKTM, TS), pp. 305–310.
DATEDATE-2002-ZhaoMB #compilation #design #modelling #set #using
Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models (QZ, BM, TB), pp. 1021–1026.
VLDBVLDB-2002-CosleyLP #framework #named #recommendation #testing #using
REFEREE: An Open Framework for Practical Testing of Recommender Systems using ResearchIndex (DC, SL, DMP), pp. 35–46.
VLDBVLDB-2002-IlyasAE
Joining Ranked Inputs in Practice (IFI, WGA, AKE), pp. 950–961.
CSEETCSEET-2002-GooldH #re-engineering
Foundation Software Engineering Practices for Capstone Projects and Beyond (AG, PH), p. 140–?.
CSEETCSEET-2002-KroneJS #case study #education #industrial
When Theory Meets Practice: Enriching the CS Curriculum through Industrial Case Studies (JK, DWJ, MS), pp. 207–214.
CSEETCSEET-2002-Sebern #development #industrial
The Software Development Laboratory: Incorporating Industrial Practice in an Academic Environment (MJS), pp. 118–127.
CSEETCSEET-2002-WilliamsLHMMN #agile #re-engineering
Workshop 3: Integrating Agile Practices into Software Engineering Courses (LAW, MJL, GWH, MM, NRM, JFN), pp. 263–264.
ITiCSEITiCSE-2002-SheardDMMW #student
Cheating and plagiarism: perceptions and practices of first year IT students (JS, MD, SM, IM, MW), pp. 183–187.
CSMRCSMR-2002-Raghavan #approach #mobile #re-engineering
A Practical Reengineering Approach for Mobile Terminal Software (GR), p. 193–?.
ICSMEICSM-2002-Wu #case study #re-engineering
Case Study on Software Engineering Practices with Parnas Tables (ZLW), p. 572.
WCREWCRE-2002-StoermerOV #architecture #re-engineering
Practice Patterns for Architecture Reconstruction (CS, LO, CV), pp. 151–160.
PLDIPLDI-2002-FahndrichD #imperative #linear #programming
Adoption and Focus: Practical Linear Types for Imperative Programming (MF, RD), pp. 13–24.
IFLIFL-2002-ArkelGS
Fusion in Practice (DvA, JHGvG, SS), pp. 51–67.
CHICHI-2002-MullerC #community #design #requirements #towards
Design as a minority discipline in a software company: toward requirements for a community of practice (MJM, KC), pp. 383–390.
CHICHI-2002-TaylorH #case study #mobile
Age-old practices in the “new world”: a study of gift-giving between teenage mobile phone users (AST, RHRH), pp. 439–446.
CHICHI-2002-VredenburgMSC #bibliography #design
A survey of user-centered design practice (KV, JYM, PWS, TC), pp. 471–478.
AdaEuropeAda-2002-Thom #ada #exclamation #integration #modelling #programming language #standard #uml #using
Conformity! A Practical Integration of Standards — A Case for using the Unified Modelling Language (UML) with the Ada Programming Language (FT), pp. 29–36.
AdaEuropeAdaEurope-2002-CzarneckiHRVR #ada #analysis #approach #data flow #named
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95 (KC, MH, ER, FV, AR), pp. 231–244.
CAiSECAiSE-2002-ArjonaCRT #semantics #web
A Practical Agent-Based Method to Extract Semantic Information from the Web (JLA, RC, ARC, MT), pp. 697–700.
CAiSECAiSE-2002-SmolanderP #architecture #communication
Describing and Communicating Software Architecture in Practice: Observations on Stakeholders and Rationale (KS, TP), pp. 117–133.
ICEISICEIS-2002-JahankhaniA #e-commerce
E-Commerce Business Practices in the EU (HJ, SAA), pp. 929–936.
ICEISICEIS-2002-Vellido #analysis #e-commerce #network
Neural Networks for B2C E-Commerce Analysis: Some Elements of Best Practice (AV), pp. 439–445.
ICPRICPR-v3-2002-Sakano #how #learning #query #search-based
Genetic Translator: How to Apply Query Learning to Practical OCR (HS), pp. 184–187.
SEKESEKE-2002-KarlstromR #programming
Decision support for extreme programming introduction and practice selection (DK, PR), pp. 835–841.
UMLUML-2002-MiguelJS #case study #experience
Practical Experiences in the Application of MDA (MdM, JJ, SS), pp. 128–139.
ECOOPECOOP-2002-CheonL #approach #ml #testing
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way (YC, GTL), pp. 231–255.
RERE-2002-Doernemann #risk management
Tool-Based Risk Management Made Practical (HD), p. 192.
RERE-2002-Hardiman #named #requirements
REDEST — 14 Best Practice SME Experiments with Innovative Requirements Gathering Techniques (SH), p. 191.
RERE-2002-KauppinenKAL #how #requirements
Introducing Requirements Engineering: How to Make a Cultural Change Happen in Practice (MK, SK, TA, LL), pp. 43–51.
RERE-2002-NawrockiJWW #programming #requirements
Extreme Programming Modified: Embrace Requirements Engineering Practices (JRN, MJ, BW, AW), pp. 303–310.
SACSAC-2002-GurrH #modelling #requirements
Modelling organisational practice in user requirements (CAG, GH), pp. 716–720.
SACSAC-2002-Huang #divide and conquer #parallel #theory and practice
Grid-enabled parallel divide-and-conquer: theory and practice (CHH), pp. 865–869.
ICSEICSE-2002-ChandraGP #case study #industrial #model checking
Software model checking in practice: an industrial case study (SC, PG, CP), pp. 431–441.
ICSEICSE-2002-ErdogmusBHRS #re-engineering
Software engineering economics: background, current practices, and future directions (MHE, BWB, WH, DJR, KJS), pp. 683–684.
ICSEICSE-2002-GortonL #assessment #component #quality
Software component quality assessment in practice: successes and practical impediments (IG, AL), pp. 555–558.
ICSEICSE-2002-Hazra #enterprise
Building enterprise portals: principles to practice (TKH), pp. 623–633.
ICSEICSE-2002-Wong
Use of software inspection inputs in practice (YKW), pp. 725–726.
HPDCHPDC-2002-ThainL #fault #grid #theory and practice
Error Scope on a Computational Grid: Theory and Practice (DT, ML), pp. 199–208.
OSDIOSDI-2002-NavarroIDC #operating system
Practical, Transparent Operating System Support for Superpages (JN, SI, PD, ALC), pp. 89–104.
CADECADE-2002-Horrocks #logic #reasoning #theory and practice
Reasoning with Expressive Description Logics: Theory and Practice (IH), pp. 1–15.
CAVCAV-2002-ColonS #proving #termination
Practical Methods for Proving Program Termination (MC, HS), pp. 442–454.
ICLPICLP-2002-CoqueryF #morphism #named #parametricity #polymorphism #type system
TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP (EC, FF), p. 480.
ICTSSTestCom-2002-VriesBF #automation #testing
Automated Testing in Practice: The Highway Tolling System (RGdV, AB, JF), pp. 219–234.
DACDAC-2001-AlpertHSV #resource management
A Practical Methodology for Early Buffer and Wire Resource Allocation (CJA, JH, SSS, PV), pp. 189–194.
DACDAC-2001-SanieCHM #design #standard
A Practical Application of Full-Feature Alternating Phase-Shifting Technology for a Phase-Aware Standard-Cell Design Flow (MS, MC, PH, VM), pp. 93–96.
CSEETCSEET-2001-DickPM #performance #re-engineering #student
Improving Student Performance in Software Engineering Practice (MD, MP, JM), pp. 143–152.
CSEETCSEET-2001-PostemaMD #education #evolution #re-engineering
Including Practical Software Evolution in Software Engineering Education (MP, JM, MD), p. 127–?.
ITiCSEITiCSE-2001-HoldenY #education
Innovative teaching practices in computing education: the TLA project (JH, AY), p. 174.
ITiCSEITiCSE-2001-McCaugheyA #community #education #learning #network
The learning and teaching support network promoting best practice in the information and computer science academic community (AM, SA), p. 175.
ICSMEICSM-2001-Kajko-Mattsson #documentation #maintenance
The State of Documentation Practice within Corrective Maintenance (MKM), pp. 354–363.
PASTEPASTE-2001-Griswold #slicing
Making slicing practical: the final mile (Abstract) (WGG), p. 1.
FLOPSFLOPS-2001-AlbertHV #declarative #multi
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language (EA, MH, GV), pp. 326–342.
CAiSECAiSE-2001-PerssonS #case study #enterprise #modelling #why
Why Enterprise Modelling? An Explorative Study into Current Practice (AP, JS), pp. 465–468.
ICEISICEIS-v1-2001-SpremicS
Strategic IS Planning Practices (MS, IS), pp. 151–156.
TOOLSTOOLS-USA-2001-ArsanjaniP01a #design #implementation
Best Practices in Business Rule Design and Implementation (AA, GP), pp. 407–408.
RERE-2001-Hooks #requirements #what
What Happens With Good Requirements Practices (IH), p. 268.
RERE-2001-Suchman #design
Practice-Based Design (LAS), p. 11.
FSEESEC-FSE-2001-MorisawaT #architecture #distributed #product line
An architectural style of product lines for distributed processing systems, and practical selection method (YM, KT), pp. 11–20.
FSEESEC-FSE-2001-Ran #architecture #concept
Fundamental concepts for practical software architecture (AR), pp. 328–329.
ICSEICSE-2001-Ran #architecture #concept #tutorial
Tutorial on Fundamental Concepts for Practical Software Architecture (AR), pp. 722–723.
CCCC-2001-TiceG #generative #robust
A Practical, Robust Method for Generating Variable Range Tables (CT, SLG), pp. 102–117.
HPDCHPDC-2001-CzajkowskiDKT #resource management #visual notation
Practical Resource Management for Grid-Based Visual Exploration (KC, AKD, CK, MT), p. 416–?.
CAVCAV-2001-ChocklerKKV #approach #model checking
A Practical Approach to Coverage in Model Checking (HC, OK, RPK, MYV), pp. 66–78.
ICLPICLP-2001-MazurRJB #aspect-oriented #garbage collection
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury (NM, PR, GJ, MB), pp. 105–119.
IJCARIJCAR-2001-HaarslevMW #approach #logic #motivation
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach (VH, RM, MW), pp. 29–44.
LICSLICS-2001-Abiteboul #semistructured data #theory and practice
Semistructured Data: from Practice to Theory (SA), pp. 379–386.
CBSECBSE-2000-BurgHHMPSW
Exploring a Comprehensive CBD Method: Use of CBD/e in Practice (WDB, JSH, DPH, KM, ASP, SS, RW), p. 9.
CBSECBSE-2000-CrnkovicLL #component #re-engineering
State of the Practice: Component-Based Software Engineering Course (IC, ML, FL), p. 13.
ASEASE-2000-MenziesS #assessment #case study #query #risk management #scalability
Practical Large Scale What-If Queries: Case Studies with Software Risk Assessment (TM, ES), p. 165–?.
DACDAC-2000-ChenKRZ #synthesis
Practical iterated fill synthesis for CMP uniformity (YC, ABK, GR, AZ), pp. 671–674.
DACDAC-2000-YouVMX #approach #design #multi
A practical approach to parasitic extraction for design of multimillion-transistor integrated circuits (EY, LV, JM, WX), pp. 69–74.
DATEDATE-2000-LennardSJHH #design #question #standard
Standards for System-Level Design: Practical Reality or Solution in Search of a Question? (CKL, PS, GGdJ, AH, PH), pp. 576–583.
SIGMODSIGMOD-2000-GoldmanW #approach #database #named #query #web
WSQ/DSQ: A Practical Approach for Combined Querying of Databases and the Web (RG, JW), pp. 285–296.
VLDBVLDB-2000-Bowker
Work and Information Practices in the Sciences of Biodiversity (GCB), pp. 693–696.
VLDBVLDB-2000-CeriCW #constraints
Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award) (SC, RC, JW), pp. 254–262.
CSEETCSEET-2000-Manderson #industrial #re-engineering
Graduate Software Engineering in Practice: First Industrial Contact (RM), p. 192.
PLDIPLDI-2000-CierniakLS #java #optimisation
Practicing JUDO: Java under dynamic optimizations (MC, GYL, JMS), pp. 13–26.
ICALPICALP-2000-Broder #independence #permutation #theory and practice
Min-wise Independent Permutations: Theory and Practice (AZB), p. 808.
IFMIFM-2000-Jonkers #interface #named #specification #towards
ISpec: Towards Practical and Sound Interface Specifications (HBMJ), pp. 116–135.
ICFPICFP-2000-SasanoHTO #algorithm #linear #problem
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems (IS, ZH, MT, MO), pp. 137–149.
CHICHI-2000-LinNHL #design #named #tool support #web
DENIM: finding a tighter fit between tools and practice for Web site design (JL, MWN, JIH, JAL), pp. 510–517.
CSCWCSCW-2000-PalenSY #behaviour #mobile
Going wireless: behavior & practice of new mobile phone users (LP, MCS, EY), pp. 201–210.
AdaEuropeAdaEurope-2000-RybinSFK #case study #experience #named
ASIS-for-GNAT: A Report of Practical Experiences (SR, AS, VF, AK), pp. 125–137.
CAiSECAiSE-2000-Daneva #enterprise #metric #requirements #reuse
Practical Reuse Measurement in ERP Requirements Engineering (MD), pp. 309–324.
CAiSECAiSE-2000-KaindlM #question #research #why
Why Is It So Difficult to Introduce RE Research Results into Mainstream RE Practice? (HK, JM), pp. 7–12.
EDOCEDOC-2000-OkuboMNHU #case study #collaboration #design #distributed #experience
Practical Experiences of Designing a Distributed Collaborative System (TO, TM, YN, HH, SU), p. 21–?.
ICMLICML-2000-SmartK #learning
Practical Reinforcement Learning in Continuous Spaces (WDS, LPK), pp. 903–910.
ICPRICPR-v1-2000-KimH #self
A Practical Self-Calibration Method of Rotating and Zooming Cameras (HK, KSH), pp. 1354–1357.
ICPRICPR-v3-2000-LiuH00a #detection #implementation
Two Practical Issues in Canny’s Edge Detector Implementation (GL, RMH), pp. 3680–3682.
ICPRICPR-v4-2000-Hata #visual notation
Practical Visual Inspection Techniques — Optics, Micro-Electronics and Advanced Software Technology (SH), pp. 4114–4117.
KRKR-2000-HorrocksT #axiom #reasoning #theory and practice
Reasoning with Axioms: Theory and Practice (IH, ST), pp. 285–296.
KRKR-2000-PeaseCLF #information management #knowledge base #performance #representation
Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project (AP, VKC, FL, AF), pp. 717–724.
SIGIRSIGIR-2000-OhML #categorisation #hypermedia #incremental #using
A practical hypertext categorization method using links and incrementally available class information (HJO, SHM, MHL), pp. 264–271.
OOPSLAOOPSLA-2000-SundaresanHRVLGG #java
Practical virtual method call resolution for Java (VS, LJH, CR, RVR, PL, EG, CG), pp. 264–280.
TOOLSTOOLS-USA-2000-NadaLSRDT #assessment #reuse
Software Reuse Technology Practices and Assessment Tool-Kit (NN, L, MtS, DCR, ED, ST), p. 307–?.
GPCEGCSE-2000-Bassett #adaptation #component #theory and practice
The Theory and Practice of Adaptive Components (PB), pp. 1–14.
PADLPADL-2000-DemoenS #experience #garbage collection
Heap Garbage Collection in XSB: Practice and Experience (BD, KFS), pp. 93–108.
REICRE-2000-AntonA #certification #requirements #what
What Do You Mean I’ve Been Practicing without a License? Certification and Licensing of Requirements Engineering Professionals (AIA, JMA), p. 151.
REICRE-2000-Daneva #metric #requirements #reuse
Establishing Reuse Measurement Practices in SAP Requirements Engineering (MD), pp. 168–177.
REICRE-2000-Greenspan #question #requirements #why
Why is it so Easy to Introduce Requirements Engineering Technology Transfer Panels into Mainstream Practice? (SJG), pp. 69–70.
REICRE-2000-Heitmeyer #requirements #research
Transferring Research Results in Requirements to Practice: Obstacles and Incentives (CLH), pp. 71–72.
REICRE-2000-Kaindl #question #requirements #research #why
Why is it so Difficult to Introduce Requirements Engineering Research Results into Mainstream Requirements Engineering Practice? (HK), pp. 67–68.
REICRE-2000-Leite #question #research
Is there a Gap between RE Research and RE Practice? (JCSdPL), pp. 73–74.
REICRE-2000-Mead #question #requirements #research #why
Why is it so Difficult to Introduce Requirements Engineering Research Results into Mainstream Requirements Engineering Practice? (NRM), pp. 75–76.
REICRE-2000-Mead00a #certification #requirements #what
What Do You Mean I’m Practicing without a License? Certification and Licensing of Requirements Engineering Professionals (NRM), p. 152.
REICRE-2000-Siddiqi #research
Obstacles and Incentives in Introducing RE Research Results into RE Practice (JIAS), p. 77–?.
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.
ICSEICSE-2000-Curtis00a #lessons learnt #process #tutorial
Software process improvement (tutorial session): best practices and lessons learned (BC), p. 828.
ICSEICSE-2000-KautzHT #enterprise #process
Applying and adjusting a software process improvement model in practice: the use of the IDEAL model in a small software enterprise (KK, HWH, KT), pp. 626–633.
ICSEICSE-2000-NishiyamaIN #effectiveness
Technology transfer macro-process: a practical guide for the effective introduction of technology (TN, KI, TN), pp. 577–586.
ICSEICSE-2000-OsterweilBEGKM #re-engineering #research #why
Why don’t we get more (self?) respect: the positive impact of software engineering research upon practice (LJO, BWB, ME, VG, JK, EFM), p. 660.
CADECADE-2000-Seger #float #model checking #proving #theorem proving
Connecting Bits with Floating-Point Numbers: Model Checking and Theorem Proving in Practice (CJHS), p. 235.
CSLCSL-2000-Schulte #state machine
Translating Theory into Practice — Abstract State Machines within Microsoft (WS), p. 71.
DACDAC-1999-BrunvandNY #design #interface
Practical Advances in Asynchronous Design and in Asynchronous/Synchronous Interfaces (EB, SMN, KYY), pp. 104–109.
DACDAC-1999-EcklMZL #approach #multi
A Practical Approach to Multiple-Class Retiming (KE, JCM, PZ, CL), pp. 237–242.
DACDAC-1999-HashimotoOT #design #power management #reduction
A Practical Gate Resizing Technique Considering Glitch Reduction for Low Power Design (MH, HO, KT), pp. 446–451.
HTHT-1999-KaindlKD #generative #taxonomy
Semiautomatic Generation of Glossary Links: A Practical Solution (HK, SK, PSND), pp. 3–12.
VLDBVLDB-1999-PedersenJD #online
Extending Practical Pre-Aggregation in On-Line Analytical Processing (TBP, CSJ, CED), pp. 663–674.
CSEETCSEET-1999-AbowdCHP #process
Putting the Personal Software Process into Practice (PA, DC, GWH, RP), p. 34–?.
ITiCSEITiCSE-1999-Utting #education #learning
Gathering and disseminating good practice at teaching and learning conferences (IU), p. 202.
FMFM-v1-1999-Butler #approach #csp #named
csp2B: A Practical Approach to Combining CSP and B (MJB), pp. 490–508.
HCIHCI-CCAD-1999-Tielsch #health #interface #network #safety
Call center — interface between companies’ practice and the competence network of safety and health at work in North-Rhine-Westfalia (RT), pp. 1332–1336.
HCIHCI-EI-1999-Itoh #internet #usability
Effects of the Internet marketplace on the usability practice (MI), pp. 923–927.
CAiSECAiSE-1999-RezendeHOPR #approach #database #distributed
A Practical Approach to Access Heterogeneous and Distributed Databases (FdFR, UH, GdSO, RCGP, JR), pp. 317–332.
ICEISICEIS-1999-SecoCGMS #development #experience #information management
Guide to Develop an Euromethod Compatible Information System Methodology: A Practical Experience of its Development (AdAS, AdMC, JGG, JLM, LFS), p. 777.
CIKMCIKM-1999-DolinPBA #automation #classification #evaluation #information retrieval
Practical evaluation of IR within automated classification systems (RD, JP, MB, RA), pp. 322–329.
SEKESEKE-1999-HoudekB #approach #evolution #experience
Transferring and Evolving Experience: A Practical Approach and Its Application to Software Inspections (FH, CB), pp. 210–226.
OOPSLAOOPSLA-1999-TipLSS #experience #java
Practical Experience with an Application Extractor for Java (FT, CL, PFS, DS), pp. 292–305.
TOOLSTOOLS-PACIFIC-1999-ChristensenDHST #architecture #design #evolution
Design and Evolution of Software Architecture in Practice (MC, CHD, KMH, ES, MT), pp. 2–15.
POPLPOPL-1999-Myers #data flow #named
JFlow: Practical Mostly-Static Information Flow Control (ACM), pp. 228–241.
POPLPOPL-1999-XiP #dependent type #programming
Dependent Types in Practical Programming (HX, FP), pp. 214–227.
ICSEICSE-1999-DalalJKLLPH #modelling #testing
Model-Based Testing in Practice (SRD, AJ, NK, JML, CML, GCP, BMH), pp. 285–294.
ICSEICSE-1999-HolzmannS #verification
A Practical Method for Verifying Event-Driven Software (GJH, MHS), pp. 597–607.
ICSEICSE-1999-Statz #metric
Practical Software Measurement (JS), pp. 667–668.
ICSEICSE-1999-WiledenK
Software Interoperability: Principles and Practice (JCW, AK), pp. 675–676.
OSDIOSDI-1999-CastroL #fault tolerance
Practical Byzantine Fault Tolerance (MC, BL), pp. 173–186.
CAVCAV-1999-Brinksma #consistency #formal method #testing
Formal Methods for Conformance Testing: Theory Can Be Practical (EB), pp. 44–45.
ICLPICLP-1999-Muller #constraints #graph
Practical Investigation of Constraints with Graph Views (TM), p. 615.
TLCATLCA-1999-EidorffHMNST #approach #problem
AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem (PHE, FH, CM, HN, MHS, MT), pp. 6–13.
DACDAC-1998-CuletuAM
A Practical Repeater Insertion Method in High Speed VLSI Circuits (JC, CA, JM), pp. 392–395.
DACDAC-1998-IenneG #case study #design #experience #question #standard #tool support
Practical Experiences with Standard-Cell Based Datapath Design Tools: Do We Really Need Regular Layouts? (PI, AG), pp. 396–401.
DACDAC-1998-NagarajCHY #analysis #approach
A Practical Approach to Static Signal Electromigration Analysis (NSN, FC, HH, DY), pp. 572–577.
SIGMODSIGMOD-1998-AndersonBKW #consistency #question #replication
Replication, Consistency, and Practicality: Are These Mutually Exclusive? (TAA, YB, HFK, AW), pp. 484–495.
VLDBVLDB-1998-RezendeS #database #middleware #research
Bridging Heterogeneity: Research and Practice of Database Middleware Technology (FdFR, GS), p. 699.
ITiCSEITiCSE-1998-Grove #motivation #process #programming #using
Using the personal software process to motivate good programming practices (RFG), pp. 98–101.
TACASTACAS-1998-StevensS #game studies #model checking #using
Practical Model-Checking Using Games (PS, CS), pp. 85–101.
CSMRCSMR-1998-Kutscha #case study #experience #re-engineering
The Task Artifact Cycle: Some Experiences from Reengineering Practice (SK), p. 234.
CSMRCSMR-1998-ZedanY #approach #re-engineering
A Sound and Practical Approach To The Re-Engineering Of Time-Critical Systems (HZ, HY), pp. 220–223.
ICSMEICSM-1998-Singer #maintenance
Practices of Software Maintenance (JS), pp. 139–145.
IWPCIWPC-1998-SingerL #design #re-engineering
Studying Work Practices to Assist Tool Design in Software Engineering (JS, TCL), pp. 173–179.
STOCSTOC-1998-DoolyGS #theory and practice
TCP Dynamic Acknowledgment Delay: Theory and Practice (Extended Abstract) (DRD, SAG, SDS), pp. 389–398.
FMFM-1998-Yamane #design #realtime #simulation
A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems (SY), pp. 151–167.
CHICHI-1998-SumnerT #case study #design #experience #learning
New Media, New Practices: Experiences in Open Learning Course Design (TS, JT), pp. 432–439.
CSCWCSCW-1998-HouseBS #information management #set #trust
Cooperative Knowledge Work and Practices of Trust: Sharing Environmental Planning Data Sets (NAVH, MHB, LRS), pp. 335–343.
EDOCEDOC-1998-Moniz #data-driven #interface #middleware #object-oriented
Developing practical, object-oriented middleware interfaces for data-intensive applications (DLM), pp. 174–182.
CIKMCIKM-1998-ZhouPL #implementation #process #transaction #workflow
Dynamic Restructuring of Transactional Workflow Activities: A Practical Implementation Method (TZ, CP, LL), pp. 378–385.
UMLUML-1998-Allen #framework #uml
A Practical Framework for Applying UML (PA), pp. 419–433.
UMLUML-1998-Desfray #automation #concept #design pattern #tool support
Automation of Design Pattern: Concepts, Tools and Practices (PD), pp. 120–131.
OOPSLAOOPSLA-1998-Litvinov #morphism #polymorphism #static typing #towards #type system
Contraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System (VL), pp. 388–411.
TOOLSTOOLS-ASIA-1998-DengH #approach #named #object-oriented #testing
BATOOM: A Practical Approach to Testing Object-Oriented Software (YD, ZH), p. 328–?.
TOOLSTOOLS-USA-1998-MaY #diagrams #reduction
Practical Rules for Reduction on the Number of States of a State Diagram (JM, SY), p. 46–?.
REICRE-1998-ForsgrenD #case study #experience #industrial #requirements
Requirements Engineering In Control Center Procurement Projects Practical Experiences from the Power Industry (PF, AD), pp. 224–232.
REICRE-1998-SommervilleSV #approach #elicitation #requirements
Viewpoints for Requirements Elicitation: A Practical Approach (IS, PS, SV), pp. 74–81.
REICRE-1998-WeidenhauptPJH #development
Scenario Usage in System Development: A Report on Current Practice (KW, KP, MJ, PH), p. 222–?.
REFSQREFSQ-1998-LamSJ #requirements #set
Managing Requirements Change: A Set of Good Practices (WL, VS, SJ), pp. 85–97.
ICTSSIWTCS-1998-SchmittEKGH #generative #named #testing
Autolink — Putting SDL-Based Test Generation Into Practice (MSI, AE, BK, JG, DH), pp. 227–244.
ICLPJICSLP-1998-DecorteS #analysis #termination
Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space (SD, DDS), pp. 235–249.
ASEASE-1997-Caldwell
Moving Proofs-As-Programs into Practice (JLC), pp. 10–17.
ASEASE-1997-SchumannF #component #named #retrieval
NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical (JS, BF), pp. 246–254.
DACDAC-1997-CongHKNSY #2d #analysis
Analysis and Justification of a Simple, Practical 2 1/2-D Capacitance Extraction Methodology (JC, LH, ABK, DN, NS, SHCY), pp. 627–632.
DACDAC-1997-KahngT #bound
More Practical Bounded-Skew Clock Routing (ABK, CWAT), pp. 594–599.
DATEEDTC-1997-GibsonA #concurrent #design #verification
Practical concurrent ASIC and system design and verification (IG, CA), pp. 532–536.
HTHT-1997-Marshall #hypermedia
Looking Forward: Five Practices for Safer Hypertext (Keynote) (CCM), p. 241.
HTHT-1997-MarshallS #hypermedia
Spatial Hypertext and the Practice of Information Triage (CCM, FMSI), pp. 124–133.
ICDARICDAR-1997-Miletzki #recognition
Character Recognition in Practice Today and Tomorrow (UM), pp. 902–907.
CSEETCSEET-1997-BudgenB #education #empirical #encapsulation #re-engineering
Encapsulating Empirical Practices within the Software Engineering Curriculum (DB, PB), pp. 111–119.
CSEETCSEET-1997-Ganesan #re-engineering
Software Engineering: On Theory Versus Practice (RG), pp. 84–85.
ITiCSEITiCSE-WGR-1997-PetreP #internet #problem #programming
Programming practical work and problem sessions via the Internet (MP, BAP), pp. 125–128.
SASSAS-1997-CharlierF #abstract interpretation #on the #theory and practice
On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract) (BLC, PF), pp. 379–387.
SASSAS-1997-Ryder #analysis
Practical Compile-Time Analysis (BGR), pp. 406–412.
STOCSTOC-1997-LubyMSSS
Practical Loss-Resilient Codes (ML, MM, MAS, DAS, VS), pp. 150–159.
CIAAWIA-1997-Watson #automaton #optimisation
Practical Optimizations for Automata (BWW), pp. 232–240.
CIAAWIA-1997-Wood #theory and practice
WIA and Theory and Practice (DW), pp. 1–6.
FMFME-1997-DevauchelleLV #named #specification
PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System (LD, PGL, HV), pp. 221–236.
ICFPICFP-1997-MarlowW #erlang #type system
A Practical Subtyping System For Erlang (SM, PW), pp. 136–149.
CHICHI-1997-MullerWML #human-computer #research #social #towards
Toward an HCI Research and Practice Agenda Based on Human Needs and Social Responsibility (MJM, CW, WJMJ, LFL), pp. 155–161.
HCIHCI-SEC-1997-AsiuM #design #reasoning #theory and practice
The Role of Case-Based Reasoning in Instructional Design: Theory and Practice (BA, MDM), pp. 153–156.
HCIHCI-SEC-1997-Corso #design #interactive #usability
Microsoft Interactive Media Products: Worldwide Usability and Design Practices (JGC), pp. 513–516.
HCIHCI-SEC-1997-HolmquistA #approach #scalability #set #visualisation
Flip Zooming: A Practical Focus+Context Approach to Visualizing Large Data Sets (LEH, CA), pp. 763–766.
HCIHCI-SEC-1997-Okamoto #information management #interface #people #theory and practice #towards
Toward Rehabilitation Cognitive Engineering-Gap Between Theory and Practice in the Human Interface of Information Processing Devices for People with Disabilities (AO), pp. 551–554.
HCIHCI-SEC-1997-Strijland #interface #research
Human Interface Research and Practice at Apple Computer (PFS), pp. 543–546.
CAiSECAiSE-1997-EbertSU #automation
Meta-CASE in Practice: a Case for KOGGE (JE, RS, IU), pp. 203–216.
CIKMCIKM-1997-KimC #approach #database #execution #static analysis
A Practical Approach to Static Analysis and Execution of Rules in Active Databases (SKK, SC), pp. 161–168.
UMLUML-1997-SchroffT #uml
Conventions for the Practical Use of UML (AS, AT), pp. 262–270.
ECOOPECOOP-1997-OnoderaN #optimisation #smalltalk
Optimizing Smalltalk by Selector Code INdexing Can Be Practical (TO, HN), pp. 302–323.
TOOLSTOOLS-ASIA-1997-NguyenD #approach #modelling #object-oriented
A Practical Formally-Based Approach to Object-Oriented Modeling of Control Systems (KN, TSD), pp. 404–415.
TOOLSTOOLS-PACIFIC-1997-Hoffman #analysis #object-oriented
A Practical Notation for Object Oriented Analysis with a Formal Meaning (JH), pp. 225–237.
POPLPOPL-1997-OderskyW #java
Pizza into Java: Translating Theory into Practice (MO, PW), pp. 146–159.
RERE-1997-Harel
Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (DH), p. 184–?.
RERE-1997-Miller #how #question #requirements #research
How Can Requirements Engineering Research Become Requirements Engineering Practice? (SM), p. 260.
ICSEICSE-1997-BaresiOP #industrial #specification
Introducing Formal Specification Methods in Industrial Practice (LB, AO, MP), pp. 56–66.
ICSEICSE-1997-Musa #testing #tutorial
Software-Reliability-Engineered Testing Practice (Tutorial) (JDM), pp. 628–629.
ICSEICSE-1997-WiledenK #tutorial
Software Interoperability: Principles and Practice (Tutorial) (JCW, AK), pp. 631–632.
CADECADE-1997-BjornerSU #first-order #integration #reasoning
A Practical Integration of First-Order Reasoning and Decision Procedures (NB, MES, TEU), pp. 101–115.
CADECADE-1997-Matthews #implementation #induction #using
A Practical Implementation of Simple Consequence Relations Using Inductive Definitions (SM), pp. 306–320.
CADECADE-1997-YangFZ #algorithm #geometry
A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry (LY, HF, ZZ), pp. 73–86.
CAVCAV-1997-Marschner #challenge #industrial #tool support #verification
Practical Challenges for Industrial Formal Verification Tools (FEM), pp. 1–2.
CSLCSL-1997-Klarlund
Mona & Fido: The Logic-Automaton Connection in Practice (NK), pp. 311–326.
ICLPICLP-1997-KagedalD #approach #array #reuse
A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages (AK, SKD), pp. 18–32.
TLCATLCA-1997-Stark #equation
Names, Equations, Relations: Practical Ways to Reason about new (IS), pp. 336–353.
HTHT-1996-ClearyB #automation #hypermedia
Practical Methods for Automating Linking in Structured Hypermedia Systems (CC, RB), pp. 31–41.
PODSPODS-1996-GrumbachS #constraints #database #towards
Towards Practical Constraint Databases (SG, JS), pp. 28–39.
VLDBVLDB-1996-Kleewein #database
Practical Issues with Commercial Use of Federated Databases (JK), p. 580.
CSEETCSEE-1996-Grady #industrial #lessons learnt #re-engineering
Lessons from Industrial Adoption of Software Engineering Practices (RBG), pp. 216–217.
ITiCSEITiCSE-1996-KnoxWJKKLMPR #education #guidelines
Use of laboratories in computer science education: guidelines for good practice: report of the working group on computing laboratories (DK, UW, DTJ, EBK, JK, AL, JPM, VKP, KAR), pp. 167–181.
ESOPESOP-1996-Jones #problem #semantics
Some Practical Problems and Their Influence on Semantics (CBJ), pp. 1–17.
ICSMEICSM-1996-SlaughterB #case study #development #maintenance
A study of the effects of software development practices on software maintenance effort (SS, RDB), pp. 197–205.
PLDIPLDI-1996-DawsonRW #case study #logic programming #program analysis #using
Practical Program Analysis Using General Purpose Logic Programming Systems — A Case Study (SD, CRR, DSW), pp. 117–126.
ICALPICALP-1996-Chen #approximate #graph #problem
Practical Approximation Schemes for Maximum Induced-Subgraph Problems on K_{3, 3}-free or K_5-free Graphs (ZZC), pp. 268–279.
CIAAWIA-1996-Raymond
WIA and the Practice of Theory in Computer Science (DRR), pp. 1–5.
FMFME-1996-BoigelotG #analysis #model checking #protocol #using
Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN (BB, PG), pp. 465–478.
CHICHI-1996-SolowayJKQRSSSES #case study #design #learning
Learning Theory in Practice: Case Studies of Learner-Centered Design (ES, SLJ, JK, CQ, JR, JS, SJS, SS, JE, NS), pp. 189–196.
CSCWCSCW-1996-BowersOP
Practically Accomplishing Immersion: Cooperation in and for Virtual Environments (JB, JO, JP), pp. 380–389.
CSCWCSCW-1996-DiekmannL #community
Group Memories: A Knowledge Medium for Communities of Practice (doctoral colloquium) (BD, SNL), p. 445.
CSCWCSCW-1996-HeathL #documentation
Documents and Professional Practice: “Bad” Organisational Reasons for “Good” Clinical Records (CH, PL), pp. 354–363.
CSCWCSCW-1996-HiltzT #collaboration #learning #network #online #theory and practice #tutorial
Asynchronous Learning Networks: The Theory and Practice of Collaborative Learning Online (Tutorial) (SRH, MT), p. 5.
CSCWCSCW-1996-KatzenbergPM #evolution #protocol
Computer Support for Clinical Practice: Embedding and Evolving Protocols of Care (BK, FP, JPM), pp. 364–369.
AdaEuropeAdaEurope-1996-EmeryHR #architecture #case study #experience
Experiences Applying a Practical Architectural Method (DEE, RFHI, TBR), pp. 471–484.
KRKR-1996-Williams #approach #towards
Towards a Practical Approach to Belief Revision: Reason-Based Change (MAW), pp. 412–420.
ECOOPECOOP-1996-BoylandC #compilation #type safety
Type-Safe Compilation of Covariant Specialization: A Practical Case (JB, GC), pp. 3–25.
ECOOPECOOP-1996-GaweckiM #perspective #quantifier #type system
Integrating Subtyping, Matching and Type Quantification: A Practical Perspective (AG, FM), pp. 26–47.
LOPSTRLOPSTR-1996-JorgensenLM #deduction
Conjunctive Partial Deduction in Practice (JJ, ML, BM), pp. 59–82.
POPLPOPL-1996-Ashley #analysis #flexibility #higher-order
A Practical and Flexible Flow Analysis for Higher-Order Languages (JMA), pp. 184–194.
FSEFSE-1996-ZhangRL #alias #analysis #composition #pointer #towards
Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses (SZ, BGR, WL), pp. 81–92.
CADECADE-1996-EglyR #normalisation #on the
On the Practical Value of Different Definitional Translations to Normal Form (UE, TR), pp. 403–417.
CAVCAV-1996-Gonthier #concurrent #garbage collection #safety #verification
Verifying the Safety of a Practical Concurrent Garbage Collector (GG), pp. 462–465.
SIGMODSIGMOD-1995-IoannidisP #estimation #query
Balancing Histogram Optimality and Practicality for Query Result Size Estimation (YEI, VP), pp. 233–244.
VLDBVLDB-1995-BargaP #composition #implementation #modelling #transaction
A Practical and Modular Implementation of Extended Transaction Models (RSB, CP), pp. 206–217.
VLDBVLDB-1995-DidriksenGD #approach #database
Database De-Centralization — A Practical Approach (TD, CAGL, ED), pp. 654–665.
CSEETCSEE-1995-Card #education #metric
Teaching Practical Principles of Software Measurement (DNC), p. 443.
TACASTACAS-1995-HenriksenJJKPRS #higher-order #logic #monad #named
Mona: Monadic Second-Order Logic in Practice (JGH, JLJ, MEJ, NK, RP, TR, AS), pp. 89–110.
DLTDLT-1995-Galvez #lr #parsing #stack
A Practical Small LR Parser with Action Decision Through Minimal Stack Suffix Scanning (JFG), pp. 460–465.
CHICHI-1995-BellottiSMH #design #human-computer #modelling #multi
Multidisciplinary Modeling in HCI Design ...In Theory and in Practice (VB, SBS, AM, NH), pp. 146–153.
CHICHI-1995-Franzke #interactive #research
Turning Research into Practice: Characteristics of Display-Based Interaction (MF), pp. 421–428.
CHICHI-1995-HarperS #collaboration #tool support
Collaborative Tools and the Practicalities of Professional Work at the International Monetary Fund (RHRH, AS), pp. 122–129.
CHICHI-1995-Hershmann #constraints #design #user interface
The Effects of Practical Business Constraints on User Interface Design (DH), pp. 531–537.
CHICHI-1995-KaratD #education #usability
Practical Education for Improving Software Usability (JK, TD), pp. 162–169.
CHICHI-1995-WiedenbeckZM #empirical #online
End-User Training: An Empirical Study Comparing On-Line Practice Methods (SW, PLZ, DSM), pp. 74–81.
AdaEuropeAdaEurope-1995-Brown #ada #safety
The Practical Application of Safety Techniques on an Ada Based Project (RB), pp. 51–57.
ICMLICML-1995-Wang #approach #incremental #learning
Learning by Observation and Practice: An Incremental Approach for Planning Operator Acquisition (XW), pp. 549–557.
KDDKDD-1995-KetterlinGK #approach #clustering #concept #database
Conceptual Clustering in Structured Databases: A Practical Approach (AK, PG, JJK), pp. 180–185.
OOPSLAOOPSLA-1995-Helm
Patterns in Practice (RH), pp. 337–341.
RERE-1995-EmamM #case study #development #information management #requirements
A field study of requirements engineering practices in information systems development (KEE, NHM), pp. 68–80.
ICLPICLP-1995-MulkersSJB #equation #on the
On the Practicality of Abstract Equation Systems (AM, WS, GJ, MB), pp. 781–795.
ICLPILPS-1995-GallagherBS #logic programming #modelling #source code #static analysis
Practical Model-Based Static Analysis for Definite Logic Programs (JPG, DB, HS), pp. 351–365.
HTHT-ECHT-1994-MadiganCGVB #guidelines
Repertory Hypergrids: An Application to Clinical Practice Guidelines (DM, CRC, JG, OV, JB), pp. 117–125.
PODSPODS-1994-Gonnet #database #experience #named #tutorial
Tutorial: Text Dominated Databases, Theory Practice and Experience (GHG), pp. 301–302.
PODSPODS-1994-Harel #summary
Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary) (DH), pp. 1–3.
SIGMODSIGMOD-1994-Hellerstein
Practical Predicate Placement (JMH), pp. 325–335.
VLDBVLDB-1994-GutierrezPST #database #graph #persistent
Database Graph Views: A Practical Model to Manage Persistent Graphs (AG, PP, HS, JMT), pp. 391–402.
CSEETCSEE-1994-CardowW #approach #education #reuse
A Practical Approach to Teaching Software Reuse (JEC, WDWJ), pp. 517–525.
CSEETCSEE-1994-GrechenigB #reuse
Introducing a Software Reuse Culture in Practice (TG, SB), pp. 527–539.
CSEETCSEE-1994-HabraD #re-engineering #student
Putting into Practice Advanced Software Engineering Techniques through Students Project (NH, ED), pp. 303–316.
ICSMEICSM-1994-CherinkaOCR #automation #perspective #process
Issues in Software Process Automation — From a Practical Perspective (RC, CMO, LAC, JR), pp. 109–118.
ICSMEICSM-1994-RegelsonA #debugging #legacy
Debugging Practices for Complex Legacy Software Systems (ER, AA), pp. 137–143.
ICSMEICSM-1994-Wilson #energy #evolution
Software Evolution in Practice for the U.S. Department of Energy (EFW), pp. 434–436.
LISPLFP-1994-WrightC #type system
A Practical Soft Type System for Scheme (AKW, RC), pp. 250–262.
ICGTTAGT-1994-BlosteinFG #graph grammar
Issues in the Practical Use of Graph Rewriting (DB, HF, AG), pp. 38–55.
AdaTRI-Ada-1994-WelkerS #ada #approach #re-engineering
Software Reengineering in Ada: A Practical Approach (KDW, MWS), pp. 248–254.
TOOLSTOOLS-EUROPE-1994-DoesburgEKW #case study #experience
Practical Experiences with OMT (ED, DE, AK, JW), pp. 75–87.
SACSAC-1994-RitschelPG #classification #multi #rating
Rating of pattern classifications in multi-layer perceptrons: theoretical background and practical results (WR, TP, RG), pp. 142–144.
ICSEICSE-1994-GarlanA #architecture
Software Architecture: Practice, Potential, and Pitfalls (DG, DEP), pp. 363–364.
CCCC-1994-PineoS #approach #debugging
A Practical Approach to the Symbolic Debugging of Parallelized Code (PPP, MLS), pp. 339–356.
CADECADE-1994-MullerW #composition #higher-order #theory and practice
Theory and Practice of Minimal Modular Higher-Order E-Unification (OM, FW), pp. 650–664.
CAVCAV-1994-BeerBGGY #hardware #verification
Methodology and System for Practical Formal Verification of Reactive Hardware (IB, SBD, DG, RG, MY), pp. 182–193.
ICLPICLP-1994-DumortierJ #towards
Towards a Practical Full Mode Inference System for CLP(H, N) (VD, GJ), pp. 569–583.
ICLPILPS-1994-ChiuL #constraints #logic programming #theorem proving #towards
Towards Practical Interval Constraint Solving in Logic Programming (CKC, JHML), pp. 109–123.
DACDAC-1993-Duvall #design #statistics
Practical Statistical Design of Complex Integrated Circuit Products (SGD), pp. 561–565.
DACDAC-1993-MogakiSKH #approach #layout
Cooperative Approach to a Practical Analog LSI Layout System (MM, YS, MK, TH), pp. 544–549.
ICDARICDAR-1993-Lemarie #implementation #network #recognition
Practical implementation of a radial basis function network for handwritten digit recognition (BL), pp. 412–415.
ICDARICDAR-1993-WatanabeLS #comprehension #documentation #framework #information management #representation #towards
Toward a practical document understanding of table-form documents: its framework and knowledge representation (TW, QL, NS), pp. 510–515.
SIGMODSIGMOD-1993-CurewitzKV
Practical Prefetching via Data Compression (KMC, PK, JSV), pp. 257–266.
VLDBVLDB-1993-BrodskyJM #constraints #database #towards
Toward Practical Constraint Databases (AB, JJ, MJM), pp. 567–580.
VLDBVLDB-1993-Cohen #database #query #scalability
A Practical Issue Concerning Very Large Data Bases: The Need for Query Governors (GC), pp. 705–706.
VLDBVLDB-1993-Grefen #approach #declarative #specification #theory and practice #transaction
Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem (PWPJG), pp. 581–591.
WCREWCRE-1993-WardB #program transformation #reverse engineering
A Practical Program Transformation System for Reverse Engineering (MW, KB), pp. 212–221.
PLDIPLDI-1993-DuesterwaldGS #analysis #array #data flow #framework #optimisation
A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations (ED, RG, MLS), pp. 68–77.
PLDIPLDI-1993-WahbeLG #design #implementation
Practical Data Breakpoints: Design and Implementation (RW, SL, SLG), pp. 1–12.
SASWSA-1993-CharlierDMH #abstract interpretation #algorithm #fixpoint #optimisation #performance #prolog
Optimization Techniques for General Purpose Fixpoint Algorithms — Practical Efficiency for the Abstract Interpretation of Prolog (BLC, OD, LM, PVH), pp. 15–26.
SASWSA-1993-Roy #challenge #logic programming #source code #static analysis
Challenges in Developing Useful and Practical Static Analysis for Logic Programs (PVR), p. 111.
FMFME-1993-Barrett #model checking
Model Checking in Practice — The T9000 Virtual Channel Processor (GB), pp. 129–147.
HCIHCI-SHI-1993-AndersonJBA
The Use of Computer Simulated Cases to Study Factors that Influence Clinical Practice Styles (JGA, SJJ, CB, MMA), pp. 742–747.
HCIHCI-SHI-1993-WojtkowskiW #authoring #development #multi #tool support
Multimedia Development Platforms and Authoring Tools: Practical and Theoretical Frontiers (WW, WGW), pp. 537–542.
CHIINTERCHI-1993-MaguireD #industrial #metric #usability
Usability measurement: its practical value to the computer industry (MCM, AD), pp. 145–148.
CAiSECAiSE-1993-BrunetCMS #analysis #object-oriented
Object-Oriented Analysis in Practice (JB, CC, DM, FS), pp. 293–308.
RERE-1993-HarkerED #challenge #evolution #re-engineering #requirements
The change and evolution of requirements as a challenge to the practice of software engineering (SH, KDE, JED), pp. 266–272.
RERE-1993-LubarsPR #bibliography #modelling #requirements
A review of the state of the practice in requirements modeling (MDL, CP, CR), pp. 2–14.
RERE-1993-White #requirements
Requirements engineering in systems engineering practice (SMW), pp. 192–193.
ESECESEC-1993-HagelsteinRW #requirements
Formal Requirements Made Practical (JH, DR, PW), pp. 127–144.
FSEFSE-1993-Wood #approach #calculus #re-engineering #refinement #using
A Practical Approach to Software Engineering Using Z and the Refinement Calculus (KRW), pp. 79–88.
ICSEICSE-1993-GerhartCR #formal method #industrial #using
Observations on Industrial Practice Using Formal Methods (SLG, DC, TR), pp. 24–33.
ICSEICSE-1993-LichterSZ #industrial #prototype #theory and practice
Prototyping in Industrial Software Projects — Bridging the Gap Between Theory and Practice (HL, MSH, HZ), pp. 221–229.
ICLPILPS-1993-BandaH #analysis #approach #source code
A Practical Approach to the Global Analysis of CLP Programs (MJGdlB, MVH), pp. 437–455.
ISSTAISSTA-1993-CorbettA #bound #concurrent #realtime
A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems (JCC, GSA), pp. 110–116.
VLDBVLDB-1992-DeWittNSS #parallel
Practical Skew Handling in Parallel Joins (DJD, JFN, DAS, SS), pp. 27–40.
SASWSA-1992-BandaH
A Practical Application of Sharing and Freeness Inference (MJGdlB, MVH), pp. 118–125.
CHICHI-1992-NilsenJOP
Method engineering: from data to model to practice (EN, HSJ, JSO, PGP), pp. 313–320.
CHICHI-1992-RectorHFKNNRW #development #experience
User centered development of a general practice medical workstation: the PEN&PAD experience (ALR, BH, MF, SK, PDN, WAN, DR, AW), pp. 447–453.
AdaEuropeAdaEurope-1992-BayassiBJL #ada #distributed #paradigm
A Practical Use of the Ada Rendez-Vous Paradigm in Distributed Systems (MB, HB, JFJ, PL), pp. 312–324.
AdaTRI-Ada-C-1992-BurgerBVTSB #ada #distributed #source code
A Practical Tool for Distributing Ada Programs: TeleSoft’s Distributed Ada Configuration Tool (TB, JBB, RAV, RT, GS, KHB), pp. 484–492.
AdaTRI-Ada-C-1992-Waterman
A Practical Look at SAMeDL (DW), pp. 398–406.
KRKR-1992-Brachman #information management #representation
“Reducing” CLASSIC to Practice: Knowledge Representation Theory Meets Reality (RJB), pp. 247–258.
KRKR-1992-SchragBC #reasoning
Managing Disjunction for Practical Temporal Reasoning (RS, MB, JC), pp. 36–46.
ICMLML-1992-KiraR #approach #feature model
A Practical Approach to Feature Selection (KK, LAR), pp. 249–256.
ECOOPECOOP-1992-OxhojPS #type inference
Making Type Inference Practical (NO, JP, MIS), pp. 329–349.
TOOLSTOOLS-EUROPE-1992-Reenskaug #design #smalltalk
Intermediate Smalltalk, Practical Design and Impelementation (TR), p. 437.
TOOLSTOOLS-PACIFIC-1992-MaE #approach #library #relational #using
A Practical Approach to Class Library Management Using a Relational DBMS (JM, JME), pp. 165–173.
TOOLSTOOLS-PACIFIC-1992-Murphy #inheritance #multi
Practical Applications of Multiple Inheritance in an OODB (JM), pp. 225–231.
ICTSSIWPTS-1992-Briere #testing
Testing in Practice — OSI Test Center (MHLB), pp. 19–29.
ICLPJICSLP-1992-Heintze #analysis #aspect-oriented #set
Practical Aspects of Set Based Analysis (NH), pp. 765–779.
DACDAC-1991-FangCFC #multi #problem
Constrained via Minimization with Practical Considerations for Multi-Layer VLSI/PCB Routing Problems (SCF, KEC, WSF, SJC), pp. 60–65.
PLDIPLDI-1991-GoffKT #dependence #testing
Practical Dependence Testing (GG, KK, CWT), pp. 15–29.
FMVDME-1991-1-WingZ #specification
Unintrusive Ways to Integrate Formal Specifications in Practice (JMW, AMZ), pp. 545–569.
CHICHI-1991-WroblewskiMH #named
DETENTE: practical support for practical action (DAW, TPM, WCH), pp. 195–202.
OOPSLAOOPSLA-1991-ChambersU #object-oriented
Making Pure Object-Oriented Languages Practical (CC, DU), pp. 1–15.
ESECESEC-1991-Jackson #industrial #perspective #re-engineering
The Impact of Software Engineering Researches on Industrial Practice — a Personal View (CJ), pp. 472–479.
ICSEICSE-1991-HihnH #bibliography #estimation
Cost Estimation of Software Intensive Projects: A Survey of Current Practices (JH, HHa), pp. 276–287.
SOSPSOSP-1991-LampsonABW #authentication #distributed #theory and practice
Authentication in Distributed Systems: Theory and Practice (BWL, MA, MB, EW), pp. 165–182.
DACDAC-1990-SuzukiO #design #online
A Practical Online Design Rule Checking System (GS, YO), pp. 246–252.
SIGMODSIGMOD-1990-KiernanMS #database #deduction
Making Deductive Databases a Practical Technology: A Step Forward (GK, CdM, ES), pp. 237–246.
SIGMODSIGMOD-1990-LiptonNS #adaptation #estimation
Practical Selectivity Estimation through Adaptive Sampling (RJL, JFN, DAS), pp. 1–11.
STOCSTOC-1990-KleinST #algorithm #approximate #concurrent #performance
Leighton-Rao Might Be Practical: Faster Approximation Algorithms for Concurrent Flow with Uniform Capacities (PNK, CS, ÉT), pp. 310–321.
CAiSECAiSE-1990-SmolanderTL #case study #how #tool support
How to Combine Tools and Methods in Practice — a Field Study (KS, VPT, KL), pp. 195–214.
SEKESEKE-1990-DeckH #re-engineering #theory and practice
Cleanroom Software Engineering: Theory and Practice (MDD, PAH), pp. 71–77.
ICSEICSE-1990-HirayamaSYT #lifecycle #metric #modelling #quality
Practice of Quality Modeling and Measurement on Software Life-Cycle (MH, HS, AY, JT), pp. 98–107.
CCCC-1990-Paakki #definite clause grammar #implementation
A Practical Implementation of DCGs (Abstract) (JP), pp. 224–225.
ICLPCLP-1990-Paakki90 #attribute grammar #compilation
A Logic-Based Modification of Attribute Grammars for Practical Compiler Writing (JP), pp. 203–217.
ICLPCLP-1990-SchreyeVB90 #detection #graph #horn clause #query #strict #using
A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs (DDS, KV, MB), pp. 649–663.
PODSPODS-1989-MannilaR #algorithm #normalisation #testing
Practical Algorithms for Finding Prime Attributes and Testing Normal Forms (HM, KJR), pp. 128–133.
PODSPODS-1989-Wang #maintenance #question
Can Constant-time Maintainability Be More Practical? (KW), pp. 120–127.
ECOOPECOOP-1989-MullerP #object-oriented #programming #rest
Four Steps and a Rest in Putting an Object-Oriented Programming Environment to Practical Use (GM, AKP), pp. 271–282.
ESECESEC-1989-Wordsworth #experience #interface #programming #specification
Practical Experience of Formal Specification: A Programming Interface for Communications (JW), pp. 140–158.
ICSEICSE-1989-DeMarcoL #development #state of the art
Software Development: State of the Art vs. State of the Practice (TD, TL), pp. 271–275.
ICSEICSE-1989-HumphreyKK #re-engineering
The State of Software Engineering Practice: A Preliminary Report (WSH, DHK, TCK), pp. 277–288.
ICLPNACLP-1989-FosterT #named #parallel #programming
Strand: A Practical Parallel Programming Tool (ITF, ST), pp. 497–512.
ISSTATAV-1989-Moriconi #approach #configuration management #semantics
A Practical Approach to Semantic Configuration Management (MM), pp. 103–113.
CSEETSEI-1988-MooreP
Meeting the Training Needs of Practicing Software Engineers at Texas Instruments (FLM, PRP), pp. 32–44.
PLDIPLDI-1988-CoutantMR #approach #debugging #named
DOC: A Practical Approach to Source-Level Debugging of Globally Optimized Code (DSC, SM, MR), pp. 125–134.
ICMLML-1988-Etzioni #approach #learning #reliability
Hypothesis Filtering: A Practical Approach to Reliable Learning (OE), pp. 416–429.
ICMLML-1988-Wu #named #reduction
Reduction: A Practical Mechanism of Searching for Regularity in Data (YHW), pp. 374–380.
POPLPOPL-1988-Felleisen #theory and practice
The Theory and Practice of First-Class Prompts (MF), pp. 180–190.
ICLPJICSCP-1988-WarrenHD88 #analysis #logic programming #on the #source code
On the Practicality of Global Flow Analysis of Logic Programs (RW, MVH, SKD), pp. 684–699.
DACDAC-1987-Masurkar #re-engineering #requirements
Requirements for a Practical Software Engineering Environment (VM), pp. 67–73.
DACDAC-1987-McGehee
A Practical Moat Router (RKM), pp. 216–222.
HCIHCI-CE-1987-HanniganH #design
Human Factors in Office Product Design: European Practice (SH, VH), pp. 225–232.
POPLPOPL-1987-Jouvelot #abstract interpretation #parallel #semantics
Semantic Parallelization: A Practical Exercise in Abstract Interpretation (PJ), pp. 39–48.
ICLPSLP-1987-KishimotoHKH87 #evaluation #source code
An Evaluation of the FGHC via Practical Application Programs (MK, AH, KK, AH), pp. 516–525.
SIGMODSIGMOD-1986-RosenthalHDM #approach #recursion #traversal
Traversal Recursion: A Practical Approach to Supporting Recursive Applications (AR, SH, UD, FM), pp. 166–176.
ESOPESOP-1986-Naftalin #empirical #semantics
An Experiment in Practical Semantics (MN), pp. 144–159.
ICALPICALP-1986-SpirakisT #algorithm #performance
A Very Fast, Practical Algorithm for Finding a Negative Cycle in a Digraph (PGS, AKT), pp. 397–406.
ICGTGG-1986-Kaul #graph grammar #precedence
Practical Applications of Precedence Graph Grammars (MK), pp. 326–342.
CSCWCSCW-1986-CashmanS #complexity #theory and practice
Achieving sustainable complexity through information technology: theory and practice (PMC, DS), pp. 307–317.
CSCWCSCW-1986-FosterS #named #theory and practice
Cognoter: theory and practice of a colab-orative tool (GF, MS), pp. 7–15.
AdaCRAI-1986-Goodenough #ada #compilation #testing #theory and practice #validation
Ada Compiler Validation: An Example of Software Testing Theory and Practice (JBG), pp. 195–232.
FPCAFPCA-1985-ClackJ85 #analysis #approach #strict
Strictness Analysis — A Practical Approach (CDC, SLPJ), pp. 35–49.
FPCAFPCA-1985-Nikhil85 #morphism #polymorphism
Practical Polymorphism (RSN), pp. 319–333.
SIGIRSIGIR-1985-DAmoreM #theory and practice
One-Time Complete Indexing of Text: Theory and Practice (RJD, CPM), pp. 155–164.
ICSEICSE-1985-ParnasW #design
Active Design Reviews: Principles and Practices (DLP, DMW), pp. 132–136.
LISPLFP-1984-StoyeCN #agile #combinator #reduction
Some Practical Methods for Rapid Combinator Reduction (WRS, TJWC, ACN), pp. 159–166.
ICSEICSE-1984-Donzeau-GougeLM #syntax
Practical Applications of a Syntax Directed Program Manipulation Environment (VDG, BL, BM), pp. 346–357.
SIGMODSIGMOD-1983-Gray #data transformation #problem
Practical Problems in Data Management — A Position Paper (JG), p. 3.
SIGIRSIGIR-1983-Eastman #algorithm #evaluation #multi
Current Practice in The Evaluation of Multikey Search Algorithms (CME), pp. 197–204.
POPLPOPL-1983-ClarkeES #approach #automation #concurrent #finite #logic #specification #using #verification
Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach (EMC, EAE, APS), pp. 117–126.
POPLPOPL-1983-LampsonS #polymorphism
Practical Use of a Polymorphic Applicative Language (BWL, EES), pp. 237–255.
POPLPOPL-1983-NagleJ #automation #embedded #proving #realtime #verification
Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software (JN, SJ), pp. 48–58.
VLDBVLDB-1982-Kent #design
Choices in Practical Data Design (WK), pp. 165–180.
VLDBVLDB-1982-Leiss #database #statistics
Randomizing, A Practical Method for Protecting Statistical Databases Against Compromise (ELL), pp. 189–196.
PLDISCC-1982-BurkeF #fault
A Practical Method for Syntactic Error Diagnosis and Recovery (MGB, GAF), pp. 67–78.
PLDISCC-1982-KrummeA #code generation
A Practical Method for Code Generation Based on Exhaustive Search (DWK, DHA), pp. 185–196.
SIGIRSIGIR-1982-FraenkelMP #question
Is Text Compression by Prefizes and Suffixes Practical? (ASF, MM, YP), pp. 289–311.
POPLPOPL-1982-SippiS #fault #lr #parsing
Practical Error Recovery in LR Parsing (SS, ESS), pp. 177–184.
VLDBVLDB-1981-Curtice #assessment #problem
Data Dictionaries: An Assessment of Current Practice and Problems (RMC), pp. 564–570.
VLDBVLDB-1981-Hainaut #database #design #tool support
Theoretical and Practical Tools for Data Base Design (JLH), pp. 216–224.
VLDBVLDB-1981-Kent
Data Model Theory Meets a Practical Application (WK), pp. 13–22.
DACDAC-1980-SingletonC #automation #design #scalability
Practical automated design of LSI for large computers (JPS, NRC), pp. 556–559.
SIGMODSIGMOD-1980-LuskOP #database #design #implementation #using
A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship Model (ELL, RAO, BDP), pp. 9–21.
VLDBVLDB-1980-Swartwout #database
Database Theory and its Relationship to Practice (DES), p. 361.
CCSDCG-1980-Ganzinger #attribute grammar #semantics
Transforming denotational semantics into practical attribute grammars (HG), pp. 1–69.
DACDAC-1979-GiambiasiMM #named #network #scalability #simulation
SILOG: A practical tool for large digital network simulation (NG, AM, DM), pp. 263–271.
PLDISCC-1979-GrahamHJ #fault #lr
Practical LR error recovery (SLG, CBH, WNJ), pp. 168–175.
ICALPICALP-1979-Wegner #approach #decidability #two-level grammar
Bracketed Two-Level Grammars — A Decidable and Practical Approach to Language Definitions (LMW), pp. 668–682.
ICSEICSE-1979-HutchingsMETW #on the #re-engineering
On CADES-Software Engineering in Practice (AFH, RWM, AEE, BRT, PNW), pp. 136–144.
DACDAC-1978-ShahY #cost analysis #design
A practical technique for benefit-cost analysis of Computer-Aided Design and Drafting Systems (RRS, GYY).
SIGMODSIGMOD-1978-Berlin #evaluation
DBMS Selection and Evaluation: Perspectives and Practical Issues (BB), pp. 37–38.
VLDBVLDB-1978-Delobel #aspect-oriented #database #modelling
Data Base Theory and Modeling — Theoretical and Practical Aspects (CD), p. 112.
VLDBVLDB-1978-Smith #database #design #theory and practice
Comments on the paper “Data Base Design in Theory and Practice” by Bo Sundgren (JMS), pp. 17–18.
VLDBVLDB-1978-Sundgren #database #design #theory and practice
Data Base Design in Theory and Practice (BS), pp. 3–16.
VLDBVLDB-1978-Theys #database #design #theory and practice
Comments on the Paper “Data Base Design in Theory and Practice” (MT), pp. 19–20.
STOCSTOC-1978-Pratt #logic
A Practical Decision Method for Propositional Dynamic Logic: Preliminary Report (VRP), pp. 326–337.
POPLPOPL-1978-Johnson #compilation #theory and practice
A Portable Compiler: Theory and Practice (SCJ), pp. 97–104.
DACDAC-1977-Gebert #architecture #design
Computer-aided design and practice in city college school of architecture (GAG), pp. 277–278.
DACDAC-1977-Magnhagen #case study #design #experience #probability #simulation
Practical experiences from signal probability simulation of digital designs (BM), pp. 216–219.
SIGMODSIGMOD-1977-Lomet #algorithm #concurrent #database
A Practical Deadlock Avoidance Algorithm for Data Base Systems (DBL), pp. 122–127.
ICSEICSE-1976-Carrow #programming #theory and practice
Structured Programming: From Theory to Practice (JCC), pp. 370–372.
SOSPSOSP-J-1975-Millen76 #kernel #security #validation
Security Kernel Validation in Practice (JKM), pp. 243–250.
DACDAC-1975-Whitney
Practical results with CADSYS (DEW), pp. 220–223.
POPLPOPL-1973-GrahamR #fault
Practical Syntactic Error Recovery (SLG, SPR), pp. 52–58.
SIGMODSIGFIDET-1972-BachmanB #architecture #process
Architecture Definition Technique: Its Objectives Theory, Process, Facilities and Practice (CWB, JB), pp. 257–305.
DACDAC-1971-Sides #architecture #information management
An information system in architectural practices (CDSJ), p. 285.
DACDAC-1969-DoutyC #design #generative
A discipline for generating practical optimal structural designs (RTD, JWC), pp. 155–168.
SOSPSOSP-1969-NeedhamH #design #operating system #theory and practice
Theory and practice in operating system design (RMN, DFH), pp. 8–12.

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.