5477 search results - page 657 / 1096 » Contexts, Domains, and Software |
234
click to vote
ASE
2005
15 years 7 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
194
click to vote
PAM
2007
Springer
16 years 1 months ago
2007
Springer
The DNS root nameservers routinely use anycast in order to improve their service to clients and increase their resilience against various types of failures. We study DNS traffic co...
194
click to vote
HICSS
2005
IEEE
16 years 23 days ago
2005
IEEE
The Public Domain (PD) always serves as an agent to provide better and reliable services and information to citizens. Recent advancements in technology, citizen-demand and new pub...
204
click to vote
CIKM
2005
Springer
16 years 20 days ago
2005
Springer
The explosive growth of the world-wide-web and the emergence of e-commerce has led to the development of recommender systems—a personalized information filtering technology use...
178
click to vote
WSC
1998
15 years 8 months ago
1998
Simulation optimization is rapidly becoming a mainstream tool for simulation practitioners. Simulation optimization is the practice of linking an optimization method with a simula...