Stem scope$ (all stems)

130 papers:

VLDB-2015-BoutinBCEGKYZZ #interactive #named #reliability

JetScope: Reliable and Interactive Analytics at Cloud Scale (EB, PB, XC, JE, TG, AK, ZY, NZ, JZ), pp. 1680–1691.

VLDB-2015-YingKSS #named

TreeScope: Finding Structural Anomalies In Semi-Structured Data (SY, FK, BS, DS), pp. 1904–1915.

CHI-2015-HellerB #artificial reality #mobile #named #smarttech

AudioScope: Smartphones as Directional Microphones in Mobile Audio Augmented Reality Systems (FH, JOB), pp. 949–952.

HIMI-IKD-2015-KaoW #concept #interface #web

Narrower Conceptual Scope in the App Than the Web Store Interface — The Size Does It and the Ad Has It (CLK, MYW), pp. 204–214.

ICEIS-v2-2015-IanzenFPMR #automation #product line

Scoping Automation in Software Product Lines (AI, RMF, MAP, AM, SSR), pp. 82–91.

ICEIS-v3-2015-KypriotakiZG #distributed #network #peer-to-peer

From Bitcoin to Decentralized Autonomous Corporations — Extending the Application Scope of Decentralized Peer-to-Peer Networks and Blockchains (KNK, EDZ, GMG), pp. 284–290.

OOPSLA-2015-WickersonBBD

Remote-scope promotion: clarified, rectified, and verified (JW, MB, BMB, AFD), pp. 731–747.

ASPLOS-2015-OrrCYBHW #using

Synchronization Using Remote-Scope Promotion (MSO, SC, AY, BMB, MDH, DAW), pp. 73–86.

CSL-2015-GabbayGP

Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes (MJG, DRG, DP), pp. 374–389.

ECSA-2014-AbukwaikTR #architecture #information management #problem

Interoperability-Related Architectural Problems and Solutions in Information Systems: A Scoping Study (HA, DT, HDR), pp. 308–323.

DLT-2014-TorreNP #automaton #bound

Scope-Bounded Pushdown Languages (SLT, MN, GP), pp. 116–128.

HCI-AIMT-2014-KuribaraMOST #named #using

HandyScope: A Remote Control Technique Using Circular Widget on Tabletops (TK, YM, KO, BS, JT), pp. 69–80.

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.

ICEIS-v2-2014-KhashabGAK #comprehension #towards

Scoping Customer Relationship Management Strategy in HEI — Understanding Steps towards Alignment of Customer and Management Needs (BK, SRG, AA, MK), pp. 267–274.

ICEIS-v2-2014-ProcaciSA #analysis #community #metric #online #people #reduction #reliability

Finding Reliable People in Online Communities of Questions and Answers — Analysis of Metrics and Scope Reduction (TBP, SWMS, LCVdA), pp. 526–535.

SLE-2014-JukssVVV #model transformation

Dynamic Scope Discovery for Model Transformations (MJ, CV, DV, HV), pp. 302–321.

ICST-2014-EngstromMRB #testing #visual notation

Supporting Regression Test Scoping with Visual Analytics (EE, MM, PR, MB), pp. 283–292.

VLDB-2014-BudakGAA13 #detection #named #network #online #roadmap #social

GeoScope: Online Detection of Geo-Correlated Information Trends in Social Networks (CB, TG, DA, AEA), pp. 229–240.

FoSSaCS-2013-KrebbersW #control flow #logic

Separation Logic for Non-local Control Flow and Block Scope Variables (RK, FW), pp. 257–272.

PLEASE-2013-KleinM #framework

System-of-systems platform scoping (JK, JDM), pp. 1–4.

TLCA-2013-Clairambault #bound #linear #reduction

Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction (PC), pp. 109–124.

SIGMOD-2012-BrunoAKSWZ #optimisation

Recurring job optimization in scope (NB, SA, SK, BS, MCW, JZ), pp. 805–806.

ESOP-2012-Rhiger #staged

Staged Computation with Staged Lexical Scope (MR), pp. 559–578.

CHI-2012-HoarauC #interactive #visual notation

Augmenting the scope of interactions with implicit and explicit graphical structures (RH, SC), pp. 1937–1946.

KR-2012-OetschPPST #on the #source code #testing

