Sciweavers

682 search results - page 99 / 137
» Environment Matting and Compositing
Sort
View
FM
2008
Springer
130views Formal Methods» more  FM 2008»
13 years 9 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
GAMEON
2007
13 years 9 months ago
PANORAMA - Explorations in the Aesthetics of Social Awareness
In this paper we reflect on our experiences in developing PANORAMA, a playful application meant to promote and support social awareness in a work environment, through art-inspire...
Anton Eliëns, Dhaval Vyas
DARE
2000
97views more  DARE 2000»
13 years 9 months ago
Informative art: using amplified artworks as information displays
Informative art is computer augmented, or amplified, works of art that not only are aesthetical objects but also information displays, in as much as they dynamically reflect infor...
Johan Redström, Tobias Skog, Lars Hallnä...
RBAC
1998
84views more  RBAC 1998»
13 years 9 months ago
Decentralized User-role Assignment for Web-based Intranets
The intricacy of security administration is one of the most challenging problems in large networked systems. This problem is especially serious in the Web environment, which consi...
Ravi S. Sandhu, Joon S. Park
SWWS
2007
13 years 8 months ago
Survey of Semantic Extensions to UDDI: Implications for Sensor Services
−The ability for software agents to discover, query, and task ubiquitous sensors requires machineinterpretable service descriptions, such as those proposed by the Semantic Web ef...
J. Caleb Goodwin, David J. Russomanno, Joseph Qual...