Sciweavers

1106 search results - page 82 / 222
» Software That Can Think and Do
Sort
View
AIED
2007
Springer
16 years 18 days ago
Lowering the Bar for Creating Model-Tracing Intelligent Tutoring Systems
The main goal of the work presented here is to allow for the broader dissemination of intelligent tutoring technology. To accomplish this goal, we have two clear objectives. First,...
Stephen Blessing, Stephen B. Gilbert, Steven Ourad...
IUI
2005
ACM
15 years 12 months ago
Personal reporting of a museum visit as an entrypoint to future cultural experience
Museum visitors can continue interacting with museum exhibits even after they have left the museum. We can help them do this by creating a report that includes a basic, personaliz...
Charles B. Callaway, Tsvi Kuflik, Elena Not, Aless...
VSTTE
2005
Springer
15 years 12 months ago
WYSINWYX: What You See Is Not What You eXecute
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
Gogul Balakrishnan, Thomas W. Reps, David Melski, ...
FASE
2004
Springer
15 years 11 months ago
Reasoning about Card Tears and Transactions in Java Card
The Java dialect Java Card for programming smartcards contains some features which do not exist in Java. Java Card distinguishes persistent and transient data (data stored in EEPRO...
Engelbert Hubbers, Erik Poll
APSEC
2003
IEEE
15 years 11 months ago
Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
Siv Hilde Houmb, Jan Jürjens