19367 search results - page 329 / 3874 » Fine-Grain Process Modelling |
140
Voted
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
116
click to vote
ASAP
2003
IEEE
15 years 9 months ago
2003
IEEE
— In industry, embedded systems for stream-based processing are often modelled and verified by using process networks, such as Kahn process networks. An advantage of Kahn networ...
124
Voted
STOC
1997
ACM
15 years 8 months ago
1997
ACM
The Swendsen-Wang process provides one possible dynamics for the Qstate Potts model in statistical physics. Computer simulations of this process are widely used to estimate the ex...
133
click to vote
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
Defined software engineering process help teaching and guiding software engineering courses projects. However, using them raises several issues related to process and course featu...
141
click to vote
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...