On the Small-Scope Hypothesis for Testing Answer-Set Programs (JO, MP, JP, MS, HT).

ICSE-2012-BudgenDBH #education #question #what

What scope is there for adopting evidence-informed teaching in SE? (DB, SD, PB, NH), pp. 1205–1214.

SLE-2012-KonatKWV #declarative

Declarative Name Binding and Scope Rules (GDPK, LCLK, GW, EV), pp. 311–331.

PLEASE-2012-HuYWRW #case study #industrial

Value-based portfolio scoping: an industrial case study (JH, YY, QW, GR, HW), pp. 45–48.

SPLC-2012-BartholdtB #product line

Scope extension of an existing product line (JB, DB), pp. 275–282.

SPLC-2012-GillainFHJS #optimisation

Product portfolio scope optimization based on features and goals (JG, SF, PH, IJ, MS), pp. 161–170.

OSDI-2012-GuoFCZZMLLZZ #optimisation #pipes and filters

Spotting Code Optimizations in Data-Parallel Pipelines through PeriSCOPE (ZG, XF, RC, JZ, HZ, SM, CL, WL, JZ, LZ), pp. 121–133.

IJCAR-2012-Matiyasevich #automation #reasoning

Enlarging the Scope of Applicability of Successful Techniques for Automated Reasoning in Mathematics (YM), p. 9.

ASE-2011-IvancicBGSMTIM #bound #framework #named #scalability #verification

DC2: A framework for scalable, scope-bounded software verification (FI, GB, AG, SS, NM, HT, TI, YM), pp. 133–142.

KDIR-2011-BallesterosFDHG #analysis #dependence #using

Inferring the Scope of Speculation using Dependency Analysis (MB, VF, AD, JH, PG), pp. 256–261.

RecSys-2011-DalyG #effectiveness #recommendation #social #using

Effective event discovery: using location and social information for scoping event recommendations (EMD, WG), pp. 277–280.

SEKE-2011-BalbinoAM #agile #process #product line

An Agile Scoping Process for Software Product Lines (MB, ESdA, SRdLM), pp. 717–722.

ECOOP-2011-WarthOKK #named

Worlds: Controlling the Scope of Side Effects (AW, YO, TK, ACK), pp. 179–203.

CSL-2011-LoschP #semantics

Relating Two Semantics of Locally Scoped Names (SL, AMP), pp. 396–411.

DATE-2010-SheaSC #identifier #performance

Scoped identifiers for efficient bit aligned logging (RS, MBS, YC), pp. 1450–1455.

FoSSaCS-2010-MurawskiT

Block Structure vs. Scope Extrusion: Between Innocence and Omniscience (ASM, NT), pp. 33–47.

ICSM-2010-PerinGN #analysis #enterprise #java #transaction

Recovery and analysis of transaction scope from scattered information in Java Enterprise Applications (FP, TG, ON), pp. 1–10.

RE-2010-WnukCR #reduction #requirements #towards #using

Guiding Requirements Scoping Using ROI: Towards Agility, Openness and Waste Reduction (KW, DC, BR), pp. 409–410.

REFSQ-2010-VillelaDJ #evaluation #evolution #product line

Evaluation of a Method for Proactively Managing the Evolving Scope of a Software Product Line (KV, JD, IJ), pp. 113–127.

REFSQ-2010-WelshS #adaptation #comprehension #nondeterminism

Understanding the Scope of Uncertainty in Dynamically Adaptive Systems (KW, PS), pp. 2–16.

SAC-2010-PirkolaT #approach #crawling #problem #using

Addressing the limited scope problem of focused crawling using a result merging approach (AP, TT), pp. 1735–1740.

SPLC-2010-JohnV #product line

Evolutionary Product Line Scoping (IJ, KV), pp. 515–516.

HPDC-2010-HuangSILLWJ #named #pipes and filters #realtime

MR-scope: a real-time tracing tool for MapReduce (DH, XS, SI, LL, HL, SW, HJ), pp. 849–855.

LICS-2010-BodirskyHM #algebra #approach #constraints #on the

On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction (MB, MH, BM), pp. 90–99.

SAS-2009-CalmanZ #interprocedural

Increasing the Scope and Resolution of Interprocedural Static Single Assignment (SC, JZ), pp. 154–170.

