2607 search results - page 66 / 522 » On the Architecture of System Verification Environments |
ICALT
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, we explore the idea of Intelligent Learning Environment (ILE) by building a system for teaching and learning music in a web-based environment. Our system is a frame...
110
click to vote
DEXAW
2000
IEEE
15 years 3 months ago
2000
IEEE
Over the last few years, the importance of mobile computing as been steadily increasing. While it is important to provide support for accessing databases in disconnected computing...
CADE
2000
Springer
15 years 4 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...
SCM
1998
15 years 1 months ago
1998
As part of an investigation of scalable development techniques for systems written in the JavaTM programming language, the Forest Project is building JP, a prototype distributed pr...
MOBICOM
2000
ACM
15 years 4 months ago
2000
ACM
This paper describes an e-mail system for wearable computing environments. In this system, we extend the conventional mail format and the server/client(browser) architecture by co...