Stem within$ (all stems)

317 papers:

ECSA-2015-Jansen #architecture #challenge #ecosystem #interface

Opening the Ecosystem Flood Gates: Architecture Challenges of Opening Interfaces Within a Product Portfolio (SJ), pp. 121–136.

CASE-2015-HaufMPF #energy #modelling

Energy consumption modeling within the virtual commissioning tool chain (DH, DM, P, JF), pp. 1357–1362.

CASE-2015-SenfeldsVMB #approach #industrial

Power smoothing approach within industrial DC microgrid with supercapacitor storage for robotic manufacturing application (AS, MV, DM, OB), pp. 1333–1338.

DocEng-2015-FranzeMW #documentation #navigation #question

Does a Split-View Aid Navigation Within Academic Documents? (JF, KM, MW), pp. 211–214.

DRR-2015-LiGTY #documentation #identification

Cross-reference identification within a document (SL, LG, ZT, YY), p. 940209.

HT-2015-BlountMW #logic #social #web

An Investigation into the Use of Logical and Rhetorical Tactics within Eristic Argumentation on the Social Web (TB, DEM, MJW), pp. 195–199.

GaM-2015-RadwanH #detection #refactoring #smell

Detecting and Refactoring Operational Smells within the Domain Name System (MR, RH), pp. 113–128.

CHI-2015-LugerURG #design #game studies #process #using

Playing the Legal Card: Using Ideation Cards to Raise Data Protection Issues within the Design Process (EL, LU, TR, MG), pp. 457–466.

CHI-2015-NissenB #named #process

Data-Things: Digital Fabrication Situated within Participatory Data Translation Activities (BN, JB), pp. 2467–2476.

DUXU-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.

HCI-UC-2015-SorumF #how #quality

How to Evaluate Investments in Website Quality Within eGovernment? Exploring the Webmaster’s Perception of Benefits (HS, AF), pp. 102–111.

HIMI-IKD-2015-KalkattawiN #ubiquitous #using

Ubiquitous Healthcare Systems: Improving the Adherence Level within Diabetic Medication Using Cloud-Based Reminder System (MK, TN), pp. 535–546.

LCT-2015-Sein-EchaluceBG #education #information management #social #using

A Knowledge Management System to Classify Social Educational Resources Within a Subject Using Teamwork Techniques (MLSE, ÁFB, FJGP, MÁCG), pp. 510–519.

ICEIS-v3-2015-Piedrabuena0R #data transformation

Enforcing Data Protection Regulations within e-Government Master Data Management Systems (FP, LG, RR), pp. 316–321.

SIGIR-2015-GuyLDB #case study #enterprise #recommendation #social

Islands in the Stream: A Study of Item Recommendation within an Enterprise Social Stream (IG, RL, TD, EB), pp. 665–674.

Onward-2015-Kell #process #towards

Towards a dynamic object model within Unix processes (SK), pp. 224–239.

SAC-2015-IqbalAB #design #framework #network #scheduling

Designing network servers within a hierarchical scheduling framework (ZI, LA, MB), pp. 653–658.

ESEC-FSE-2015-ShafferWWMFS #eye tracking #ide #named #re-engineering

iTrace: enabling eye tracking on software artifacts within the IDE to support software engineering tasks (TRS, JLW, BMW, SCM, MF, BS), pp. 954–957.

ASPLOS-2015-AgarwalNSOK #memory management

Page Placement Strategies for GPUs within Heterogeneous Memory Systems (NA, DWN, MS, MO, SWK), pp. 607–618.

ECSA-2014-SolimanR #architecture #interactive #modelling

Modeling the Interactions between Decisions within Software Architecture Knowledge (MS, MR), pp. 33–40.

SIGMOD-2014-FanWW #bound #graph #query

Querying big graphs within bounded resources (WF, XW, YW), pp. 301–312.

ITiCSE-2014-EllisH #learning #open source #re-engineering

Structuring software engineering learning within open source software participation (HJCE, GWH), p. 326.

ITiCSE-2014-EllisJBPHD #learning

Learning within a professional environment: shared ownership of an HFOSS project (HJCE, SJ, DB, LP, GWH, JD), p. 337.

ITiCSE-2014-HeldalSBM #communication #industrial

Supporting communication within industrial doctoral projects: the thesis steering model (IH, ES, LB, RM), p. 325.

MSR-2014-AggarwalHS #co-evolution #documentation #git

Co-evolution of project documentation and popularity within github (KA, AH, ES), pp. 360–363.

CHI-2014-HamiltonGK #community #game studies #streaming

Streaming on twitch: fostering participatory communities of play within live mixed media (WAH, OG, AK), pp. 1315–1324.

CSCW-2014-DuysburghEJ #collaboration #distributed

Exploring the social-technological gap in telesurgery: collaboration within distributed or teams (PD, SAE, AJ), pp. 1537–1548.

DHM-2014-FuCLCZ #framework #modelling

Evaluating Work Disability of Lower Limb Handicapped within a Human Modeling Framework (YF, XC, SL, JGC, BZ), pp. 516–526.

DUXU-DP-2014-IpCLS #design #framework #smarttech

The Wearable Self: Braiding a Feminist Critique within a Somaesthetics Framework for Design (EI, WWYC, SL, TS), pp. 285–296.

DUXU-ELAS-2014-Lai #design #interactive #usability

Examining the Functionality and Usability of Interactive Wayfinding Design within Cities in China (FHSL), pp. 305–316.

DUXU-TMT-2014-HeidtBR #design #human-computer

Deconstructivist Design within HCI (MH, AB, PR), pp. 115–122.

HCI-AIMT-2014-BomsdorfB #3d #design #interactive #prototype

Early Prototyping of 3D-Gesture Interaction within the Presentation-Gesture-Dialog Design Space (BB, RB), pp. 12–23.

LCT-TRE-2014-BesiosL #education

Immersive Creative Classrooms within the Zones of Educational Priorities in Greek Primary Schools (AB, NL), pp. 258–268.

CAiSE-2014-NobauerSG #analysis #approach #automation #evaluation #product line #similarity

Similarity Analysis within Product Line Scoping: An Evaluation of a Semi-automatic Approach (MN, NS, IG), pp. 165–179.

CAiSE-2014-SkoulisVZ #database #evolution #open source #question

Open-Source Databases: Within, Outside, or Beyond Lehman’s Laws of Software Evolution? (IS, PV, AZ), pp. 379–393.

ICEIS-v1-2014-BouzidCFP #approach #enterprise #retrieval #semantics

A Pattern-based Approach for Semantic Retrieval of Information Resources in Enterprises — Application Within STMicroelectronics (SB, CC, CSF, JP), pp. 193–200.

ICEIS-v3-2014-SilvaGS #case study #gesture #interactive #process

Gesture Vocabulary for Natural Interaction with Virtual Museums — Case Study: A Process Created and Tested Within a Bilingual Deaf Children School (LRdS, LSG, LS), pp. 5–13.

