1757 search results - page 70 / 352 » Alternating Refinement Relations |
ENTCS
2008
15 years 19 days ago
2008
The notion of branching bisimulation for the alternating model of probabilistic systems is not a congruence with respect to parallel composition. In this paper we first define ano...
84
Voted
IJOE
2008
15 years 18 days ago
2008
: What causes seasons? Why day and night durations are so different with seasons alternation? Why the position of the full moon seems directed to the south in summer while it seems...
91
Voted
COMBINATORICS
2004
15 years 13 days ago
2004
We propose two alternative measures of the local irregularity of a graph in terms of its vertex degrees and relate these measures to the order and the global irregularity of the g...
97
Voted
AMAI
2010
Springer
14 years 10 months ago
2010
Springer
In a combinatorial auction, a set of resources is for sale, and agents can bid on subsets of these resources. In a voting setting, the agents decide among a set of alternatives by...
86
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
The allocation of device variables on I/O registers affects the code size and performance of an I/O device driver. This work seeks the allocation with the minimal software or hard...