11808 search results - page 1956 / 2362 » Isometries and Computability Structures |
175
click to vote
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...
183
click to vote
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
There are two main paradigms for querying semi structured data: regular path queries and XPath. The aim of this paper is to provide a synthesis between these two. This synthesis i...
187
Voted
P2P
2005
IEEE
16 years 13 days ago
2005
IEEE
The success of the P2P idea has created a huge diversity of approaches, among which overlay networks, for example, Gnutella, Kazaa, Chord, Pastry, Tapestry, P-Grid, or DKS, have r...
159
click to vote
QSIC
2005
IEEE
16 years 13 days ago
2005
IEEE
While the use of computer applications is widely spread in every business and, hence, the reliability of software is critical, it is believed that many organizations involved in s...
213
click to vote
RTCSA
2005
IEEE
16 years 13 days ago
2005
IEEE
We propose a real-time message scheduling algorithm which is applied to schedule periodic realtime messages in IEEE 802.15.4 for LR-WPAN(Low Rate Wireless Personal Area Network). ...