WOLLIC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
WOLLIC
2007
Springer
14 years 3 months ago
2007
Springer
WOLLIC
2007
Springer
14 years 3 months ago
2007
Springer
WOLLIC
2007
Springer
14 years 3 months ago
2007
Springer
UIC
2007
Springer
14 years 3 months ago
2007
Springer
UIC
2007
Springer
14 years 3 months ago
2007
Springer
As wireless communication advances, research on location-based services using mobile devices has attracted interest, which provides information and services related to user’s phy...
UIC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Devices like PDAs, mobile phones and Smartcards can communicate with each other and to exchange information and they should be made mutually aware of each other. For priv...
UIC
2007
Springer
14 years 3 months ago
2007
Springer
Recent advances in wireless and mobile networking technology pose a new set of requirements and challenges that are not previously thought of, when it comes to smart space middlewa...
UIC
2007
Springer
14 years 3 months ago
2007
Springer
Emerging applications of RFID require high efficiency of tag identification. Since passive tags have dumb functionality, the efficiency of tag identification in RFID system reli...
UIC
2007
Springer
14 years 3 months ago
2007
Springer
This paper proposes a new persistent storage to efficiently manage OWL Web ontologies. The Semantic Web is recognized as a next direction for progress of the current Web. To realiz...