2419 search results - page 173 / 484 » Modeling Spatio-temporal Network Computations: A Summary of ... |
CORR
2011
Springer
13 years 1 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
DSN
2005
IEEE
14 years 2 months ago
2005
IEEE
Continuous-time Markov chains (CTMCs) have been used successfully to model the dependability and performability of many systems. Matrix diagrams (MDs) are known to be a space-efï¬...
ICCS
2003
Springer
14 years 2 months ago
2003
Springer
The academic literature suggests that the extent of exporting by multinational corporation subsidiaries (MCS) depends on their product manufactured, resources, tax protection, cus...
DSN
2005
IEEE
13 years 11 months ago
2005
IEEE
Soft errors are a growing concern for processor reliability. Recent work has motivated architecture-level studies of soft errors since the architecture can mask many raw errors an...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper deals with scheduling divisible load applications on star networks, in presence of return messages. This work is a follow-on of [6, 7], where the same problem was consi...