Sciweavers

16616 search results - page 195 / 3324
» Extending Extended Vacuity
Sort
View
B
1998
Springer
15 years 9 months ago
The Generalised Substitution Language Extended to Probabilistic Programs
Let predicate P be converted from Boolean to numeric type by writing P , with false being 0 and true being 1, so that in a degenerate sense P can be regarded as `the probability th...
Carroll Morgan
115
Voted
SIGOPSE
1998
ACM
15 years 9 months ago
Battery-powered distributed systems (extended abstract)
Abstract for EW’98 Paul J.M. Havinga, Arne Helme, Sape J. Mullender1 , Gerard J.M. Smit, Jaap Smit University of Twente, Enschede, Netherlands
Paul J. M. Havinga, Arne Helme, Sape J. Mullender,...