7209 search results - page 950 / 1442 » Software Engineering for Multi-Agent Systems |
124
click to vote
TCOM
2010
14 years 11 months ago
2010
Abstract--For a multiple-input multiple-output (MIMO) system with more antennas at the receiver than the transmitter, selecting the same number of receiver antennas as the number o...
144
click to vote
TAPIA
2009
ACM
15 years 10 months ago
2009
ACM
Genomics has reached the stage at which the amount of DNA sequence information in existing databases is quite large. Synthetic biology is now using these databases to catalog sequ...
148
click to vote
ICAC
2008
IEEE
15 years 10 months ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
130
click to vote
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
Grid computing has emerged as a new paradigm of distributed computing technology on large-scale resource sharing and coordinated problem solving. Based on a proposed Web service-b...
121
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...