4469 search results - page 700 / 894 » A Language for Role Specifications |
142
click to vote
COOTS
2001
15 years 7 months ago
2001
Mainstream object-oriented languages, such as C++ and Java1 , provide only a restricted form of polymorphic methods, namely uni-receiver dispatch. In common programming situations...
160
click to vote
ISTA
2004
15 years 7 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
189
click to vote
GEOINFO
2003
15 years 7 months ago
2003
This paper introduces the Telecommunication Outside Plant Markup Language (TOPML), an OpenGis GML (Geographic Markup Language) application schema designed to describe telecommunica...
166
click to vote
IJCAI
2003
15 years 7 months ago
2003
The promise of dynamic selection of business services and automatic integration of applications written to Web Services standards is yet to be realized. This is partially attribut...
173
click to vote
TREC
2000
15 years 7 months ago
2000
MNIS-TextWise Labs participated in the TREC-9 Chinese Cross-Language Information Retrieval track. The focus of our research for this participation has been on rapidly adding Chine...