Search

Showing results 1 to 10 of 293

Items
DateTitleContributor(s)
2002Efficient associative data structures for bitemporal databases.Matwin, S.,; Eid, Ashraf.
2002Software component interaction testing: Coverage measurement and generation of configurations.Probert, Robert L.,; Williams, Alan Webber.
2001Study of central control actions in computer simulation.Julien, Francois,; Zhang, Yang.
2002System integration: Application of Web-based DBMS and intelligent agent.Lane, Daniel,; Chen, Wei.
2002Protocol re-testing and diagnostic testing methods.Bochmann, Gregor,; El-Fakih, Khaled Abdul-Ghani.
2002Proving properties of programs using automatically generated models.Felty, Amy,; Binard, Franck J. L.
2002From requirements to scenarios through specifications: A translation procedure from use case maps to LOTOS.Logrippo, Luigi,; Guan, Ruoshan.
2002High-yield (fault-directed) approach to test suite evaluation.Probert, Robert L.,; Khidhir, Khalid.
2002Polygon visibility decompositions with applications.Urrutia, Jorge,; Boland, Ralph Patrick.
2002Structural properties of one-tape Turing machines.Yamakami, Tomoyuki,; Lin, Jack Chen-Hung.