2261 search results - page 43 / 453 » Relationships Between Models of Concurrency |
LCPC
1993
Springer
13 years 12 months ago
1993
Springer
This paper presents a model for concurrent programming, where programs (concurrent program structures) are represented as composition expressions over component programs with suita...
DATAMINE
2008
13 years 8 months ago
2008
Learning from imbalanced datasets presents a convoluted problem both from the modeling and cost standpoints. In particular, when a class is of great interest but occurs relatively...
BPM
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Adaptive process management systems must be able to support changes of single process instances as well as modifications at the process type level and their propagation t...
DC
2010
13 years 2 months ago
2010
First-Come-First-Served (FCFS) mutual exclusion (ME) is the problem of ensuring that processes attempting to concurrently access a shared resource do so one by one, in a fair order...
CONCURRENCY
2010
13 years 8 months ago
2010
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...