127 search results - page 18 / 26 » Towards Practical Enforcement Theories |
AUTOMATICA
2006
15 years 1 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...
126
click to vote
AIEDAM
2010
14 years 11 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...
111
Voted
ECIS
2011
14 years 1 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...
233
click to vote
POPL
2005
ACM
16 years 2 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...
163
Voted
SBMF
2010
Springer
14 years 8 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...