8644 search results - page 373 / 1729 » On the Composition of Secure Systems |
184
click to vote
ROOM
2000
15 years 9 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
204
click to vote
ACSD
2006
IEEE
16 years 1 months ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
175
click to vote
CONCUR
2004
Springer
16 years 29 days ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
237
click to vote
RTCSA
1997
IEEE
15 years 11 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
244
click to vote
CCE
2005
15 years 7 months ago
2005
This paper presents a comprehensive formulation of a linearized state space process model for a generic two-reactant-two-product reactive distillation system. The development of t...