5634 search results - page 306 / 1127 » About Abstract Classes |
133
click to vote
SIGECOM
2010
ACM
15 years 10 months ago
2010
ACM
The Combinatorial Public Projects Problem s an abstraction of resource allocation problems in which agents have preferences over alternatives, and an outcome that is to be collect...
131
click to vote
CSR
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...
128
click to vote
AAECC
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. New algorithms are described and analysed for solving various problems associated with a large integer matrix: computing the Hermite form, computing a kernel basis, and s...
137
click to vote
CONCUR
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In this paper we discuss the role of labels in transition systems with regard to bisimilarity and model checking problems. We suggest a general reduction from labelled tr...
154
click to vote
REFLECTION
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We present a general technique to support reflection in C++, exploiting template metaprogramming techniques. The technique is used for building an object interface to rel...