Stem strengthen$ (all stems)

25 papers:

STOC-2015-HenzingerKNS #multi #online #problem

Unifying and Strengthening Hardness for Dynamic Problems via the Online Matrix-Vector Multiplication Conjecture (MH, SK, DN, TS), pp. 21–30.

CBSE-2014-BuresHP #architecture #continuation #modelling #product line #runtime

Strengthening architectures of smart CPS by modeling them as runtime product-lines (TB, PH, FP), pp. 91–96.

HCI-UC-2013-TsaiHCL #communication #named #network #online #product line #social #using

Memotree: Using Online Social Networking to Strengthen Family Communication (THT, YLH, HTC, YWL), pp. 359–367.

SAT-2013-WieringaH #concurrent

Concurrent Clause Strengthening (SW, KH), pp. 116–132.

IFM-2012-SchunselaarMS #declarative #modelling

Patterns for a Log-Based Strengthening of Declarative Compliance Models (DMMS, FMM, NS), pp. 327–342.

ECMFA-2012-KuhlmannG #modelling #ocl #representation #satisfiability #uml #validation

Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations (MK, MG), pp. 32–48.

ASE-2011-LutzJP #assurance #modelling #using

Using model-based assurance to strengthen diagnostic procedures (RRL, JJ, APH), pp. 516–519.

IDGD-2011-RinconBCPC #community #human-computer #interactive

Human-Computer Interaction as an Instrument for Strengthening Culture and Language of a Colombian Native Community (SRR, AB, GC, FP, TRC), pp. 556–565.

SAT-2011-Gelder11a #satisfiability

Generalized Conflict-Clause Strengthening for Satisfiability Solvers (AVG), pp. 329–342.

VMCAI-2011-DonaldsonHK #lightweight #static analysis

Strengthening Induction-Based Race Checking with Lightweight Static Analysis (AFD, LH, DK), pp. 169–183.

CHI-2010-Villamarin-SalomonB #behaviour #using

Using reinforcement to strengthen users’ secure behaviors (RVS, JCB), pp. 363–372.

LDTA-2009-AllwoodE10

Strengthening the Zipper (TORA, SE), pp. 3–18.

DATE-2009-PurandareWK #abstraction #refinement #using

Strengthening properties using abstraction refinement (MP, TW, DK), pp. 1692–1697.

SAS-2007-MagillBCC #analysis

Arithmetic Strengthening for Shape Analysis (SM, JB, EMC, BC), pp. 419–436.

RE-2007-LehtolaKV

Strengthening the link between business decisions and RE: Long-term product planning in software product companies (LL, MK, JV), pp. 153–162.

SAC-2007-Li #abstraction #parametricity #protocol #proving #verification

Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols (YL), pp. 1534–1535.

DAC-2006-AwedhS #automation #bound #invariant #model checking

Automatic invariant strengthening to prove properties in bounded model checking (MA, FS), pp. 1073–1076.

ICALP-2003-Blaser #algorithm #approximate #difference #symmetry

An Improved Approximation Algorithm for the Asymmetric TSP with Strengthened Triangle Inequality (MB), pp. 157–163.

CAV-2003-Abu-HaimedBD #consistency #invariant #testing

Strengthening Invariants by Symbolic Consistency Testing (HAH, SB, DLD), pp. 407–419.

AdaEurope-2002-DewarHCW #ada #runtime

Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada (RD, OH, DC, PW), pp. 193–204.

FASE-2001-HeckelS #collaboration #diagrams #uml

Strengthening UML Collaboration Diagrams by State Transformations (RH, SS), pp. 109–123.

RE-2001-JeffordsH #algorithm #invariant #requirements #specification

An Algorithm for Strengthening State Invariants Generated from Requirements Specifications (RDJ, CLH), pp. 182–193.

ICRE-1998-Smith #framework #quality #requirements #using

Using a Quality Model Framework to Strengthen the Requirements (RCS), p. 118–?.

CSEET-1997-KorneckiHTBGM #collaboration #education #industrial #re-engineering

Strengthening Software Engineering Education through Academic Industry Collaboration (AJK, IH, MT, RB, TG, LM), p. 204–?.

SIGMOD-1992-Rosenthal #what

What Can We Do to Strengthen the Connection Between Theory and System Builders (AR), p. 101.