843 search results - page 125 / 169 » Monte-Carlo Go Developments |
ISSTA
1998
ACM
14 years 2 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
CIA
1998
Springer
14 years 2 months ago
1998
Springer
One of our goals when building the University of Michigan Digital Library UMDL has been to prototype an architecture that can continually recon gure itself as users, contents, and ...
MAS
1998
Springer
14 years 2 months ago
1998
Springer
A key element of any mobile code based distributed system are the security mechanisms available to protect (a) the host against potentially hostile actions of a code fragment under...
TACS
1994
Springer
14 years 2 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
BIBE
2004
IEEE
14 years 1 months ago
2004
IEEE
Cervical cancer is common among women all over the world. Although infection with high-risk types of human papillomavirus (HPV) has been identified as the primary cause of cervical...