243 search results - page 18 / 49 » Towards a Type System for Analyzing JavaScript Programs |
UM
2009
Springer
14 years 2 months ago
2009
Springer
When developing an Adaptive Learning System (ALS), users are generally consulted (if at all) towards the end of the development cycle. This can limit users’ feedback to the chara...
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
ISWC
2002
IEEE
14 years 12 days ago
2002
IEEE
In this paper, we discuss wearable interfaces for a computational memory-aid useful in everyday life. The aim of this study is to develop a Video Diary system with vision interfac...
CADE
2009
Springer
14 years 8 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
GCC
2005
Springer
14 years 1 months ago
2005
Springer
With increasing concerns about the personalized information space, users have been posting various types of information on their own blogs. Due to the domain-specific properties of...