3244 search results - page 234 / 649 » Extensions to Description Logics |
155
click to vote
ICNP
1999
IEEE
15 years 10 months ago
1999
IEEE
A protocol for the reliable multicast of data to mobile hosts is described. A logical ring is maintained between all the base stations that handle the multicast traffic of the sam...
144
click to vote
LACL
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we give a formal description of the parsing model that underlies the treatment of Long Distance Dependencies, Topic and Focus, Ellipsis and Quantification in, amongs...
169
click to vote
APAL
2008
15 years 6 months ago
2008
System BV is an extension of multiplicative linear logic (MLL) with the rules mix, nullary mix, and a self-dual, non-commutative logical operator, called seq. While the rules mix ...
159
click to vote
LICS
2007
IEEE
16 years 23 days ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
178
click to vote
GLOBECOM
2006
IEEE
16 years 17 days ago
2006
IEEE
Abstract— A multi-channel wireless mesh network (MCWMN) consists of a number of stationary wireless routers, where each router is equipped with multiple network interface cards (...