79 search results - page 9 / 16 » Inverse Functions in the AquaLogic Data Services Platform |
COMPSAC
2002
IEEE
13 years 11 months ago
2002
IEEE
Previously, we developed a method and a distributed platform for the re-engineering of applications by adding cooperation. The goal was to supply a way of communication based on t...
GIS
2007
ACM
14 years 7 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
DATE
2004
IEEE
13 years 10 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
SKG
2006
IEEE
14 years 21 days ago
2006
IEEE
Web services (WS) have become a significant part of the Web because of such attractive features as simple to use, platform independence, and XML/SOAP support. However, these featu...
HICSS
2002
IEEE
13 years 11 months ago
2002
IEEE
The main barriers to the level of electronic data interchange required to seamlessly integrate services offered by legacy systems in an Internet environment are the need for appli...