21430 search results - page 3852 / 4286 » Abstract Effective Models |
184
click to vote
ICFEM
2004
Springer
16 years 6 days ago
2004
Springer
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...
176
click to vote
ICWE
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In recent years, more and more publications and material for studying and teaching, e. g. for Web-based teaching (WBT), appear "online" and digital libraries ar...
165
Voted
ICWL
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In many circumstances, including e-learning, there is a need to reorganize digital resources, scattered in many places, into a coherently accessible repository. This pape...
182
click to vote
IFM
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
161
click to vote
ISW
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Digitalization of content is both a blessing and a curse. While it allows for efficient transmission and consumption, the ease of copying and sharing digital content has ...