Stem essenti$ (all stems)

52 papers:

ICGT-2015-RadkeABHT #constraints #graph #invariant #ocl #set

Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations (HR, TA, JSB, AH, GT), pp. 155–170.

HIMI-IKC-2015-AhangamaP15a #empirical #what

What Methodological Attributes Are Essential for Novice Users to Analytics? — An Empirical Study (SA, DCCP), pp. 77–88.

FM-2014-Klein #proving

Proof Engineering Considered Essential (GK), pp. 16–21.

EDOC-2014-SungurBBL #process

Informal Process Essentials (CTS, TB, UB, FL), pp. 200–209.

VLDB-2013-HuaiMLO0 #clustering #comprehension

Understanding Insights into the Basic Structure and Essential Issues of Table Placement Methods in Clusters (YH, SM, RL, OO, XZ), pp. 1750–1761.

MSR-2013-ManiNMNSN #debugging #identification #repository

Bug resolution catalysts: identifying essential non-committers from bug repositories (SM, SN, DM, RN, VSS, AAN), pp. 193–202.

ICSE-2013-RigbyR #documentation

Discovering essential code elements in informal documentation (PCR, MPR), pp. 832–841.

ASE-2011-KamalrudinG #generative #prototype #requirements #user interface #validation

Generating essential user interface prototypes to validate requirements (MK, JCG), pp. 564–567.

ICALP-v2-2011-Kapoutsis #nondeterminism

Nondeterminism Is Essential in Small 2FAs with Few Reversals (CAK), pp. 198–209.

ICSE-2011-KamalrudinHG #case study #interactive #quality #requirements #using

Improving requirements quality using essential use case interaction patterns (MK, JGH, JCG), pp. 531–540.

ICSE-2011-KawrykowR #version control

Non-essential changes in version histories (DK, MPR), pp. 351–360.

HPCA-2011-ChenLZ #memory management #parallel #performance

Essential roles of exploiting internal parallelism of flash memory based solid state drives in high-speed data processing (FC, RL, XZ), pp. 266–277.

ASE-2010-KamalrudinGH #case study #requirements #tool support

Tool support for essential use cases to better capture software requirements (MK, JCG, JGH), pp. 255–264.

ECOOP-2010-FraineES #aspect-oriented #calculus

Essential AOP: The A Calculus (BDF, EE, MS), pp. 101–125.

WICSA-ECSA-2009-SangwanN #architecture #complexity

Characterizing essential and incidental complexity in software architectures (RSS, CJN), pp. 265–268.

ICEIS-HCI-2009-GarciaDCBSS #design

Scenario-based Design — An Essential Instrument for an Innovative Target Application — Case Report (LSG, AID, MAC, LCEDB, FS, MSS), pp. 113–117.

GT-VMT-2006-LambersEO08 #detection #graph transformation #performance

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (LL, HE, FO), pp. 17–26.

ICML-2008-AllauzenMT #kernel #predict #sequence

Sequence kernels for predicting protein essentiality (CA, MM, AT), pp. 9–16.

KDD-2008-FanZCGYHYV #mining #modelling

Direct mining of discriminative and essential frequent patterns via model-based search tree (WF, KZ, HC, JG, XY, JH, PSY, OV), pp. 230–238.

IFL-2007-DijkstraFS #compilation #complexity #haskell

The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity (AD, JF, SDS), pp. 57–74.

STOC-2006-Szegedy

The DLT priority sampling is essentially optimal (MS), pp. 150–158.

PLDI-2005-SiekL #programming

Essential language support for generic programming (JGS, AL), pp. 73–84.

ICEIS-v3-2005-CapelH #csp #modelling #specification #visual notation

Transforming SA/RT Graphical Specifications into CSP+T Formalism — Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models (MIC, JAHT), pp. 65–72.

DAC-2004-YangM #adaptation #higher-order #modelling

An Essentially Non-Oscillatory (ENO) high-order accurate Adaptive table model for device modeling (BY, BM), pp. 864–867.

ICEIS-v1-2004-UwizeyemunguR #enterprise #flexibility #integration

