1268 search results - page 125 / 254 » One Logic to Use Them All |
102
Voted
LICS
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
107
Voted
CORR
2007
Springer
15 years 17 days ago
2007
Springer
Multicast is a central challenge for emerging multi-hop wireless architectures such as wireless mesh networks, because of its substantial cost in terms of bandwidth. In this artic...
115
Voted
JODL
2007
15 years 19 days ago
2007
Abstract. Content-oriented XML retrieval systems support access to XML repositories by retrieving, in response to user queries, XML document components (XML elements) instead of wh...
123
Voted
AICT
2006
IEEE
15 years 6 months ago
2006
IEEE
Bluetooth is a wireless specification delivering short-range radio communication between electronic devices that are equipped with specialized Bluetooth chips. It lets nearly all ...
126
Voted
CSCW
2011
ACM
14 years 7 months ago
2011
ACM
Computer users rely on software tools to work effectively and efficiently, but it is difficult for users to be aware of all the tools that might be useful to them. While there a...