Sciweavers

290 search results - page 50 / 58
» entcs 2006
Sort
View
ENTCS
2006
140views more  ENTCS 2006»
14 years 10 months ago
Stochastic Ambient Calculus
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
Maria Grazia Vigliotti, Peter G. Harrison
ENTCS
2006
145views more  ENTCS 2006»
14 years 10 months ago
A Classification of Time and/or Probability Dependent Security Properties
In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial studnformation ...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo...
ENTCS
2006
139views more  ENTCS 2006»
14 years 10 months ago
Improving the Usability of a Graph Transformation Language
Model transformation tools implemented using graph transformation techniques are often expected to provide high performance. For this reason, in the Graph Rewriting and Transforma...
Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel B...
ENTCS
2006
158views more  ENTCS 2006»
14 years 10 months ago
Towards a Subject-Oriented Model-Driven Framework
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
Pablo Amaya, Carlos González, Juan M. Muril...
ENTCS
2006
164views more  ENTCS 2006»
14 years 10 months ago
Adaptive Medical Workflow Management for a Context-Dependent Home Healthcare Assistance Service
The provision of health-care services and home assistance to the elderly and chronic patients is a challenging application scenario for Web Services composition, which support the...
Liliana Ardissono, Antonio Di Leva, Giovanna Petro...