1713 search results - page 284 / 343 » Modeling and Engineering Adaptive Complex Systems |
122
click to vote
FSTTCS
2009
Springer
15 years 9 months ago
2009
Springer
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
139
click to vote
ADVSE
2010
14 years 10 months 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...
140
click to vote
WSC
2001
15 years 4 months ago
2001
Discrete-event simulation is an established tool for the design and management of large-scale mail sortation and distribution systems. Because the design of distribution facilitie...
158
click to vote
EUROPAR
2010
Springer
15 years 1 months ago
2010
Springer
Star Superscalar is a task-based programming model. The programmer starts with an ordinary C program, and adds pragmas to mark functions as tasks, identifying their inputs and outp...
128
click to vote
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...