1772 search results - page 87 / 355 » The Model Coupling Toolkit |
IJCAI
2001
15 years 19 days ago
2001
Groundedmodels(Siena2001b)differ fromaxiomatictheories in establishingexplicit connectionsbetweenlanguage andreality that are learnedthroughlanguagegames(Wittgenstein 1953).Thispa...
FMCO
2003
Springer
15 years 4 months ago
2003
Springer
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...
118
click to vote
DBSEC
1996
15 years 17 days ago
1996
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 ...
PDP
2003
IEEE
15 years 4 months ago
2003
IEEE
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...
SIAMMA
2010
14 years 6 months ago
2010
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,...