315 search results - page 52 / 63 » What is algebraic in process theory |
CL
2002
Springer
13 years 8 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
CLIMA
2004
13 years 10 months ago
2004
The aim of this work is the design of a framework for the revision of knowledge in abductive reasoning agents, based on interaction. We address issues such as: how to exploit knowl...
DAGM
2003
Springer
14 years 2 months ago
2003
Springer
We provide an overview of spline and wavelet techniques with an emphasis on applications in pattern recognition. The presentation is divided in three parts. In the first one, we ar...
WADT
1999
Springer
14 years 1 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
ACMICEC
2006
ACM
14 years 3 months ago
2006
ACM
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...