Computer Science Journal (AGH University of Science and Technology, Krakow)
Not a member yet
476 research outputs found
Sort by
SOFTWARE CONFIGURATION MANAGEMENT FOR MULTIPLE RELEASES: INFLUENCE ON DEVELOPMENT EFFORT
Get PDFSoftware Configuration Management (SCM) evolves together with the discipline of softwareengineering. Teams working on software products become larger and are geographically distributedat multiple sites. Collaboration between such groups requires well evaluated SCMplans and strategies to easy cooperation and decrease software development cost by reducingtime spent on SCM activities – branching and merging, that is effort utilized on creation ofrevisions (’serial’ versions) and variants (’parallel’ versions). This paper suggests that SCMpractices should be combined with modular design and code refactoring to reduce cost relatedto maintenance of the same code line. Teams which produce several variants of thesame code line at the same time should use approaches like components, modularization, orplug-ins over code alternations maintained on version branches. Findings described in thispaper were taken by teams in charge of development of radio communication systems inMotorola GEMS divisions. Each team collaborating on similar projects used different SCMstrategies to develop parts of this system
A NEW APPROACH TO THE RULE-BASED SYSTEMS DESIGN AND IMPLEMENTATION PROCESS
Get PDFThe paper discusses selected problems encountered in practical rule-based systems (RBS) design and implementation. To solve them XTT, a new visual knowledge representation is introduced. Then a complete, integrated RBS design, implementation and analysis methodology is presented. This methodology is supported by a visual CASE tool called Mirella.The main goal is to move the design procedure to a more abstract, logical level, where knowledge specification is based on use of abstract rule representation. The design specification is automatically translated into Prolog code, so the designer can focus on logical specification of safety and reliability. On the other hand, system formal aspects are automatically verified on-line during the design, so that its verifiable characteristics are preserved
FLEXIBLE AND SECURE ACCESS TO COMPUTING CLUSTERS
Get PDFThe investigation presented in this paper was prompted by the need to provide a manageablesolution for secure access to computing clusters with a federated authentication framework.This requirement is especially important for scientists who need direct access to computingnodes in order to run their applications (e.g. chemical or medical simulations) with proprietary,open-source or custom-developed software packages. Our existing software, whichenables non-Web clients to use Shibboleth-secured services, has been extended to providedirect SSH access to cluster nodes using the Linux Pluggable Authentication Modules mechanism.This allows Shibboleth users to run the required software on clusters. Validationand performance comparison with existing SSH authentication mechanisms confirm that thepresented tools satisfy the stated requirements
HYBRID-PARALLEL FORMULATION OF FUNDAMENTAL QUANTUM-CHEMICAL ALGORITHMS
Get PDFHybrid-parallel variants of Hartree-Fock, Kohn-Sham and Møller-Plesset second-level perturbationtheory are described. Their efficiency with respect to the serial and MPI-basedparallel implementations are measured and briefly analyzed. It is shown that while hybridparallelization provide increased efficiency in all cases, the magnitude of the effect stronglydepends on the features of the particular algorithm
Geolocalization of XIX Century Villages and Cities Mentioned in Geographical Dictionary of the Kingdom of Poland
Get PDFIn this article it has been presented a method of rough estimation of geographical coordinates of villages and cities, which has been described in XIX century geographical encyclopedia entitled: "The Geographical dictionary of Polish Kingdom and other slavic countries". It has been described functioning of the algorithm for estimating location, the toolbox used to acquire and process necessary information, as well as context of this research
FAST AND FLEXIBLE MODELLING OF REAL-TIME SYSTEMS WITH RTCP-NETS
Get PDFA large number of formalisms has been proposed for real-time systems modelling. However, formal methods are not widely used in industrial software development. Such a situation could be treated as a result of a lack of suitable tools for fast designing of a model, its analysis and modification. RTCP-nets have been defined to facilitate fast modelling of embedded systems incorporating rule-based systems. Computer tools that are being developed for RTCP-nets, use a template mechanism to allow users to design models and manipulate its properties fast and effectively. Both theoretical and practical aspects of RTCP-nets are presented in the paper
Tuning of agent-based computing
Get PDFIn this paper an Evolutionary Multi-agent system based computing processis subjected to detailed analysis of the parameters in order to ground a basefor better understanding this meta-heuristics from the practitioner\u27s point of view.After reviewing the concepts of EMAS and its immunological variant, a series of experiments is shown and theresults of influencing of search outcomes by certain parameters are discussed
RT-UML IN MODELING OF MULTIMEDIA APPLICATIONS
Get PDFRT-UML enables a structural and behavioral description of multimedia applications includingtime characteristic, however it does not offer mechanisms of a multimedia objects presentation(arrangement) expression or the time constrains expression between events. Thisfact illustrates RT-UML lack of expressive capabilities, especially in the context of multimediaapplications modeling. The presented in the paper extension of RT-UML illustrateshow multimedia objects arrangement and events synchronizations can be presented, whichmeans new type of diagrams addition to UML (presentation diagrams) and a synchronizedevents set class placing into the time model of RT-UML. Moreover extensions provide an applicationa graphical presentation of synchronized events to sequence and activity diagramsof UML, which enables time constrains of multimedia objects and their activities expression(synchronization of time events, which occur during presentation of multimedia objects).The originality of this approach relies on the extension of RT-UML syntax and on the presentationof an original method of multimedia applications modeling, which can make theproduction process more formalized and thus more precise
Preparation of Control Space for Remeshing of Polygonal Surfaces
Get PDFThe subject of the article concerns the issues of remeshing, transforming a polygonal mesh into a triangular mesh adapted to surface. From the initial polygonal mesh the curvature of surface and boundary is retrieved and used to calculate a metric tensor varying in three-dimensional space. In the proposed approach the curvature is computed using local approximation of surfaces and curves on the basis of vertices of the polygonal mesh. An essential part of the presented remeshing procedure is creation of a control space structure based on the retrieved discrete data. The subsequent process of remeshing is then supervised by the contents of this auxiliary structure. The article presents various aspects related to the procedure of initialization, creation and adjusting the control space structure
TIMED CONCURRENT STATE MACHINES
Get PDFTimed Concurrent State Machines are an application of Alur Timed Automata concept tocoincidence-based (rather than interleaving) CSM modeling technique. TCSM support theidea of testing automata, allowing to specify time properties easier than temporal formulas.Also, calculation of a global state space in real-time domain (Region Concurrent State Machines)is defined, allowing to store a verified system in ready-to-verification form, and tomultiply it by various testing automata