FM-2009-ShaoKP #approach #bound #formal method #incremental #lightweight #using

An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method (DS, SK, DEP), pp. 757–772.

CHI-2009-LawRHVK #approach #bibliography #comprehension #experience #user interface

Understanding, scoping and defining user experience: a survey approach (ELCL, VR, MH, APOSV, JK), pp. 719–728.

CHI-2009-WuT #named #visualisation

PhotoScope: visualizing spatiotemporal coverage of photos for construction management (FW, MT), pp. 1103–1112.

HCI-NT-2009-DubeBV #agile #development #user interface

Rapid Development of Scoped User Interfaces (DD, JB, HV), pp. 816–825.

SIGAda-2009-Gardinier #ada #development #open source #safety

Open source development of a safety critical dual redundant (Ada95/C++) signal control program environment (SCOPE) (MG), pp. 23–30.

RE-2009-WnukRK #comprehension #industrial #scalability #visualisation #what

What Happened to Our Features? Visualization and Understanding of Scope Change Dynamics in a Large-Scale Industrial Setting (KW, BR, LK), pp. 89–98.

SPLC-2009-JohnE #bibliography

A decade of scoping: a survey (IJ, ME), pp. 31–40.

CGO-2009-MoseleyGP #compilation #named #optimisation #performance

OptiScope: Performance Accountability for Optimizing Compilers (TM, DG, RP), pp. 254–264.

ECSA-2008-GilsonEM #approach #architecture #design #distributed #scalability

A Large Scope Transformational Approach for Distributed Architecture Design (FG, VE, RM), pp. 330–333.

SIGMOD-2008-BexNV #named #xml

SchemaScope: a system for inferring and cleaning XML schemas (GJB, FN, SV), pp. 1259–1262.

VLDB-2008-ChaikenJLRSWZ #named #parallel #performance #set

SCOPE: easy and efficient parallel processing of massive data sets (RC, BJ, PÅL, BR, DS, SW, JZ), pp. 1265–1276.

VLDB-2008-CheungM #framework #monitoring #performance #profiling

Performance profiling with EndoScope, an acquisitional software monitoring framework (AC, SM), pp. 42–53.

VLDB-2008-HuRCLZ #database #named #query #visualisation

QueryScope: visualizing queries for repeatable database tuning (LH, KAR, YCC, CAL, DZ), pp. 1488–1491.

CIKM-2008-LeeSZL #mobile #query

Valid scope computation for location-dependent spatial query in mobile broadcast environments (KCKL, JS, BZ, WCL), pp. 1231–1240.

SLE-2008-Nilsson-NymanEH #semiparsing #using

Practical Scope Recovery Using Bridge Parsing (ENN, TE, GH), pp. 95–113.

SPLC-2008-Dalgarno08a #product line

Product Line Scoping in Practice (AMD), p. 363.

ISSTA-2008-LoginovYCFRN #analysis #safety #verification

Verifying dereference safety via expanding-scope analysis (AL, EY, SC, SF, NR, MGN), pp. 213–224.

VLDB-2007-BansalK #analysis #named #online

BlogScope: A System for Online Analysis of High Volume Text Streams (NB, NK), pp. 1410–1413.

VLDB-2007-WuLXHLR #database #named

DataScope: Viewing Database Contents in Google Maps’ Way (TW, XL, DX, JH, JL, RR), pp. 1314–1317.

CHI-2007-GuimbretiereDH #analysis #interactive #named

ExperiScope: an analysis tool for interaction data (FG, MD, KH), pp. 1333–1342.

KDD-2007-SunFPY #graph #mining #named #scalability

GraphScope: parameter-free mining of large time-evolving graphs (JS, CF, SP, PSY), pp. 687–696.

TOOLS-EUROPE-2007-HorieC #aspectj #named #source code

AspectScope: An Outline Viewer for AspectJ Programs (MH, SC), pp. 341–361.

SOSP-2007-KicimanL #behaviour #framework #monitoring #named #web

AjaxScope: a platform for remotely monitoring the client-side behavior of web 2.0 applications (EK, VBL), pp. 17–30.

QoSA-2006-Bosch #problem #product line

Expanding the Scope of Software Product Families: Problems and Alternative Approaches (JB), p. 1.

CSMR-2006-EichbergGMMS #framework #named

