Sciweavers

6941 search results - page 1117 / 1389
» Testing as a Certification Approach
Sort
View
CCGRID
2004
IEEE
15 years 8 months ago
Capability matching of data streams with network services
Distributed computing middleware needs to support a wide range of resources, such as diverse software components, various hardware devices, and heterogeneous operating systems and...
Han Gao, Ivan R. Judson, Thomas D. Uram, Terry Dis...
128
Voted
ATAL
2006
Springer
15 years 8 months ago
ANEMONE: an effective minimal ontology negotiation environment
Communication in open heterogeneous multi agent systems is hampered by lack of shared ontologies. To overcome these problems, we propose a layered communication protocol which inc...
Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dig...
128
Voted
CNSR
2004
IEEE
15 years 8 months ago
A Topic Sharing Infrastructure for Weblog Networks
Weblogs have recently emerged as a popular means of sharing information on the Web. While they effectively foster the networking of participants on a one-to-one basis, so far they...
Sébastien Paquet, Phillip Pearson
ATAL
2006
Springer
15 years 8 months ago
Behaviosites: a novel paradigm for affecting distributed behavior
In this paper we present the Behaviosite paradigm, a new approach to affecting the behavior of distributed agents in a multiagent system, which is inspired by biological parasites ...
Amit Shabtay, Zinovi Rabinovich, Jeffrey S. Rosens...
165
Voted
ATVA
2006
Springer
191views Hardware» more  ATVA 2006»
15 years 8 months ago
Automatic Verification of Hybrid Systems with Large Discrete State Space
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang,...
« Prev « First page 1117 / 1389 Last » Next »