454 search results - page 37 / 91 » Models for Data-Flow Sequential Processes |
ICALT
2006
IEEE
15 years 7 months ago
2006
IEEE
This study of the flow of online discussions examined how earlier messages affected later messages along five dimensions: (1) evaluations (agree, disagree, or unresponsive actions...
ENTCS
2006
15 years 1 months ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
119
click to vote
ANSS
2002
IEEE
15 years 6 months ago
2002
IEEE
Efficient scheduling of jobs on parallel processors is essential for good performance. However, design of such schedulers is challenging because of the complex interaction between...
124
click to vote
AAI
2005
15 years 1 months ago
2005
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning an...
TOPNOC
2008
15 years 1 months ago
2008
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...