8644 search results - page 351 / 1729 » On the Composition of Secure Systems |
203
click to vote
PEWASUN
2005
ACM
16 years 13 days ago
2005
ACM
Inherent to the wireless sensor networks are the two major problems of the broadcasting vulnerability, the limited computational capability and power budget. Even though security ...
159
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
177
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We describe how to take a set of interaction traces produced by different pairs of players in a two-player repeated game, and combine them into a composite strategy. We provide an...
187
click to vote
BPM
2010
Springer
15 years 4 months ago
2010
Springer
Traditionally, workflow management systems aim at alleviating people's burden of coordinating repetitive business procedures, i.e., they coordinate people. Web service orchest...
216
click to vote
TWC
2010
15 years 1 months ago
2010
In this paper, we study multi-hop non-regenerative multiple-input multiple-output (MIMO) relay communications with any number of hops. We design the optimal source precoding matrix...