6 papers:
SAC-2008-KimKL #framework #middleware #named #network- COSMOS: a middleware platform for sensor networks and a u-healthcare service (YBK, MK, YJL), pp. 512–513.
- SAC-2006-AgiusA #case study #experience #user interface
- MPEG-7 in action: end user experiences with COSMOS-7 front end systems (HWA, MCA), pp. 1348–1355.
EDOC-1998-GriffelBWLM #contract #internet- Electronic contracting with COSMOS-how to establish, negotiate and execute electronic contracts on the Internet (FG, MB, HW, WL, MM), pp. 46–55.
CAV-1991-SegerJ #using #verification- A Two-Level Formal Verification Methodology using HOL and COSMOS (CJHS, JJJ), pp. 299–309.
CSCW-1988-BowersC #communication- Local and Global Structuring of Computer Mediated Communication: Developing Linguistic Perspectives on CSCW in Cosmos (JB, JC), pp. 125–139.
DAC-1987-BryantBBCS #named- COSMOS: A Compiled Simulator for MOS Circuits (REB, DLB, KSB, KC, TJS), pp. 9–16.
