6201 search results - page 1020 / 1241 » Implementation of Axiomatic Language |
173
click to vote
HICSS
2006
IEEE
16 years 19 days ago
2006
IEEE
The increasing availability of web services necessitates efficient discovery and execution framework. The use of xml at various levels of web services standards poses challenges t...
195
click to vote
ICDE
2006
IEEE
16 years 19 days ago
2006
IEEE
To realize the Semantic Web, it will be necessary to make existing database content available for emerging Semantic Web applications, such as web agents and services, which use on...
151
click to vote
IPPS
2006
IEEE
16 years 18 days ago
2006
IEEE
Checkpoint and Recovery (CPR) systems have many uses in high-performance computing. Because of this, many developers have implemented it, by hand, into their applications. One of ...
172
click to vote
ISSRE
2006
IEEE
16 years 18 days ago
2006
IEEE
Aspect-oriented software development is gaining popularity with the adoption of languages such as AspectJ. Testing is an important part in any software development, including aspe...
156
click to vote
IWPC
2006
IEEE
16 years 18 days ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...