Browsing 2013 by Author "Holík, Lukáš"
Now showing items 1-3 of 3
-
Context Awareness for Mobile Phones
Szánto, LadislavTáto práce má dva cíle. Prvním je pojdenáváni o context awareness dnešných mobilních telefónu a o možnostech jak by mohla byt context awareness využita v rúzných odvetvích biznisu. Druhý cíl je více praktický a pozestáva ... -
Slučování úloh s nekolizními požadavky pro systém Beaker
Kovařík, MichalObsahem práce je návrh formátu pro zápis parametrů a požadavků jednotlivých úloh určených pro systém Beaker a návrh a implementace programu, který na základě vyloučení možných kolizních požadavků sloučí úlohy definované ... -
Verifikovaná knihovna datových struktur
Rychnovský, JanTato bakalářská práce se zabývá metodikou psaní verifikovaných programů pomocí nástroje VCC. Zmíněná metodika je založena na principu doplnění kódu programu o anotace, jež poskytují specifikaci požadované funkcionality. ...