COMPSAC
2002
IEEE
14 years 26 days ago
2002
IEEE
COMPSAC
2002
IEEE
14 years 26 days ago
2002
IEEE
Technology presented in the paper [1] allows validation of software architecture before component upgrades. This paper presents a case study of applying this method to the upgrade ...
COMPSAC
2002
IEEE
14 years 26 days ago
2002
IEEE
Component based software development is becoming more generalized, representing a considerable market for the software industry. The perspective of reduced development costs and s...
COMPSAC
2002
IEEE
14 years 26 days ago
2002
IEEE
Business-to-Business (B2B) collaboration is becoming a pivotal way to bring today’s enterprises to success in the dynamically changing e-business environment. Though many busine...
COMPSAC
2002
IEEE
14 years 26 days ago
2002
IEEE
COMPSAC
2002
IEEE
14 years 26 days ago
2002
IEEE
Compressed pattern matching refers to the process of, given a text in a compressed form and a pattern, finding all the occurrences of the pattern in the text without decompressio...
COMPSAC
2002
IEEE
14 years 26 days ago
2002
IEEE
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...
COMPSAC
2002
IEEE
14 years 26 days ago
2002
IEEE
Current trends in collaborative business emphasize the importance of business process support within and between organizations. These process participants are increasingly distrib...
COMPSAC
2002
IEEE
14 years 26 days ago
2002
IEEE
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...
COMPSAC
2002
IEEE
14 years 26 days ago
2002
IEEE
A transactional workflow is composed of traditional flat transactions, and its execution has relaxed transactional atomicity. Due to different termination characteristics of trans...