2513 search results - page 425 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
WWW
2008
ACM
14 years 10 months ago
2008
ACM
In this paper, we discuss challenges and provide solutions for capturing and maintaining accurate models of user profiles using semantic web technologies, by aggregating and shari...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
HICSS
2009
IEEE
14 years 4 months ago
2009
IEEE
We designed and implemented an ontological solution which makes provisions for choosing adequate devices/sensors for remote monitoring of patients who are suffering from post-stro...
ISORC
2009
IEEE
14 years 4 months ago
2009
IEEE
There is increasing convergence between the fields of parallel and embedded computing. The demand for more functionality in embedded devices means that complex multicore architec...
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
— In this paper, the development of humanoid robot HRP-3 is presented. HRP-3, which stands for Humanoid Robotics Platform–3, is a human-size humanoid robot developed as the suc...