154 search results - page 30 / 31 » Web Interfaces for Proof Assistants |
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Personalized support for learners becomes even more important, when e-Learning takes place in open and dynamic learning and information networks. This paper shows how to realize p...
IEEEARES
2009
IEEE
14 years 2 months ago
2009
IEEE
—Making use of the World Wide Web’s numerous services increasingly requires the disclosure of personal user data. While these data represent an important value for service prov...
W4A
2009
ACM
14 years 1 months ago
2009
ACM
Persons with disabilities are often marginalised from economy and society due to the lack of access to disability related information and services. Through the use of assistive te...
PEPM
2010
ACM
14 years 4 months ago
2010
ACM
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Par...
DIGITALCITIES
2003
Springer
14 years 18 days ago
2003
Springer
We have developed a digital city for Kyoto, the old capital and cultural center of Japan, as a social information infrastructure for urban everyday life including shopping, busines...