1147 search results - page 75 / 230 » Termination in language-based systems |
ENTCS
2006
13 years 10 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
CN
2000
13 years 9 months ago
2000
The General Packet Radio Service (GPRS), a data extension of the mobile telephony standard GSM, is emerging as the first true packet-switched architecture to allow mobile subscrib...
COMCOM
2000
13 years 9 months ago
2000
This paper introduces a location-based locating strategy for Personal Communication Services (PCS) systems. In the proposed scheme, location updates are based on the value of a mo...
ENTCS
2002
13 years 9 months ago
2002
This paper defines reduction on derivations in the strict intersection type assignment system of [2], by generalising cut-elimination, and shows a strong normalisation result for ...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract— A design scheme of the finite-time tracking controller is given for a general class of nonholonomic systems including extended chained systems, extended power systems,...