Sciweavers

1021 search results - page 53 / 205
» Concepts in Proof Planning
Sort
View
CSREAESA
2004
13 years 10 months ago
Flexible Internet Based Diagnostics of Embedded Systems
The remote diagnostics of faults and operating states of technical equipment offers increased benefits and cost advantages for consumers and manufacturers. These advantages can al...
Jan Traumueller
CHI
2007
ACM
14 years 9 months ago
Approaches to web search and navigation for older computer novices
: A proof of concept web search and navigation system was developed for older people for whom the Internet is seen as an alien territory. A joint industry/academia team deployed Us...
Anna Dickinson, Michael J. Smith, John L. Arnott, ...
VL
2007
IEEE
132views Visual Languages» more  VL 2007»
14 years 3 months ago
A Study on Applying Roles of Variables in Introductory Programming
Expert programmers possess programming knowledge, which is language independent and abstract. Still, programming is mostly taught only via constructs of a programming language and...
Pauli Byckling, Jorma Sajaniemi
OOPSLA
1990
Springer
14 years 22 days ago
Type Substitution for Object-Oriented Programming
Genericity allows the substitution of types in a class. This is usually obtained through parameterized classes, although they are inflexible since any class can be inherited but i...
Jens Palsberg, Michael I. Schwartzbach
WSC
2000
13 years 10 months ago
Agent-directed simulation: challenges to meet defense and civilian requirements
The aim of this panel session is to point out the importance of agent-directed simulation, as a scientific concept and technological possibility, to enhance the potential of simul...
Tuncer I. Ören, Susan K. Numrich, Adelinde Uh...