7 papers:
- CHI-2015-KimN #interactive #named
- G-raff: An Elevating Tangible Block for Spatial Tabletop Interaction (CMK, TJN), pp. 4161–4164.
- SEKE-2008-ShinP #case study #component #off the shelf #self
- A Case Study: Self-managed COTS Component-based Elevator System (MES, FP), pp. 577–580.
- CBSE-2006-AttieLPC #behaviour #component #design #explosion #verification
- Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System (PCA, DHL, AP, HC), pp. 33–49.
- SEKE-2006-HepnerGG #composition #interactive #requirements #web #web service
- Elevating Interaction Requirements for Web Service Composition (MH, MTG, RFG), pp. 697–701.
- SPLC-2000-LeeKKCKC
- Domain-oriented engineering of elevator control software (KL, KCK, EK, WC, BK, BWC), pp. 3–22.
- VLDB-1997-TriantafillouP #multi #on-demand
- On-Demand Data Elevation in Hierarchical Multimedia Storage Servers (PT, TP), pp. 226–235.
- DAC-1971-Penz #approach #design #simulation
- A computer simulation approach to elevator system design (AJP), pp. 259–268.