Sciweavers

139 search results - page 3 / 28
» A material focus: exploring properties of computational comp...
Sort
View
ISORC
2009
IEEE
14 years 2 months ago
Property Preservation and Composition with Guarantees: From ASSERT to CHESS
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
Tullio Vardanega
ICMI
2005
Springer
104views Biometrics» more  ICMI 2005»
14 years 1 months ago
Analyzing and predicting focus of attention in remote collaborative tasks
To overcome the limitations of current technologies for remote collaboration, we propose a system that changes a video feed based on task properties, people’s actions, and messa...
Jiazhi Ou, Lui Min Oh, Susan R. Fussell, Tal Blum,...
ICCS
2004
Springer
14 years 1 months ago
Crack Analysis in Single Plate Stressing of Particle Compounds
Particle compound material is the composition of different particles with inhomogeneous and non-uniform properties. Particle compound material is the most complicated engineering m...
Manoj Khanal, Wolfgang Schubert, Jürgen Tomas
CHI
2010
ACM
14 years 2 months ago
How to support designers in getting hold of the immaterial material of software
When designing novel GUI controls, interaction designers are challenged by the “immaterial” materiality of the digital domain; they lack tools that effectively support a refle...
Fatih Kursat Ozenc, Miso Kim, John Zimmerman, Step...
ACTA
2004
86views more  ACTA 2004»
13 years 7 months ago
Specification transformers: a predicate transformer approach to composition
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
Michel Charpentier, K. Mani Chandy