535 search results - page 21 / 107 » Termination of Abstract Reduction Systems |
RTA
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. In this paper we introduce a modular framework which allows to infer (feasible) upper bounds on the (derivational) complexity of term rewrite systems by combining differ...
PIMRC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—The high peak-to-average-power ratio (PAR) of Orthogonal Frequency Division Multiplexing (OFDM) transmission systems significantly reduces the power efficiency or perf...
ACII
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Global integration and migration force people to learn additional languages. With respect to major languages, the acquisition is already initiated at primary school but a...
CONCUR
2005
Springer
14 years 3 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
FC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Users are often forced to trust potentially malicious terminals when trying to interact with a remote secure system. This paper presents an approach for ensuring the inte...