3710 search results - page 64 / 742 » A new calculus of contexts |
PERCOM
2010
ACM
14 years 6 months ago
2010
ACM
A new context management framework, which supports the interaction between different domain context managers, is proposed. Two different context producerconsumer patterns are defin...
MCU
2007
15 years 1 months ago
2007
Abstract. We consider a new variant of the halting condition in P systems, i.e., a computation in a P system is already called halting if not for all membranes a rule is applicable...
FCT
2003
Springer
15 years 5 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
ECOOP
2000
Springer
15 years 4 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
FIW
2007
15 years 1 months ago
2007
Feature interaction detection in the context of systems that are highly integrated into their environment, such as embedded or software-intensive systems, is different from classi...