1713 search results - page 284 / 343 » Modeling and Engineering Adaptive Complex Systems |
FSTTCS
2009
Springer
14 years 3 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...
ADVSE
2010
13 years 4 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...
WSC
2001
13 years 10 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...
EUROPAR
2010
Springer
13 years 7 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...
LCTRTS
2010
Springer
14 years 4 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-...