CIKM-2014-ArapakisLV #analysis #comprehension #gesture

Understanding Within-Content Engagement through Pattern Analysis of Mouse Gestures (IA, ML, GV), pp. 1439–1448.

CIKM-2014-HanWP #classification #using

Within-Network Classification Using Radius-Constrained Neighborhood Patterns (JH, JRW, JP), pp. 1539–1548.

CIKM-2014-SpirinHDKB #analysis #facebook #graph #network #online #people #query #scalability #social

People Search within an Online Social Network: Large Scale Analysis of Facebook Graph Search Query Logs (NVS, JH, MD, KGK, MB), pp. 1009–1018.

ICPR-2014-HavaeiJL #classification #interactive #performance #segmentation

Efficient Interactive Brain Tumor Segmentation as Within-Brain kNN Classification (MH, PMJ, HL), pp. 556–561.

KEOD-2014-LincolnW #process #repository

Business Process Search within Unstructured Repositories (ML, AW), pp. 467–474.

SIGIR-2014-ParkS #detection #higher-order #modelling #probability

Second order probabilistic models for within-document novelty detection in academic articles (LAFP, SS), pp. 1103–1106.

FSE-2014-Bell #dependence #detection #testing

Detecting, isolating, and enforcing dependencies among and within test cases (JB), pp. 799–802.

ASPLOS-2014-Wood #architecture #named

Resolved: specialized architectures, languages, and system software should supplant general-purpose alternatives within a decade (DAW), pp. 653–654.

QoSA-2013-TchakaloffSB #energy #modelling #named #quality

ORQA: modeling energy and quality of service within AUTOSAR models (BT, SS, JPB), pp. 3–12.

DATE-2013-ParkQPC #embedded #logic #self

40.4fJ/bit/mm low-swing on-chip signaling with self-resetting logic repeaters embedded within a mesh NoC in 45nm SOI CMOS (SP, MQ, LSP, APC), pp. 1637–1642.

ITiCSE-2013-GorlatovaSKKZ #learning #research #scalability

Project-based learning within a large-scale interdisciplinary research effort (MG, JS, PRK, IK, GZ), pp. 207–212.

ITiCSE-2013-Wildsmith #learning #named

Kinetic: a learning environment within business (CW), p. 3.

CHI-2013-CuiKHG #mobile #video

Front-camera video recordings as emotion responses to mobile photos shared within close-knit groups (YC, JK, JH, GG), pp. 981–990.

CHI-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.

DUXU-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.

DUXU-PMT-2013-SilvaSMP #agile #comprehension #design #user interface

Understanding the UX Designer’s Role within Agile Teams (TSdS, MSS, CdOM, LCP), pp. 599–609.

DUXU-WM-2013-KimFJ #case study #experience #feedback #social #social media

