1286 search results - page 117 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
100
click to vote
SIGMOD
2003
ACM
16 years 28 days ago
2003
ACM
Finding patterns in large, real, spatio/temporal data continues to attract high interest (e.g., sales of products over space and time, patterns in mobile phone users; sensor netwo...
113
Voted
TCC
2009
Springer
16 years 1 months ago
2009
Springer
It is well known that universally composable multiparty computation cannot, in general, be achieved in the standard model without setup assumptions when the adversary can corrupt a...
128
Voted
IJSNET
2007
15 years 21 days ago
2007
: Robustness and security of services like localisation, routing and time synchronisation in Wireless Sensor Networks (WSNs) have been critical issues. Efficient mathematical (gra...
106
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
122
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
The capacity of the Gaussian wiretap channel model is analyzed when there are multiple antennas at the sender, intended receiver and eavesdropper. The associated channel matrices a...