FSTTCS 2005 | Sciweavers

Monitoring a distributed system to detect a stable property is an important problem with many applications. The problem is especially challenging for a dynamic distributed system b...

Sathya Peri, Neeraj Mittal

claim paper

Read More »

32

click to vote

FSTTCS
2005
Springer

106views Software Engineering» more FSTTCS 2005»

Non-disclosure for Distributed Mobile Code

14 years 5 months ago

Download wslc.math.ist.utl.pt

Abstract. This paper addresses the issue of conﬁdentiality and declassiﬁcation for global computing in a language-based security perspective. The purpose is to deal with new fo...

Ana Almeida Matos

claim paper

Read More »

35

click to vote

FSTTCS
2005
Springer

143views Software Engineering» more FSTTCS 2005»

The MSO Theory of Connectedly Communicating Processes

14 years 5 months ago

Download www.iist.unu.edu

Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...

P. Madhusudan, P. S. Thiagarajan, Shaofa Yang

claim paper

Read More »

45

click to vote

FSTTCS
2005
Springer

137views Software Engineering» more FSTTCS 2005»

Quantitative Models and Implicit Complexity

14 years 5 months ago

Download www.cs.unibo.it

We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Afﬁne Logic, Elementary Afﬁne Logic, LFPL and Soft Af�...

Ugo Dal Lago, Martin Hofmann

claim paper

Read More »

23

click to vote

FSTTCS
2005
Springer

138views Software Engineering» more FSTTCS 2005»

On the Controller Synthesis for Finite-State Markov Decision Processes

14 years 5 months ago