Yellow pages catalogs and corresponding directory services on the web are a widely used business concept for helping people to find companies providing services and selling product...
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
The requirement for ubiquitous service access in wireless environments presents a great challenge in light of well known problems like high error rate and frequent disconnections....
Vasileios Baousis, Vassilis Spiliopoulos, Elias Za...
To achieve the dream of the semantic web, it must be possible for ordinary users to invoke services. Exactly how to turn this dream into reality is a challenging opportunity and a...
Muhammed Al-Muhammed, David W. Embley, Stephen W. ...
In most web sites, web-based applications (such as web portals, emarketplaces, search engines), and in the file systems of personal computers, a wide variety of schemas (such as t...
Paolo Bouquet, Luciano Serafini, Stefano Zanobini,...