614 search results - page 50 / 123 » aime 2003 |
CONCUR
2003
Springer
15 years 5 months ago
2003
Springer
act Approach to Process Equivalence Bartek Klin Pawel Soboci´nski BRICS University of Aarhus, Denmark Abstract. A framework of Plotkin and Turi’s, originally aimed at providing ...
109
click to vote
CP
2003
Springer
15 years 5 months ago
2003
Springer
This paper aims to show that Constraint Programming can be an efficient technique to solve a well-known combinatorial optimization problem: the search for a maximum clique in a gra...
DALT
2003
Springer
15 years 5 months ago
2003
Springer
Computees are abstractions of the entities that populate global and open computing environments. The societies that they populate give an institutional meaning to their interaction...
DAWAK
2003
Springer
15 years 5 months ago
2003
Springer
View materialization is recognized to be one of the most effective ways to increase the Data Warehouse performance; nevertheless, due to the computational complexity of the techniq...
DIGITALCITIES
2003
Springer
15 years 5 months ago
2003
Springer
This paper introduces the universal mobile interface that allows users to navigate themselves into multiple heterogeneous digital cites with a single interface. The universal mobi...