1054 search results - page 119 / 211 » From a Verified Kernel towards Verified Systems |
148
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Different classes of information system stakeholders depend on different values to be successful. Understanding stakeholders’ value dependencies is critical for developing softw...
167
click to vote
WWW
2006
ACM
16 years 7 days ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
170
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
191
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper deals with hierarchical model predictive control (MPC) of distributed systems. A threelevel hierarchical approach is proposed, consisting of a high level MPC controller,...
185
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...