3482 search results - page 362 / 697 » Cooperative Assembly Systems |
174
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
157
click to vote
ICALT
2007
IEEE
15 years 10 months ago
2007
IEEE
Technology Supported Learning Systems have proved to be useful in many learning situations. However, the development of such systems is still a hard task. Ontologies and Learning ...
201
click to vote
KES
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents an open, concurrent model of adaptive hypermedia all its functionality and data are completely distributed on a web of autonomous actors. The model that enable...
118
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
We have developed a general denition of segregation in the context of Z system specications. This denition is general enough to allow multi-way communications between otherwise seg...
160
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...