Distributed models for deduction allow for more powerful proof systems, but also lead to new problems. In particular, the analysis of the deduction process becomes harder, as a number of largely independent agents may contribute to the proof. In a system including cooperating agents, timing consider
Capability-based distributed layout and its simulation based analyses
✍ Scribed by Adil Baykasoğlu; Mustafa Göçken
- Publisher
- Springer US
- Year
- 2008
- Tongue
- English
- Weight
- 338 KB
- Volume
- 21
- Category
- Article
- ISSN
- 0956-5515
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
In this paper we present an environment for the development of Java-based discrete event simulations. An integrated approach is taken that combines discrete event semantics with Java and exceeds the expressiveness of discrete event libraries. The environment supports advanced techniques including di
## Abstract This paper presents a Distributed Network Simulation Environment (DNSE) based on grid technology that, unlike the well‐known ns‐2 simulator, provides two important features that facilitate the study of network scenarios that require running multiple simulations. First, the DNSE is capab
In order to study the plastic deformation characteristics of 42CrMo steel in upsetting process and find out the feasibility of using computer simulation to analyze and research the upsetting process of the 42CrMo billet, by means of commercial and professional plastic forming software DEFORM-3D, the
We analysed the web construction-behaviour of an ideal orb web-building spider using a computer model that constructed artificial webs with a Rule Based Simulation and optimised them with a Genetic Algorithm (GA). The GA simulated adaptation towards an adjustable ecological niche in a population of
## Abstract This paper reports the results of an investigation into flood simulation by areal rainfall estimated from the combination of gauged and radar rainfalls and a rainfall–runoff model on the Anseong‐cheon basin in the southern part of Korea. The spatial and temporal characteristics and beha