Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
Despite the advantages that object technology can provide to the software development community and its customers, the fundamental problems associated with identifying objects, th...
The Semantic Web relies on the complex interaction of several technologies involving ontologies. Therefore, sophisticated Semantic Web applications typically comprise more than on...
SLX, Simulation Language with Extensibility, is the newest member in Wolverine Software's family of simulation and animation software. SLX features unique extensibility mecha...