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:
languag (6)
databas (5)
comput (5)
analysi (4)
process (4)

Stem insid$ (all stems)

53 papers:

HCIDHM-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.
ICEISICEIS-v2-2015-AlahmadiLN #detection #internet #process #profiling #using
Using Internet Activity Profiling for Insider-threat Detection (BAA, PAL, JRCN), pp. 709–720.
ICEISICEIS-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.
KDDKDD-2015-ShahafHM #identification
Inside Jokes: Identifying Humorous Cartoon Captions (DS, EH, RM), pp. 1065–1074.
HCIHCI-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.
KDDKDD-2014-NiTFZ #network #ranking
Inside the atoms: ranking on a network of networks (JN, HT, WF, XZ), pp. 1356–1365.
FSEFSE-2014-LerchHBM #analysis #named #performance #scalability
FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases (JL, BH, EB, MM), pp. 98–108.
ASPLOSASPLOS-2014-Calder #challenge #operating system
Inside windows azure: the challenges and opportunities of a cloud operating system (BC), pp. 1–2.
DATEDATE-2013-YueZ #memory management #performance
Exploiting subarrays inside a bank to improve phase change memory performance (JY, YZ), pp. 386–391.
SIGMODSIGMOD-2013-EwenSTWM #parallel
Iterative parallel data processing with stratosphere: an inside look (SE, SS, KT, DW, VM), pp. 1053–1056.
SIGMODSIGMOD-2013-ZhangKM #array #named
SciQL: array data processing inside an RDBMS (YZ, MLK, SM), pp. 1049–1052.
DLTDLT-J-2012-Schmid13 #regular expression
Inside the Class of regex Languages (MLS), pp. 1117–1134.
CHICHI-2013-MullerGSDC #collaboration #enterprise
Crowdfunding inside the enterprise: employee-initiatives for innovation and collaboration (MJM, WG, TS, SD, LTC), pp. 503–512.
KDDKDD-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.
CBSECBSE-2012-AnneAVP #composition #named
Jasmin: an alternative for secure modularity inside the digital home (MA, KA, DHdV, JP), pp. 145–150.
DLTDLT-2012-Schmid #regular expression
Inside the Class of REGEX Languages (MLS), pp. 73–84.
KRKR-2012-CohnRS #analysis #representation #video
Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis (AGC, JR, MS).
SIGIRSIGIR-2012-TureLO #information retrieval
Looking inside the box: context-sensitive translation for cross-language information retrieval (FT, JJL, DWO), pp. 1105–1106.
ICDARICDAR-2011-SongUL
Look Inside the World of Parts of Handwritten Characters (WS, SU, ML), pp. 784–788.
DLTDLT-J-2010-Giammarresi11 #subclass
Exploring inside Tiling Recognizable Picture Languages to Find Deterministic subclasses (DG), pp. 1519–1532.
HCIOCSC-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.
RecSysRecSys-2011-KimE #personalisation #rank #recommendation
Personalized PageRank vectors for tag recommendations: inside FolkRank (HNK, AES), pp. 45–52.
CASECASE-2010-JasperF #automation #performance
Automated high-speed nanopositioning inside scanning electron microscopes (DJ, SF), pp. 704–709.
CASECASE-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.
SIGMODSIGMOD-2010-LevandoskiMKK #evaluation
A demonstration of FlexPref: extensible preference evaluation inside the DBMS engine (JJL, MFM, MEK, VRK), pp. 1247–1250.
DLTDLT-2010-Giammarresi #2d
A Brief Excursion Inside the Class of Tiling Recognizable Two-Dimensional Languages (DG), pp. 4–15.
ICFPICFP-2010-StampoulisS #logic #named
VeriML: typed computation of logical terms inside a language with effects (AS, ZS), pp. 333–344.
CIKMCIKM-2010-SongC #database #performance
Efficient set-correlation operator inside databases (SS, LC), pp. 139–148.
VLDBVLDB-2009-DieuDFLS
1, 000 Tables Inside the From (ND, AD, FF, FL, ES), pp. 1450–1461.
WICSAWICSA-2007-Florentz #analysis #architecture #evaluation #optimisation #representation
Inside Architecture Evaluation: Analysis and Representation of Optimization Potential (BF), p. 3.
CASECASE-2007-JasperDF #automation #feedback #flexibility #named
CameraMan — Robot Cell with Flexible Vision Feedback for Automated Nanohandling inside SEMs (DJ, CD, SF), pp. 51–56.
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.
WCREWCRE-2006-MerloLA #analysis #injection #php #sql
Insider and Ousider Threat-Sensitive SQL Injection Vulnerability Analysis in PHP (EM, DL, GA), pp. 147–156.
CAVCAV-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.
LICSLICS-2006-PanV #parametricity
Fixed-Parameter Hierarchies inside PSPACE (GP, MYV), pp. 27–36.
SIGMODSIGMOD-2005-Rys #database #relational #sql #xml
XML and relational database management systems: inside Microsoft SQL Server 2005 (MR), pp. 958–962.
SIGMODSIGMOD-2005-RysCF #database #relational #xml
XML and relational database management systems: the inside story (MR, DDC, DF), pp. 945–947.
CIAACIAA-2005-ClaveiroleLOPS
Inside Vaucanson (TC, SL, SO, LNP, JS), pp. 116–128.
ICSEICSE-2005-Gamma #agile #development #distributed #eclipse #open source #process
Agile, open source, distributed, and on-time: inside the eclipse development process (EG), p. 4.
LICSLICS-2005-Benedikt #logic
An Insider’s Guide to Logic in Telecommunications Data (MB), pp. 104–105.
VLDBVLDB-2004-LiM
Computing Frequent Itemsets Inside Oracle 10G (WL, AM), pp. 1253–1256.
ICSMEICSM-2004-XieN #black box #difference #testing
Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences (TX, DN), pp. 28–37.
IFMIFM-2004-BallCLR #formal method #verification
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft (TB, BC, VL, SKR), pp. 1–20.
KDDKDD-2004-Donoho #detection
Early detection of insider trading in option markets (SD), pp. 420–429.
ICEISICEIS-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.
LICSLICS-2001-ArnoldLM #infinity #monad
The Hierarchy inside Closed Monadic Σ₁ Collapses on the Infinite Binary Tree (AA, GL, JM), pp. 157–166.
VLDBVLDB-2000-Blecken #database #workflow
Media360 Workflow-Implementing a Workflow Engine Inside a Database (CB), p. 692.
ICALPICALP-2000-FournierK #bound
Lower Bounds Are Not Easier over the Reals: Inside PH (HF, PK), pp. 832–843.
AdaEuropeAdaEurope-1998-PautetT #distributed
Inside the Distributed Systems Annex (LP, ST), pp. 65–77.
HTECHT-1990-Bechtel #hypermedia
Inside Macintosh as Hypertext (BLB), pp. 312–323.
ICSEICSE-1982-ZolnowskiT #bibliography #development
An Insider’s Survey on Software Development (JCZ, PDT), pp. 178–187.
ICALPICALP-1979-CoppoDS #functional #semantics #λ-calculus
Functional Characterization of Some Semantic Equalities inside λ-Calculus (MC, MDC, PS), pp. 133–146.
ICALPICALP-1977-BohmCD #termination #testing #λ-calculus
Termination Tests inside λ-Calculus (CB, MC, MDC), pp. 95–110.

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.