Recently, the Internet revolutionized many activities from entertainment to marketing and business. Two key underlying Internet technologies, efficient data delivery and hypertext...
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
Software reuse technologies have been a driving force in significantly reducing both the time and cost of software specification, development, maintenance and evolution. However, t...
Few voice-in/voice-out applications are available on the web. The problem appears to be the lack of appropriate open-source tools. More speech applications would increase the func...
Richard A. Frost, Ali Karaki, David A. Dufour, Jos...
During the past few years, hypermedia systems have emerged as an essential component of many application domains ranging from software engineering to library information systems. ...
Shahram Ghandeharizadeh, Luis Ramos, Zubair Asad, ...