Sciweavers

34181 search results - page 646 / 6837
» The Computer System GRAPHOGRAPH
Sort
View
UCS
2007
Springer
16 years 24 days ago
Context Awareness by Case-Based Reasoning in a Music Recommendation System
The recommendation system is one of the core technologies for implementing personalization services. Recommendation systems in ubiquitous computing environment should have the capa...
Jae Sik Lee, Jin Chun Lee
TPHOL
2005
IEEE
16 years 8 days ago
On the Correctness of Operating System Kernels
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach...
ICCS
2004
Springer
16 years 2 days ago
Artificial Immune System against Viral Attack
Since the first computer virus has been found, scanning detection has been used as a primarily method in virus detection systems. As computer viruses and worms become more complex ...
Hyungjoon Lee, Wonil Kim, Manpyo Hong
FPL
2003
Springer
95views Hardware» more  FPL 2003»
15 years 12 months ago
Reconfigurable Hardware SAT Solvers: A Survey of Systems
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...
Iouliia Skliarova, António de Brito Ferrari
IPPS
2002
IEEE
15 years 11 months ago
Supporting Co-Allocation in an Auctioning-Based Resource Allocator for Grid Systems
In this paper, we present the overall design for an auctioning based resource trading/acquiring system that can be deployed in wide-area computing systems such as Grid systems. Se...
Chunming Chen, Muthucumaru Maheswaran, Michel Toul...