6581 search results - page 1024 / 1317 » Formalizing Design Patterns |
217
Voted
WELCOM
2001
Springer
15 years 11 months ago
2001
Springer
The recent and unprecedented surge of public interest in peer-to-peer file sharing has led to a variety of interesting research questions. In this paper, we will address the ince...
157
click to vote
ACMSE
2000
ACM
15 years 11 months ago
2000
ACM
Scenarios are narratives that illustrate future possibilities, such as proposed systems or plans, and help policy makers and designers choose among alternative courses of action. ...
171
click to vote
CHI
2000
ACM
15 years 11 months ago
2000
ACM
We present lessons learned from developing Alice, a 3D graphics programming environment designed for undergraduates with no 3D graphics or programming experience. Alice is a Windo...
181
click to vote
CCS
2000
ACM
15 years 11 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
167
click to vote
ICNP
1999
IEEE
15 years 11 months ago
1999
IEEE
The Border Gateway Protocol, BGP, is currently the only interdomain routing protocol employed on the Internet. As required of any interdomain protocol, BGP allows policy-based met...