Sciweavers

2610 search results - page 345 / 522
» Context-aware design and interaction in computer systems
Sort
View
BMCBI
2006
98views more  BMCBI 2006»
13 years 9 months ago
Optimised amino acid specific weighting factors for unbound protein docking
Background: One of the most challenging aspects of protein-protein docking is the inclusion of flexibility into the docking procedure. We developed a postfilter where the grid-rep...
Philipp Heuser, Dietmar Schomburg
ACMACE
2005
ACM
14 years 2 months ago
Transforming your shadow into colorful visual media: multi-projection of complementary colors
This paper proposes a real-time system that transforms your shadows on a floor into colorful visual media. This system is based on the effect of complementary color and multipro...
Yugo Minomo, Yasuaki Kakehi, Makoto Iida
ISORC
2000
IEEE
14 years 1 months ago
Hybrid Sequence Charts
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
Radu Grosu, Ingolf Krüger, Thomas Stauner
AUTONOMICS
2008
ACM
13 years 11 months ago
Emergent engineering for the management of complex situations
Ubiquitous computing and communication environments connect systems and people in unprecedented ways, but also fundamentally challenge the mindset of traditional systems engineeri...
René Doursat, Mihaela Ulieru
JCP
2008
116views more  JCP 2008»
13 years 9 months ago
Formal Verification and Visualization of Security Policies
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
Luay A. Wahsheh, Daniel Conte de Leon, Jim Alves-F...