5107 search results - page 188 / 1022 » Design Issue Of ECTST |
112
click to vote
FROCOS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
115
click to vote
ISPA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. HPJava is an environment for scientific and parallel programming using Java. It is based on an extended version of the Java language. One feature that HPJava adds to Jav...
118
click to vote
ITRUST
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The early adoption of a national, legal digital signature framework in Italy has brought forth a series of problems and vulnerabilities. In this paper we describe each of...
HT
2004
ACM
15 years 8 months ago
2004
ACM
This hypertext reports on issues in hypertext rhetoric and presentation that arise in composing a large argumentative hypertext associated with a book version of the same project....
120
click to vote
ITICSE
2004
ACM
15 years 8 months ago
2004
ACM
This presentation describes a project for a standard undergraduate human-computer interaction (HCI) course that incorporates issues related to users who are disabled. It is part o...