Sciweavers

26496 search results - page 141 / 5300
» An Approach to Computing Ethics
Sort
View
ESOP
2005
Springer
15 years 10 months ago
Computationally Sound, Automated Proofs for Security Protocols
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
Véronique Cortier, Bogdan Warinschi
EUROPAR
2005
Springer
15 years 10 months ago
On the Use of Virtualization and Service Technologies to Enable Grid-Computing
The In-VIGO approach to Grid-computing relies on the dynamic establishment of virtual grids on which application services are instantiated. InVIGO was conceived to enable computati...
Andréa M. Matsunaga, Maurício O. Tsu...
COR
2006
95views more  COR 2006»
15 years 4 months ago
Hybrid meta-heuristics algorithms for task assignment in heterogeneous computing systems
In this paper we tackle the task assignment problem (TSAP) in heterogeneous computer systems. The TSAP consists of assigning a given distributed computer program formed by a numbe...
Sancho Salcedo-Sanz, Yong Xu, Xin Yao
SEC
1996
15 years 5 months ago
Intention modelling: approximating computer user intentions for detection and prediction of intrusions
This paper introduces and describes an innovative modelling approach which utilises models that are synthesised through approximate calculations of user actions and extensive repr...
Thomas Spyrou, John Darzentas
ICDM
2006
IEEE
155views Data Mining» more  ICDM 2006»
15 years 10 months ago
Automatic Single-Organ Segmentation in Computed Tomography Images
In this paper, we propose a hybrid approach for automatic single-organ segmentation in Computed Tomography (CT) data. The approach consists of three stages: first, a probability i...
Ruchaneewan Susomboon, Daniela Stan Raicu, Jacob D...