Stem behav$ (all stems)

12 papers:

LICS-2013-BalbianiHT #logic

Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL (PB, AH, NT), pp. 143–152.

ISSTA-2012-CoughlinCDS #source code #what

Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say (DC, BYEC, AD, JGS), pp. 276–286.

ASE-2011-HidakaHIKN #bidirectional #framework #model transformation #named

GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations (SH, ZH, KI, HK, KN), pp. 480–483.

DLT-2010-OttoPM #automaton #on the

On Lexicalized Well-Behaved Restarting Automata That Are Monotone (FO, MP, FM), pp. 352–363.

ICPC-2008-FeilkasR #api #constraints

Ensuring Well-Behaved Usage of APIs through Syntactic Constraints (MF, DR), pp. 248–253.

ICALP-2005-AtseriasDG #finite

Preservation Under Extensions on Well-Behaved Finite Structures (AA, AD, MG), pp. 1437–1449.

CHI-2003-ShechtmanH #difference #how #people

Media inequality in conversation: how people behave differently when interacting with computers and people (NS, LMH), pp. 281–288.

HPCA-2003-HoP #communication #design #performance

A Methodology for Designing Efficient On-Chip Interconnects on Well-Behaved Communication Patterns (WHH, TMP), pp. 377–388.

ICML-1998-Gordon

Well-Behaved Borgs, Bolos, and Berserkers (DFG), pp. 224–232.

ILPS-1997-DixO #on the #semantics

On Well-Behaved Semantics Suitable for Aggregation (JD, MO), p. 405.

RTA-1997-McCune #problem

Well-Behaved Search and the Robbins Problem (WM), pp. 1–7.

VLDB-1983-Verroust #database #semantics

Characterization of Well-Behaved Database Schemata and Their Update Semantics (AV), pp. 312–321.