Sciweavers

2131 search results - page 254 / 427
» Stochastic Process Creation
Sort
View
IJCSA
2006
95views more  IJCSA 2006»
15 years 4 months ago
Modeling and Formal Verification of DHCP Using SPIN
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
INFORMATICALT
2000
118views more  INFORMATICALT 2000»
15 years 4 months ago
Hexagonal Approach and Modeling for the Visual Cortex
In this paper, the hexagonal approach was proposed for modeling the functioning of cerebral cortex, especially, the processes of learning and recognition of visual information. Thi...
Algis Garliauskas, Alvydas Soliunas
ER
2010
Springer
129views Database» more  ER 2010»
15 years 2 months ago
SQOWL: Type Inference in an RDBMS
In this paper we describe a method to perform type inference over data stored in an RDBMS, where rules over the data are specified using OWLDL. Since OWL-DL is an implementation of...
Peter McBrien, Nikos Rizopoulos, Andrew Smith
HCI
2009
15 years 2 months ago
User Centered Design of a Learning Object Repository
This work outlines the design process of a user centered learning object repository. A repository should foster the development and acquisition of both generic and specific informa...
Núria Ferran, Ana-Elena Guerrero-Rold&aacut...
ESI
2010
119views more  ESI 2010»
14 years 11 months ago
A roadmap for a dedicated Earth Science Grid platform
Due to its intensive data processing and highly distributed organization, the multidisciplinary Earth Science applications community is uniquely positioned for the uptake and explo...
Roberto Cossu, Monique Petitdidier, Julian Linford...