Sciweavers

Share
ENTCS
2006
103views more  ENTCS 2006»
8 years 8 months ago
Incremental Confined Types Analysis
Michael Eichberg, Sebastian Kanthak, Sven Kloppenb...
ENTCS
2006
111views more  ENTCS 2006»
8 years 8 months ago
Testing Self-Similar Networks
Constantinos Djouvas, Nancy D. Griffeth, Nancy A. ...
ENTCS
2006
80views more  ENTCS 2006»
8 years 8 months ago
Return Value Prediction meets Information Theory
Jeremy Singer, Gavin Brown
ENTCS
2006
115views more  ENTCS 2006»
8 years 8 months ago
Analyzing the Uses of a Software Modeling Tool
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...
Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz...
ENTCS
2006
154views more  ENTCS 2006»
8 years 8 months ago
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card
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 ...
Pascal Sotin, David Cachera, Thomas P. Jensen
ENTCS
2006
132views more  ENTCS 2006»
8 years 8 months ago
A Domain-Specific Language for Generating Dataflow Analyzers
Jia Zeng, Chuck Mitchell, Stephen A. Edwards
ENTCS
2006
140views more  ENTCS 2006»
8 years 8 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
143views more  ENTCS 2006»
8 years 8 months ago
Component-Oriented Specification of Performance Measures
Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally...
Alessandro Aldini, Marco Bernardo
ENTCS
2006
124views more  ENTCS 2006»
8 years 8 months ago
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions
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...
Igor B. Bourdonov, Alexander Kossatchev, Victor V....
ENTCS
2006
145views more  ENTCS 2006»
8 years 8 months ago
Automated Derivation of Translators From Annotated Grammars
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...
Diego Ordóñez Camacho, Kim Mens, Mar...
books