3259 search results - page 96 / 652 » Modeling Autonomous-System Relationships |
SEMCO
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper focuses on the development of an event driven media sharing repository to facilitate community awareness. In this paper, an event refers to a real-world occurrence that...
BMCBI
2006
13 years 9 months ago
2006
Background: The relationship between disease susceptibility and genetic variation is complex, and many different types of data are relevant. We describe a web resource and databas...
MOVEP
2000
14 years 19 days ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
AIED
2009
Springer
14 years 3 months ago
2009
Springer
This paper introduces t-OLM, an open learner model to investigate user trust in a range of learner model externalisations. It was found that, while sufficient levels of use were ma...
CSREAEEE
2006
13 years 10 months ago
2006