1147 search results - page 28 / 230 » Termination in language-based systems |
RTA
1993
Springer
13 years 11 months ago
1993
Springer
Abstract. We generalize the various path orderings and the conditions under which they work, and describe an implementation of this general ordering. We look at methods for proving...
ICAC
2009
IEEE
14 years 2 months ago
2009
IEEE
The popularization of both virtualization and CDP technologies mean that we can now watch disk accesses of systems from entities which are not controlled by the OS. This is a rich...
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
In this paper the Recursive Path Ordering is adapted for proving termination of rewriting incrementally. The new ordering, called Recursive Path Ordering with Modules, has as ingre...
ICMB
2005
IEEE
14 years 1 months ago
2005
IEEE
The paper presents an effective mobile-to-mobile payment system. A mobile phone with or without SIM card is enabled as an EMV payment instrument and is linked to a debit or credit...
AUTOMATICA
2006
13 years 7 months ago
2006
Given a nonlinear system and a performance index to be minimized, we present a general approach to expressing the finite time optimal feedback control law applicable to different ...