89 search results - page 13 / 18 » A Resolution Calculus for Dynamic Semantics |
114
click to vote
ISBI
2006
IEEE
16 years 1 months ago
2006
IEEE
Recent advances in bio-molecular imaging have afforded biologists a more thorough understanding of cellular functions in complex tissue structures. For example, high resolution fl...
220
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
116
click to vote
JUCS
2008
15 years 1 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
107
click to vote
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
196
click to vote
POPL
2004
ACM
16 years 1 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...