We consider simple cube-curves in the orthogonal 3D grid of cells. The union of all cells contained in such a curve (also called the tube of this curve) is a polyhedrally bounded s...
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...
Multiprotocol Label Switching (MPLS) is emerging as a flexible technology that can transport voice, IPv4, IPv6, layer 2 services (Frame Relay, ATM, Ethernet, etc.), and even PDH an...
Standard methods for role assignment partition the vertex set of a graph in such a way that vertices in the same class can be considered to have equivalent roles in the graph. Seve...
Whenever the characteristics of a service grid environment are addressed, issues related to openness and dynamism pop out first. Such issues do affect the definition and handling o...
Donglai Li, Yanbo Han, Haitao Hu, Jun Fang, Xue Wa...