2646 search results - page 452 / 530 » Local Type Inference |
118
Voted
CF
2006
ACM
15 years 8 months ago
2006
ACM
In this paper, we present a programming language viewpoint for morphogenesis, the process of shape formation during embryological development. Specifically, we model morphogenesi...
121
click to vote
MSWIM
2006
ACM
15 years 8 months ago
2006
ACM
Recent studies and publications have shown a demand for a secure method to proof someones or somenthings position via a communication channel. In this paper we present a concept a...
105
Voted
ACSD
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
111
Voted
AINA
2005
IEEE
15 years 8 months ago
2005
IEEE
Mobile code computation has lead to a new paradigm of distributed computation. A mobile process can move from site to site and interact with the resources as a local process. To p...
108
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
UML sequence diagrams are widely used during requirements analysis and design for specifying the expected message exchanges among a set of objects in various scenarios for the pro...