Stem insid$ (all stems)

53 papers:

DHM-HM-2015-KlugeKZ #energy #risk management

Inside the User’s Mind — Perception of Risks and Benefits of Unknown Technologies, Exemplified by Geothermal Energy (JK, SK, MZ), pp. 324–334.

ICEIS-v2-2015-AlahmadiLN #detection #internet #process #profiling #using

Using Internet Activity Profiling for Insider-threat Detection (BAA, PAL, JRCN), pp. 709–720.

ICEIS-v3-2015-PonsardM #architecture #case study #enterprise #lessons learnt

Driving the Adoption of Enterprise Architecture Inside Small Companies — Lessons Learnt from a Long Term Case Study (CP, AM), pp. 334–339.

KDD-2015-ShahafHM #identification

Inside Jokes: Identifying Humorous Cartoon Captions (DS, EH, RM), pp. 1065–1074.

HCI-AIMT-2014-MullerT #framework #simulation #workflow

An Emotional Framework for a Real-Life Worker Simulation — Emotional Valence Scoring Inside a Workflow Enhancement Simulator (NHM, MT), pp. 675–686.

KDD-2014-NiTFZ #network #ranking

Inside the atoms: ranking on a network of networks (JN, HT, WF, XZ), pp. 1356–1365.

FSE-2014-LerchHBM #analysis #named #performance #scalability

FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases (JL, BH, EB, MM), pp. 98–108.

ASPLOS-2014-Calder #challenge #operating system

Inside windows azure: the challenges and opportunities of a cloud operating system (BC), pp. 1–2.

DATE-2013-YueZ #memory management #performance

Exploiting subarrays inside a bank to improve phase change memory performance (JY, YZ), pp. 386–391.

SIGMOD-2013-EwenSTWM #parallel

Iterative parallel data processing with stratosphere: an inside look (SE, SS, KT, DW, VM), pp. 1053–1056.

SIGMOD-2013-ZhangKM #array #named

SciQL: array data processing inside an RDBMS (YZ, MLK, SM), pp. 1049–1052.

DLT-J-2012-Schmid13 #regular expression

Inside the Class of regex Languages (MLS), pp. 1117–1134.

CHI-2013-MullerGSDC #collaboration #enterprise

Crowdfunding inside the enterprise: employee-initiatives for innovation and collaboration (MJM, WG, TS, SD, LTC), pp. 503–512.

KDD-2013-SenatorGMYRPHRBCEJBCGKZBMMWDFWDEILKFCFGJ #database #detection #process

Detecting insider threats in a real corporate database of computer usage activity (TES, HGG, AM, WTY, BR, RP, DH, MR, DAB, EC, IAE, JJ, VB, DHC, OG, OK, AZ, EB, RLMI, RM, LW, TGD, AF, WKW, SD, AE, JI, JYL, DK, CF, DDC, LF, AG, DJ), pp. 1393–1401.

CBSE-2012-AnneAVP #composition #named

Jasmin: an alternative for secure modularity inside the digital home (MA, KA, DHdV, JP), pp. 145–150.

DLT-2012-Schmid #regular expression

Inside the Class of REGEX Languages (MLS), pp. 73–84.

KR-2012-CohnRS #analysis #representation #video

Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis (AGC, JR, MS).

SIGIR-2012-TureLO #information retrieval

Looking inside the box: context-sensitive translation for cross-language information retrieval (FT, JJL, DWO), pp. 1105–1106.

ICDAR-2011-SongUL

Look Inside the World of Parts of Handwritten Characters (WS, SU, ML), pp. 784–788.

DLT-J-2010-Giammarresi11 #subclass

Exploring inside Tiling Recognizable Picture Languages to Find Deterministic subclasses (DG), pp. 1519–1532.

OCSC-2011-DamianosCD #case study #enterprise #named #network

Handshake: A Case Study for Exploring Business Networking for the Enterprise, Inside and Out (LED, DLC, SD), pp. 162–171.

RecSys-2011-KimE #personalisation #rank #recommendation

Personalized PageRank vectors for tag recommendations: inside FolkRank (HNK, AES), pp. 45–52.

CASE-2010-JasperF #automation #performance

Automated high-speed nanopositioning inside scanning electron microscopes (DJ, SF), pp. 704–709.

CASE-2010-RuZSZSHC #automation #metric

Automated four-point probe measurement of nanowires inside a scanning electron microscope (CR, YZ, YS, YZ, XS, DH, IC), pp. 533–538.

