2066 search results - page 310 / 414 » Component-Based Programming of Distributed Applications |
100
click to vote
NETWORKS
2008
15 years 20 days ago
2008
The Network Interdiction Problem involves interrupting an adversary's ability to maximize flow through a capacitated network by destroying portions of the network. A budget c...
100
Voted
PPL
2008
15 years 19 days ago
2008
In this paper, we present HirondML, an Objective Caml library implementing migrating threads. Our library is based on a simplified implementation of the Fair Threads, a reactive t...
106
click to vote
TASE
2008
IEEE
15 years 18 days ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
106
Voted
ICICS
2009
Springer
14 years 10 months ago
2009
Springer
The Trusted Computing Group (TCG) proposed remote attestation as a solution for establishing trust among distributed applications. However, current TCG attestation architecture req...
88
Voted
ICASSP
2011
IEEE
2011
IEEE
Transmit beamspace design for direction finding in colocated MIMO radar with arbitrary receive array
14 years 4 months ago
The transmit beamspace design problem for colocated multiple-input multiple-output (MIMO) radar is considered. We show that the MIMO radar transmit beampattern can be designed so ...