19936 search results - page 335 / 3988 » Inductive process modeling |
179
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
173
click to vote
IJWGS
2006
15 years 6 months ago
2006
: This paper presents a systematic study of some major problems involved in the transformation of business process modelling languages to executable business process representation...
138
click to vote
ICSE
1995
IEEE-ACM
15 years 10 months ago
1995
IEEE-ACM
The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We inve...
187
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...