SIGMOD-2010-LevandoskiMKK #evaluation

A demonstration of FlexPref: extensible preference evaluation inside the DBMS engine (JJL, MFM, MEK, VRK), pp. 1247–1250.

DLT-2010-Giammarresi #2d

A Brief Excursion Inside the Class of Tiling Recognizable Two-Dimensional Languages (DG), pp. 4–15.

ICFP-2010-StampoulisS #logic #named

VeriML: typed computation of logical terms inside a language with effects (AS, ZS), pp. 333–344.

CIKM-2010-SongC #database #performance

Efficient set-correlation operator inside databases (SS, LC), pp. 139–148.

VLDB-2009-DieuDFLS

1, 000 Tables Inside the From (ND, AD, FF, FL, ES), pp. 1450–1461.

WICSA-2007-Florentz #analysis #architecture #evaluation #optimisation #representation

Inside Architecture Evaluation: Analysis and Representation of Optimization Potential (BF), p. 3.

CASE-2007-JasperDF #automation #feedback #flexibility #named

CameraMan — Robot Cell with Flexible Vision Feedback for Automated Nanohandling inside SEMs (DJ, CD, SF), pp. 51–56.

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

WCRE-2006-MerloLA #analysis #injection #php #sql

Insider and Ousider Threat-Sensitive SQL Injection Vulnerability Analysis in PHP (EM, DL, GA), pp. 147–156.

CAV-2006-JainIGSW #abstraction #invariant #refinement #using

Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop (HJ, FI, AG, IS, CW), pp. 137–151.

LICS-2006-PanV #parametricity

Fixed-Parameter Hierarchies inside PSPACE (GP, MYV), pp. 27–36.

SIGMOD-2005-Rys #database #relational #sql #xml

XML and relational database management systems: inside Microsoft SQL Server 2005 (MR), pp. 958–962.

SIGMOD-2005-RysCF #database #relational #xml

XML and relational database management systems: the inside story (MR, DDC, DF), pp. 945–947.

CIAA-2005-ClaveiroleLOPS

Inside Vaucanson (TC, SL, SO, LNP, JS), pp. 116–128.

ICSE-2005-Gamma #agile #development #distributed #eclipse #open source #process

Agile, open source, distributed, and on-time: inside the eclipse development process (EG), p. 4.

LICS-2005-Benedikt #logic

An Insider’s Guide to Logic in Telecommunications Data (MB), pp. 104–105.

VLDB-2004-LiM

Computing Frequent Itemsets Inside Oracle 10G (WL, AM), pp. 1253–1256.

ICSM-2004-XieN #black box #difference #testing

Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences (TX, DN), pp. 28–37.

IFM-2004-BallCLR #formal method #verification

SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft (TB, BC, VL, SKR), pp. 1–20.

KDD-2004-Donoho #detection

Early detection of insider trading in option markets (SD), pp. 420–429.

ICEIS-2002-PrikladnickiPAMP #development #distributed #process #requirements #specification

Requirements Specification Model in a Software Development Process inside a Physically Distributed Environment (RP, FP, JLNA, MdCM, AP), pp. 830–834.

LICS-2001-ArnoldLM #infinity #monad

The Hierarchy inside Closed Monadic Σ₁ Collapses on the Infinite Binary Tree (AA, GL, JM), pp. 157–166.

VLDB-2000-Blecken #database #workflow

Media360 Workflow-Implementing a Workflow Engine Inside a Database (CB), p. 692.

ICALP-2000-FournierK #bound

Lower Bounds Are Not Easier over the Reals: Inside PH (HF, PK), pp. 832–843.

AdaEurope-1998-PautetT #distributed

Inside the Distributed Systems Annex (LP, ST), pp. 65–77.

ECHT-1990-Bechtel #hypermedia

Inside Macintosh as Hypertext (BLB), pp. 312–323.

ICSE-1982-ZolnowskiT #bibliography #development

An Insider’s Survey on Software Development (JCZ, PDT), pp. 178–187.

ICALP-1979-CoppoDS #functional #semantics #λ-calculus

Functional Characterization of Some Semantic Equalities inside λ-Calculus (MC, MDC, PS), pp. 133–146.

ICALP-1977-BohmCD #termination #testing #λ-calculus

Termination Tests inside λ-Calculus (CB, MC, MDC), pp. 95–110.