182 search results - page 20 / 37 » mc 2001 |
CAV
2001
Springer
14 years 8 days ago
2001
Springer
Compositional model checking is used to verify a processor microarchitecture containing most of the features of a modern microprocessor, including branch prediction, speculative ex...
AICCSA
2001
IEEE
14 years 8 days ago
2001
IEEE
In corrective maintenance, selective regression testing includes test selection from previously run test suite and test coverage identification. We propose three reductionbased re...
MC
2001
13 years 10 months ago
2001
The growing popularity of computers in all areas of daily life leads to the situation that an increasing number of people with diverse know-how of computers and software use these...
AIL
2002
13 years 8 months ago
2002
This article is an exercise in computational jurisprudence. It seems clear that the field of AI and Law should draw upon the insights of legal philosophers, whenever possible. But...
ICN
2001
Springer
14 years 1 months ago
2001
Springer
In recent years World Wide Web traffic has shown phenomenal growth. The main causes are the continuing increase in the number of people navigating the Internet and the creation of ...