Sciweavers

2605 search results - page 135 / 521
» The many levels of CSCL
Sort
View
TACAS
2007
Springer
105views Algorithms» more  TACAS 2007»
16 years 18 days ago
Hoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
Magnus O. Myreen, Michael J. C. Gordon
WISA
2007
Springer
16 years 18 days ago
Detecting Motifs in System Call Sequences
The search for patterns or motifs in data represents an area of key interest to many researchers. In this paper we present the Motif Tracking Algorithm, a novel immune inspired pat...
William O. Wilson, Jan Feyereisl, Uwe Aickelin
IPPS
2006
IEEE
16 years 16 days ago
Towards building a highly-available cluster based model for high performance computing
In recent years, we have witnessed a growing interest in high performance computing (HPC) using a cluster of workstations. However, many challenges remain to be resolved before th...
Azzedine Boukerche, Raed Al-Shaikh, Mirela Sechi M...
VTC
2006
IEEE
117views Communications» more  VTC 2006»
16 years 15 days ago
Monitoring the Position Integrity in Road Transport Localization Based Services
— Nowadays, a new generation of civil location based services (LBS) included in the intelligent road transport systems (ITS-R) field is emerging. The reliability of positioning ...
José Santa, Benito Úbeda Miña...
WISE
2006
Springer
16 years 15 days ago
Calculation of Target Locations for Web Resources
. A location-based search engine must be able to find and assign proper locations to Web resources. Host, content and metadata location information are not sufficient to describe t...
Saeid Asadi, Jiajie Xu, Yuan Shi, Joachim Diederic...