. "1"^^ . . . . "12"^^ . . . "0"^^ . . . . "2008-06-02+02:00"^^ . . "2"^^ . "Matematick\u00E9 modely soub\u011B\u017En\u00FDch syst\u00E9m\u016F, jejich anal\u00FDza a verifikace.Ukl\u00E1d\u00E1n\u00ED, zpracov\u00E1n\u00ED a anal\u00FDzy dat v prost\u0159ed\u00ED mobiln\u00EDch syst\u00E9m\u016F. Bezpe\u010Dnostn\u00ED aspekty. \u0158\u00EDzen\u00ED mobiln\u00EDch objekt\u016F v distribuovan\u00FDch syst\u00E9mech."@en . . "Modelov\u00E1n\u00ED a implementace distribuovan\u00FDch proces\u016F" . . "Matematick\u00E9 modely soub\u011B\u017En\u00FDch syst\u00E9m\u016F, jejich anal\u00FDza a verifikace.Ukl\u00E1d\u00E1n\u00ED, zpracov\u00E1n\u00ED a anal\u00FDzy dat v prost\u0159ed\u00ED mobiln\u00EDch syst\u00E9m\u016F. Bezpe\u010Dnostn\u00ED aspekty. \u0158\u00EDzen\u00ED mobiln\u00EDch objekt\u016F v distribuovan\u00FDch syst\u00E9mech."@cs . . . . "Project is focused on development of theoretical and technolo- gical tools used for purpose of processes modeling and imple- mentation in a distributed environment.Project is divided into three parts:mathematical basis,technology and infrastr.meansMathematical basis comprises:math.models of concurrent systems based on algebraic calculus,Petri nets;languages for the desc- ription of system properties; methods for analysis,design and verification of systems based on a formal approach.Technology for process modeling and implementation comprises: software tools for modeling, analysis and process simulation based on mathematical theory of concurrent systems; development of intelligent HW and SW components used by processes.Infrastructure means cover: database technologies;software for the object distribution based on middleware CORBA,RMI etc.;Java technologies and Intra/Internet support;communication and computer networks including their optimization and control"@en . "242"^^ . "Concurrent Processes,Formal Methods,Distributed Systems,Distributed Objects,Modeling and Simulation,ATE Systems,Control and Measurement,Databases and Information Systems,Networking and Communications,Broadband ISDN"@en . "Projekt se zab\u00FDv\u00E1 problematikou v\u00FDvoje teoretick\u00FDch i prakti- ck\u00FDch n\u00E1stroju slouz\u00EDc\u00EDch k modelov\u00E1n\u00ED a implementaci procesu v distribuovan\u00E9m prostred\u00ED.Projekt je rozdelen do tr\u00ED c\u00E1st\u00ED:mate- matick\u00E9 z\u00E1klady,technologie a infrastrukturn\u00ED prostredky.Matematick\u00E9 z\u00E1klady zahrnuj\u00ED:studium matemat.modelu soubezn\u00FDch syst\u00E9mu zalozen\u00FDch na algebraick\u00FDch kalkulech a Petriho s\u00EDt\u00EDch; jazyky pro popis zkouman\u00FDch vlastnost\u00ED syst\u00E9mu; metody n\u00E1vrhu, anal\u00FDzy a verifikace syst\u00E9mu, op\u00EDraj\u00EDc\u00ED se o form\u00E1ln\u00ED pr\u00EDstup.Technologie pro modelov\u00E1n\u00ED procesu a jejich implementaci tvo- ren\u00E9: SW prostredky pro modelov\u00E1n\u00ED, anal\u00FDzu a simulaci procesu, vych\u00E1zej\u00EDc\u00EDch z matemat.z\u00E1kladu konkurentn\u00EDch syst\u00E9mu; v\u00FDvoj inteligentn\u00EDch HW a SW prvku vyuz\u00EDvan\u00FDch procesy.Infrastrukturn\u00ED prostredky pro implementaci zahrnuj\u00ED:datab\u00E1zov\u00E9 technologie; SW pro distribuci objektu s vyuzit\u00EDm middleware CORBA, RMI; Java technologie a podpora Intra/Internetu; komunikacn\u00ED a poc\u00EDtacov\u00E9 s\u00EDte,jejich optimalizace a r\u00EDzen\u00ED." . "0"^^ . . "Modeling and Implementation of Distributed Processes"@en . . . "242"^^ . . .