Theoretical Computer Science

21

click to vote

TCS
2008

73views Theoretical Computer Science» more TCS 2008»

Weighted monadic datalog

13 years 11 months ago

Download wwwtcs.inf.tu-dresden.de

Torsten Stüber, Heiko Vogler

claim paper

Read More »

37

click to vote

TCS
2008

89views Theoretical Computer Science» more TCS 2008»

Scheduling to maximize participation

13 years 11 months ago

Download www.ceid.upatras.gr

We study a problem of scheduling client requests to servers. Each client has a particular latency requirement at each server and may choose either to be assigned to some server in ...

Ioannis Caragiannis, Christos Kaklamanis, Panagiot...

claim paper

Read More »

41

click to vote

TCS
2008

145views Theoretical Computer Science» more TCS 2008»

A timed semantics of Orc

13 years 11 months ago

Download www.cs.utexas.edu

Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...

Ian Wehrman, David Kitchin, William R. Cook, Jayad...

claim paper

Read More »

33

click to vote

TCS
2008

102views Theoretical Computer Science» more TCS 2008»

Using bisimulation proof techniques for the analysis of distributed abstract machines

13 years 11 months ago

Download sardes.inrialpes.fr

Analysis of Distributed Abstract Machines Damien Pous ENS Lyon, France. We illustrate the use of recently developed proof techniques for weak bisimulation sing a generic framework...

Damien Pous

claim paper

Read More »

33

click to vote

TCS
2008

101views Theoretical Computer Science» more TCS 2008»

Spatial-behavioral types for concurrency and resource control in distributed systems

13 years 11 months ago

Download ctp.di.fct.unl.pt

We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...

Luís Caires

claim paper

Read More »

38

click to vote

TCS
2008

100views Theoretical Computer Science» more TCS 2008»

Security types for dynamic web data

13 years 11 months ago

Download www.di.unito.it

We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, J...

claim paper

Read More »

38

click to vote

TCS
2008

101views Theoretical Computer Science» more TCS 2008»

Integration of a security type system into a program logic

13 years 11 months ago

Download www.win.tue.nl

Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...

Reiner Hähnle, Jing Pan, Philipp Rümmer,...

claim paper

Read More »

39

click to vote

TCS
2008

87views Theoretical Computer Science» more TCS 2008»

Self-deployment of mobile sensors on a ring

13 years 11 months ago

Download www.site.uottawa.ca

Mobile sensors can self-deploy in a purely decentralized and distributed fashion, so to reach in finite time a state of static equilibrium in which they cover uniformly the enviro...

Paola Flocchini, Giuseppe Prencipe, Nicola Santoro

claim paper

Read More »

30

click to vote

TCS
2008

117views Theoretical Computer Science» more TCS 2008»

Analysis of set-up time models: A metric perspective

13 years 11 months ago