Computing and Information Systems - Theses

Permanent URI for this collection

http://hdl.handle.net/11343/351

Filters

1999 1
1
Reset filters

Settings
Statistics
Citations
Type: PhD thesis × Start date: 1999 × End date: 1999 × Subject: BDI model of organizations ×

Search Results

Now showing 1 - 1 of 1
  • Item
    Thumbnail Image
    Organization-oriented systems: theory and practice
    TIDHAR, GIL ( 1999-02)
    We investigate the problem of developing a formal language for specifying and reasoning about real-time embedded distributed computer systems. In particular we investigate the problem of developing a theoretical framework for specifying and analyzing different aspects of real-time embedded distributed coordination. In addition to the theoretical framework we also consider the practical aspects of developing real-time embedded distributed systems. (For complete abstract open document)