1063 search results - page 80 / 213 » Infrastructure Leasing Problems |
ASM
2010
ASM
14 years 1 months ago
2010
ASM
Traditionally, simulation is used to perform probabilistic analysis. However, it provides less accurate results and cannot handle large-scale problems due to the enormous CPU time ...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Digitization of information, the rise of the World Wide Web, and the development of new means for information creation, production and dissemination place new strains on the legal...
ICPPW
2002
IEEE
14 years 1 months ago
2002
IEEE
Different parallelization methods vary in their system requirements, programming styles, efficiency of exploring parallelism, and the application characteristics they can handle....
AH
2000
Springer
14 years 1 months ago
2000
Springer
The desktop-centric design of most of the current web contents pose many difficulties for pervasive browsing. In this paper, we present our study on the problem to support pervasiv...
TPHOL
1996
IEEE
14 years 28 days ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...