8828 search results - page 1216 / 1766 » Formal methods in practice |
200
click to vote
WWW
2010
ACM
16 years 2 months ago
2010
ACM
In an ideal world, interface design is the art and science of helping users accomplish tasks in a timely, efficient, and pleasurable manner. This paper studies the inverse situati...
163
click to vote
ACISP
2009
Springer
16 years 1 months ago
2009
Springer
Denial of service resilience is an important practical consideration for key agreement protocols in any hostile environment such as the Internet. There are well-known models that ...
190
click to vote
WDAG
2009
Springer
16 years 1 months ago
2009
Springer
Virtual Ring Routing (VRR) schemes were introduced in the context of wireless ad hoc networks and Internet anycast overlays. They build a network-routing layer using ideas from dis...
197
click to vote
OTM
2009
Springer
16 years 1 months ago
2009
Springer
The need for semantics preserving integration of complex data has been widely recognized in the healthcare domain. While standards such as Health Level Seven (HL7) have been develo...
197
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
Business and economic considerations are driving the extensive use of service differentiation in Virtual Private Networks (VPNs) operated for business enterprises today. The resul...