557 search results - page 9 / 112 » The L4.verified Project - Next Steps |
IEEEIAS
2009
IEEE
14 years 3 months ago
2009
IEEE
: A common technique hacker use is to route their traffic through a chain of stepping-stone hosts. It is generally agreed that there is no valid reason to use a long connection cha...
ISWC
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper we describe the first stand-alone Augmented Reality (AR) system with self-tracking running on an unmodified personal digital assistant (PDA) with a commercial camera...
KI
2008
Springer
13 years 8 months ago
2008
Springer
Requirements engineering is a central part of software projects. It is assumed that two third of all errors in software projects are caused by forgotten requirements or mutual misu...
LREC
2008
13 years 10 months ago
2008
We report about a project which brings together Natural Language Processing and eLearning. One of the functionalities developed within this project is the possibility to annotate ...
SIGPRO
2008
13 years 8 months ago
2008
Based on dynamic features of human speech, the local projection (LP) method has been adapted to the enhancement of speech corrupted by white noise. As an extension of the LP metho...