2757 search results - page 63 / 552 » On separating systems |
IEEECIT
2006
IEEE
14 years 4 months ago
2006
IEEE
Recently, adaptive course generation has been focusing by several researchers. We have built ACGs system to create adaptive courses for each learner based on evaluating demand, ab...
MMMACNS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
CSFW
1999
IEEE
14 years 2 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
ARES
1998
Springer
14 years 2 months ago
1998
Springer
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...
NIPS
2003
13 years 11 months ago
2003
Synapses are a critical element of biologically-realistic, spike-based neural computation, serving the role of communication, computation, and modification. Many different circui...