Sciweavers

480 search results - page 65 / 96
» policy 2004
Sort
View
CLIMA
2004
13 years 9 months ago
Verifying Protocol Conformance for Logic-Based Communicating Agents
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
CAS
2004
112views more  CAS 2004»
13 years 7 months ago
Sustainable Urban Transportation: A Model-Based Approach
Transportation and its environmental impacts are a major component of urban environmental management. At the same time, transportation and mobility are an important part or urban ...
Kurt Fedra
CHI
2004
ACM
14 years 29 days ago
Trust and mistrust of online health sites
Do different design and information content factors influence trust and mistrust of online health sites? Fifteen women faced with a risky health decision were observed while searc...
Elizabeth Sillence, Pamela Briggs, Lesley Fishwick...
SIGCOMM
2004
ACM
14 years 29 days ago
A system for authenticated policy-compliant routing
Internet end users and ISPs alike have little control over how packets are routed outside of their own AS, restricting their ability to achieve levels of performance, reliability,...
Barath Raghavan, Alex C. Snoeren
SIGMETRICS
2004
ACM
145views Hardware» more  SIGMETRICS 2004»
14 years 29 days ago
A resource-allocation queueing fairness measure
Fairness is a major issue in the operation of queues, perhaps it is the reason why queues were formed in the first place. Recent studies show that the fairness of a queueing syst...
David Raz, Hanoch Levy, Benjamin Avi-Itzhak