6201 search results - page 1059 / 1241 » Implementation of Axiomatic Language |
210
click to vote
VRML
1998
ACM
15 years 10 months ago
1998
ACM
In its current state, VRML does not provide support for interaction and on-line access to databases, even though these are two fundamental issues for business applications. We hav...
155
click to vote
EP
1998
Springer
15 years 10 months ago
1998
Springer
Two complementary de facto standards for the publication of electronic documents are HTML on the World Wide Web and Adobe's PDF (Portable Document Format) language for use wi...
150
click to vote
FMCAD
1998
Springer
15 years 10 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
214
click to vote
COOPIS
1997
IEEE
15 years 10 months ago
1997
IEEE
To simplify the task of obtaining information from the vast number of information sources that are available on the World Wide Web (WWW), we are building tools to build informatio...
167
click to vote
ITS
1998
Springer
15 years 10 months ago
1998
Springer
The Tutoring Research Group at the University of Memphis is developing an intelligent tutoring system which takes advantages of recent technological advances in the areas of semant...