6607 search results - page 605 / 1322 » Making TeX Work |
215
click to vote
ESORICS
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
189
click to vote
EUROPAR
2005
Springer
16 years 21 days ago
2005
Springer
Availability and performance can be improved using data replication as the basic technique, thus benefitting the services provided by a distributed system. However, replication im...
190
click to vote
ICCS
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Modeling is considered an inherent part of design, operation and optimization of Water Quality Systems. Models are used for running so-called Virtual Experiments, such as...
166
click to vote
ICDT
2005
ACM
16 years 21 days ago
2005
ACM
What does a data stream mean? Much of the extensive work on query operators and query processing for data streams has proceeded without the benefit of an answer to this question. ...
175
click to vote
ICWL
2005
Springer
16 years 21 days ago
2005
Springer
In this paper we investigate the use of Latent Semantic Analysis (LSA), Critiquing Systems, and Knowledge Building to support computerbased teaching of English composition. We have...