6343 search results - page 202 / 1269 » Development of a Cartographic Language |
173
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
171
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
We have developed an instrumentation scheme that enables programs written in multithreaded languages to compute a critical path at run time.Our scheme gives not only the length (ex...
164
click to vote
MSE
2000
IEEE
15 years 10 months ago
2000
IEEE
With continuous acceptance of World Wide Web (WWW) as a de facto standard for human-computer interaction and human-human communication, it is desirable to develop net-centric, mul...
149
click to vote
VL
2000
IEEE
15 years 10 months ago
2000
IEEE
Five science teachers were observed during two selfstudy sessions where they learned to use Visual AgenTalk (VAT). In the first session they learned basic skills; in the second, t...
172
click to vote
ERCIMDL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This paper gives an overview of tools and methods for CrossLanguage Information Retrieval (CLIR) that are developed within the Twenty-One project. The tools and methods a...