4666 search results - page 795 / 934 » Equations on Timed Languages |
156
click to vote
OHS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The World Wide Web (WWW) was originally designed to handle relatively simple files, containing just text and graphics. With the development of more advanced Web browsers...
140
click to vote
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
Communication and collaboration is difficult in geographically distributed settings. As a result of globalization, merges and acquisition, and scarce skills, software development...
119
click to vote
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
154
click to vote
SIGMOD
2000
ACM
15 years 8 months ago
2000
ACM
We consider spatio-temporal databases supporting spatial objects with continuously changing position and extent, termed moving objects databases. We formally define a data model f...
139
click to vote
CLEF
2000
Springer
15 years 8 months ago
2000
Springer
The application of nlp techniques to improve the results of information retrieval is still considered as a controversial issue, whereas nlp techniques in cross-language informatio...