dc.contributor.author |
El Outa, Rami Houssein, |
dc.date |
2013 |
dc.date.accessioned |
2015-02-03T10:43:18Z |
dc.date.available |
2015-02-03T10:43:18Z |
dc.date.issued |
2013 |
dc.date.submitted |
2013 |
dc.identifier.other |
b17917906 |
dc.identifier.uri |
http://hdl.handle.net/10938/9842 |
dc.description |
Project (M.S.)-- American University of Beirut, Department of Computer Science, 2013. |
dc.description |
First Reader : Dr. Paul Attie, Associate Professor, Computer Science ; Second Reader : Dr. Faith Jordan Srour, Assistant Professor LAU. |
dc.description |
Includes bibliographical references (leaf 37) |
dc.description.abstract |
Cargo processing at a major port such as the Port of Beirut is a complex activity due to the large number of parties that are involved in a typical transaction. These parties have varied, often conflicting, interests. Studies have shown that the process of importing a container is overly complex and lengthy. Typically a container is processed in about 2--3 weeks, while theoretically only 7 days are needed. Also, costs are often far higher than they should be. Our research will investigate the reasons for this by constructing a game-theoretic agent-based model for the process of importing cargo containers. In particular, we focus on the role that corruption and self-interest play in cargo processing. Our aim is to minimize the time to process and the cost of a shipment. Our model will provide the ability to investigate the shipment process by model checking ATL formulae that express properties and behaviors of the agents involved. |
dc.format.extent |
37 leaves : illustrations ; 30 cm |
dc.language.iso |
eng |
dc.relation.ispartof |
Theses, Dissertations, and Projects |
dc.subject.classification |
Pj:001771 AUBNO |
dc.subject.lcsh |
Unitized cargo systems. |
dc.subject.lcsh |
Computer software -- Verification. |
dc.subject.lcsh |
Game theory. |
dc.subject.lcsh |
Temporal automata. |
dc.subject.lcsh |
Computer simulation. |
dc.subject.lcsh |
Formal methods (Computer science) |
dc.subject.lcsh |
Logic programming. |
dc.title |
Formal modeling and verification of maritime container processing - |
dc.type |
Project |
dc.contributor.department |
American University of Beirut. Faculty of Arts and Sciences. Department of Computer Science. |