19936 search results - page 100 / 3988 » Inductive process modeling |
177
click to vote
SIMULATION
2008
15 years 6 months ago
2008
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
162
click to vote
ACSD
2007
IEEE
16 years 19 days ago
2007
IEEE
Today there are many process mining techniques that allow for the automatic construction of process models based on event logs. Unlike synthesis techniques (e.g., based on regions...
148
click to vote
ISPW
2007
IEEE
16 years 17 days ago
2007
IEEE
Abstract. Software development processes are often not explicitly modelled and sometimes even chaotic. In order to keep track of the involved documents and files, engineers use So...
175
click to vote
IFM
2007
Springer
16 years 13 days ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
170
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...