Search results for "lightweight modeling"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Pamela Zave	Using lightweight modeling to understand chord.	Computer Communication Review	2012	DBLP DOI BibTeX RDF
1	Jörn Eichler	Lightweight Modeling and Analysis of Security Concepts.	ESSoS	2011	DBLP DOI BibTeX RDF
1	Mark C. Reynolds	Lightweight Modeling of Java Virtual Machine Security Constraints.	ASM	2010	DBLP DOI BibTeX RDF
1	Frank Dengler, Hans-Jörg Happel	Collaborative modeling with semantic MediaWiki.	Int. Sym. Wikis	2010	DBLP DOI BibTeX RDF	modeling, UML, process models, semantic Wikis
1	Anne Bouillard, Linh T. X. Phan, Samarjit Chakraborty	Lightweight Modeling of Complex State Dependencies in Stream Processing Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2009	DBLP DOI BibTeX RDF
1	Ruoxi Sun, Jinyuan Jia, Hongyu Li, Marc Jaeger	Image-based lightweight tree modeling.	VRCAI	2009	DBLP DOI BibTeX RDF	lightweight modeling, VRML, tree, image-based modeling, L-system
1	Christian Thum, Michael Schwind, Martin Schader	SLIM - A Lightweight Environment for Synchronous Collaborative Modeling.	MoDELS	2009	DBLP DOI BibTeX RDF	Real-Time Editor, Web 2.0, Collaborative Modeling
1	Marcello Mura, Mariagiovanna Sami	Code Generation from Statecharts: Simulation of Wireless Sensor Networks.	DSD	2008	DBLP DOI BibTeX RDF
1	Antti Nurminen	Mobile 3D City Maps.	IEEE Computer Graphics and Applications	2008	DBLP DOI BibTeX RDF
1	Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi	Modeling and Analysis of Reo Connectors Using Alloy.	COORDINATION	2008	DBLP DOI BibTeX RDF
1	Christopher James Martin	Scribbles: an exploratory study of sketch based support for early collaborative object oriented design.	ITiCSE	2007	DBLP DOI BibTeX RDF	collaborative design, mind map, sketch based interaction
1	Manachai Toahchoodee, Indrakshi Ray	Validation of Policy Integration Using Alloy.	ICDCIT	2005	DBLP DOI BibTeX RDF
1	E. James Whitehead Jr., Guozheng Ge, Kai Pan	Automatic generation of hypertext system repositories: a model driven approach.	Hypertext	2004	DBLP DOI BibTeX RDF	containment modeling framework, hypertext data models, open hyperbase, model-driven development, automatic code generation
1	Mana Taghdiri, Daniel Jackson	A Lightweight Formal Analysis of a Multicast Key Management Scheme.	FORTE	2003	DBLP DOI BibTeX RDF	Lightweight modeling, asynchronous rekeying, formal specification, key management, Alloy, secure multicast