Sciweavers

7597 search results - page 1190 / 1520
» On the design of metric relations
Sort
View
NDSS
2003
IEEE
16 years 2 days ago
Integrating Security, Mobility and Multi-Homing in a HIP Way
The current trend in mobile networking is towards mobile hosts that have multiple network interfaces, e.g., WLAN and GPRS. However, when the current Internet architecture was orig...
Pekka Nikander, Jukka Ylitalo, Jorma Wall
RIDE
2003
IEEE
16 years 2 days ago
ABHIDHA: An extended WordNet for Indo-Aryan Languages
– A lexical knowledge base is an important component of any intelligent information processing system. The WordNet developed at the Cognitive Systems Laboratories at Princeton ha...
Shireesh Reddy Annam, Monojit Choudhury, Sudeshna ...
185
Voted
TPHOL
2003
IEEE
16 years 2 days ago
First Order Logic with Domain Conditions
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
Freek Wiedijk, Jan Zwanenburg
WECWIS
2003
IEEE
118views ECommerce» more  WECWIS 2003»
16 years 2 days ago
Trade Determination in Multi-Attribute Exchanges
Electronic exchanges are double-sided marketplaces that allow multiple buyers to trade with multiple sellers, with aggregation of demand and supply across the bids to maximize the...
S. Kameshwaran, Y. Narahari
WMCSA
2003
IEEE
16 years 2 days ago
River: An Infrastructure for Context Dependent, Reactive Communication Primitives
Applications and services in ubiquitous computing systems often interact in a context-dependent, reactive manner. How information flows, and what services communicate when, is det...
Jong Hee Kang, Matthai Philipose, Gaetano Borriell...
« Prev « First page 1190 / 1520 Last » Next »