111 search results - page 18 / 23 » Sharing Is Caring: Combination of Theories |
ESORICS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
ACMDIS
2010
ACM
14 years 12 months ago
2010
ACM
Motivated and informed by perspectives on sustainability and design, this paper draws on a diverse body of scholarly works related to energy and materiality to articulate a perspe...
108
click to vote
HCI
2009
14 years 9 months ago
2009
Abstract. In this paper we present a newly designed annotation and collaboration component, which has been prototypically implemented on top of an ERP (Enterprise Resource Planning...
137
click to vote
ICARCV
2008
IEEE
15 years 6 months ago
2008
IEEE
—Face recognition performance depends upon the input variability as encountered during biometric data capture including occlusion and disguise. The challenge met in this paper is...
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...