Sciweavers

95 search results - page 7 / 19
» compsac 2002
Sort
View
COMPSAC
2002
IEEE
15 years 2 months ago
Distributed Agent Architecture for Port Automation
In the near future, container ports will no longer be able to expand into the surrounding land and will thus be unable to meet the storage requirements due to the boom in world tr...
Tom Thurston, Huosheng Hu
COMPSAC
2002
IEEE
15 years 2 months ago
Expanding an Extended Finite State Machine to aid Testability
The problem of testing from an extended finite state machine (EFSM) is complicated by the presence of infeasible paths. This paper considers the problem of expanding an EFSM in o...
Robert M. Hierons, T.-H. Kim, Hasan Ural
COMPSAC
2002
IEEE
15 years 2 months ago
The Semantics of Extended SOFL
Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension all...
Jin Song Dong, Shaoying Liu
COMPSAC
2002
IEEE
15 years 2 months ago
Towards a Software Architecture for Distributed and Mobile Collaborative Systems
Current trends in collaborative business emphasize the importance of business process support within and between organizations. These process participants are increasingly distrib...
Schahram Dustdar, Harald Gall
COMPSAC
2002
IEEE
15 years 2 months ago
Requirements Driven Quality Control
The paper aims at presenting a method of controlling software quality attributes driven by the set of requirements. This is done in three steps: specifying all the requirements, ma...
Stanislaw Szejko