11182 search results - page 1982 / 2237 » Shape Analysis of Sets |
131
click to vote
ISSRE
2000
IEEE
15 years 9 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
131
click to vote
ASPLOS
2000
ACM
15 years 9 months ago
2000
ACM
The emergence of the Internet as a trusted medium for commerce and communication has made cryptography an essential component of modern information systems. Cryptography provides ...
170
click to vote
HICSS
1999
IEEE
1999
IEEE
Web-based Access to Distributed High-Performance Geographic Information Systems for Decision Support
15 years 8 months ago
A number of applications that use GIS for decision support can potentially be enhanced by the use of high-performance computers, broadband networks and mass data stores. We descri...
151
click to vote
SIGDOC
1998
ACM
15 years 8 months ago
1998
ACM
It is hard to manage the software design documents within a distributed development team. The issues include the format, distribution and evolution of data. This paper mainly focu...
140
click to vote
FTRTFT
1998
Springer
15 years 8 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...