Integration, Flexibility and Transversality: Essential Characteristics of ERP Systems (SU, LR), pp. 70–77.

ICEIS-v3-2003-AldersonSSS #process

Defending Essential Processes (AA, AS, HS, BS), pp. 197–200.

KDD-2003-ShimazuMF #case study

Experimental study of discovering essential information from customer inquiry (KS, AM, KF), pp. 741–746.

SAT-2003-BerreS #contest #satisfiability

The Essentials of the SAT 2003 Competition (DLB, LS), pp. 452–467.

ICSE-2002-Rhodes

Systems engineering: an essential engineering discipline for the 21st century (DHR), p. 4.

ESEC-FSE-2001-WallnauHS #component #concept #experience #re-engineering #tutorial

Half day tutorial in methods of component-based software engineering essential concepts and classroom experience (KCW, SAH, RCS), pp. 314–315.

ICSE-2001-Wallnau #component #concept #experience #re-engineering

Methods of Component-Based Software Engineering: Essential Concepts and Classroom Experience (KCW), pp. 709–710.

TLCA-2001-MurawskiO #evolution #game studies #morphism #polymorphism

Evolving Games and Essential Nets for Affine Polymorphism (ASM, CHLO), pp. 360–375.

AdaEurope-2000-ChenL #on the #set

On the Minimal Essential Subsets and Minimal Representative Sets (TYC, MFL), pp. 291–301.

ICPR-v1-2000-WangT #composition #matrix

An SVD Decomposition of Essential Matrix with Eight Solutions for the Relative Positions of Two Perspective Cameras (WW, HTT), pp. 1362–1365.

ICRE-2000-NguyenS #complexity #modelling #requirements

Essential and Incidental Complexity in Requirements Models (LN, PAS), pp. 130–139.

ICRE-2000-Parnas #documentation #requirements #why

Requirements Documentation: Why a Formal Basis is Essential (DLP), pp. 81–84.

STOC-1999-BeimelIKM #information retrieval

One-Way Functions Are Essential for Single-Server Private Information Retrieval (AB, YI, EK, TM), pp. 89–98.

ICDAR-1997-KatoWN #recognition

Recognition of Essential Folding Operations: A Step for Interpreting Illustrated Books of Origami (JK, TW, TN), pp. 81–85.

TOOLS-USA-1997-McKim #eiffel

Eiffel Essentials (JCM), p. 370.

AFP-1996-Tofte96 #ml #standard

Essentials of Standard ML Modules (MT), pp. 208–238.

CSEE-1995-Zucconi #education #industrial

Essential Knowledge for the Practising Software Engineer and the Responsibilities of University and Industry for Her Education (LZ), pp. 5–13.

FME-1994-FencottGLOP #algebra #formal method #modelling #process #semantics #using

Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra (PCF, AG, MAL, SJO, SP), pp. 681–702.

ECOOP-1994-Pree #design #object-oriented #reuse

Meta Patterns — A Means For Capturing the Essentials of Reusable Object-Oriented Design (WP), pp. 150–162.

TOOLS-EUROPE-1994-Cook #development

Essential Techniques for O-O Development (SC), p. 527.

TOOLS-EUROPE-1994-Hopkins #smalltalk

Smalltalk Essentials Presentation (TPH), p. 441.

TOOLS-EUROPE-1994-McKim #eiffel

Eiffel Essentials Presentation (JCM), p. 333.

ILPS-1993-WassermanYS #deduction #logic programming

The Essential Inadequacy of Deductions in Logic Programming (HCW, KY, ZS), p. 644.

DAC-1992-CoudertM #incremental

Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions (OC, JCM), pp. 36–39.

CAiSE-1991-Dietz

The Essential System Model (JLGD), pp. 441–460.

DAC-1986-KuoC #generative #multi

Generating essential primes for a Boolean function with multiple-valued inputs (YSK, WKC), pp. 193–199.

DAC-1981-Reitmeyer

CAD for military systems, an essential link to LSI, VLSI and VHSIC technology (RRJ), pp. 3–12.

ICSE-1976-FreemanWF #education #re-engineering

Essential Elements of Software Engineering Education (PF, AIW, REF), pp. 116–122.