3713 search results - page 451 / 743 » Constructing a Calculus of Programs |
127
click to vote
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We introduce a new theoretical model of ad hoc mobile computing in which agents have severely restricted memory, highly unpredictable movement and no initial knowledge of...
126
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— We present a novel algorithm for the onedimension offline bin packing problem with discrete item sizes based on the notion of matching the item-size histogram with the...
111
click to vote
CMMR
2007
Springer
15 years 10 months ago
2007
Springer
It is common “beat programming” practice to construct rhythmic sequences in a one-sample-per-instrument manner. Sounds of separate strokes on a drum, however, generally are not...
137
click to vote
COORDINATION
2007
Springer
15 years 10 months ago
2007
Springer
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...
133
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
We introduce the notion of hierarchical group signatures. This is a proper generalization of group signatures, which allows multiple group managers organized in a tree with the si...