Sciweavers

5158 search results - page 313 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View
AINA
2006
IEEE
15 years 10 months ago
Using Managed Communication Channels in Software Components
The paper discusses the potential usage of principles from General System Theory (GST) and Cybernetics for design of Autonomic Software. Motivated by the characteristics of open s...
Emil A. Stoyanov, Dieter Roller, Markus Alexander ...
ATAL
2006
Springer
15 years 10 months ago
Towards formal model of adversarial action in multi-agent systems
Detecting and preventing the adversarial action of an agent with respect to the community of agents can be a serious issue in the design of open multi-agent systems. This task is ...
Michal Pechoucek, Jan Tozicka, Martin Rehák
CADE
2006
Springer
15 years 10 months ago
A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...
Joe Hendrix, José Meseguer, Hitoshi Ohsaki
ECOWS
2006
Springer
15 years 10 months ago
On the Evaluation of Semantic Web Service Matchmaking Systems
Semantic Web Services are generally considered as the evolution of conventional Web Services. Semantic information included in the service descriptions enables the development of ...
Vassileios Tsetsos, Christos Anagnostopoulos, Stat...
EUROPAR
2006
Springer
15 years 10 months ago
Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Mas...