2015 search results - page 214 / 403 » Some Observations on Indifferentiability |
158
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
179
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
The principle of information hiding has been very influential in software engineering since its inception in 1972. This principle prescribes that software modules hide implementat...
155
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Continuous queries are queries for which responses given to users must be continuously updated, as the sources of interest get updated. Such queries occur, for instance, during on...
188
click to vote
TMA
2010
Springer
16 years 1 months ago
2010
Springer
In this work we discuss the use of passive measurements of TCP performance indicators in support of network operation and troubleshooting, presenting a case-study from a real 3G ce...
144
click to vote
ICS
2009
Tsinghua U.
16 years 1 months ago
2009
Tsinghua U.
It has been observed that some applications manipulate large amounts of null data. Moreover these zero data often exhibit high spatial locality. On some applications more than 20%...