One of the critical design issues in Optical Burst Switching (OBS) networks is finding ways to minimize burst dropping resulting from resource contention. The existing variants of the basic deflection routing schemes all lack the ability to determine the alternate route based on clear performance objectives. In this paper, we present Contention-Based Limited Deflection Routing (CLDR) scheme, wh...

Location-dependent services are services that adapt their behavior based on the locations of mobile devices. For many applications, it is critical that location-dependent services use trustworthy device locations, namely locations that are both accurate and recent. These properties are captured by a security goal called locale authentication whereby an entity can authenticate the physical locat...

We give a construction of coequalisers in formal topology, a predicative version of locale theory. MSC: 03F65, 06D22, 54B15.