5615 search results - page 72 / 1123 » On the Computational Capabilities of Several Models |
EXPERT
2006
14 years 10 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
ECMDAFA
2007
Springer
14 years 11 months ago
2007
Springer
In object technology, reusability is achieved primarily through class inheritance. In model engineering, where reusability is also important, it should be possible to extend a mode...
ESCIENCE
2006
IEEE
15 years 1 months ago
2006
IEEE
Jylab is a portable and flexible scientific computing system favoring extensibility. It provides a user with a scripting language and a core set of libraries implementing numerica...
HPCC
2005
Springer
15 years 3 months ago
2005
Springer
In this paper a new and powerful computer simulation capability for the characterization of carbonaceous nanoparticle assemblies across multiple, connected scales, starting from th...
SUTC
2006
IEEE
15 years 3 months ago
2006
IEEE
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...