1604 search results - page 11 / 321 » Development Separation in Lambda-Calculus |
APLAS
2009
ACM
14 years 2 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
ACSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
A protection profile for high-robustness separation kernels has recently been validated and several implementations are under development. However, medium-robustness separation ke...
ECLIPSE
2005
ACM
13 years 9 months ago
2005
ACM
We introduce ConcernMapper, an Eclipse plug-in for experimenting with techniques for advanced separation of concerns. ConcernMapper supports development and maintenance tasks invo...
JISBD
2003
13 years 9 months ago
2003
Separation of concerns is a fundamental software engineering principle that proposes the encapsulation of each matter of interest in a separate module. Software engineering develop...
CCE
2005
13 years 7 months ago
2005
High purity distillation columns are critical unit operations in cryogenic air separation plants. The development of nonlinear control technology is motivated by the need to frequ...