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:
base (2)
mobil (2)
analysi (2)
program (2)
meta (2)

Stem klaim$ (all stems)

5 papers:

WRLAWRLA-2012-WirsingEMM #analysis #architecture #design #maude
Design and Analysis of Cloud-Based Architectures with KLAIM and Maude (MW, JE, TM, JM), pp. 54–82.
SFMSFM-2005-BettiniN #distributed #mobile #programming
Mobile Distributed Programming in X-Klaim (LB, RDN), pp. 29–68.
SACSAC-2005-NicolaLM #analysis #formal method #mobile #modelling
Formal modeling and quantitative analysis of KLAIM-based mobile systems (RDN, DL, MM), pp. 428–435.
GPCESAIG-2001-FerrariMP #metaprogramming #named
MetaKlaim: Meta-programming for Global Computing (GLF, EM, RP), pp. 183–198.
Structured Nets in KLAIM (LB, ML, RP), pp. 174–180.

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.