557 search results - page 92 / 112 » The L4.verified Project - Next Steps |
ISPAN
2009
IEEE
14 years 2 months ago
2009
IEEE
As demand for grid and cloud computing solutions increases, the need for user oriented software to provide access to theses resources also increases. Until recently the use of com...
AIME
2009
Springer
14 years 2 months ago
2009
Springer
The care of the elder at home is highly demanded in modern societies. It is based on the difficult task of coordinating multiple professionals and procedures acting on the same pa...
WEBDB
2009
Springer
14 years 2 months ago
2009
Springer
We study the problem of schema evolution in the RDF data model. RDF and the RDFS schema language are W3C standards for flexibly modeling and sharing data on the web. Although sch...
ECTEL
2009
Springer
14 years 2 months ago
2009
Springer
A very wide range of online interaction analysis staying in the hands of researchers, and tools being implemented in research prototypes, often used only in non-replicated experime...
SMA
2009
ACM
14 years 2 months ago
2009
ACM
We present a robust method to generate mesh surfaces from unoriented noisy points in this paper. The whole procedure consists of three steps. Firstly, the normal vectors at points...