Sciweavers

19367 search results - page 95 / 3874
» Fine-Grain Process Modelling
Sort
View
RTSS
2005
IEEE
14 years 1 months ago
Event Count Automata: A State-Based Model for Stream Processing Systems
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
Samarjit Chakraborty, Linh T. X. Phan, P. S. Thiag...
JSS
2000
86views more  JSS 2000»
13 years 7 months ago
Quantitative analysis of static models of processes
The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...
Keith Phalp, Martin J. Shepperd
BPM
2007
Springer
168views Business» more  BPM 2007»
14 years 2 months ago
Modeling Control Objectives for Business Process Compliance
Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasin...
Shazia Wasim Sadiq, Guido Governatori, Kioumars Na...
ICSE
1994
IEEE-ACM
13 years 12 months ago
Understanding "Why" in Software Process Modelling, Analysis, and Design
In trying to understandand redesign software processes, it is often necessaryto have an understanding of the "whys" that underliethe "whats"
Eric S. K. Yu, John Mylopoulos
BIRTHDAY
2005
Springer
14 years 1 months ago
Model Theory for Process Algebra
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...
Jan A. Bergstra, C. A. Middelburg