Now showing items 1-3 of 3

  • Context Awareness for Mobile Phones 

    Szánto, Ladislav
    Tá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, Michal
    Obsahem 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ý, Jan
    Tato 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. ...