Sciweavers

1898 search results - page 168 / 380
» About the art in this issue
Sort
View
FTDCS
1999
IEEE
14 years 2 months ago
Protecting Competitive Negotiation of Mobile Agents
The paradigm of mobile agents reached its popularity and attraction from typical application scenarios, which are located in the area of electronic commerce. In these common appli...
Hartmut Vogler, Axel Spriestersbach, Marie-Luise M...
DIM
2007
ACM
14 years 1 months ago
Linkability estimation between subjects and message contents using formal concepts
In this paper, we examine how conclusions about linkability threats can be drawn by analyzing message contents and subject knowledge in arbitrary communication systems. At first, ...
Stefan Berthold, Sebastian Clauß
SPATIALCOGNITION
2000
Springer
14 years 1 months ago
Transfer of Spatial Knowledge from Virtual to Real Environments
The transfer of spatial knowledge from virtual to real environments is one important issue in spatial cognition research. Up to now, studies in this domain have revealed that the p...
Patrick Péruch, Loïc Belingard, Cather...
PLDI
1995
ACM
14 years 1 months ago
A Type-Based Compiler for Standard ML
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
Zhong Shao, Andrew W. Appel
KR
1991
Springer
14 years 1 months ago
Rational Belief Revision
Theories of rational belief revision recently proposed by Alchourron, Gardenfors, Makinson, and Nebel illuminate many important issues but impose unnecessarily strong standards fo...
Jon Doyle