506 search results - page 71 / 102 » Where Is the Value in a Program Verifier |
106
Voted
CP
2007
Springer
15 years 6 months ago
2007
Springer
Probabilistic Choice Operators (PCOs) are convenient tools to model uncertainty in CP. They are useful to implement randomized algorithms and stochastic processes in the concurrent...
90
Voted
XIMEP
2006
ACM
15 years 6 months ago
2006
ACM
This paper proposes an extension to the XQuery language to solve the problem of positional grouping: that is, problems in which it is necessary to convert a flat sequence into a h...
98
Voted
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
— This paper introduces a heuristic solution to the multiple restricted multiplication (MRM) optimization problem. MRM refers to a situation where a single variable is multiplied...
126
Voted
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
98
Voted
CP
2005
Springer
15 years 6 months ago
2005
Springer
Conditional symmetry arises in a sub-problem of a constraint satisfaction problem, where the sub-problem satisfies some condition under which additional symetries hold. Typically...