265 search results - page 16 / 53 » entcs 2007 |
ENTCS
2007
14 years 10 months ago
2007
In this paper, we discuss a structural approach to automatic performance modelling of skeleton based applications. This uses a synthesis of performance evaluation process algebra ...
84
Voted
ENTCS
2007
14 years 10 months ago
2007
We describe how a set-theoretic foundation for mathematics can be encoded in the new system Scunak. We then discuss an encoding of the construction of functions as functional relat...
ENTCS
2007
14 years 10 months ago
2007
Using model-based development has shown to increase efficiency and effectiveness of software production. However, with software as an integral part of products with customized fu...
ENTCS
2007
14 years 10 months ago
2007
This article describes an architecture for creating responsive web interfaces for proof assistants. The architecture combines current web development technologies with the functio...
ENTCS
2007
14 years 10 months ago
2007
In this paper we propose a formalization of access control policies based on term rewriting. The state of the system to which policies are enforced is represented as an algebraic ...