Sciweavers

3185 search results - page 170 / 637
» Principles for modeling language design
Sort
View
AGTIVE
2007
Springer
13 years 12 months ago
Domain Specific Languages with Graphical and Textual Views
We show our approach for the definition of Domain Specific Languages integrating both graphical and textual views. The approach is based on the meta-modelling concepts provided by ...
Francisco Pérez Andrés, Juan de Lara...
JUCS
2008
172views more  JUCS 2008»
13 years 8 months ago
Formal Action Semantics for a UML Action Language
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
Mikai Yang, Greg J. Michaelson, Rob Pooley
MICCAI
2008
Springer
14 years 9 months ago
Kinetic Modeling Based Probabilistic Segmentation for Molecular Images
Abstract. We propose a semi-supervised, kinetic modeling based segmentation technique for molecular imaging applications. It is an iterative, self-learning algorithm based on uncer...
Ahmed Saad, Benjamin Smith 0002, Ghassan Hamarneh,...
ISCAS
2003
IEEE
172views Hardware» more  ISCAS 2003»
14 years 1 months ago
Performance modeling of resonant tunneling based RAMs
Tunneling based random-access memories (TRAM’s) have recently garnered a great amount of interests among the memory designers due to their intrinsic merits such as reduced power...
Hui Zhang, Pinaki Mazumder, Li Ding 0002, Kyoungho...
POPL
2001
ACM
14 years 8 months ago
Nomadic pict: correct communication infrastructure for mobile computation
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
Asis Unyapoth, Peter Sewell