1448 search results - page 179 / 290 » Restricted Stack Implementations |
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— Existing methods for local area service discovery either don’t scale or rely on a trustworthy directory server; in some environments these restrictions are unacceptable or im...
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
— The broadcast nature of existing wireless LANs can produce excessive radio coverage which is often undesirable for applications like wireless IPTV or location-based service. To...
NCA
2007
IEEE
14 years 3 months ago
2007
IEEE
Although database replication has been a standard feature in database management systems for a long time, third party solutions have been enjoying an increasing popularity. These ...
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
BTW
2007
Springer
14 years 3 months ago
2007
Springer
: Model Management aims at developing new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be performed by means of a set...