Sciweavers

7047 search results - page 375 / 1410
» Focusing on Binding and Computation
Sort
View
172
Voted
ICCS
2007
Springer
16 years 29 days ago
Dynamic Epistemic Logic and Knowledge Puzzles
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also ...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
MFCS
2007
Springer
16 years 28 days ago
Real Time Language Recognition on 2D Cellular Automata: Dealing with Non-convex Neighborhoods
In this paper we study language recognition by two-dimensional cellular automata on different possible neighborhoods. Since it is known that all complete neighborhoods are linearl...
Martin Delacourt, Victor Poupet
POLICY
2007
Springer
16 years 28 days ago
Performance Evaluation of Privacy-Preserving Policy Reconciliation Protocols
The process of policy reconciliation allows multiple parties with possibly different policies to resolve differences in order to reach an agreement on an acceptable policy. Previo...
Jonathan Voris, Sotiris Ioannidis, Susanne Wetzel,...
PPAM
2007
Springer
16 years 28 days ago
Implementing Commodity Flow in an Agent-Based Model E-Commerce System
Abstract. In our work we are developing a complete agent-based ecommerce system. Thus far we have been focusing on interactions between clients and shops (C2B relationships). In th...
Maria Ganzha, Maciej Gawinecki, Pawel Kobzdej, Mar...
SOCO
2007
Springer
16 years 28 days ago
Dynamic Contextual Service Ranking
This paper explores service composition in pervasive environments with a focus on dynamic service selection. Service orientation offers the dynamism and loose coupling needed in pe...
André Bottaro, Richard S. Hall