TCS 2008 | Sciweavers

10

click to vote

TCS
2008

73views Theoretical Computer Science» more TCS 2008»

Weighted monadic datalog

13 years 4 months ago

Download wwwtcs.inf.tu-dresden.de

Torsten Stüber, Heiko Vogler

claim paper

Read More »

11

click to vote

TCS
2008

89views Theoretical Computer Science» more TCS 2008»

Scheduling to maximize participation

13 years 4 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 »

17

click to vote

TCS
2008

145views Theoretical Computer Science» more TCS 2008»

A timed semantics of Orc

13 years 4 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 »

13

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 4 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 »

13

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 4 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 »

14

click to vote

TCS
2008

100views Theoretical Computer Science» more TCS 2008»

Security types for dynamic web data

13 years 4 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 »

20

click to vote

TCS
2008

101views Theoretical Computer Science» more TCS 2008»

Integration of a security type system into a program logic

13 years 4 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 »

17

click to vote

TCS
2008

87views Theoretical Computer Science» more TCS 2008»

Self-deployment of mobile sensors on a ring

13 years 4 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 »

8

click to vote

TCS
2008

117views Theoretical Computer Science» more TCS 2008»

Analysis of set-up time models: A metric perspective

13 years 4 months ago