1320 search results - page 57 / 264 » A View Based Analysis of Workflow Modeling Languages |
106
click to vote
PLDI
1997
ACM
15 years 4 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
127
click to vote
COORDINATION
2006
Springer
15 years 3 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
147
click to vote
CPE
1994
Springer
15 years 3 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
115
click to vote
EELC
2006
15 years 3 months ago
2006
In this article, we study the emergence of associations between words and concepts using the self-organizing map. In particular, we explore the meaning negotiations among communica...
112
click to vote
ITRUST
2005
Springer
15 years 5 months ago
2005
Springer
The paper makes two main contributions: (1) It presents experiences from using the CORAS language for security threat modelling to specify legal risk scenarios. These experiences a...