The HOL system is a powerful tool for proving higherorder formulae. However, proofs have
to be performed interactively and only little automation using tactics is possible. Even though …

As web services increasingly becoming popular, particularly in the context of Internet of
Things, incorporating social networks have helped their discovery and binding. However …

Multi-Agent systems (MAS) are artificial societies populated with distributed autonomous
agents that are intelligent and rational. These self-independent agents are capable of …

In agent-based systems, agents can be organized within groups, called communities, where
mem-bers are providing similar or complementary services. An example of such systems is …

With the emergence of Web 2.0 and its applications, social networks have facilitated the
discovery process of web services, a cornerstone to the development of service computing …

In order to succeed, it is imperative that all e-commerce systems include an effective and
reliable trust and reputation modeling system. This is particularly true of decentralized e …

Backgrounds: In order to guarantee safe and efficient operation interaction in open network
environment, a new dynamic trust monitoring and updating model based on behavior …