1033 search results - page 75 / 207 » Properties of Exercise Strategies |
SPIN
1999
Springer
15 years 2 months ago
1999
Springer
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
ALP
1997
Springer
15 years 2 months ago
1997
Springer
We de ne a perpetual one-step reduction strategy which enables one to construct minimal (w.r.t. Levy's ordering 2 on reductions) in nite reductions in Conditional Orthogonal ...
111
Voted
SPDP
1993
IEEE
15 years 2 months ago
1993
IEEE
W e introduce a class of graphs which are variants of the hypercube graph. M a n y of the properties of this class of graphs are similar to that of the hypercube hence, we refer t...
115
click to vote
AGP
2010
IEEE
15 years 2 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
BIRTHDAY
2007
Springer
15 years 2 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...