Sciweavers

1076 search results - page 106 / 216
» Supporting Design Patterns with Annotations
Sort
View
TVLSI
2008
151views more  TVLSI 2008»
15 years 3 months ago
Guest Editorial Special Section on Design Verification and Validation
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
I. Harris, D. Pradhan
WEBIST
2008
15 years 4 months ago
A Process Mining Approach to Analyse User Behaviour
Abstract. Designing and personalising systems for specific user groups encompasses a lot of effort with respect to analysing and understanding user behaviour. The goal of our paper...
Laura Maruster, Niels R. Faber, René J. Jor...
CHI
1997
ACM
15 years 7 months ago
A Comparison of Reading Paper and On-Line Documents
We report on a laboratory study that compares reading from paper to reading on-line. Critical differences have to do with the major advantages paper offers in supporting annotatio...
Kenton O'Hara, Abigail Sellen
136
Voted
BMCBI
2007
177views more  BMCBI 2007»
15 years 3 months ago
Biowep: a workflow enactment portal for bioinformatics applications
Background: The huge amount of biological information, its distribution over the Internet and the heterogeneity of available software tools makes the adoption of new data integrat...
Paolo Romano 0001, Ezio Bartocci, Guglielmo Bertol...
CHI
2010
ACM
15 years 8 months ago
Cultural difference in image tagging
Do people from different cultures tag digital images differently? The current study compared the content of tags for digital images created by two cultural groups: European Americ...
Wei Dong, Wai-Tat Fu