BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
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.
SACSAC-2000-BettiniLP
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.