1755 search results - page 204 / 351 » An efficient simulation algorithm based on abstract interpre... |
139
Voted
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--We investigate an abstraction method, called meanfield method, for the performance evaluation of dynamic networks with pairwise communication between nodes. It allows us ...
131
Voted
FTP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...
173
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Autonomic computing is being advocated as a tool for maintaining and managing large, complex computing systems. Self-organising multi-agent systems provide a suitable par...
125
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- This paper develops a switching strategy for networked mobile sensing agents to automatically decide when to perform individual exploration and when to perform cooperati...
149
click to vote
GLOBECOM
2010
IEEE
15 years 26 days ago
2010
IEEE
Abstract-- A new approach to distributed cooperative beamforming in two-way half-duplex relay networks with frequency selective channels is proposed. In our scheme, two transceiver...