QScope: an Open, Extensible Framework for Measuring Software Projects (ME, DG, MM, LM, TS), pp. 113–122.

EDOC-2006-LiG #policy

Composing Administrative Scope of Delegation Policies based on extended XACML (XFL, DF), pp. 467–470.

ECOOP-2006-AndreaeCGNVZ #aspect-oriented #java #realtime

Scoped Types and Aspects for Real-Time Java (CA, YC, CG, JN, JV, TZ), pp. 124–147.

OOPSLA-2006-WarthSM #adaptation

Statically scoped object adaptation with expanders (AW, MS, TDM), pp. 37–56.

SPLC-2006-Dalgarno #game studies

The Scoping Game (MD), p. 224.

SPLC-2006-JohnKLM #product line

A Practical Guide to Product Line Scoping (IJ, JK, TL, DM), pp. 3–12.

ASE-2005-HaydarBPS #model checking #web

Properties and scopes in web model checking (MH, SB, AP, HAS), pp. 400–404.

ICFP-2005-Shivers

The anatomy of a loop: a story of scope and control (OS), pp. 2–14.

IFL-2005-GrelckSS #analysis #array #source code

A Binding Scope Analysis for Generic Programs on Arrays (CG, SBS, AVS), pp. 212–230.

ICEIS-v3-2005-ZhaoVB #collaboration #distributed #interactive #trust

Type and Scope of Trust Relationships in Collaborative Interactions in Distributed Environments (WZ, VV, GB), pp. 331–336.

ECIR-2005-MartinsCS #web

Assigning Geographical Scopes To Web Pages (BM, MSC, MJS), pp. 564–567.

MoDELS-2005-EstublierVI #domain-specific language #re-engineering

Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications (JE, GV, ADI), pp. 69–83.

MoDELS-2005-EstublierVI #domain-specific language #re-engineering

Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications (JE, GV, ADI), pp. 69–83.

OOPSLA-2005-BergelDN #java #named

Classbox/J: controlling the scope of change in Java (AB, SD, ON), pp. 177–189.

FoSSaCS-2004-GiambiagiSV #behaviour #calculus #infinity #on the #process

On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi (PG, GS, FDV), pp. 226–240.

ICEIS-v4-2004-LefebvreELO #e-commerce

The Scope and Intensity of Derived Benefits from E-Commerce Penetration in SMEs (LAL, EE, ÉL, OO), pp. 55–61.

RE-2004-LinNIJ #bound #problem #security #using

Using Abuse Frames to Bound the Scope of Security Problems (LL, BN, DCI, MJ), pp. 354–355.

VISSOFT-2003-DavisPK #3d #named #object-oriented #source code #visualisation

KScope: A Modularized Tool for 3D Visualization of Object-Oriented Programs (TAD, KP, AK), pp. 98–103.

SAC-2003-ZhengLL

Selecting the Best Valid Scopes for Wireless Dissemination of Location-dependent Data (BZ, WCL, DLL), pp. 860–865.

ECOOP-2002-FiegeMMB

Engineering Event-Based Systems with Scopes (LF, MM, GM, APB), pp. 309–333.

ICSE-2002-Schmid #approach #product line #validation

A comprehensive product line scoping approach and its validation (KS), pp. 593–603.

SPLC-2002-KishiNK #framework #product line

A Method for Product Line Scoping Based on a Decision-Making Framework (TK, NN, TK), pp. 348–365.

SPLC-2002-OmmeringB #composition #product line

Widening the Scope of Software Product Lines — From Variation to Composition (RCvO, JB), pp. 328–347.

HPDC-2002-ThainL #fault #grid #theory and practice

Error Scope on a Computational Grid: Theory and Practice (DT, ML), pp. 199–208.

ISMM-2002-DetersC #automation #java #memory management #realtime

Automated discovery of scoped memory regions for real-time Java (MD, RC), pp. 132–142.

ITiCSE-2001-Kumar #c++ #interactive #learning #pointer

Learning the interaction between pointers and scope in C++ (ANK), pp. 45–48.

ICFP-2001-NeubauerS #analysis #emacs #lisp

Down with Emacs Lisp: Dynamic Scope Analysis (MN, MS), pp. 38–49.

ICEIS-v1-2001-SilvaVR

