Sciweavers

CL
2010
Springer
13 years 11 months ago
Non-repudiation analysis using LySa with annotations
Mayla Brusò, Agostino Cortesi
CL
2010
Springer
13 years 11 months ago
SystemJ: A GALS language for system level design
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
Avinash Malik, Zoran Salcic, Partha S. Roop, Alain...
CL
2010
Springer
13 years 11 months ago
Flexibility and coordination in event-based, loosely coupled, distributed systems
Bruno Silvestre, Silvana Rossetto, Noemi Rodriguez...
CL
2010
Springer
13 years 11 months ago
Isolating untrusted software extensions by custom scoping rules
In a modern programming language, scoping rules determine the visibility of names in various regions of a program [15]. In this work, we examine the idea of allowing an applicatio...
Philip W. L. Fong, Simon A. Orr
CL
2010
Springer
13 years 11 months ago
Cost-driven autonomous mobility
Autonomous mobile programs (AMPs) offer a novel decentralised load management technology where periodic use is made of cost models to decide where to execute in a network. In this...
Xiao Yan Deng, Greg Michaelson, Philip W. Trinder
CL
2010
Springer
13 years 11 months ago
Program transformations for information personalization
Saverio Perugini, Naren Ramakrishnan