COMPSAC
2002
IEEE
14 years 5 months 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 5 months 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 5 months 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 5 months 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 5 months 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...
COMPSAC
2002
IEEE
14 years 5 months ago
2002
IEEE
Component-based reuse is a hopeful solution to the software crisis. Research on software architecture (SA) has revealed a component-based vision of the gross structure of software...
COMPSAC
2002
IEEE
14 years 5 months ago
2002
IEEE
Service availability is of key importance to operations and maintenance systems for mobile telephony networks. This paper will describe some of the challenges in providing continu...
COMPSAC
2002
IEEE
14 years 5 months ago
2002
IEEE
COMPSAC
2002
IEEE
14 years 5 months ago
2002
IEEE
COMPSAC
2002
IEEE
14 years 5 months ago
2002
IEEE
Software standards are highly recommended because they promise faster and more efficient ways for software development with proven techniques and standard notations. Designers who...