BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
end (2)
contract (2)
electron (2)
structur (1)
healthcar (1)

Stem cosmos$ (all stems)

6 papers:

SACSAC-2008-KimKL #framework #middleware #named #network
COSMOS: a middleware platform for sensor networks and a u-healthcare service (YBK, MK, YJL), pp. 512–513.
SACSAC-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.
EDOCEDOC-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.
CAVCAV-1991-SegerJ #using #verification
A Two-Level Formal Verification Methodology using HOL and COSMOS (CJHS, JJJ), pp. 299–309.
CSCWCSCW-1988-BowersC #communication
Local and Global Structuring of Computer Mediated Communication: Developing Linguistic Perspectives on CSCW in Cosmos (JB, JC), pp. 125–139.
DACDAC-1987-BryantBBCS #named
COSMOS: A Compiled Simulator for MOS Circuits (REB, DLB, KSB, KC, TJS), pp. 9–16.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.