Sciweavers

3116 search results - page 463 / 624
» Positively dependent types
Sort
View
AICCSA
2005
IEEE
138views Hardware» more  AICCSA 2005»
16 years 4 days ago
Design, implementation and testing of mobile agent protection mechanism for MANETS
—In the current research, we present an operation framework and protection mechanism to facilitate secure environment to protect mobile agents against tampering. The system depen...
K. E. A. Negm
CLUSTER
2005
IEEE
16 years 4 days ago
Service Level Agreement based Allocation of Cluster Resources: Handling Penalty to Enhance Utility
Jobs submitted into a cluster have varying requirements depending on user-specific needs and expectations. Therefore, in utility-driven cluster computing, cluster Resource Manage...
Chee Shin Yeo, Rajkumar Buyya
CSB
2005
IEEE
143views Bioinformatics» more  CSB 2005»
16 years 3 days ago
Multivariate gene selection: Does it help
When building predictors of disease state based on gene expression data, gene selection is performed in order to achieve a good performance and to identify a relevant subset of ge...
Carmen Lai, Marcel J. T. Reinders
HAPTICS
2005
IEEE
16 years 3 days ago
The Effect of Stiffness and Curvature on the Haptic Identification of Surfaces
We performed experiments to investigate how humans acquire an internal representation of virtual objects through the execution of reaching movements across the object surface. Sub...
Vikram S. Chib, James L. Patton, Kevin M. Lynch, F...
ICTAI
2005
IEEE
16 years 3 days ago
Applying a Taxonomy of Formation Control in Developing a Robotic System
Designing cooperative multi-robot systems (MRS) requires expert knowledge both in control and artificial intelligence. Formation control is an important research within the resea...
Harry Chia-Hung Hsu, Alan Liu