1975 search results - page 211 / 395 » Property analysis and design understanding |
166
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
186
click to vote
ECRTS
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper investigates resource allocation policies for achieving real-time content distribution with subsecond delay bounds on the current Internet. Resource allocation in real-...
200
click to vote
IUI
2005
ACM
16 years 5 days ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
187
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—BitTorrent has been the most popular P2P (Peer-toPeer) paradigm during recent years. Built upon great intuition, the piece-selection and neighbor-selection modules roote...
182
click to vote
SAFECOMP
2004
Springer
15 years 12 months ago
2004
Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...