12107 search results - page 2041 / 2422 » Software That Can Think |
167
click to vote
ICFEM
2004
Springer
16 years 3 days ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
185
click to vote
IFM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
150
click to vote
IMR
2004
Springer
16 years 3 days ago
2004
Springer
We present a method that computes a global potentially visible set for the complete region outside the convex hull of an object. The technique is used to remove invisible parts (t...
219
click to vote
IWAN
2004
Springer
16 years 2 days ago
2004
Springer
The proliferation of computer viruses and Internet worms has had a major impact on the Internet Community. Cleanup and control of malicious software (malware) has become a key prob...
151
click to vote
LCPC
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Parallel loops account for the greatest percentage of program parallelism. The degree to which parallelism can be exploited and the amount of overhead involved during par...