1173 search results - page 106 / 235 » Weighted Distributed Systems and Their Logics |
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
CIMCA
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper describes the system “Fibered Guard”, which is a hybrid intelligent web access management approach for the prevention of Denial of Service (DoS) and Distributed Deni...
CISS
2008
IEEE
14 years 4 months ago
2008
IEEE
—In a conventional wireless cellular system, signal processing is performed on a per-cell basis; out-of-cell interference is treated as background noise. This paper considers the...
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
— Precise robot positioning is important for many applications in indoor environments. Current solutions to the indoor localization problem are either both unreliable and inaccur...
ADCM
2004
13 years 10 months ago
2004
This paper considers extremal systems of points on the unit sphere Sr Rr+1, related problems of numerical integration and geometrical properties of extremal systems. Extremal sys...