13489 search results - page 293 / 2698 » Operating System |
162
click to vote
IPL
2006
15 years 6 months ago
2006
In this paper, we propose a new proof method for strong normalization of calculi with control operators, and, by this method, we prove strong normalization of the system
172
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
To effectively support today's global economy, database systems need to store and manipulate text data in multiple languages simultaneously. Current database systems do suppor...
133
click to vote
ANSS
1999
IEEE
15 years 11 months ago
1999
IEEE
The results presented here are based on many years of experience of development and application of DYANA
156
click to vote
SIGOPSE
1990
ACM
15 years 10 months ago
1990
ACM
u s e s t h e p r i m a r y c o p y r e p l i c a t i o nAbstract technique [1, 26, 27]. In this method, client calls are directed to a single primary server, which communicatesThi...
196
click to vote
KIVS
2009
Springer
16 years 1 months ago
2009
Springer
We present an integrated approach for supporting in-network sensor data processing in dynamic and heterogeneous sensor networks. The concept relies on data stream processing techni...