535 search results - page 70 / 107 » Termination of Abstract Reduction Systems |
GLOBECOM
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--This paper presents a Cross-layer Network Management System (NMS) that allows Service Providers (SPs) to perform cost-effective network resource reservations with their N...
ATVA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
FOSSACS
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
WADT
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. Narrowing is a method for solving equations in the equational theories of term rewriting systems. Unification and rewriting, the central operations in narrowing, are ofte...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
Autonomous agents transcend their individual capabilities by cooperating towards achieving shared goals. The different viewpoints agents have on the environment cause disagreement...