1055 search results - page 133 / 211 » order 2002 |
159
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
154
click to vote
COMPSAC
2002
IEEE
15 years 10 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...
146
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
Web applications are becoming more complex and the way to manage that complexity is to model them. This paper presents a methodology to model Web applications directly from the ob...
154
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
156
click to vote
COOPIS
2002
IEEE
15 years 10 months ago
2002
IEEE
Abstract. The CORBA standard now incorporates support for reliability through two distinct mechanisms — replication (using the Fault Tolerant CORBA standard) and transactions (us...