294 search results - page 29 / 59 » diagrams 2006 |
FUIN
2007
13 years 9 months ago
2007
We present in this paper the algorithm which performs the translation of MSC’2000 diagrams into Petri net modulo strong bisimulation. The correctness of this algorithm is justifi...
JUCS
2000
13 years 9 months ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
INFSOF
1998
13 years 9 months ago
1998
This paper describes RolEnact: a process-modelling notation used to provide enactable models of process instances. The paper shows how RolEnact models may be produced which are eq...
PUC
2002
13 years 9 months ago
2002
Advances in mobile devices and wireless telecommunication infrastructure already provide mobile users with access to online information sources and services. Compared to the PC-wo...
PSYCHNOLOGY
2008
13 years 9 months ago
2008
This paper describes a design framework for representing social-spatial data on maps and diagrams and then illustrates the design approaches for representing social data in two ap...