User Model Issues in Wide Scope I.T.S (AS, ZAV, CR), pp. 526–529.

VLDB-2000-DingGS #web

Computing Geographical Scopes of Web Resources (JD, LG, NS), pp. 545–556.

ITiCSE-2000-Kumar #generative #problem

Dynamically generating problems on static scope (AK), pp. 9–12.

IWPC-2000-CorritoreW #empirical #object-oriented #process

Direction and Scope of Comprehension-Related Activities by Procedural and Object-Oriented Programmers: An Empirical Study (CLC, SW), pp. 139–148.

POPL-2000-LewisLMS #parametricity #static typing

Implicit Parameters: Dynamic Scoping with Static Types (JRL, JL, EM, MS), pp. 108–118.

SAC-2000-MerrickW #coordination

Coordination with Scopes (IM, AW), pp. 210–217.

SPLC-2000-Schmid #product line

Scoping software product lines (KS), p. 513–?.

GCSE-1999-SmaragdakisB #generative

Scoping Constructs for Software Generators (YS, DSB), pp. 65–78.

POPL-1999-WaddellD #abstraction

Extending the Scope of Syntactic Abstraction (OW, RKD), pp. 203–215.

ICSE-1999-DeBaudS #approach #product line

A Systematic Approach to Derive the Scope of Software Product Lines (JMD, KS), pp. 34–43.

WRLA-1998-BasinM

Scoped metatheorems (DAB, SM), pp. 353–366.

CSMR-1997-Meltz #assessment

Assessment of the options for Hardware-/Software-Reengineering of two KSG/GfS Full-Scope-Simulators (PM), pp. 140–143.

UML-1997-Holz #architecture #uml

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

CSCW-1996-BapatGHST #distributed #video

From Electronic Whiteboards to Distributed Meetings: Extending the Scope of DOLPHIN (Video Program) (AB, JG, DLH, NAS, DAT), p. 10.

POPL-1995-Cardelli #distributed

A Language with Distributed Scope (LC), pp. 286–297.

FPCA-1993-Riecke

Delimiting the Scope of Effects (JGR), pp. 146–158.

POPL-1993-LeeF #multi

Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes (SDL, DPF), pp. 479–492.

PPoPP-1993-HallHKMMOPR #case study #editing #experience #interactive #parallel #programming #using

Experiences Using the ParaScope Editor: an Interactive Parallel Programming Tool (MWH, TJH, KK, NM, KSM, JDO, MHP, GR), pp. 33–43.

ILPS-1993-Hui-Bon-Hoa #constraints

An Intuitionistic Resolution Method for a Language Dealing with Scope Constraints (AHBH), p. 667.

TOOLS-PACIFIC-1992-McNamara #development #object-oriented

Objects in Context: the Use of Scope in Object-Oriented Development (ARM), pp. 205–211.

CC-1992-Assmann #problem

Another Solution of Scoping Problems in Symbol Tables (WA), pp. 66–71.

ICLP-1991-JayaramanN #implementation #logic programming

Implementation Techniques for Scoping Constructs in Logic Programming (BJ, GN), pp. 871–886.

CLP-1990-HodasM90 #logic programming #representation

Representing Objects in a Logic Programming Langueage with Scoping Constructs (JSH, DM), pp. 511–526.

CLP-1990-PareschiM90 #definite clause grammar

Extending Definite Clause Grammars with Scoping Constructs (RP, DM), pp. 373–389.

ECOOP-1987-Dewhurst #representation

Object Representation of Scope During Translation (SCD), pp. 71–78.

SCC-1982-BrooksGS #compilation #lisp #optimisation

An Optimizing Compiler for Lexically Scoped LISP (RAB, RPG, GLSJ), pp. 261–275.

LISP-1980-McDermott #interpreter #lisp #performance

An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped LISP (DVM), pp. 154–162.

SCC-1979-GrahamJR

Hashed symbol tables for languages with explicit scope control (SLG, WNJ, OR), pp. 50–57.

POPL-1978-AshcroftW #named

Clauses: Scope Structures and Defined Functions in Lucid (EAA, WWW), pp. 17–22.

VLDB-J-1975-Hsiao76 #database #transaction

ACM Transactions on Database Systems — Aim and Scope (DKH), pp. 1–2.