2501 search results - page 265 / 501 » Logics with Rank Operators |
121
click to vote
MOBIDE
1999
ACM
15 years 10 months ago
1999
ACM
In this article we introduce a new conception of three-dimensional DataSpace, which is physical space enhanced by connectivity to the network. DataSpace is addressed geographicall...
158
click to vote
WMCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes an approach for enabling remote database access from heterogeneous thin clients. DataX is a proxy-based architecture that supports disconnected operation by r...
132
click to vote
ICCD
1992
IEEE
15 years 10 months ago
1992
IEEE
We describe a new synthesis procedure for designing asynchronous controllers from burst-mode specifications, a class of specifications allowing multiple input change fundamental m...
144
click to vote
ITP
2010
15 years 9 months ago
2010
In this paper, we develop a general theory of fixed point combinators, in higher-order logic equipped with Hilbert’s epsilon operator. This combinator allows for a direct and e...
171
click to vote
FSTTCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We investigate streaming evaluation of filters on XML documents, evaluated both at the root node and at an arbitrary node. Motivated by applications in protocol processin...