Highbrow 发表于 2025-3-30 09:24:01

,Specification Means Definition for the Common Criteria Compliant Development Process – An Ontologicf individuals, and the ontology testing and validation. This way a prototype of the specification means knowledge base was proposed, developed in the Protégé Ontology Editor and Knowledge Acquisition System.

Alienated 发表于 2025-3-30 14:18:06

http://reply.papertrans.cn/24/2316/231577/231577_52.png

extrovert 发表于 2025-3-30 18:25:14

Approach to Methods of Network Services Exploitation,urce to create different measures – also for the economic quality of the network systems. The presented problem is practically essential for defining and organization of network services exploitation.

debacle 发表于 2025-3-30 20:42:46

http://reply.papertrans.cn/24/2316/231577/231577_54.png

刺耳的声音 发表于 2025-3-31 03:38:12

Computational Support for Optimizing Street Lighting Design, design tasks. For that reason it’s necessary to develop an approach allowing to overcome the complexity problem. This article presents main factors determining the street lighting design and on the other side the formal methods providing an effective support in a design process.

Congeal 发表于 2025-3-31 07:12:46

Implementing AES and Serpent Ciphers in New Generation of Low-Cost FPGA Devices,s allow for evaluation of implementation cost vs. efficiency in contemporary FPGA chips for these two cryptographic algorithms and also provide some conclusions about how the situation changes with development of new, more powerful programmable architectures.

变异 发表于 2025-3-31 12:19:42

Dependable Strategies for Job-Flows Dispatching and Scheduling in Virtual Organizations of Distribuechanisms for load balancing in distributed environments are considered. Scheduling methods composing priority algorithms for parallel applications and job batch scheduling in distributed computing with non-dedicated resources are proposed.

Melodrama 发表于 2025-3-31 15:54:33

http://reply.papertrans.cn/24/2316/231577/231577_58.png

光明正大 发表于 2025-3-31 19:18:23

http://reply.papertrans.cn/24/2316/231577/231577_59.png

入会 发表于 2025-3-31 23:35:48

Representation of Objects in Agent-Based Lighting Design Problem,els of system description and specification. In the paper we introduce formally the hierarchical hypergraph representation of an urban space including both maps and physical objects like buildings. Such representation enables further decomposition of system model and performing parallel computations on it.
页: 1 2 3 4 5 [6]
查看完整版本: Titlebook: Complex Systems and Dependability; Wojciech Zamojski,Jacek Mazurkiewicz,Janusz Kacprz Conference proceedings 2012 Springer-Verlag Berlin H