Traditional logic programming, with its minimal Herbrand model semantics, is useful for
declaratively defining finite data structures and properties. A program in traditional logic …

Semantic Web services (SWS) have been hailed for their role in realizing the potential of
composing services in the context of service-oriented computing. However, many …

In the real world, the assumption that, once generated, a pervasive system of systems and
the services it provides will remain static is false. Systems can leave or enter, and service …

The part of the Internet of Things composed of devices that directly interact with users has
grown considerably in the past years. With new smartphones, tablets and other Internet …

Web services can be composed to create complex business processes that span multiple
organizations. quality of service (QoS) of such a process is guaranteed by a set of service …

分析了面向服务架构(SOA) 应用到复杂产品集成制造系统中存在的不足, 将知识库引入SOA
架构中, 对复杂产品设计制造全生命周期的知识和服务进行高效地组织和管理 …

In order to manage emergencies, crises and disasters effectively, different organizations with
their Command & Control (C2) and Sensing Systems have to cooperate and constantly …

Checkpoint and communication patterns that enforce rollback-dependency trackability
(RDT) have only online trackable checkpoint dependencies and allow efficient solutions to …

Web services have greatly leveraged the world of Business-to-Business (B2B)
communication and promise a lot more through dynamic service composition. In order to …

A growing number of connected devices and solutions, related to the concept of Internet of
Things, makes our environment increasingly smart and capable. However, existing …