Sciweavers

626 search results - page 9 / 126
» Scheduling as Rule Composition
Sort
View
TOPLAS
1998
55views more  TOPLAS 1998»
13 years 7 months ago
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules
Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata
APSEC
2010
IEEE
13 years 2 months ago
Rule-Based Composition Behaviors in Dynamic Plug-In Systems
Markus Jahn, Markus Löberbauer, Reinhard Wolf...
EPEW
2010
Springer
13 years 8 months ago
Composing Systems While Preserving Probabilities
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...
Sonja Georgievska, Suzana Andova
DMIN
2006
144views Data Mining» more  DMIN 2006»
13 years 9 months ago
Discovering Assignment Rules in Workforce Schedules Using Data Mining
Discovering hidden patterns in large sets of workforce schedules to gain insight into the potential knowledge in workforce schedules are crucial to better understanding the workfor...
Jihong Yan
AIPS
2003
13 years 9 months ago
A Multi-Heuristic GA for Schedule Repair in Precast Plant Production
A multi-heuristic schedule repair model for schedule conflict resolution is presented and its application in repairing the schedules of a prefabrication plant is described in this...
Weng Tat Chan, Tan Heng Wee