677 search results - page 103 / 136 » Rigorous Object-Oriented Analysis |
INFOCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—We study the throughput capacity of wireless networks which employ (asynchronous) random-access scheduling as opposed to deterministic scheduling. The central question w...
CSFW
2007
IEEE
14 years 2 months ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
DSN
2007
IEEE
14 years 2 months ago
2007
IEEE
New versions of existing large-scale web services such as Passport.com© have to go through rigorous performance evaluations in order to ensure a high degree of availability. Perf...
ICDM
2007
IEEE
14 years 2 months ago
2007
IEEE
Frequent itemsets mining is a popular framework for pattern discovery. In this framework, given a database of customer transactions, the task is to unearth all patterns in the for...
BVAI
2007
Springer
14 years 2 months ago
2007
Springer
Correlation analysis of neuronal spiking activity relies on the availability of distributions for assessing significance. At present, these distributions can only be created by su...