16 papers:
CASE-2015-KimCDZF #distributed #flexibility- DisCoF+: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems (KK, JC, WD, YZ, GEF), pp. 369–376.
SIGMOD-2015-MytilinisGKDTTG #distributed #framework #named #network #social- MoDisSENSE: A Distributed Spatio-Temporal and Textual Processing Platform for Social Networking Services (IM, IG, IK, KD, DT, MT, LG, NK), pp. 895–900.
VLDB-2013-DrosouP12 #difference- DisC diversity: result diversification based on dissimilarity and coverage (MD, EP), pp. 13–24.
CHI-2011-LaquaSGG #case study #information management- Do you know dis?: a user study of a knowledge discovery tool for organizations (SL, MAS, SG, CG), pp. 2887–2896.
RTA-2011-Tison #automaton #constraints #question #similarity #term rewriting #what- Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What’s New? (ST), pp. 1–2.
TLCA-2011-Tison #automaton #constraints #question #similarity #term rewriting #what- Tree Automata, (Dis-)Equality Constraints and Term Rewriting — What’s New? (ST), pp. 3–5.
- CASE-2009-LeCS #approach #assembly
- A path planning approach to (dis)assembly sequencing (DTL, JC, TS), pp. 286–291.
CAV-2008-JainCG #composition #equation #linear #performance- Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations (HJ, EMC, OG), pp. 254–267.
DATE-2006-CherrounDF #constraints #equation #scheduling #using- Scheduling under resource constraints using dis-equations (HC, AD, PF), pp. 1067–1072.
CAiSE-2004-CaliLRR #integration- Experimenting Data Integration with DIS@DIS (AC, DL, RR, MR), pp. 51–66.
ICEIS-v2-2003-MendesA #using- Using the I. S. as a (Dis)Organization Gauge (PM, PA), pp. 171–176.
RE-2001-GansJKLEFM #approach #modelling #network #requirements #trust- Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach (GG, MJ, SK, GL, LE, CF, MM), pp. 154–165.
SAC-1998-SiLLL #database #modelling #video- Modeling video objects in 4DIS temporal database system (AS, RWHL, QL, HVL), pp. 525–531.
- SAC-1998-SiLW #evolution #framework #metadata #named
- 4DIS: a temporal framework for unifying meta-data and data evolution (AS, HVL, PYW), pp. 203–210.
FME-1997-Kellomaki #using #verification- Verification of Reactive Systems Using DisCo and PVS (PK), pp. 589–604.
AdaEurope-1995-ObermayerSL #distributed #interactive #interface #named #simulation- DIS — An Interface to Distributed Interactive Simulation (PEO, GS, RL), pp. 187–190.
