2638 search results - page 229 / 528 » Frameworks for Reasoning about Agent Based Systems |
162
click to vote
HICSS
2005
IEEE
16 years 6 days ago
2005
IEEE
While several research projects have been proposed to use software agents to deal with information overload, their results are not applicable in the existing Web infrastructure ma...
168
click to vote
IEEESCC
2009
IEEE
16 years 1 months ago
2009
IEEE
In Ambient Intelligence (AmI) environments, some services provided by AmI devices are often not visible to users and to other devices. The existing approaches deal with servicesâ...
180
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
184
click to vote
LCN
2007
IEEE
16 years 27 days ago
2007
IEEE
AbstractâWe introduce a game-theoretic framework for reasoning about bandwidth attacks, a common form of distributed denial of service (DDoS) attacks. In particular, our trafïŹc...
169
click to vote
COORDINATION
2000
Springer
15 years 11 months ago
2000
Springer
Distributed information systems for decision-support, logistics, and e-commerce involve coordination of autonomous information resources and clients according to specific domain in...