626 search results - page 5 / 126 » Scheduling as Rule Composition |
85
Voted
IFIP12
2008
14 years 11 months ago
2008
This paper presents an approach for mining fuzzy Association Rules (ARs) relating the properties of composite items, i.e. items that each feature a number of values derived from a ...
72
Voted
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
70
Voted
CLEIEJ
2007
14 years 9 months ago
2007
This work presents proof rules for termination and non-termination for a subset of a C-like language that consists of the statements : assignation, composition, if, skip and while...
WSS
2001
14 years 11 months ago
2001
Abstract. We study a special type of self-stabilizing algorithms composition : the cross-over composition (A B). The cross-over composition is the generalization of the algorithm c...
ACS
2008
14 years 9 months ago
2008
The integration of two important categorical frameworks