Sciweavers

2525 search results - page 304 / 505
» A Framework for Semantic Gossiping
Sort
View
SEMWEB
2005
Springer
15 years 11 months ago
A Strategy for Automated Meaning Negotiation in Distributed Information Retrieval
The paper reports on the formal framework to design strategies for multi-issue non-symmetric meaning negotiations among software agents in a distributed information retrieval syste...
Vadim Ermolayev, Natalya Keberle, Wolf-Ekkehard Ma...
WRAC
2005
Springer
15 years 11 months ago
Concept and Sensor Network Approach to Computing: The Lexicon Acquisition Component
In this paper, we describe an on-going project called Concept and Sensor Networks (CSN). The development of this project has been described in past PSMP workshops [1]. The purpose ...
Jan Smid, Marek Obitko, Andrej Bencur
VMCAI
2004
Springer
15 years 11 months ago
Automatic Inference of Class Invariants
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
Francesco Logozzo
SEMWEB
2001
Springer
15 years 10 months ago
Object Interoperability for Geospatial Applications
In this paper, we analyze a geospatial application for visualizing U.S. election results in order to show the problems that need to be solved in the mapping between different XML...
Isabel F. Cruz, Paul W. Calnan
ICCAD
1998
IEEE
95views Hardware» more  ICCAD 1998»
15 years 10 months ago
Control generation for embedded systems based on composition of modal processes
In traditional distributed embedded system designs, control information is often replicated across several processes and kept coherent by application-specific mechanisms. Conseque...
Pai H. Chou, Ken Hines, Kurt Partridge, Gaetano Bo...