11345 search results - page 1709 / 2269 » Foundations of Computer Science |
165
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
Though programming languages and programming styles evolve with remarkable speed today, there is no such evolution in the field of program documentation. And although there exist ...
168
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
Storage costs are rapidly decreasing, making it feasible to store larger amounts of data in databases. This also makes it possible to store previous versions of data in the databa...
154
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
Timed automata are known not to be complementable or determinizable. Natural questions are, then, could we check whether a given TA enjoys these properties? These problems are not...
177
Voted
HUMAN
2003
Springer
15 years 11 months ago
2003
Springer
Object caching is a desirable feature to improve the both scalability and performance of distributed application systems for information infrastructure, the information management ...
174
Voted
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...