12194 search results - page 80 / 2439 » cans 2010 |
ENDM
2010
13 years 8 months ago
2010
Finding a feasible solution for a bi-dimensional Orthogonal Packing Problem (OPP2) consists in deciding whether a set of rectangular boxes (items) can be packed in a "big&quo...
ENTCS
2010
13 years 8 months ago
2010
An important issue of the service oriented approach is the possibility to aggregate, through programmable coordination patterns, the activities involved by service interactions. T...
ENTCS
2010
13 years 8 months ago
2010
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...
ENTCS
2010
13 years 8 months ago
2010
The global states of complex systems often form pospaces, topological spaces equipped with compatible partial orders reflecting causal relationships between the states. The calcul...
ENTCS
2010
13 years 8 months ago
2010
We formulate a unified display calculus proof theory for the four principal varieties of bunched logic by combining display calculi for their component logics. Our calculi satisfy...