Sciweavers

1772 search results - page 87 / 355
» The Model Coupling Toolkit
Sort
View
IJCAI
2001
15 years 7 months ago
Grounded Models as a Basis for Intuitive Reasoning
Groundedmodels(Siena2001b)differ fromaxiomatictheories in establishingexplicit connectionsbetweenlanguage andreality that are learnedthroughlanguagegames(Wittgenstein 1953).Thispa...
Josefina Sierra-Santibáñez
FMCO
2003
Springer
154views Formal Methods» more  FMCO 2003»
15 years 11 months ago
Tools for Generating and Analyzing Attack Graphs
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...
Oleg Sheyner, Jeannette M. Wing
DBSEC
1996
125views Database» more  DBSEC 1996»
15 years 7 months ago
A Framework for High Assurance Security of Distributed Objects
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
John Hale, Jody Threet, Sujeet Shenoi
PDP
2003
IEEE
15 years 11 months ago
Building Grid MPI Applications from Modular Components
Coupling grid applications developed by different teams requires code modification and high S/W engineering effort. In the Ensemble methodology message passing components are deve...
Yiannis Cotronis
SIAMMA
2010
89views more  SIAMMA 2010»
15 years 28 days ago
The Navier-Stokes-Vlasov-Fokker-Planck System near Equilibrium
This paper is concerned with a system that couples the incompressible Navier-Stokes equations to the Vlasov-Fokker-Planck equation. Such a system arises in the modeling of sprays,...
Thierry Goudon, Lingbing He, Ayman Moussa, Ping Zh...