557 search results - page 76 / 112 » The L4.verified Project - Next Steps |
WETICE
2003
IEEE
14 years 28 days ago
2003
IEEE
Recently, Agile Software Processes have been discussed as flexible and light-weight alternatives to established Software Engineering approaches, in order to overcome the obstacles...
ERLANG
2003
ACM
14 years 27 days ago
2003
ACM
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
AIIA
2003
Springer
14 years 27 days ago
2003
Springer
We describe the web usage mining activities of an on-going project, called ClickWorld3 , that aims at extracting models of the navigational behaviour of a web site users. The model...
DAGM
2003
Springer
14 years 27 days ago
2003
Springer
We present an approach for estimating the relative transformations between fragments of a broken cylindrical structure in 3d. To solve this problem, we first measure the orientatio...
IDEAL
2003
Springer
14 years 26 days ago
2003
Springer
Mining frequent patterns has been a topic of active research because it is computationally the most expensive step in association rule discovery. In this paper, we discuss the use ...