4839 search results - page 58 / 968 » A survey of computational complexity results in systems and ... |
118
click to vote
CCE
2004
15 years 1 months ago
2004
Batch distillation is an important separation process for small-scale production especially in pharmaceutical, specialty chemical and biochemical industries. Although batch distil...
109
click to vote
FM
2003
Springer
15 years 6 months ago
2003
Springer
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
Recently, there has been a substantial interest in the design of systems that receive their energy from regenerative sources such as solar cells. In contrast to approaches that at...
POLICY
2004
Springer
15 years 7 months ago
2004
Springer
We study the specification of access control policy in large-scale distributed systems. Our work on real-world policies has shown that standard policy idioms such as role hierarc...
103
click to vote
LCTRTS
2010
Springer
15 years 8 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...