557 search results - page 97 / 112 » The L4.verified Project - Next Steps |
NORDICHI
2006
ACM
14 years 1 months ago
2006
ACM
This paper examines the use of motorized physical sliders with position and force as input and output parameters for tangible human computer interaction. Firstly, we present an an...
OZCHI
2006
ACM
14 years 1 months ago
2006
ACM
The project is working towards building an understanding of the personal interests and experiences of children with the aim of designing appropriate, usable and, most importantly,...
VISSOFT
2005
IEEE
14 years 1 months ago
2005
IEEE
Versioning systems such as CVS or Subversion exhibit a large potential to investigate the evolution of software systems. They are used to record the development steps of software ...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Overlay networks are an important kind of P2P infrastructures. The range of applications and requirements is broad. Consequently, our research objective are overlay netwo...
CASSIS
2005
Springer
14 years 1 months ago
2005
Springer
This paper introduces notions of resource policy for mobile code to be run on smart devices, to integrate with the proof-carrying code architecture of the Mobile Resource Guarantee...