28445 search results - page 619 / 5689 » Anatomically based modeling |
154
click to vote
NTMS
2008
IEEE
15 years 11 months ago
2008
IEEE
—We propose an access control model that extends RBAC (Role-Based Access Control) to take time and location into account, and use term rewriting systems to specify access control...
138
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
155
click to vote
EUROMICRO
2005
IEEE
15 years 10 months ago
2005
IEEE
Many component models have been proposed to address the challenge of reducing software development time and costs. Such models often offer similar functionality. We study how deve...
139
click to vote
ESANN
2007
15 years 6 months ago
2007
We propose a network model of spiking neurons, without preimposed topology and driven by STDP (Spike-Time-Dependent Plasticity), a temporal Hebbian unsupervised learning mode, biol...
130
click to vote
IADIS
2004
15 years 6 months ago
2004
This paper proposes a collaborative approach for personal task management which is modeled as an alliance model. Alliance model is based on information sharing and collaboration o...