Sciweavers

722 search results - page 103 / 145
» Development of Support Tool for NMR Spectrum Analysis
Sort
View
WWW
2007
ACM
15 years 10 months ago
Exploring social dynamics in online media sharing
It is now feasible to view media at home as easily as text-based pages were viewed when the World Wide Web (WWW) first emerged. This development has supported media sharing and se...
Martin Halvey, Mark T. Keane
CHI
2010
ACM
15 years 4 months ago
Leveraging gesture and voice data to improve group brainstorming
We seek to investigate how co-located group brainstorming could be enhanced through computational tools that leverage gestures and voice cues. To pursue this goal we are developin...
Deirdre Garrahan, Orit Shaer, Andreya Piplica, Kev...
IFM
2007
Springer
104views Formal Methods» more  IFM 2007»
15 years 3 months ago
Probabilistic Timed Behavior Trees
The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic beha...
Robert Colvin, Lars Grunske, Kirsten Winter
ACMDIS
2006
ACM
15 years 3 months ago
Exploring design as a research activity
Human-computer interaction research often includes a significant design component. In cases where software or other tools are developed and described, but no empirical evaluation ...
Blaine Hoffman, Helena M. Mentis, Matthew R. Peter...
UML
2005
Springer
15 years 3 months ago
Dynamic Secure Aspect Modeling with UML: From Models to Code
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
Jan Jürjens, Siv Hilde Houmb