3706 search results - page 597 / 742 » The Transformational Approach to Program Development |
RTSS
2005
IEEE
14 years 1 months ago
2005
IEEE
— This paper is interested in reward maximization of periodic real-time tasks under a given energy constraint, where the reward received depends on how much computation a task ru...
WCRE
2005
IEEE
14 years 1 months ago
2005
IEEE
In recent years, code obfuscation has attracted attention as a low cost approach to improving software security by making it difficult for attackers to understand the inner worki...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
The standard dispatching mechanisms built into programming languages are sometimes inadequate to the needs of the programmer. In the case of Java, the need for more flexibility h...
SCOPES
2005
Springer
14 years 1 months ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...
PPDP
2004
Springer
14 years 1 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...