1833 search results - page 340 / 367 » Mechanized Verification with Sharing |
ICC
2007
IEEE
14 years 5 months ago
2007
IEEE
— Modern cities are becoming increasingly networked Network Operator and the Service Providers can introduce environments and a plethora of computing equipment interacts their ow...
ICC
2007
IEEE
14 years 5 months ago
2007
IEEE
: A light-trail is a generalized lightpath that enables multiple nodes to statistically share an optical communication path (wavelength bus). A light-trail is different from a ligh...
ICMCS
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper presents a method for automatically annotating and retrieving animal images. Our model is a multi-modality ontology extended from our previous works in the sense that b...
ICON
2007
IEEE
14 years 5 months ago
2007
IEEE
— Security is paramount in Mobile Ad-hoc Networks (MANET) as they are not conducive to centralized trusted authorities. Several solutions have been proposed MANET in the areas of...
ISCA
2007
IEEE
14 years 5 months ago
2007
IEEE
Due to wire delay scalability and bandwidth limitations inherent in shared buses and dedicated links, packet-switched on-chip interconnection networks are fast emerging as the per...