557 search results - page 76 / 112 » The L4.verified Project - Next Steps |
WETICE
2003
IEEE
15 years 3 months 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
15 years 3 months 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...
106
click to vote
AIIA
2003
Springer
15 years 3 months 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
15 years 2 months 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
15 years 2 months 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 ...