1541 search results - page 254 / 309 » Tools and Techniques for Model Checking Networked Programs |
147
click to vote
EUROSYS
2010
ACM
15 years 6 months ago
2010
ACM
The deluge of huge data sets such as those provided by
sensor networks, online transactions, and the web provide
exciting opportunities for data analysis. The scale of the
data ...
110
click to vote
UIST
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents a novel image editing program emphasizing easy selection and manipulation of material found in informal, casual documentssuch as sketches, handwrittennotes, wh...
124
Voted
LCN
1996
IEEE
15 years 4 months ago
1996
IEEE
Development of new transport protocols or protocol algorithms suffers from the complexity of the envir onment in which they ar e intended to run. Modeling techniques attempt to av...
95
Voted
DSN
2005
IEEE
15 years 6 months ago
2005
IEEE
Insider attacks are a well-known problem acknowledged as a threat as early as 1980s. The threat is attributed to legitimate users who abuse their privileges, and given their famil...
CCR
2004
15 years 11 days ago
2004
To provide insight into Internet operation and performance, recent efforts have measured various aspects of the Internet, developing and improving measurement tools in the process....