Sciweavers

2605 search results - page 285 / 521
» The many levels of CSCL
Sort
View
IWINAC
2005
Springer
16 years 3 days ago
Simulation of Orientation Contrast Sensitive Cell Behavior in TiViPE
Many cells in the primary visual cortex respond differently when a stimulus is placed outside their classical receptive field (CRF) compared to the stimulus within the CRF alone,...
Tino Lourens, Emilia I. Barakova
MSN
2005
Springer
16 years 3 days ago
Dual Binding Update with Additional Care of Address in Network Mobility
In this paper, we propose an end-to-end route optimization scheme for nested mobile networks, which we refer to as Dual Binding Update (DBU ). In general, the nested mobile network...
Kwang Chul Jeong, Tae-Jin Lee, Hyunseung Choo
SAS
2005
Springer
134views Formal Methods» more  SAS 2005»
16 years 2 days ago
Using Dependent Types to Certify the Safety of Assembly Code
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
Matthew Harren, George C. Necula
UML
2005
Springer
16 years 2 days ago
A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
Jaime A. Pavlich-Mariscal, Laurent Michel, Steven ...
WILF
2005
Springer
86views Fuzzy Logic» more  WILF 2005»
16 years 2 days ago
Intelligent Track Analysis on Navy Platforms Using Soft Computing
We have developed and continue to enhance automated intelligent software that performs the tasks and decision making which now occurs by the personnel manning watch stations in the...
Robert Richards, Richard Stottler, Ben Ball, Cosku...