127 search results - page 18 / 26 » Towards Practical Enforcement Theories |
AUTOMATICA
2006
13 years 10 months ago
2006
This paper proposes a novel subspace approach towards direct identification of a residual model for fault detection and isolation (FDI) in a system with non-uniformly sampled mult...
AIEDAM
2010
13 years 7 months ago
2010
The growing movement of biologically inspired design is driven in part by the need for sustainable development and in part by the recognition that nature could be a source of inno...
ECIS
2011
12 years 9 months ago
2011
In this paper, we draw on evidence from a case study to explore how to enable organizational creativity within a centralised information system. We argue that, even if the project...
POPL
2005
ACM
14 years 10 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
SBMF
2010
Springer
13 years 4 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...