4731 search results - page 604 / 947 » Securing Interactive Programs |
177
click to vote
ESOP
2003
Springer
15 years 12 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
153
click to vote
FATES
2003
Springer
15 years 12 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
195
Voted
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Past research on software comprehension tools has produced a wealth of lessons in building good tools. However our explanations of these tools tends to be weakly grounded in exist...
187
click to vote
IFIP
2010
Springer
15 years 11 months ago
2010
Springer
Automatic facial expressions recognition using vision is an important subject towards human-robot interaction. Here is proposed a human face focus of attention technique and a faci...
160
click to vote
OHS
2001
Springer
15 years 11 months ago
2001
Springer
Developing adaptive internet based learning courses usually requires a lot of programming efforts to provide session management, keeping track of the learners current state, and ad...