Konkurentni sustavi - Konkurentni sustavi

» poslijediplomski » predmet » konsus

Naslovnica Pretraživanje English

22.01.2010. u 14:44
Uređeno: 22.01.2010. u 14:53

Ispitni rok

Ispit će se održati 25.2.2010. godine u 15.15 h u knjižnici ZZT-a.

Ispit će se održati u obliku radionice za koju studenti razrađuju i prezentiraju odabranu temu. Prezentacija treba obraditi temu povezanu s različitim aspektima konkurentnosti, a u svezi s područjem istraživanja na doktorskom studiju, Temu treba dogovoriti s jednim od nastavnika (ovisno o području na koje se odnosi) najkasnije tjedan dana prije ispitnog termina. Prezentacije u PowerPoint formatu treba poslati nastavniku s kojim je tema dogovorena najkasnije u utorak 23.2.2010.

Usmeno izlaganje treba biti u trajanju od 10-15 minuta, nakon čega je predviđeno vrijeme za pitanja i raspravu.

Željka Car

22.01.2010. u 14:42

Nadoknada predavanja

Nadoknada predavanja održat će se u ponedjeljak, 25.1.2010. u terminu 15.15-17.45 h u knjižnici ZZT-a.

Željka Car

[ Arhiva ]

Uvod u opću teoriju mreža. Formalni model dinamičkog sustava: uvjet, događaj, konstelacija, slučaj, koncesija, načelo razdvajanja. Sustav uvjeta i događaja. Distribuiranost, konkurentnost, paralelizam. Procesi u konkurentnim sustavima, asinkrona i sinkrona komunikacija, suradnja procesa. Pravila kompozicije i dekompozicije. Specifikacija, verifikacija i validacija konkurentnih procesa, postupci analize i sinteze. Procesne algebre za pokretne procese: pi-calculus, ambijent calculus. Konkurentnost u agentskim sustavima, višeagentski sustavi s pokretnim agentima, agenti u Grid okruženju. Konkurentnost u programskim procesima, brzi razvoj programskih proizvoda.

Nastavnici:

prof. dr. sc. Ignac Lovrek
doc. dr. sc. Željka Car
doc. dr. sc. Gordan Ježić
doc. dr. sc. Mario Kušek

Predavanja (7)
- Modeli konkurentnosti [357,17 KiB]
  Objavljeno: Željka Car ( 23.01.2009. u 10:56 )
  Uredio: Željka Car ( 22.01.2010. u 14:52 )
- Konkurentnost u sustavima s pokretnim entitetima [477,64 KiB]
  Objavljeno: Željka Car ( 23.01.2009. u 10:56 )
  Uredio: Željka Car ( 22.01.2010. u 14:52 )
- Algebra komunicirajućih procesa i pi-calculus [924,66 KiB]
  Objavljeno: Željka Car ( 23.01.2009. u 10:57 )
  Uredio: Željka Car ( 25.01.2010. u 12:40 )
- Formalni postupci specifikacije pokretnih procesa - tekst [729 KiB]
  Objavljeno: Željka Car ( 23.01.2009. u 11:01 )
- Modeliranje konkurentnosti u objektno orijentiranim i agentskim sustavima [801,72 KiB]
  Objavljeno: Željka Car ( 23.01.2009. u 11:02 )
  Uredio: Željka Car ( 25.01.2010. u 12:46 )
- Konkurentnost u programskim procesima [480,82 KiB]
  Objavljeno: Željka Car ( 23.01.2009. u 11:03 )
- Primjena koncepta poslovnog modela u doktorskom istraživanju [964,42 KiB]
  Objavljeno: Željka Car ( 22.01.2010. u 14:55 )
Literatura (9)
- Performance Evaluation of Mobile Agent Network [168,48 KiB]
  Objavljeno: Željka Car ( 26.01.2009. u 11:13 )
- Generic Model of a Mobile Agent Network Suitable for Performance Evaluation [67,32 KiB]
  Objavljeno: Željka Car ( 26.01.2009. u 11:14 )
- Parallelism in Mobile Agent Network [217,96 KiB]
  Objavljeno: Željka Car ( 26.01.2009. u 11:14 )
- Modeling Mobile Agent Network with Parallel Communicating Agents [102,78 KiB]
  Objavljeno: Željka Car ( 26.01.2009. u 11:15 )
- A Conceptual Framework for Business Process Engineering: A Case Study [594,81 KiB]
  Objavljeno: Željka Car ( 26.01.2009. u 11:18 )
- Change Management Process on Database Level within RUP Framework [140,98 KiB]
  Objavljeno: Željka Car ( 26.01.2009. u 11:21 )
- Formal Specification and Verification of the Multiparty Call in ATM UNI Protocol [173,46 KiB]
  Objavljeno: Željka Car ( 27.01.2009. u 09:47 )
- Verifying Multiparty Call in ATM UNI Signalling Protocol [139,42 KiB]
  Objavljeno: Željka Car ( 27.01.2009. u 09:47 )
- Using π-calculus for Specification of Mobile Agent Communication [277,98 KiB]
  Objavljeno: Željka Car ( 27.01.2009. u 09:48 )
  Uredio: Željka Car ( 27.01.2009. u 09:49 )



Na ovoj stranici trenutno nije odabrana niti jedna anketa!