ENTCS
2006
13 years 4 months ago
2006
ENTCS
2006
13 years 4 months ago
2006
ENTCS
2006
13 years 4 months ago
2006
ENTCS
2006
13 years 4 months ago
2006
While a lot of progress has been made in improving analyses and tools that aid software development, less effort has been spent on studying how such tools are commonly used in pra...
ENTCS
2006
13 years 4 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
ENTCS
2006
13 years 4 months ago
2006
ENTCS
2006
13 years 4 months ago
2006
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...
ENTCS
2006
13 years 4 months ago
2006
Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally...
ENTCS
2006
13 years 4 months ago
2006
The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps...
ENTCS
2006
13 years 4 months ago
2006
In this paper we propose a technique to automate the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures...