9110 search results - page 1730 / 1822 » Formally-Based Design Evaluation |
PLDI
2003
ACM
14 years 3 months ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
SACMAT
2003
ACM
14 years 3 months ago
2003
ACM
Authorization policy infrastructures are evolving with the complex environments that they support. However, the requirements and technologies supporting context are not yet well u...
SIGCOMM
2003
ACM
14 years 3 months ago
2003
ACM
Multihoming has traditionally been employed by stub networks to enhance the reliability of their network connectivity. With the advent of commercial “intelligent route control...
WWW
2003
ACM
14 years 3 months ago
2003
ACM
Personal webservers have proven to be a popular means of sharing files and peer collaboration. Unfortunately, the transient availability and rapidly evolving content on such host...
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
A referral system is a multiagent system whose member agents are capable of giving and following referrals. The specific cases of interest arise where each agent has a user. The ...