2838 search results - page 310 / 568 » Verifying Controlled Components |
143
Voted
SMC
2010
IEEE
15 years 25 days ago
2010
IEEE
—A novel capability for modelling and simulating intra- and inter-organizational collaboration in an emergencyresponse domain is presented. This capability combines the prescript...
120
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
The study focuses on a class of discrete-time multi-agent systems modelling opinion dynamics with decaying confidence. Essentially, we propose an agreement protocol that impose a p...
123
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
In this paper, we investigate limiting behavior of linear dynamic systems driven by random stochastic matrices. We introduce and study the new concepts of partial ergodicity and 1-...
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
When the arrival timing difference exists in the uplink MUMIMO systems, the conventional MUD techniques, without timing control, failed under this circumstance. In this paper, we ...
106
click to vote
ICSE
2009
IEEE-ACM
15 years 9 months ago
2009
IEEE-ACM
It is widely believed that distributed software development is riskier and more challenging than collocated development. Prior literature on distributed development in software en...