The Effect of Feedback within Social Media in Tourism Experiences (J(K, DRF, SLJ), pp. 212–220.

HCI-AMTE-2013-SchullerGH #research #self

A Self-Evaluation Tool for Quantitative User Research within the digital.me Project (AS, RG, FH), pp. 256–264.

HCI-AS-2013-HuangC13a #education #interface #learning #music #self #visualisation

Sound to Sight: The Effects of Self-generated Visualization on Music Sight-Singing as an Alternate Learning Interface for Music Education within a Web-Based Environment (YTH, CNC), pp. 386–390.

HIMI-HSM-2013-HighamVMSB #automation #trust

Training Air Traffic Controller Trust in Automation within a NextGen Environment (TMH, KPLV, JM, TZS, VB), pp. 76–84.

HIMI-HSM-2013-MoodyW #mobile #security #what

Security, But at What Cost? — An Examination of Security Notifications within a Mobile Application (GM, DW), pp. 391–399.

VISSOFT-2013-PalepuJ #behaviour #visualisation

Visualizing constituent behaviors within executions (VKP, JAJ), pp. 1–4.

ICEIS-v2-2013-FragalSGJ #approach #embedded #product line #specification

Application Engineering for Embedded Systems — Transforming SysML Specification to Simulink within a Product-Line based Approach (VHF, RFS, IMdSG, EAdOJ), pp. 94–101.

KEOD-2013-NadarajanYC #framework #multi #ontology #performance #scalability #workflow

Multiple Ontologies Enhanced with Performance Capabilities to Define Interacting Domains within a Workflow Framework for Analysing Large Undersea Videos (GN, CLY, YHCB), pp. 419–426.

REFSQ-2013-WauteletK #modelling #uml

Mapping i* within UML for Business Modeling (YW, MK), pp. 237–252.

ICSE-2013-Ell #developer #identification #network

Identifying failure inducing developer pairs within developer networks (JE), pp. 1471–1473.

CHI-2012-BentonJABG #design

Developing IDEAS: supporting children with autism within a participatory design team (LB, HJ, EA, MB, BG), pp. 2599–2608.

CHI-2012-ZiemkiewiczGL #analysis #graph #visualisation

Analysis within and between graphs: observed user strategies in immunobiology visualization (CZ, SRG, DHL), pp. 1655–1658.

CSCW-2012-StollEF #network

Between us and them: building connectedness within civic networks (JS, WKE, KAF), pp. 237–240.

ECIR-2012-AzzopardiDTEGGHJKMMPSV #named

EmSe: Supporting Children’s Information Needs within a Hospital Environment (LA, DD, SDT, CE, RG, KG, DH, FdJ, FK, KAM, SM, TP, FvdS, APdV), pp. 578–580.

ECIR-2012-DoR #design #visual notation

The Design of a Visual History Tool to Help Users Refind Information within a Website (TVD, RAR), pp. 459–462.

KEOD-2012-MunozCLCP #enterprise #framework #ontology

Ontological Framework for Integrating Environmental Issues within Sustainable Enterprise — Enhancing Enterprise Decision-making (EM, ECG, JML, AEC, LP), pp. 385–388.

KR-2012-CreignouPPW #logic

Belief Revision within Fragments of Propositional Logic (NC, OP, RP, SW).

SAC-2012-BarabucciPPV #approach #semantics

Embedding semantic annotations within texts: the FRETTA approach (GB, SP, FP, FV), pp. 658–663.

HPCA-2012-AhnCK #approach #architecture #network #scalability

Network within a network approach to create a scalable high-radix router microarchitecture (JHA, SC, JK), pp. 455–466.

CASE-2011-WangLH #analysis #modelling

Modeling and analysis of care delivery services within patient rooms (JW, JL, PKH), pp. 537–542.

DAC-2011-AarestadLPAA #process

Characterizing within-die and die-to-die delay variations introduced by process variations and SOI history effect (JA, CL, JP, DA, KA), pp. 534–539.

DATE-2011-HuangDEB #collaboration #communication #framework

A circuit technology platform for medical data acquisition and communication: Outline of a collaboration project within the Swiss Nano-Tera.ch Initiative (QH, CD, CE, TB), pp. 1472–1473.

ITiCSE-2011-ChuaB #framework

Integrating scholarly articles within e-learning courses: a framework (BBC, DVB), p. 392.

FASE-2011-KelsenMG #complexity #modelling #using

Models within Models: Taming Model Complexity Using the Sub-model Lattice (PK, QM, CG), pp. 171–185.

SCAM-J-2009-DesharnaisAS11 #analysis #identification #metric

Identification and analysis of attributes and base measures within ISO 9126 (JMD, AA, WS), pp. 447–460.

SCAM-J-2009-FouadPKJ11 #architecture #modelling #requirements

Embedding requirements within Model-Driven Architecture (AF, KP, JMK, SJ), pp. 411–430.

CHI-2011-KarlsonSL #ecosystem #experience #version control

Which version is this?: improving the desktop experience within a copy-aware computing ecosystem (AKK, GS, BL), pp. 2669–2678.

CHI-2011-TaylorSSWWBO #design

Designing from within: humanaquarium (RT, GS, JS, JW, PCW, PB, PO), pp. 1855–1864.

HCI-DDA-2011-BreinerBRSMD #adaptation #automation #generative #modelling #runtime #user interface #workflow

Automatic Adaptation of User Workflows within Model-Based User Interface Generation during Runtime on the Example of the SmartMote (KB, KB, TR, MS, GM, PD), pp. 165–174.

HCI-ITE-2011-BarbuceanuADR #analysis #artificial reality #interactive #user interface

Attentive User Interface for Interaction within Virtual Reality Environments Based on Gaze Analysis (FB, CA, MD, ZR), pp. 204–213.

HCI-ITE-2011-JohnsonLNY #behaviour

Analyzing User Behavior within a Haptic System (SLJ, YL, CSN, TY), pp. 62–70.

HCI-UA-2011-LiuU #3d

Effects of Presence on Causing Cybersickness in the Elderly within a 3D Virtual Store (CLL, STU), pp. 490–499.

ICEIS-v2-2011-Ng #framework #problem

Problem Solving Framework within Decision Support Systems (YHN), pp. 140–146.

CIKM-2011-HuiHLW #statistics #using

Relevance weighting using within-document term statistics (KH, BH, TL, BW), pp. 99–104.

CIKM-2011-KimC #algebra #approximate #composition #framework

Approximate tensor decomposition within a tensor-relational algebraic framework (MK, KSC), pp. 1737–1742.

CIKM-2011-KimO #dependence #process

Accounting for data dependencies within a hierarchical dirichlet process mixture model (DK, AHO), pp. 873–878.

ECIR-2011-GyllstromM #query #topic

Clash of the Typings — Finding Controversies and Children’s Topics Within Queries (KG, MFM), pp. 80–91.

ECIR-2011-ThotaC #statistics #testing

Within-Document Term-Based Index Pruning with Statistical Hypothesis Testing (SLT, BC), pp. 543–554.

KEOD-2011-GoczylaWWZ #analysis #framework

Analysis of Mapping within S-module Framework (KG, AW, WW, TZ), pp. 267–272.

KMIS-2011-DoanRG #enterprise

A Reference Model for Knowledge Retention within Small and Medium-sized Enterprises (QMD, CRS, MG), pp. 306–311.

SIGIR-2011-AltingovdeOU #evolution #web

Evolution of web search results within years (ISA, RO, ÖU), pp. 1237–1238.

MoDELS-2011-Chimiak-Opoka #framework #metric #modelling #ocl #uml #using

Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework (JCO), pp. 47–61.

MoDELS-2011-Chimiak-Opoka #framework #metric #modelling #ocl #uml #using

Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework (JCO), pp. 47–61.

ICSE-2011-SridharaPV #automation #detection

Automatically detecting and describing high level actions within methods (GS, LLP, KVS), pp. 101–110.

DAC-2010-Mathewson #evolution #how

The evolution of SOC interconnect and how NOC fits within it (BM), pp. 312–313.

DATE-2010-GaoM #lazy evaluation

Enhancing double-patterning detailed routing with lazy coloring and within-path conflict avoidance (XG, LM), pp. 1279–1284.

HT-2010-TamS #information retrieval

Webpage relationships for information retrieval within a structured domain (VWLT, JS), pp. 307–308.

ICPC-2010-JablonskiH #identifier

Renaming Parts of Identifiers Consistently within Code Clones (PJ, DH), pp. 38–39.

ICFP-2010-MorgensternL #programming

Security-typed programming within dependently typed programming (JM, DRL), pp. 169–180.

ICFP-2010-ScottSGM #functional #industrial #programming #using

Using functional programming within an industrial product group: perspectives and perceptions (DJS, RS, TG, AM), pp. 87–92.

CHI-2010-BaileyH #case study #idea #pipes and filters #scalability #what

What’s your idea?: a case study of a grassroots innovation pipeline within a large software company (BPB, EH), pp. 2065–2074.

ICEIS-HCI-2010-TaggKB #tool support

Encouraging a Culture Change in Task Management within PIM Tools (RT, LK, TB), pp. 137–142.

ICPR-2010-PoullotS #detection #image #scalability #video

Detecting Screen Shot Images within Large-Scale Video Archive (SP, SS), pp. 3203–3207.

ICPR-2010-WangB #automation #clustering #evaluation #fault #performance

Performance Evaluation of Automatic Feature Discovery Focused within Error Clusters (SYW, HSB), pp. 718–721.

KDIR-2010-KleizaKT #approach #documentation #identification #query #semantics #similarity #visualisation #word

Semantic Identification and Visualization of Significant Words within Documents — Approach to Visualize Relevant Words within Documents to a Search Query by Word Similarity Computation (KK, PK, KDT), pp. 481–486.

KEOD-2010-NirenburgMBC #elicitation #hybrid

Hybrid Methods of Knowledge Elicitation within a Unified Representational Knowledge Scheme (SN, MM, SB, RC), pp. 177–182.

SEKE-2010-GoaerTO #architecture #evolution

Evolution Styles to Capitalize Evolution Expertise within Software Architectures (OLG, DT, MO), pp. 159–164.

HPDC-2010-JabriM #using

Authorization within grid-computing using certificateless identity-based proxy signature (MAJ, SM), pp. 292–295.

CASE-2009-SenguptaDBMD #detection #fault #modelling #using

Fault detection of Air Intake Systems of SI gasoline engines using mean value and within cycle models (SS, SD, AKB, SM, AKD), pp. 361–366.

DATE-2009-AbateSVK #case study #functional

A study of the Single Event Effects impact on functional mapping within Flash-based FPGAs (FA, LS, MV, FLK), pp. 1226–1229.

ICDAR-2009-ChengZCN #keyword

Improvements in Keyword Search Japanese Characters within Handwritten Digital Ink (CC, BZ, XC, MN), pp. 863–866.

ITiCSE-2009-Kumar #education

Need to consider variations within demographic groups when evaluating educational interventions (ANK), pp. 176–180.

PEPM-2009-LiT #clone detection #detection #erlang #refactoring

Clone detection and removal for Erlang/OTP within a refactoring environment (HL, SJT), pp. 169–178.

CHI-2009-LeeSRCT #dataset #named #roadmap

FacetLens: exposing trends and relationships to support sensemaking within faceted datasets (BL, GS, GGR, MC, DST), pp. 1293–1302.

DHM-2009-McInnesSP #reliability #using

Within and Between-Subject Reliability Using Classic Jack for Ergonomic Assessments (BM, AS, JP), pp. 653–660.

DHM-2009-RobbinsCM #architecture #human-computer #modelling

Bridging the Gap between HCI and DHM: The Modeling of Spatial Awareness within a Cognitive Architecture (BR, DWC, AM), pp. 295–304.

HCI-NIMT-2009-SaitoS #exclamation #locality

Fly! Little Me: Localization of Body-Image within Reduced-Self (TS, MS), pp. 255–260.

HCI-NT-2009-DittmarF

An Exploration of Perspective Changes within MBD (AD, PF), pp. 806–815.

IDGD-2009-TungSDL #human-computer #interactive

A Cross-Cultural Study on the Perception of Sociability within Human-Computer Interaction (FWT, KS, YSD, TYL), pp. 135–144.

ICEIS-J-2009-MartinoBBF #analysis #multi #tool support

Integrating Google Earth within OLAP Tools for Multidimensional Exploration and Analysis of Spatial Data (SDM, SB, MB, FF), pp. 940–951.

KDIR-2009-ClementeDCR #behaviour #classification #image

Behavior of Different Image Classifiers within a Broad Domain (BC, MLD, AC, PGR), pp. 278–283.

KEOD-2009-KoppensteinerMLLV #enterprise #framework #semantics

Ontology-oriented Framework for Virtual Enterprises — Accomplished within the Project: Future Network-based Semantic Technologies ((FUNSET-Science) (GK, MM, WL, EL, LV), pp. 300–307.

MoDELS-2009-CengarleGR #modelling #variability

Variability within Modeling Language Definitions (MVC, HG, BR), pp. 670–684.

MoDELS-2009-CengarleGR #modelling #variability

Variability within Modeling Language Definitions (MVC, HG, BR), pp. 670–684.

OOPSLA-2009-TsafrirWBS #dependence #performance #source code

Minimizing dependencies within generic classes for faster and smaller programs (DT, RWW, DFB, BS), pp. 425–444.

HPCA-2009-AwasthiSBC #capacity #scalability

Dynamic hardware-assisted software-controlled page placement to manage capacity allocation and sharing within large caches (MA, KS, RB, JBC), pp. 250–261.

CAV-2009-BouissouGPTV #named #source code

HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment (OB, EG, SP, KT, FV), pp. 620–626.

CASE-2008-NugentHHFS #impact analysis #reliability

Assessing the impact of individual sensor reliability within smart living environments (CDN, XH, JH, DDF, KS), pp. 685–690.

HT-2008-YudelsonG #navigation #social

Providing social navigation within annotated examples (MY, NG), pp. 255–256.

ICSM-2008-KarimKSCTOJ #embedded #industrial #maintenance

Positioning embedded software maintenance within industrial maintenance (RK, MKM, PS, OC, TT, HO, JJ), pp. 440–443.

STOC-2008-GamaN #difference

Finding short lattice vectors within mordell’s inequality (NG, PQN), pp. 207–216.

GT-VMT-2006-GorpSJ08 #repository

Copying Subgraphs Within Model Repositories (PVG, HS, DJ), pp. 133–145.

CHI-2008-BarkhuusBBSHC #social

From awareness to repartee: sharing location within social groups (LB, BB, MB, SS, MH, MC), pp. 497–506.

CHI-2008-FarzanDMDGB #enterprise

Results from deploying a participation incentive mechanism within the enterprise (RF, JMD, DRM, CD, WG, EB), pp. 563–572.

CSCW-2008-EgelmanBI #paradigm #product line

Family accounts: a new paradigm for user accounts within the home environment (SE, AJBB, KMI), pp. 669–678.

CSCW-2008-KimKPA #network #social

Are you sleeping?: sharing portrayed sleeping status within a social network (SK, JAK, SNP, GDA), pp. 619–628.

SOFTVIS-2008-Almeida-MartinezUV #abstract syntax tree #named #syntax #visualisation

VAST: visualization of abstract syntax trees within language processors courses (FJAM, JUF, JÁVI), pp. 209–210.

ICEIS-DISI-2008-AsselK #collaboration #data transformation #integration

Data Management and Integration within Collaborative Working Environments (MA, AK), pp. 258–263.

ICPR-2008-Lopez-Garcia #recognition

SIFT features for object recognition and tracking within the IVSEE system (FLG), pp. 1–4.

SEKE-2008-GoaerOTS #architecture #evolution

Evolution Shelf: Exploiting Evolution Styles within Software Architectures (OLG, MCO, DT, AS), pp. 387–392.

SIGIR-2008-KampsKL #documentation #xml

Locating relevant text within XML documents (JK, MK, ML), pp. 847–848.

SAC-2008-BistarelliS #multi #network #trust

Propagating multitrust within trust networks (SB, FS), pp. 1990–1994.

SAC-2008-LangD #evaluation

Digital audio watermarking evaluation within the application field of perceptual hashing (AL, JD), pp. 1192–1196.

ICST-2008-LarssonBF #challenge

Challenges and Solutions in Test Staff Relocations within a Software Consultancy Company (DL, HB, RF), pp. 423–431.

CASE-2007-GodeHRCS #approach #automation #flexibility #framework #information management #integration

Laboratory Information Management Systems — An Approach as an Integration Platform within Flexible Laboratory Automation for Application in Life Sciences (BG, SHL, KR, MYC, NS), pp. 841–845.

CASE-2007-HallbergNDSDFM #named #smarttech

HomeRuleML — A Model for the Exchange of Decision Support Rules Within Smart Environments (JH, CDN, RJD, KS, MPD, DDF, MDM), pp. 513–520.

DAC-2007-HeloueAN #correlation #estimation #modelling

Modeling and Estimation of Full-Chip Leakage Current Considering Within-Die Correlation (KRH, NA, FNN), pp. 93–98.

HT-2007-BrownFB #learning

Real users, real results: examining the limitations of learning styles within AEH (EJB, TF, TJB), pp. 57–66.

CSEET-2007-MeadHMRS #on the #re-engineering #source code

On the Feasibility of Specialization within Software Engineering Degree Programs (NRM, TBH, JM, MR, DS), pp. 362–366.

ITiCSE-2007-CukiermanT #learning

Learning strategies sessions within the classroom in computing science university courses (DC, DMT), p. 341.

FASE-2007-RangerH #consistency #distributed #graph transformation

Ensuring Consistency Within Distributed Graph Transformation Systems (UR, TH), pp. 368–382.

STOC-2007-HavivR #polynomial #problem

Tensor-based hardness of the shortest vector problem to within almost polynomial factors (IH, OR), pp. 469–477.

STOC-2007-SinghL #approximate #bound

Approximating minimum bounded degree spanning trees to within one of optimal (MS, LCL), pp. 661–670.

CHI-2007-KattinakereGS #interactive #modelling

Modeling steering within above-the-surface interaction layers (RSK, TG, SS), pp. 317–326.

CHI-2007-TabardMRL #named

PageLinker: integrating contextual bookmarks within a browser (AT, WEM, NR, CL), pp. 337–346.

HIMI-IIE-2007-RheeSLLKS #collaboration #community #mobile

Media Sharing and Collaboration Within Mobile Community: Self Expression and Socialization (YR, KPS, JL, JL, DK, YS), pp. 137–146.

HIMI-IIE-2007-SoufiM #case study #evaluation #usability #web

Achieving Usability Within E-Government Web Sites Illustrated by a Case Study Evaluation (BS, MCM), pp. 777–784.

OCSC-2007-SchimkeSZ #community #identification #online #social

The Relationship Between Social Presence and Group Identification Within Online Communities and Its Impact on the Success of Online Communities (DS, HS, AZ), pp. 160–168.

VISSOFT-2007-BohnetD07a #compilation #comprehension #graph

CGA Call Graph Analyzer — Locating and Understanding Functionality within the Gnu Compiler Collection’s Million Lines of Code (JB, JD), pp. 161–162.

ECIR-2007-WeiC #ad hoc #framework #modelling #performance #retrieval

Modeling Term Associations for Ad-Hoc Retrieval Performance Within Language Modeling Framework (XW, WBC), pp. 52–63.

SIGIR-2007-JansenSB #learning #online #paradigm

Viewing online searching within a learning paradigm (BJJ, BKS, DLB), pp. 859–860.

SIGIR-2007-Lee #probability

IDF revisited: a simple new derivation within the Robertson-Spärck Jones probabilistic model (LL), pp. 751–752.

RE-2007-PanisP #process #requirements

Deploying a System-wide Requirements Process within a Commercial Engineering Organization (MCP, BP), pp. 295–300.

SAC-2007-Al-MubaidN #concept #distance #framework #semantics

Semantic distance of concepts within a unified framework in the biomedical domain (HAM, HAN), pp. 142–143.

ICSE-2007-Kajko-Mattsson #maturity

Maturity Status within Front-End Support Organisations (MKM), pp. 652–663.

CSMR-2006-DAnielloMT #case study #experience

Technological Innovation within EDS Italia Software: Experience Report (AD, AM, AT), pp. 362–366.

CSMR-2006-Kajko-Mattsson #evaluation #industrial #problem

Evaluation of CM³: Front-End Problem Management within Industry (MKM), pp. 367–368.

ICSM-2006-JansenR #network

Reducing Customers’ Total Cost of OwnershipWithin a Software Supply Network (SJ, WR), pp. 269–271.

CSCW-2006-WeisethMTL #analysis #collaboration #framework #tool support

The wheel of collaboration tools: a typology for analysis within a holistic framework (PEW, BEM, BT, SL), pp. 239–248.

AdaEurope-2006-Curtis #execution #uml

SPARK Annotations Within Executable UML (DC), pp. 83–93.

SEKE-2006-OussalahTGS #architecture #challenge #component

Updating Styles Challenge Updating Needs within Component-based Software Architectures (MO, DT, OLG, AS), pp. 98–101.

SEKE-2006-TamzalitSO #architecture #component #evolution #problem

Evolution problem within Component-Based Software Architecture (DT, NS, MO), pp. 296–301.

ECMDA-FA-2006-BoronatOGRC #algebra #eclipse #framework #modelling #ocl #query #specification

An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework (AB, JO, AG, IR, JÁC), pp. 316–330.

SAC-2006-Gomez-SanzP #coordination #multi #re-engineering

Defining coordination in multi-agent systems within an agent oriented software engineering methodology (JJGS, JP), pp. 424–428.

SAC-2006-GuesmiR #design #embedded #implementation #realtime

Design and implementation of a real-time notification service within the context of embedded ORB and the CAN bus (TG, HR), pp. 773–777.

SPL-BOOK-2006-Engelsma #diagrams #evolution #incremental #integration #multi #product line #using

Incremental Systems Integration within Multidisciplinary Product Line Engineering Using Configuration Item Evolution Diagrams (EE), pp. 523–555.

SPLC-2006-BragancaM #case study #metamodelling #specification #uml #variability

Extending UML 2.0 Metamodel for Complementary Usages of the «extend» Relationship within Use Case Variability Specification (AB, RJM), pp. 123–130.

CC-2006-LamprechtMS #analysis #data flow #model checking

Data-Flow Analysis as Model Checking Within the jABC (ALL, TMS, BS), pp. 101–104.

OSDI-2006-KremenekTBNE #nondeterminism #specification

From Uncertainty to Belief: Inferring the Specification Within (TK, PT, GB, AYN, DRE), pp. 161–176.

CBSE-2005-FranzW #component

Tailored Responsibility Within Component-Based Systems (EF, UW), pp. 203–218.

WICSA-2005-VasconcelosW #approach #architecture #clustering #independence #set #towards

Towards a Set of Application Independent Clustering Criteria within an Architecture Recovery Approach (APVdV, CW), pp. 235–236.

DATE-2005-CabodiCNQ #bound #model checking #quantifier #set

Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking (GC, MC, SN, SQ), pp. 688–689.

DocEng-2005-Beaudoux #documentation #interactive #xml

XML active transformation (eXAcT): transforming documents within interactive systems (OB), pp. 146–148.

DocEng-2005-ChoumaneBR #editing

Integrating translation services within a structured editor (AC, HB, CR), pp. 165–167.

HT-2005-BocconiNH #generative #sequence #video

Supporting the generation of argument structure within video sequences (SB, FN, LH), pp. 75–84.

WRLA-2004-DuranEL05 #evaluation #maude

New Evaluation Commands for Maude Within Full Maude (FD, SE, SL), pp. 263–284.

FoSSaCS-2005-BozgaI #decidability #on the

On Decidability Within the Arithmetic of Addition and Divisibility (MB, RI), pp. 425–439.

IWPC-2005-GearBCCO #case study #component #industrial #process #reuse

Achieving a Reuse Perspective within a Component Recovery Process: An Industrial Scale Case Study (ALG, JB, BC, JJC, KO), pp. 279–288.

SFM-2005-AcquavivaBL #power management #standard

Dynamic Power Management Strategies Within the IEEE 802.11 Standard (AA, EB, EL), pp. 190–214.

VISSOFT-2005-BalzerD #graph #using

Exploring Relations within Software Systems Using Treemap Enhanced Hierarchical Graphs (MB, OD), pp. 89–94.

EDOC-2005-IzzaVB #enterprise #integration #ontology #scalability #semantics

Ontology Urbanization for Semantic Integration: Dealing with Semantics within Large and Dynamic Enterprises (SI, LV, PB), pp. 83–94.

ICEIS-v1-2005-FaverioSB #enterprise #implementation #process #using

Using Critical Success Factors for Assessing Critical Activities in ERP Implementation within SMEs (PF, DS, GB), pp. 285–292.

ICML-2005-SunTLW #framework

Unifying the error-correcting and output-code AdaBoost within the margin framework (YS, ST, JL, DW), pp. 872–879.

RE-2005-Corniou #challenge #information management #policy

The Role of Information Systems within Corporate Strategy and Management Policies: New Challenges (JPC), p. 4.

SAC-2005-WojnickiL #query

Jelly view: a technology for arbitrarily advanced queries within RDBMS (IW, AL), pp. 629–633.

DAC-2004-SaxenaH #modelling

Modeling repeaters explicitly within analytical placement (PS, BH), pp. 699–704.

DATE-v2-2004-MillbergNTJ #network #using

Guaranteed Bandwidth Using Looped Containers in Temporally Disjoint Networks within the Nostrum Network on Chip (MM, EN, RT, AJ), pp. 890–895.

HT-2004-Burrow #maintenance #taxonomy #wiki

Negotiating access within Wiki: a system to construct and maintain a taxonomy of access rules (ALB), pp. 77–86.

CHI-2004-AdamczykB #execution

If not now, when?: the effects of interruption at different moments within task execution (PDA, BPB), pp. 271–278.

CSCW-2004-SetlockFN

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

ICEIS-v3-2004-FerreiraCC #approach

Securing a Web-Based EPR: An Approach to Secure a Centralized EPR Within a Hospital (AMF, RJCC, AdCP), pp. 54–59.

ICEIS-v3-2004-PalkovitsRW #modelling #process

Process Modelling — Burden or Relief? Living Process Modelling Within a Public Organisation (SP, TR, MW), pp. 94–102.

CIKM-2004-NallapatiFPA #thread #topic

Event threading within news topics (RN, AF, FP, JA), pp. 446–453.

ECIR-2004-BelkhatirMC #automation #concept #image #multi #retrieval

Integrating Perceptual Signal Features within a Multi-facetted Conceptual Model for Automatic Image Retrieval (MB, PM, YC), pp. 267–282.

ICPR-v1-2004-KhanM #network #parallel #pattern matching #pattern recognition #recognition

Parallel Pattern Recognition Computations within a Wireless Sensor Network (AIK, PM), pp. 777–780.

DAC-2003-FerzliN #estimation #grid #power management #process #statistics

Statistical estimation of leakage-induced power grid voltage drop considering within-die process variations (IAF, FNN), pp. 856–859.

DATE-2003-KnochelMHKA #simulation #verification

Verification of the RF Subsystem within Wireless LAN System Level Simulation (UK, TM, JH, RK, RA), pp. 20286–20291.

FASE-2003-AttiogbePS #data type #diagrams #integration

Integration of Formal Datatypes within State Diagrams (CA, PP, GS), pp. 341–355.

CSMR-2003-Kajko-Mattsson #maintenance #problem

Problems within Support (Upfront Maintenance) (MKM), pp. 331–340.

CHI-2003-VenoliaN #comprehension #email #sequence #visualisation

Understanding sequence and reply relationships within email conversations: a mixed-model visualization (GDV, CN), pp. 361–368.

ICEIS-v3-2003-Gittoes #approach #implementation #quality

A Three Perspective Approach to Groupware Implementation Quality Management: Within an Australian University (DG), pp. 307–312.

ECIR-2003-KlampanosBJ #information retrieval #network #peer-to-peer

Evaluating Peer-to-Peer Networking for Information Retrieval within the Context of Meta-searching (IAK, JJB, JMJ), pp. 528–536.

RE-2003-LiuYM #analysis #privacy #requirements #security #social

Security and Privacy Requirements Analysis within a Social Setting (LL, ESKY, JM), pp. 151–161.

SAC-2003-SelfD #design #multi #specification

Designing and Specifying Mobility within the Multiagent Systems Engineering Methodology (ALS, SAD), pp. 50–55.

CSL-2003-KanovichV #problem

Coping Polynomially with Numerous but Identical Elements within Planning Problems (MIK, JV), pp. 285–298.

HT-2002-FurutaN #programmable #semantics #web

Applying programmable browsing semantics within the context of the World-Wide Web (RF, JCN), pp. 23–24.

CSEET-2002-PortB #tutorial

Tutorial 1: Introducing Software Economics within SWE Project Courses (DP, BWB), p. 266.

STOC-2002-Holmerin #approximate

Vertex cover on 4-regular hyper-graphs is hard to approximate within 2-epsilon (JH), pp. 544–552.

STOC-2002-ODonnell

Hardness amplification within NP (RO), pp. 751–760.

CAiSE-2002-LiuCD #memory management #rdf

Exploring RDF for Expertise Matching within an Organizational Memory (PL, JC, PMD), pp. 100–116.

CIKM-2002-MandreoliMT #approach

A syntactic approach for searching similarities within sentences (FM, RM, PT), pp. 635–637.

ICPR-v1-2002-BingPL

Recognizing Faces with Expressions: Within-class Space and Between-class Space (YB, CP, JL), pp. 139–142.

UML-2002-GogollaH #analysis #metamodelling #uml

Analysis of UML Stereotypes within the UML Metamodel (MG, BHS), pp. 84–99.

SAC-2002-BrommeKEK #algorithm #authentication #concept #framework #operating system #testing

A conceptual framework for testing biometric algorithms within operating systems’ authentication (AB, MK, OE, OK), pp. 273–280.

TestCom-2002-CavalliPY #communication #component #detection #fault

Fault Detection within a Component of a System of Communicating FSMs (ARC, SP, NY), p. 317–?.

HT-2001-SchraefelZ #design

Interaciton design for Web-based, within-page collection making and management (MMCS, YZ), p. 125.

VLDB-2001-Adler

DB2 Spatial Extender — Spatial data within the RDBMS (DWA), pp. 687–690.

ICSM-2001-HallRBB #empirical #industrial #maintenance #process

An Empirical Study of Maintenance Issues within Process Improvement Programmes in the Software Industry (TH, AR, NB, SB), pp. 422–430.

ICSM-2001-Kajko-Mattsson #documentation #maintenance

The State of Documentation Practice within Corrective Maintenance (MKM), pp. 354–363.

ICEIS-v1-2001-FatoohiS #corba #java #legacy

Integrating Legacy Applications within a JAVA/CORBA Environment (RF, LS), pp. 157–162.

SEKE-2001-BarrosWT #analysis #process #project management #reuse

Scenario Oriented Project Management Knowledge Reuse within a Risk Analysis Process (MdOB, CMLW, GHT), pp. 37–44.

SIGIR-2001-WanM #interactive

Interactive Phrase Browsing Within Compressed Text (RW, AM), pp. 410–411.

GCSE-2001-Wijnstra #architecture #component #framework #interface #modelling

Components, Interfaces and Information Models within a Platform Architecture (JGW), pp. 25–35.

ICSE-2001-Campbell #analysis #diagrams #uml #visualisation

Visualizaiton an Interpretation of Analysis Results within the Context of Formalized UML Diagrams (LAC), pp. 785–786.

DAC-2000-MehrotraSBCVN #modelling #performance

A methodology for modeling the effects of systematic within-die interconnect and device variation on circuit performance (VM, SLS, DSB, AC, RV, SRN), pp. 172–175.

HT-2000-Larsen #flexibility #hypermedia #what

Providing flexibility within hypertext systems: what we’ve learned at HT workshops, CyberMountain, and elsewhere (DL), pp. 268–269.

WRLA-2000-MasonT #maude #network #protocol #simulation

Simple Network Protocol Simulation within Maude (IAM, CLT), pp. 274–291.

STOC-2000-LiMW #multi #polynomial

Near optimal multiple alignment within a band in polynomial time (ML, BM, LW), pp. 425–434.

ICALP-2000-EngebretsenH #approximate #clique

Clique Is Hard to Approximate within n1-o(1) (LE, JH), pp. 2–12.

ICEIS-2000-FlynnLSC

Decision Support Systems within Telecommunications (PF, TL, TS, KC), pp. 127–131.

SAC-2000-AlhajjP

Maximizing Reuseability: Seeking Appropriate Positions for Derived Classes Within the Class Hierarchy (RA, FP), pp. 351–355.

SAC-2000-CasatiD #workflow

Supporting Workflow Cooperation Within and Across Organizations (FC, AD), pp. 196–202.

CSL-2000-Schulte #state machine

Translating Theory into Practice — Abstract State Machines within Microsoft (WS), p. 71.

ICSM-1999-Kajko-Mattsson99a #concept #maintenance

Common Concept Apparatus Within Corrective Software Maintenance (MKM), pp. 287–296.

ICFP-1999-LaunchburyLC #architecture #design #haskell #on the

On Embedding a Microarchitectural Design Language within Haskell (JL, JRL, BC), pp. 60–69.

EDOC-1999-HallidaySW #coordination #distributed #implementation #process #workflow

Implementing support for work activity coordination within a distributed workflow system (JJH, SKS, SMW), pp. 116–123.

ICEIS-1999-JuricRH #architecture #distributed #legacy

A Method for Integrating Legacy Systems within Distributed Object Architecture (MBJ, IR, MH), pp. 461–468.

CIKM-1999-DolinPBA #automation #classification #evaluation #information retrieval

Practical evaluation of IR within automated classification systems (RD, JP, MB, RA), pp. 322–329.

PADL-1999-RochaSC

Or-Parallelism within Tabling (RR, FMAS, VSC), pp. 137–151.

HPDC-1999-WoodwardA #distributed #grid #programming

Portable Petaflop/s Programming: Applying Distributed Computing Methodology to the Grid within a Single Machine Room (PRW, SEA), pp. 70–83.

FM-1998-KoobUW #formal method #modelling #policy #process #security #topic #using

The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process (FK, MU, SW), pp. 302–310.

TOOLS-ASIA-1998-WernerTR #collaboration #experience #industrial #re-engineering

An O.O. Software Engineering Training Experience within a Collaboration Project between Academia and Industry (CMLW, GHT, ARCdR), p. 290–?.

REFSQ-1998-GoldkuhlA #information management #requirements

Action Within Information Systems: Outline of a Requirements Engineering Method (GG, PJÅ), pp. 133–153.

SAC-1998-HallamY #fuzzy #product line #pseudo #strict

Families of fuzzy implication operators within measure M1 and their pseudo-strict (NH, KMY), pp. 262–266.

ASE-1997-HarrisonB #analysis #data flow #design #information management

Data Flow Analysis within the ITOC Information System Design Recovery Tool (JVH, AB), p. 227–?.

EDTC-1997-EisenbieglerKB #approach #correctness #towards

A constructive approach towards correctness of synthesis-application within retiming (DE, RK, CB), pp. 427–431.

CSEET-1997-BudgenB #education #empirical #encapsulation #re-engineering

Encapsulating Empirical Practices within the Software Engineering Curriculum (DB, PB), pp. 111–119.

HCI-CC-1997-Carsten #industrial

IT Cultures Within Industrial Production: Organizational Dilemmas (CC), pp. 347–350.

HCI-CC-1997-SchaabH #industrial

Application of Ergonomics Principles Within the Semiconductor Industry (JAS, MRH), pp. 707–710.

HCI-CC-1997-StutzO #adaptation #modelling

Adaptive Pilot Modeling Within Cockpit Crew Assistance (PS, RO), pp. 733–736.

HCI-CC-1997-WulfM #development #process

The Emergence of Conventions Within Processes of Integrated Organization and Technology Development (VW, GM), pp. 293–296.

HCI-SEC-1997-KiyokawaTY #3d #design

Manipulation Aid for Two-Handed 3-D Designing Within a Shared Virtual Environment (KK, HT, NY), pp. 937–940.

HCI-SEC-1997-PattersonD #communication #industrial #multi #network #tool support #usability

Evaluating the Usability of Application Tools in Transferring Multimedia Information Across ATM Communication Networks Within the Fashion Industry in Europe (GP, RD), pp. 767–770.

UML-1997-Holz #architecture #uml

Application of UML Within the Scope of New Telecommunication Architectures (EH), pp. 207–219.

TOOLS-PACIFIC-1997-Noble #design

Patterns for Finding Objects within Designs (JN), pp. 113–120.

SAC-1997-NeumannM #database #deduction #distributed #mobile

Mobile computing within a distributed deductive database (KN, MM), pp. 318–322.

ICSE-1997-WangRC #formal method

Formalizing and Integrating the Dynamic Model within OMT (EYW, HAR, BHCC), pp. 45–55.

ITiCSE-1996-MarsdenO #analysis #education #framework #modelling #multi #named #process #tool support

MuPMoTT: a multimedia based tool supporting the teaching of process modelling within a framework of structured system analysis (PM, MO), pp. 116–118.

FME-1996-WaldenS

Refining Action Systems within B-Tool (MAW, KS), pp. 85–104.

ICFP-1996-HardinMP #calculus #functional

Functional Back-Ends within the λσ Calculus (TH, LM, BP), pp. 25–33.

ICPR-1996-LanserZ #constraints #on the #recognition

On the use of topological constraints within object recognition tasks (SL, CZ), pp. 580–584.

OOPSLA-1996-BardouD

Split Objects: a Disciplined Use of Delegation within Objects (DB, CD), pp. 122–137.

ICDAR-v2-1995-El-YacoubiBG #recognition

Conjoined location and recognition of street names within a postal address delivery line (MAEY, JMB, MG), pp. 1024–1027.

STOC-1995-HartI #performance

Fast protein folding in the hydrophobic-hydrophilic model within three-eights of optimal (Extended Abstract) (WEH, SI), pp. 157–168.

DLT-1995-Hartmann #performance

Efficient Subgraph Matching Within Cellular Hypergraphs (PH), pp. 309–318.

CHI-1995-MoranCMK #interactive #paradigm

Implicit Structures for Pen-Based Systems within a Freeform Interaction Paradigm (TPM, PC, WvM, GK), pp. 487–494.

STOC-1994-AlonYZ #graph #named #scalability

Color-coding: a new method for finding simple paths, cycles and other small subgraphs within large graphs (NA, RY, UZ), pp. 326–335.

CSCW-1994-MichelisG

Situating Conversations Within the Language/Action Perspective: The Milan Conversation Model (GDM, MAG), pp. 89–100.

AdaEurope-1994-BjornfotLWA #network

Distribution of Tasks within a Centrally Scheduled Local Area Network (LB, KL, GW, LA), pp. 421–432.

CADE-1994-Baker #automation #deduction

A New Application for Explanation-Based Generalisation within Automated Deduction (SB), pp. 177–191.

ICDAR-1993-HonesL #documentation #string

Text string extraction within mixed-mode documents (FH, JL), pp. 655–659.

SIGMOD-1993-PolyachenkoA #development #distributed #parallel

Instrumental Complex of Parallel Software System Development and Operating Environment Support for Distributed Processing within Multitransputer Systems, TRANSSOFT (BEP, FIA), pp. 548–549.

CSM-1993-Talbert #assurance #quality

Representative Sampling Within Software Quality Assurance (NBT), pp. 174–179.

HCI-ACS-1993-ArthurB #performance

The Relationship Between Secretaries Opinions of Computing and Their Computer Performance Within a United Kingdom Health-Care Setting (JA, PB), pp. 362–367.

HCI-ACS-1993-BaughG #case study #interactive

Human Computer Interaction Within the Criminal Justice System: A Study of the Probation Service (PJB, ACG), pp. 344–349.

HCI-ACS-1993-ParkerJW

Autonomous Group Working Within Integrated Manufacturing: A Longitudinal Investigation of Employee Role Orientations (SKP, PRJ, TDW), pp. 44–49.

HCI-SHI-1993-BarfieldW #concept #framework

The Sense of Presence within Virtual Environments: A Conceptual Framework (WB, SW), pp. 699–704.

INTERCHI-1993-CarlssonF #3d #tool support

Integrated CSCW tools within a shared 3D virtual environment (abstract) (CC, LEF), p. 513.

CIKM-1993-MontesiB #constraints #query #transaction

Queries, Constraints, Updates and Transactions Within a Logic-Based Language (DM, EB), pp. 500–506.

TLCA-1993-JungS

Studying the Fully Abstract Model of PCF within its Continuous Function Model (AJ, AS), pp. 230–244.

SEI-1992-Hooper #education #framework #re-engineering

Planning for Software Engineering Education Within a Computer Science Framework at Marshall University (JWH), pp. 257–269.

SEKE-1992-FlautoM #development #prototype #quality

Quality Control Within an Expert System Prototype Development (PF, SM), pp. 435–442.

TOOLS-USA-1992-CapretzL #lifecycle #object-oriented #reuse

Reusability and Life Cycle Issues Within ans Object-Oriented Methodology (LFC, PAL), pp. 139–150.

VDME-1991-1-MarshallS #framework #object-oriented #using

Using VDM within an Object-Oriented Framework (LSM, LS), pp. 619–628.

KR-1991-RaoG #architecture #modelling

Modeling Rational Agents within a BDI-Architecture (ASR, MPG), pp. 473–484.

ISLP-1991-MozeticH #constraints #logic programming #modelling

Integrating Numerical and Qualitative Models within Constraint Logic Programming (IM, CH), pp. 678–693.

PLILP-1990-BrogiMPT #framework #functional #logic programming

Logic Programming within a Functional Framework (AB, PM, DP, FT), pp. 372–386.

DAC-1989-AudeK #adaptation #design #representation

Representation and Use of Design Rules within a Technology Adaptable CAD System (JSA, HJK), pp. 478–484.

DAC-1989-DaniellD #approach #design #framework #object-oriented

An Object Oriented Approach to CAD Tool Control within a Design Framework (JD, SWD), pp. 197–202.

SEI-1989-Scoy #education #re-engineering

Developing an Undergraduate Software Engineering Curriculum within an Existing Computer Science Program (FLVS), pp. 294–303.

STOC-1989-PittW #approximate #automaton #consistency #polynomial #problem

The Minimum Consistent DFA Problem Cannot Be Approximated within any Polynomial (LP, MKW), pp. 421–432.

ML-1989-RasZ #concept #learning

Imprecise Concept Learning within a Growing Language (ZWR, MZ), pp. 314–319.

VDME-1988-Boddy

The Use of VDM within the Alvey Flagship Project (GB), pp. 153–166.

DAC-1987-Hines

Where VHDL Fits Within the CAD Environment (JH), pp. 491–494.

VDME-1987-HaffO

Use of VDM within CCITT (PH, AO), pp. 324–330.

HCI-CE-1987-NakamuraS #case study #flexibility #scheduling

Human Decision Making in Computer-Based Scheduling within a Flexible Manufacturing System: An Experimental Study (NN, GS), pp. 257–264.

SIGIR-1986-BerrutP #automation #parsing

Solving Grammatical Ambiguities within a Surface Syntactical Parser for Automatic Indexing (CB, PP), pp. 123–130.

ICSE-1982-RudmikCC #consistency #design #embedded

Consistency Checking within Embedded Design Languages (AR, BEC, HC), pp. 236–245.

STOC-1981-ReifS #algorithm #communication #distributed #realtime

Distributed Algorithms for Synchronizing Interprocess Communication within Real Time (JHR, PGS), pp. 133–145.

VLDB-1977-KlugT #framework #multi

Multiple View Support within the ANSI/SPARC Framework (ACK, DT), pp. 477–488.

DAC-1975-BlainLR #industrial

The system bal: a technique for spreading the use of CAD techniques within an industrial environment (GB, AL, JCR), pp. 77–84.

DAC-1975-JongZ #automation #design

Application design within the system for business automation (SBA) (SPdJ, MMZ), pp. 69–76.

DAC-1971-HashimotoS #optimisation #scalability

Wire routing by optimizing channel assignment within large apertures (AH, JGS), pp. 155–169.

SHARE-1964-LoydFL

Additional papers not available within the printed proceedings (DL, CWF, ELL).