9997 search results - page 373 / 2000 » The case for crowd computing |
194
click to vote
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
169
click to vote
CW
2002
IEEE
15 years 11 months ago
2002
IEEE
A number of interesting phenomena can be observed when lifelong processes of object-oriented software are analyzed from the viewpoint of software evolution. This paper proposes a ...
149
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
A survey of results for the problems of selection, mergingand sorting in the Randomized Parallel Comparison Tree RPCT model is given. The results indicate that while randomization ...
188
click to vote
DSVIS
1998
Springer
15 years 11 months ago
1998
Springer
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It
161
click to vote
DLT
2009
15 years 4 months ago
2009
Abstract. We study expansions in non-integer negative base - introduced by Ito and Sadahiro [7]. Using countable automata associated with (-)-expansions, we characterize the case w...