3239 search results - page 259 / 648 » A Logical Process Calculus |
159
click to vote
ADVSE
2010
15 years 2 days ago
2010
Abstract. The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logi...
145
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Design variability due to within-die and die-todie process variations has the potential to significantly reduce the maximum operating frequency and the effective yield...
149
click to vote
IICS
2003
Springer
15 years 10 months ago
2003
Springer
Today’s global markets demand global processes. Increasingly, these processes are not only distributed, but also contain mobile aspects. We discuss two challenges brought about b...
150
click to vote
BPM
2007
Springer
15 years 11 months ago
2007
Springer
Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasin...
141
Voted
LICS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...