1541 search results - page 15 / 309 » Interaction Analysis in Aspect-Oriented Models |
KDD
2006
ACM
14 years 8 months ago
2006
ACM
Finding patterns of social interaction within a population has wide-ranging applications including: disease modeling, cultural and information transmission, and behavioral ecology...
DSN
2007
IEEE
14 years 1 months ago
2007
IEEE
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
WSC
2007
13 years 9 months ago
2007
SimVis is a novel technology for the interactive visual analysis of large and complex flow data which results from Computational Fluid Dynamics (CFD) simulation. The new technolo...
AIED
2009
Springer
14 years 2 months ago
2009
Springer
The aim of the project we discuss in this paper is to develop a computational model of peer learning. We present an extensive analysis of peer learning dialogues, analysis on which...