5536 search results - page 808 / 1108 » Programming Languages for Distributed Applications |
106
click to vote
IFIP
2007
Springer
15 years 7 months ago
2007
Springer
The paper deals with the numerical treatment of optimal control problems with bounded distributed controls and elliptic state equations by a wider class of barrier-penalty methods...
106
click to vote
UM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Recommender systems produce social networks as a side effect of predicting what users will like. However, the potential for these social networks to aid in recommending i...
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
115
click to vote
ICALP
2003
Springer
15 years 6 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
114
click to vote
LICS
1997
IEEE
15 years 5 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...